= -24 + 25. Let u = -0.2 + 0. Let f = u - -0.2. Which is bigger: f or y?
y
Let l = -3.2 + 3. Let i = -708 - -4223/6. Let s = i + 11/3. Is s equal to l?
False
Let a = -3/29 - 313/58. Which is smaller: -7 or a?
-7
Let o = -14/5 - -33/10. Which is smaller: o or 3?
o
Let g = 2 + -5. Let m(y) = -y**3 - 2*y**2 + 4*y + 3. Let o be m(g). Is 3/13 at least as big as o?
True
Let j(f) = -f**2 - 11*f. Let m be j(-11). Let c be m/(-3 - (-4 + 0)). Are -1 and c nonequal?
True
Let u = -252/5 - -50. Is u less than or equal to -6?
False
Let i be 5/(-2) - (-1)/(-2). Let c be (2/(-7))/(6/i). Let q = c + -17/21. Which is greater: q or -1?
q
Let x = -16 - -28. Let h be x/6 - (1 - -17). Let w be (-5 - -3) + h/(-7). Do 0 and w have the same value?
False
Let x = 25 + -25. Let u = -5/4841 - 178757/348552. Let y = -7/18 - u. Which is greater: x or y?
y
Let k be (4 - -1) + (-1 - 1). Let c = -9 + k. Let m = c + 6. Which is smaller: -1/7 or m?
-1/7
Suppose -9*q + 5 = -4*q. Let c(h) = 8*h - 1. Let s be c(q). Which is smaller: 6 or s?
6
Let a be ((-3)/(-4))/(1/((-4)/59)). Which is smaller: a or -1?
-1
Suppose 0 = 15*t - 92 - 358. Which is smaller: 28 or t?
28
Let m = 33 + -33. Which is smaller: m or -3?
-3
Suppose c - 5*c = -12. Suppose o - 2*o = c*j - 12, 0 = 5*j + o - 20. Let f be (j/(-6))/(-3 + 4). Is f < 0?
True
Let s = 48 - 46. Let r = 2 - -3. Suppose 0 = 3*o + 4*v - 11, r*o - 5*v + 2 = -3. Is s < o?
False
Suppose -37 = 3*u - 109. Let o = 8 - 1. Suppose 4*b - d + u = o, 0 = -5*b + 2*d - 25. Is -1 at most b?
False
Let p be (1/8)/(4/(-24)). Which is smaller: p or -2?
-2
Let r = 4/187 + 1030/4301. Which is greater: 0 or r?
r
Suppose 3*k + 10 = -3*n + 4, 2*n + 4 = 4*k. Let r(i) = i**2 + 3*i - 4. Let z be r(-4). Are z and n non-equal?
True
Let c = 49 + -48. Which is greater: 0.02 or c?
c
Let y be (-2)/(-3)*(-18)/(-40). Suppose -2*z - c = -6*z - 1, -3*c + 3 = 5*z. Is z at least as big as y?
False
Let w = -3 + 2. Let c = -2 - w. Let a(h) = -2*h**3 + 11*h**2 + 7*h - 6. Let r be a(6). Is r <= c?
False
Let f = -170 + 172.8. Which is smaller: f or 2?
2
Let k(m) = -m**2 - 6*m + 1. Let g be k(-6). Let d be (g/3)/(3/(-9)). Which is bigger: -1/33 or d?
-1/33
Suppose -5*j = -2*n - 56 + 6, 3*n = -3*j + 51. Suppose -v - j = -0*v. Let r be 2/4 - v/(-40). Is 1 <= r?
False
Let f(q) = -q**3 + 3*q**2 + 3*q - 2. Let n be f(3). Suppose -2*t + n*t = 60. Suppose 0 = -g, -3*d = -5*g - 0*g - t. Which is bigger: d or 0?
d
Suppose v - 4 + 4 = 0. Which is smaller: 3 or v?
v
Let q be 22/28 + (-4)/8. Which is greater: 6 or q?
6
Let t(w) = 18*w**2 + 2*w - 1. Let y be t(1). Let f be (3 - (-8)/(-2)) + y. Which is greater: f or 17?
f
Suppose 6*k = 5*k + 1. Which is bigger: k or 4/3?
4/3
Let m be (-64)/(-56) - 12/3. Is -2 bigger than m?
True
Suppose -11*s + 6*s + 35 = -5*w, 2*s = 5*w + 23. Let i = -1 + 7. Is s <= i?
True
Suppose 3*b = -5*x + 24, 2*x + 0 = -3*b + 15. Suppose 3*u - 2*c + 19 = 0, 0*u + c + 13 = -x*u. Which is bigger: -2 or u?
-2
Let j = 15 - 9. Suppose -g - u - 3 = 0, j*g - g - 2*u = -8. Is 0 <= g?
False
Suppose 0 = 5*d + 3*r - 51, -d - 2*r + 31 = 2*d. Let o(x) = x - 9. Let v be o(d). Is v greater than 2?
False
Let t(f) = f**2 - 2*f - 3. Suppose -5*k + 15 + 5 = 0. Let q be t(k). Let w be -8*(-3)/90*q. Is 2 smaller than w?
False
Suppose 4*g = 2*k - 0*g - 16, 2*g = -k - 12. Let a = k - -5. Which is bigger: a or 4?
4
Let r(q) = -56*q + 1. Let y be r(1). Let s = y + 221/4. Let p = 7 - 7.1. Is p < s?
True
Let q = -4 - -4. Let w = q + -2. Is w != -2?
False
Suppose 0 = 24*c - 17 + 233. Is -6 < c?
False
Let t be (0 - 1) + 10/6. Let p = -123.8 - -124. Which is smaller: t or p?
p
Let a = 346 + -970/3. Let d = a - 22. Is d equal to -2?
False
Let q be (0/(-3))/((-1)/(-1)). Let i = 44 - 42. Suppose u + q = i. Is 2 equal to u?
True
Let x(n) be the second derivative of -n**5/20 + 5*n**4/12 + 7*n**3/6 - 3*n**2 + 4*n. Let z be x(6). Which is smaller: -1/3 or z?
-1/3
Let k be (-3)/(-24)*60/(-8). Which is smaller: k or -1?
-1
Let i be (63/(-6))/(9/12). Suppose 91 = -o - 6*o. Which is bigger: o or i?
o
Suppose 5 = 3*w - 1. Let r(y) = -2 + y + 2 - y**3 + y**2 - 1. Let d be r(w). Which is smaller: -2 or d?
d
Suppose 2*x = -0*x - 2*h + 14, x - 5*h + 23 = 0. Which is bigger: 7/9 or x?
x
Let y be 6*(32/12 - 2). Suppose 0 = x - 2 - 1. Do y and x have different values?
True
Let u = -17.6 - -19. Is u < -0.1?
False
Let l(p) = p**3 + 4*p**2 - 3*p + 7. Let b be l(-5). Suppose 5 = m + 2*x, 2*x - 17 = 2*m - 3*x. Which is greater: b or m?
m
Suppose -l + 59 = 3*o, 5*o - o - 78 = -2*l. Suppose -n = n + o. Let u(i) = i**3 + 11*i**2 + 9*i - 14. Let y be u(n). Which is greater: y or -3?
-3
Suppose 3*q - 6 = i + 3*i, -5*q + 4*i = -10. Let t(g) = -g - 63. Let b be t(0). Let h = 191/3 + b. Does q = h?
False
Let h = -33 + 32.9. Suppose 0*t + 6 = 2*t. Suppose t*a + 2 = 5. Do h and a have different values?
True
Let f = -7 + 5. Let l be f - -4 - 24/14. Let d be (-1 + -1)*(-2)/(-4). Is d < l?
True
Let u(g) = g**3 - 3*g**2 + 3. Let d be u(3). Let q = 7 - 5. Is d less than or equal to q?
False
Let m = 20 + -20.09. Let k = m + 0.29. Which is greater: 1 or k?
1
Let n = 20659/9 - 2293. Which is bigger: n or 2?
n
Suppose 3*s + 2 = 5*g - 17, 0 = s + g + 1. Let v(b) = -b - 1. Let l be v(s). Let p = -49 - -51. Are l and p unequal?
False
Let s = -65 - -61. Which is bigger: -0.01 or s?
-0.01
Let x = 2.5 + -2. Let v = x - 0.53. Let z = v - -0.03. Is z not equal to -2/7?
True
Suppose 0 = -29*r + 33*r - 24. Let l be 2*((-5)/r + 1). Which is bigger: l or 0.1?
l
Let b be (3/(-2))/((-21)/28). Suppose -3*s - b*p + p = 2, -3*s = 4*p + 17. Does 1 = s?
True
Let q = 0 + 1. Let m = q - 2. Let l be ((1 + -1)*m)/1. Are l and 2/5 nonequal?
True
Let j be ((-7)/(-88))/(7 + -6). Let z = -5/11 + j. Is z at least 0?
False
Suppose 36*h = 17*h - 38. Let f = -1457/46 + 50/23. Let q = 28 + f. Do h and q have the same value?
False
Suppose 4*v + 10 = 3*w, 8*v - 3*v - 5*w + 15 = 0. Let c be -1 + 1/v - -3. Let r = -18 + 20. Is r smaller than c?
False
Suppose 2*b + 4 = 14. Suppose 2*v - 12 = 4*s, -v - 15 = v + b*s. Which is smaller: v or 2/11?
v
Let v be 8/60*3*5. Suppose -5*o = 25, t = o + v*o + 14. Is -1/2 less than t?
False
Let f = 1 + -3. Let h = -512 - -502. Which is greater: h or f?
f
Let a = -15 - -15.6. Which is bigger: -1 or a?
a
Let r be 2/((-4)/(-2))*2/(-2). Which is smaller: -4/3 or r?
-4/3
Suppose 2*p - 5*m = 23, 0 = 3*p + 4*m - 0*m. Suppose -8*r = -5*r - 6. Let y = 5 - r. Are y and p nonequal?
True
Let f = 5.7 - 6. Let i = -0.2 + 0.1. Which is greater: i or f?
i
Let u = -52 - -54.32. Let b = u - -0.28. Let h = -0.4 - b. Which is bigger: 1 or h?
1
Let z = 11.505 + 0.145. Let a = z + -9.7. Let s = a - -0.05. Is s greater than or equal to -0.2?
True
Let w be (-8 + 0)*(2 + -3). Let v be (-12)/(-4) + (-26)/w. Are 1 and v non-equal?
True
Let f = -0.01 + 0.04. Let q = f + 7.97. Let p = q - 9. Which is smaller: -3 or p?
-3
Suppose -5 = -5*g - 15. Let m(y) = 2*y**2 + 5*y + 2. Let v be m(-3). Suppose 0 = v*p + 2*z - 3, -2*z = p - 3*p - 10. Which is smaller: g or p?
g
Let u = 2/35 - 39/70. Which is smaller: -6 or u?
-6
Let k = -4 + 3. Suppose -6 = -2*r - 14. Let i be 2/(-10)*r/8. Which is bigger: i or k?
i
Suppose -5*s + 48 = -9*s. Let y = -37/3 - s. Suppose h = -3*v - 7, -h - 14 = 4*v - 2*h. Which is bigger: v or y?
y
Let q be (-1 - (-1 + 6))*-1. Let t(h) = h + 2. Let v be t(q). Suppose 6 = -5*p - 4*i, -3*p - 4*i = p + v. Which is smaller: -1/2 or p?
-1/2
Let l be ((-2)/(-20))/(1/(-4)). Let f(o) = -o**2 - 7*o + 5. Let t be f(-8). Let s be 1/(-3) + t/45. Does s = l?
True
Suppose 5*n - h = -17, -5*n = 5*h + 4 + 1. Let z(j) = -2*j - 5*j - j**2 + 4*j + j. Let l be z(n). Which is bigger: -4 or l?
l
Let m(f) be the third derivative of f**5/60 + 3*f**2. Let i be m(1). Let v be (-1 - 0)*2/(-9). Is i at most v?
False
Suppose -4 = -6*r - 10. Is r smaller than 30?
True
Let n be 3 - (3 - 2/(-9)). Let s(b) = -b**3 + 2*b**2 + b - 2. Let o be s(-2). Let d be (4/6)/(8/o). Is d at least n?
True
Let z(t) = -t**2 - 7*t + 3. Let x = -20 + 13. Let o be z(x). Suppose -o = -4*y + 1. Which is bigger: -1/8 or y?
y
Let s(b) = -4*b - b + 6*b**2 + 1 - b**3 - 4 + 6*b. Let n be s(6). Suppose 5*x - 7*o = -n*o, -2*x = o. Is -1 not equal to x?
True
Let d be 1/5 - (-2)/(-10). Let k be 6/9*-3 - -1. Let h b