Let u = -1 + s. Let o(l) = 3*l - 50. Let q be o(14). Which is smaller: u or q?
q
Let n = 29 - 26. Let i be (6/2660)/(n/488). Let o = i - 11/35. Which is bigger: -1 or o?
o
Let m(w) = 2*w**3 - 6*w**2 - 8*w - 14. Let y be m(7). Let j be (2/(-7))/(24/y) - -4. Which is greater: 1 or j?
1
Suppose 50*o - 2660 = 60*o. Which is smaller: -269 or o?
-269
Let r = -0.62 + 460.62. Which is bigger: r or -1?
r
Let v = 36 + -32. Suppose 181 - 17 = -v*r. Is r less than or equal to -41?
True
Let q = -1103 - -1098. Let f(u) = -3*u**2 - 2*u - 1. Let d be f(-1). Is q < d?
True
Let n(u) = -u**2 + 4*u - 6. Let h be n(4). Let x(v) = v**2 + 9*v + 15. Let s be x(h). Let g be (0 - 0) + -1 + -1. Is g < s?
False
Let b(m) = m**3 - 5*m**2 - 4*m - 12. Let g be b(6). Which is bigger: g or 1/3?
1/3
Suppose -1 + 5 = 4*q. Let d be 51/1343*8/(-12). Which is bigger: q or d?
q
Let c = -0.248 - -0.408. Which is smaller: c or 0?
0
Let c = -247 + 53. Which is greater: -193 or c?
-193
Let n(d) = d**2 - 17*d + 65. Let r be n(4). Is -3 less than r?
True
Suppose -8*i = -4*i - 24. Suppose 2*g + i = 24. Does g = 9?
True
Suppose 2892 = 5*f - 1773. Which is smaller: 932 or f?
932
Let n(a) = -6*a - 30 + 13*a - 4*a. Let t be -6*4/14*(1 + -8). Let r be n(t). Which is greater: r or 9?
9
Let a(j) = -7*j + 10. Suppose -5*u - 4 = -3*f, -u = 3*f - 0 + 8. Let d be a(u). Are 23 and d non-equal?
True
Let i(m) = m - 2. Let v be i(4). Suppose -4*x - 98 = 190. Let u be (x/15 + 4)*-5. Which is smaller: v or u?
v
Let r = -25 - -29. Let i be (-3)/5 - r/(-4)*1. Which is smaller: -0.02 or i?
-0.02
Let i be 1*2 + 1/3*54. Which is greater: 26 or i?
26
Let a be (3/87)/(2 - (-45)/(-20)). Which is smaller: a or 0?
a
Let x(h) = 14*h**2 + 2*h + 9. Let o be x(-4). Let j be ((-2)/4 + -1)*25/o. Which is smaller: 1 or j?
j
Let k = -29 + -33. Let q = -62.3 - k. Is q less than -0.7?
False
Let g(w) = 2*w**2 - w + 6. Let k be g(-3). Suppose 8*n + 2*y - 36 = 4*n, 0 = 3*n + y - k. Is n smaller than 6?
False
Let s = -7 + -3. Suppose 5*g = 4*t - 31, -5*g + g = -5*t + 32. Suppose -3*v - 26 = t*b - 0*v, -3*b - 5*v = 14. Are s and b equal?
False
Let j be ((-10)/(1960/21))/((-2)/216). Which is smaller: 11 or j?
11
Let l(q) = -2*q + 9. Let r be l(5). Suppose 8*n - 6*n = 48. Is n greater than or equal to r?
True
Let a = 76 - 1293/17. Let z = a + 56/85. Suppose -5*m - u - 10 = u, -15 = -2*m + 3*u. Which is smaller: m or z?
m
Suppose -3*k = -8*k + 20. Suppose -p - 5 = k*p. Which is bigger: p or -2/51?
-2/51
Let b = -7 - -15. Let h = -24 + b. Let w be (-1 - -3)*8/h. Are w and -4 equal?
False
Let n = 65 - 59. Which is smaller: -3/5 or n?
-3/5
Let f be (-48)/56*(-2 + (-68)/8). Let a(v) = v**2 + 5*v - 6. Let w be a(-7). Which is bigger: f or w?
f
Let d = -2.64 + -14.66. Let p = 17 + d. Which is greater: -10 or p?
p
Let m = -0.618 + 1.018. Let j = 0.4 + -0.6. Are m and j unequal?
True
Let j = 0.5 - -12.4. Let u = -2.1 - j. Let m = -14 - u. Which is smaller: m or -1/3?
-1/3
Let v = -12634807/85 - -148640. Let x = 44/17 + v. Let z = 2 + x. Is 1 >= z?
True
Suppose -2*f - f - 3 = 0. Let p = -125001/50 - -2500. Which is greater: p or f?
p
Let k(c) = -13*c**3 + 2*c**2 + 6*c + 14. Let j be k(-2). Which is smaller: 111 or j?
111
Suppose -3 = -2*w + 1. Suppose -1 = 3*a + w. Suppose -2 = 4*g + 6. Which is smaller: g or a?
g
Let z be (-726)/696 + 10/8. Which is bigger: z or -1?
z
Suppose -2*s = 3*b - 62, 2*s = b - s - 17. Let q be 4/b + (-98)/50 + 2. Which is bigger: q or -1?
q
Let p = 6 - -6. Let s be (p/36)/((-65)/(-3)). Which is bigger: 0 or s?
s
Let c(m) = -m**3 - 10*m**2 + m - 4. Let z be c(-10). Let o = z + 17. Let h(s) = s**3 - 8*s**2 + 9*s - 10. Let w be h(7). Is o equal to w?
False
Let x = 58 + -40. Suppose 5*k + 34 = a, -5*k - 7 - x = 0. Is a at least as big as 9?
True
Let m be (14/(-3))/((-1)/6). Let t = m - 22. Which is greater: 5 or t?
t
Let u = 1 - -11. Let p = -37.65 + 38. Let y = p - 0.35. Is u equal to y?
False
Let r be (25/(-10))/(1/2). Let j = 2 + -1. Is j at most r?
False
Let l be 1 + (0 - 1) - 1. Let j = -19/3 - -20/3. Is l at least j?
False
Let z be 16/24 - 1/(-3). Let x be 2/10 + z/(-5). Suppose 5*v - 2*j + x*j = -8, 3*v = -j + 4. Which is bigger: v or -1/4?
v
Let g = 41 - 43.12. Let w = -6.88 - -7. Let m = g + w. Is -4/5 < m?
False
Let u be 2574/29315*2/(-6). Which is greater: -1 or u?
u
Let s(b) = 2*b + 6. Let v be s(-2). Suppose -v*w = -0*w - 2. Suppose 0 = -4*z + a + 6 - w, -2 = -4*z - 2*a. Is z <= -2/7?
False
Let m = 575 + -616. Do m and 2 have the same value?
False
Suppose 0 = 4*s - 4*y + 6*y - 2, -4*s + 2*y - 2 = 0. Let d be (s/4 - (-1)/(-1)) + 2. Suppose -5*l + 4 = -3*l. Which is greater: l or d?
l
Let s = -67 - -69. Suppose 0*q + q - t = -s, 0 = t - 4. Which is bigger: 5/2 or q?
5/2
Let r be 2/(-8)*(-1)/(-1). Let n(x) = x**3 + 8*x**2 + 4*x - 21. Suppose 5*j = -17 - 18. Let c be n(j). Are c and r nonequal?
True
Let f = 30 + -29. Let t be (8/80)/(f/3). Is -1 > t?
False
Suppose 3*d - 31 = -7. Let j = 23 + -14. Which is smaller: j or d?
d
Suppose 0 = -3*i + 3 - 0. Let o be 0 + 1*(-4 + 10). Let y be (-65)/150 - (-2)/o*1. Is i at least as big as y?
True
Let l(o) = -o**3 + o**2 - 1. Let h be l(2). Let y be ((-95)/h - 3) + 1. Is y equal to 17?
True
Let p = -2989675/603 - -4958. Which is smaller: 0 or p?
p
Let i = 709 - 708. Let a = 4 - 1. Is a at least as big as i?
True
Suppose -3*d + m + 1854 = 4*m, 2*d = 5*m + 1208. Let a be 3/24*6 - d/840. Is a at most 1?
True
Let b = 6.6 + 1. Let s = b + -7. Which is smaller: s or 1?
s
Let n = -0.24 - -0.292. Let z = -0.012 + n. Which is smaller: z or -2?
-2
Let j(r) = r**3 - 5*r**2 + 5*r - 5. Let y be j(4). Let z = -17 - y. Which is bigger: z or -15?
-15
Let a be 3 - (0 + 0) - 1. Let v(j) = -25*j - 16. Let k be v(-1). Which is smaller: k or a?
a
Let d(r) = -r**3 - r**2 + 6*r. Let q be d(-3). Suppose -2*k = -7*k + 5*j - 70, q = k + 4*j - 6. Which is smaller: k or -12?
-12
Let q(u) = u**3 - 5*u**2 - 4*u - 13. Let s be q(6). Let m be s*291/(-63) + 2/(-7). Which is bigger: 1 or m?
m
Suppose -3*y + 4 = -23. Let a(x) = 3*x - 6. Let f be a(5). Let t = y - f. Is 3/11 at most t?
False
Suppose x - 2*a + 0*a = -8, 6 = -2*x + 2*a. Let j be x*(-1 - 30/(-28)). Is 0 greater than or equal to j?
False
Let u = -60 + 64. Suppose -51 = u*f - 27. Are f and 2 equal?
False
Let x = -9.42 + 9.42. Let l be 1*-3*(-1)/(-4). Which is smaller: l or x?
l
Suppose -283 = 4*y + 657. Which is bigger: y or -237?
y
Suppose 2*z - 4*m + 20 = 0, -5*m + 2*m = -5*z - 22. Which is smaller: z or -1?
z
Let m = 1 + -11. Let c(o) = -2*o**3 - 17*o**2 - 27*o - 17. Let l(a) = a**3 + 8*a**2 + 14*a + 8. Let i(w) = 3*c(w) + 5*l(w). Let r be i(m). Is -1 not equal to r?
False
Let h = -42335/12 + 3526. Which is bigger: -0.2 or h?
-0.2
Let n be 25*((3 - 3) + 1). Let q = n + -23. Suppose q*u - 3*a - 12 = 0, 2*u - 3*a - a = 16. Which is smaller: 2/7 or u?
u
Let o = -9.78 - -1.68. Let z = 4 + o. Is 1 less than z?
False
Let y be 2/(11*(-1)/18). Let h = 230/77 + y. Let i = 34.2 + -34. Which is smaller: h or i?
h
Suppose 5*o - 58 = 4*d - 19, -2*o + 2*d + 16 = 0. Suppose -5*t + 3*a = 7, o = -5*t + 4*a - 4. Let f(h) = h**2 + 2. Let m be f(t). Is m less than 15/8?
False
Let x(z) = z + 24. Let c be x(0). Suppose -u - 3 = 1, -2*j - 5*u = c. Is -15/7 at most as big as j?
True
Let a = -1.093 + 1.193. Which is smaller: a or 215?
a
Suppose 2 + 2 = -4*j. Let d(y) = -3*y - 16. Let u be d(-5). Is j bigger than u?
False
Suppose -3*i = 4*m - 140, 0*i + 3*m + 170 = 4*i. Let x = i + -43. Let g be (6 + 0 - 3) + -2. Is g less than or equal to x?
True
Suppose 111*r - 113*r - 20 = 0. Suppose -5*a = -5, 24 = -4*l - 4*a - 16. Which is greater: l or r?
r
Let z be 10*(-1)/(-6)*45/15. Suppose -16 = -0*f + f - 4*s, f - z*s = -17. Suppose 3*m + 4*b - 7*b = -57, m + 5*b = 11. Which is bigger: f or m?
f
Let g be 4/10 + (112/20 - -1). Suppose g*k + 48 = 4*b + 3*k, 2*b + k - 39 = 0. Is b less than 16?
False
Suppose 0 = 231*v - 239*v - 8. Which is greater: -8/147 or v?
-8/147
Suppose -36 = 5*g - 4*u, -2*g + 9 + 3 = 5*u. Do g and -53 have different values?
True
Let w be (-6)/8 - 15/(-4). Suppose w*y = -y + 4. Let l be (-2)/(-5) + (-2)/5. Is l less than y?
True
Let q(u) be the second derivative of u**3/6 + 2*u**2 + u. Let r be q(-7). Which is bigger: -4 or r?
r
Let b(x) = x**3 - 2*