168281/47. Which is greater: b or f?
f
Let k be (4 + 30*2)*(-495)/(-90). Is 1764/5 > k?
True
Suppose 151 - 159 = -4*j. Let y be (j/(-4) - -2)/(268/8). Is y smaller than 1?
True
Let l(g) = -3*g**2 - 49*g + 16. Let y be l(-17). Let v be 96/44 + -2 - (-4)/(-22). Suppose -4*c + 3*c - 17 = v. Is y > c?
False
Let v be (-9*34/357)/((-6)/(-28)). Which is smaller: -3 or v?
v
Let f(v) = -7*v + 16. Let p be f(0). Suppose u + 13 = s + 3*u, 5*u = 3*s + p. Let n be (2/s)/((-1582)/42). Which is smaller: 0 or n?
n
Let u = -7489.65 + 7490. Is 78 greater than u?
True
Let a = 1602 + -16053/10. Let f = a + 449/130. Is f < 15?
True
Suppose -14 = -3*p - u, 4*u + 59 = 5*p + 13. Let b be 1 - (-20)/4 - p. Is b at most as big as 0?
True
Suppose -74 = -6*k + 340. Suppose -l - 3*l = 6*w + 374, w + 4*l = -k. Which is bigger: -60 or w?
-60
Let z = -36 - -12. Let m be (-20)/z + 4 + -3. Suppose -3*f - 2*l = -7*f + 6, -f + 4*l - 2 = 0. Which is smaller: m or f?
m
Let d = -11/2263 - 18587/1762877. Which is smaller: d or 1?
d
Let l be 6/(-14) + (-17820)/(-28) + 0. Is 639 greater than or equal to l?
True
Let c = 264 + -264.316. Let j = c - -0.216. Do 1/8 and j have the same value?
False
Let x = 165 + -140. Suppose x*s + 1096 + 229 = 0. Is -54 at most as big as s?
True
Let i = 9 - 6. Let b = i - 4. Suppose -343*v + 404 = 300 - 582. Which is bigger: b or v?
v
Suppose 52*b = 49*b + 66. Let h be (-4 + b/5)*55. Let f = -0.4 + 0.3. Which is smaller: h or f?
f
Let f = 14885/7 + -2116. Let n(g) = g**3 + 12*g**2 - 3*g - 25. Let j be n(-12). Is f smaller than j?
True
Suppose -175 = -39*b - 214. Which is bigger: 10/671 or b?
10/671
Let j(u) = -143*u + 44. Let i be j(3). Let k = i - -395. Let h(s) = -s**3 - 4*s**2 - 3*s - 4. Let f be h(-4). Which is smaller: k or f?
f
Let r = 6253 - 3373. Suppose 108*u = 92*u + r. Is 180 < u?
False
Let h = 124 + -124. Suppose h = 5*w + 2*c - 38, 3*c - 20 = -2*w + 7*c. Is w > 1?
True
Let p = -2677.951 + 2677. Let a = 40.951 - 41. Let s = a + p. Which is smaller: 0 or s?
s
Let t(l) = -l**2 + 6*l - 6. Let w be t(5). Suppose 31*k - 32*k + 1 = 0. Let b be 58/(-118)*-2 + -2 + k. Which is greater: w or b?
b
Let i = -134.4 + 85.99. Let f = i - -0.41. Let q = f + 47.89. Is 1/2 less than q?
False
Let q(m) = -m**3 - 6*m**2 - m - 5. Let t be q(-6). Let h be 10 + (8/((-240)/15))/((-169)/(-3382)). Which is smaller: h or t?
h
Suppose d = 5*u + 3*d - 328, 0 = -5*u + d + 331. Let z = u - 53. Is 10 at most as big as z?
True
Let z = -98 - -87. Let g(k) = k**3 + 12*k**2 + 8*k + 16. Let l be g(z). Which is smaller: -1 or l?
-1
Let m(b) = 13*b**2 - 83*b + 386. Let x be m(11). Is 1053 equal to x?
False
Let x = 10052 + -9784. Are x and 253 nonequal?
True
Let q = 0.0844 + -0.0664. Let y = q + 10.482. Does y = 3?
False
Let r be -3 + 11 + 0 - (-4425)/(-552). Is r equal to 0?
False
Suppose -10995 - 8792 = 278*a - 883. Which is bigger: a or -48?
-48
Suppose -87*f + 90*f - 3*z = -35640, 0 = -5*z. Which is greater: f or -11879?
-11879
Suppose -2241 = 1641*q - 600. Let a be (6/5)/((-1)/10). Let y be (-6)/70*a/9. Which is smaller: q or y?
q
Let o = -64.2307 + 0.2707. Let h = 14 + -78. Let x = h - o. Which is smaller: -0.6 or x?
-0.6
Let r be (-8 + (-7)/16184*-18436)*3/(-25). Is r at most -1?
False
Let x be (-2)/(-1) - (-72)/(-9). Let j(k) = 2*k**2 + 13*k + 9. Let y be j(x). Let a be y/12 - 6/60. Is a > 1?
False
Let q(j) = -2*j**3 + 2*j**2 - 3*j + 1. Let z be q(-5). Which is smaller: z or 3?
3
Let y be -2*(44/(-8) + 4). Suppose -3*q + 0 = a - 2, y*a = 2*q - 16. Suppose -3*v - q*l = 6, -2*v + 6*l - 2*l = -12. Is 1/68 greater than v?
True
Let k = -98 - -62. Let o be (2 - k/(-6)) + 11. Which is smaller: -1 or o?
-1
Suppose -811 = 3*k - 1306. Is 165 at most as big as k?
True
Let g = -1.18 + -54.82. Let j = g - -121. Let p = 69 - j. Is -6 >= p?
False
Let v = -332 - -338. Let q be (0 - (-1)/v) + (-3839)/(-198). Which is greater: q or 21?
21
Suppose -4*m + 16 = 3*w, m + 7*w - 2*w - 4 = 0. Suppose -m*p = p - 25. Suppose -p*j = 3*j. Which is smaller: 16 or j?
j
Let c = -0.8 - 2.2. Let b be -29 + 25 - (-119)/(-35)*(2 - (-17)/(-6)). Which is smaller: c or b?
c
Let b(t) = 35*t**2 - 15*t - 18. Let j be b(-7). Suppose 22*x = 5*x - j. Is -105 smaller than x?
False
Let z be (-130)/(-325) + ((-6)/75)/(1980/9897). Does 0 = z?
False
Let a be ((-10)/550)/(((-2)/231974)/(-1)). Let z = a - -2109. Which is smaller: -1 or z?
-1
Let s be 5/45 - 9/81. Do s and -82/419 have the same value?
False
Let a = -62 + 44. Let q = 17.1 + a. Let b = 0.3 - q. Is -0.2 bigger than b?
False
Suppose -82 = -10*b + 8*b - 2*m, 89 = 2*b - 5*m. Which is smaller: 46 or b?
b
Let b = -0.2489 + 0.4489. Which is bigger: b or 8883?
8883
Suppose 0 = 2*m - 10, 0*m + 5 = -x + 2*m. Suppose 5*i + 15 = -x*f, 0 = 5*i + 3*f - 0 + 11. Let g be 10 + -10 - (-3)/27*3. Is i at most as big as g?
True
Let n be -4*4/4*(-20)/16. Suppose -5*a = n, -a - 935 = -5*b + 4*a. Is b < 185?
False
Suppose -5*w - 6 = 2*s, 3*s = -2*s + 10. Let j be (-1)/(-3) + (-1100)/(-12)*w. Does j = -183?
True
Let h = -2.052 - 0.258. Let d = 0.31 + h. Is 2/109 >= d?
True
Let y = -3819 - -4067. Which is smaller: 247 or y?
247
Let u(v) = 11*v**2 - 2*v. Let h be u(3). Suppose 3*g + 96 = h. Is 1/5 equal to g?
False
Suppose 4*z - 1931 = -2*p + 3665, -3*p + 8434 = -4*z. Is p less than or equal to 2802?
False
Let c(h) = h**3 - 5*h**2 - 5*h - 4. Let p be c(6). Suppose 4 = p*z + 10. Let m be (-46)/(-4)*(5 + z). Which is smaller: m or 24?
m
Suppose 6*p = 33 - 15. Suppose -3*n = -3*g - 27, -p*n + 33 = -n - 5*g. Suppose -2*q + 14 = n*i, -i - 4*q + 24 = 3. Which is smaller: 3/40 or i?
3/40
Let f be ((-51)/(-6) - -1) + (-2)/4. Let v be (61917/f)/(38/(-6)). Let u = 1086 + v. Which is greater: u or 1?
1
Let d = -479 - -483.058. Let v = d + -0.058. Let q = -26 + v. Which is smaller: -1 or q?
q
Let b = 1281 + -1339.3. Let l = b - -53. Let g = l + 3.3. Is g != -1?
True
Let t(x) = -x**3 + 30*x**2 - 50*x - 165. Let w be t(28). Which is smaller: 80/19 or w?
w
Let n = -1841/9 + 205. Let g(f) = f**2 - 3*f + 2. Let y be g(1). Let x be y - 4*1/4. Is x less than or equal to n?
True
Let p = -0.08538 + 1912.08538. Is -3 equal to p?
False
Let o be 7/(-21)*(10 - 56/8). Is o < -8/107?
True
Suppose -4*a - 2*t = 418, 6*t - 416 = 4*a + 10*t. Let q = 104 + a. Which is smaller: 2/2443 or q?
q
Let g be (6 - 393/(-6)) + (-3)/(-6). Let f be 2104/g - ((-4)/(-9))/2. Is f greater than 31?
False
Let d = -45952 - -46065. Which is smaller: -28 or d?
-28
Let h(i) = -i**3 - 71*i**2 - 390*i - 30. Let o be h(-65). Is -46 smaller than o?
True
Let z = 11475 - 11490. Is z less than -417/28?
True
Let d be (-70)/42*(-9)/5. Suppose s = 2*s - d*p + 16, 2*p - 44 = 4*s. Which is smaller: -2/3 or s?
s
Let f = -273 + 297. Let a be (-25)/300 - 610/f. Does a = -27?
False
Suppose 4513 = 4*b + 5*n, 6*b - 3387 = 3*b - 3*n. Let x be (-3)/(-12) + 0 + b/88. Let u = x + 18/11. Does u = 0?
False
Suppose x - 12*x = 35*x - 46. Which is bigger: x or -7/586?
x
Let y = -398/3 + 134. Let x = -80 - -225. Suppose -4*s + 2 = 140*n - x*n, -6 = 2*n + s. Which is bigger: n or y?
y
Let t = 4730 + -4257. Is 469 >= t?
False
Let f = -70.56 + 1.56. Let u = f + 35.8. Let k = u - -6.2. Is -0.1 at least as big as k?
True
Let c(m) = m - 17. Let s be c(17). Suppose 3*l + 4*j - 655 = s, l - 213 = -3*j - j. Which is smaller: l or 220?
220
Let n = 2739 + -63007/23. Let o = 129 - 130. Is n bigger than o?
True
Let y(m) = 2*m**3 - 8*m**2 - 43*m + 11. Let f be y(7). Suppose 4*b + 25 = 9*q - f*q, -2*q + 3*b + 17 = 0. Let z = -866 - -59753/69. Which is bigger: z or q?
q
Let v = 84 + -90. Let r be (-112)/v + (6 - 153/27). Is r greater than 13?
True
Let t = 1.2132 - 56.2132. Is -117 > t?
False
Suppose -3*n + i + 229 = -143, 0 = -2*i - i. Is n < 98?
False
Let o(p) = -p**3 - 9*p**2 + p + 6. Suppose -6*c - 20 = -c. Let j(f) = -f**3 - 5*f**2 - f + 3. Let u be j(c). Let l be o(u). Which is bigger: -1 or l?
-1
Let g = 0 - 1. Suppose 5*n + 79 + 316 = 0. Let m = n - -230/3. Which is greater: m or g?
g
Let d be (7/21)/(-1 + 0). Let x be 1144/(-1430) - (-3)/10. Which is greater: d or x?
d
Let k(r) = -r**3 - r**2 - 2. Let f be k(0). Let x be 2383/9 + 6/27 + -3. Let m be (f/x)/((-1)/(-2)). Is m bigger than -1?
True
Let t be (-4 + 4)/6 - -1. Let j = -6501 + 4455. Let h = -38862/19 - j. Is h great