 - 8. Let y be i(-10). Which is greater: -1 or y?
-1
Let s = 1133/36 - 125/4. Let b(m) = m**3 + 20*m**2 + 19*m - 15. Let n be b(-19). Let g be 2/(-3) - n/9. Which is smaller: s or g?
s
Let s(l) = -l**3 - 11*l**2 - 10*l + 2. Let c be s(-10). Suppose c*a + 12*a - 840 = 0. Which is smaller: 61 or a?
a
Let v be (-8)/((-96)/(-20)) - -3. Let k(p) = p**2 + 4*p - 3. Let w be k(-4). Let r = w - -3. Which is greater: v or r?
v
Let d be (-6)/(-2) + 60/3. Let w = d - 21. Is w at most as big as 0.1?
False
Let f = 1.579 + -0.283. Let z = -0.116 + f. Let h = z - 1.2. Which is smaller: h or -1?
-1
Let j be (-6)/4 - 45/(-6). Suppose h - 40 = j*h. Suppose 0*y + 6*y = -36. Is y greater than or equal to h?
True
Let q = -1593 + 1390. Is q less than 0.3?
True
Suppose r + 6 - 3 = 0. Suppose -2*q - 82*t = -86*t + 34, 2*q + 4*t + 10 = 0. Are q and r nonequal?
True
Suppose 0 = -5*f + t + 29, -4*t = -f - 3 + 24. Suppose 0 = 5*w - f + 5. Let n be (18/(-4))/(51/4). Does w = n?
False
Let a = 305 + -323. Are a and -22 non-equal?
True
Let y = -0.5 - 2.5. Let w be ((-3)/(-5))/(11/55). Let o be 0 + 10/(-4) + w. Which is greater: o or y?
o
Let z = -18 + 21. Suppose 0*t - 173 = 3*t - 5*w, -5*t = w + 335. Let h be (54/30)/(t/(-20)). Is z <= h?
False
Let o = 12 + -10. Suppose -3*s + o*s + 45 = 0. Let x be 4/s*12/8. Is 0 > x?
False
Let l be 2*4/((-4)/(-1)). Let p(j) = 3*j**3 + 3*j**2 - 4*j + 3. Let z be p(l). Let b = z + -20. Which is bigger: b or 12?
12
Suppose -3*c = -5*w + 214, 2*w - 15*c - 85 = -14*c. Are w and 35 equal?
False
Let a(p) = 2*p**2 + 44*p + 4. Let n be a(-22). Is -9 not equal to n?
True
Let n be (563/2 - -2)/(261/348). Which is bigger: n or 379?
379
Let k = -55/3 + 129/7. Is 9 at most as big as k?
False
Let v be -1 + 3 - (3 - 30). Let l = -49 + v. Which is smaller: -21 or l?
-21
Let o(x) = 3*x**3 - 9*x**2 - 3*x - 8. Let d(k) = 7*k**3 - 19*k**2 - 6*k - 17. Let j(f) = 6*d(f) - 13*o(f). Let s be j(-3). Is -61 bigger than s?
False
Suppose 822 - 752 = 2*f. Is 6 <= f?
True
Let j be (284/210 - (-22)/(-77)) + (-150)/225. Let c = 0.6 - 0.57. Which is smaller: j or c?
c
Let n = -849/7 - -121. Suppose 64*a - 97 = 159. Which is greater: n or a?
a
Let o = -29753/220 + 541/4. Is o at least 2/7?
False
Let k = 1847.61 + -1846. Which is bigger: 0.2 or k?
k
Let a = -177/2 - -89. Which is bigger: a or 54?
54
Let h = 0.279 - 0.23. Let i = h + -2.049. Let w = -1 + 4. Which is smaller: w or i?
i
Let f be 1/597*(-44 + 50). Which is greater: f or 0?
f
Let r = 504 + -501. Which is smaller: 49 or r?
r
Let q = 2/635 - 1909/1270. Is q bigger than -3?
True
Suppose -18 = -2*v - 4. Let u = 2 + -1. Suppose 2*n = u - v. Which is smaller: -2 or n?
n
Let i be 140/(-18) - ((-16)/9 - -2). Let k be 9/12 + 6/i. Let l = 2/497 - 215/497. Which is smaller: k or l?
l
Let d(l) be the second derivative of l**4/12 + 11*l**3/6 + 11*l**2/2 + 8*l. Suppose 14 = -4*z - 26. Let n be d(z). Is n less than -1/4?
False
Let k = 0.3 + 1.7. Let u = 1 - k. Is u greater than -6?
True
Suppose -5*w + m = -0*w - 18, -5*m = 2*w - 18. Let z(b) = 3*b - 2*b**3 + 6*b**3 - 3*b**3 + w*b + 1 + 8*b**2. Let d be z(-7). Are d and 0 equal?
False
Let x(v) = -v**3 - 10*v**2 + v - 4. Let p be x(-8). Let n be ((-132)/p + -1)*-5. Which is greater: 1/24 or n?
n
Let d(p) = 3*p**2 + 6*p + 1. Let c be d(-4). Suppose g + 1 = 0, -g = 2*z - 8 + c. Is -23/3 equal to z?
False
Let k = -107 - -135. Is 29 greater than k?
True
Suppose -i - 4*v = -90, 5*i - 2*v - 425 = 3*v. Let d = 169/2 - i. Let n be 6/(-2) + 1 + 0. Which is bigger: d or n?
d
Let j = 88394/18957 - 330/71. Is 1 less than j?
False
Let j = -2 - -10. Let m = 21 - 15. Suppose -u - x = -m, 7*x - 5*x = 4*u - 42. Which is smaller: u or j?
j
Suppose -45*n - 2262 = -6*n. Which is smaller: n or -59?
-59
Suppose -4 = m + 8. Let k be (-202)/(-648) + 3/m. Let l = 97/1053 + k. Which is smaller: l or -1?
-1
Let m = 48 - 1. Let b = -67 + m. Let w = b - -12. Is 1/4 less than w?
False
Let d = 2067/4 + -516. Do d and 10 have different values?
True
Suppose -g - 3*o - 340 = 0, -4*o + 16 - 4 = 0. Let n = 5930/17 + g. Is 0 at most as big as n?
False
Let l = 245.1 + -243. Let a = -3 + 3. Which is smaller: a or l?
a
Let u be (73/37303)/(20/14 - 1). Is 1 less than u?
False
Let q = -0.06 - -2.06. Let s = 0.026 + -0.096. Let j = -0.03 + s. Is j bigger than q?
False
Let r = -328 + 338. Do 4 and r have the same value?
False
Let h = -84 - -48. Let f = 43 + h. Let j = 4 - f. Which is greater: -9/5 or j?
-9/5
Let y be -2*(3 + (-5)/2). Let b be 7*-1 - (3 + -6). Let l be 0 + -3 + (-13)/b. Are l and y unequal?
True
Let x be (24/5)/((-42)/(-105))*4/16. Suppose -2*o = -3*o - 3. Let m be (1/o)/((-5)/(-2)). Which is greater: x or m?
x
Let r = 103 + -152. Let x = 37.1 + r. Let h = x - -12. Are h and -0.5 equal?
False
Suppose 3*v = 5*y - 324, 0 = -y - 4*v + 17 + 34. Let m be (y/(-42))/(6/(-4) + 0). Is 5/3 smaller than m?
False
Let x = 61 + -57. Let a be (1056/(-459))/x + (-8)/(-36). Is 1 bigger than a?
True
Let v = 5 - 8. Let k = 2.7 - 2.9. Let u = 0 - k. Which is bigger: u or v?
u
Suppose 454*w = 446*w + 48. Let b(x) = -5*x**3 - x**2 + 1. Let t be b(-1). Is w at most as big as t?
False
Let u(p) = p**3 + 10*p**2 - p - 130. Let m be u(-7). Let h = -0.1 - -0.1. Is m bigger than h?
True
Let m = -9.8 + -62.2. Let n = -40 + m. Which is smaller: -2/3 or n?
n
Let d(f) = -f**2 + f - 2. Let u be d(2). Let x be (6 + u)*(1/(-55))/1. Which is smaller: x or 0?
x
Let w = -0.02 - 6.98. Let x = -117 - -112. Is w >= x?
False
Suppose 6*p = 4*p + 10. Let w(g) = -g**3 + 8*g**2 - 5*g - 3. Let m be w(7). Let l be m/3 - (-8)/8. Which is smaller: l or p?
l
Let r = 5.02 - -1.28. Let w = 5.87 + 0.13. Let q = r - w. Are q and 1 nonequal?
True
Suppose -3*r - 9*r = 0. Let k(v) = -v**2 + 3*v + 2. Let f be k(8). Let n = f + 187/5. Which is greater: n or r?
r
Let u be ((-2)/36)/((-1)/(-80)). Let w = -7435504/63 - -118019. Let o = w - u. Is o greater than -1?
True
Suppose 0 = 5*y - 2*d + 26, 4*y = 3*d - 37 + 12. Let a be (7 - -4)*(y + 3). Is -13 greater than a?
False
Let k = 1396 - 839. Is k >= 0.1?
True
Let n be ((-510)/56)/((30/236)/(-5)). Let m = -358 + n. Let c be (-1 + -1)*2/(-4). Which is smaller: m or c?
m
Let v(b) = -19*b. Let z be v(8). Which is smaller: z or 0?
z
Let t be ((-1008)/98)/(2/14). Is t not equal to -215/3?
True
Let j be 7/(7/(-12)) + (0 - -2). Let p be j*(50/280 + (-2)/8). Which is greater: p or -2/3?
p
Suppose -2*j - 4*b = 0, -6 = 4*j - 3*j - b. Let r = -31 + 30.83. Which is greater: j or r?
r
Let d = 2 - 1.8. Let n = -0.3 + d. Let b = -195.4 - -195. Is b != n?
True
Let d be 1/4 - (-936)/(-1184). Which is smaller: -2 or d?
-2
Let r be (-14472)/(-3616) + (-36)/9. Which is greater: 1 or r?
1
Suppose 0 = 2*c - 2*o + 4 - 24, 4*o - 5 = -c. Suppose -4*x + 10 = -18. Is c < x?
False
Suppose 2*c - 1742 = -1274. Which is greater: c or 231?
c
Let z = 1.22 - 2.15. Let y = z + 1.03. Are y and -0.16 equal?
False
Let w be 4/465*220/(-1848). Is w greater than or equal to 0?
False
Let k(z) = 86*z - 108. Let c be k(1). Let p = -1 - -1.4. Which is greater: p or c?
p
Let h = -93.816 - 0.184. Let f = h - -93.57. Is -1 at most f?
True
Let c be -1 - -2 - 1 - 20/10. Let f be ((-290)/35)/c + -4. Which is smaller: f or 1?
f
Suppose -4*y = -4*d - 16, -6*d + d = -2*y + 14. Suppose q + 3 = y*q. Let m = 8 - q. Do m and 6 have the same value?
False
Let t be (-6)/14 + 90/(-35). Let g be (-21)/5 + t/(-1). Which is smaller: 0 or g?
g
Let s be 1/(4/46*(-1)/4). Let w = -84 - s. Is w <= -38?
True
Let m = 72 + -71. Let w = 0.7 + 0. Let k = 0.3 + w. Are k and m nonequal?
False
Let u(n) = -3*n**3 + 2*n**2 - 3*n - 9. Let q(o) = -2*o**3 + 3*o**2 - 2*o - 8. Let k(j) = -4*q(j) + 3*u(j). Let x be k(-6). Is 10 greater than or equal to x?
False
Suppose -f = -2*n + 3*f + 12, -5*n + f = -12. Suppose -5*b + o = 50, -3*b - n*b - 80 = 5*o. Is b bigger than -11?
False
Let y = 49.8 + -77.8. Which is bigger: y or 0.08?
0.08
Let l be ((-15)/10)/(2/(-4)). Suppose u + 4*j + 0*j = 34, -2*u = -2*j - 28. Let r be (9/u)/(2/12). Is r <= l?
True
Suppose 37*f - 17 = 94. Which is bigger: f or 5?
5
Let b be (-12)/(9*10/(-30)). Let o = 9/5 + -23/10. Is o smaller than b?
True
Let d = 55/2 + -28. Let c = 11.859 - -0.141. Is c at least d?
True
Let d be -2 - ((-210)/206 + -1). Let t be (1 - (-16)/(-36))/((-2