8 = 0. Is 75 bigger than z?
True
Suppose 2*j - 5*w - 1 - 20 = 0, 0 = -2*j + 4*w + 20. Suppose -18 = c - j. Let v be (-36)/(-24) + 16/c. Is v greater than or equal to -1?
True
Suppose -917 - 1729 = -27*b. Is b < -1?
False
Suppose 292 = 4*r - 92. Is r at most 98?
True
Suppose -8 = -6*w + 4*w. Let d be 40/(-20) - 58/(-10). Is d greater than w?
False
Let q = 22 - 19. Let b(m) = m**2 - m + 1. Let h be b(-3). Suppose -2*k + q*k + h = 0. Which is smaller: k or -14?
-14
Suppose 7*o - 7 = 70. Suppose o*f = 7*f. Is f smaller than 2/149?
True
Let f = 66 - 150. Which is greater: f or -85?
f
Let w = 158 + -4890/31. Which is greater: -1 or w?
w
Suppose 2*r - 3*h = -4*h + 12, 0 = -2*r + h + 4. Suppose 9*i + 4 - 184 = 0. Let u be 18/(-10) + 2 - (-36)/i. Does r = u?
False
Let s(o) = o**2 + 11*o + 4. Let x be s(-8). Let u be x/24*30/8. Is -4 less than u?
True
Let o = 4.145 - 4.1. Let y = o - 0.445. Which is smaller: y or 0.1?
y
Suppose 5*k = -3*p - 61, 7*p + 43 = -3*k + 2*p. Let z = -8 - k. Let o be (z - 6/3) + 1. Do 2 and o have different values?
False
Suppose -591*b - 8 = -583*b. Is -16/33 at most b?
False
Let k be (6104/(-1240) + 5)/((-1)/(-5)). Which is smaller: k or -1?
-1
Let g be -26*2 + -2 + -4. Is g != -56?
True
Let d = -1.119 - -0.119. Do -122 and d have the same value?
False
Let l(a) = -3*a + 34. Let r be l(10). Suppose -4*f = 5*g - 3*f - 4, g - r = -f. Let j = -33/13 - -32/13. Are g and j equal?
False
Suppose 4*n + b = 2, 4 = 5*n + 4*b - 4. Suppose n*q + 29 = 4*q + 5*h, q - h = -4. Is 2/65 > q?
False
Let j = 13.62 - 16.52. Let m be ((-1)/(-3))/(12/(-9)). Which is smaller: j or m?
j
Let l = -116 + 55. Is l at least as big as 3/5?
False
Let u be 2/16*18 + -2. Let v = 36 - 107/3. Which is smaller: v or u?
u
Let z(j) = 4*j**2 + 2*j + 1. Let b = -1 - 0. Let r be z(b). Suppose -6 = n - r*n. Which is smaller: n or 1?
1
Suppose 0 = -3*u + 4*z - 12 + 35, -5*u - 10 = 3*z. Let q be ((3 - 1) + -1)*5. Suppose -5 = -q*r - 20. Is u less than r?
False
Let f = -128/5 - -26. Is f less than or equal to 4/319?
False
Let i = -0.154 + 0.308. Do i and 0 have the same value?
False
Let y = 4713 + -4712. Suppose 2*d + 82 = -0*d. Which is smaller: y or d?
d
Let r = 9 + -6. Suppose -r*y + 5 = -8*y. Suppose -69*c = -65*c + 4. Is y < c?
False
Let l(r) = -4*r**2 + 6*r + 4. Let u(t) = -3*t**2 + 6*t + 3. Let h(q) = 4*l(q) - 5*u(q). Let y be h(-6). Let x be -2*2/4*-3 + (-589)/186. Does y = x?
False
Let l(u) = -30*u - 28. Let j be l(0). Which is greater: j or -17?
-17
Let u = 1334 + -1333.722. Are u and 1 nonequal?
True
Suppose 24321 = 29*b + 4*b. Which is bigger: b or 735?
b
Let t = 87 - 18. Let c = -22 + t. Is c <= 48?
True
Suppose 10 = -5*i - 35. Let b = i + 10. Let j = -3 + 0. Are b and j equal?
False
Suppose 37*u - 39*u = 5*i - 37, -114 = -4*u - 2*i. Which is bigger: 24 or u?
u
Let g = -4 - -1. Let k be 8/g*(-96)/(-16). Are k and -14 non-equal?
True
Let o be ((-14)/8)/(2/8). Let f be (-63)/(-14) - 1/(-2). Suppose -10 = f*s + 15. Are s and o non-equal?
True
Let x = 2.9 - 7.3. Let s = -4.2 - x. Which is smaller: s or -2?
-2
Suppose 0 = 4*j - 5*j + 42. Let c be (j + -19)*(0 + 2). Is c < 48?
True
Let j = 40065/4 - 9861. Is j smaller than 154?
False
Suppose 0 = 4*y - 3*j - 497, -2*j + 85 = y - 42. Suppose 491 - y = -6*q. Is -62 equal to q?
False
Let y = 40 - 38. Suppose y*a - 3*a = 6*a. Is a bigger than -3/5?
True
Let s = -1.598 + 1.71. Let o = -1.112 + s. Which is smaller: o or -45?
-45
Let l(j) = 18*j + 18. Let q be l(4). Let z be q/4*-6*5/(-100). Are z and 6 nonequal?
True
Suppose -2*s - 3*i = -13, 2*s + 29 = -2*s + 5*i. Let y be (-8)/62*(0 + 1). Is s not equal to y?
True
Let l = 370 + -360. Are l and 125 unequal?
True
Let m = 0.25 + 27.75. Let r = -27.7 + m. Which is smaller: -5/4 or r?
-5/4
Suppose -2*d = 5*i - i - 20, 0 = -2*d - i + 20. Suppose 432 = f - d*f. Is f < -48?
False
Let j = 10 + 3. Suppose -8*a - 25 = -j*a. Is a at most 6?
True
Suppose -69*d - 2*v = -72*d + 1654, 0 = -2*v - 4. Which is bigger: d or 552?
552
Suppose -5*h + 1359 = m, 4*m - 5382 = -0*h - 2*h. Let p be (-5)/((-1700)/m) - 4. Let u = 1/85 - p. Which is smaller: u or 1?
u
Let k(c) = -2*c**3 + 6*c**2 - 6*c + 7. Let u be k(4). Let g be (-7)/(u/(-14))*90/4. Are g and -45 equal?
True
Suppose 2*g = 5*r + 11, -3*g + 2*g = 4*r + 14. Let n(u) = -u**2 - 11*u + 6. Let h be n(-11). Which is greater: h or g?
h
Let c(f) be the third derivative of -f**6/120 + 3*f**5/20 - f**4/24 + 7*f**3/6 - 4*f**2. Let t = 53 - 44. Let v be c(t). Is -3 > v?
False
Let d = 161.05 + -174. Let r = d - -13. Let p = r - 0.05. Which is bigger: 2/7 or p?
2/7
Suppose 0 = 5*u + 3*f + 62 + 584, -3*u = 3*f + 390. Let k be 2/6 - u/12. Let q be 18 + -16 - 28/k. Is q less than or equal to 0?
True
Let p(k) = k**2 - 19*k + 30. Let i be p(2). Suppose 0 = -r + 4*r - 12. Let s be 0/(r*-1 - -2). Is s < i?
False
Let n(p) = -4*p + 4. Let r be n(3). Let o = 19 + -5. Let m = o + -23. Which is bigger: m or r?
r
Let t be (-1)/(-9)*3*65. Let r = 296 - 275. Which is greater: r or t?
t
Let v(w) = -7*w - 6. Let b be v(-1). Let q(f) = -f**2 - 4*f + 5. Let h be q(-3). Is b at most as big as h?
True
Let k = -31.99 + 32. Let a = -0.06 + k. Is -2 greater than or equal to a?
False
Let g(w) = -2*w - 2. Let o be g(-2). Suppose -10 = -4*h - 4*i - o, -3*h = -3*i + 24. Is h < -4?
False
Let y = 31/5 + -5. Let f(j) = -5*j + 26. Let u be f(5). Which is bigger: u or y?
y
Let q = 2 + -3. Let v = 13.0609 + -0.0609. Do v and q have the same value?
False
Let s = 63 + -36. Let q be s*1*(-3)/9. Does -9 = q?
True
Suppose 219 = -k + 4*k. Suppose -3*q + 216 = 3*n, 6*n - 4 = 8*n. Is k bigger than q?
False
Let u be (-637464)/462616 - 2/(-7). Let l = u + 1/751. Is l bigger than -2?
True
Suppose -2*d - 796 = -794. Is 3/40 at most d?
False
Let y = 0.3 + 0.3. Let s = 6.7 + -7. Let t = -0.3 - s. Does t = y?
False
Let f be (-13 + 20)/((-1)/(-57)). Let w be f/(-35) - 2/(-5). Suppose 4*p = 2*p - 20. Which is smaller: p or w?
w
Suppose -168 = -5*t - 3*v - 32, 5*v = -5*t + 130. Are 29 and t equal?
True
Let g = 11 + -6. Suppose -g*w - 26 = -4*t, 4*t = 3*t - 3*w - 2. Suppose -t*h = 4*l - 4, -2*l - 2*l - 5*h + 5 = 0. Is l <= -1/7?
False
Let x = 18 + -29. Suppose -8*c + 84 = -12. Let p = c + x. Is 3 != p?
True
Let s(a) = a**2 + 2*a - 3. Let t be (5/2)/(4/8). Suppose 22 = y + 3*c - 8*c, -2*y = t*c + 31. Let o be s(y). Is o bigger than -7/8?
True
Let a = -330.227 - -333.2. Let x = 0.027 + a. Which is smaller: x or -15?
-15
Let q = 2 + 42. Suppose 3*d = 7*d + q. Let t(m) = -2*m + 10. Let h be t(10). Which is smaller: d or h?
d
Let i = 358/513 + -16/27. Which is bigger: i or 0.17?
0.17
Suppose -g + 4 = -0*g, 5*g - 20 = -5*j. Suppose 0 = -3*f - j + 3. Let c be (5 - (11 + -2)) + 6. Which is smaller: c or f?
f
Let r be 18/12*(-3)/(27/(-48)). Let z(i) = i**3 + 8*i**2 + 7*i + 3. Let p be z(-7). Suppose -11 + r = -p*u. Which is smaller: u or 1/38?
1/38
Let n = 0.3 - 0.1. Let z = n + 0. Let o = 32.53 + -32.43. Which is bigger: z or o?
z
Let m(v) = -3*v + 6. Let h be m(4). Let y be (h/4)/((-2)/16). Let s = 1128 + -1115. Is s less than y?
False
Suppose -k - k = -3*j + 9, j - 4*k = -7. Suppose -4*c + j*u - 2*u = -1, -2*u = 5*c - 30. Suppose 0 = -4*d + c. Which is greater: d or -1/21?
d
Suppose 3*g + 3*m + 15 = 0, 6*g - 2*g + 17 = -3*m. Let d be (g/12)/((-7)/119). Is d equal to 3?
False
Let f = 145.07 + -145. Let a = -190.07 + 188. Let o = f + a. Which is greater: -2/7 or o?
-2/7
Let c = 71 - 73. Let w(a) = 7*a - 8*a - 7 + 16. Let s be w(13). Does s = c?
False
Let p = -508729/188 - -2706. Let o(a) = -a**2 + 4*a - 3. Let h be o(3). Which is smaller: h or p?
p
Let n(v) = -v - 2. Let x be n(-6). Suppose 0*y = -x*y. Suppose 2*u - 5 = -3*u. Do u and y have different values?
True
Let v = -11 - -28. Suppose 4*r - 7 - v = 0. Let f be (6/(-48))/(1/r). Which is greater: -0.1 or f?
-0.1
Let h be (63/(-15))/(-7) - (-284)/(-490). Which is smaller: 1 or h?
h
Let a = -104 + 96. Let n be a/36 - 831/27. Is n < -31?
False
Let h(x) = -7*x**3 + 5*x**2 - 9. Let d(u) be the first derivative of u**4/4 + u**2/2 - 4. Let b(t) = -6*d(t) - h(t). Let s be b(6). Which is greater: -0.1 or s?
s
Let f be (1/((-94)/(-8)))/2. Let d be (-60)/(-10) + -16 - (-2 - 7). Is f less than d?
False
Suppose 0 = 4*z + 4*w - 16, -4*z - 3*w + 18 = z. Let k = z + -