ich is greater: a or -12?
-12
Let p(b) be the first derivative of b**3/3 + 9*b**2/2 + 10*b - 4. Let x be p(-8). Which is smaller: 3 or x?
x
Let p = 12 - 12. Let w = 1.3 + -0.3. Let f = w - 1. Is p at least as big as f?
True
Let q = -803 - -2444/3. Are q and 12 equal?
False
Let f be (-5)/10 + (-691)/(-182). Let g = 22/7 - f. Are 0.1 and g non-equal?
True
Suppose -6*j = 3*w - 8*j + 71, 5*w + 125 = 5*j. Is w less than or equal to -20?
True
Let q = -278/5 + 56. Suppose 2*l = 3*l. Suppose l = 2*g + g - 3. Is q less than g?
True
Let y be (-33)/22*(-4)/(-3). Which is smaller: -20/9 or y?
-20/9
Suppose 5*b - 20 = -0*b. Let p(r) = -r + 9. Let v be p(4). Which is smaller: b or v?
b
Let w = 1 - 2. Let n be (2 + 18/(-8))/w. Which is smaller: n or -4?
-4
Let l = -16 - -16. Let q = 3/71 + -211/1633. Is q at most l?
True
Let s be (2948/(-340) - -8) + 2/10. Is 0 less than or equal to s?
False
Let l be 10/45 - 16/(-9). Let s be (l - 51/27)*-3. Let i(g) = -g**3 - 6*g**2 - 4*g + 6. Let u be i(-5). Are u and s nonequal?
True
Suppose 200 = -k - 4*k. Let x be 6/(-15) + (-31)/k. Is x bigger than -1?
True
Suppose 5*o - 4*s - 20 = 0, 5*o + 1 = 2*s + 21. Suppose -v = -2, -3*m + 4 = -m + o*v. Which is smaller: m or -3/2?
m
Let x = -0.03 + 0.03. Which is smaller: -10 or x?
-10
Suppose 21 = -0*o + 3*o. Suppose -n = 4*p + o, 2*n + 3 = -2*p - 5. Is -2 less than or equal to n?
False
Suppose 5*i + 84 = -4*q - 0*i, 4*q + i + 84 = 0. Let s be (-4)/(-63) + 6/q. Which is smaller: s or 0?
s
Suppose 14 = 2*t - 4*t. Which is greater: -8 or t?
t
Let o = -2.8 - -0.8. Let q(f) = -f**2 - 4*f + 3*f + 2*f**2 - 1. Let g be q(0). Which is smaller: g or o?
o
Suppose -d + 3*o + 20 = 0, -4 - 11 = -4*d - o. Let y(p) = -p + 5. Let s be y(d). Let q(z) = z + 1. Let x be q(-3). Which is bigger: s or x?
s
Let h(l) = l**2 + 2*l - 14. Let q be h(-5). Which is greater: 0.07 or q?
q
Let v be (-54)/57 + 4 + -3. Do v and 0 have the same value?
False
Let o = -3 + 3.4. Let t = -0.43 + o. Let c = t - -2.03. Which is bigger: -2/7 or c?
c
Let t = 8 - 8. Let j = -0.01 - -2.01. Are t and j nonequal?
True
Let k = 31064/57 + -545. Do k and 1 have the same value?
False
Let d(y) = y**3 + 10*y**2 - 11*y - 3. Let q be d(-11). Let b = 5 + q. Let m = -3 + b. Which is bigger: -3/5 or m?
-3/5
Let l = -146/171 + 12/19. Let t = l + -1/9. Which is greater: t or 1?
1
Let x be (-6)/((6/(-8))/1). Let m be 12/x*2/(-1). Is -3 at least m?
True
Let g = 87.2 + -80. Let y = 7 - g. Let n = 0.1 - 0. Which is smaller: y or n?
y
Let o(d) = -2*d**3 + 14*d**2 + 9*d + 22. Let p(f) = 3*f**3 - 21*f**2 - 13*f - 33. Let x(a) = 8*o(a) + 5*p(a). Let q be x(8). Which is bigger: -1/3 or q?
q
Let o be 4/6*(53 - -4). Let g be 3/(-9) - o/(-6). Which is bigger: 5 or g?
g
Let y be (5 - 0) + (-8)/2. Let l = -32694/5 - -6563. Let f = l - 24. Is y > f?
True
Suppose 7*u = 4*u + 5*c + 60, 0 = 4*u - 2*c - 66. Let b(q) = -2*q + 3. Let h be b(-6). Is u greater than h?
False
Let y = -6 + 5.6. Let n = 0.5 + y. Let u = 0.9 + n. Is 1 at most u?
True
Let c = 1 + 1. Let q be c/6*(-5 + 2). Are q and -2/5 unequal?
True
Let b be (-7)/(-14) + (-3)/(-2). Suppose -2*n = 3*v + b*n + 9, 0 = -3*v + 3*n + 12. Let t = 44/85 + -2/17. Does t = v?
False
Let s be 1/(3*(-1)/(-12)). Suppose 3*n + 2*p - 6*p = -57, -48 = s*n + 4*p. Let u be (-1)/(-3) + 5/n. Is 0 at least u?
True
Suppose s + a + 0*a - 12 = 0, a = 0. Is 13 <= s?
False
Suppose -4*w - 32 = -5*u, -2*u + 15 = -2*w + 1. Let l(y) = -y + 10. Let s be l(6). Is u less than s?
False
Suppose 3*j = -0*j - 2*d + 28, -d - 1 = 0. Let g = 31/3 - j. Do 11 and g have the same value?
False
Let o be (-2)/((-6)/(-5 - -2)). Is o < 6/17?
True
Let m = -1688/63 - -186/7. Is 3 > m?
True
Let h = -5 - -8. Suppose -5*w + h*v + 2*v - 55 = 0, 12 = 4*v. Which is smaller: w or -7?
w
Let b = 0 + 0.1. Let z = 7.03 - 7. Let o = 0.17 + z. Is o >= b?
True
Suppose -4*x - 5*j + 24 = -7, 0 = x - 5*j + 11. Suppose 0*u - x*u + 16 = 0. Suppose -3*f + 5*m = m + 10, -2*m - u = 3*f. Is -4/5 <= f?
False
Suppose -16 = -5*d + 44. Suppose -7*i = d + 37. Is i > -7?
False
Let k = -2/7 - -1/7. Does -6 = k?
False
Suppose -2*d + 24 = -24. Suppose -2*l - 3 + 13 = 0. Suppose -4*h - l*k = -d, -13 = -5*h - k - k. Is h != 2/11?
True
Let o be ((-200)/(-3))/8*-3. Is -25 equal to o?
True
Let c be 2 + 2 + -2 + 83. Let p = c - 937/11. Which is greater: p or -1?
p
Suppose 0 = 4*o - 8 - 0. Suppose -t + 0 - o = 0. Is 1 smaller than t?
False
Let d(i) = -4*i**3 + i**2 + 10*i - 9. Let r(s) = 9*s**3 - s**2 - 21*s + 19. Let y(p) = -7*d(p) - 3*r(p). Let l be y(5). Is -4 < l?
False
Suppose 4*m + 35 = 5*g, g - 4*m + 9*m = -22. Is g not equal to 2?
True
Let v be (84/(-105))/(2/(-60)). Is v at least as big as 25?
False
Suppose 3*z = 6 - 0. Let v be (-35)/252 + z/8. Which is bigger: -1 or v?
v
Suppose u - 5*h = -23, 0*u + u - 3*h + 19 = 0. Let x(m) = -m**3 - 13*m**2 + m + 13. Let o be x(u). Which is smaller: o or 5/6?
o
Let f be 2*(9/(-6) + 4). Is f < 7/2?
False
Suppose -f = -2*f + 3. Let n be f*(-4)/(-12)*-1. Which is bigger: n or -2/33?
-2/33
Suppose -2*g + 9 = 1. Which is smaller: g or 23/6?
23/6
Suppose -5*c - r + 2*r = -2, 5*c + 2*r = 11. Suppose 0 = -g + c, -3*t - 1 = 2*g - 6. Is -1 less than t?
True
Let z = 2 + -1. Let k = -2 - -2. Which is smaller: z or k?
k
Let b be (10/3)/(16/(-24)). Is b > -5?
False
Let m(g) = -g**2 + 5*g + 3. Let p be m(5). Let j be p + -6 + -1 - -3. Let n be (-2)/4*12/(-51). Which is smaller: j or n?
j
Let l be (-2)/13 - 267/39. Let n(u) = -u - 6. Let z be n(l). Which is bigger: z or -5?
z
Let z(x) = x**3 - 2*x**2 + 3*x - 3. Let q(g) = g**2 - 1. Let i(k) = -q(k) + z(k). Let p be i(3). Let n = -10 + p. Is n >= -2?
False
Let n = -30 + 26. Let f = -0.96 + -0.04. Is n at most f?
True
Let r be 5 + (-1218)/30 - 3/(-5). Are r and -36 non-equal?
True
Let p be 6/24*8/(-7). Is p less than or equal to 1?
True
Let h = -6 - -5. Are -2 and h non-equal?
True
Let i = -788/3 - -258. Let f = i - -104/21. Let y be (-2)/6 + (-14)/(-6). Which is smaller: f or y?
f
Suppose -2*l - l = 360. Let g = 1082/9 + l. Let m = 0.2 - 0.1. Are g and m unequal?
True
Suppose -54*b + 52*b = 14. Which is smaller: -6 or b?
b
Let z(r) = -11*r**2 - 5*r - 59. Let i(x) = -7*x**2 - 3*x - 39. Let b(o) = 8*i(o) - 5*z(o). Let w be b(0). Are w and -17 non-equal?
False
Let p = 7 - 4. Suppose p*g - 23 = 5*j, 3*g - 3*j - 11 = -j. Let a be g/3*(-5)/10. Which is greater: a or 1?
1
Let p = 52 + -51. Let w = -0.8 - 0.2. Let z = 3 + w. Which is smaller: p or z?
p
Let r = 19 + -18.7. Let x = r - 0.8. Which is bigger: x or 2?
2
Let l = 6 + -8. Let x = 149.9 + -150. Is x equal to l?
False
Let b be 3*(-4)/6 + 2. Let t be 1 - b - (2 + 0). Which is greater: t or 0?
0
Suppose 53 - 17 = -4*m. Which is smaller: 3/2 or m?
m
Let k(p) = -p**3 + 4*p**2 - 4*p + 2. Let x be k(2). Is 2 >= x?
True
Let k be ((-1)/(-6))/((-55)/44). Is -1/4 equal to k?
False
Let i(r) = r**2 + 6*r - 9. Suppose -4*z - 17 = 11. Let x be i(z). Let g be x/(-4)*(-4)/(-10). Which is smaller: g or -1?
-1
Let u(s) = -s**2 + 6*s + 8. Let h be u(6). Let y be 357/12 + 2/h. Let p be (-4)/y*3/(-2). Is p equal to -0.2?
False
Let x(u) = u + 15. Let p(s) = -1. Let g(w) = -3*w - 42. Let b(t) = -g(t) - 4*p(t). Let z(q) = 2*b(q) - 7*x(q). Let d be z(-12). Which is greater: d or 0.08?
0.08
Let y = -877/7 + 125. Is -2/3 less than or equal to y?
True
Suppose -y + 4*z - 12 = 0, 3*y + z = -2*z + 9. Is -1/2 at most y?
True
Let b = 38 + -31. Which is smaller: b or 33/5?
33/5
Suppose i - 4*i = -n + 20, 3*i = -n - 28. Let u = -8 - i. Is u at least as big as 0?
True
Let h = -4333 + 20967/5. Let i = 140 + h. Let f be -1 - (-3 - (1 + -3)). Which is smaller: f or i?
f
Let y = -2/261 + -79/1044. Is y at least 0?
False
Let r(k) = k + 1. Suppose -12 - 4 = -4*v. Suppose -a = -4*a - 3*b + 9, v*b = a + 12. Let m be r(a). Is m bigger than 1?
False
Let z = 22.6 - 23. Which is smaller: 1/3 or z?
z
Let y be 36/10 + 4/10. Let i be (2/y)/(21/(-3600)). Let t = i + 86. Which is smaller: t or -1?
-1
Let n(x) = -x**2 - 5*x - 1. Let h(b) = b**3 - 8*b**2 + 9*b - 7. Let m be h(7). Let i be 1 - -2 - m - 0. Let y be n(i). Is y greater than or equal to 2?
True
Suppose 4*x - 15 = 5*c, -4*x = -16 - 4. Let j be (18/14 - c) + 0. Let i = 0.3 - 0.2. Do i and j have the same value?
False
Let u be 1/2 + (-3)/(-6). Let 