 as big as a?
True
Let h = 21 + -10. Let u = 9 + h. Let n be ((-6)/u)/(9/(-12)). Is 1 equal to n?
False
Suppose 2*l - 4 = 2*n, -7*n + 4*l - 6 = -5*n. Let m = -1979/9 - -220. Which is smaller: m or n?
n
Suppose 0 = 2*i - 0*i - 6. Let k be 1 + (i - 6)/3. Which is smaller: -2 or k?
-2
Suppose -2*s = x, -3*s + 8 = -5*s - 5*x. Let i be -2 + (-19)/(-7) - s. Suppose 3*n + 4 - 7 = 0. Which is smaller: i or n?
i
Let i = 0.8 + -1. Let a = i + 0.1. Is a bigger than 4/7?
False
Suppose 0*m = 5*m - 15. Let o = m - 5. Let l(h) = h**3 + 2*h**2 - 2*h - 3. Let r be l(o). Is r at most 0?
False
Let w be (-10)/(-3) - 1/3. Let k be (w/(-7))/(9/6). Which is bigger: -1 or k?
k
Let q = -70 + 69.17. Is -2/5 < q?
False
Let u be (-1)/3*(-9)/1. Suppose 10 = u*c + j, 5*j = 4*c + j + 8. Suppose 2*q = -c*q + m - 5, 3*m + 17 = -4*q. Which is greater: q or -3?
q
Suppose -2*z - 2 = -4*r, -1 = -z - 3*r + 3. Which is smaller: z or 0?
0
Let q(w) be the third derivative of -w**6/120 + w**5/12 + w**4/12 - 2*w**3/3 + 2*w**2. Let y be q(5). Which is smaller: y or 4?
4
Suppose 17 - 5 = 4*a. Suppose -4*y + 3*t = -1, a*t - 13 = -5*y - 5. Let c be 0 + (-3)/(-6) + y. Do 1 and c have the same value?
False
Let f be (-184)/168 - (-3)/((-18)/(-4)). Let g(w) = w**2 + 2*w. Let k be g(-2). Which is smaller: f or k?
f
Let x = -10/3 - -11/3. Is 3/14 bigger than x?
False
Let f(o) = o**2 - 6*o - 9. Let l be f(7). Suppose 2 = 5*a - 13, -4*x = 3*a + 3. Is x equal to l?
False
Let i be (2 + 2 + -11)*-5. Suppose 0 = 5*t + 2*h - 5*h - i, 0 = 5*h. Which is smaller: t or 8?
t
Let g(z) = -3*z + 5. Let v be g(3). Let s be 4/(-6)*(-2)/v. Which is smaller: 0 or s?
s
Suppose -7 = -5*i - 87. Let b be (-1)/(-28) - 4/i. Is 1 at most b?
False
Let d be (-1 - 6082/8)/(-3). Let s = d + -255. Let k = 1 + s. Which is bigger: -1 or k?
k
Let f be 0 - (54/21 + -3). Which is greater: f or 0.1?
f
Let o be (-4)/14 + (-9)/(-105). Let c be (3/(-2))/((-1)/2). Suppose 2*h + 4*m = -12, 5*h + 2*m - 3*m - c = 0. Which is smaller: h or o?
o
Let u = -0.15 - -0.4. Let a = -0.3 + u. Let x = a - 0.15. Do 0.2 and x have different values?
True
Let b(o) = -o**2 + 14*o + 15. Let u be b(15). Is u >= 2/105?
False
Let r(b) = 5*b - 26. Let f be r(5). Is -1/66 equal to f?
False
Let g be (-5)/(-25) - 356/(-20). Is 18 != g?
False
Let z be (-4)/13 + 50/325. Let y(j) = j**3 - 4*j**2 + 4*j - 4. Let g be y(3). Is g < z?
True
Let l(w) = w**2 - 6*w - 8. Let b be l(7). Is b at most 1/11?
True
Suppose 3*i + 185 = 2*g, i + 4*g - 17 = -60. Is i equal to -61?
False
Let p be (-8)/(-30)*(-850)/(-5). Which is greater: 46 or p?
46
Let c(y) = 15*y - 14. Let a be c(4). Let r = -143/3 + a. Let n(q) = -4*q + 1. Let u be n(1). Which is greater: r or u?
r
Let z be (0 + -12)*3/(-2). Suppose -3*q - 4*k - 22 + 9 = 0, 2*q + 5*k + z = 0. Which is greater: q or -1/17?
q
Let n(x) = x**3 + 5*x**2 - 6*x + 7. Let w = 12 - 18. Let p be n(w). Which is bigger: 5 or p?
p
Let q = -17 - -10. Let f = -8 - q. Suppose 0 = 2*k - k + 2. Is k at most as big as f?
True
Let q = 4 + -1. Suppose 4 - 16 = -q*a. Suppose 0 + a = -4*c. Is c at least as big as 0.2?
False
Let d be ((5 + -10)/10)/((-98)/(-12)). Which is greater: d or 1?
1
Suppose 3*k - 40 = 8. Let h be ((-56)/12 - -5)*0. Suppose k = -h*n - 4*n. Which is smaller: n or -3?
n
Let g be ((-32)/12 - -4) + -1. Is g < -2/29?
False
Let h = 0 + 0. Let r = 302 - 302. Does h = r?
True
Suppose 8*c = 3*c - 620. Let w = -376/3 - c. Is -2 not equal to w?
True
Suppose -8*m + 4*m = 0. Is -2/41 at least as big as m?
False
Let w = 15 - -10. Is 25 less than w?
False
Let b = 10 + -69/7. Let y be 3/1 - (3 + -1). Is y < b?
False
Let y(f) = -f + 2. Let r be y(3). Let x be ((-5)/15)/1 - 2/(-6). Let p = r - x. Is 1 bigger than p?
True
Let u be (-93)/(-1) - (3 + -1). Let p = 727/8 - u. Which is bigger: 1 or p?
1
Let r be 3/3 + (-306)/266. Let v = r + -8/19. Suppose 5*q + 20 = 3*b, -9 = 3*q - 3*b + 9. Which is bigger: v or q?
v
Suppose 0 = -2*j + 15 + 3. Let v = j - 44/5. Which is smaller: v or 1?
v
Let a be (-48)/64 - (-10)/24. Suppose 4*h - 3*q - 23 = 0, -5*h + 0*q + q = -15. Suppose 4*m - h*m = 2. Is m bigger than a?
True
Let u(y) = -y**2 - 4*y - 2. Let b be u(-4). Let o = 1 - -4. Let q(v) = v - 7. Let n be q(o). Is n at most b?
True
Let w be (-355)/(-25) - (-2)/(-10). Which is greater: 13 or w?
w
Let p = 0.04 + 0.16. Which is bigger: -0.4 or p?
p
Suppose 15*c - 29*c + 266 = 0. Is c not equal to 18?
True
Let u = -1061140/57 - -18616. Let j = -552 + 10485/19. Let x = u - j. Which is smaller: x or -1?
-1
Let q(a) = a**3 + 3*a**2 + a. Let v be q(-1). Suppose -4*u - v = 2*b - 37, -2*u = -5*b - 30. Which is smaller: 2 or u?
2
Suppose 2 - 10 = -2*j. Let x be 4 - (4/(-2) + j). Suppose 0 = -x*m - m. Are 0 and m non-equal?
False
Let t be (-2 - -1)*(-2 + (-4)/(-4)). Which is smaller: t or -2/117?
-2/117
Suppose 11*i - 54 = -318. Which is smaller: -2 or i?
i
Let v(i) = i - 10. Let f be (-38)/(-4) - 1/(-2). Let m be v(f). Let k(x) = -x**2 + 7*x + 7. Let c be k(8). Which is bigger: c or m?
m
Suppose 4*f - 8 - 9 = -3*i, 0 = -3*f - 5*i + 10. Which is smaller: 2 or f?
2
Let f = -216.09 - -217. Let t = -0.09 - f. Let s = t + 1.2. Do s and 2/15 have different values?
True
Suppose 4*m + 5 = 1. Which is smaller: -7 or m?
-7
Let i(f) = f - 6. Let j be i(6). Suppose 2*m - 25 - 3 = j. Is m equal to 14?
True
Let a = 18 + -14. Does 4 = a?
True
Suppose 3*h = 2*j - 17, 0 = -2*j - 0*h - 2*h - 8. Which is greater: 3/8 or j?
j
Let k be (-4)/6 - 16/3. Let t be 3 + k - 14/(-4). Which is greater: 7 or t?
7
Let c(j) = j + 2. Let v = 3 - 3. Let d be c(v). Suppose d*s - 3 - 8 = -5*o, 2*o - 2*s + 4 = 0. Is 6/5 >= o?
True
Let m(b) be the second derivative of 3*b - 1/6*b**3 + 0 + 9/2*b**2. Let l be m(10). Which is smaller: l or -1/6?
l
Let n(z) = -z**2 - 3*z + 1. Let u be n(-3). Let l be (2/(-2))/((-1)/(-1)). Let d be l/(-2) - 0/(-2). Is d at most u?
True
Let y be 3/(-14)*8/9. Let q be (1/(-5))/((-3)/15). Is y greater than or equal to q?
False
Suppose v = 2*h + 13, 43 = 3*v + v - 5*h. Suppose -5*m = -2*t + 13, t - 2*m - v = m. Suppose t*z - 8*k + 16 = -3*k, 0 = z + k + 4. Is z equal to -3?
False
Let i(c) = 2*c - 2. Suppose -4*s = -2*s + 2*t + 2, 2*t = s - 11. Let z be i(s). Suppose z - 14 = 5*x. Are -2/3 and x nonequal?
True
Let j = -1/3000926 + 62680341395/99030558. Let g = 633 - j. Is g > -1?
True
Let q be (4/(-16))/(14/16). Which is smaller: q or 0?
q
Let p be (((-12)/8)/(-3))/(4/(-112)). Which is smaller: -13 or p?
p
Let m be ((21*7)/(-3))/(-1). Let i be 12/(-9) + 2 - m. Let u = 48 + i. Is -1 at most u?
True
Suppose 0 = z + 5 + 10. Let v = 8 + z. Is v at most -6?
True
Suppose 9*r - r = 2*r. Is r < -0.11?
False
Let y(x) = 3*x - 7. Let p be y(2). Let f = -1336374 - -1260200879/943. Let l = -5/41 + f. Which is greater: p or l?
l
Let p(d) = d**3 - 7*d**2 + 15. Let i be p(7). Is i smaller than 14?
False
Suppose -4*b - 3*v + 2 = -2, 0 = -3*b - 4*v + 3. Suppose -k = -2*x - 26, -x + 2*x = -3*k + 50. Let o = k + -17. Are o and b unequal?
False
Let l = 7876/5 - 1568. Is 6 greater than or equal to l?
False
Let u = 27 - 28. Let w = 4 - 7. Which is greater: u or w?
u
Suppose 4*x + 2 = r - 3, 0 = 2*x + 5*r - 25. Let g = -1.9 - -0.1. Let l = 2 + g. Which is greater: l or x?
l
Let s(l) = l**3 - 4*l**2 - 3*l - 2. Let a be s(4). Which is smaller: a or -13?
a
Let w be (-4 + (-1370)/(-345))*-9. Which is bigger: -1 or w?
w
Let b = -0.03 - 0.02. Let m = b + 0.05. Which is smaller: m or 4?
m
Let z = 79 - 554/7. Let k = -10/21 - z. Which is bigger: -1 or k?
k
Let i = -77 - -40. Is i >= 0.1?
False
Let k(q) = -6*q**2 + 2*q + 1. Let f(l) = -5*l**2 + 2*l + 1. Let v(j) = -4*f(j) + 3*k(j). Let h be v(3). Is 10 greater than h?
False
Let s(j) = -3*j - 5. Let a(b) = 4*b + 4. Let h(c) = -2*a(c) - 3*s(c). Let y be h(-3). Do 5 and y have different values?
True
Let n = 1 + -2. Let a be 8/4 + 413/25. Let v = a - 93/5. Which is greater: n or v?
v
Suppose 0 = -4*l - 0*l + 8. Suppose 0*u + 4*u = -4, u - 1 = -l*x. Let i be 0/(-1) - 2 - x. Is -3 at least i?
True
Let d = -137/26 - -10/13. Let p be (-4)/(-3)*(0 - 3). Is d != p?
True
Let s = 0.135 + -0.035. Which is smaller: 12 or s?
s
Let r = 2 - 2.1. Let s = -72.1 - -72. Do r and s have the same value?
True
Let q = -19/9 + 113/45. Let l = -0.08 - -0.58. Is q at least l?
False
Let r = 