equal?
False
Let t be (-4 - 1870/(-50)) + 5. Which is bigger: t or 39?
39
Suppose -4*w = -4 - 0. Let v be 3 + -2 + (w - 2). Let t = -132 + 1451/11. Which is smaller: t or v?
t
Suppose -4 = -2*d + 2*g, -2*d - 3*d = -3*g - 8. Suppose -4*q - d = 3. Let y = 8.08 - 0.08. Is q less than or equal to y?
True
Let o(i) = -i**3 + 3*i**2 - 4*i - 1. Let c be o(3). Let q = c - -18. Which is greater: 16/3 or q?
16/3
Let u = 202 - 202.1. Which is greater: -104 or u?
u
Let j(h) = 10*h - 12. Let s(c) = -220*c + 265. Let n(y) = 45*j(y) + 2*s(y). Let v be n(2). Which is smaller: 9 or v?
9
Suppose -3*g = -9, 4*g - 11 = b + g. Let p(r) = -4*r**2 + r - 2. Let c be p(b). Let o = c + 12. Do o and -8 have different values?
False
Let j = -8.8 + -9.4. Let k = 18 + j. Which is smaller: 3 or k?
k
Let t = 137 - 137.93. Let l = -1.01 - t. Which is greater: -3 or l?
l
Let a = 2451/7 + -350. Is a less than 12/13?
True
Suppose -5*y + u + 3*u = -39, -63 = -5*y - 2*u. Let q be (-108)/231 - (-2)/y. Let f = -0.3838 - -0.3838. Which is smaller: f or q?
q
Let k = -1.1 - 0.4. Let g = k - -0.5. Let s = 840 + -840.09. Which is smaller: s or g?
g
Suppose y - 5 + 4 = 0, 3*y - 23 = -4*z. Let o be (-26)/16 - (105/(-20) + z). Is o at least -1?
False
Suppose f + f = 14. Let z(r) be the second derivative of -r**5/20 - 5*r**4/12 - r**3 + 3*r. Let h be z(-4). Which is bigger: h or f?
h
Let q = 864 - 863.6. Is -20 >= q?
False
Suppose k + 15*k = -96. Let u(h) = -3*h**3 + 2*h - 1. Let d be u(1). Let c be (4/(-6))/(d/(-18)). Is c bigger than k?
False
Suppose -3*h + 23 + 6 = 4*c, -4*c + 11 = -3*h. Which is bigger: 11 or h?
11
Let o = 0.03 - -13.97. Let u = 24 + -4. Let d = o - u. Does d = -2?
False
Let d(b) = -b - 1. Let y be d(-5). Suppose 0*c = y*c - 40. Let m be 13/(-6) - c/(-15). Is -3 less than m?
True
Suppose -d = -2*k - 7, 0 = 5*d + 3*k - 1 + 5. Let b(t) = t**3 - 12*t**2 + 12*t - 10. Let m be b(11). Let y = m - d. Is y at most as big as 1?
True
Let f(x) be the first derivative of x**2/2 + 15*x + 1. Let p be ((-351)/195)/(17/(-10) - -2). Let g be f(p). Is g greater than or equal to 9?
True
Let u = 29.12 + -0.12. Let z = u + -27. Is -8/9 < z?
True
Let b(h) = h**2 - 4*h - 2. Let z be b(6). Suppose 5*d - 4*l = z, 17 = 2*d - l + 2*l. Suppose d = 4*y - 6. Which is greater: 4 or y?
4
Let j(l) = 4*l**2 + 20*l - 87. Let f be j(4). Is 57 greater than or equal to f?
True
Let v = -158.42 + -5.58. Which is smaller: 0.2 or v?
v
Let v(x) = x**2 + 10*x - 15. Let t be v(5). Suppose -t - 10 = -5*a. Suppose 0 = 7*q - a - 7. Which is smaller: q or 0?
0
Let n = -31.569 - 0.431. Is -1 less than n?
False
Suppose -2*k + 6*k - 16 = 0, -g - 10 = -3*k. Let u be (1 - g)/(-7 - (5 + -13)). Do u and -2/15 have the same value?
False
Suppose -10 = -5*z, -4*f + 55*z + 10 = 58*z. Which is greater: -2/169 or f?
f
Let w(v) = -87*v + 436. Let n be w(5). Which is smaller: n or -9/557?
-9/557
Let m be 6/(-14) - (-7 - (-5304)/21). Are m and -246 equal?
True
Let n(a) = a**3 - a**2 + 13*a + 3. Let g be 216/40 - (-3)/5. Let q be n(g). Let v be 0 + -3*(-6)/q. Is v at most 0?
False
Let k(l) = l**2 + 7*l + 3. Let v be k(-7). Suppose 5*n = -5*j + 5, -v*j + 1 = n + 10. Let g be ((-2)/(-4))/(n/(-4)). Which is greater: 0 or g?
0
Suppose -3*a = 2*f - 24, -20 = -4*f - 0*a + a. Suppose 20*c = 2*c + 180. Let s = c - f. Do s and 6 have different values?
True
Suppose 8*w = 4*w. Suppose w*b - 5*b + 25 = 0. Let y be 1/5 - 91/b. Is y at most -17?
True
Let n(z) = 2*z**3 - 25*z**2 - 18*z + 94. Let g be n(13). Which is smaller: g or 9?
9
Let j be 2 - (0 - 5 - 4). Let i be j/(-5) + (-2)/(-10). Does i = 0?
False
Let m = -5633/30480 - -24/127. Is m less than or equal to -1?
False
Let g be 5 - (7 - 4) - 14. Let b(i) = i**3 + 11*i**2 - 11*i - 6. Let j be b(g). Is j at least as big as -19?
True
Let x = -80.5713 - 0.1287. Let y = x + 78. Which is greater: -0.1 or y?
-0.1
Let g be (-40)/(-50)*(-10)/(-36). Let y be -1*2*(-4)/8. Suppose y = 3*x - 4*x. Is g at most x?
False
Let r(q) = q**3 + 6*q**2 + 4*q. Let x be r(-5). Suppose -75 + 19 = 2*c - 2*d, -x*c - 146 = -2*d. Let u be 2 + -2 + (-18)/c. Is u equal to 2?
False
Suppose 0 = -24*n + 22*n + 8. Suppose n*c - 10 = 2*r, -5*r - 2 = -4*c + 11. Suppose 4*x = c*x - 8. Is x smaller than -5?
False
Let j = 0.35 - 0.68. Let y = 0.23 + j. Which is bigger: y or 0?
0
Let l be (102/(-170))/(6/(-5630)). Is l at most 562?
False
Suppose -263 = 17*w - 280. Which is bigger: w or -1/565?
w
Suppose -70 = -4*u - 3*b, -13 = -5*u - 2*b + 71. Suppose -14*n + u*n = 54. Is 26 < n?
True
Suppose 2*r - 74 = 4*g, 6*g - 3*g + 96 = 3*r. Let b be 195/r + (-2)/9. Let c(i) = i - 3. Let v be c(b). Is v greater than or equal to 4?
True
Let x = 331.92 + 10.08. Is x bigger than -3?
True
Let s = -16 - -10. Let b be s/(-4) + 231/(-156). Suppose 24 = -3*d + 27. Which is smaller: d or b?
b
Suppose -3*l + 9 = k, 3*k + 2*l + 7 - 34 = 0. Suppose 0 = -2*c + m + 15, -4*m = 7*c - 10*c + 10. Is k greater than or equal to c?
False
Let q = 2789 + -3617. Is 1 bigger than q?
True
Let v = -27.845 + -0.055. Let n = v + 29. Let h = 7 - 6.9. Which is smaller: h or n?
h
Let l = 3 - -22. Let z = -35 + l. Is -8 less than or equal to z?
False
Let r(b) = -2*b - 8. Let y be r(-5). Suppose -4*w + 13 = -p, w - p = y*p + 6. Suppose -2*x - x = w. Which is smaller: x or 2/9?
x
Let t = 3.983 + -4.1. Let r = t + 2.117. Which is bigger: 1/3 or r?
r
Suppose j - 164 = -3*h, -2*h + 164 = 3*j - 2*j. Let o = 977/6 - j. Are -2 and o equal?
False
Let q = 4.9 + 1.1. Let f be (1/4)/((-3)/(-48)). Let n be 3*(-22)/18 + f. Is q bigger than n?
True
Suppose 0 = p - 1 - 2. Let n be (18/12)/(-1 - (-53)/56). Let g be ((-3 + 0)/(-3))/((-7)/n). Are p and g unequal?
True
Let q(j) = -j**2 - 3 + 9*j + 5 + 0 + 2. Let o be (-1 - 1)/4*-18. Let m be q(o). Which is smaller: m or 3?
3
Let d(u) = u**3 + u**2 + 5*u + 2. Let i be d(0). Is i at most -0.01?
False
Let h = -967 + 964. Which is smaller: h or -66?
-66
Let k be 2/(-6)*(-8)/(16/(-78)). Let r(f) = f + 0*f - 2*f + 2. Let v be r(k). Which is greater: 14 or v?
v
Suppose 0 = -3*m + 8 + 19. Suppose m*t - 4*t + 13 = -p, 5*p - 4*t = 22. Let v be 28/(-20) + 2/p. Which is greater: -1 or v?
v
Let i be ((-20)/(-380))/(1*(-1)/33). Do i and -3 have the same value?
False
Let w = -327/7 - -47. Let q = 35 - 39. Which is greater: w or q?
w
Let t be ((-1)/2)/((-2)/(-12)). Let p = -4 + 4. Suppose v + v - 2*i = p, 3*i + 8 = v. Are t and v unequal?
True
Suppose 3*o + m = 149, -5*m - 23 = 3*o - 4*o. Are o and 0.7 non-equal?
True
Let c = 303 - 302. Which is smaller: c or -3/169?
-3/169
Suppose 179 = -p - 2*z, 7*z = 3*z + 4. Which is smaller: -904/5 or p?
p
Suppose 0 = -4*d + 3*d + 10. Suppose -5*f + 3*o - 39 = 0, 0 = f + o + 17 - 6. Let b = f + d. Which is greater: 5/3 or b?
5/3
Suppose -15*m = -12*m + 24. Let v be (m/4)/(-12)*(-27)/111. Which is bigger: v or 1?
1
Let a be (108/(-20))/((-572)/80 - -7). Which is smaller: 42 or a?
a
Let t(c) = 29*c**2 + 4*c - 4. Let a be t(1). Suppose 5*f - 2*f = k + 29, -k - a = -2*f. Is -31 >= k?
False
Let u be -7 + 9 + -4 + -30. Which is smaller: -187/6 or u?
u
Suppose 5*m = 7 + 3. Let d(o) = 1. Let q(i) = -i + 7. Let h(z) = -21*d(z) + 3*q(z). Let g be h(m). Is g less than -2/5?
True
Suppose 2*y + 20*m = 19*m - 10, 0 = -4*y - 5*m - 38. Let u be (0 + 2/2)*-1. Which is smaller: u or y?
y
Let w = 111 - 102. Which is bigger: -4 or w?
w
Suppose 2*d + 52 = -4*z, 2 - 8 = 2*z - 4*d. Let w(i) = -i**2 - 13*i - 20. Let c be w(z). Are c and 2/5 unequal?
True
Let p(u) = -u**2 + 20*u + 21. Let o be p(21). Which is smaller: o or -1?
-1
Let a = -0.261 + 0.661. Which is bigger: a or 49?
49
Let c be 0 + ((-5)/(-10))/(3/36). Is c smaller than 35/6?
False
Let q = 21.997 - -0.003. Do 2/3 and q have the same value?
False
Let q(t) = -10*t + 55. Let v be q(5). Suppose v*c - 648 = -c. Is 109 smaller than c?
False
Let t(m) = m + 16. Let n be t(-11). Suppose -3*x + 20 = x. Is x greater than n?
False
Let k = 142 + -136.1. Let a = k + -6. Which is smaller: 0.3 or a?
a
Let g = 6.3 + -51.3. Let u = 46 + g. Which is smaller: -2/7 or u?
-2/7
Let n = 35 - 16. Let q = 19.1 - n. Is 1/2 <= q?
False
Suppose 575 = 5*m + 4*t, -185*m - 134 = -186*m + 3*t. Is 119 < m?
False
Let r = 30443 - 30305.83. Let f = -138 + r. Let s = 0.17 - f. Is s less than or equal to -0.04?
False
Let x =