: t or -1?
-1
Let x = -216 - -216. Is x less than -6/419?
False
Let b = -6842/195 - -554/15. Is 1 > b?
False
Suppose 0 = -3*o - 3*p + p + 5, 5*p - 5 = 0. Suppose -8*a - 9 = -o. Is 3 greater than or equal to a?
True
Let b = 79589/137 + -581. Is b less than 0?
True
Suppose -7 = 10*f + 23. Which is smaller: -40/13 or f?
-40/13
Suppose -28*a - 6 = 22. Which is smaller: a or -0.001?
a
Let r = 348 - 345. Which is smaller: -1.6 or r?
-1.6
Suppose -6 = -4*a - 2. Suppose -73 = 5*t - 13. Let p be ((-80)/28 + 2)/(t/21). Is p at most a?
False
Let f = -43 + 40. Let j be 3 - (-1 - (0 + f)). Is -1/128 <= j?
True
Let h = -1394 - -1227. Is -164 bigger than h?
True
Suppose 52 = -4*i - 4*t, -2*i - t + 4 = 27. Let n = i - -12. Suppose -5*w + 2*d = 9, -n*w = 5*d - 0 - 8. Is w greater than -2/21?
False
Let o be (14/(-252))/((-2)/88). Which is smaller: o or 2?
2
Let b(d) be the first derivative of d**2/2 + 2*d - 3. Let f be b(-7). Let s be (f - (-4 + 2)) + 7. Is 5 greater than or equal to s?
True
Let k = 4483 - 49127/11. Are 17 and k unequal?
True
Suppose 3*g - 4*c = 5*g + 18, 0 = -5*g + 4*c + 11. Which is greater: g or 3/16?
3/16
Let p be -1*(3 - (2 - 4)). Let s = -4 - p. Let o be s - (11 + (2 - 1)). Which is greater: o or -12?
o
Let x be 21/1*60/(-70). Let j be 8/6*12/(-8). Let q be ((-24)/30)/(j/(-45)). Is q <= x?
True
Let o = 1471 + -1416. Is o bigger than 54?
True
Let a be (4/10)/(((-6)/(-50))/3). Let s(l) = 0 - 6 + l - 3. Let k be s(a). Which is smaller: k or 2/139?
2/139
Let m = -2.42 + -49.58. Is 0.1 greater than m?
True
Suppose -2*f + 5*f = -27. Let o(r) = -5*r. Let p be o(2). Let i = 1 + p. Are f and i equal?
True
Let t be ((-2)/(10 - 2) - -1)*-3. Which is smaller: t or -2/5?
t
Let r = 0.3 + 38.4. Let q = r + -39. Which is smaller: q or -8?
-8
Let s be 4*(4 + -9)/20. Which is smaller: s or -1/656?
s
Suppose 0 = -8*i + 4*i - 4*r + 92, 10 = 5*r. Suppose -2*a - i = -z + 9, -4*a = 0. Let c be ((-8)/z)/((-12)/(-10)). Which is smaller: -1 or c?
-1
Suppose 5*j + 23*j + 4536 = 0. Which is bigger: -164 or j?
j
Let f = -60.79 + -0.21. Let s = -60 - f. Which is smaller: s or -1/3?
-1/3
Let m be (34 + -29)*2/10. Suppose 3 - 6 = -q. Suppose q*v - v + 4*u + 14 = 0, -v + 5*u = -21. Do v and m have different values?
False
Suppose -3*u = 2*u - 50. Let h be -20*(0 - (-5)/u). Suppose 46 = -4*d - x, -2*d + 6*d - x + 42 = 0. Which is greater: d or h?
h
Let d be 220/(-12)*48/(-40). Which is bigger: 26 or d?
26
Let n = -75 + 114. Suppose -n = -6*u + 3*u. Is 13 <= u?
True
Let r = -1 - -1.12. Let k = -0.12 + r. Which is bigger: k or -8?
k
Suppose -63 - 7 = -2*q. Suppose 3*t + q = 8*t. Let x be 2/1 + 16/(-10). Is t < x?
False
Let a = -43 - -47. Suppose a*s = 6*s. Is s > 0?
False
Let o(a) = -3*a + 4. Let x be o(4). Let v(i) = i**3 + 8*i**2 + i + 8. Let f be v(x). Is f greater than 1?
False
Suppose 0 = -8*d + 5*d + 3. Let w = 15/28 + -221/308. Are d and w unequal?
True
Let w = 3 + -4. Let u = -12 - 12. Let r = 23 + u. Are r and w equal?
True
Let b = 278.9 - 9.9. Which is greater: 1/4 or b?
b
Suppose -3*u = -5*x + 2*u - 915, -4*u + 4 = 0. Let d = x + 367. Suppose -5*h + 0*c = -4*c - d, 185 = 5*h + 3*c. Are h and 0.1 equal?
False
Suppose t + 38 = 59. Is t greater than -1/4?
True
Let o = 0.74 - 4.84. Let w = 4 + o. Suppose 61*q + 3 = 60*q. Which is greater: q or w?
w
Let w = -20 - -3. Is w greater than -16?
False
Let s = 1206 - 1101. Which is smaller: 103 or s?
103
Let a be ((-88)/12)/(2/(-9)). Do 30 and a have different values?
True
Let h = -40 - -45. Let g be 7/32*26 - h. Is 1 != g?
True
Let v = 53 - 52.86. Let j = -0.24 + v. Which is smaller: j or -2/5?
-2/5
Let c = 143/20 - 297/5. Suppose 2*q + 12*q + 728 = 0. Let w = c - q. Is w greater than 0?
False
Suppose 8 = 9*g - 5*g, 0 = 2*s - 5*g + 712. Do -350 and s have the same value?
False
Let o = 0.8 - 1. Let c = o - 0.1. Let z = 0.65 - -1.35. Which is smaller: c or z?
c
Let c = 15908/37 + -430. Which is smaller: 1 or c?
c
Let z = 0.516 - 0.416. Which is greater: -0.0264 or z?
z
Suppose 2*c = -3*c - 3*h - 4, -15 = -3*c + 4*h. Suppose -b - 12 = -4*b. Are c and b unequal?
True
Let s = -3 + 3.7. Let o = 339 - 338. Is s <= o?
True
Let f = 1.44 - 3.44. Let v = -3 - -6. Suppose -3*h - 3 = v. Is h <= f?
True
Let a = 150 + -153. Which is smaller: -1 or a?
a
Let i = 17 - 80. Let d = i - -45. Is d smaller than -18?
False
Suppose 4*m + 183 = -5*h - 0*h, -2*m - 129 = -5*h. Let j = -5945/4 - -1434. Let l = j - m. Do -7 and l have the same value?
False
Let q = 33 + -32.56. Let b = q - 0.34. Which is smaller: b or 16?
b
Let o(u) = -u**3 - 2*u**2 - 7*u - 26. Let l be o(-3). Is -25 at most as big as l?
True
Suppose -5*j + 4*s - 24 - 996 = 0, -5*s = 4*j + 816. Is j equal to -204?
True
Let x = 821 + -822.49. Is x smaller than 0?
True
Suppose -5*u + 1 = g, -2*g = -5*u + 2*u - 2. Let h = 322/13 + -24. Is h bigger than u?
True
Let k = -2896/120589 - -6/1127. Let f = -4 + 5. Is f != k?
True
Let w = -4.69 - 1.31. Let m = 0 - -1. Let n = m + -0.9. Is w not equal to n?
True
Let b = 10599/238 + -495/14. Is 9 at least as big as b?
False
Suppose 0 = -h - 2 + 6. Suppose h*t + t + 2*l = 80, -5*t - l + 75 = 0. Let z be (9/(-21))/((-16)/t). Is 1 bigger than z?
True
Let k = -5/1022 - 433/1022. Suppose 0 = -3*i + 4*i + 6. Is i greater than or equal to k?
False
Let z(y) = -7*y**3 + 4*y**2 + 4*y. Let f(h) = 6*h**3 - 4*h**2 - 4*h - 1. Let l(g) = -6*f(g) - 5*z(g). Let k be l(5). Which is smaller: 0 or k?
0
Let s be (13/(-2))/(5/50). Let a be (28/(-10))/(13/s). Suppose -y + 0 = -5, -a = 4*d - 2*y. Is d at least -1?
True
Let f be 10/165 - (-124)/132. Which is smaller: 2/969 or f?
2/969
Let a be (-4)/6*3/(-2). Let m be (66/99)/(-1 - 12/(-9)). Which is smaller: m or a?
a
Suppose -918 = -4*n + 21*n. Is n greater than -221/4?
True
Let b = -3.9766 - -0.1866. Which is smaller: 0 or b?
b
Let l(s) = -s**2 - 4*s. Let k be l(-4). Let z(r) = 6 + r**3 - 26*r**2 - 14 + 28*r**2 + 9. Let p be z(k). Which is bigger: 2 or p?
2
Let s = 17 + -16. Suppose 0 = 5*v - 2*v - 84. Let u be 10*(1 - -1)/v. Is u < s?
True
Let b = -20 + 17. Let d be 12/18*(-18 + b). Let c(u) = 13*u**3 - u**2 - u. Let l be c(-1). Which is bigger: d or l?
l
Suppose -2975 = -65*q + 2225. Is 78 at least q?
False
Let l = 78 + -80. Let i be 10/(-5) + l + 16. Which is smaller: 7 or i?
7
Let m(n) = 2*n**3 - 12*n**2 - 18*n - 22. Let q be m(-11). Let j be (-672)/q + (-2)/11. Are j and 1 equal?
False
Let b(v) = v**2 + 5*v - 6. Let n be b(-6). Are 20/19 and n equal?
False
Suppose 2*i - 11 = 5. Suppose -3 = -3*s, -5*c + 5*s = i + 17. Which is bigger: c or -8/3?
-8/3
Suppose 2*k - 3 = 7. Suppose k*q = -15 + 5. Let p = 14 + -13.8. Which is greater: q or p?
p
Let w = 329 - 472. Is w bigger than -141?
False
Let v be (-16)/(-5 - -3 - 0). Suppose -4*b - v = -2*b. Let r be 1 - (14/b - -2). Is r at least 4?
False
Let x be ((-3)/6)/(3/90). Let a(s) = s**3 + 2*s**2 - 2*s + 7. Let h be a(-3). Suppose 0 = -h*p + 2*p - 32. Is x <= p?
False
Let a = 47.013 + -47. Which is bigger: a or -0.1?
a
Let q be 1/2 - 0/(-2). Let a = 2/1339 - 61600/4017. Let t = -15 - a. Which is smaller: q or t?
t
Let m(h) = -h**2 - 17*h - 18. Let l be m(-16). Let i be 6/l - (-1695)/555. Are i and -1 unequal?
True
Let j = -53.5 + 53.5. Is j at most as big as 1/623?
True
Let v be (4 - 2/((-280)/(-1532))) + 3. Are -3 and v nonequal?
True
Suppose 0 = -3*r - 13 + 4. Let l be 2*r/(-369)*9. Which is smaller: l or -1?
-1
Suppose -95*t = -126*t + 1333. Is t at most as big as 3?
False
Suppose -q + 10 = 4*m, 3*m - q = -2*q + 8. Suppose 30 = -3*g - m*t + 5*t, 0 = -g + 2*t - 11. Is -9 at most g?
True
Let y = 346 - 702. Is y > -356?
False
Let c(i) = 213*i**2 - 6*i - 7. Let d be c(-3). Let b be 2/10 + (d/(-40) - 6). Which is bigger: -53 or b?
-53
Let v be (-3)/(-33)*-62 - -5. Which is bigger: -1 or v?
v
Let d(c) = -71*c + 28. Let v be d(-1). Is v smaller than 97?
False
Suppose -5*u = 3*y - 0*u + 61, 5*u = -10. Let b = 18 + y. Let w(s) = -7*s + 1. Let r be w(b). Do -7 and r have the same value?
False
Let d = -492 + 469. Are d and -27 unequal?
True
Let k(f) = -f + 2. Let h = 6 - 4. Let w be k(h). Suppose y + y - 2 = w. Which is greater: -1/12 or y?
y
Let i(y) = y**3 + 14*y**2 - 3*y + 3. Let q be i(-14). Let g = 47 - q. Do g and 2 have the same value?
True
Let v = 223174/137 - 1629. Which