 2077. Is 87 greater than or equal to z?
True
Suppose 0 = 2*f - 0*f - 6. Let h = 5 - f. Which is bigger: h or 10?
10
Suppose -2*s + 16 = 5*f, -6 = -3*f - 2*s + 6. Let j(h) = 2*h**2 - h - 2. Let b be j(f). Let r = -492 - -496. Do b and r have the same value?
True
Let h = 157.09 + -157. Which is bigger: h or 0.3?
0.3
Let x(w) = -304*w - 311. Let f be x(5). Which is smaller: -1832 or f?
-1832
Let u be (-1)/(-5) - 57069/205425. Let o = u - 2/913. Which is greater: o or -2?
o
Let z(u) = -u**3 + 7*u**2 + 5*u + 4. Let h be z(8). Let y be 8/44 + h/(-11). Suppose -q = -y*q + 13. Is 13 greater than q?
False
Suppose 5*b - 7*b = 18. Is -48/5 >= b?
False
Let r = 0.3 + -5.3. Let i = -24 - -17. Let c = i - r. Which is smaller: 1 or c?
c
Suppose 0*o - 5*o = -20. Suppose -23 - 7 = -3*g - 3*i, -i = o*g - 40. Let z(m) = 4*m + 134. Let q be z(-31). Is g at least as big as q?
True
Suppose 2*p + 2*k - 18 = 6*p, 3 = -4*p - 3*k. Let r be (4 + 13/(-3))*p. Which is smaller: r or -18?
-18
Let t(i) = 0*i - 6*i**2 - i**2 + i**3 - 4 + 3*i**2 - i. Let l be t(4). Let o be (-10)/4*l/(-230). Is -1 <= o?
True
Suppose 60 = 14*q + 16*q. Let o = 7 + -6. Suppose o = -2*j + 3*j. Which is smaller: j or q?
j
Let d = -13.42 - -13.42. Which is greater: d or 1.18?
1.18
Suppose 16 = -2*w + 18. Let n be w/2 - ((-3366)/(-12))/11. Is -24 less than n?
False
Let j(o) = 5*o**2 - 73*o - 28. Let x be j(15). Which is bigger: 1/2 or x?
x
Let c be 145/75 - 4/(-30). Let k = 12/5 - c. Is k < 2/5?
True
Let r = 217/45 - 47/9. Are r and -2 non-equal?
True
Let t(g) = 5 - 2*g - 15 + 17*g + g**2. Let w be t(-16). Is w at least -2/19?
True
Suppose 4*s = -0*t + 5*t + 214, 3*t + 4*s + 122 = 0. Let z = t + 39. Which is greater: 2/7 or z?
2/7
Let b be -3*((-380)/(-12) - 2) - -3. Let n = b + 85. Suppose -3*p - 2*p = -5*w - 25, -5*p + 2*w + 16 = 0. Which is smaller: p or n?
n
Suppose 5*l = -3*f - 105, -10 + 87 = -2*f - l. Let b = 41 + f. Let v = -43 - -647/15. Which is smaller: b or v?
v
Let m = 79/3 + -26. Let b = -302 + 301.5. Which is smaller: b or m?
b
Let c(u) = 2*u**2 - 14*u + 21. Let p be c(5). Which is bigger: p or 23/4?
23/4
Let n be 2*(-1 + (-110)/(-4)). Suppose -41*y + 44*y - 162 = 0. Which is bigger: n or y?
y
Let t(f) = f + 9. Suppose -4*l + 0*l + 3*g = 87, -5*l = 5*g + 65. Let c = 10 + l. Let v be t(c). Is v at most -2/17?
False
Let i = 1623 - 1624. Are 2/657 and i non-equal?
True
Let o(y) = -7*y**2 - 3*y + 18. Let q(a) = -9*a**2 - 2*a + 18. Let p(b) = -5*o(b) + 4*q(b). Let g be p(4). Which is bigger: g or -16/3?
-16/3
Suppose -4*f = -3*r + 64, 0*r - 4*r + 4*f + 84 = 0. Suppose -q + 4 = -0*q, -4*h + 2*q = -r. Which is smaller: h or 1?
1
Let d be 126360/(-1365)*(-2)/(-3). Which is bigger: -1/3 or d?
-1/3
Let t(o) = -o**2 - 6*o - 5. Suppose 3*k - 4 = 4*k. Let n be t(k). Let w be -6 + n - 2/(-1). Which is bigger: 2 or w?
2
Let f(d) = -2*d**3 - 12*d**2 + 2*d + 12. Let b be f(-6). Which is smaller: b or 5/23?
b
Let q = -0.08 - -5.08. Let w = q - 0. Let l = -3 + w. Which is smaller: l or 2/3?
2/3
Let l(c) be the first derivative of 4*c**2 - 16*c + 1. Let s be l(-7). Let f = s - -577/8. Which is greater: f or -0.1?
f
Let u = -7 + 6. Let y be u + (-2)/(-4 - -2). Suppose y = -5*h - 25, 2 + 8 = -5*z - 5*h. Is 5 < z?
False
Suppose 0 = 4*f - 12, -4*u = -f - 4 - 5. Let a = -1 + u. Let b be a/(-4) - 9/18. Which is bigger: b or -2/7?
-2/7
Let a = 9380 - 365818/39. Let w = -1 - -1.1. Is a smaller than w?
True
Let w(c) = -c**2 + 4*c - 6. Let a be w(2). Let v be (-28)/(-21) - a*1/(-6). Is -1/24 at most v?
True
Let i = 7.11 - 0.11. Let m = 15 - i. Let c be 3*1 + 17/(-5). Is c less than m?
True
Let k = 6 - 5. Let q be 2*(k - (-3)/(-2)). Is q > -4/27?
False
Let k = 26 + -44. Let n = -20.65 + 1.65. Let j = k - n. Which is greater: -0.4 or j?
j
Suppose 0 = -k + 9*k - 32. Let h be (-23 - -26)/(10/k). Suppose -3*z = 5*d - 13, 3*z - 5*d + 7 = -0*z. Which is greater: z or h?
h
Let z(i) = -4*i + 15. Let x be z(4). Which is greater: x or 2/391?
2/391
Suppose u = 4*u + 168. Let a = 79 + -46. Let o = a + u. Is -23 at most o?
True
Let q = 0.56 + -0.76. Let o be (2/3)/(88/6). Which is smaller: q or o?
q
Let s = 648/11 + -58. Let u = s - 52/33. Is u < 5?
True
Let l(f) = 4*f - 1. Let u be l(1). Suppose -4*c + r + 25 = 0, -2*c + 23 + 12 = -5*r. Suppose -18 = -c*n - 18. Is n >= u?
False
Let w be (-21)/(6/(-2)) + -3 + -266. Let z = -13623/52 - w. Do 1 and z have different values?
True
Suppose m - 16 = -0*i - i, -m + 5*i - 8 = 0. Is m less than or equal to 67/6?
False
Let g = -224 + 249. Which is greater: g or 20?
g
Let y be (134/(-104))/((-44)/(-176)). Which is greater: -5 or y?
-5
Let p be 2/(-4)*(-7)/(7/2). Let f(n) = 2*n**2 - 3*n + 1. Let v be f(p). Do -8 and v have the same value?
False
Let w = 122 - 130. Let f = 1 + w. Let l = 0 - -0.1. Which is greater: l or f?
l
Let z be 45/(-9) + 5 + 0. Are z and 4/1299 equal?
False
Let c = -140.68 + 141. Is -2 at most c?
True
Let d(m) = -5*m**3 + m**2 - m - 1. Let t be d(-1). Suppose 0 = -4*p - i - 22, t*p + 2*i = 3*p - 14. Which is greater: p or -5?
-5
Let w(h) = -h**3 - 9*h**2 - 16*h - 7. Let x be w(-7). Let k(b) = 3*b**3 + b**2. Let r be k(1). Let g be ((-98)/21)/(r/(-6)). Are g and x equal?
True
Let x(v) = -v**3 + 5*v**2 + 2*v - 6. Let k be x(5). Suppose 27*o - 31*o + k = 0. Do -2/27 and o have the same value?
False
Let u = 1 + 3. Let w be 6 + 9/(189/(-56)). Is w at most u?
True
Suppose -5*r + 2*w + 29 = 0, 3 = -3*w - 3. Suppose -4*o - 4*x = -96, r = -2*o - 5*x + 56. Are 22 and o equal?
False
Let s = 1118 - 1117. Is s greater than -2/761?
True
Let d = -5427/10 - -542. Which is greater: d or -2?
d
Let v be (-19)/(-57) - (-136)/42. Suppose 7 = -4*h + 7*h + 2*l, -4*h - 4*l + 4 = 0. Is v equal to h?
False
Let j be -2 + 7 - (95/10 - 4). Which is bigger: j or -9/2?
j
Let h = 26 - 21.3. Let a = h + -5.7. Which is smaller: -5/6 or a?
a
Suppose 3*l = -2*k - 700, -2*l - 2*k = k + 460. Is -237 >= l?
False
Suppose -2*p + 43*t - 41*t - 1312 = 0, -2*t - 6 = 0. Are -661 and p non-equal?
True
Suppose 2*t - 3*n = 73, 2*t - 2*n = -3*t + 166. Let r be (-5)/(-1)*t/40. Suppose -r*c - 5 = c. Which is smaller: -1/3 or c?
c
Let y(g) = -354*g - 4. Let p be y(-1). Let x = p - 2454/7. Which is greater: -1 or x?
x
Suppose 1 = -3*r + 2*r. Let x = -1009/54 + 113/6. Which is smaller: x or r?
r
Suppose -f = 5*q - 15, -20*q + 2*f - 8 = -19*q. Let t be 17/2 + 1/(-2). Let c = t + -5. Which is smaller: q or c?
q
Suppose 81 = -5*h + 16. Let s = -12 - h. Which is smaller: 9/8 or s?
s
Let j(z) = 2*z**3 - 8*z**2 - 11*z - 4. Let u be j(5). Let o be 2 + 6 + (u - -7). Is o <= 40/7?
False
Let o = -0.86 + 0.16. Let v = -0.8 - o. Let w = 6.1 - 0.1. Is v <= w?
True
Let y = -9 - -21. Let m be 8/2 - (-9)/((-18)/(-16)). Are y and m equal?
True
Let r = -0.32 - 0.54. Let a = r + -0.14. Let c = 244 + -1224/5. Is c greater than a?
True
Let m = 2/29 + -126/145. Let k = 1.2 - 3.2. Which is bigger: k or m?
m
Let w(t) = -t - 20. Let u be w(-21). Which is greater: u or -2/5?
u
Let c = -21 - -18. Suppose -5*n + 5*d = 2 + 28, -4*d = -3*n - 22. Is n equal to c?
False
Suppose y = -5*k + 7109, y = 4*k - 0*y - 5680. Is k at most 1421?
True
Let c = -1.92 - 0.08. Let p = -10 + c. Let d = p + 11. Which is smaller: d or 1?
d
Let d = -1.25 + 3.25. Are d and -73 unequal?
True
Let r = 350.2 - 350. Which is smaller: r or -39?
-39
Let h(m) be the first derivative of -3*m**2/2 + 5*m - 11. Let b be h(5). Is b > -10?
False
Let f(b) = b**3 + 4*b**2 + 9*b + 16. Let l be f(-3). Suppose -6*r + 40 = -5*y - 11*r, -4*y - 3*r - 31 = 0. Is y smaller than l?
True
Let i = -0.022 - -37.022. Let h = i - 39.3. Let y = h + 0.3. Which is smaller: y or -8?
-8
Suppose k + 0*u + u - 70 = 0, -5*k + 353 = 4*u. Are 71 and k equal?
False
Let n = -7 + 10. Let m = n + 7. Suppose z - m = -3*a - 2, 5*z = -4*a + 7. Which is smaller: -3 or z?
-3
Suppose d - 3*d = 2*m - 14, -m = 5*d - 19. Suppose -d*i = -0*r + r + 1, 5*r - 49 = 3*i. Suppose 0 = -k - k - 2*z + r, -4*k = 5*z - 13. Which is smaller: k or 8?
k
Suppose -5*c - 24 = -8*c. Let o = -1 + c. Let g(p) = 3*p - 26. Let i be g(11). Is o > i?
False
Let v be 909/(-30)*(-14)/6. Let o be -71*4/(-4) + 0. Let l = o - v. Which is greater: l or -1?
l
Let r = -423 + 1163. Is -0.2 > r?
False
Let r = -25 - -25.13. Let w = r - -0.17. Which is smaller: