w - 3 + 2 = 0. Which is greater: 3 or w?
3
Let x = -2777/3 + 914. Which is smaller: x or -12?
-12
Let c = 6 - 3. Let d be (1/c)/(3/36). Suppose 2*v + d = 6*v. Which is greater: v or -2/5?
v
Suppose 3*b - 24 + 9 = 0. Let j be (3 - b)/(3/3). Let m = 2/57 + -175/114. Is j at most as big as m?
True
Let d = 42 + -59. Let y = -14 - d. Which is smaller: -1 or y?
-1
Let j(s) = 3*s**3 + s**2 - s + 1. Let n be j(1). Suppose 7*w + 9 = n*w. Is -1 less than w?
False
Let s = 177 - 888/5. Let f be (-16)/(-6) + 2/6. Let t = 3 - f. Which is bigger: t or s?
t
Let s = -7 + 9. Suppose 0*q = -q - f - 2, -5*q = -s*f - 4. Are q and 0 nonequal?
False
Let b(x) = -x - 6. Let o be b(-3). Which is greater: o or -18/11?
-18/11
Let a = 32 - 32. Which is greater: a or -5/12?
a
Suppose 7*z + 6 = 9*z. Suppose -2*b = -z*b + 3. Which is smaller: 1 or b?
1
Suppose -i + 4*i = 135. Let c be ((-12)/i)/((-4)/(-6)). Let k(o) = o - 6. Let h be k(5). Is c < h?
False
Suppose -2*s - 32 = -2*k, -3*k + s = -46 + 6. Let y be -1*3*4/k. Which is greater: y or 2/5?
2/5
Let r = 47 + -14. Which is smaller: 34 or r?
r
Suppose d = -g - 3, 2*d + 8 = -g - 0*g. Let o(m) be the second derivative of -m**3/6 - 7*m**2/2 + m. Let u be o(d). Is u bigger than -3?
True
Let f = -16769/27 + 621. Suppose 5*n - 5 = u, -5*n + 2 + 3 = 5*u. Is u smaller than f?
False
Let i(f) = -2*f**2 + 1. Let t be i(1). Let h = 1 + t. Is h greater than or equal to -1?
True
Let j = -39 + 155/4. Let o be (-1)/(-4) + 2/(-8). Which is smaller: o or j?
j
Let h = 51/5 + -5768/565. Which is greater: 2/5 or h?
2/5
Suppose -5*q + 6 = 1. Let x(t) = -t**3 - 7*t**2 + 2. Let a be x(-7). Which is greater: q or a?
a
Let y = 1 + 2. Are y and 2 equal?
False
Let f = 1/12 + 1/6. Suppose 4*s + s - 16 = 2*q, -s + 17 = -5*q. Suppose -8 = -2*y, -s*j + 3*y = 4*y - 6. Which is smaller: f or j?
f
Let a = -0.02 + -0.98. Is a < 2/5?
True
Let f = -1/3 - 7/6. Let v = -19/10 - f. Let y = -1.5 + 1. Which is smaller: y or v?
y
Suppose -5*n = 4*c - 1129, 3*c - 5*n - 873 = -0*c. Let o be ((-60)/(-14))/(c/4). Let u = o - 2/231. Is 0 < u?
True
Let p = -30 - -20. Let d be ((-6)/p)/((-4)/(-20)). Are 0.2 and d unequal?
True
Let v be -1 - (3 + 4*-1). Which is smaller: -2/7 or v?
-2/7
Let s be (7 + -5)*3/2. Suppose -2*m + 1 = -s. Which is greater: 1 or m?
m
Let a = 1.3 + -5.3. Which is greater: a or -3?
-3
Let l be ((-5)/(-2))/(5/10). Suppose h - l - 20 = 0. Suppose 2*p = 6*v - v + h, 3*p - 4*v = 20. Is 1/4 bigger than p?
True
Let m be 4 - (0 + -1 + -2). Suppose m*y = 4*y. Suppose 0 = -y*f - 2*f. Which is bigger: f or 1?
1
Let m(j) = -52*j**3 + 4*j**2 - 3*j. Let i be m(1). Which is smaller: -49 or i?
i
Let s = -2 - -2.5. Suppose 14*p + 1 = 13*p. Is p < s?
True
Let j = 6 - 5. Let n = 0 - -4. Let z be n/(-35) - 6/21. Is z less than j?
True
Let z(t) = t + 37. Let k be z(-16). Is k greater than 18?
True
Suppose 4*q - 5*q = -l - 6, -l = 5. Suppose -2*j - q = -5. Which is greater: j or 3/4?
j
Let a be 2/18*(-16 + 14). Which is bigger: -1 or a?
a
Let q be (3/(-9))/(4/12). Let x = 343 - 3433/10. Is x bigger than q?
True
Let y = 36 - 37. Is 4 at least as big as y?
True
Let r(w) = w**2 - 21*w + 43. Let o be r(16). Let h = 2502 - 15233/6. Let t = o - h. Do -1 and t have different values?
True
Let k = -3266/15 - -218. Which is smaller: k or -1?
-1
Let l(s) = -s**3 + 5*s**2 - s + 2. Let k be l(4). Let a be k/49 + (-66)/(-14). Suppose 5 + 0 = -a*i. Which is bigger: i or 2/23?
2/23
Let l be 2*((-1)/(-2) - 1). Let g(n) = n**2 - 12*n - 9. Let z be g(12). Let k = -10 - z. Is l less than or equal to k?
True
Let s = 21 - 23. Which is bigger: 14 or s?
14
Suppose 33 = 2*g - l, -4*g + 0*l - 4*l = -48. Which is smaller: 16 or g?
g
Suppose -5*g - 4*i + 1 = -1, -5*i - 2 = 4*g. Suppose 3 = -g*p - m + 12, 5*m + 7 = 3*p. Let t(r) = r**3 - 4*r**2 - r + 5. Let x be t(p). Is x less than 1?
False
Let s = 0.1 - 1.1. Let t = s + 3. Let k = 0.5 + -0.4. Is k less than or equal to t?
True
Let t = -12 - -28. Let u = 23 - t. Is u bigger than -2?
True
Let d(s) = s**2 - 9*s - 20. Let t be d(11). Which is smaller: t or 4/7?
4/7
Let o = -294/1375 - -4/125. Let d = 28 + -27. Do o and d have the same value?
False
Let h = -8.4 + 5.4. Is h equal to 17?
False
Suppose -5*m = -4*x + 5 + 19, 0 = -x - 3*m - 11. Is x bigger than -1/5?
True
Suppose 2*t + q = 6*t, q = -3*t - 7. Let c be (-3)/2*(-16)/(-132). Is c bigger than t?
True
Let a = -5.3 - -6. Let b = -0.3 - a. Suppose -6*k + 2*k = 0. Which is smaller: k or b?
b
Let d = 0 + -1. Let w = 4.5 + -4. Let p = 0.7 - w. Do d and p have the same value?
False
Let m = -0.19 + -13.81. Let r = -14 - m. Are r and 0.03 equal?
False
Let j = -0.19 - 0.81. Which is smaller: -0.1 or j?
j
Let c = 28 - 16. Let r = c + -13. Do 2/25 and r have different values?
True
Let m(i) = 9*i + 4. Let s be m(5). Let b be s/(-7) - (-1 - -3). Which is greater: -8 or b?
-8
Suppose -5*h = 2*a + 57, 4*a - 26 = 4*h + 42. Let t = -38 - -24. Which is smaller: h or t?
t
Let f be (-1 - 0)*(-17 - 3). Which is smaller: 21 or f?
f
Let y = -95/3 - -31. Let i = 11 - 3. Let d = i - 8.1. Which is bigger: y or d?
d
Let f = 55 - 55.087. Which is greater: 0 or f?
0
Let l = -1.5 - -0.5. Let y = 14 + -14.5. Are y and l nonequal?
True
Suppose 5*z = -0*z - 15. Let c(h) = h - 1. Let x be c(z). Let y be x/18 + 4/18. Is y < 0?
False
Let r = -0.8 + 1. Let s = 17 - -3. Let o = -19.8 + s. Is r >= o?
True
Let n(f) = f**3 + 5*f**2 + 4. Let a be n(-5). Let u(b) = b**3 - 4*b**2 + b - 2. Let v be u(a). Which is bigger: v or 0?
v
Let r(l) = -3 - 4*l - 3*l**2 + 2*l**2 + 0*l**2 - l. Suppose 0 = m - 5*m - 16. Let q be r(m). Which is bigger: 2/3 or q?
q
Let b be (3/(-51))/((-1)/2). Which is smaller: b or 0?
0
Let i = -2 + 3. Let j be (1/2)/(i/(-2)). Let s = 115 + -1033/9. Which is smaller: s or j?
j
Let j(w) = -w**2 + 3*w + 3. Let k be j(4). Is k < 1/11?
True
Suppose -3*y + y + 8 = -g, 3*y = 5*g + 19. Let o = 0 + y. Suppose -3 = -k - o*i + 5, i + 1 = -4*k. Is -2 < k?
True
Let x = 12.2 - 12.1. Which is smaller: x or -51?
-51
Let n be 2 + 44/(-24) + 2/(-12). Which is smaller: n or -7/19?
-7/19
Suppose 0 = -10*b + 11*b + 15. Let f = b - -13. Is f equal to 0?
False
Let l = -191 + 77. Let h = -679/6 - l. Which is smaller: h or 0?
0
Let g = 72 - 45. Let o be (-2 - 1)*(-268)/(-30). Let w = g + o. Which is bigger: 0 or w?
w
Suppose -10 = -2*x - 12. Which is smaller: -3/29 or x?
x
Let n = 0.8 + -0.5. Let f(c) = 2*c**3 - 2*c**2 - 3*c - 3. Let b be f(3). Let i be (-6)/(-28)*b/(-18). Is n > i?
True
Let i = -6 + 11. Suppose 6*z - z = 2*p - 16, i*p + 4*z - 7 = 0. Suppose -2*w + 3 = p*m, -6*m + w = -m + 8. Which is greater: m or 2/11?
2/11
Let p = 11 + -4. Let z = -5 + p. Let o be ((-8)/(-60))/((-2)/6). Do z and o have different values?
True
Suppose -4*z + 919 = 5*o, 917 = -0*o + 5*o + 2*z. Which is bigger: o or 182?
o
Let b = 1111/63 - 132/7. Let c = b + 5/9. Let r be 2*((-2)/(-4) - 1). Which is bigger: c or r?
c
Let z be (-1)/(-4) + (-15)/(-4). Suppose 5*m = -2*c + z*c - 20, -c = -5*m - 15. Suppose -c*i - 12 = -i. Is -1 bigger than i?
True
Suppose -2 = 2*t - 24. Suppose -3*b + 8 = t. Which is bigger: -13 or b?
b
Suppose 4 = n + 2, n - 4 = 2*m. Let o = m - 0. Let p = -1 + -1. Which is smaller: o or p?
p
Let f(s) = s**3 - 4*s**2 + s. Let t be f(4). Suppose t = -3*w + 1. Let x = -36/7 - -159/35. Do x and w have different values?
True
Let f be ((-3)/2)/((-1)/2). Suppose 71*m = 65*m + 24. Is m != f?
True
Let m(w) = w - 5. Suppose -4*x + 4*r - 11 = -3*x, 0 = 3*x - 2*r - 7. Let f be m(x). Which is bigger: -2/11 or f?
f
Let q be 5/(-30) + (-17)/6. Let k(x) = -x**3 + 3*x**2 - x - 2. Let o be k(3). Is o equal to q?
False
Let z(k) = k + 11. Let c be z(-8). Suppose c*p - p + 16 = -2*h, 0 = 5*h - 2*p + 47. Let x = h - -9. Is -1 equal to x?
False
Let j be 37/5 + 2/(-5). Let w = -6 + j. Do 1 and w have different values?
False
Suppose -2*d - 17 = -5*b, 2*d + 2*b + 11 = b. Let r(p) be the first derivative of p**3/3 + 3*p**2 - p - 1. Let y be r(d). Which is smaller: y or 0?
y
Let o(a) = a**3 + 7*a**2 - 3*a - 10. Let g(u) = -2*u + 3. Let w be g(5). Let l be o(w). Let z = -15 + l. Does -4 = z?
True
Suppose 0 = -3*b + 2*w + w - 300, 0 = -5*b - 2*w - 500. Which is smaller: -101 or b?
-101
Let h = 2 - 0. Let n be 3 + (-9)/((-72)/(-14)). Is n > h?
False
Let b be 1*(3 - (0 -