 + 82. Is -24 less than y?
False
Suppose -4*q + 6*q = -3*u + 25, -20 = -4*q. Let t(z) = -2*z**2 + 16 - 3*z + z**2 + 5*z. Let f be t(u). Is f < 2/11?
False
Let k = -4.2 + -43.8. Let g = 69 + k. Let v = -21.3 + g. Is v not equal to -10?
True
Let v be (-7921)/4488 + (-56)/(-84). Let k = v + -5/187. Is -2 >= k?
False
Let z = -0.05 - -10.05. Is -0.1 equal to z?
False
Let w = -2 + 4. Suppose 4*a - 20 = -a, 4*n - 3*a = -36. Let u be ((40/6)/(4/n))/(-1). Are u and w non-equal?
True
Suppose -2700 = -36*x + 18*x. Suppose -154 = 5*f + 2*l - 29, 5*f = 3*l - x. Is -26 at least as big as f?
True
Let r = 1.33 + -3.33. Let d = -1.25 + 1.47. Which is greater: r or d?
d
Let l = -270 - -205.4. Let u = l - -112.3. Let k = u + -48. Is 3 at least as big as k?
True
Suppose 2*n + 1 = 4*g + 7, 4*g = -3*n - 11. Is 2/8509 at most n?
False
Let z(y) = -y**3 - y**2 + 99*y + 89. Let h be z(-10). Let q be (1 + 44/(-46))*4. Which is greater: h or q?
q
Let b be -331*(-2)/5 + -3. Let f = b + -130. Let z be 48/(-96) - (-2)/4. Which is smaller: f or z?
f
Let w = 18 + -12. Let r = -0.0073 - -5.8073. Let c = w - r. Which is bigger: c or 4?
4
Let x = 33061 - 33063. Is 341 < x?
False
Let s(x) = 11*x**3 - x**2 - 91*x + 697. Let q be s(7). Which is bigger: q or 3783?
q
Let p = 1.1681 - -73.7999. Let q = p - -0.032. Let a = 77 - q. Is 0.3 greater than a?
False
Let y be (-66)/22*(-13 - 30). Does y = 131?
False
Suppose -4*f + 323 = x + 1176, 3*f = -4*x - 3503. Does x = -7924/9?
False
Let n = -3.63 + 2.81. Let r = n + 2.82. Which is greater: r or -74?
r
Let u = 2326835/37 + -62875. Does u = 11?
False
Let w be (20 - 2)/((-3)/(-4)). Let z = w + -24. Let g be 2/2*18/(-288). Is g > z?
False
Let n(t) = -6*t + 24. Let o(s) = -s + 1. Let c(i) = n(i) - 8*o(i). Let v be -13 + (2 - 0)*3 - 1. Let k be c(v). Is k less than 4/5?
True
Let s be (-19)/(-76) - (-94)/8. Suppose 0 = 2*b - 7*b - c - s, c = -3*b - 8. Let h be b + (-1 - -16)/5. Which is bigger: h or 3/11?
h
Let f be (-3)/(-20) - (-1)/4. Let i be (-3)/8 - (-156)/(-96). Let q be 20/(-90)*i*6/64. Which is smaller: q or f?
q
Suppose 0 = -2*o + 12*o - 170. Suppose 6*f - f + o*f = 0. Which is bigger: 2/1163 or f?
2/1163
Let a be (-10)/(-20) - 6/(-4). Suppose 0 = -a*x + 3*g + 11, -2*g = 2*x - 7*g - 17. Suppose 0 = 2*w + x - 1. Is 5 < w?
False
Let k(w) = -68*w - 675. Let x be k(-10). Suppose 1002 = 2*p + 144. Let i be (p/(-91))/(-1 - 0). Is i != x?
True
Let q be 5 - (20 - (1 - 4)). Suppose 5 = -m + 1. Let u be m*5/(-90) - (-16)/q. Which is smaller: 4/9 or u?
u
Let f(x) = x**3 + 4*x**2 - 4*x - 10. Let s be f(-5). Let t be ((-5)/s*1*-2)/2. Which is smaller: -20 or t?
-20
Let j = 0.4132 + -6.4272. Let p = 6 + j. Let d = p - 0.986. Is 2/27 >= d?
True
Let z = -784 - -464910/593. Let t be -7 - -10 - 8 - 4/(-1). Which is smaller: z or t?
t
Let v be (-38091)/216 - (-42)/189 - 5. Suppose -3*u - 908 = -5*t - 2*u, 3*t - 544 = u. Let s = t + v. Is 1 >= s?
True
Suppose x + 2*n - 4962 = -4*x, 2*n = -2*x + 1986. Let w be 4/10 + x/(-80). Let c = 38 + w. Which is smaller: 25 or c?
25
Suppose -6*v = -10*v - 4*v. Suppose -z = -2*y + 7, z + v*y - 14 = -5*y. Which is bigger: -1/25 or z?
-1/25
Let s(d) = -2*d**2 - 35*d - 12. Let x be s(-17). Suppose 3*t + x = 6*g - 5*g, 2*t - 3*g + 8 = 0. Let p = -1776 - -168722/95. Which is bigger: p or t?
p
Suppose 45*d - 42*d + 8 = -4*q, d = -4. Which is greater: -3/2521 or q?
q
Suppose 24 = 4*f + 20, 5*f - 405 = 2*w. Suppose 3*q + o - 16 = 0, -q - 1 = o - 3. Let a be (w/(-32) - q)/(42/16). Is 0 smaller than a?
False
Suppose 3360 + 1674 = 95*z + 1139. Which is greater: z or 939/23?
z
Suppose 8*d + 3*d = 6*d. Let t be ((-1)/(-4))/((-2)/(-40) + d). Let b be 2/3 + (-42)/(-18) + t. Which is greater: b or 27/4?
b
Let a = -2 + 2. Let m = -194.2 - 43.8. Let p = 213 + m. Is a smaller than p?
False
Let d = 16691.12 + -16767. Is d not equal to 2?
True
Let v = 0.31 - 0.3. Suppose -3*g - s + 69 = 0, -6*g = -5*g - 2*s - 16. Suppose -g*q + 2 = -20*q. Do q and v have different values?
True
Let k be -6*((-46)/6 + 7). Suppose k*g + 29*p - 25*p - 1452 = 0, p = -3*g + 1097. Are g and 366 equal?
False
Let j = -17 + 22. Let n = -36 - j. Let a = -146 - -104. Which is greater: a or n?
n
Let u = 4174 + -4175. Which is greater: u or -9/1201?
-9/1201
Suppose 3*z + 5*q - 10 = -2*z, 5*z - 3*q - 34 = 0. Suppose z + 7 = -4*a. Suppose 0 = 4*h - 3*v, -15*v + 12*v = 4*h. Which is smaller: h or a?
a
Let p = -16751561/133 + 125951. Which is smaller: p or -2?
-2
Let l = 20 - 16. Let p = 52 - l. Suppose 3*y = 7*y + p. Which is greater: -64/5 or y?
y
Let w = 160447 + -1285919/8. Which is smaller: w or -294?
-294
Suppose 338 + 355 = 9*o. Let u be (2/(-14))/((-33)/o). Are u and -1.2 nonequal?
True
Let b be (-3)/2 + 36/8. Suppose -11*i = -7*i - b*q - 4, 4*q = -i + 20. Let t(y) = -2*y**3 + 4*y**2 + y + 17. Let h be t(i). Which is smaller: 0.1 or h?
h
Let t = -327.53 + 331. Let d = -46.53 - t. Which is smaller: d or -0.05?
d
Let n be (-1)/1*(0 - 43). Suppose -5*g + u + 109 = 0, 5*u + 82 = 5*g - n. Suppose -181*r - 3*w = -178*r - 69, -103 = -5*r - w. Is g less than r?
False
Let r be 0/(-1*(6 + -5) + 2). Which is greater: r or 22/455?
22/455
Suppose -1155 - 33 = -0*a - 18*a. Let o be 33/(3 - (-15)/(-6)). Is a <= o?
True
Let q = 1.5 - 9.5. Let z = -20064 + 20045. Does z = q?
False
Let k = 3660.4 - 3658.2. Is 7/10 at most k?
True
Let h = -12105 - -12107. Is -3280 > h?
False
Suppose 78 = 2*b + 4*r, b + 4*r - 23 - 4 = 0. Which is bigger: b or -0.09?
b
Suppose -3*o - 5*y = -139 + 35, 68 = 2*o + 4*y. Let b = o + -41. Let x be -3*((-1)/b + -1). Is x bigger than 4/7?
True
Let q(m) = 37*m**3 - m**2 - 2*m + 2. Let h be q(1). Let g(z) = z**3 - z**2 + 6*z - 39. Let j be g(4). Which is greater: h or j?
h
Let d(k) = -k**3 - 2*k**2 + 7*k + 11. Let v be d(-3). Let j be 88/(-89) - (v - (7 - 7)). Is -1 at most j?
True
Suppose 0 = 10*m + 3*m + 26. Let c be 1887/(-595) + m/5. Which is bigger: -5 or c?
c
Let p = 2/7397 + -74124/569569. Let n = 900/1001 + p. Let x = 4/39 - n. Which is smaller: -5 or x?
-5
Let i be 3*-5*8/(-30). Let x be (2 - 5/2)*i. Suppose 4*d = -3*a + 11, -2*a - a + 18 = -3*d. Which is greater: x or d?
d
Let q = -54 + -263. Let w = -8.9 + 8.8. Is w > q?
True
Let g = 8.059 - -0.791. Let j = g + -8.89. Is -12 at least as big as j?
False
Let a = -5.5 - -5.4. Let r = a - -6.7. Let h = r - 6. Is 1/2 >= h?
False
Let t = -0.182 + -28.818. Let o = t - -38. Which is greater: -0.4 or o?
o
Let f = 989 + -489. Suppose 0 = 7*m + 3*m - f. Is m at most 49?
False
Suppose -2*y = -o + 3*y - 3, 0 = 4*o - 5*y - 33. Suppose -16*p + 12 = -o*p. Suppose -3*w = 3*m + 1 + 14, 5*m - p*w = -25. Which is bigger: m or -4?
-4
Let u = 6675 - 7073. Is -384 bigger than u?
True
Suppose -39*b + 899 + 8188 = 0. Is 232 <= b?
True
Let n = -168 + 166. Let h be (-69)/30 + 27/15 + n. Which is bigger: 2/19 or h?
2/19
Let u(k) = -18*k - 34. Let n be u(-9). Does n = 886/7?
False
Let a(d) = d + 10. Let z be a(-7). Suppose 0*i - 3993 = 2*i + 6*i - 3985. Which is smaller: z or i?
i
Let w(z) = z**3 - 6*z**2 - 6*z. Let y be w(7). Suppose -y*o - 11 + 60 = 0. Is o < 4?
False
Let k(y) = y**3 - 2*y**2 - 16*y + 264. Let v be k(0). Which is bigger: 3 or v?
v
Let v be ((-105)/(-100))/(-7)*4 - (-194904)/(-60). Is -3249 less than v?
False
Let o be (-710)/83 + 9/(-18)*(-6 + -6). Which is smaller: o or -3?
-3
Let g be -622 - ((-16)/88 - (-57)/11). Let x = g - -604. Is x smaller than -12?
True
Let o be (-37 + -26)/(-21) + (2 - 3). Which is bigger: -39/191 or o?
o
Let a = -613 - -603. Let f be 5/(-5) + 7/1. Let m(k) = -2*k + 3. Let x be m(f). Are a and x equal?
False
Suppose -4*m + 3*d - 484 = 0, m + 2*d + 0*d = -132. Let v be 1147/m*24/(-22). Let c = -8225/814 + v. Which is smaller: 0 or c?
c
Let g be (-48)/(-64) - 90/(-135)*534/16. Let s = -0.1 - -0.1. Is s at least as big as g?
False
Let p(g) = 2*g**3 - 20*g**2 - 5*g - 18. Let s(f) = f**2 - 13*f - 219. Let y be s(23). Let j be p(y). Which is greater: j or 1?
j
Let d be ((-330)/(-234))/(0 + (-1)/18). Is -25 > d?
True
Let s = -0.1 + 0.116. Let b = 0.408 + 0.056. Let n = b + s. Which is smaller: n or 1/4?
1/4
Let q = 4154 + -4154. Is q bigger than -94/71?
True
Let o = 14943/8 + -1868. Let a = -0.03 + -4.97. Let m = a + 4. Is m bigger than o?
False
Suppose -5*z - 26 = -3*u, z + 10 = 2*u + 2. 