 b at least -175?
True
Suppose 2*p - r = 4*r - 17, 5*p + 4*r - 7 = 0. Let o be (25/10)/(p/(-48)). Let j be -5 + 1 - o/(-33). Do j and 0 have the same value?
False
Let q = 3 + -3.03. Let n = 1.97 - q. Let c = n + 5. Which is smaller: c or 1/4?
1/4
Let a(w) be the first derivative of -5*w**3/3 + 15*w**2/2 - w - 7. Let p be a(3). Which is bigger: 2/5 or p?
2/5
Suppose -3*d - 5*h - 34 = 0, -2*d - h + 0*h = 11. Suppose 1 + 53 = 9*n. Let j = d + n. Which is bigger: 4 or j?
4
Let c be (-2)/(-5) - (-33)/5. Let w be 1*(c + -1*2). Suppose -8*y + 446 - 406 = 0. Is w equal to y?
True
Let w(x) = 2*x**3 - 4*x**2 + 3*x - 1. Let q be w(2). Suppose -63 = -q*d - r, -5*d + 3*r + 17 + 34 = 0. Let h be (-4)/d + 17/33. Which is smaller: -0.1 or h?
-0.1
Let h(i) = i**3 - 45*i**2 + 86*i. Let t be h(43). Is 2.06 <= t?
False
Suppose 0 = -0*c + 4*c. Let y be (-52)/84 - (-6)/4*132/594. Which is bigger: c or y?
c
Suppose 12*c = -504 + 720. Which is bigger: 15 or c?
c
Let b = 17 - 18.9. Let g = 80.9 + -78. Let d = g + b. Which is bigger: d or -2/7?
d
Let g = -0.103 + 21.103. Let o = g - 20.9. Suppose -2*i = i - 6. Is i greater than o?
True
Let m = -28043/3 + 9156. Let r(l) = l**3 - 3*l**2 - 2*l. Let x be r(-5). Let u = m - x. Which is smaller: u or -1?
u
Let m be 17/34*-46*1. Let r = 24 + m. Which is smaller: r or -2/5?
-2/5
Let i = -2579 - -18017/7. Which is smaller: i or -5?
i
Let i = 52 + -49. Let p be i/(-9)*4/8*-6. Is p bigger than 0?
True
Let k = -40/27 - -12361/8289. Which is greater: -1 or k?
k
Let v(d) = -35*d - 316. Let m be v(-9). Is m <= 3/26?
True
Let g = 366.9 + -367. Is g greater than or equal to 3/25?
False
Let g be -2 + 47/(-7) - 2/7. Let d be (-24)/g*6/7. Is d at least -2/7?
True
Suppose 4*n + 37 = -3*b + 2*b, 0 = 5*b - 15. Let w = n - -9. Let o be 0 + w - 57/(-9). Which is smaller: o or 6?
o
Suppose -3*y + 2 = 2*d + y, 0 = -4*d - 4*y + 12. Let w be (-6)/20*(d + (-130)/24). Let t(c) = c**2 + 4*c + 3. Let o be t(-3). Is w <= o?
False
Let a be 12*216/(-315) + 7. Which is bigger: 0 or a?
0
Let o be 8/(-18)*(3 - (-25434)/(-8484)). Which is greater: 1 or o?
1
Let z = 14 - 23. Suppose -y + 1327 = 5*p, 5*y - y - 273 = -p. Let b = p + -272. Is b >= z?
True
Let o = -166/3 + 56. Let v(a) = a + 15. Suppose -118 = 6*h - 34. Let t be v(h). Which is greater: t or o?
t
Let c(w) = w - 3. Let u be c(-3). Suppose -77*x + 20 = -87*x. Which is bigger: x or u?
x
Let o be (-138800)/(-23130) + -2 - 4. Is o smaller than 1?
True
Suppose -4*z - 3 - 9 = -5*b, -6 = -3*b + 2*z. Which is bigger: b or -10/13?
b
Let m = 15.13 - 0.13. Let o = m + -14.4. Let l = -0.7 + o. Do l and -4 have the same value?
False
Let v = 0.03862 + 0.06138. Let y = 27 - 3. Is v less than or equal to y?
True
Let l be (-2 + 2 + 2)*-1. Let s = 198 + -201. Let d be s/6 + (-5)/l. Is 1 less than d?
True
Let n(a) = 122*a - 483. Let d be n(6). Is 251 at least d?
True
Let a be 1/(1/(-4)*-2). Suppose a + 1 = n, 3*x - 39 = -2*n. Let q be (-576)/(-56) + (-2)/7. Which is greater: x or q?
x
Suppose 4 = -4*z, 3*c = 4*c - 2*z + 60. Let l be -3*4/((-24)/c). Are -30 and l equal?
False
Let k(v) = 6*v + 66. Suppose 0 = 2*f - 17 + 39. Let m be k(f). Let a = -477 - -5237/11. Is a less than or equal to m?
True
Suppose 0 = -4*t + t, x = 2*t - 87. Which is greater: x or -259/3?
-259/3
Suppose -168 = -74*b + 60*b. Is 13 smaller than b?
False
Suppose 0 = -10*m - 12 - 18. Let f(x) = -x**3 - 2*x**2 + x - 1. Let j be f(-3). Suppose o + 2 = -z, j*o + 9 = z - 5*z. Is m bigger than o?
False
Suppose 3*q + 2*u + 62 - 444 = 0, 5*q - 3*u = 624. Let y be (-21)/14 - ((-141)/q + 0). Is y <= 0?
True
Suppose -90 = -4*h - h. Suppose 0 = 3*v - v - 12. Suppose -3*m + v = h. Which is smaller: -5 or m?
-5
Let w be (5/(-100))/((-1)/4). Let k(a) = a**2 + 5*a - 25. Let i be k(-8). Is i bigger than w?
False
Let o be (2970/(-21))/((-4)/(-28)). Let m be ((-2)/(-2 + 4))/((-22)/o). Which is smaller: m or -43?
m
Let x = 1218 + -1218. Which is smaller: x or 9/62?
x
Let h be 1/(-3)*0*(-1)/(-2). Let k be ((h/(-1))/(-3))/(4 - 2). Is k greater than -1/27?
True
Let i = 91/132 - 5/12. Let r = -5 - -9. Let w be (4/(-6))/(r/(-6)). Which is smaller: i or w?
i
Suppose 15*w = 16*w - 69. Let k = w + -896/13. Let m = -1 + 2. Which is greater: m or k?
m
Let u = -377 + 375.7. Is -0.15 < u?
False
Let y = -974 + 955. Which is greater: 4 or y?
4
Let r = 35/51 - -1069/969. Which is greater: r or 3?
3
Let h(n) = -n + 2. Let g be h(3). Let x = -2865/14 - -204. Are x and g equal?
False
Let s = 188913/902 - -28/451. Which is smaller: s or 210?
s
Let u = -0.5 - 6.4. Let s = u - -6.8. Which is smaller: -23 or s?
-23
Suppose -5*n + 219 = -3*s, 4*n + s - 221 + 56 = 0. Let u = n - 43. Is u at most as big as -2/29?
True
Let y be 5952/(-72)*3/2. Is y less than -124?
False
Let y be (-8)/(-6)*(-3)/384. Let t = y - -59/1056. Suppose 51*x = 46*x - k + 5, 4*x = -4*k + 4. Which is smaller: x or t?
t
Suppose 6*i + 7 = 1. Let y = -15 - -16.6. Which is smaller: i or y?
i
Suppose -2*p + 8 - 4 = 2*v, 3*v = -2*p + 2. Suppose -p*f + 10 = -2*f. Suppose -2*u = -0*u - l - 1, 0 = -5*u + l - f. Which is bigger: u or -3?
u
Suppose 14 = -2*g + o, 3*o + 25 + 13 = -4*g. Let x be -66*(-14)/357*(-2)/g. Are 1 and x equal?
False
Let c(f) = f - 10. Let j be c(6). Let l be (-6)/51 + j/(-34). Let m be 4/46 - l/(-3). Which is smaller: -1 or m?
-1
Suppose 645*l - 3 = 648*l. Is -1/1650 bigger than l?
True
Let t = -20/7 - -155/42. Let z(r) = 2*r**3 + 4*r**2 - 11*r + 17. Let y be z(2). Suppose 0 = -5*q - 22 + y. Is q != t?
True
Let c = 153 + -128. Let n(y) = y + 4. Let t be n(-4). Is c < t?
False
Let p = 5464/93375 - -28/747. Which is smaller: p or -1?
-1
Let k(z) = 5*z + 2 + 8*z + z**2 - 2*z - 4*z. Let j be k(-7). Suppose 3*s + s = -2*t - 102, 0 = -j*t - 10. Are -23 and s non-equal?
False
Let q be (-41)/(3280/(-448)) - (-6)/(-10). Suppose -3 = -3*u - 18, 25 = 5*j - 5*u. Suppose j = w - 5*z, 3*z = -w - 0*w. Are q and w equal?
False
Let b(q) = q**3 + 10*q**2 + 28*q + 16. Let h be b(-8). Which is bigger: h or -81?
h
Let r(p) = 7*p**2 + 77*p + 3. Let z be r(-11). Is -3 > z?
False
Let x be ((-82)/30 - -3)*1. Suppose 0 = -4*t - z - 4, -2*t - 2*z - 13 + 5 = 0. Which is smaller: t or x?
t
Let p(g) = g**2 - 33*g + 111. Let u be p(7). Which is smaller: -72 or u?
-72
Suppose -7 = -v - 5*n, -v = 3*v + 4*n - 28. Let m be 8/(-18)*v/(1540/6). Is 1 at most m?
False
Suppose -17 = 10*y - 37. Which is greater: 4/5 or y?
y
Let u be (-3)/(2/(12/(-9))). Let f be -2 + 17/(-1) - u. Is f != -21?
False
Suppose -5*v + 11 + 4 = 0. Let f = 19 - 19.4. Let p = f + 0.1. Which is greater: p or v?
v
Suppose 2 = -2*c + 3*c. Suppose -38*x - 152 = -57*x. Is c at most as big as x?
True
Let f(r) = -r**3 + 3*r - 2. Let s be f(1). Does s = -5/92?
False
Let d = -0.1 + 0. Let t = 91 + -156. Let r = -64.95 - t. Is d at most as big as r?
True
Let c be (-3)/12 + (-34)/(-8). Suppose -3 = 3*g, 19 = 2*j + c*g + 159. Let q be 1/(-1) - 64/j. Which is greater: q or -1?
q
Let a = 122 + -128. Is 1 greater than a?
True
Let i = 0 + 0.4. Let l = 566.7 + -609. Let n = 42 + l. Which is smaller: i or n?
n
Suppose 4*i + 48 = 4. Let l(a) = a**2 + 12*a + 14. Let n be l(i). Suppose 0 = -3*t - n + 12. Do -0.1 and t have the same value?
False
Let r = -107 + 87. Let o = 20.3 + r. Are 3/14 and o non-equal?
True
Suppose 2*b - 26 = -5*r, -51*r + 46*r + b = -17. Suppose l + 2*a - 6 - 6 = 0, -3*l + 16 = a. Suppose u + l*u = -10. Which is smaller: u or r?
u
Let m = 9 + -2. Let c be 2/34 + (7 - m). Let p be 48/16 + 2/(0 + -1). Which is smaller: c or p?
c
Let k = 0.451 + 1.679. Let a = -0.13 + k. Let w be (0/(-2))/(1 + 0). Which is bigger: a or w?
a
Let n = -35.92 + 36. Let y = -15/2 - -43/6. Is n greater than y?
True
Suppose -2*u = -8, 1782 = -165*l + 168*l - 3*u. Which is smaller: l or 599?
l
Suppose -3*m - m = -68. Let y = m + -16. Suppose 2 = l + y. Which is greater: l or 5/4?
5/4
Let r be (1 + -2)/((-8)/24). Let n be -4 + 6/(-30) + (-4)/5. Is n bigger than r?
False
Let s = 5641/29988 - 28/153. Is s < 1?
True
Let z be (2 - 2)/(18/(15 - 24)). Do z and 8/457 have the same value?
False
Let j = 893/7 + -127. Let m(p) = p**2 + 9*p + 1. Suppose 2*k - 2 = -20. Let q be m(k). Is j less than or equal to q?
True
Let a = 7 - 4. Let k be (-8)/6 - a/(-9). Let l = -24 + 22. Which is greater: l or k?
k
Let