t i be v(3). Let h = i + -137/2. Which is greater: h or -2?
h
Let i(n) = -110*n. Let x be i(-1). Let l(d) = -d**2 - 71*d + 831. Let u be l(9). Is u at least as big as x?
True
Let p = 33 - 54. Let t be 0 + 15/12 + (-2)/(4 - 2). Is t <= p?
False
Let j be 4/(-14) + (-528)/(-1995). Suppose -1848*g + 1861*g = 0. Which is bigger: j or g?
g
Suppose 3*q - 4*l = 5743, -3842 = -3*q + q - 4*l. Suppose -943 - q = -22*c. Is 129 at most as big as c?
True
Suppose 26 = -2*d - 0*d - 4*g, 31 = -d + 4*g. Let j(n) = 2*n - 37. Let a be j(d). Let q = a + 53. Do -20 and q have the same value?
False
Let a(v) = 46*v**2 - 9*v - 38. Let c be a(-6). Does c = 1674?
False
Let x = -141.8 + 141.9. Let o = 52.7 + -504.7. Which is bigger: x or o?
x
Let d = 1420/479 + -19401/6706. Let q = 1 + -1. Which is smaller: d or q?
q
Let r = 359 - 178. Let b = 181 - r. Which is greater: b or 35/9?
35/9
Let z(i) = -4*i**2 - 4*i - 1. Let q be z(-1). Let h = 2737 - 1884. Let g = h - 79327/93. Is q < g?
True
Let j = 28/3 - 314/33. Let u be (18/112 - (-20)/(-70))*2. Is j <= u?
False
Suppose -23442*s + 23451*s - 9 = 0. Is -1/3740 less than s?
True
Let c = 2.808 + 23.192. Is 2/15 bigger than c?
False
Suppose 0 = g + 60 - 62. Let v be (-121)/22 + 7 - g/(-4). Are v and 5/8 non-equal?
True
Suppose -9*x + 4*x = -10. Suppose -16 = x*c - 0*q + 2*q, 0 = q. Let d(o) = o**3 + 6*o**2 - 15*o + 4. Let p be d(c). Which is bigger: p or 0.2?
0.2
Suppose -b = k + 18, 33 = -b - 5*k + 7. Suppose -q - 6 + 74 = -3*s, -3*s - 3*q - 48 = 0. Which is smaller: s or b?
s
Suppose -3*u - 4*h - 172 = h, -5*h = -2*u - 73. Let d(b) = -5*b**3 + 3*b**2 + 2*b. Let j be d(-2). Let v = j + u. Which is greater: -5 or v?
v
Suppose -3*q - 15 = 0, -3*d + 5*q - 63 = 23. Let t = d + 31. Let r(x) = -x**2 - 7*x - 6. Let y be r(t). Which is smaller: y or -4/11?
-4/11
Let c = -24.052 + 24. Let r = 6.953 - 1.101. Let q = r + c. Which is bigger: 0 or q?
q
Let a = 46734 - 234885083/5026. Is 1 smaller than a?
False
Let i = -817 - -818. Which is smaller: -7/73 or i?
-7/73
Let d be 135*(-46*(-5)/(-50) + 4). Is d less than -75?
True
Let n be 22/(-2 - -1) - 1. Suppose -3*f - 2*v - 3 = 0, 28*f - 2*v = 32*f + 4. Let o = f + n. Which is smaller: -26 or o?
-26
Let z = -2936078/571 + 5142. Which is smaller: z or 1?
z
Let g be 5/(-15) + 34/(-6). Let l be (1*g/300)/(4/2085). Let q = -52/5 - l. Which is greater: q or 0?
q
Suppose -69*r + 3388 = -25*r. Which is smaller: r or -18?
-18
Suppose -11*s - 5890 = -16*s - 5*m, 5*m - 5 = 0. Which is bigger: s or 2355/2?
2355/2
Let h be (-1)/6*-517 - (16 - (-33)/(-2)). Is h greater than 86?
True
Let c be (-3 - 1)*((-2)/4 - 4). Suppose 3*v - c = 3*i, -4*v + 0*i + 3*i = -21. Suppose 2*m + n = v*n, -2*m + 6 = n. Is m smaller than -0.2?
False
Suppose -43867 = -73*g - 3790. Which is bigger: g or 551?
551
Suppose -2*v = -2*j + 10, 3*j = 3*v + 2*v + 11. Suppose -2*y + 4*w = -j*y + 120, 2*y + w - 48 = 0. Let b be (-6)/14 - (-1312)/56. Which is bigger: y or b?
y
Suppose 363 - 19 = -503*j - 662. Let g = -468 + 2801/6. Which is smaller: g or j?
j
Let b(x) = 4*x - 5. Let n(p) = -6*p + 7. Let r(z) = -7*b(z) - 5*n(z). Let l be r(1). Let s be (-16 + -1)/(l/(-2)). Is 17 equal to s?
True
Let z be 5 + (-1 - -3)*(-100)/40. Which is bigger: z or -3/4811?
z
Suppose -16*b + 127 - 511 = 0. Let o be (b/(-618))/(1/1). Which is smaller: o or -1?
-1
Let i be (80/(-15) - -4)/((-4)/642). Suppose 4*t + 26 = -i. Let z = t + 47. Which is bigger: z or -12?
-12
Let f be (190/12 - (25/(-15) + 2))*494. Which is smaller: 7658 or f?
f
Let f(g) = 11*g + 355. Let c be f(-10). Is 248 less than c?
False
Let m(h) = 0*h + 10 - 26*h**2 - 6*h + 22*h**2 + h**3. Let r be m(5). Let b = -91 - -97. Which is greater: b or r?
b
Suppose -4*f = i - 152, -114 = 4*f - 7*f - 2*i. Let j be -3 + 125/(-15)*f/(-106). Which is greater: 0 or j?
0
Suppose 3*c - c - 5*t = -15, -3*t + 27 = -3*c. Let f = c - 0. Let a be (f/(-25))/((-16)/60). Is 4 < a?
False
Let m be (-2 + 72/20)*(-30)/(-12). Let l(p) = 2*p**3 - 5*p**2 - 5*p - 2. Let g be l(m). Is 22 less than g?
True
Suppose -39 - 1 = -5*m. Let z be (-13)/14 - m/(-16). Let p = -4/7 - z. Is p greater than or equal to 0?
False
Suppose 0 = 2*t - 2*i + 3*i - 5, i - 4 = -t. Let p = -3792993/224 + 16933. Is t < p?
False
Let y(c) = -c**2 + 6*c + 5. Let t be y(-1). Let s be (-3)/t - 5/10. Is -1/30 bigger than s?
False
Suppose -29*d = -346 - 1539. Suppose d + 152 = 5*z - 2*y, 4 = y. Is z less than 44?
False
Suppose -3*c - 3 = a - 9, 5*a + 2*c = -35. Let y be 9/(-6)*(-4)/6. Let r(j) = -10*j**2 + j. Let i be r(y). Is a >= i?
True
Let c = -1366 - -1360. Let l = 2.2 - -12.8. Is l less than c?
False
Let n = 2.904 + -0.945. Let q = -0.05832 + 0.09932. Let f = q + n. Is f at most -1?
False
Let l = 8277 + -5421438/655. Suppose -k + 12 = -4*g, g - 3 = 2*g. Which is smaller: l or k?
l
Let h be 462/(-1*(-3 + 4)). Let r be (-18)/30 - h/(-30). Is 2 equal to r?
False
Suppose 0 = y + q + 12, 920*q = 5*y + 915*q + 80. Is 48 bigger than y?
True
Suppose 207*k = 203*k - 4*g - 7124, 8 = -4*g. Does -1780 = k?
False
Suppose -7*b + 61 = 40. Let y be -203*(-12)/1260 - b/5. Let k = 0.09 - 0.16. Does y = k?
False
Let x = -3951 + 3891. Do 11/3 and x have different values?
True
Let j be ((-9)/(-2) - 4)*1. Let x(h) = h**2 + 3*h + 2. Let r be x(-3). Is r bigger than j?
True
Let h(k) = 5*k - 5. Let w be h(2). Suppose w = -6*m - 1. Is m at most -3/7?
True
Let w = -214793/7 + 30573. Which is bigger: -111 or w?
-111
Suppose 6*c + 60 = -12. Let d be 1/3 - (-232)/c. Let m = -1 + d. Is m != -20?
False
Let u = 3 + -2. Let r be (235/94)/((-2)/12). Let f be (-2)/16 - (r + 361/24). Which is smaller: u or f?
f
Let x(t) = -t**3 + 89*t + 61. Let v be x(0). Which is smaller: 76 or v?
v
Let g be 100/(-40) + ((-4)/(-2))/4. Let d be (-56 - -51)/(-3 + g). Which is greater: -7/94 or d?
d
Let r = 69.2 + -20. Let p = -48.9 + r. Is 75 < p?
False
Let b = -0.01 + -1.99. Suppose 23*y - 265 - 1414 = 0. Let l be (y - 56)/(1*(2 + -1)). Which is bigger: b or l?
l
Let l(v) = 150*v - 1375. Let i be l(12). Which is smaller: 2/15 or i?
2/15
Let q(c) = -5*c**2 + 43*c + 66. Let p be ((-380)/6)/(-5) - (-12)/9. Let n be q(p). Is n bigger than -312?
False
Suppose -2*g - 41 = 3*o, 2*o - 2*g + 15 + 19 = 0. Let s be ((-35)/o)/(6/294). Is s bigger than 113?
True
Let m = 299/2 + -2101/14. Let w = 165 - 169. Are w and m equal?
False
Let j be (-1)/(-4)*(-2 + -2). Which is bigger: -2/17057 or j?
-2/17057
Let g = -0.9949 - 0.0051. Which is bigger: g or 855/4?
855/4
Let v(d) = 4 + d**2 - 12 + 0*d**2 - 2 + 3*d. Let t be v(-5). Let o(y) = y**3 + 2*y + 8. Let w be o(t). Which is bigger: 9 or w?
9
Let j be (-270)/45 - (-1214)/(-1). Let r = -269622/221 - j. Which is smaller: r or -1?
-1
Let v = -10 - -15. Suppose n = -v - 12. Let u = 710 - 712. Which is greater: n or u?
u
Suppose -629 = -5*q + 4*j, -5*q + 10*q - 2*j = 627. Let p be 2 + ((-1600)/q - (2 - 0)). Which is greater: -13 or p?
p
Let p(w) = -4*w**3 - 2*w**2 + 10*w + 6. Let a(g) = 5*g**3 + g**2 - 11*g - 6. Let l(f) = -5*a(f) - 6*p(f). Let t be l(6). Is t less than or equal to 0?
True
Suppose 8*u + 24 = 8. Let y be (u - (2 - 4)) + (-24381)/(-215). Is 112 less than y?
True
Let p = 11622 + -11630. Let m = 0.9 - 1.01. Which is bigger: p or m?
m
Suppose 3*k - 6 = 0, k = 3*n - n - 78. Let i = 15 + n. Is i less than or equal to 55?
True
Let d(h) = h**3 - 8*h**2 + 73*h - 588. Let p be d(8). Which is bigger: p or -270/91?
-270/91
Let y = 398 - 387. Let d be (-7 + 1)/(((-3465)/14)/y). Let u be (-2 + 1 - -1)/(-1). Which is smaller: u or d?
u
Let t be 0*(-12 - -14)/(8/(-2)). Let w = -159 - -4291/27. Is t at least w?
True
Suppose 4*w - 2*m + 388 = 0, 45 = -w - 3*m - 45. Let g(p) = 2*p**3 + 8*p**2 - 27*p - 21. Let a be g(-7). Let u = w - a. Which is greater: 31 or u?
31
Let f = -141 - -140.917. Let l = f + 3.533. Let j = 0.45 - l. Which is smaller: -1/13 or j?
j
Suppose 0 = -z - 4*m - 90, 5*z - 108 = 3*m - 581. Let p = 98 + z. Suppose 5*y = 5*k + 11 + p, 2*y - 4 = 0. Which is greater: -1/5 or k?
-1/5
Let f = -784 + 821. Is f at least -17?
True
Let r(y) = -y**3 - 25*y**2 + 22*y - 27. Let t be r(-26). Are 190 and t non-equal?
True
Let l be 136/64*-38 + 3/4. Let y be (-1)/3 + (l/(-24) - 4). Is y less than -11/6?
False
Let l = 49.943 + 0.057. Let a = 50.29 - l. Let v = 0.71 + a. 