0?
True
Let c be 32/(-28) + 10/(-5) + 1. Let o be (9 - -3)/4 + -6. Is o >= c?
False
Let a(n) = -n**3 + 3*n**2 + 4*n. Let i be a(5). Let d = -23 - i. Is 8 less than d?
False
Let a = 1105/42 - 190/7. Let t = 5.09 + -2.09. Is t less than or equal to a?
False
Let l = 3.6 + -4. Let r = -3.86 + 4.86. Which is bigger: l or r?
r
Let v(u) = 2 + 5*u - 4*u + 2 - 2*u. Let c be v(0). Let a be c/(-32)*-4*0. Is -1/6 at least a?
False
Suppose -4*v = v. Let w = -22/19 - -113/114. Which is smaller: w or v?
w
Let o be ((-2)/12)/((-3)/(-9)). Let n = -1 - o. Let z(r) = -r**3 + 12*r**2 + 13*r - 2. Let v be z(13). Which is bigger: n or v?
n
Suppose 40 = -6*i - 14*i. Is i > 16?
False
Suppose 0 = -l - 0*l - 129. Let s = -905/7 - l. Let h = -23.9 + 23.8. Which is smaller: h or s?
s
Let t be (4/2)/(539/105 - 5). Do t and 110/7 have the same value?
False
Let d = -35 - -18. Let t = 3523/12306 - 1/1758. Which is bigger: d or t?
t
Let c = -30 - -26. Let m be 1*(3 + c) - -1. Let z be 200/(-32) - (m + -2). Which is bigger: z or -5?
z
Let y = 32.55 + -2.44. Let t = -30 + y. Let d be (-18)/(-99) - 9/(-11). Which is bigger: d or t?
d
Let z(v) = 3*v - 13. Let c be z(9). Let t = -13 + c. Suppose 3*n = t + 2. Is 2/13 bigger than n?
False
Suppose 16*d + 59 = 219. Which is bigger: d or -3.4?
d
Let z be (-2040)/672 + (-2 - (-55)/20). Which is smaller: z or 42?
z
Let u(v) = -2*v**3 - v**2 - v - 1. Let q be u(-1). Let h = -418/9 - -5389/117. Which is bigger: q or h?
q
Let r(i) = i. Let u be r(5). Suppose -k + 23 = 2*b - 6*k, u*b - k = 23. Suppose 0 = -h - b*h. Is 0 greater than or equal to h?
True
Let j(m) = -6*m + 15. Let w(n) = -n + 1. Let v(g) = j(g) - w(g). Let u be v(4). Are -72/11 and u nonequal?
True
Let y = -54 - -81. Suppose -22 - y = -7*o. Which is smaller: -6 or o?
-6
Suppose 354*l - 368*l = -84. Which is bigger: -4 or l?
l
Let y = -0.56 + 0.46. Let l = 0.9 - 1. Let f = 2.1 + l. Is f > y?
True
Suppose 5*a - 1026 = -356. Is 139 greater than a?
True
Suppose t = 5, 15*o - 14*o + 4*t = 266. Is 245 > o?
False
Let j(c) = 5 - 11*c - 7 - 2*c**2 - 5 + c**2. Let v be j(-10). Let y be (-6 - -9)/((-6)/(-4)). Which is smaller: v or y?
y
Let h be 0/(-4 - 2/(-1)). Let j be ((-46)/759)/((-2)/(-6)). Is h at least j?
True
Let o = -41 - -30. Let l = -4 - -9. Let g(v) = -v**2 + 4*v - 7. Let s be g(l). Which is greater: o or s?
o
Suppose 4*q = 3*x - 25 - 9, -2*q + 18 = 2*x. Let h be 5*-1*12/(-10). Is x at least as big as h?
True
Let s = 1382/7 - 196. Which is smaller: 1 or s?
1
Suppose -30*z = -34*z - 12. Is z >= -11/5?
False
Let r = -5/3 - -17/12. Is r less than or equal to 17?
True
Let h(t) = t**3 + t**2 - 12*t. Let i be h(-4). Which is bigger: -5/176 or i?
i
Suppose -6705 = -5*w - 6700. Which is bigger: -6/449 or w?
w
Suppose 0 = 5*h - 5, -m + h + 6 = 4*h. Suppose -5*w + 7 = -m. Suppose 4*y = -y, -6 = -3*i - 3*y. Is i at most w?
True
Suppose -5*z - 9*i + 4*i + 5 = 0, i - 3 = -3*z. Let a(w) = -4*w**2 + 2*w - 1. Let n be a(z). Let q be 56/(-16) - n/1. Is q > 0?
False
Let l(d) = d**3 - 7*d**2 + 7*d + 1. Let p be l(6). Suppose 11*c - 16 = p*c. Suppose 4*r - 25 = 5*k + 3, c*r = -5*k - 12. Is 1 at most as big as r?
True
Let i(s) = 5*s**3 + s. Let x be i(1). Suppose 4 = 5*d - x. Is d greater than 2?
False
Let l be ((-136)/(-1))/(-4) - 4. Let d be l*(-2 - -1)/1. Let s = 28 - d. Which is bigger: -9 or s?
-9
Suppose -10 = 4*g + 10, 4*o + 6620 = 4*g. Let u be 292/o + ((-4)/(-5))/4. Which is greater: 2/7 or u?
2/7
Let y(k) = 9*k**2 - 4*k + 11. Let f(j) = 4*j**2 - 2*j + 5. Let m(g) = 13*f(g) - 6*y(g). Let x be m(-1). Let a be (-26)/42 - (-1)/3. Which is smaller: x or a?
x
Suppose 0 = -2*k - 3*b + 19, b = 2*k + 4 - 3. Let j be -6*(5/(-2) + k). Suppose 0 = -s - j*s - 12. Are s and -1 equal?
False
Suppose -90 = 4*z - 6. Let a = z - -15. Which is smaller: -3 or a?
a
Let j = 10 + -15. Let k = -8 - -3. Let d = k - -4. Which is greater: j or d?
d
Let l = 3.1 + -5.6. Let p = -1.1 + l. Let b = p + 2.6. Which is bigger: b or 0.22?
0.22
Let b = -10 - -13. Suppose -5*i - 5*c - 5 = 0, 4*i - 4 = b*c - 1. Let g be ((-4)/(-54))/((-26)/39). Which is bigger: g or i?
i
Let p = -21 - -32. Let q = -15 + p. Let i be (16/q)/(9/1). Is -1 greater than i?
False
Let q = -16 - -18. Suppose -5*j = w - 9 + q, -7 = j + 3*w. Suppose 0 = j*y + y. Which is bigger: 1/14 or y?
1/14
Suppose 4*b + 4*f = 16, 3*f + 0 = 5*b - 12. Suppose -5*i = -0*l + b*l + 157, 3*l - 104 = 4*i. Is i at most -30?
False
Let n = 652 + -646. Is n smaller than -0.12?
False
Let f = -771 - -771. Which is greater: -5/172 or f?
f
Let y = -718 - -1478. Are 759 and y equal?
False
Suppose x + 5*f + 25 = 0, -6 = 3*f + 6. Let r(z) = -8*z - 17. Let v(c) = 3*c + 9. Let b(h) = 2*r(h) + 5*v(h). Let o be b(x). Is o less than 16?
False
Let i = -4 + 1.3. Let s = -2.87 - i. Let u = -14 + 13. Which is smaller: u or s?
u
Let h = -1.2 + 0.2. Let n = 2912 - 2911.54. Are n and h nonequal?
True
Suppose 6*u - 3*r - 33 = u, -4*r - 20 = -4*u. Let q be (-5)/85*2 - (-310)/34. Is u >= q?
True
Let l = -18 - -16. Let y be (7 + -8)/(l/24). Let a be 8/10*y/144. Which is smaller: 0 or a?
0
Let i(b) = -b**2 + 9*b - 2. Let s be i(6). Suppose -3*c + s = -0*v - 2*v, 2*c + v - 20 = 0. Suppose -c = -4*y + 8. Which is smaller: 6 or y?
y
Let s = 461 - 454. Which is smaller: 6 or s?
6
Let f = 11.9 + -1.9. Let l = f - 8. Let v = -0.21 - -0.51. Is v >= l?
False
Let j = -37156/27 - -1376. Suppose -6*p + 3 = -1 - 2. Which is smaller: p or j?
j
Let p(v) = -v + 27 - v**2 - 16*v + 7*v - 2*v. Let t be p(-12). Which is smaller: 26 or t?
26
Suppose -15 = -o - 5*j, 0*o + o - 2*j = -6. Let a be 46/(-860) + 5/50. Which is bigger: o or a?
a
Suppose 3*a = 5*q + a + 3, q + 5*a - 21 = 0. Let j = -323793348/29 + 11166464. Let s = -1176 + j. Do s and q have different values?
True
Let u be ((-2)/(-12))/((-30)/(-84)). Suppose 3*x = -5*b + 22, 4*x = 5*b - 4 - 25. Which is bigger: x or u?
u
Let x be 6/(-32)*156/(-117). Let g = 1 + -1. Do g and x have the same value?
False
Let t = -8 + 14. Suppose 3*v = -9 + t. Do -1 and v have different values?
False
Let j = 1 + -2. Let c be -4*(-6)/(-36) + (-290)/6. Let z be (1 - -1) + 96/c. Is z less than or equal to j?
False
Let b = -366451/30 - -36325/3. Let f = -107 - b. Which is greater: -1/2 or f?
f
Let j(b) = 22*b - 128. Let c be j(6). Which is smaller: c or 70/17?
c
Let q(y) = 2*y - 3*y**2 + 1 + 3*y - 5 + y**2. Let r be q(3). Suppose -5 = 10*a - 5*a. Is r smaller than a?
True
Let o = -38 - -89. Let n = 43 - o. Which is smaller: n or 0.03?
n
Let q be 14/91 - (-3 + 305/39). Is q smaller than 2/5?
True
Suppose 0 = -3*h + 6*h + 9. Let m be -6*(7/(-2) - h). Suppose 0 = m*z - 7*z. Is -2 != z?
True
Let w(p) = -p**3 - 21*p**2 + 3*p + 18. Let h be w(-21). Let o = h + 46. Let a = 919/9 - 102. Do a and o have the same value?
False
Suppose -5*z + 2*d = 4*d - 4, -6 = -3*d. Let g = -11/216 - 2/27. Is z at least g?
True
Suppose 0 = -2*s + 5*z + 37 + 68, 5*z - 5 = 0. Suppose 4*p + 2*k = s + 1, 2*k + 28 = 2*p. Let v = -24 + p. Which is greater: -9 or v?
-9
Let d = 696 + -729. Which is greater: -1 or d?
-1
Let o = -490 + 256. Which is smaller: 2/5 or o?
o
Let b(o) be the first derivative of -2*o**3/3 + 5*o**2 - 2*o + 94. Let j = 2 - -2. Let y be b(j). Which is smaller: 8 or y?
y
Suppose -38*s = -33*s + 5*y, -3*y = 2*s. Is s bigger than 22/75?
False
Let q = 97 + -241. Which is greater: -145 or q?
q
Let z = 7465 + -7465. Let q = 317/9 + -35. Is z less than or equal to q?
True
Let w(x) = 3*x. Let m(r) = -6*r + 1. Let j(f) = 2*m(f) + 5*w(f). Let t be j(0). Let d = -47/8 + 755/104. Is t greater than d?
True
Let g be 95*19 - 1/(-1). Let y = g - 39725/22. Is -1 less than y?
True
Let b be (-9 - 0)*(-6)/9. Suppose w - b + 2 = 0. Let r = w - 1. Does r = 2?
False
Let c = 56/43 + -2617/1118. Let v = c - -3/2. Is v smaller than -1?
False
Let i(d) = d**3 + 4*d**2 - 7*d - 9. Let y be i(-5). Let r = 11/2 + -83/14. Do y and r have different values?
True
Let p be (0 + 2)*5/10. Let k be 0/(((-16)/4)/p). Let z = -1 + 0. Which is greater: k or z?
k
Let a(r) be the third derivative of -11*r**4/24 + r**3/6 + 23*r**2. Let j be a(-1). Let z = -8 - -20. Is j bigger than z?
False
Let o(f) = -f**3 - 8*f**2 - 3*f - 8. Let i be o(-8). Suppose 0 = 3*p + 6 + 6, -b - i = 3*p. Let l be (5/(-15))/(b/(-3)). Which is greater: l or 1?
1
Le