u be g(h). Suppose u*a = -0*a. Which is greater: -1/5 or a?
a
Let b = -5 - -4. Suppose 11 - 3 = -2*c. Let w be (-38)/(-84) + c/6. Which is greater: w or b?
w
Let l = 0 - -0.09. Let x = -3/4402 - -8837/48422. Which is bigger: x or l?
x
Let t = 5 - 0. Suppose -t*c + 7*c = 8. Suppose -3*o = -0*s - 3*s, o = -3*s + c. Which is greater: s or 0.2?
s
Let w(n) be the first derivative of n**5/120 + 7*n**4/24 + 2*n**3 + 2. Let o(y) be the third derivative of w(y). Let i be o(-6). Is i > 1?
False
Suppose 0 = -l + p - 1, 3*l - 2*p + 5 = 3. Let j = 233/1248 - -1/1248. Is j at least as big as l?
True
Let y be 2 + 0 + 1 + -11. Let t = -10 - y. Let q be (-51)/18 - 3/t. Which is bigger: q or 2?
2
Suppose 3*w - 8 = 5*q + 12, -2*q + 85 = 5*w. Suppose 0 = 6*g - 3*g - w. Suppose -g*n = 4 + 1. Is 6 < n?
False
Let i = -447 - -448. Is i != -4/45?
True
Let v be -3 - (4 + -38 + 3). Let m be 2/((-16)/v + (-1 - -1)). Which is smaller: -5 or m?
-5
Let f be 3 + 3 + 112/(-18). Let a = 197 - 197. Is f less than or equal to a?
True
Let k = -0.694 + 0.794. Which is greater: -2/37 or k?
k
Let l be (-2)/(-9) + 25/9. Suppose -c = -l*c - 40. Let r = 20 + c. Which is smaller: -5/11 or r?
-5/11
Suppose -9*q + 10 - 1 = 0. Let r(x) = 56*x**2 + 8*x - 9. Let l be r(q). Does 55 = l?
True
Let b = 2899 + -2912. Is -135/11 less than or equal to b?
False
Let q = -40 - -39. Does 96 = q?
False
Let c = -42.7 + 22.7. Let j = 503/5 - 101. Which is greater: c or j?
j
Let x = -5.75 + 3.75. Is 0.042 at most as big as x?
False
Suppose 0*j - 5*h + 26 = -2*j, 5*h = -3*j - 64. Let u(n) = -n**2 - 19*n - 6. Let m be u(j). Let z be 9/m*3/12. Is z less than or equal to -1?
False
Suppose -3*g - 3*y + 6 = 0, 5*y + 4 + 6 = 5*g. Suppose -2*c + 0 - 6 = -5*k, 0 = 5*k + g*c + 6. Suppose 2*z - 4*a + a = 12, k = -2*a - 8. Is 8/7 < z?
False
Let g be (9/15)/(36/(-40)). Let p = 0.2 + 2.8. Let v = p - 3.03. Which is smaller: v or g?
g
Let k be ((-5)/(-19 + 9))/((-1)/2). Is k at least as big as -1/74?
False
Let h = -0.059 + 1.059. Let l be ((-1)/2)/((-2)/4). Suppose -2*g = l + 1. Are g and h nonequal?
True
Let a = 32 - 23. Let t be (a/(-5))/(1/(-5)). Let m = 19 - t. Is m equal to 10?
True
Suppose 3*f + y + 2 = -0*y, 3*y + 16 = f. Let x be (2/(-6) + f/(-6))*-2. Which is smaller: -1/71 or x?
-1/71
Let p(r) = -5*r**2 - 79*r + 13. Let c be p(-15). Which is greater: 71 or c?
c
Let f = 113973 + -59835877/525. Let z = f - -2/105. Suppose 3*q = 6*q. Is q smaller than z?
False
Let u(i) = -3*i**2 + 19*i + 13. Let a(q) = -4*q**2 + 19*q + 12. Let j(c) = -2*a(c) + 3*u(c). Let y be j(20). Which is smaller: -9 or y?
-9
Let l = -10/63 + 3/14. Let m(q) = 0*q**2 + 2*q + 5*q + 2 + 5 + q**2. Let u be m(-6). Is u less than or equal to l?
False
Let h be (-7024)/(-105) + (14 - 3552/252). Which is greater: h or 67?
67
Let d = 10 + -6. Suppose 31 - 111 = d*g. Let z be 45/g - 4/(-16). Which is smaller: -3/4 or z?
z
Let s(r) = 3*r - 6. Let n be s(6). Let o be n/(-16)*(-2)/3*6. Suppose 2 = 3*a - 7. Are a and o equal?
True
Let h(c) = -3*c**3 + 4*c**2 + c. Let f be h(3). Let k = f - -41. Which is smaller: -2/27 or k?
k
Let q(c) = -c**2 + 16*c + 20. Let j be q(17). Let v be -2 + 4/(-4) + j*-1. Which is smaller: -2 or v?
v
Let b = -266831/3570 - -374/5. Let r = b + 5/42. Is -1 greater than or equal to r?
False
Let k(v) = -v**3 + 7*v**2 - 2. Let a be k(7). Let p(b) = b + 1. Let f be p(a). Let x be (-1*(-25)/(-45))/((-15)/9). Is x smaller than f?
False
Let x(y) = y**2 - 2*y + 32. Let v be x(0). Let h = -33 + v. Is h smaller than -3?
False
Let v be (72/20)/6 + 414/(-465). Which is bigger: v or 0?
0
Let b = -1021/2353 + -5/181. Is b < -1?
False
Let r be 1/(-2) + (-26)/(-4). Suppose -3*g = -r*g. Let s = -2251 - -2250.4. Which is smaller: g or s?
s
Let a = 4979/21 - 237. Let i = 1005/7 + -144. Let n = a + i. Is -11 bigger than n?
False
Let r = 499 - 501. Is r at most -43/15?
False
Let a(w) = -24*w - 7. Let r be a(0). Let d be 1/3 - 5/6. Which is greater: r or d?
d
Suppose 0 = -2*x + 5*t + 24, x - 5*t = 2 - 0. Let j be x - (-4 + 3 - -4). Is 20 less than j?
False
Let f be (5 + -2)*(-20)/(-12). Suppose 0 = 2*u + 2*p - 16, 0*u + f = -5*u + 4*p. Is 13/3 greater than u?
True
Let u = -23.9 - -6. Let z = 19.83 + u. Let j = 0.07 + z. Is 1 at least as big as j?
False
Let c = -36 + 35. Let t be -4 - c/(18/64). Which is smaller: t or -1?
-1
Suppose 2*n + 834 = 5*n. Let g = 5281/19 - n. Which is greater: 0 or g?
0
Let u(x) = 3*x**3 + 18*x**2 - 3*x - 17. Let h be u(-6). Is 58/41 greater than h?
True
Suppose -1229 = 20*l - 49. Is l at most -59?
True
Suppose 2*g + 3*g = 120. Let d = g - 21. Suppose 4*v - 6 = -2*t, -t - t = d*v - 3. Do -0.1 and v have different values?
True
Let f(q) = -4*q - 4. Let w be f(-2). Suppose -2*l - 5*s = -36, 18 = 2*l - l - w*s. Let n = l + -18. Which is smaller: n or 4/3?
n
Let w = 30 - 28. Let u be -3 + 112/100 + w. Which is greater: u or -1?
u
Let p be (-3)/(-6) - (-15)/(-6). Suppose -h + 4*f + 8 = -0*f, -3*f = 3*h + 6. Suppose -j - 1 - 2 = h. Which is bigger: j or p?
p
Let b be 2/(-5) + 37/5. Let c(g) = 4 - g + b - 4 - 2. Let l be c(5). Is l at most as big as 3/11?
True
Let b be (-2)/(-12) + 77/6. Let l = b - 23. Let z be 3/13*5/l. Is -1 greater than or equal to z?
False
Suppose -5*x + 74 = -6*l + 2*l, -3*l = 4*x + 40. Let c be (6 - 4)*(-4)/l. Is -6 greater than c?
False
Let g = 31 - 83. Let s = g - -51.8. Does 1 = s?
False
Suppose 60 + 25 = 17*n. Is 18 bigger than n?
True
Let y = -22773/10 - -2274. Which is smaller: -3 or y?
y
Let s(u) = -3*u**3 + 2*u**2 - 2*u + 1. Let k be (-4)/18 - (-66)/54. Let f be s(k). Is -6/5 at most f?
False
Let p(f) = -7*f**2 - 2*f + 2. Let u be p(-2). Let g(s) = 6*s - 150. Let x be g(18). Let w be (-2)/(-6) + u/x. Which is greater: 2 or w?
2
Let b(f) = -2*f**2 - 4*f + 5. Let a be b(4). Let z = a - -60. Let d be ((-2 + 3)*1)/z. Which is smaller: d or -1?
-1
Let l = -1791 - -34053/19. Which is greater: l or 2?
2
Let y(v) = -v**3 + 3*v**2 + v - 4. Suppose 6*h + 15 = 11*h. Let f be y(h). Is 0 less than f?
False
Let w be (-3)/12 + 31833/127344. Let d = -160113839/721616 + w. Let i = d - -222. Is 0 at least i?
False
Let k = 59 + -58. Let j = 9 - k. Which is smaller: j or 0?
0
Let g be ((5 - 2) + -2)*4. Which is smaller: 33/8 or g?
g
Let x = 736 - 452. Let s be x/(-130) - 44/(-55). Which is greater: 0 or s?
0
Let r be -81 - (-4 + -2 + (4 - 1)). Let k = r + 75. Which is bigger: -2/47 or k?
-2/47
Let a = 1 + 3. Let p be (-2)/11 - 2584/(-418). Are a and p equal?
False
Let f(n) be the first derivative of n**3/3 + n**2 - 4*n - 2. Let s be f(-4). Suppose m = -s*m + 25. Is m not equal to 4?
True
Suppose 64 = -5*m + 4*s, -5*m - 5*s = -0*m + 55. Let p be ((-1)/16)/((-2)/m). Which is smaller: 1 or p?
p
Let a = -16/607 + 1140/135361. Is -1 greater than a?
False
Let y(l) = -l**2 + 5*l - 9. Let j be (-77)/(-14) - (-6)/(-4). Let q be y(j). Is -3 < q?
False
Let j be 1864/(-468) + 0 + 4. Is -2/3 equal to j?
False
Let o be (1 - 4)*(-4)/(-6). Let d be 10/(-2)*2/(-5). Suppose d = -w - 1. Which is bigger: o or w?
o
Let t = 0.011 - 35.011. Let w = 1.169 + -0.169. Which is smaller: t or w?
t
Let f = -274 + 1927/7. Is f less than 2?
True
Suppose -241 = 3*q + 2*r, -3*q + 2*r - 3*r - 236 = 0. Is -153/2 >= q?
True
Let y = 1.29 - 30.29. Let s = -28.8 - y. Which is smaller: -2 or s?
-2
Let n be (-2)/6 - (-76)/12. Suppose -u = 2*v, n*u - v = 2*u. Which is smaller: u or -7?
-7
Let m = 472 + -292. Suppose 0 = 3*a, -2*i - 2*a = 2*i - m. Suppose 0 = 3*f + 2*v - 41, -7*f - 3*v + i = -4*f. Which is greater: f or -1?
f
Let k = 0.22 + -0.18. Let w = k - -0.01. Let z = 2/127 - -244/635. Which is smaller: w or z?
w
Suppose k - 3*c - 49 - 57 = 0, 3*c = 4*k - 469. Let h = k + -108. Let f = 3 - -9. Is f bigger than h?
False
Let i(q) = q**3 - 2*q**2 - 8*q + 10. Let n be 15 + -12 - -1*1. Let x be i(n). Is -2 bigger than x?
False
Let z be 6/12*4/1. Suppose 0*y - z*y = -y. Which is bigger: y or 1/6?
1/6
Let t = 346 + -347. Is -2/269 greater than t?
True
Suppose -16*w - 6685 = 19*w. Is w not equal to -193?
True
Let d = 10.8 + -1.8. Let j = -10 + d. Which is bigger: j or -0.05?
-0.05
Let a(i) be the first derivative of i**4/4 - 2*i**3/3 + i - 1. Let x be a(2). Is -2/73 at least as big as x?
False
Let u be 685/8 - 6/12. Let a = 85 - u. Let f = -93 + 92. Which is bigge