w - 14, 2*d - 5*w - 7 = 0. Let m be (3/6)/(d/(-216)). Let z be (-3)/58*12/m. Is 1 at most z?
False
Suppose -2*u - 2*x = -724, -2*u + 4*x + 604 = -150. Which is bigger: u or 368?
368
Suppose -48*r + 42600 = 2*r. Do r and 850 have different values?
True
Let v = 2/101 - -95/303. Suppose -24 = -3*t - 6. Let x(q) = -q + 6. Let n be x(t). Which is smaller: v or n?
n
Let r(l) = 9*l - 7. Let t(m) = 2 - 1 + 5*m - 4. Let o(v) = 4*r(v) - 7*t(v). Let a be o(5). Is a at least as big as -4/3?
False
Let t = 0.3 + -0.5. Let g = -0.031 - -0.601. Let h = -0.43 - g. Is t at most as big as h?
False
Let r be ((-2)/6)/((-4)/(-3)). Let d be (-102)/(-68)*6/9. Do r and d have different values?
True
Let z(g) = -g**2 + 8*g - 12. Let t be z(6). Let v = t + 8. Let w be (-1 - -13) + (-9 - -5) - 2. Which is bigger: v or w?
v
Suppose j + 51 = -o, -5*o - 25 = -10. Let h be j/(-63) + (-2)/3. Let l be 13/(104/56) - 8. Which is greater: h or l?
h
Suppose 5*b + p - 375 = 0, -3*p - 375 = -5*b + 2*p. Is b greater than 72?
True
Let y = 4530535/44 - 102986. Let d = -79/4 - y. Is d >= 1?
False
Let o be 10435/(-55) - 15/55. Do o and -189 have the same value?
False
Suppose -x + 1 = -t, 2*t + 5 = -x - 0*t. Let q(a) = 9*a - 1. Let j be q(x). Is j not equal to -53/5?
True
Suppose -3*h = -8*h + 115. Let l = h + -15. Suppose l = -5*r + 2*b + 48, 5*b = 0. Is r bigger than -2?
True
Let w = 19 - 11. Let n = w - 16. Let f = -16 - n. Is 3/5 < f?
False
Let o = -5385 - -32963/6. Is 110 smaller than o?
False
Let k(c) = 7*c - c + 6*c - c**2 - 1. Let t be k(12). Is t > -7/3?
True
Let y be -2*((-6)/4)/(102/374). Is 9 >= y?
False
Let t(k) = -12*k**2 - 13*k - 1. Let q be t(3). Are q and -150 equal?
False
Let b = 60.0471 - 0.1471. Which is bigger: 0 or b?
b
Let y = -9884871/455 + 21725. Which is smaller: -1 or y?
-1
Let n be 12536/22 + 4/22. Suppose n = 4*f - 6*f. Let s = 1991/7 + f. Is s greater than -2?
True
Let p be 2*4*(31788/15888 + -2). Which is smaller: 0 or p?
0
Let b be (2/(-7))/(6/(-168)). Suppose -4*y = -2*j - b, 2*y + j - 18 + 6 = 0. Suppose -y*g - 24 = -8*g. Which is greater: 5 or g?
g
Let a be 36/9 - (-3)/(-1). Let m be 2*4/(-48) + a. Which is greater: m or -1?
m
Suppose 1 - 21 = -5*u. Suppose 0 = t + u*t. Which is smaller: -0.1 or t?
-0.1
Let d = -206 + 211. Is 4/3 at most d?
True
Let q(y) = y**3 + 6*y**2 - 3*y - 17. Let g be q(-6). Let t be g/(-2)*4 - 0. Which is smaller: t or -1?
t
Suppose p + 40 = -3*w, p = -w + 3*p - 4. Is w at most as big as -12?
True
Let r = 6 + -1. Suppose 3*t = -r*n + 17 + 7, -5*t - 5*n + 30 = 0. Suppose -3*p + 6*p - t = 0. Which is smaller: p or 2?
p
Let z be (48/(-30))/((-4)/10). Suppose 4 = -2*p - 2*y, 0 = z*y - 7 - 1. Is -5 equal to p?
False
Suppose 0 = 7*h - 19*h - 108. Which is bigger: h or -13?
h
Let q be 2 + -2 - (-369 + 7 + -2). Which is greater: 0.1 or q?
q
Let j = -1292/7 + 185. Suppose -10*g + 15*g - 5 = 0. Suppose 5*i + g + 4 = 0. Does i = j?
False
Let u(x) = -x**2 + 4*x + 4. Let k be u(5). Let y = -8890 - -1271298/143. Let i = y - 2/143. Which is smaller: i or k?
k
Let m(s) be the first derivative of -s**4/4 + 7*s**3/3 - 4*s**2 + 5*s + 28. Let c be m(5). Suppose 3*o - o - 30 = 0. Is c at least o?
True
Let o be 1*(4 - 6 - -2)/(-2). Suppose o = m - 4*m - 24. Does m = -15/2?
False
Let g be (3 - (-456)/(-176))/(31/(-8) - -4). Let b be ((-6)/(-4))/((-6)/(-16)). Is b at least g?
True
Let x = -291 + 302.7. Let i = -0.7 + x. Which is smaller: 0 or i?
0
Let s be -1 - (-291)/30 - 6/30. Which is smaller: 8 or s?
8
Let i = 9.55 - 16.55. Is -4.6 at most i?
False
Let d be -2*(-5)/10*(-2 + -3). Which is smaller: d or -3?
d
Let o be 8/14 - (-1 - 195/(-35)). Let t(c) = -c**3 - 2*c**2 + c + 9. Let a be t(o). Is 37 != a?
False
Let s = -23 + 45. Let n = 22.2 - s. Which is smaller: n or 3?
n
Let z(j) = -3*j**3 + 6*j**2 - 2*j + 4. Let o(s) = 10*s**3 - 19*s**2 + 5*s - 13. Let x(f) = -2*o(f) - 7*z(f). Let l be x(3). Which is smaller: -1/61 or l?
-1/61
Let n(w) = 5*w - 21. Let q be n(5). Suppose 0 = -4*a - 4*x + 48, -x + 24 = 3*a - q*x. Let h = 21 - 11. Do h and a have the same value?
True
Suppose 5 = -g, -2*g + 326 = 5*c + 51. Let j be (c/24)/(-1) + 2. Let n(p) = -p + 2. Let z be n(3). Is j smaller than z?
False
Let x = -2/281 - -1142/2529. Let q = 15 + -13. Suppose -g - 3*a + 1 = -0*a, -5*g + q*a + 5 = 0. Is x <= g?
True
Let h(j) = j + 16. Let i be h(-11). Suppose -i*q - 2 = -6*q. Let v be 4*(2 - 5/q). Does v = -1?
False
Let t = 270 - 271. Is 20.7 less than or equal to t?
False
Let y be (9/(-243))/(1/677). Let i = 25 + y. Suppose -8 = w + 2*n, -16 - 9 = 5*w + 5*n. Which is bigger: i or w?
i
Let d be (-9)/3*(-1)/1. Suppose i + d*x = 26, 5 - 1 = x. Suppose 4*r = 4*t - 24, 0 = -2*r - r + t - i. Is -5 < r?
True
Let c be 2/(-9)*(-6)/10. Let h = -1.2 + 1.22. Let g = 0.08 + h. Are c and g unequal?
True
Suppose 5*o = 3*c - 1, 0 = -2*o + 2*c + c - 4. Let n = 15 - 18. Let q = o + n. Is 1 > q?
True
Let j = 1/6384 + -27739/478800. Let q = j + 7/25. Which is smaller: q or 2?
q
Let f = -0.196 - 1.014. Let w = -1.3 - f. Let k = w + 0.19. Does -2 = k?
False
Suppose 2*f = 5*n - 107, n = 4*f + 2*n + 203. Let k = f - -52. Which is smaller: -9 or k?
-9
Suppose 3*a = -m + 25, 2*m + 44 = 4*m + 3*a. Which is greater: 18 or m?
m
Let n = -0.42 + 12.42. Let v = n - 18. Which is smaller: v or -2?
v
Let o be 3/2 + 54/4. Suppose 0*k + o = 5*k. Which is bigger: k or -0.2?
k
Let d = -1241 - -1237. Which is greater: d or -49/18?
-49/18
Let s(c) = c**2 - 4*c - 1. Let n be s(4). Let r(g) = g**3 - 5*g**2 - 1. Let a(i) = i**2 - 1. Let u(q) = n*a(q) - r(q). Let x be u(3). Is 11 equal to x?
True
Suppose -2*c + 3*k = 11, -5*k + 0*k = -5*c - 20. Let i = -158 + 10903/69. Is i at most as big as c?
False
Let k be (24/54)/(6*(-7)/(-189)). Let w(n) = n**2 - n. Let r be w(1). Which is greater: k or r?
k
Let g = -65 - -63. Suppose 2*c - 5*c + 3 = 3*f, -f + 3 = 0. Are g and c nonequal?
False
Suppose 0 = 9*r - 10*r - 5*d - 7, -5*d + 5 = 5*r. Suppose r*i + 2 - 13 = 2*l, -2*i + 6 = -2*l. Let g = -8 - -11. Is g greater than l?
True
Let b = 198 - 981/5. Which is smaller: 3 or b?
b
Let c be 0 + (-51)/(-39) + -1. Let t(b) = -b**2 + 5*b - 5. Let i be t(3). Let d be (i - 0)*(13 + -14). Which is smaller: c or d?
d
Suppose 0 = -5*f - 0*i + 3*i + 5, f - 2*i = 1. Let a = -1/470 - 461/4230. Which is bigger: a or f?
f
Let m(b) = -b + 2. Let p be m(2). Suppose p = 5*g - g + 896. Let w be 52/g - 1/7. Which is greater: w or -1?
w
Let m(b) be the first derivative of -b**4/4 + b**3/3 - b**2/2 - 7. Let y be m(1). Which is bigger: -9/5 or y?
y
Let m(z) = z - 13. Let q be m(9). Let v be 147/20 - q/16. Let k = -91/10 + v. Which is greater: -1 or k?
-1
Let p = -53 + 117. Let h = p - 67. Which is smaller: h or 4?
h
Suppose 5*a - 10 = 5. Suppose a*q - 10 = -1. Let n = -4 - -3. Which is bigger: q or n?
q
Let h = 500 + -499.9. Are 831 and h equal?
False
Let d be ((-2)/(-340))/(26/2665). Let m = d - 6/17. Is m less than -1?
False
Let g = -378734212/349635 - -154920/143. Let a = 2/489 + g. Is -4/5 less than or equal to a?
True
Let r = 9 - 5. Suppose -8*n = -3*n + 250. Let v be (-18)/(-15)*n/(-15). Is r greater than or equal to v?
True
Let a = -2.56 - -2.475. Does 1 = a?
False
Let v = -2333/7 - -334. Let i = v + -18/35. Let a be ((-1)/(-7))/(4/7). Does a = i?
False
Let y(a) = 5*a - 64. Let n be y(13). Let c be ((-9)/612)/(0 + n). Is 0 at most as big as c?
False
Let d = -0.1 - -1.2. Let k = -14 + 13.3. Let i = k + d. Which is bigger: i or 1/3?
i
Suppose 5*x - 20 = -2*k, -130*x - 2*k = -135*x. Which is bigger: 24 or x?
24
Suppose -25*k + 603 = 3378. Suppose -5*d + 220 = -7*d. Which is bigger: k or d?
d
Suppose 0 = -4*p + 4*h - 25 + 13, 3*h = 4*p + 15. Which is greater: -3 or p?
-3
Suppose 13 = 5*u + 33. Let d be u/1 + (-12)/(-1). Which is greater: d or 9?
9
Suppose -3*x + 335 = d, -5*d + 5*x = 8*x - 1711. Is d greater than 1036/3?
False
Suppose 4*z - 3*k = -5*k + 8, -5*z = 5*k - 20. Suppose -12 = -z*r + 3*r, -4*i + 44 = -4*r. Let h be 1 - (0 + 4/i). Which is smaller: h or 1?
h
Let j(m) = m - 1. Let p be j(-5). Suppose -5*f + 4*n + n + 40 = 0, -f = 2*n + 7. Suppose -f*q + 21 = -3*o, 0 = -0*o - 5*o + 2*q - 29. Does p = o?
False
Suppose 0 = 6*q - 369 + 75. Suppose 7*x - 4*x - 4*b = -q, 5*x - b = -76. Which is greater: x or -14?
-14
Let m = 743 + -772. I