 + 20. Is c > -1?
False
Let m = 592 - 611. Which is smaller: m or -12?
m
Let z be (1/67)/((-43)/(-86)). Which is greater: 1 or z?
1
Let m = -13608 + 68264/5. Are m and 44 equal?
False
Let f = -9094 + 9036. Let l be -58 - (-3 - -2) - 2. Which is smaller: l or f?
l
Let s = 43 + -43. Suppose s = 5*o + 9 + 1. Suppose 4*c = 2*c + 10, -2*c + 22 = -4*y. Is o < y?
False
Suppose -3*f + f = -4. Let h be f + 2/(-2) + 8. Let c be (-110)/24 - h/(-36). Is c equal to -5?
False
Suppose b + 4 = v - 12, 49 = 3*v - 2*b. Let f(u) = 15 - 40 + u**2 + v - 3*u. Let p be f(5). Is p at most 0?
False
Suppose -c = -5*t - 177, -4*c = 4*t - c + 153. Is t bigger than -41?
True
Suppose 13*t - 504 = 5*t. Let x be t - -4 - (-2 + 2). Is 68 >= x?
True
Suppose 67509 = -34*s - 22727. Is -2654 less than s?
False
Let y = -11.13 - -0.13. Let s = 9 + y. Let w = -2.08 - s. Are 0 and w equal?
False
Let s = -1515/1634 + 41/43. Which is bigger: s or -1?
s
Let z = -3999/19 + 20027011/95152. Let v = 409405/5008 - z. Let h = v - 81. Which is smaller: 2 or h?
h
Let m = 347 - 368. Which is greater: m or -2?
-2
Suppose -4*h + 13 - 23 = m, 0 = -5*m - 10. Does h = -36/25?
False
Let u be 18/(-4)*(-16)/12. Let n(r) = -r + 7. Let z be n(u). Let o be (1/(-6)*-4)/23. Is z equal to o?
False
Suppose -x - 25 = -j, 89 = -2*j + 5*j + 4*x. Let l = j - 21. Let z = 9 - l. Which is greater: 4 or z?
4
Suppose -2*l + 23 = 65. Let i be ((-4)/21)/((-18)/l). Suppose d = -4*m - 17, 4*d - 4*m = -0*m + 12. Are d and i nonequal?
True
Let d = 7 - 6. Let g be (-15)/20 - 1679/28. Let h = g - -61. Is h less than or equal to d?
True
Let g = -1093.1 + 1044. Let j = g + 49. Is 3 greater than j?
True
Suppose 13*q + 81 = 22*q. Which is smaller: q or 10?
q
Let j be (2 - -6)*(4 - 2). Suppose 6 - 70 = -j*p. Which is bigger: p or 46/9?
46/9
Let h(q) = -265*q - 83. Let o be h(5). Does -1408 = o?
True
Let u(d) = -d**2 + 27*d - 127. Let w be u(21). Which is greater: -2/1117 or w?
-2/1117
Let d be (12/18)/(8/12). Which is bigger: d or 3/37?
d
Let t be (-2*11/2)/((-238)/952). Is 317/7 smaller than t?
False
Let m = 3 - -18. Let l be 1/m + (-5)/15. Let c be (-2)/(-9) + 56/(-171). Which is greater: c or l?
c
Let t be (19/2)/((-4)/8). Let b = 34 + t. Let q be (3/(-6))/((-3)/b). Which is smaller: q or 0.2?
0.2
Let n be (-3)/(198/(-56)) - (-54)/(-81). Suppose 3*k = 5*f - 15, 2*f + f - 9 = -3*k. Is n greater than or equal to k?
True
Let q = -738 + 734. Which is smaller: -2/11 or q?
q
Let k = -26.17 + 26. Let j = k + -11.83. Let x = -17 - j. Which is smaller: x or -2/7?
x
Let j = -41 - -79. Let r = 25 - j. Which is smaller: r or 0.1?
r
Let w = 1.3 - -1. Let q = 2 - w. Which is greater: 1/17 or q?
1/17
Let n be (27 - 27) + 4/(-126). Let l be (-6)/(-4) + 6/(-4). Is l bigger than n?
True
Let b = 108 + -211/2. Let u(v) be the third derivative of -v**5/60 + 5*v**4/24 - v**3/2 + 2*v**2. Let f be u(2). Which is greater: f or b?
f
Let x be (-123)/(-414) + ((-222)/36 - -6). Is -1 smaller than x?
True
Let d = -2/15 - 4/45. Suppose -8 = -5*r - 3. Is r at least as big as d?
True
Let o = -90 - -152. Let v = -62 + o. Let u be (-2)/(-10) + (-3)/45. Is v less than u?
True
Let n(l) = l**3 - 23*l**2 - 2*l + 46. Let a be n(23). Which is smaller: 50 or a?
a
Let h = -1 + 4. Suppose 5*o = -q - h*q + 20, 2*o = -2*q + 8. Let s be (2/o)/(5/10). Are s and 1/7 equal?
False
Let p be (1484/26)/(1 + 4). Let m = -255/13 + p. Is m != -8?
True
Let q be 8*((-1)/(-2) - 0). Suppose 3*c = -q - 23. Let i be (-20)/(-15)*c - 1. Which is smaller: -11 or i?
i
Let i be 6/10 - 7112/70. Let s = -1413/14 - i. Is -1 >= s?
False
Let n = 11/9 + -35/36. Let a be (-44)/36 + 2/9. Do a and n have the same value?
False
Suppose -2*d + 4*q = 8, -3*q + 10 = 3*d - 5. Suppose 28 = -4*b - d*l, 4*b - 2*l - 3*l = -28. Suppose -3*x + 5 = 26. Are b and x equal?
True
Suppose -6*z - 2*z = 480. Let m = -59 - z. Which is smaller: m or 2/11?
2/11
Let w = -72 + 9. Let g = w + 51. Is -0.2 <= g?
False
Let o = -2.8 + 2.7. Is 6.1 not equal to o?
True
Let g be 2/7 - (-2085)/(-21). Let t = -173 - g. Let n = -227/3 - t. Which is bigger: -3 or n?
n
Suppose 0 = -2*v + 3*l - 8*l - 10, -5*l - 10 = 0. Suppose -7*c + 10*c - 3 = v. Which is greater: c or 1/38?
c
Let l be 1*7/((-7)/(-3)). Suppose -3*u + l*k - 2*k = 454, 0 = -4*u - 5*k - 580. Let r be (-95)/u + (-1)/3. Which is bigger: -1 or r?
r
Let d(y) = y**2 + 8*y + 28. Let c be d(-8). Suppose -4*h = -j - c - 3, -3*j - 29 = -4*h. Let r(x) = -x + 1. Let o be r(-5). Does o = h?
False
Let m = 25 + -15. Suppose 2*b - 84 = 16. Suppose 10*i - 5*i - b = -5*x, 5*i = 5*x + 50. Is i >= m?
True
Let m = 135 + -134. Let c be (-4)/12 - (-4)/30. Which is bigger: c or m?
m
Suppose -6*r = 14 + 22. Let a be (-99)/(-22)*((-4)/r)/(-1). Is a less than or equal to -2?
True
Let t(j) = j**3 - 2*j**2 - 4*j. Let p be t(3). Let b be -3 + (-245)/(-30) + p. Do b and 2 have different values?
True
Suppose 539 = 201*x - 250*x. Which is smaller: -165/14 or x?
-165/14
Let x be ((-2)/(-3))/((-22)/(19 - -1103)). Let s be (-5)/(-7) - (-2)/7. Which is greater: x or s?
s
Suppose 2*y = 2*d + d - 13, -4*d + 19 = -y. Suppose 0 = -w - j - j + 66, 54 = w + d*j. Which is greater: w or 73?
w
Let k = -1405/8 + 345/2. Suppose 0 = 6*m - m + 15, t - 5*m - 13 = 0. Is k at most t?
True
Let y be 2 - 5 - (2 + -20). Let r be ((-8)/(-12))/(2/y). Suppose 0*n - 4*n - 14 = -5*v, 5*n = r*v - 15. Is 2 at least v?
True
Let i = 70.24 + 1.76. Which is bigger: 1 or i?
i
Let y(h) = -h**2 - 14*h - 22. Let x be y(-11). Let g(n) = -n**3 + 12*n**2 - 11*n + 2. Let q be g(x). Which is smaller: 24 or q?
q
Let k = -681/7 + 86403/889. Which is smaller: k or 0?
k
Let j = 2276 - 38706/17. Which is bigger: 0 or j?
0
Let p(b) = -b**2 + 3*b + 9. Let v be p(6). Let f = 26 - 8. Let t be 94/f - (-2)/v. Are t and 5 unequal?
False
Let n be (-3)/(20/(-24) + 498/468). Let h be (-2 + 1)*(-2 + 16). Are n and h equal?
False
Let y(q) = -9*q - 370. Let b be y(-44). Is 33 less than or equal to b?
False
Suppose 0 = -5*w - 2*k + 8, -5*w = 5*k - 7*k + 8. Suppose -6*b + 30 - 48 = w. Is b greater than -14/5?
False
Let h be (-1 + 5/7)*(-83)/166. Is -2/7 less than or equal to h?
True
Let q(k) = -5*k**2 + 165*k + 7. Let m be q(33). Let w = 0 + 0. Are w and m equal?
False
Let n = 940918327/51 - 18448532. Let s = -847 + n. Which is bigger: s or -1?
s
Let t = -5/791 + -113849/8701. Do t and -14 have different values?
True
Let x be 0*(-1 + (-2)/(-4)). Suppose x = n + k, 0*k + 15 = 3*k. Let u = 12 - 17. Is u not equal to n?
False
Suppose -p - 74 = -2*j, -3*j + 2*p + p + 105 = 0. Let s = 47 - j. Which is greater: 10 or s?
10
Let n = -846343/3778875 + -1/30231. Is 1 at most as big as n?
False
Suppose 0 = -4*x - 2*r + 5*r + 103, 0 = 5*x - 5*r - 130. Suppose -x*n + 19*n - 282 = 0. Which is smaller: -48 or n?
-48
Let h be -3 + ((-249980)/16668)/(-5). Let k = h + 83354/29169. Are k and 2 nonequal?
True
Let q = 22224 - 65522/3. Let u be 6/((-18)/(-388)*5/(-15)). Let j = q + u. Which is bigger: -4 or j?
-4
Suppose 8*u - 12*u = -4. Suppose -2*j + 8 = 2*z, 3*z = 4*j - u + 6. Suppose t = -4*h - 45, 0*t = z*h + 3*t + 27. Is h at least as big as -12?
True
Let j be -14*(-25)/8 - 3/(-12). Let u = j + -837/19. Is 0 at least u?
True
Let f be (-36)/(-15) + (-2)/5. Suppose -4*t + 27 = 2*j - j, -24 = -5*t + f*j. Suppose 0 = -3*v + 2*v - t. Which is greater: v or -5?
-5
Suppose 4*s = -2 - 14. Let o be (s/78)/((-24)/18). Is 1 < o?
False
Suppose 217*z + 5771 = -956. Suppose -20 = 2*o + 42. Is o < z?
False
Let l = 34.3 + 7.7. Let u = 42.08 - l. Let k = 5.2 + -5. Which is smaller: k or u?
u
Suppose 0 = -29*w + 1987 + 5031. Is 243 bigger than w?
True
Let z be (-6)/20*(-64)/(-48). Do z and 125 have different values?
True
Suppose 4*m = 2*m. Suppose 3*b - 5*g + m = 10, 4*b - 8 = 4*g. Suppose -2*o - 3*c + 13 = b, o = -2*o + 5*c - 28. Is o < 2/47?
True
Let t(z) = -2*z**2 + 1. Let f be t(2). Let a be f/(-14) + 1/(-2). Suppose -4*g + 4*q = a, 12 = 2*g - g - 5*q. Is -2 > g?
True
Let l = -1.89 + -0.11. Let q = -0.05 + -8.95. Let f = q - l. Is f equal to 2?
False
Let q = -269 - -1879/7. Which is smaller: q or 33?
q
Suppose -5*i - 17 + 56 = y, -2*y = 2. Let v = i - 8. Suppose h + v*h - 8 = 0. Which is bigger: 0 or h?
h
Suppose 2*x + 66 = -2*d, 2*d + 3*x + 55 + 13 = 0. Suppose r = 4*v - 35, -3*v - 72 = 3*r + 18