8. Let d be 8/j + (-4)/6. Which is smaller: d or 1?
d
Let g = -23 + 19.2. Is g at least 1?
False
Let t(x) = -x**3 - 2*x**2 - 2*x - 1. Let r be t(-2). Suppose -12 = -r*y + 3*z, -y = 4*z + 11 + 10. Let d be (-16)/(-10) - (-6)/(-3). Which is greater: d or y?
d
Let a be (-2)/4 - (-3)/(-30). Let z be 39/(-26) - (5/(-2) - -1). Is a >= z?
False
Suppose 3*m - 8 = 2*h + 8, -4*m + 3 = h. Suppose m*d = -5 - 9. Suppose 0 = -f + 5 - 12. Is d bigger than f?
False
Suppose 8*d + 10 = 13*d. Which is greater: 21/8 or d?
21/8
Suppose 0 = -3*v + 4*v + 6. Let z be 20/v - (-1)/3. Let j(o) = -o**3 - 4*o**2 - 3*o - 1. Let u be j(z). Which is greater: -5/6 or u?
-5/6
Suppose -53 = -3*t + 2*m, -2*t + m + 30 = -3*m. Do t and 0 have the same value?
False
Let g = 2 - 2.5. Let f = g - 0.5. Let l = f - -0.9. Is -0.1 >= l?
True
Let v be 1 + (0 - 3) - -1. Let y be 0 + v - (-5)/10. Which is smaller: 0.1 or y?
y
Let c be (2/(-2))/(2 - 1). Do -9 and c have the same value?
False
Let r(f) = -f - 8. Suppose 5*o - 4 = -z + 2, 2*o - 4 = 0. Let u be r(z). Suppose -5*b - 18 = b. Do u and b have different values?
True
Let f be 1929/2*12/90. Let r = f - 129. Let u(n) = -n**2 - 6*n - 6. Let q be u(-5). Which is greater: r or q?
r
Let x = 0 - 0. Let k be (1 - x)*2/18. Is k greater than or equal to 1?
False
Suppose -10*m + 7*m + 81 = 0. Let a be (-4)/6*m/(-72). Let j be (-2)/3 - 1/3. Is a less than or equal to j?
False
Suppose 0*i - 3*p = -2*i + 19, 5*p = -2*i - 21. Suppose -1 = i*s - 7. Which is greater: s or 1?
s
Let y be (96/(-33) - -3)*12. Which is smaller: y or 0?
0
Suppose 3*q + 25 = 2*p + 9, -2*q = 2*p - 6. Let w(r) = -r - 6. Let l be w(-3). Which is bigger: q or l?
q
Let f be (51/9 - 4)*-3. Is -3 > f?
True
Suppose 0 = -4*t - y + 5 - 0, -2*t - 10 = -2*y. Which is smaller: 1/15 or t?
t
Let r = 10 - 4. Suppose 4*l - 2 = -r. Is l equal to 2/29?
False
Suppose h + 3*h = -4*x, -3*h = 2*x - 2. Suppose 0*o = h*o - 2. Which is greater: o or 3?
3
Let m be (-56)/(-96) - 6/8. Which is smaller: m or 0.2?
m
Let k = 1 + 3. Suppose -34*l = -36*l + 10. Which is bigger: k or l?
l
Let y(v) = -v**3 - 3*v**2 + 3. Let f be y(-3). Suppose 0 = a + f*a + 12. Is a smaller than -3?
False
Let q = 42 + -60. Let m be ((-4)/q*3)/(-1). Let r = 566 - 568. Which is smaller: r or m?
r
Suppose -2*x = -x - 4. Let h be x*-1*(1 + 0). Let a be 2*(-1 + 3)/h. Is 1/3 at most as big as a?
False
Let d(f) be the third derivative of f**4/24 - f**3/6 - f**2. Let j be d(1). Suppose -3*w - 2*w - 10 = j. Which is greater: w or -1/2?
-1/2
Suppose 0 = 2*x + 3 + 5. Let j be x/(-14) + 18/84. Let a = 5.2 + -5. Is a less than j?
True
Let r(s) = 4*s**3 + s**2 - s - 1. Let j be r(-1). Let i be 2 + 0 + j + 6. Which is bigger: i or 6?
6
Let p = -6 - -6. Let y = -2 + p. Which is smaller: 1 or y?
y
Let l be 25/(-1860)*2*-1. Let q = l - 6/31. Which is bigger: -1 or q?
q
Let g = -1 + 10. Let b be 2/g - 17/36. Is b at least 0?
False
Suppose -75 = -2*u - 3*u. Suppose -h = -6*h + u. Let f be h/((-5)/(30/(-9))). Which is smaller: 3/5 or f?
3/5
Let b = 43/120 - 1/40. Suppose 0 = 2*n - 2*w - 2 + 4, 3*n + 1 = 2*w. Does n = b?
False
Suppose -3*c = 5*u - 26, 0 = -0*u - 3*u - c + 14. Let q be (2/u)/((-7)/14). Let h = -0.2 + 0.1. Which is greater: h or q?
h
Suppose 3*s + 5*i + 10 = 0, -3*i - i = -5*s + 8. Which is greater: 7/8 or s?
7/8
Let q = 45 + -45. Let g = 24/5 + -62/15. Is q != g?
True
Let g(x) = 2*x + 3. Let r be (3 + -2)/(-1)*3. Let u be g(r). Let w(f) = f**2 - 7*f - 10. Let z be w(8). Is u >= z?
False
Suppose -3 = 3*o - 6*o. Let h be o/2 + (-11)/18. Suppose -k + 6*k = 0. Is h at least as big as k?
False
Let q(s) = s**2 + 10*s - 14. Let b be q(-12). Suppose -2*v + b = 3*v. Let d be (-1)/v*(7 - 7). Are 0 and d equal?
True
Let b = 100 + -102. Suppose 0 = -4*h + 4*c, -h - 14 = 5*c - 2. Is h at least b?
True
Suppose 7*q = 3*q + 32. Let m = -6 + q. Let p = -0.1 + 0.1. Which is smaller: m or p?
p
Let w(l) = 2*l**2 + 0*l**2 + 3 + 0*l - l**2 + 7*l. Let g be w(-6). Is g greater than or equal to -3?
True
Let n = -12 + 73/6. Is n at most 0?
False
Let q = 25 - 22. Suppose -10 = 5*t + q*k, -3*k - 15 = 2*t - 2. Let h be (-2)/(-3)*(-3)/29. Which is bigger: h or t?
t
Let w = -4 + 3. Let z = -0.94 - w. Let g = 0.06 - z. Which is smaller: g or 1?
g
Let m = -7.94 - -8. Let w = m - -0.94. Which is smaller: 0 or w?
0
Let w = -256 - -259. Let a = 0 - -1. Which is smaller: a or w?
a
Let h = -10.9 + -0.1. Let z = h - -7. Let g = z + 2. Which is greater: g or 0.2?
0.2
Suppose -44 = 4*r + 20. Let t be 8/r*(1 - -3). Let q be (t/(-4))/((-1)/2). Is q < -1/2?
True
Let h = 2 - -2. Suppose h*a + 2 = 18. Is a > 4?
False
Let l = 0 - -2. Let h be 2/(-4)*l/1. Suppose 4*g = -33 + 41. Which is smaller: g or h?
h
Suppose 0 = -3*n - 3. Is 2/15 <= n?
False
Let r(p) = -2*p**2 - 127. Let s be r(0). Is s less than -127?
False
Let m = -0.58 + 0.38. Which is smaller: m or 2?
m
Let o(q) = q**2 + 10*q + 10. Let f be o(-9). Let b be (-3 - -1)/(f/(-2)). Let t = b - 0. Is 4 greater than t?
False
Let a be 2/(1/(4 - 3)). Let v be (-1)/a - (-20)/8. Do 4 and v have the same value?
False
Suppose -20 = -2*z - 3*f, 3*f = -0*z - 4*z + 28. Suppose 5*x = 2*p + 31, 5*p - 6*p - 2*x + 7 = 0. Let s = 6 + p. Do s and z have different values?
True
Suppose 0 = 6*d - 4*d - 28. Let v be 3/((-4)/16*d). Suppose -5*j = 8 - 3. Is j >= v?
False
Let t(v) be the second derivative of 7*v**4/12 + v**3/2 - 5*v**2/2 - v. Let w(g) = 4*g**2 + g - 3. Let f(i) = -3*t(i) + 5*w(i). Let n be f(-4). Is n <= 0?
True
Let j = 3 - -8. Suppose j*l = 6*l. Which is smaller: -2 or l?
-2
Let p = -92 + -118. Let s = p + 2313/11. Suppose l - 5*k + 20 = 0, 3*l - 4 = 5*l - k. Is s less than or equal to l?
False
Let c = -1147/5 - -229. Suppose 2*l = -l + 3. Which is smaller: c or l?
c
Let k(n) = 2*n**2. Let h be k(1). Suppose h*i - 63 = -i. Let p be (2 + -1)/(i/(-9)). Which is smaller: p or 1?
p
Let z be 2/21*35/15. Which is smaller: 0 or z?
0
Let v = -10 + 5. Which is bigger: 0 or v?
0
Let c be (-2)/(-4) + 2/4. Let l be 5/(-2)*(-12)/10. Let m be l + -4 + (0 - -1). Which is smaller: c or m?
m
Let k be 1*(2044/(-404) + 5). Is 0 bigger than k?
True
Let z = -581/66 - -84/11. Which is smaller: z or -2?
-2
Let u(s) = s**3 - s**2 + 3*s - 3. Let x be u(2). Suppose 10*o - 70 + 20 = 0. Which is smaller: x or o?
o
Let d = -1.1 - -1.2. Let j = 0.7 - 1. Let p = j + d. Is -2 less than or equal to p?
True
Let a(j) = -j**3 + 11*j**2 - 9*j - 5. Let g be a(10). Suppose -l + g*l = -8. Let z = -0.3 - -0.1. Which is bigger: z or l?
z
Let f be (-1 - (-20)/(-12) - -3) + 0. Which is greater: -20 or f?
f
Let s be 15/6*2/10. Let r be ((-3)/23)/((-6)/4). Are r and s nonequal?
True
Let x = -0.5 - 0.5. Suppose 2 = -2*l - 2*z, -l - 4*l - 37 = -3*z. Let d be -2 + (-12)/l + 0. Are d and x non-equal?
True
Let d be (-21)/(-14)*(-40)/(-6). Which is smaller: 13 or d?
d
Let i = -6 + 13. Let v = i + -5. Are 1 and v nonequal?
True
Suppose -4*r = -4*t - 20, 1 = -2*t + 4*r - 19. Let f be 2/(-1) - 1*-1. Let o be (2 + f)/5 - 0. Which is smaller: t or o?
t
Let z = 0.29 + -0.29. Is -0.01 at most z?
True
Suppose o - 3*c - 11 = -c, 2*o - 7 = c. Which is smaller: o or 4/5?
4/5
Let v(t) = 36*t - 5. Let r be v(4). Let p be ((-2452)/(-18) - -1) + 2. Let c = r - p. Which is smaller: c or -1?
-1
Let h(q) = -2*q**3 + 2*q - 1. Let m be h(1). Let j(s) = s + 4. Let d be j(-3). Is d less than m?
False
Let z = 0 + 0.1. Let q = -241 - -497/2. Let m = -8 + q. Which is bigger: z or m?
z
Suppose 5*s + x - 4*x = 21, -3*s + 13 = -2*x. Suppose 2 = c, -4*k - 4*c = -s*k - 9. Suppose -2*o = k - 7. Is o at least as big as 1?
True
Suppose 4*i - 22 = -3*f, -f + 10 = -6*f + 5*i. Let k be (4 - f)*(-2)/4. Let y be (-4)/(-6) + (-8)/3. Which is smaller: y or k?
y
Let h(n) = n**3 - n + 7. Let r be h(0). Suppose -4*k - 18 = 2*q - r*q, -4*q + 8 = 0. Is k != -2?
False
Let r be (4/4)/((-2)/(-68)). Suppose 0 = 3*y + 11 + r. Which is smaller: y or -14?
y
Let i(n) = -2*n + 17. Let m be i(10). Which is greater: m or -1?
-1
Let b = -7 + 6. Is -1/36 at least b?
True
Let w(n) = n**2 + 2*n + 3. Let y be w(-2). Suppose 8 = -y*i - v, -4*i + 9*i + 16 = v. Suppose 4*b - 4 = 3*k, 0*k + 2*k + 14 = -3*b. Which is smaller: b or i?
i
Suppose 2*v + 0*v + 2*l - 24 = 0, -4*v + 51 = l. Is v at least 12?
True
Let i(a) = 4*a + 1. Let r(v) = 5*v. L