c - m = -b. Is c not equal to -3?
False
Let d = 4 - 4. Suppose -3*w + 3 + d = 0. Is 0.13 at most as big as w?
True
Suppose -4*a + 19 - 15 = 0. Do a and -1/14 have different values?
True
Suppose -2*q - 22 = 2*j - 4*q, 2*j - 5*q = -19. Let h(x) = x**2 + 12*x - 3. Let t be h(j). Which is greater: -12/5 or t?
-12/5
Let c = -59/120 - 19/30. Which is smaller: c or 15?
c
Let x = -166619/121 + 1377. Is 1 < x?
False
Let g(z) = -z**2 - 13*z + 18. Let u be g(-14). Let t = 4 - u. Which is bigger: -2/59 or t?
t
Let p = 161/3 + -52. Are 3 and p nonequal?
True
Let o(z) = -2*z - 6. Let w be o(-5). Let j be (0 - -2)*(-90)/w. Let f be j/(-30) - (-28)/(-18). Is -1 greater than or equal to f?
False
Let y = 1/51741 - -130303/396681. Let b = y - -1/207. Which is smaller: b or 0.01?
0.01
Let t = 22 - 6. Let g = t + -13. Is g greater than or equal to -0.1?
True
Suppose 0 = 4*m + 35 - 151. Let i = -18 + m. Suppose 5*d + 40 = 5*v, -48 = -5*v + 2*d - d. Which is smaller: v or i?
v
Let f = 1092 + -1091. Which is greater: f or -99?
f
Let i = 2 + -2.13. Let g be -2*3/6*-3. Let c be (g*5/15)/(14/4). Which is greater: i or c?
c
Suppose 44*s + 4716 = 1812. Is s greater than or equal to -69?
True
Let f be (-12)/54*1 + 361/(-36). Is -10 greater than or equal to f?
True
Let b = 12253/62 - 395/2. Is b not equal to 0.3?
True
Let v = 107 + -113. Let x = -0.14 + -5.86. Let t = x - -5.8. Which is smaller: t or v?
v
Let l = 6 - -9. Let h be (21/l - 3)*-5. Which is smaller: 4 or h?
4
Let l be -3 - 21*5/(-40). Suppose -5*r + 4 + 1 = 0. Which is smaller: l or r?
l
Let k = -123775/58 - -2134. Which is smaller: 1 or k?
k
Let x = -73 - -86. Suppose -316 = 9*v - x*v. Is 79 >= v?
True
Let x(c) = 204*c**2 + c - 4. Let h be x(2). Let t = -8930/11 + h. Which is smaller: 3 or t?
t
Suppose -h - 3*q = -4*h + 33, 0 = -4*h + 2*q + 38. Suppose -2*o + h = -3*g, g + 5*o = -0*o + 20. Let w be 4 + 38/(-10) - (-1)/(-5). Is w at most g?
True
Suppose 2*w + 136 = -4*f, 7*w - 3*w = -f - 237. Which is greater: w or -62?
w
Let k = -730 - -733. Which is smaller: 342 or k?
k
Let q = 229 - 233. Which is smaller: q or -2?
q
Suppose 2 + 7 = 3*m. Suppose q - m*q - 4 = 0. Which is smaller: -1 or q?
q
Let t = -644 - -646. Which is bigger: 118 or t?
118
Let k = 2.526 + 8.644. Let g = 11 - k. Let x = g - -0.17. Are x and 10/7 equal?
False
Suppose 0 = s + s + 24. Let m be 70/132 - (-8)/s. Let r = 747 + -748. Which is bigger: r or m?
m
Suppose -877 = -4*h - 2*r - 139, -3*h = -2*r - 571. Which is bigger: 188 or h?
188
Let f = -55.5 - -7.5. Let a = f - -62. Is a not equal to -0.2?
True
Let u(s) = -s**2 - 25*s. Let d be u(-24). Is d not equal to 22?
True
Suppose -3*a - 5 - 4 = -3*z, 0 = 2*a - 4. Let d(n) = n**2 + 2*n - 1. Let k be d(1). Suppose -z*v + 7 = k. Is 1/13 <= v?
True
Let t = -59 - -51. Let u = 137.9 - 130. Let h = t + u. Which is greater: h or 0?
0
Let d be ((-10)/(-15))/((-2)/(-27)). Is -9 at most as big as d?
True
Let i = 2.91 - 2.9. Let j = -0.89 - i. Let y = j + 1. Which is bigger: 9/7 or y?
9/7
Let t(y) = -y**2 + 14*y + 7. Suppose -4*b - 5*a + 44 = 0, 0*a = -4*b - 4*a + 44. Let g be t(b). Let m be (2/3)/(g/(-12)). Which is greater: m or -0.3?
m
Suppose 41*g + 61 = -185. Which is smaller: -108/17 or g?
-108/17
Let j = -177 + 120. Let s = -64 - j. Let f(o) = -8*o**2 - 1. Let q be f(1). Are s and q equal?
False
Let k = 16 - 8. Let s = 6.9 - k. Which is greater: 0 or s?
0
Let s be 150/(-40) - -1*2. Let t = -10 - 0. Let i = t - -10. Is s not equal to i?
True
Let p be (-1 + 0)*0/(3 - 0). Which is smaller: -1/1413 or p?
-1/1413
Let b = -7 - -2. Let a = 27/14 + -17/7. Does a = b?
False
Suppose 5 = 4*r - 3*g, 4*r = 2*r + 4*g. Suppose r*w + 48 = -w. Let t be (-9)/24 - 22/w. Is t <= 1?
True
Let v = 11136 - 133793/12. Which is bigger: v or -14?
v
Let s = -0.021 + -0.03. Let x = s - 11.949. Is 2/5 less than x?
False
Let x be (22/4)/((-12)/48). Let m = -22 - x. Which is bigger: m or -2?
m
Let q = -191/3 - -63. Let p = -6 + 8. Let z = -2 + p. Which is smaller: q or z?
q
Let q be 480/342 + (-25)/15. Which is smaller: q or 1?
q
Let j = -1214/19 + 64. Suppose 2*r - w = 2*w - 13, -16 = 5*r - 2*w. Let h be -3 - 3 - -3 - r. Do j and h have different values?
True
Let s be ((-91)/13)/(-2 + 1). Let h = s + 5. Let d be 0*(0 + 3/h). Is 0 < d?
False
Suppose -5*h + 3*n + 16 = -n, -n + 13 = 3*h. Suppose 0 = 2*k + c + 11 + 6, -31 = k - h*c. Which is greater: k or -12?
k
Let y be 189/(-567)*(25 - 1). Is -14 >= y?
False
Let y be 6/(-2) + (-1 - -2) + 76. Is -0.1 > y?
False
Let h be (1 - 58/70)*10. Let f(o) = -2*o**3 + 11*o**2 - 5*o + 11. Let k be f(5). Let p(i) = -i**2 + 14*i - 32. Let r be p(k). Which is bigger: r or h?
h
Let z(k) = -k**3 - 7*k**2 + 5*k + 34. Let i be z(-7). Is -32/21 less than or equal to i?
True
Let p be ((-140)/16)/(-5)*-4. Let l = 9 + p. Let g be (-36)/(-48) - l*1. Is -1 at most g?
False
Suppose 0 = -5*s + 5*k, 256*s - 251*s - 1 = 6*k. Let p = 652/11067 - -2/357. Is p at least s?
True
Let c(m) = m**3 - 14*m**2 - 13*m + 22. Let h be c(15). Let f = h + -107/2. Are f and -3 nonequal?
True
Let v = -48 - -1249/26. Do 0 and v have the same value?
False
Suppose -2*x = -344 + 346. Which is bigger: x or 2/113?
2/113
Let j be 3/6 - (-6)/(-28). Let u = 0.06 - -21.44. Let v = -21 + u. Which is greater: v or j?
v
Let u = 0.02 - -0.18. Let b = u + -1.5. Let a = b + 1.1. Which is bigger: 4/5 or a?
4/5
Let g(r) be the third derivative of 0 - 1/3*r**3 + 0*r + 1/8*r**4 - 3*r**2 - 1/30*r**5. Let n be g(2). Is -2 greater than or equal to n?
True
Suppose -454*t = -459*t - 930. Is t bigger than -371/2?
False
Suppose 2*a = 7*a + 20. Suppose 161 - 81 = 4*j. Suppose 2*o + 0*o = 4*r + j, 0 = 2*r + 2*o - 2. Which is greater: a or r?
r
Let r = 12 - 26. Let i = r + 11. Suppose 2 + 0 = -2*d. Which is bigger: d or i?
d
Let p be (3 - (5 - 1))/7. Let x be 5/(-25) - 2*3/(-30). Is p <= x?
True
Let s = -18829/12 - -1568. Let k = s - -7/4. Is k at most as big as -9?
False
Suppose -2066 = -2*s + 2*g, -41*s - 3*g + 1013 = -40*s. Is 1027 >= s?
False
Let w = -67 - -72. Suppose -89 = -w*h - 9. Let g(s) = s**2 - 2*s. Let i be g(5). Is i smaller than h?
True
Suppose 333 = -10*b - 77. Is -9 >= b?
True
Let w(p) = -p**2 + 9*p + 5. Let l be w(10). Let o(m) = m**3 + 5*m**2 - m - 6. Let s be o(l). Is s > -2/21?
False
Let t(c) = c**3 + 9*c**2 - 6*c + 14. Let w be t(-10). Let z = 31 + w. Suppose 5*s = 2*f + f + 4, -5 = z*s. Is f less than -2/7?
True
Let r(i) = -i + 3. Let v be r(2). Let n = -85 + 17. Let d be 4 - (1 - 206/n). Is v at least d?
True
Suppose 2*a = 9*a. Let q be (1/(-12))/(6/8). Which is smaller: q or a?
q
Let t = 957.1 + -957. Is t less than or equal to 516?
True
Let f be (-888)/(-28)*21/(-6)*2. Which is bigger: -1 or f?
-1
Let z = 0.072 - 30.072. Let g = z - -29. Let s = -3 + 3. Is s greater than g?
True
Suppose 0 = -4*w - a + 23, -2*w - 4*a + 14 = w. Let o = 7948/5 - 1582. Let v = o - 8. Which is greater: v or w?
w
Let k be (-4)/(-18) + 73/36. Let w be (-3 - 80/(-24)) + (-70)/(-42). Are w and k unequal?
True
Let t = 0 - -1. Suppose 12 = 8*a - 2*a. Let i be a - ((-690)/(-65))/6. Is t less than or equal to i?
False
Let f(m) = -m**2 + 65. Let v be f(0). Let j = v - 39. Suppose 1 = 5*u + j. Is u equal to -5?
True
Suppose 4*s = -2*z - 16, 2*z + 1 + 3 = 2*s. Let j be s/(-5) + 2/(-5). Let i = -205/2 - -103. Do i and j have different values?
True
Let p(z) = 2*z + 10. Let l be p(-7). Let x be (0/(20/(-4)))/1. Suppose -o + x = 5. Is l <= o?
False
Let c(h) = h**2 - 8*h - 52. Let t be c(12). Which is bigger: t or 6?
6
Let o be (-5 - -4) + (-27)/1 + -2. Let i be o/24*(-69 - 3). Is i greater than or equal to 0?
True
Suppose b = -2 + 15. Suppose -b*o + 12*o = -28. Let v be (-8)/o - (-172)/14. Which is bigger: 13 or v?
13
Let y(b) = b - 2. Let j be y(-3). Let l be -7*(1 - j/(-6)). Is l less than or equal to -2?
False
Suppose -4*t - t - 5*g = -60, 4*t - 4*g = 40. Which is smaller: t or 15?
t
Let g = 29 - 23. Let m be (-3)/g*(0 + 3/9). Which is bigger: 2/15 or m?
2/15
Let w = -4.973 - 0.027. Let n = w - -11. Is -2 greater than n?
False
Let l = -2.5 - -2.7. Let b = 4.92 + -5. Let k = -0.38 - b. Do l and k have the same value?
False
Let m be (((-6)/(-3))/(-8))/(54/(-1026)). Let p = -12 - -17. Which is greater: m or p?
p
Let x be 23/2 + 6/12. Suppose 38 = l - 5*u, 2*l + 5*u