 y - 127. Suppose 0 = x*t - 142*t - 100. Is -21 > t?
False
Let d be 3 + 1 - ((-2 - 11) + -1). Let w = 16/89 - -4936/267. Which is bigger: w or d?
w
Let v(g) = -1529*g**2 - 30*g + 16. Let j be v(1). Which is bigger: j or -1540?
-1540
Suppose 57*n - 12 = 63*n. Let u = -50 - -84. Is u != n?
True
Suppose -100*d = -98*d + 12. Which is smaller: d or -322?
-322
Suppose -281*r = 280*r - 536*r - 3800. Let b = 31 - -120. Do b and r have different values?
True
Suppose 3833*q - 3821*q = 0. Which is greater: q or -42/439?
q
Let i = 3403.7 - 3400. Which is smaller: i or -11/5?
-11/5
Suppose 29*m = 60*m + 31. Which is smaller: -9/1502 or m?
m
Let u = -405 - -406. Let z be (3 - 5) + 0/(-4). Let d be 45/(-780)*(2 - z). Is d less than or equal to u?
True
Let v be (4 + -5)/(4 - 1). Let x = 873 - 893. Which is smaller: x or v?
x
Let h = 0.5 + 1.5. Let z = -5403.96 - -5544. Let v = -140 + z. Which is smaller: h or v?
v
Let p = -96306/17 + 5676. Are -3 and p unequal?
True
Suppose -8*s + 838 = -50. Suppose 5*n - 15 = 0, -4*n - s = -4*h - n. Suppose 5*g = 5*d + h, 0*d = 2*d + 2*g. Do -4 and d have the same value?
False
Suppose -26*v = -2*n - 27*v + 29, 2*v - 73 = -5*n. Suppose 0*a + a + 15 = -4*r, -r - 9 = 2*a. Let h be 6/(-2) + (r - -23). Is n less than h?
True
Let y = -43799/3 + 14570. Which is smaller: y or 24?
y
Let b be (192/(-5) + -1)*5/2. Let v = -569/6 - b. Do 3 and v have different values?
True
Let x = -102954.9 + 102955. Let l = 0 + 0.1. Is x less than l?
False
Suppose -4*r + 3*o = -199, -4*o = -r + 32 + 21. Let m be -3 + 1743/r*-1. Which is bigger: m or -38?
-38
Let u = 2 - 14. Suppose 2*c - 3*q = 64, -2*c - 2*q - 32 = -3*c. Suppose 5*s + d + 66 = 0, -12*s + 14*s = d - c. Which is greater: u or s?
u
Let b = 1076 + -1077. Is b > 42/209?
False
Let n be (-41)/410 + (-4893)/(-49030). Which is smaller: -1 or n?
-1
Let k = -11449/80437 - 6/11491. Is 81 equal to k?
False
Let h = 79 + -97. Let i be -6 + h/(-6)*2. Which is smaller: 9/35 or i?
i
Let m = 4626 - 4624. Is -6259 at least m?
False
Let o = 154.8 - -102.3. Let n = o - 257. Is n bigger than -0.09?
True
Let x(y) = 160*y**3 + 3*y**2 - 3*y - 1. Let w be x(1). Let b = -138 + w. Let u(i) = -i**2 - 3*i + 11. Let c be u(-5). Which is greater: c or b?
b
Let g be 185/(-3) - (-329)/(-141). Let x = -85 + 151. Let t = g + x. Which is smaller: t or 13/9?
13/9
Let h = -9965 - -9970. Is -318/5 < h?
True
Let p = -11644 + 14865. Is p at least as big as 3221?
True
Let m = 38034 - 38033. Is m at most as big as -5526?
False
Suppose 23*d + 27 = 32*d. Suppose -d*h = a - 5*a + 89, a - 18 = 5*h. Suppose 16*o + a = -41. Which is greater: -6 or o?
o
Let j = -28 + 28. Let r(c) be the second derivative of c**4/6 + 7*c**3/6 - 29*c**2/2 - 25*c. Let a be r(-6). Which is greater: j or a?
a
Suppose 5*x + 95 = 10*x. Suppose 6*p - x = p - a, 3*a = -2*p + 5. Suppose -3*i + 6 = p*j - 2*j, -5*j = -3*i + 6. Is 1 > j?
True
Let d = 244 - 235. Suppose -154 = d*k + 89. Is k greater than or equal to -27?
True
Suppose 6*d - 7*d + 22*d - 5649 = 0. Suppose -2*b + 4*b = 542. Does b = d?
False
Let n = -10396 + 10397. Is n less than or equal to 11/966?
False
Let v = 3.72 + -3.64. Let b be (-2)/13*1771/55. Let k = -24/5 - b. Is v not equal to k?
True
Let g = 5812 - 5812. Is g >= -30?
True
Suppose -1305 = 5*b + 3*t - 10373, -2*b + 5*t = -3652. Which is smaller: b or 1817?
b
Suppose -3*s - 48 = -4*w - 0*s, 8 = -2*s. Suppose 0 = -21*l + 12*l + w. Which is smaller: -2/347 or l?
-2/347
Let j = 994 + -434. Suppose 13*p - 27*p = j. Which is bigger: p or -77/2?
-77/2
Let o be 57/(-6) + (10 - (7 - 4)) - -3. Which is smaller: o or 0.238?
0.238
Let i be 0 - (4 + 6302 + 1). Let v be 5/1 + -16 + i. Let n be (1/((-6)/(-4)))/((-52)/v). Which is smaller: -2/3 or n?
-2/3
Let i(l) be the second derivative of -l**3/6 - 17*l**2/2 - 57*l. Let r be i(-17). Let o = 592 + -27826/47. Which is smaller: r or o?
o
Let a(h) = -16*h + 55. Let v be -12*(12/48 + 6/(-8)). Let n be a(v). Let c = -101 - -59. Do c and n have different values?
True
Let h = 0.0356 - -74.5644. Let n = h + -74. Let y be 20/14 + (-6)/14. Is n not equal to y?
True
Suppose 3*s + 654 = -3*o, -2*s + 1182 = -5*o + 57. Let i = 128 + o. Is -93 at most as big as i?
False
Let s be -2*(-4)/12*(249 - 3). Suppose -668 = -8*m - s. Are 1 and m equal?
False
Let j = -3356 - -3355.98. Which is smaller: 16.2 or j?
j
Let r be (-2)/(-3) - 17535314/1632. Let l = r - -10744. Are 1 and l non-equal?
True
Let o = -134 + 10. Let d(v) = -6*v**2 - 19*v + 2163. Let u be d(18). Is o at least as big as u?
False
Let i = -765 - -911. Let w = i + -145.1. Is w at most as big as 0.04?
False
Let u = 76733 + -692783/9. Let n = u - -243. Which is smaller: n or -1?
-1
Let y = -0.516 - -3.116. Let d = y - 0.6. Does d = 3/25?
False
Let v be 30/28 + (7 - 138/21). Let b = -16.8 + -0.2. Do v and b have the same value?
False
Let s = -6.4 - -9.4. Let n = -90 - -72. Let a be (27/(-9))/(n/(-4)). Which is smaller: a or s?
a
Let h = -56804 - -12383299/218. Which is smaller: -1 or h?
-1
Let v = 25103 + -30481. Is -5378 < v?
False
Suppose -3*h + 112 = 10. Let t = -47 + h. Let c = -32 - -20. Which is bigger: c or t?
c
Let q be 1/(-1 - -2)*-1*-2. Let o be 2/(-2 - (q - 2)). Which is smaller: o or -2/3?
o
Let g be (1708/126 - 14)*333/1702. Let j be 98/(-170) - (-2)/5. Which is smaller: j or g?
j
Let h be 8 + 75/(-9) + (-7)/(-3). Which is smaller: h or -2100?
-2100
Let j = -468 - -468.2. Which is greater: -0.0241 or j?
j
Let l be (0/(-6))/(-3 - -1). Suppose 5*m - a - 195 = l, -13*m + 3*a = -9*m - 167. Do 38 and m have the same value?
True
Suppose 8*l = 24 + 8. Let q be (l*(-2)/(-28))/(48/168). Is 203 at most q?
False
Let v(j) = -j**3 - 6*j**2 - 2*j + 9. Let y be v(-6). Let o be y - 5 - 4/(-6)*3. Suppose 44 = -4*h + 2*d, 0*d - o = 2*h + d. Is h at least -43/4?
True
Suppose -17 = 16*z + 63. Let y be (-8 + 50 - -2) + z. Is 39 smaller than y?
False
Suppose 67 = -2*l - 67. Let t(u) = -u**3 + 4*u**2 + 31*u - 52. Let j be t(7). Let c = l + j. Which is bigger: c or -51?
c
Let d(m) = 4*m**2 + 12*m + 1. Suppose 3 = -2*o - 3. Let b be d(o). Which is smaller: b or 51?
b
Let t be (-1)/(-3) + 130/(-60)*-22. Suppose -145*y + t = -139*y. Is 7 bigger than y?
False
Let n be -8 + -4*(-69)/8*(-26)/(-117). Which is greater: 2228 or n?
2228
Let j(i) = -830*i + 4122. Let g be j(9). Which is smaller: g or -3350?
-3350
Let s be ((-3041)/8 - -3) + (-230)/(-1840). Which is greater: s or -418?
s
Let y be -1*(325/(-78) - 2/(-12)). Suppose -4*a = -4*x + 136, -y*a - 176 = -5*x - 5*a. Let u be (20 + -2)/(1/2). Is u < x?
False
Let s = 280.4 - 280.5. Is s at least as big as -0.0069?
False
Let k(y) = 30*y**2 - 12. Suppose 10 = 19*d - 47. Let q be k(d). Which is smaller: 260 or q?
q
Let l = 21946 - 21998. Let i = -81 + 32. Which is greater: l or i?
i
Let n = 37.9 - 33.6. Let c = -4.66 + n. Let y be (-3)/(-5 + 2)*-1. Is c > y?
True
Suppose -63079 = -110*l - 14239. Which is smaller: l or 5780/13?
l
Suppose -565 = 2*w + 3*w. Suppose -12674 - 17723 = -10*r + 279*r. Are w and r nonequal?
False
Suppose 18*t + 6 = 20*t, 5*d = 2*t - 1. Is d at least 14/1383?
True
Let t = 105.2 + -158. Let s = t + 52.7. Is s smaller than -3/11?
False
Let b(w) be the third derivative of -w**4/6 - 12*w**3 - 15*w**2. Let j be b(-16). Let n be -1*(-2)/2 - (j - 0). Is n at most as big as 5?
False
Let y = -8.88 - -24.78. Let x = -30 + 14. Let r = y + x. Are -2 and r nonequal?
True
Let g be 116/(-30) + 2/(-6). Let k = 216 - 213. Let f be 9/(72/32) - k. Does g = f?
False
Let y be (1 + 152)/((-3)/(-36)). Suppose y = -6*c + 498. Let z = -885/4 - c. Which is bigger: z or 1?
z
Suppose -528*x = -533*x. Are 24/23 and x non-equal?
True
Let i = -76 - -130. Let t = -24 + i. Let r = -40 + t. Which is smaller: 0 or r?
r
Let t be (-17975)/(-565)*1422/15. Let v = t - 3016. Let b = v + -212/791. Which is bigger: b or 1/3?
1/3
Suppose -2*n - 7 = 5*z, 0 = z - 0*z + 1. Suppose 5*a = -3*m, 5*a = 5*m - 0*m. Let u be (1 + a)/(6/(-2)). Is n < u?
True
Let h(w) = w**2 + 4*w - 53. Let b be h(-10). Let o be (9/(-18))/(b/(-4)). Is o >= -1?
True
Suppose 18*z = 7*z - 2189. Let b = z + 198. Is -12/19 > b?
True
Let j be ((-3)/(-2))/((-6)/(-278460)*5). Let l = j - 94957/7. Let m = l - 272950/763. Is -1 > m?
False
Let v be -1*(3 - -1) + 9300/270 + -10. Which is smal