 -1, -4*z + 2*z + 2*c - 8 = 0. Which is smaller: z or m?
z
Let k(l) = l**3 - 2*l**2 + l - 1. Suppose 2 = -4*c + 5*c. Let s be k(c). Let m be (-1)/((-2)/4 - 0). Is s <= m?
True
Let n = -7 - -10. Let m = 2 + -5. Let b = m + n. Is b at least as big as 1/5?
False
Let w(x) be the third derivative of -x**4/24 - x**3/2 + 2*x**2. Let o be w(-7). Suppose -2*r - o = -14. Is r bigger than 5?
False
Let t = -39 - -36. Which is greater: t or 5?
5
Let s = 8 - 12. Which is smaller: 2/7 or s?
s
Suppose q - g + 7 = -2*q, -3*q = 3*g - 9. Let k(o) = -5 - 6*o - 4*o**2 + 0 + 3*o**2. Let m be k(-5). Which is smaller: m or q?
q
Let c = 5/57 - -79/399. Is -0.4 at least as big as c?
False
Let f be 2/(-6)*0 - -2. Suppose f*n - 20 = b, -2*n = 3*n - 20. Is -13 bigger than b?
False
Let l = -69 + 70. Are 2/21 and l equal?
False
Let x = -224/9 + 3901/45. Let o(q) = -q**3 - 2. Let h be o(-4). Let d = x - h. Is d >= 0?
False
Let s be 102/33 + -1 + -3. Is -2 at least s?
False
Suppose -15*s - 347 - 718 = 0. Which is smaller: -70 or s?
s
Let t(o) = o - 8. Let k be t(11). Suppose 0 = 3*g + 5*j + 22, 0*g - 4*g - k*j = 11. Let f be g*(4/(-7))/(-2). Do f and -1 have different values?
True
Suppose -4*u = -4*x - 8, 3 + 5 = 4*x. Let v be (-6)/(-20)*u/6. Let r = 7 + -8. Which is smaller: v or r?
r
Let p(o) = o**3 - o**2 - o + 2. Let g be p(-2). Which is smaller: g or -6?
g
Let y = -0.239 - -0.139. Is y less than -63?
False
Let f = -636 + 18442/29. Let q(s) = -s**3 + s**2 + s. Let h be q(0). Which is smaller: h or f?
f
Let p = -337 - -578. Let f = -5063/21 + p. Let j be (-2)/(-4)*(-2)/1. Which is smaller: f or j?
j
Suppose -44 = 3*w + 1. Let q be 4*(-1)/((-12)/w). Let i(v) = v**2 + 5*v. Let l be i(q). Which is greater: l or 2?
2
Let s be 24/8 - (1 + 3). Let i = 68/3 + -23. Which is smaller: i or s?
s
Suppose -4*q - 62 = -0*q - 2*o, -5*o - 25 = 2*q. Which is smaller: q or 1?
q
Suppose 8 = -3*p + 7*p. Let c be 8/9*3/4. Is p smaller than c?
False
Let j be (7/(-14))/(1/2). Let w be 1*j - (-5)/10. Which is smaller: -1 or w?
-1
Let m be (4/3)/((-28)/(-63)). Suppose 3*o = 4*o - 8. Suppose o = 3*q + q. Is m greater than or equal to q?
True
Suppose 2*l = -4*k - 16, 5*k + 30 = 5*l + k. Which is bigger: l or -0.7?
l
Let p be ((-3 - -3) + 0)/(-1). Let j be (p - 1)/(-3 + -2). Which is smaller: -1 or j?
-1
Let u(w) = 4 + 2*w**2 + 0*w**2 - 2*w - w**2 - 1. Let a be u(3). Which is smaller: 7 or a?
a
Let j = 3/19 + 4/95. Which is smaller: -20 or j?
-20
Suppose -5*n - 213 = -73. Is n at least -28?
True
Suppose b = 3, -5*v + 5*b = -0*b - 75. Let g = -17 + v. Let w be (-3)/(-4)*3/9. Is w < g?
True
Let r = -0.3 + -2.7. Let v = -6 - -6.1. Which is smaller: v or r?
r
Let n(k) = -2*k**3 + 7*k**2 + k - 3. Let s(f) = 3*f**3 - 8*f**2 - f + 3. Let d(w) = -4*n(w) - 3*s(w). Let l be d(-3). Is -2 at most as big as l?
False
Let x(f) = -3*f**3 + 4*f**2 - 4*f + 8. Let m be x(6). Let d = -6757/13 - m. Which is smaller: 1 or d?
d
Suppose 21*z - 17*z = 0. Is 4 equal to z?
False
Suppose -c = 3*c + 584. Let m = c + 724/5. Is m smaller than 0?
True
Suppose n - 1 = 2*l, n + 20 = 5*n. Let m be l - (-8)/(-17)*4. Which is smaller: m or 1?
m
Let t = -7 - -12. Suppose -13 = -3*c - 4*b + 2, 3*c = t*b - 12. Let s be 3 + (-2)/c + 1. Does 3/2 = s?
False
Let j be (-62)/6 + (-6)/(-18). Which is bigger: -9 or j?
-9
Let t = -11 - -6. Let y = 4.8 + t. Is 0 less than or equal to y?
False
Let u be ((-1)/2)/(5/130). Which is smaller: -12 or u?
u
Let g(x) = x**2 - 5*x + 6. Let i be g(4). Suppose 3*k - 2*k + 12 = 5*l, -i*l = -4. Let z = k - -1. Is -1 less than z?
False
Suppose -2*b = -2*f - 12, 6*f = b + 2*f - 12. Suppose -2*p + 4*t + 2 = 0, -5*p - 5*t - b = -39. Let q be ((-36)/20)/(15/(-50)). Which is smaller: p or q?
p
Let s = -1.4 - -0.67. Let t = -0.8 - s. Let a = t - 0.03. Is -0.1 equal to a?
True
Let p = 954 + -647. Let y = p - 3379/11. Which is greater: 0 or y?
0
Let l be (4 + -3)*(-24)/22. Let u = -13/22 - l. Is u less than 0?
False
Let n = 29 + -22. Let x(f) = -f**3 + 7*f**2. Let b be x(n). Let q = -5 - -31/6. Is b < q?
True
Let h be 1*(-6)/(-9)*3. Let f be (h/(-8))/(2/8). Is 0.2 at most as big as f?
False
Let x = -2 - -10. Let d(k) = k**2 - 7*k - 8. Let r be d(x). Let z = 207/7 - 2091/70. Which is greater: r or z?
r
Let q(j) = 20*j**2 - 2*j - 1. Let c be q(-1). Which is greater: -2 or c?
c
Let y = -0.129 + -0.071. Let m = 1.94 - -0.06. Which is bigger: m or y?
m
Let d = -41 + 41. Is d < 1?
True
Let u = -8 + 8.8. Let l = -2 - -1.8. Let h = u - l. Which is bigger: h or 0.1?
h
Let n(d) = -d**3 - 8*d**2 - 1. Let y be n(-8). Let l(h) = -4*h. Let o be l(y). Is 3 < o?
True
Let d(p) = p**2 + 3*p - 4. Suppose 4*s = -s - 20. Let a be d(s). Is a > 4/9?
False
Suppose -3*f + 9 = -3*n + 2*n, -4*n - 4*f = -28. Let g = -4 - -2. Let d = g + n. Which is greater: -1 or d?
d
Let n(l) = 1. Let x(b) = -11*b + 15. Let r(t) = -3*n(t) + x(t). Let o be r(9). Let u be -3*o/279 - 1. Is -1 smaller than u?
True
Let b = -849/28 + 119/4. Is b >= -2?
True
Let d = 25 + -37. Let o = -1 - d. Which is smaller: 0 or o?
0
Suppose 0 = -6*t + 21 - 3. Which is smaller: 1 or t?
1
Let b = 38 - 37. Let i = 5 - 3. Suppose 4*c + c = 0, 12 = 4*a + i*c. Which is bigger: b or a?
a
Let c(m) = m**2 - 6*m + 6. Let s be c(6). Let f be s/3 - 2/(-2). Are 2 and f nonequal?
True
Let d = -23 + 14. Which is smaller: -8 or d?
d
Let q = -31 + -2. Let c be ((-9)/4)/(q/(-2)). Is c bigger than 1?
False
Let r(z) = z**2 - 3*z - 9. Let q be 95/20 + 2/8. Let t be r(q). Which is bigger: t or 2/7?
t
Suppose 18*o - 126 = 20*o. Which is smaller: -62 or o?
o
Let y(w) = 5*w**2 + 4*w - 2. Let g be y(3). Let h be g/253*(-2)/5. Which is smaller: h or 1?
h
Let o = -6.7 - -21.7. Which is bigger: o or 0?
o
Let u = 9 + -4. Suppose -u*m - 7 = -4*n, 2*m + 2*n + 2*n - 14 = 0. Is m <= 2?
True
Let n(m) = m**2 - 2*m - 13. Let p be n(5). Let f be 1/(-3)*6/(-3). Which is smaller: p or f?
f
Suppose -5*u + 61 = z, -6*u + 2*u + 44 = -4*z. Is 13 != u?
True
Let v = 8.9 + -5.9. Are 11 and v unequal?
True
Let w(n) = n**2 + 6*n + 1. Let u be w(-6). Let o be ((-516)/(-54)*3)/(-6) + 5. Is u != o?
True
Let i be ((-12)/(-10))/((-2)/(-25)). Let r = i - 15. Is r at most 2/11?
True
Let f = 0.01 + -0.31. Let x = f + 0.2. Let h = -43.7 - -44. Which is smaller: h or x?
x
Let t(i) = -4*i**3 - 2*i**2 + 1. Let o be t(-1). Suppose -3*q = 5*c + 16, 4*c - o*q = -q - 4. Let d be -6*(c - (-8)/6). Is 3 < d?
True
Let g = -3.71 - -0.61. Let c = g + 3. Let x = -0.3 - c. Which is greater: x or -1/2?
x
Let h be 2 + 26/(-12) + 488/48. Which is smaller: 5 or h?
5
Let x = 31 - 25. Which is greater: -1 or x?
x
Let p(r) = 15*r - 5. Let f be p(6). Suppose 0 = k + 4*k - 2*z - 165, f = 3*k - 4*z. Let s be (-4)/6*15/k. Is s bigger than 1?
False
Suppose -i + 4 = -3*i. Let t be ((-1)/i)/1*-2. Let u be 30/8 - (-8 - -12). Which is smaller: t or u?
t
Let f = -125/266 + -4/133. Which is greater: 0.31 or f?
0.31
Let b(q) be the second derivative of q**5/20 + q**4/2 - q**3/3 - 9*q**2/2 - q. Suppose 3*j + 6 = 2*j. Let h be b(j). Is 0 > h?
False
Let o(f) = -f**3 - 7*f**2 + 7*f - 6. Let r be o(-8). Suppose 2*p - c + 11 = 2*c, 4*p - 2*c = -r. Is p at least 5/2?
False
Suppose 0 = -2*a - 4*v - 12, 0 = 3*a - 3*v + 45. Suppose h - n = -4*h - 4, 3*n = -3. Which is greater: h or a?
h
Let r be 326/(-14) - 6/(-21). Let u = r - -16. Let d(m) = -m**3 - 14*m**2 - 13*m - 7. Let q be d(-13). Are q and u unequal?
False
Let r be 3*(2 + (-123)/63). Suppose -3*h = -6 + 9. Which is bigger: r or h?
r
Let h = -27.1 + 27. Is -8/11 not equal to h?
True
Let v(w) = -w**2 - 14*w - 13. Let z be v(-13). Let y = 3/79 + 143/395. Is y greater than or equal to z?
True
Let r(x) = 3*x + 7. Let p be r(-5). Let c be (-46)/(-90) + p/20. Let y be 14/14 - (3 + -1). Which is greater: y or c?
c
Let t be (-123)/63 + 2/1. Suppose 24 = u + 2*a - 7*a, -3*u + 3*a + 12 = 0. Are u and t unequal?
True
Let b be 0 + (-7)/(28/12). Which is smaller: b or -7?
-7
Suppose -2*s - 4 = -6. Suppose x - g - 6 = 0, x + x = 4*g + 20. Let m be 1/(x/(-4)*s). Is m at most as big as -4/3?
True
Let u = 2 + 3. Let x(m) = -m**3 + 2 + 0 + 6*m**2 - 4*m - 5. Let i be x(u). Which is bigger: i or 1?
i
Let j be (-4)/(-850 + -2)*3. Is j > 1?
False
Let v(f) = -f - 4. Let r be v(-6). Suppose -r*a + 18 + 22 = 0. Which is smaller: a or 19?
19
Let v(s)