9*u + 5*o. Which is smaller: u or 242?
u
Let b be (-7630)/(-98) + (0 - -1). Let i = b + -79. Which is bigger: i or 1?
1
Let m = 17 - 12. Let k(b) = b**3 + 2*b**2 - 2*b - 2. Let c be k(-2). Let z be 8*3/(-9) + c. Which is bigger: m or z?
m
Let s(d) = d**3 + 10*d**2 + 10*d + 4. Let h be s(-9). Suppose -3*z = 2*v + 3, 5*z + 4 = -v + 13. Which is greater: v or h?
h
Let c = 17 + -23. Let v = c - -9. Which is smaller: v or -10?
-10
Let c be (2/(-4))/((-28)/(-8) + -3). Let d be c/(4/12*-3). Are 2/221 and d equal?
False
Let l = -1 + -16.4. Let s = l + 3.4. Is s greater than -2/5?
False
Let l(c) be the second derivative of c**5/20 - c**3/3 + c**2/2 - 3*c. Let j be l(1). Let m = -3227/13 - -248. Which is bigger: m or j?
j
Suppose -3*l = -5*l - 50. Suppose 0 = -3*q, -4*q = k - 5*q + 10. Let i be k/4*4/l. Is i < -2?
False
Let u = -624 - -620. Which is greater: -63/25 or u?
-63/25
Suppose 14*a = 12*a + 966. Which is smaller: a or 1?
1
Let d be (-1 - -9)/(5 + (-4 - 3)). Is 0.048 equal to d?
False
Suppose 7*z - 1432 = -1572. Which is smaller: z or -58/3?
z
Let d = -2554 - -28166/11. Which is greater: 7 or d?
7
Suppose 4*o - 10 = 3*a + 11, -24 = -o - 3*a. Let i(j) = -3*j**3 + j. Let r be i(-1). Suppose -r*v + 20 = 2. Is o less than v?
False
Let m be (-739)/(-781)*(-8)/(-588). Let z = m - 12/539. Which is smaller: 1 or z?
z
Let k be (-1 - -1) + -2 + 2. Suppose -3*q + 2*a = -20, 4*q + a - 15 = -3. Let h = q + k. Is h greater than 5?
False
Let v = -0.192 + 0.092. Which is greater: 95 or v?
95
Let j(b) = 3*b**3 - b**2 - 2*b - 1. Let v be j(-1). Let p = v + -3. Let d = p + 11. Is d at most 17/3?
True
Let n(v) = 3*v - 29. Let z be 0 + 7 + 10 + -7. Let c be n(z). Let u = 59 + -415/7. Is c equal to u?
False
Let n be (111/12 - 3)/((-1)/4). Let s = 41.9 - 42. Which is bigger: s or n?
s
Let m(f) = f**3 - 5*f**2 + 11*f + 5. Let t(l) = 2*l**3 - 6*l**2 + 12*l + 6. Let u(z) = -3*m(z) + 2*t(z). Let s be u(-5). Is -7 equal to s?
False
Suppose 0*o - 28 = x + 2*o, 0 = -2*x + 4*o - 24. Let s be 21/x*(-5)/6. Let j(f) = -f**3 - f**2 + 10*f + 16. Let c be j(-2). Which is bigger: s or c?
s
Let x = 305 + -322. Suppose -i = i + 28. Let w = x - i. Is -1 greater than w?
True
Let l(z) = z**2 + 21*z - 31. Let f be l(-22). Which is bigger: f or -12?
f
Suppose -12 = -3*f + 3. Suppose -f*t - 3*q + 17 = 0, 2*t = -0*t + 3*q + 11. Is t < 4?
False
Let s = 30.6 + -0.6. Let z = 38 - s. Is -1/5 equal to z?
False
Let y = 771 - 35465/46. Does 1 = y?
False
Let a be 7/(-4)*(14 - 26). Let c(w) = w**2 - 5*w + 8. Let t be c(7). Which is smaller: t or a?
a
Let g = -262 - -262. Is 2/2193 at most g?
False
Suppose 3*w = -3*y + 66, -4*y = w - 4*w - 60. Let z = -18 + y. Which is bigger: z or 1.4?
1.4
Suppose -8*q + 9*q = 16. Let m be q - (-1 + -1 - -5). Which is smaller: 25/2 or m?
25/2
Let o = 17.8 - 5. Let s = o - -1.2. Let n = 19 - s. Are -1 and n non-equal?
True
Let h = -658 - -658. Is 2/843 >= h?
True
Suppose -4 = 2*u - 3*k, 0*k - 7 = -3*u - 2*k. Suppose 0 = -5*s + 32 - 2. Suppose n = -s*n + 3*n. Which is greater: n or u?
u
Let h be 1*597/9*3. Suppose -5*g - 15 = -0*g, 2*t + 3*g - h = 0. Let n be (-4)/20 - t/(-220). Which is smaller: -1 or n?
-1
Let f = -11 - -5. Let v = 7.3 + f. Let p = 1.3 - v. Is 4 <= p?
False
Let r = -13.89 - -13.9. Let u = -0.05 - 0.05. Which is bigger: u or r?
r
Suppose 3*t + 141 - 111 = 0. Which is smaller: 20 or t?
t
Let w = -259/188 - -6/47. Let h = -37248163/1980 - -206920/11. Let a = w - h. Which is bigger: a or -1?
a
Let f(p) = -14*p**2 - p + 1. Let r be f(-1). Let s be 6/(-9) - (-28)/r. Suppose 0 = 2*h + 4*g - 0*g + 2, 4*h - 3*g + 4 = 0. Is s at most h?
True
Let k = 8798 + -3440020/391. Are -1 and k equal?
False
Suppose -3*i - 7664 = -3*k - 1850, 5*k = 4*i + 7757. Which is bigger: i or -1934?
i
Suppose 63 = -4*i - 3*y, 3*y - 43 + 16 = 2*i. Let g = -12 - i. Let t be (g/(-2))/(22/(-88)). Which is smaller: t or 7?
t
Let h(w) = w**3 - 8*w**2 - 6*w - 6. Let a be h(9). Let k be (-40)/(-7) - (-6)/a. Is k >= -0.2?
True
Let s = 52.1 + -51. Let m = s + 3.9. Which is bigger: m or 0?
m
Let r = -68 + 68. Suppose 2*q - 2 = r, 4*p - 3*q = -11 - 40. Which is bigger: p or -5?
-5
Suppose -2*o + 8 = -2*p, 2*p + 4 = 5*o - 10. Let i(d) = d**3 - 32*d**2 + 2. Let y be i(32). Is o >= y?
True
Let j(m) = m**3 + m**2 - 4*m - 10. Let n be j(0). Which is greater: -16 or n?
n
Let s(n) = -n**3 - 7*n**2 + 10*n + 11. Let d be s(-8). Suppose 4*t + g - 14 = -g, 5 = -2*t - 5*g. Let x = t + d. Which is smaller: x or -3/8?
-3/8
Suppose -2*o = -3*o - 5 - 4. Let b(t) = 14*t + 1. Let d be b(1). Suppose 3*j = -d - 12. Is j less than o?
False
Suppose u - 2*l = -10, -3*u + 4*l - 20 = -7*u. Which is bigger: -10/29 or u?
u
Suppose 0 = 2*b - 2*f - 40, b = 3*b - f - 41. Let m = -78 + 100. Which is greater: m or b?
m
Suppose -5*z + 50 = -5*d, z - 4*d = -7*d - 10. Suppose 16 = 4*c + 3*h, 2*c + z*h - 17 - 5 = 0. Which is greater: -6/17 or c?
c
Let u = 135 + -127. Suppose -u = -3*r + 5*r. Which is bigger: -35/9 or r?
-35/9
Suppose -145 = 6*u - 151. Is 3 less than u?
False
Let s(b) be the second derivative of b**5/20 - b**4/2 - 5*b**3/6 - 7*b**2 - 30*b. Let r be s(7). Is r greater than 1/88?
False
Let c(r) = -6 + r + 2*r - r. Let o be c(-3). Is o greater than 0.1?
False
Let h = 85232793/26154415 - 2/307699. Let o = 16/5 - h. Let n = -1.9 + 2. Is o greater than n?
False
Suppose 0 = 4*y + 2*x - 32, 2*y + 3*y - 40 = 3*x. Let s = 5 + y. Let i be ((-10)/(-6))/((-6)/(-45)). Which is bigger: s or i?
s
Let a = -2.1 + -10.9. Let l = -19 - a. Let t = -1/14 - 25/42. Is t equal to l?
False
Suppose -1771 = -77*a + 6083. Do a and 101 have the same value?
False
Let f = 128/5 + -4337/170. Which is smaller: f or -2/3?
-2/3
Let k = -2125 + 1710627/805. Which is smaller: k or -1?
-1
Let g = 160 - 202.5. Let h = -42 - g. Is h less than 1/10?
False
Let j(x) = x**3 - 27*x**2 + 2*x - 56. Let r be j(27). Is r <= -26/43?
True
Let s be 2*((-620)/8)/(-5). Let v = s + -17. Let o(w) = w - 3. Let h be o(v). Is h not equal to 11?
False
Let u be 10/(-6)*(-98)/(-245). Which is smaller: u or 512?
u
Let i be (-6)/415*(-6 + 13/13). Which is smaller: 1 or i?
i
Let m be 3 - 10 - ((-200)/(-24) - 1). Is m >= 13?
False
Let v be (-10324)/36 + (-2)/9. Let i be -1 - (2 + -99)*1. Let d be i/v + 20/70. Are d and 1 nonequal?
True
Let w = -2 - -6.4. Let v = w + -3.4. Which is greater: -30 or v?
v
Let d be 14/(-3)*2/8. Suppose 0 = 6*c - 0*c + 552. Let u = c + 90. Which is smaller: d or u?
u
Suppose -13*i = -11*i. Suppose 2*p - 38 + 0 = i. Suppose -4*t - 87 = -p. Do -16 and t have the same value?
False
Let w = -430 + 429.5. Is 14 bigger than w?
True
Suppose -29*a = 3*a + 2304. Are a and -62 non-equal?
True
Let l be 2/10 - 310/50. Let r(b) = -b - 12. Let y be r(l). Let k = -2 - -1.8. Which is greater: k or y?
k
Let a = -0.484 - -2.484. Is a at least as big as 4/13?
True
Let u = 474 + -857. Is u less than or equal to -384?
False
Let d = 143 + 60. Let u = d + -363. Are -160 and u equal?
True
Suppose 0 = 4*h + 4*k - 8 + 88, 0 = 2*h + 5*k + 28. Let y = 0 + h. Is y > -24?
False
Suppose 0 = 15*l - 12*l. Let r be (4/20*l)/1. Is -1/3 < r?
True
Suppose 0 = 45*q - 49*q - 164. Let y = 76 + q. Is y at least 33?
True
Let z(m) = 4*m**2 + 2*m. Let f be z(2). Let i(n) = -n**3 + 13*n**2 - 14*n - 66. Let s be i(11). Which is greater: s or f?
s
Let u = 15 + -12. Let h be 1/(-4)*(-2)/u*1. Which is bigger: h or -4/5?
h
Let n be (-6)/(-14)*(-14)/(-6). Let z(v) = v - 3. Let k be z(6). Which is smaller: k or n?
n
Let f be -4 - -1 - (-2 - 27). Suppose -4*k - y = f, 4*k - 3*y = -0*k - 34. Is -8 >= k?
False
Let g = 105 + -98. Let m(n) = -n**3 + 8*n**2 - 5*n - 5. Let o be m(g). Are o and 4 nonequal?
True
Let j = -2 + 1. Let m = 85 + -1359/16. Is j at least m?
False
Let n = 3 - 3.09. Let z = n + 0.89. Let l = 3 - 3. Is z less than l?
False
Let l = 476/13 - 2689/39. Let q = l - -32. Is 4 greater than or equal to q?
True
Let s be 2/9 - (4 - -24). Are -29 and s equal?
False
Suppose -178 - 137 = 7*d. Let q be (90/25)/((-12)/d). Suppose 5*v - 21 = 49. Is q greater than v?
False
Let o be (-9 - -10)/(1/95). Let y = o - 98. Suppose -3*i = -0*i. Are y and i non-equal?
True
Let w = 174 - 93. Suppose -x + w = 5*j, -j = -5*j + 3*x + 80. Is j less than 17?
False
Let d be -3*6/(-15)*5. Let x = d + -5. Let l be (-8)/