 0*h - 3*p + 112 = -2*h, -4*h = -3*p + 212. Is h greater than -2?
False
Suppose 3*o - 514 = q, -16*o + 11*o - 2*q + 853 = 0. Let u = o - 180. Suppose 43 - 7 = -4*t. Is t greater than u?
False
Suppose 4*w - 3*q = -2*q + 41, -w - 1 = 2*q. Let r be ((-12)/16)/(w/(-24)). Let z be 2 + -3*(-1)/(-2). Which is smaller: z or r?
z
Suppose 20*m + 6090 = -9*m. Is m greater than or equal to -208?
False
Let n = -3.325 + -0.675. Is -0.9 at most as big as n?
False
Let m = 64/255 - 2/17. Let l = 3.944 - -0.056. Does m = l?
False
Let j = 14039 - 69967/5. Let f = j + -46. Which is smaller: -7 or f?
-7
Let f(c) = -7*c + 4. Let z(q) = q. Let g(n) = -f(n) - 6*z(n). Let t be g(4). Are t and -4/7 equal?
False
Let c(h) be the second derivative of -h**4/12 + 11*h**3/6 - 6*h**2 - h. Let k = 24 + -14. Let j be c(k). Which is greater: -9/5 or j?
-9/5
Suppose 10 = -2*l, 3 = 4*m + 3*l - 2*l. Suppose -f - m*f = 0. Which is smaller: -1/7 or f?
-1/7
Let g(d) = d + 24. Let n be g(-10). Let c = -9 + n. Suppose -5*b + b = 2*y - 28, c*y - b = 15. Are -1 and y non-equal?
True
Let w(x) = x**3 + 6*x**2 - 6*x + 2. Let n be w(-7). Let v be ((-10 - -7) + 5)/(-2). Which is greater: v or n?
v
Suppose -q - 39 = -37. Which is bigger: 2/5 or q?
2/5
Let i be (-58 - -1) + (0 - (3 + 1)). Let j = i - -63. Is j at least as big as 4?
False
Let i(y) be the third derivative of y**4/12 + 7*y**3/6 - 5*y**2. Let n be i(-12). Let z = n + 67/4. Which is smaller: z or -5?
-5
Let r = 45.8 + -42.99. Let k = 3 - r. Let b = 0.25 - k. Does 2/7 = b?
False
Let l = 160/27 - 797/54. Let b = -997/3 + 327. Let y = l - b. Are -5 and y equal?
False
Let s(l) = 9 - 6*l + 5*l - 6. Let g be s(-9). Let a be 3/(-15)*(-8)/g. Which is smaller: a or 1?
a
Let m(w) = -w + 1. Let v be 20/8*4/10. Let j(u) = -6*u + 28. Let g(d) = v*j(d) - 4*m(d). Let s be g(16). Do s and -6 have the same value?
False
Let s = 81 - 57. Suppose 0 = 2*d + 4, 0 = -y + 3*y + 5*d - 36. Is s bigger than y?
True
Let l(f) = f**2 - 8*f + 1. Let t(r) = 2*r**2 - 8*r. Let d(q) = 3*l(q) - 2*t(q). Let h be d(-7). Let p be h/(-20)*24/5. Are p and -2 unequal?
True
Let m(i) = -i**2 + 4*i - 1. Let q be m(5). Let b be 0 - 1 - (-10)/q. Suppose -k - 5*p = -1, 2*k = k - 4*p. Is b <= k?
False
Let o = -0.049 - -2.349. Let j = 0.13 - -7.87. Let f = j + -7. Is f at least as big as o?
False
Let o = -393 + 394. Which is greater: o or -2/185?
o
Let p = 13 - 13.01. Let q = -13 + 16. Suppose q*x = -0 + 6. Is p <= x?
True
Let s = 0.51 + 1.57. Let f = 0.08 - s. Let q = 65 - 328/5. Do q and f have the same value?
False
Suppose 20 = -5*v + 5*b, v + v + 3*b = 12. Let o = -14.54 + 14.7. Does v = o?
False
Let u be (-14)/1*(-2)/4. Let o be 6/20*142/6. Let i = o - u. Which is smaller: -1 or i?
-1
Let d = 68 - 167. Let k = d - -99. Is -1/11 smaller than k?
True
Suppose -n = 2*n - 60. Suppose -7*m - 106 = 20. Let s = n + m. Are s and 3/4 nonequal?
True
Let t be (-7899)/3672 - -2 - 3/(-24). Does 1 = t?
False
Let g(o) = 0 + 10*o**2 + o**3 + 6 + 7*o + 3*o. Let h be g(-9). Let a(l) = -l**2 - 2*l + 3. Let i be a(h). Is -4 at least i?
False
Let u = 1 + -12. Let h(n) = n - 21. Let g be h(10). Is u smaller than g?
False
Let b(q) = -q**2 + 2*q - 1. Let u be ((-2)/4)/((-5)/10). Let l be b(u). Suppose m - 4*v = -3*m - 8, 4*v - 8 = l. Which is bigger: 4/21 or m?
4/21
Suppose -98 = -7*n - 133. Is n bigger than -7?
True
Let r = -58 - -61.3. Let w = 8.5 - 5.1. Let k = w - r. Which is smaller: 2.5 or k?
k
Suppose 5*m = -0*m + 5*j + 1295, 0 = 5*j - 25. Let b be (-6 - m/(-42))*1/10. Suppose i = 4*n - 7, 5*i - n = -3*n + 9. Is i != b?
True
Let v = 0.29 + -0.29. Suppose -2 = -0*o - o. Suppose -o*t = -2 + 6. Is v equal to t?
False
Let c(l) = 3*l - 11*l**2 + 3*l + 2*l**2 + 10*l**2 + 6. Suppose 4*w - 5 = 5*w. Let j be c(w). Which is bigger: j or 3?
3
Suppose a = -4 + 7. Suppose -y + 1 = m, 2*y - 5*m - 19 = a*y. Suppose 17 = 4*s - 5*p - y, 0 = -4*s - 5*p - 7. Is s at least as big as 3?
False
Let l = -2152/9 + 23900/99. Which is smaller: l or 1?
1
Let d be 12/2 + (-1456)/234. Does d = 0.061?
False
Suppose x - 7 = -5*i, -3*x + 3*i + 4 - 1 = 0. Let u be (3/36)/((-1)/x). Which is smaller: u or -1?
-1
Let l = -9821/4 + 2465. Is l greater than or equal to 10?
False
Let o be 11/((-2541)/(-132)) + (-5 - (0 + -1)). Suppose -3*w = -w + 8. Which is smaller: w or o?
w
Let v = -9.5 + -3.5. Is -13 less than or equal to v?
True
Suppose -4*j = -0*j - 20. Suppose -3*u + 4*n = -14, -13 = -j*u + 5*n + 2. Let b = -4851 - -43651/9. Which is smaller: b or u?
u
Let i be -1*(-32)/(-24)*(-2 + 17). Which is smaller: i or -8?
i
Suppose 453 - 450 = 3*p. Which is smaller: p or 3?
p
Let d(a) = a**3 + 30*a**2 + 104*a + 1. Let f be d(-26). Which is bigger: 50/27 or f?
50/27
Suppose 6*v - 115 = 77. Let n = -22 + v. Suppose -7*y + n*y = 3. Which is smaller: -1/33 or y?
-1/33
Suppose 4*t - 12 = -5*l - 0*l, -12 = -4*t - l. Suppose -t*q = 6*q + 153. Which is greater: -15 or q?
-15
Let c be 469/102 - 12/4. Let g = 30/17 - c. Suppose 0 = 2*q + 4*z + 18, 4*z + 10 + 4 = 2*q. Is q greater than or equal to g?
False
Let v = 5 + 0. Suppose v*g - 146 = 2*o + 128, -3*g + 183 = 5*o. Let l be 8/g + 0 + 1. Is 1 at least l?
False
Let m(s) be the third derivative of -s**4/24 - 8*s**3/3 - 3*s**2. Let q be 1/(64/68 - 1). Let o be m(q). Is 1 bigger than o?
False
Let r = 3.7 - 3.4. Let l = 39 - 44. Which is greater: l or r?
r
Let d be (-1)/((-4)/6)*22. Let y = -35 + d. Which is greater: -7 or y?
y
Let c be 2/(8/(-3))*(-36)/(-216). Is c bigger than -0.7?
True
Suppose -2*v - 101 - 89 = 2*j, 5*v = 2*j + 176. Is -85 less than j?
False
Let y(q) = -10*q + 1. Let b be y(0). Let w be 8/((-32)/(-20)) - b. Is 32/9 less than w?
True
Let m = 8.036 - -0.064. Let r = 0.1 - m. Let b = r - -5. Which is greater: b or -1?
-1
Let t(l) = -2*l**3 - 3*l**2 + 4*l - 3. Let b be t(2). Suppose -11*x = 17 - 61. Suppose 0 = -4*f + 16, 2*y - 82 = 5*y - x*f. Does y = b?
False
Suppose -125*r + 2720 = -105*r. Is 135 at most r?
True
Suppose -2*s + 6*y - y + 23 = 0, s = 4*y + 19. Do s and 26 have the same value?
False
Let d = 230873/10 + -3067883/110. Let n = d - -4798. Is -6 smaller than n?
True
Suppose -2*s - 4*v - 24 = 0, -5*v - 33 = -s + 4*s. Let l(k) = 2*k + 13. Let a be l(s). Which is greater: a or 3/14?
a
Suppose -4*l - 2*y - 94 = 0, -y + 49 = l - 3*l. Let a = l + -55. Is a equal to -78?
False
Suppose 0 = 4*c + c + 4*l, 4*l = 4*c. Suppose c = k - 5*k + 8. Suppose k*w - a = -1, 2*w = -7*a + 3*a + 24. Which is smaller: w or 1.1?
1.1
Let l be (6 - 8) + (-24)/(-13). Suppose -2*q = 5*m - 8 - 2, 4*m = -4*q + 8. Suppose q*d + 2*d + 2 = 0. Is l not equal to d?
True
Let f = -116/7 - -18. Suppose 2*n = -4*s + 3 - 9, n = -4*s - 7. Is n equal to f?
False
Let x = 41 + -247/6. Let q be (-1 - 0 - (4 + -3)) + 11. Let c = 8 - q. Which is greater: c or x?
x
Let z = 12.9457 - -0.0543. Which is smaller: z or 0.78?
0.78
Let g = 1827.82 - 1832. Is g equal to 0?
False
Suppose 2*j - 733 = -3*c, 2*c + j + j = 492. Let s = 1201/5 - c. Is -1 less than or equal to s?
True
Let a = 9/199 + -1771/47959. Are a and 1 non-equal?
True
Let o = -4406 + 2326. Is o at most as big as -2080?
True
Let l(a) = -a - 1. Let o be l(-5). Let k = o - -2. Let s be (-9)/6 - 3/k. Is -4 at most as big as s?
True
Let u = -2 - 1. Let t be (-7 - -2) + u + 2. Is -6 bigger than t?
False
Let p = 3617/16 + -226. Let u = -1 + 1. Is p < u?
False
Let w(k) = -k**2 + 7*k - 4. Let s be w(6). Suppose 2*x + 0*x = s. Let q be (-33)/(-55)*(0 + 5). Which is greater: q or x?
q
Let x be (-19 + 0)*(51/72)/17. Which is greater: -2 or x?
x
Let v = -2958 + 26564/9. Which is smaller: -5 or v?
v
Let j be ((-6)/(-15))/(1604/(-320) - -5). Is j less than or equal to -30?
True
Suppose 3*l - 15 = 3*h, 2*l = -2*h - 46 + 40. Is l equal to 4/153?
False
Let s = -0.0573 - -0.0473. Is 5 greater than s?
True
Let s(b) = -b**3 - 17*b**2 - 61*b - 21. Let x be s(-12). Let o = 3 + 0. Is o smaller than x?
False
Let b be 31 - 32 - 1*4. Let f be ((-1)/(-5) - (-2)/b)*-2. Is 2 != f?
True
Let o be (-40)/(-30) + (-1)/3 + 0. Let f be (-5)/6*(-1)/(-5). Is f != o?
True
Suppose -2*k = -4*b + 44, -k + 86 = 6*b + k. Is b at least as big as 29?
False
Let g be (2/6)/(7/21). Let y be g*55*(-3 - 10). Let v = y + 2877/4. Is v at least as big as 5?
False
Let a = 26 + -23. Suppose 0 = a*k - 6*k - 5*u - 43