 8. Let b be a(4). Let s be 2/8*(-8)/(-10). Which is bigger: b or s?
s
Let k = 3.04 - 0.04. Let d = 2 + k. Let i = d - 5. Is i bigger than -2?
True
Suppose -39 = -4*x + 69. Is x smaller than 27?
False
Suppose 0 = 2*k - 2*x + 4*x - 10, 15 = -4*k + 3*x. Are k and -1/3 unequal?
True
Let z(a) = a - 8. Let u be z(10). Let i = -1 + u. Is 1 smaller than i?
False
Let k(s) = s**3 + 6*s**2 - 2*s + 8. Let r be k(-6). Let w = r - 81/4. Let i = 1/4 - w. Do 2 and i have different values?
True
Suppose 4*m - 42 = 2*b, m - 3*m = -5*b - 41. Suppose 22 + m = -5*a. Let h = a + 5. Is h at least -1?
True
Suppose -127 = 2*u - 135. Which is bigger: -14 or u?
u
Let l be ((-6)/(-81)*-24)/2. Which is greater: l or -2?
l
Let o be -2*(66/28 + -2). Which is greater: 0 or o?
0
Let a = 4 + 0. Let s(m) = m**3 - 10*m**2 + 8*m + 9. Let c be s(9). Suppose -5*v - 4*l + 18 = c, v - 3*l + a = -0*v. Is v equal to 4/5?
False
Let o be (2/20)/((-2)/5). Is 10 greater than o?
True
Let c = -2212/81075 - -2/3243. Which is smaller: c or -1?
-1
Let g(y) = -3*y - 2. Let m be g(4). Let w be (12/42)/(3/m). Let x be (-1 + 1)*(-2)/(-4). Is x equal to w?
False
Let c(s) = -s**2 + 5*s - 3. Let o be c(3). Let v(g) = g**3 - g**2 - g + 2. Let m be v(0). Let w be m/6 - (-5)/3. Is o <= w?
False
Let n be 9/(-9*3/(-90)*5). Which is smaller: n or 24/5?
24/5
Let p = 1513/114 + -79/6. Is 1/4 > p?
True
Let c = 1/185 - -22/37. Which is bigger: -0.9 or c?
c
Let m(v) = v. Let f(k) = 4*k - 9. Let d(r) = -f(r) + 3*m(r). Let g be d(6). Is 16/7 < g?
True
Let k(l) = -23*l**3 + l**2 - l - 1. Let h be k(-1). Let y be ((-1)/4)/((-21)/h). Is 1 > y?
True
Let b = -5419/60 - -437/5. Let p = -11/3 - b. Let w be (1/(-2))/((-3)/(-12)). Which is bigger: w or p?
p
Let i(b) = -b**3 - 5*b**2 + 5*b - 7. Let x be i(-6). Which is smaller: -3/5 or x?
x
Let f be 5 + -4 + 0 + -1. Let v = -3210094/80829 + 4/11547. Let l = 40 + v. Which is smaller: l or f?
f
Let h = 1.03 + -0.83. Let s = -0.1 - -0.1. Which is smaller: h or s?
s
Let s = -19 + 19. Is s != 2/9?
True
Let f = -3 + 1.6. Which is greater: -2/9 or f?
-2/9
Suppose 3*k = -2*k - k. Let f be 54/(-44) - 6/(-4). Which is smaller: k or f?
k
Let k = -51 + 61. Does k = 6?
False
Let m = 0.38 + -0.58. Is -0.06 at least m?
True
Let h(g) = 2*g**2 - 2*g - 1. Let q be h(2). Suppose 5 = -2*r - q*r. Let b be 1/(21/(-6) + 1). Is b > r?
True
Let n = -1.49 - -1.47. Let y = 3.1 + -3. Which is greater: y or n?
y
Let j = -200.3 + 201. Which is greater: j or -8?
j
Let z = 5 - 37/7. Which is smaller: z or 1/3?
z
Suppose 3*d + 17 = m, 0 = 2*d - m + 6 + 4. Let k(w) be the third derivative of -w**5/30 - 5*w**4/24 - 2*w**3/3 - 2*w**2. Let t be k(-3). Is t at most d?
True
Suppose 16 = -3*l + 43. Are l and 13 unequal?
True
Suppose 3*p - 9 = -0*p. Suppose 3*c = -p*y - c + 23, -2*y - 23 = -5*c. Let x = -2 + y. Which is bigger: x or 2/9?
2/9
Let p = -1870295155 + 390892809514/209. Let c = p + -5369. Let f = -20/209 + c. Are f and 0 equal?
False
Let r = 1215 + -13375/11. Which is smaller: -1 or r?
-1
Let t = 14 + -8. Let k be (-4)/6*t/(-4). Let v = 9 - 10. Do k and v have different values?
True
Suppose q - 4 = 2*q - 4*u, 3*u = 0. Let i = q + 8. Let n be (i/(-66))/(2/(-12)). Is -1 not equal to n?
True
Let r = 49 - 55. Are 1 and r nonequal?
True
Suppose f + 2*f = 12. Let v = 4 - f. Let b be 0/((-3)/(6/4)). Is v equal to b?
True
Suppose 0 = 2*b - 6*b + 8. Suppose -k - a = -3*a - 4, -3*k = b*a + 12. Which is bigger: -5 or k?
k
Suppose -1 = 5*j - 11. Let l = 5 - j. Suppose 2*i - l*g - 3 = -i, 31 = -5*i - 4*g. Which is smaller: i or -1?
i
Suppose 3*t = -1 - 65. Let z be 2/4 + 7/t. Let v(p) = p - 5. Let u be v(6). Are z and u equal?
False
Let g = -36 + 54. Is g > 18?
False
Let m = 25.9 + -26. Which is smaller: 1/11 or m?
m
Let i = -3/158 + 989/79. Is i bigger than 13?
False
Suppose r + 4*r - 5 = 0, -5*r + 10 = z. Let h = 0.9 - 12.9. Let t = 11 + h. Is z less than t?
False
Suppose 5 = -3*k + 4*k. Suppose -2*s = -4*o + 31 + 35, -5*o + 4*s = -87. Suppose -z - o = 2*y - k*y, -5*z - 25 = -5*y. Is -2/25 >= z?
False
Let q be 46/(-14) - (-6)/21. Let w be q*(1 - 1/3). Let s be 1/3 - w/3. Which is smaller: -1/18 or s?
-1/18
Suppose 29*d - 33*d = 4. Which is bigger: 1/84 or d?
1/84
Suppose 4*k = -1 + 9. Let t be -11 + (2 - (2 - k)). Is -8 at least as big as t?
True
Let s = 46 - 27. Is s less than 19?
False
Let u be (4/(-4) - -4) + 2. Is u at least 5?
True
Let y = -6 + 5.9. Which is greater: 0.14 or y?
0.14
Let u = 103 + -153. Is -50 less than or equal to u?
True
Let l = 22 + 3. Let w be (4/10)/((-1)/l). Let d = w - -6. Do d and -4 have the same value?
True
Let f = 3 - 3.1. Let a = -109 + 120. Is a != f?
True
Let y(v) = 3*v + 6. Let n be y(-3). Is 1 >= n?
True
Let k(z) = -z + 28. Let m be k(-12). Which is smaller: m or 38?
38
Let u = 1154/5 - 233. Are -0.1 and u nonequal?
True
Let f = -2 - -1.95. Let u = 14.95 + -15. Let q = u - f. Is 4 less than q?
False
Let g(n) = -n**3 - 2*n**2 + 3*n. Let z be g(-3). Let f be (z + -1)*(-4)/(-20). Is -1 < f?
True
Suppose -30 = -5*v + 50. Is v less than or equal to 16?
True
Suppose -8*w + w + 133 = 0. Are 1/2 and w non-equal?
True
Let p(r) = -12*r + 1. Let o(v) = v - 8. Let d be o(9). Let i be p(d). Let l = 15 + i. Is l at least 3?
True
Let n = -15.94 - -16. Are -1/2 and n equal?
False
Suppose 4*k = 2*k + 2. Let h = 562 - 850. Let u be h/(-3224) + (-4)/26. Is u at least as big as k?
False
Let r = 13 + -10. Suppose p - 1 + 2 = -k, -5*p - 32 = -4*k. Is k < r?
False
Let t be (-2)/(-7) + (-5)/(-7). Let g be t*(-1)/4*1. Suppose -5*d - 2*s = -20 + 7, 0 = 3*s - 12. Is g equal to d?
False
Let s(n) = -4 - 5*n - n**3 - n + 8*n**2 + 5*n. Let i be s(8). Let h be (1 + -4)/((-9)/i). Is h smaller than -4?
False
Let u(p) = -4*p**2 - 2*p - 2. Let z be u(-1). Let w(b) = -b**2 - 5*b - 5. Let q be w(z). Do q and -1 have the same value?
True
Let s = -0.3 - -0.31. Let b = 0.29 + s. Which is smaller: -2 or b?
-2
Let t(h) = -h**2 + 6*h + 9. Suppose 0*m + 4*m - 28 = 0. Let x be t(m). Is x less than 1?
False
Suppose 3*h = -h + 4. Is 2 bigger than h?
True
Let v be -4*(15/(-4) + 3). Suppose 5*r = i - 1, 3*i - v = r + r. Which is smaller: 1/2 or r?
r
Let n = -1 + 5. Let z be 14/8 - (-1)/n. Suppose -z*b + 1 - 2 = -5*v, 0 = -2*v - 2. Is -4 at most b?
True
Let t(b) = b**3 - 3*b**2 + 5*b - 4. Let y be t(3). Which is bigger: y or 8?
y
Let s = 40 + 12. Is s less than or equal to 54?
True
Let a = -3 - -6. Suppose -4*q = -a*q. Suppose q = -0*j - j. Which is smaller: j or -1/4?
-1/4
Let i(p) = p - 4. Let w be i(3). Let b = 0 - 1. Let f be 1 + b - (-5 - -6). Is f equal to w?
True
Let f(x) = -3*x + 7. Let o be f(5). Let i = -8 - o. Let a = 53/84 - -1/28. Is i at least as big as a?
False
Let v be 36/21 - (-2)/7. Is v smaller than 2?
False
Let g be (-2)/(-8) + 524/16. Which is smaller: 63/2 or g?
63/2
Suppose 6*r - r - 30 = 0. Suppose r*u + 3*o - 11 = u, 3*o = u + 5. Let c = -2/9 + 13/18. Is u smaller than c?
False
Let f = 7.9 + -8. Which is smaller: 0.7 or f?
f
Let v = -1 + 0. Which is smaller: v or 0?
v
Let x(j) = j**2. Let o(h) = -5*h**2 + h - 2. Let y(z) = -o(z) - 6*x(z). Let g be y(-2). Suppose 5*a = 2*l - 2 - g, -5*l + 5 = 3*a. Which is smaller: a or -3/8?
-3/8
Let t = -22 - -32. Let v = -8 + 18. Let u = v - t. Is u <= 1?
True
Let q = 9/7 + -59/35. Let v(a) = a**3 - 3*a**2 + 2*a. Let n be v(2). Which is bigger: n or q?
n
Suppose 0 = 7*t - 4*t. Suppose 5*v - 12 = -2*y, 0*y - 1 = -y. Is t less than or equal to v?
True
Let o = 21 + -11. Let i = o + -12. Let s = -1 - 0. Is i at least as big as s?
False
Suppose r + 1 = 3*n - 4, 8 = -r + 2*n. Are -14 and r non-equal?
False
Suppose 0 = -3*v - 3*o + 6, 0*v - 4 = -4*v - 5*o. Let g(b) = -2*b + 12. Let k be g(v). Which is bigger: k or 1?
1
Let o = 0.36 - -0.2. Let z = -4.84 - o. Let u = 5 + z. Is u <= 1/4?
True
Let u be ((-34)/(-20) - (-24)/(-16))*-47. Which is smaller: u or -10?
-10
Let n = 0 + 1. Let k be ((-9)/(-3))/(-1 - -2). Let u be (-5)/k - (-1 - 1). Is u at least n?
False
Let m = 4 - 2. Which is greater: m or 1?
m
Let i be 14/7 - (-2)/2. Are 0 and i nonequal?
True
Let v = -0.02 + 4.02. Which is bigger: 0 or v?
v
Let p = 33 - 36. Is p < 0?
True
Suppose -5*n + 2*k - k - 465 = 0, -3*k = -15. Let y be (-3)/5 - n/20. Which is smaller: -1 or y?
-1
Let r = 5 - 2. Let s = -19.6 + 19.6. Whic