Let d be a(-3). Suppose -18*b + d = -20*b. Are b and -17 unequal?
True
Let c be (-119)/28 + (-6)/8. Let g be (-2)/((-8)/1) - c/(-4). Which is smaller: g or 30?
g
Let a(s) = -84*s - 573. Let v be a(-7). Suppose -3*p + 192 = p. Suppose -o - 2*o = -p. Which is bigger: v or o?
o
Let t(d) = d**3 - 2*d**2 - 3*d + 1. Let o be t(3). Is o at most 3/31?
False
Let l = -4789/5 + 915. Is -42 bigger than l?
True
Let s be 1/(-33) + (-1 + 1)/2. Let t = 7/11 - s. Are t and 1.4 equal?
False
Suppose 0 = 4*k + 2*b - 5296, 5*k + 1615 = -3*b + 8234. Let t = k + -14561/11. Is t greater than or equal to 2?
False
Suppose 226 - 264 = 2*f. Are -18 and f unequal?
True
Let k = -4180 - -2775. Let y be k/(-1398)*15/(-35). Let b = y - -1/466. Is -1 less than b?
True
Suppose -9*a - 61 = -3*q - 10*a, -17 = -q - a. Is q < 113/5?
True
Let y(x) = -x**2 - 18*x + 188. Let z be y(-17). Is 203 at least z?
False
Suppose -2*p + 90 + 140 = 0. Is 116 < p?
False
Suppose -4*f = -2*c + 54, 37 = -2*f - 2*c + 7. Let d = -10 - f. Suppose i = -d + 3. Is -2 not equal to i?
True
Let l be 90516*(1164/584 - 2). Let g = l - -620. Let w(u) = u. Let i be w(1). Is g > i?
False
Let c(l) = 3*l**2 + 7 - 4*l**2 + 2*l + 1. Let x be c(4). Which is smaller: -2/9 or x?
-2/9
Let x be ((-876)/504 - -2)/(1 - 0). Which is smaller: x or 1?
x
Let r = -30.2 + -8.8. Let v = 38 + r. Are 22/7 and v nonequal?
True
Let v = -0.4 - -2.9. Let t = 0.5 - v. Let k be (-8)/(-9) + (-6)/9. Is k greater than t?
True
Let d = 624 + -631. Which is smaller: d or -14?
-14
Let m be (-5)/((440/144)/(-11)). Is m at least 19?
False
Let k = 6 - 3. Let m be (-16)/(1 - 5)*(-3)/20. Which is bigger: m or k?
k
Let k be 0 + -2 - (12 - 1). Let r(o) = -o - 15. Let u be r(k). Which is bigger: -3 or u?
u
Suppose -5*y - 69 = -74. Is 2/2679 greater than or equal to y?
False
Suppose 0 = 14*r - 11*r. Suppose -23*j + 24*j + 5 = r. Which is smaller: 1 or j?
j
Suppose 0 = -5*u + 7*u + 28. Let g = 5 + u. Let r = g + 3. Is -6 at most r?
True
Let t = 66 + -73. Let k = 1/9 + -34/63. Which is greater: k or t?
k
Let u(p) = p**2 - 6*p + 5. Let t be u(5). Suppose -3*m - c + 6*c = 0, 5*m - 4*c = t. Suppose 5*k = -m*k + 30. Is 7 > k?
True
Let s = 37.3 - 36.3. Suppose -3*k + i = 129, -k + 2*i - 14 - 34 = 0. Let n = k + 376/9. Which is greater: s or n?
s
Let c = 14.05 + -14. Let q = c - 1.35. Let y = q + 5.3. Does y = 1?
False
Let j(x) = -x + 6 - 4*x + 2*x + x**2 - 2. Let r be j(4). Let v = r - 9. Is -0.3 > v?
True
Let b be 9/(-1) + -1 + -1. Suppose -u + 39 = 5*q, -u = q + q - 24. Suppose 3*l = -16 - u. Which is greater: b or l?
l
Suppose 14*o = 1099 + 861. Let w = o - 121. Is w less than 20?
True
Let z = -3020.27 - -3033. Let x = z + 0.27. Let v = x + -12. Which is bigger: -2 or v?
v
Suppose 49 = 4*q + 221. Let b = q - -42. Is -1 less than b?
False
Let t = 20 + -38. Let s be t/12*2/(-25). Let a be ((-16)/(-24))/(4/(-6)). Which is greater: s or a?
s
Let q(a) = 11*a - 8. Let x be q(3). Suppose 4 = c - m - m, 5*m = -x. Are -5 and c nonequal?
True
Suppose -3*x = -132 - 63. Is -1 at least x?
False
Suppose j + 0*j - 23 = 0. Let c = 8 - j. Let b(v) = -v - 3. Let z be b(13). Is c at most z?
False
Let i be (-415)/(-25) + (-24)/(-3). Which is greater: i or 24?
i
Suppose 2*j - x - 11 = -30, 80 = -5*j - 4*x. Is j > -9?
False
Suppose -14*b + 5232 = -38*b. Is -218 greater than or equal to b?
True
Let r = -14983/5 + 3084. Let y = -1863/20 + r. Which is bigger: -6 or y?
y
Let l be (-4)/(-26) + 22/26. Suppose 0 = s + 4, 3 + l = h - 2*s. Is -3 less than h?
False
Let h = 222 + -150. Let x be (6/(-8))/((-6)/h). Is x at least 9?
True
Let j = 0.79 - -31.21. Let b = 31.7 - j. Which is greater: b or 12?
12
Let h be (-1530)/(-2499)*(-28)/(-6). Suppose -2*w + 0 = -4. Which is smaller: w or h?
w
Let f = 369 - 361. Which is smaller: -2 or f?
-2
Let l = -1449 - -1446.29. Which is smaller: 1 or l?
l
Let o = -6 + 3. Let h be (-2 - -1 - o) + 36/(-16). Suppose -2*q + d = -d, -3*q = -5*d - 2. Are h and q nonequal?
True
Let q = 155 + -85. Let b be (18/(-21))/((-45)/q). Is b less than or equal to 1?
False
Let f(z) = 4*z + 19. Let s be f(-4). Suppose s = 4*h - 49. Is 12 <= h?
True
Let x = -5714499203737349/106590 - -53611963633. Let w = 9/1615 + x. Let f = w + 8/11. Which is bigger: f or 2/3?
2/3
Let u(a) = -a**3 - 15*a**2 - 14*a - 1. Let o be u(-14). Let w = -90 + 130. Let f be (-36)/w + 2/5. Which is greater: f or o?
f
Let a be 7*(-24)/112*(2 + 2). Do a and 65 have the same value?
False
Suppose -4*c = -4*n + 8, 0*c - 2 = -4*n + c. Suppose s + n*s = 0. Is s greater than or equal to 3/11?
False
Let q(f) = -31*f**3 - 2*f**2 - f + 2. Let n be q(1). Let b be 1340/8*n/(-10). Let u = -4819/9 + b. Which is smaller: 2 or u?
u
Let v(k) = -k**3 + 5*k**2 + 14*k - 2. Let x be v(7). Suppose 4*w - 3 = -7. Let d be w/(-3) + (-13)/21. Is x at most as big as d?
True
Suppose u = -38 + 344. Suppose -u - 30 = -8*s. Is 41 >= s?
False
Let f = -332 - -310. Which is greater: -20 or f?
-20
Let j = -356 + 154. Is -202 bigger than j?
False
Let y = -8 - -20. Let p = 12.1 - y. Let x = 14 + -15. Which is bigger: p or x?
p
Let c(i) = i + 8. Let f be c(-6). Let u be ((-3)/9)/(1/(-233)). Let s = -77 + u. Which is smaller: s or f?
s
Let g(x) = x**2 + 9*x - 11. Let n = 50 - 45. Let o be g(n). Which is smaller: 60 or o?
o
Let h(k) = k**2 + 3*k - 471. Let a be h(24). Is a smaller than -1/3?
False
Suppose -5*j = 3*c + 2*c, 0 = 2*j + 4. Suppose -3 + c = t. Let s be 2 + (10 - (-4)/2). Which is smaller: s or t?
t
Let w = 20 - 40. Let c be (-5 + 3)/12*w. Let v be 1/1*(-1 + 4). Which is smaller: v or c?
v
Suppose -11*p - 4 = 7. Let v = 7962/1771 - 104/23. Which is smaller: p or v?
p
Suppose 0 = -13*s + 1654 + 1687. Are s and 258 equal?
False
Let y = -695 + 707. Is y less than 5?
False
Let x = -96 - -201. Let f be (-1)/(x/40)*(-3)/4. Which is smaller: -34 or f?
-34
Let s(z) = 17*z + 117. Let c be s(-7). Is 22 at most c?
False
Let c = 21282317/36 - 591122. Let x = -213/4 + c. Is x less than 0?
False
Let r(k) = -4*k - 18. Let p be r(-5). Let q be (-1)/p + (-187)/(-22). Which is greater: q or 12?
12
Let p(x) = -x**3 + 2*x**2 + 2*x + 167. Let j be p(0). Let w = j - 157. Is 8 bigger than w?
False
Suppose -d + 10 = 1. Let p be (d/12)/((-4095)/(-3464)). Let w = -24/35 + p. Which is smaller: w or 1?
w
Suppose 0 = 9*j + j + 5*j. Which is smaller: -11/161 or j?
-11/161
Suppose -15*p = -5*p. Let u be 0*(2 + -3 + p). Which is smaller: -2/25 or u?
-2/25
Let a = 10 + 42. Let l = a - 51.8. Do l and -0.5 have the same value?
False
Let b(i) = i**3 - i**2 + i + 2. Let a be (36/(-30))/(4/10). Let k be a + -1 + 5 - 1. Let t be b(k). Do 3 and t have different values?
True
Let a(q) = q**2 - q - 1. Let g be a(-1). Let o be (33/2 - 9)*(-4)/3. Do o and g have the same value?
False
Let u = -19.51 + 20. Let y = 12.49 - u. Is -1 at most as big as y?
True
Let q(j) be the third derivative of 13/6*j**3 - j**2 + 0 - 1/4*j**5 + 1/120*j**6 + 0*j - 2/3*j**4. Let o be q(16). Is o not equal to 13?
False
Let l = 77 + -79. Which is greater: l or -26/9?
l
Let u = 2584 - 10335/4. Which is smaller: u or 0.11?
0.11
Let i = -69 - -44. Let u = i - -24. Which is bigger: -2/63 or u?
-2/63
Let p = -78.811 - -78.7. Is -7 >= p?
False
Let i = 0.19762 - 0.39762. Let x = -49/328 + 1/41. Which is bigger: x or i?
x
Suppose 4*q - 32 = -0*c - 2*c, -5*c + 44 = q. Let i = -8 + c. Suppose i = 3*x - 3*v - 9, -3*x = -5*v - 1 - 16. Do 2/7 and x have the same value?
False
Suppose -1405 = 71*w - 76*w. Is 282 < w?
False
Let n = 41.39 + -43. Let v = -0.61 - n. Is v > 39?
False
Let k(i) = -i**3 - 2*i**2 + i + 4. Let v be k(-3). Let n be -3*(v/(-3) - 0). Let l(z) = -5*z - 16. Let j be l(-5). Is n at most as big as j?
False
Suppose -5*f - 1 = o + 12, 4*o - 2*f + 8 = 0. Let n = -0.3 - -0.2. Which is greater: o or n?
n
Suppose 0 = -0*n - 4*n + 252. Let b be 90/n - (-12)/21. Do -4 and b have the same value?
False
Let j = -128 + 127. Which is bigger: 82/5 or j?
82/5
Suppose 3*n = -3*k + 123, -2*n + 27 = -4*k - 25. Suppose -2*h = -4*t - 6*h + n, 0 = -2*t + 3*h - 7. Let s be -3 + (6 - (-1 + t)). Is -2 <= s?
True
Let i be (-352)/(-24) - 2*(-3)/18. Which is greater: i or 11?
i
Suppose -3*p + 44 = 41. Which is smaller: p or 2/69?
2/69
Suppose -5*o + 18 = -7, -2*o = -5*v - 5. Is 2/71 <= v?
True
Let a = -1.6 + -1.9. Let b