. Let o be f(0). Let x = o + r. Which is greater: 10 or x?
x
Let b(y) = y**3 + 5*y**2 + 38. Let d be b(-6). Let k(f) = 4*f - 20. Let g be k(6). Which is smaller: g or d?
d
Let n = 25 + -8. Let k = -188 + 202. Let i = n - k. Which is smaller: 0.3 or i?
0.3
Let r be ((-25)/(-30))/((-1)/(-12)). Is r at least as big as 12?
False
Let g = -7.88 - -0.28. Let f = g - -10.6. Are -1/7 and f nonequal?
True
Suppose 6*b + 9 = 3*b. Suppose -4*m = -18*m + 56. Suppose 0 = 16*g - m*g + 36. Is b < g?
False
Let l = -1743 + 2146. Which is greater: l or -2?
l
Let s = -2.41 + 3. Let y = 0.21 + s. Which is greater: -0.3 or y?
y
Let c be 1*12/(-8)*(-12)/4527. Is c at most as big as 1?
True
Let u = 244 + -486. Let l be u/(-165) - 2/(-10). Do l and 0 have different values?
True
Let j be 5 - 0 - (-1 + 0). Let h be (-46)/(-6) + -13 + 11. Which is smaller: h or j?
h
Let o = -1004 - -1005. Is 2 < o?
False
Let c = 760/9 - 84. Suppose 5*q - q = 0. Let i = 1 - q. Which is smaller: i or c?
c
Let a(i) = -i + 1. Let o(m) = -m**2 - 9*m - 6. Let r(y) = 2*a(y) - o(y). Let j be r(-7). Are j and 6 equal?
False
Suppose 0*q = q. Let p be 5*(6/(-10) + (1 - q)). Are 19/6 and p unequal?
True
Let k be (-1 - 220/6) + 6/(-18). Let o be 3 + 263/k + 4. Which is smaller: 1 or o?
o
Let h = -795 - -662. Is h < -2?
True
Suppose 4 = 41*x - 37*x. Let y be (-206)/4 + -3 + 9/2. Is x greater than y?
True
Let h = -1728.3 - -1727. Suppose 0 = 3*w - 1 - 5. Suppose 0 = 3*n - f + 6, -n - w*f = 3*f - 14. Is n smaller than h?
False
Let c = 53 + -45. Let y be 2*(-4)/c*-23. Let j be 2*1*46/4. Is y greater than or equal to j?
True
Let d be ((-4)/(-5))/(4/10). Let y be (6/(-24))/((-4)/(-10)). Let r = y - -17/8. Which is bigger: r or d?
d
Let l = -2701/11 - -245. Is l smaller than -1?
False
Let t = -3.79 - -4.39. Let f = -2 + 2.1. Is f at least as big as t?
False
Let i = 148 + -148. Let f = -0.3 + 0.55. Let d = f - 0.2. Which is smaller: i or d?
i
Let n(a) = 6*a**2 - 16*a + 32. Let k be n(9). Is 374 at least as big as k?
True
Let u be (483/28 + -6)/(2/(-8)). Suppose -5*w + s = -0*w + 228, -3*s = -3*w - 132. Is w less than u?
True
Let p = 3.1 + -3. Suppose 39 = v + 2*g, -4*v + 2*g + 156 = -g. Which is bigger: v or p?
v
Let x(d) = d. Let v be x(-2). Let h be 38/(-24) - (-8)/(-12). Let w = h - v. Which is smaller: -1/2 or w?
-1/2
Suppose -4*v = -4*j - 20, 6*j + 10 = 3*j + 2*v. Suppose j = -5*f + 9*f - 52. Let w = 23 - 9. Is f less than w?
True
Let n be 1/5 - (-1316)/(-4900). Are n and 1 nonequal?
True
Suppose 57 = -82*j - 25. Does j = 18/383?
False
Let j be (200/(-66) + 3)*3. Suppose -12 = 5*a - 32. Let m be (-2)/a*2*-1. Which is greater: j or m?
m
Let h = -1399 - -1439.5. Which is greater: -0.1 or h?
h
Let r be (-1 + -1 + 8)*1. Suppose 6 = -h + r. Let n = 25/553 - 3/316. Is h at most as big as n?
True
Suppose n + k - 1 - 1 = 0, 0 = 5*n - 5*k. Which is smaller: n or 3/41?
3/41
Let q(g) = -g**2. Let f(r) = 4*r**2 + 2*r + 1. Let t(s) = f(s) + 3*q(s). Let u be t(-2). Suppose n = 7 - u. Is n greater than 6?
False
Suppose 10*z - 72 = 16*z. Which is greater: -7 or z?
-7
Let l be 3*(-10)/45*-2*3. Suppose -c + j + 28 = -l*c, -4*j = 4*c + 48. Suppose 0 = 3*u - 0*u + 21. Is c at most u?
True
Let n be ((-2)/(-15849))/(254/(-762)). Are -1 and n unequal?
True
Let m = -520.75 - -519. Which is smaller: -3 or m?
-3
Let k = -141/41 + 4873/1107. Is 1 <= k?
False
Suppose 6 = -0*s + 2*s. Let j be (-4)/((-12)/9) + -1. Suppose 0 = -3*f - j*o + 16, 4*f = -4*o + 9 + 19. Is f at least s?
False
Let i = -17/49 - -3/49. Which is greater: 1/154 or i?
1/154
Let k(n) = 4*n + 44. Suppose -110 = -6*w + 16*w. Let p be k(w). Do p and 2/87 have the same value?
False
Let k = 211 - 203. Which is smaller: 0 or k?
0
Let b = 872 - 2660/3. Is -15 equal to b?
False
Suppose -44*i + 49 + 215 = 0. Is i bigger than -90?
True
Suppose 16 = 5*h - 3*h. Let j be 2 + (-22)/h + 370/600. Is j bigger than -1/4?
True
Let c(s) = -21*s - 330. Let i be c(-21). Which is greater: i or 108?
i
Suppose 8*y - 3*y - 3*f = 1046, 0 = 4*y - 4*f - 840. Is 208 != y?
False
Let a = -2155/27 - -1187/15. Let m = -2/135 - a. Is m != -7?
True
Let u be (-36)/198 + ((-903)/(-187) - -1). Is u greater than or equal to 6?
False
Let q be (1 + -2 - -1) + 3. Let u be 2/2 - (-2 + q). Let d be 6/(3960/(-244)) - (-2)/6. Which is smaller: d or u?
d
Let f(c) = -c**2 + 2*c + 23. Let g be f(6). Is -6/65 greater than g?
True
Let l be ((-1)/(-2))/(2/(-4)). Let c be 4 + 1 + (l - 0). Suppose -c = -w + 6. Which is smaller: w or 11?
w
Suppose 6*n + 5 = 41. Suppose -4*m = -n*m. Is -1/29 < m?
True
Let l = 114 + -110. Suppose -5*f = -4*p - f - 44, 14 = -p + l*f. Is p <= -10?
True
Let a(q) = -35*q**3 + 2*q**2 - 2*q - 4. Let s be a(-1). Do 34 and s have the same value?
False
Let v be ((-2)/(-44))/((-5)/35 + 0). Which is smaller: 1 or v?
v
Suppose 72*u = 60*u. Let o be -1 - 44/(-2 - 0). Let m be ((-172)/o)/(-4) - 2. Is m > u?
True
Let v = 34.3 + -38.3. Which is smaller: v or -4/11?
v
Let p = -2805 + 2812. Let r be (-2)/(-3) - (-38)/6. Is r less than p?
False
Let b(g) = g**3 + 15*g**2 + 2*g + 20. Let o be b(-15). Let c = o - -2. Let q(v) = -v**2 - 7*v + 5. Let r be q(c). Is r equal to -0.1?
False
Suppose 0 = 3*u - 5*m + 70, -4*u = 3*m - 2*m + 101. Let w be (u + (-1 - -4))*1. Which is greater: w or -21?
-21
Let d = -36.11 - 0.89. Let a = d + 37.07. Is 5 less than or equal to a?
False
Suppose -19 = -5*x + 2*z + 5, -5*z = 5*x - 10. Let c be (1 + -2)/((-2)/(-68)*-2). Suppose -4 = -7*s + c. Which is bigger: x or s?
x
Let k(a) = a**2 - 3. Let d(u) = u**2 + u - 2. Let g(q) = -3*d(q) + 2*k(q). Let f(v) = -v. Let c be f(3). Let y be g(c). Which is greater: y or -2/7?
y
Let y be (-19992)/(-735) - (6 - (2 + -1)). Which is greater: 1/3 or y?
y
Suppose 5*v - 120 = -2*d, 2*v + 4*d - 39 = 9. Let a be (14/(-21))/((-10)/v). Let h be (-1 + (-2)/(-4))*-2. Is h greater than a?
False
Let u(l) = -6*l**2 + 14*l - 61. Let b be u(11). Is b at most as big as -633?
True
Let h = -17/4662 + -35971/79254. Let o be (8/(-5))/((-34)/5). Let t = o + h. Is 2 bigger than t?
True
Let y = 77 + -133. Let d = -32.175 + 0.175. Let s = y - d. Which is smaller: -0.1 or s?
s
Let o be -62*(1 - (-8)/(-6)). Let v = 1039/51 - o. Which is smaller: 0 or v?
v
Let o be -3 - (-5 + 0) - 4/3. Which is greater: 70 or o?
70
Suppose 42*c + 340 = 25*c. Are c and -1 unequal?
True
Let w = 6582690 + -32806553/5. Let a = -21238 + w. Let c = a + -141. Do -1 and c have the same value?
False
Let g = 4.9 + -5. Let s = g + 12.1. Let a = -0.029 + 0.129. Which is smaller: a or s?
a
Let s = 0.969 - 0.729. Which is bigger: s or 0.6?
0.6
Suppose i - 4 = 2*g, -7*i - g = -2*i - 20. Suppose -2*t + 2*l + 4 = -5*t, -i*l + 8 = 2*t. Let o(f) = 7*f - 8. Let b be o(1). Is b bigger than t?
True
Let j be (20/12)/(5 + (-24)/6). Are j and -5 non-equal?
True
Let x = -4/3 + 17/12. Let s = -167 - -253. Let v = -85 + s. Is v greater than x?
True
Let g = 127 - 219. Is 0.1 at most g?
False
Let q = -17.7 + 16. Let a = q - -1.7. Let w = 0.05 + a. Is w at most as big as -0.1?
False
Let i = 75.4 - 75. Let x = -3.3 + 12.3. Which is bigger: i or x?
x
Suppose -7*o - 211 = 27. Which is smaller: -31 or o?
o
Let a(p) = 4*p**3 + 69*p**2 + 13*p - 20. Let x be a(-17). Which is bigger: x or 53?
53
Let k be (-165 + 2 - -4)*(-5 + 11). Is -954 at most k?
True
Let k(x) = 2*x**2 + 37*x - 10. Let u be k(-19). Let r be u*-1 - 18/(-6). Which is smaller: -4 or r?
r
Let k(l) = -l**3 + 13*l**2 - 11*l + 3. Suppose i - 3*i + 24 = 0. Let x be k(i). Suppose -5*z + 5*y - 10 = 0, 4*y = -3*z - 0*y + x. Which is smaller: z or 2/15?
2/15
Let n be (-4)/(-24)*54/(-60). Suppose -3 = 2*q + 2*d - 3*d, 3*q - 3*d + 12 = 0. Which is greater: n or q?
q
Let u(x) = -x**2 + 11*x - 21. Let j be u(9). Suppose -2*y + 17 = 4*c - 5, y + c - 9 = 0. Let h be -3*(2 + y/j). Is 2 < h?
False
Suppose -z = 2*i + 4*z + 7, 0 = i - z - 7. Suppose 3*x + 43 = 5*m, -2*x = -i*x - 5*m + 13. Are -6 and x non-equal?
False
Suppose 0 = -2*q - 0*q + 12. Let b = q + -18. Is -3/7 greater than b?
True
Let m be 2/11 - (-3311)/2420. Is m greater than 3?
False
Let c be ((-20042)/36)/((-7)/(-1281)). Let z = 101593 + c. Let a = -288 - z. Is a less than -1?
False
Let a(r) = -6*r - 63. Let d be a(-11). Which is smaller: 5 or d?
d
Let y = 49561/8 - 6185. Let v = y + -10. Let p(n) = 2*n +