*w**3 - 1. Let u be f(1). Let c = u - -4. Let d = c + 2. Which is bigger: d or 4?
4
Let y = 7 + -5. Let j = 1.9 + y. Let h = 4 - j. Is -0.2 >= h?
False
Let i(x) = -x**3 - 2*x - 1. Let s be i(-1). Let f = -4 - -7. Which is smaller: s or f?
s
Let w = -167/2 + 82. Let l(v) = v**3 + 10*v**2 - 11*v + 7. Let f be l(-11). Suppose 3*j = 2*c, 15 = -f*c + 4*c - 3*j. Which is smaller: c or w?
c
Let y = -19.4 - -14. Let c = y - -2.3. Let b = 3 + c. Which is bigger: -1/2 or b?
b
Let j = 1 - -13. Which is bigger: 13 or j?
j
Suppose -o - 4 = -t, 7*t - 4*o - 16 = 4*t. Let m = 0 - t. Let r = m + -2. Is r bigger than 1?
False
Suppose 5*f + 5*x = -15, 5*x + 22 = 7. Suppose -2*w + f - 2 = 0. Let d be w/2*(-4)/2. Which is bigger: d or 6/7?
d
Suppose -3*u = 5*h + 108 - 45, -4*h - 53 = 5*u. Which is smaller: h or -10?
h
Let x = 23/162 + 2/81. Let n be 2/3 + (-76)/6. Let u be 2*3/n*-2. Which is bigger: u or x?
u
Let s be (-635)/(-20) + 2/8. Let u be 118/6*156/s. Let q = 96 - u. Which is smaller: -1 or q?
-1
Suppose 5*s + 27 = -4*p + 4*s, -39 = 4*p + 5*s. Let b be (-95)/75 + p/(-10). Which is smaller: b or -1?
-1
Let n(m) be the first derivative of -5*m**3/3 - 2*m**2 - 3*m + 2. Let a be n(-3). Let p be (-7)/(105/a) - 2. Is p greater than 0?
True
Let k be (4/6)/((-3)/9). Let t be (k + 0)*1/11. Suppose 0 = -6*d + 15*d. Which is bigger: t or d?
d
Let x be 472/(-24)*-3 + 1*2. Does x = 1/2?
False
Suppose 38*a = 36*a + 10. Which is greater: a or 7?
7
Let n = -27/8 - -111/40. Is -0.1 < n?
False
Let u = 1 - 0. Let g be (-18)/(-81)*(u + 0). Let l = 1 - 1. Which is smaller: g or l?
l
Suppose 5*g = -0*g - 55. Which is smaller: -8 or g?
g
Let x = 0 - -2. Let s be (-50)/(-60)*(-18)/(-20). Which is smaller: x or s?
s
Let u be (1 - -5)/((-30)/(-4)). Do 1 and u have different values?
True
Suppose 12 = 5*n - 3*n. Let k be 2*((-1)/n + 0). Let l = -0.4 + -2.6. Which is bigger: l or k?
k
Let b be 1/(-3 + (-16)/(-5)). Suppose -b*l = -17 + 2. Let v = l - 7. Is -4 smaller than v?
False
Let n(k) = 6*k - 25. Let b be n(4). Are b and -4/29 non-equal?
True
Suppose 3*c = -4*b - 15, 12 = -4*b - 4*c - 4. Which is smaller: 10 or b?
b
Suppose k = -n - 30, -3 + 18 = 3*k. Which is bigger: -34 or n?
-34
Let m = -2/183 + 199/1464. Which is greater: m or 1?
1
Let h = -9 - -17. Suppose u + h = 4*k, 4*k - 8 = -0*k - 4*u. Let o be k + 3*(1 + -2). Which is smaller: 0 or o?
o
Let o = 5 + -3. Let a be o/8 - 1/12. Suppose 0 = 6*s + 3 + 3. Are a and s non-equal?
True
Let j = 3886/65 + -302/5. Let b = j + 93/130. Is b bigger than 0.1?
False
Let b = -4 + 3.98. Let z = 2.98 - b. Which is bigger: -0.1 or z?
z
Let x be -20 + 5/(75/(-6)). Let l = 20 + x. Let w = -4 - -3.7. Are l and w equal?
False
Let q(v) = -1. Let j(o) = o**2 + 5*o - 1. Let p(k) = 5*k**2 + 20*k - 5. Let m(f) = -9*j(f) + 2*p(f). Let w(h) = m(h) - q(h). Let s be w(5). Is 3/11 less than s?
False
Let g = -0.6 + -0.6. Let c = g - -1.16. Which is smaller: 2/7 or c?
c
Suppose 3*c + 2*a = 10, 2*c - c + 2*a - 2 = 0. Suppose 39 = 5*m + c*k, 3*k + 0*k = m - 4. Suppose 5*p - i = p, i + m = -3*p. Is p at most as big as -1/4?
True
Let s = -1/4 - 1/4. Let k(l) be the second derivative of -l**4/12 - 7*l**3/6 + 7*l**2/2 - l. Let p be k(-8). Do p and s have the same value?
False
Let f = -2 - -9. Suppose 4*h + 3 - f = 0. Which is smaller: 2 or h?
h
Suppose 2*k + 4*q + 28 = 0, 0 = -0*q - 5*q - 25. Let z = k + 6. Suppose z + 0 = -a. Which is bigger: a or 0?
0
Let k = -3 - -1.5. Let x = 14.5 - 14. Let y = k + x. Which is bigger: -1/2 or y?
-1/2
Let u be (-2)/7*1 - 0. Let w = -7 - -25. Let x be w/12 - (-1)/(-2). Which is smaller: u or x?
u
Suppose 5 = -3*o + 41. Which is bigger: o or 1/2?
o
Let w = -30 - -13. Which is greater: w or -16?
-16
Let o = 5 - 1. Let f = 2 - o. Let q = f - -4. Which is greater: -1/4 or q?
q
Suppose -a + 5*f = -26, 0*a - a - f - 4 = 0. Let m = -2 + a. Which is smaller: 1/3 or m?
m
Let y be -2*(-2)/4 - 2. Suppose -8*s + 4 = 4. Are y and s equal?
False
Let a = -4 - -3. Let n be (1/a)/(0 - -1). Let k be (-2)/(-4) + -6 + (-77)/(-14). Is n >= k?
False
Suppose -5*g = 13 + 2. Let p be (g/(-26))/((-3)/(-6)). Is 1 < p?
False
Suppose 0 = 2*b - b + 3, 15 = 3*r - 5*b. Suppose r = 3*o - 6*o. Which is smaller: -2/3 or o?
-2/3
Let h be (-10)/(-50) + (-11)/5. Which is smaller: h or -1/4?
h
Let o(j) = j + 8. Suppose -g + 0*g = 7. Let y be o(g). Are 2 and y non-equal?
True
Let c be (2/(-5))/((-6)/9). Suppose -5*d - 2*j + 4*j = -8, 5*d - 14 = -4*j. Is d at most as big as c?
False
Suppose -3*x + 3 = 0, -x - 2*x + 8 = 5*c. Which is smaller: c or 2?
c
Let w = -971/7 - -139. Which is smaller: w or 3?
w
Let k = -7 + -13. Does -21 = k?
False
Let y be (-1)/((-1)/2) - 52. Let o = y - -152/3. Which is smaller: o or -1?
-1
Let j(z) = -z**3 - 6*z**2 - z - 2. Let g be j(-6). Let c be (-2)/(-4) + (-2)/g. Let m be (-33)/22*1/2. Are c and m equal?
False
Let t = -113 - -1807/16. Which is smaller: t or 0?
t
Suppose 0 = -3*t + 5*d + 10 - 1, 0 = -2*t + 3*d + 5. Let j = -27 + 29. Suppose 3 = -3*x - 2*g, -4*x + 6*g - j*g - 24 = 0. Which is bigger: t or x?
t
Suppose p = 5*c - 21, -c + 2*p = -3*p + 15. Let l be c*(252/(-125) - -2). Which is greater: 0 or l?
0
Let w = 23 + -19. Which is smaller: w or 7?
w
Let z = -1 - 1. Let m = -13 - -12.8. Is z < m?
True
Let k(l) = l - 6. Let t be k(5). Let b be t/(-3 + (0 - -4)). Let n = b + 1. Is 2/15 <= n?
False
Let c(q) = -q**3 + 4*q**2 - q - 1. Let k be c(2). Suppose 3*v + 10 = k*u, -u = -3*v - 2*u + 20. Which is greater: 4 or v?
v
Let f be (-2)/9 + (-736)/(-72). Is f <= 8?
False
Let q = -21 - -33. Let p be (-4)/q*(-6)/2. Which is smaller: p or 2?
p
Let k be 2/9 + (-2168)/(-126) + -4. Is k at least as big as 12?
True
Suppose 0 = z + 2 - 12. Let h = z - 5. Which is smaller: 6 or h?
h
Let y(x) = x - 14 - 2*x + 21. Let j be y(5). Which is bigger: j or 2/3?
j
Let r(k) = k**3 - 3*k**2 - 4*k - 23. Let p be r(6). Which is greater: p or 59?
p
Let a = 6 + -3. Let c(t) = -t**3 + 2*t**2 + 4*t - 4. Let k be c(a). Let n(g) = 4*g - 1. Let j be n(k). Which is greater: -4 or j?
-4
Let j = -0.16 + 4.16. Let s = 0 + 2. Is s less than j?
True
Let b = -1936/7 - -276. Is b > -2?
True
Let z = 12.67 + -1.67. Let y = 2.1 + -2. Is y at least z?
False
Let m = 320396/9 - 35524. Let l = m - 76. Suppose -2*v - 5 = -7*v. Which is bigger: v or l?
v
Let b be ((-1)/5)/((-1)/(-3)). Is b < -2?
False
Suppose 0 = 5*a - 2 + 37. Does -8 = a?
False
Let d = 55 - 68. Which is bigger: 1 or d?
1
Let k = -68 - -69. Are k and -11 equal?
False
Let l = 3.816 + 0.084. Let o = -3.94 - 0.06. Let m = o + l. Which is smaller: m or 0.1?
m
Suppose -5*k + 3*q - 33 = 0, 2*k - q + 14 = q. Is -9/2 >= k?
True
Suppose -4*a = 1 - 9. Suppose 0 = -4*r - 3*z + 2, 6*z - a = -5*r + 2*z. Is -1 at least as big as r?
False
Let d = 4096/340461 + -2/5973. Which is smaller: 1 or d?
d
Let j(y) = y**2 - 5*y - 7. Let t be j(6). Let b(z) = z**2 - 2*z - 3. Let c be b(3). Let x be (c - -1)*2/(-1). Which is greater: x or t?
t
Let k = -4597/62909 + -5/8778. Let c = -4/43 + k. Are c and -1 unequal?
True
Let k be -1 - -1 - 2618/(-88). Is k at least 29?
True
Let i = -22 + 22. Which is smaller: i or 1/36?
i
Let q = -18 - -10. Let p be 46/10 + 10/25. Let m = q + p. Which is greater: -2 or m?
-2
Let n be 1 - (27/5 + -1). Let f = -29/10 - n. Let j = 67 + -66.8. Do f and j have the same value?
False
Let v(a) = -2*a**2 + 16*a - 17. Let d be v(6). Which is smaller: 9 or d?
d
Let l = -2 - -12. Suppose 3*g = 4*n - 25, -3*g + 10 + 5 = 0. Let q be 12/l*n/(-3). Is -2 less than or equal to q?
False
Let i be 1/((1*-2)/(-22)). Suppose -4 = -w, q - i = -w - 4. Suppose -q*d - 2 = 1. Do -0.2 and d have the same value?
False
Let v = 1 - 0. Let g = -0.4 - -0.2. Let q = 0.1 + g. Which is smaller: v or q?
q
Let n be 2/4*3*-4. Is n at most -7?
False
Let t(d) = -d**2 + 6*d + 9. Let p be t(7). Suppose 5*v + 1 = -2*m, 11 = p*v - m - 2*m. Is v equal to 7?
False
Suppose 5*m - 100 = -0*m. Which is smaller: 19 or m?
19
Let w = -0.5 + 0.6. Is 29 at most w?
False
Let x be 3 + -8 + 0 + 4. Which is greater: -11 or x?
x
Let x = 0.11 - 5.11. Let j = x + 5. Which is smaller: -0.03 or j?
-0.03
Suppose 0 = -2*g - 3*g. Let y be 0 - (3/(-9) + 1). Which is bigger: y or g?
g
Suppose 0 = -3*d - 0 + 9. Suppose -3*v - 1 = -2*z + 16, -2*v = -d*z + 13. Is z at most 0?
False