-0.01 and m have the same value?
False
Let t(o) = o**2 - 2*o + 3. Suppose -6*c = -11*c + 25. Let l be t(c). Let j = 30 - l. Is 10 <= j?
True
Let j(n) be the third derivative of -19*n**4/12 + 63*n**3/2 + 5*n**2 + 20. Let q be j(5). Are 5/12 and q nonequal?
True
Let z be 87*((-14)/((-252)/(-45)))/(15/(-6)). Is z < 86?
False
Let b = -4.92 + 169.92. Suppose f - 4*i = 4*f - 3, -5*f + 5 = 3*i. Is b greater than or equal to f?
True
Let z(k) be the second derivative of -k**4/12 + 13*k**3/3 - 137*k**2/2 + 40*k. Let x be z(13). Is 23 at most as big as x?
True
Suppose -2*r - 11558 = 5*o, -35*r + 31*r + 4*o = 23200. Which is smaller: -5793 or r?
r
Let x = 452 + -218. Let q = -233.8 + x. Is -3 >= q?
False
Let l = -70.95 + 20.95. Is 1/6 less than l?
False
Suppose 500 = -2*p + 5*q, -4*q = -4*p - 0*q - 1024. Let b = -711 - p. Which is bigger: b or -452?
b
Let j be 0 + -6 + (-7)/(-7). Let g be ((-44)/(-12) + j)*-15. Suppose -5*w + 4*u = -88, 2*w - 5*u - 26 = -1. Is w smaller than g?
False
Suppose -25*x = -57*x + 6*x + 17004. Which is smaller: 647 or x?
647
Let o be (-3379 - -8)/(1 + 0). Which is smaller: -3370 or o?
o
Let d be 4/14 + 135/(-7). Let b be (-40)/4 + 7 + 8/12*-24. Is d greater than or equal to b?
True
Let x(m) = -2*m**3 + 8*m**2 - 58*m + 233. Let v be x(4). Which is smaller: 2/8567 or v?
2/8567
Let g = -21722 - -21718. Let l(w) = -5*w - 1. Let r be l(1). Which is greater: r or g?
g
Let p = -73.6 + 24.48. Let q = -54 - p. Let x = q - -5. Do x and 0.2 have the same value?
False
Suppose 3*t = 5*w + 7*t + 1, -11 = -w + 2*t. Suppose 1 + w = 4*x. Suppose 8*a - 7*a = -x. Which is bigger: 1 or a?
1
Suppose -3*a - 8 = -7*a. Suppose a*p - 5*p + 2 = 4*x, 5*x + 5*p = 0. Which is bigger: x or 21/16?
x
Suppose 2*t - 5*b - 21 = -0*b, -33 = -t - 2*b. Let q = -50 + 50. Suppose r - 18 = 5*h, -4*r - 4*h = -q*r - 96. Is t > r?
False
Suppose 0 = -213*v + 212*v - 1. Is -3/146 bigger than v?
True
Suppose 3*l = -x + 4 - 11, 5*l + 5*x = -25. Which is smaller: l or 24/2573?
l
Let o = -237539782/16211 - -14653. Which is greater: -1 or o?
o
Suppose -4*y - 90 = 5*o, o - 2*o + 4*y + 6 = 0. Suppose 6 + 18 = 12*l. Let b be 6 + l*42/(-4). Is b at most o?
True
Let c(i) = -2*i**2 - 3*i**3 + 12*i + 19 - 7 - 1 + 18*i**2. Let v be c(6). Is v at least 13?
False
Suppose -x - 220 = -3*x + 2*b, 4*x - 5*b - 441 = 0. Suppose -6 = 2*u, -u + 30 = 2*p + x. Is p > 2/13?
False
Let u be 3 - 4 - (-6)/2. Let c be 2/9*126/(-15) + u. Are c and -0.03 equal?
False
Let g = -4.138 - -4.176. Which is greater: g or 4?
4
Suppose 2*q = 5*u - 130, -5*u = q - 83 - 32. Suppose -14 = -u*h + 17*h. Which is greater: 0.019 or h?
h
Suppose -g - 2*t = -2377, 5*t - 46 = -31. Which is smaller: g or 2372?
g
Let o be 11/(-473)*21*6/1098. Is o not equal to 0?
True
Let m = -11512.8 - -11513. Which is smaller: -0.279 or m?
-0.279
Let q(m) = -m**2 - 90*m + 2. Let v be q(-56). Is v > 1905?
True
Suppose 5*k - 1 = 4. Let a be (1/3)/(-33 + (1 - -11)). Which is greater: a or k?
k
Let i = -20552 - -20374. Which is smaller: -176 or i?
i
Let s = -24 + 87. Suppose -s = -4*l - 3. Let o be 40/l*(-27)/(-84). Is o greater than or equal to 0?
True
Let r = -23 - -49. Let x = r + -25. Suppose 182 = 5*g + v + 12, 0 = -5*g - 4*v + 170. Which is bigger: x or g?
g
Suppose 5*v - 29 - 31 = 0. Let f = v + 10. Let u(z) = 21*z**2 - z - 1. Let g be u(-1). Which is smaller: f or g?
g
Let x = 165557 - 165557.2. Let z be (0 + (-50)/(-4))*2. Does x = z?
False
Suppose -4*f - t - 4*t + 22 = 0, t = 5*f - 13. Suppose 28 = f*c + 25. Which is smaller: 1/60 or c?
1/60
Let s = 15829 + -15901.27. Let c = 72 + s. Let m be 1 + (1 - -1*24/(-14)). Is m at most c?
False
Let o be -21 + ((-3116000)/(-4425))/32. Is 1 greater than or equal to o?
False
Let g be (-2)/(-4)*(3 + 81). Suppose -f - r - 37 = -3*r, 5*r - 195 = 5*f. Let y = f + g. Which is smaller: y or 2/83?
2/83
Let o be (-108)/(-63)*(-4396)/40*(-20)/(-8). Are -470 and o unequal?
True
Let g = -8 - -15. Let a(t) = -11*t + 101. Let z = -94 + 103. Let y be a(z). Which is smaller: g or y?
y
Let d(u) = 2*u + 18. Let h be d(-5). Let g be h/18 - 28730/(-117). Is g equal to 246?
True
Let r = -43 - -35. Let j = r - -34. Let x(h) = -h**2 - 15*h - 19. Let p be x(-11). Are p and j unequal?
True
Let y = 51.69 - 47.69. Is 0.083 less than or equal to y?
True
Suppose -3*g - 5*q + 40 = 0, q + 51 = 4*g + 13. Let o be 6*(-3)/(-45) - (-176)/g. Which is greater: 17 or o?
o
Let r = 4917 - 3190. Is r smaller than 1726?
False
Let g = 11.91 + -12. Let h = -0.4 + g. Let o = h - 0.61. Is -2 less than o?
True
Let v be 75/(-25) + ((-6)/(-34) + 0)*769. Is v bigger than 0?
True
Let y = 11 - 12. Suppose -19*r - 200 = -18*r. Let d be r/875*(-2)/(-8). Which is greater: d or y?
d
Let v be (-4)/60 + (-9)/((-405)/(-253437)). Which is bigger: -5635 or v?
v
Let p be 4/(-6) + (-5)/(-9). Let g = 1157815 + -1157808. Is p less than g?
True
Let o be (-1)/(-3) + 40/(-3). Suppose -2798*l + 2793*l - s = 86, 0 = -l + 2*s - 15. Which is greater: l or o?
o
Suppose -m + 2622 + 28762 = 3*m. Do m and 7844 have the same value?
False
Suppose 0*a = 4*a - 144. Let v = -38 + a. Let n be (90/20)/((-1)/v). Which is smaller: n or -3/2?
-3/2
Let o = -241.2 - -236.2. Let n(y) = y**3 - 8*y**2 + y - 2. Suppose 3*h - 6*h = -24. Let d be n(h). Which is smaller: d or o?
o
Let h = 0.87 - -0.03. Let o = -2.6 + h. Let s = -1.8 - o. Is 0.25 equal to s?
False
Suppose -51*g - 259 - 98 = 0. Is g > -67.1?
True
Let a = -247133/6 + 5204783/126. Let g = a + -973/9. Which is bigger: g or 10?
g
Let y = -33363 - -33363.1. Is 5917 at most y?
False
Let d be (-6)/(-4)*((-569924)/190 + (-24)/(-15)). Is -4497 greater than or equal to d?
True
Let y(d) = -90*d - 613. Let r be y(-7). Which is smaller: r or 13?
13
Let v be (31/(-4))/(3/216). Let n = v - -685. Which is greater: 124 or n?
n
Suppose 0 = z + 172 - 170, 0 = -o - z - 1984. Is -1979 less than or equal to o?
False
Suppose 22*l + 3*u = 23*l + 50, -3 = -u. Is l bigger than -837/20?
True
Let w(y) = -y + 15. Let d be w(5). Suppose 10*o + d = -10. Let t be -2 + (o - 21/(-6)). Which is smaller: -33 or t?
-33
Let q be (-1*(0 + -3))/1. Let g = q - 2. Let c = 728673/25 - 29147. Which is smaller: c or g?
c
Let x = 34.63 + 0.37. Let l = -35.075 + x. Let t = l + 0.015. Is t not equal to 0.1?
True
Let k = 8.34 + -4.31. Let p = k - 14.03. Is -5 not equal to p?
True
Let f = 20343 - 21580. Which is smaller: 2/5 or f?
f
Let d = 16.01 + 0.99. Let m = d - 16.893. Is m at least as big as -0.1?
True
Let h = 3985 - 3872. Suppose -2*b - 557 = -7*b + w, 0 = -2*w + 6. Is h smaller than b?
False
Let b(v) = v**3 - 21*v**2 - 2*v - 48. Let l be b(22). Let i = l + -392. Do 3/82 and i have the same value?
False
Suppose -4*h + p = -36, -3*h - 5*p + 3*p = -16. Suppose 4*w = 5*c + 4 + 3, -5*w = -c - 35. Do w and h have different values?
False
Let o = 12 - 5. Suppose 0 = 5*i - o*i + 2. Suppose 3 - i = 2*y. Which is greater: y or 4/31?
y
Let b(z) = z**2 + 10*z - 20. Let p be b(2). Suppose -u = p*x - 9*x, -4*x = u. Let n be 5*(1 - 24/22). Is u greater than or equal to n?
True
Let t(s) = s**3 + 28*s**2 + 120*s + 62. Let j be t(-20). Which is smaller: j or 861?
861
Suppose 61*b - 59*b = 2*q, 12 = -2*q + 5*b. Which is greater: q or 5/2?
q
Let m(z) = 2*z**2 + 44*z + 89. Let u be m(-20). Suppose 18*h + u = 63. Which is bigger: h or 20?
20
Let u be ((11/(-33))/(5/15))/(-1) + -52. Which is smaller: -86 or u?
-86
Let b be 14*(5 + (-18)/4). Suppose 3 = 4*n + b. Which is bigger: 587 or n?
587
Suppose 3*q - g - 4*g - 20 = 0, 4 = -4*q - g. Suppose -135 = -9*p - q. Suppose 3*k - 1 = -2*k - 3*j, -3*j - p = -3*k. Is 2 at most k?
True
Let q(d) = -3*d**2 - 30 + 29 + 13*d + 5*d**2 - 4*d**2. Let v be q(5). Which is greater: 17 or v?
17
Let r = -256.69 + 258. Let y = r + -12.01. Let q = y + 10.7. Which is bigger: -6 or q?
q
Suppose -4*v - 98*m = -97*m - 16759, -5*v - m = -20948. Is v != 4190?
True
Let s be (-70 + 3)*(30 - 1). Let m = -322539/166 - s. Suppose -2*q = 4*b - 8, 547*q - 553*q = 3*b - 24. Is b equal to m?
False
Let c = -2.484 - -632.484. Which is smaller: c or -0.1?
-0.1
Let d = -1.282 + 1.282. Which is smaller: d or 0.4216?
d
Suppose 26*z - 27*z + d = 228, -5*z - 5*d - 1190 = 0. Which is greater: -236 or z?
z
Suppose -5*w - 2*o = -4 + 19, 20 = -5*w - o. Let x be (-18865)/(-3780) + -