 8. Suppose 5*z + 2*b - 1 = 0, -u*z = z - 3*b - 11. Let r = 0 - z. Which is greater: r or -3?
r
Suppose 14 + 69 = 5*x + 3*p, 3*x - 3*p - 45 = 0. Is x >= -0.1?
True
Let c be 3/(1/2*-2). Let j be -5 + 1 + -1 - c. Is j smaller than -2?
False
Let v = -4 - -7. Let m(w) = w - 5. Let n be m(4). Which is smaller: n or v?
n
Let p be ((-23)/4)/(2/(-8)). Suppose -5*i + 4*r + p = -2*i, -12 = -2*i + 2*r. Do -2/19 and i have different values?
True
Let p = -1.8 + -10.2. Let w = p - -11. Is 0.6 at most as big as w?
False
Let n(y) = y - 10. Let d(c) = c**3 + 10*c**2 - c - 3. Let s be d(-10). Let p be n(s). Which is smaller: -5/3 or p?
p
Let a = -5.797 + -0.043. Let j = -0.16 + a. Which is greater: j or -0.1?
-0.1
Suppose 4*h + 2*z = 3*h + 9, -2*z = 2*h - 8. Let y = h - -5. Suppose 5*d + 1 = -l - 11, 4*d = 2*l - 18. Are y and l equal?
False
Let h(r) = r**2 + 7*r - 5. Let m be h(-7). Let d be m/(-7)*16/40. Which is smaller: 0 or d?
0
Suppose -3*k = -2*a - 0*a + 9, 0 = 3*a + 2*k - 7. Is 1 at most a?
True
Suppose -6*k + 5*k + 5 = 0. Let v = -4 + k. Suppose -v + 0 = -m. Are 2/9 and m unequal?
True
Let c = -0.193 + -0.037. Let j = c - -0.09. Is j smaller than 0.1?
True
Suppose 0*x - 3*x = -12. Suppose -5*c - 3*r = 14, 4*c = -3*r - x - 6. Is -4 smaller than c?
False
Let y(o) = -o**2 + 2. Let r be y(1). Is r less than -14?
False
Let p = 0.179 + -1.179. Let x be (-16)/15 - 4/(-6). Which is smaller: x or p?
p
Let g(c) = -2*c + 4. Let t be g(5). Let v be t/(-26)*12/18. Is -1 >= v?
False
Let c be -2 - (1 + 0 - 0). Let x be 6/4*(-4)/c. Which is bigger: -0.1 or x?
x
Suppose 4*o + 2 - 10 = 4*v, -v - 7 = -2*o. Let u be v/(-7) + 19/28. Which is smaller: -1/2 or u?
-1/2
Let x be ((-9)/6 + 2)*0. Is x smaller than -2/29?
False
Suppose 5*z - 4*d - 74 = -2*d, d - 3 = 0. Let k be (9/(-12))/(2/z). Let v be 2/6*18/k. Is v greater than -2?
True
Let f be ((-9)/3)/((-4)/12). Suppose -5*n = 2*i - 24, n = i - 0*i + f. Is n != 5?
True
Let h(m) = -m - 1. Let l be h(-3). Let c(y) = y**3 - 2*y**2 + y - 1. Let p be c(l). Is -4 greater than p?
False
Let w be (-225)/570 - (-2)/4. Which is greater: 0 or w?
w
Let o = -18 + 29. Is 1 at most as big as o?
True
Suppose -2*v - 2*v + 3*d + 3 = 0, 4*v + 3*d = -3. Let b(f) = 2 + 8*f**3 - 3*f**3 - 4*f**3. Let p be b(v). Is 2 at least p?
True
Suppose -g + 4*g = -12. Let b = 2 + g. Is b at least -4?
True
Suppose -3*u + 2*u = 0. Let l be u/(2/2 - -1). Let j = -3 - -4. Are l and j non-equal?
True
Let p = -1/9 - -1/6. Let a(t) = -t + 3. Let y be a(3). Which is bigger: p or y?
p
Let y be -31 + 34 - 2/2*3. Which is bigger: y or -7?
y
Let z be 74 + (-2 - -4) - (6 - 4). Which is bigger: z or 76?
76
Let i(k) = k**3 + 1. Let o be (-1)/((-24)/(-22) + -1). Let j = o + 11. Let r be i(j). Are 1/3 and r unequal?
True
Let b = 16 + -13. Is 5/2 less than b?
True
Let a(z) = z**2 - 6. Let m(l) = -l + 1. Let f(g) = -a(g) - 6*m(g). Let o be f(6). Let p = 12 - 11. Is p at most as big as o?
False
Suppose -4*b + 2*k = -32, -3*b - 5*k + 3*k + 10 = 0. Suppose -b*o = -2*o + 4. Is o smaller than 0.04?
True
Let y(f) = f**2 + f - 1. Let p be y(0). Suppose 4*t + 1 + 19 = 0. Let m = 2 + t. Is m < p?
True
Let k be ((-2)/(-3))/((-63)/27). Is k greater than or equal to -1?
True
Suppose 2*l - o + 3 + 2 = 0, 4*l = -2*o + 2. Is l < -2?
False
Suppose -2*z + 27 = z. Let w(l) = -4*l - 3. Let i be w(z). Let p be i/60 + 2/5. Which is greater: -1 or p?
p
Suppose 44 = 2*k + 2*k. Let l(n) = -n**2 + 11*n + 7. Let i be l(k). Let a(r) = r - 7. Let x be a(i). Which is greater: x or 1/5?
1/5
Let i(c) = -c**3 + 5*c**2 - 4*c. Let n be i(6). Let q be 2/4 - (-593)/10. Let b = q + n. Are b and 0 equal?
False
Suppose 3*n = 2*n + 13*n. Does n = 0.024?
False
Suppose 5*v = 4 + 1, 13 = 3*m + 4*v. Suppose 4*h + 9 = -m. Is -4 != h?
True
Suppose j = -1715 - 6044. Let m be 15/20 - j/(-20). Let p = m - -386. Is 0 greater than p?
True
Suppose 2*f - 1 = 4*u - 3*f, u - 3*f = -2. Let d be 8/(-30)*(-9)/6. Are d and u unequal?
True
Let s be (-37157)/(1969 - (0 + 2)). Let u = 25157535/1306088 + s. Let l = u - -2/581. Are l and 0 non-equal?
True
Let h be 2 - (1*-2 + 0). Suppose 3*b + 45 = h*b. Let r be 39/b - (-4)/(-6). Which is bigger: -1 or r?
r
Let r be (70/(-34) - -2)*2. Let g = -4 + 3. Let a(h) = -2*h**3 + h. Let y be a(g). Which is smaller: r or y?
r
Let z = 22 + -21. Is 5 less than z?
False
Let r = 1 - -1. Suppose -11*p + 8 = -15*p. Which is smaller: r or p?
p
Suppose -26*d + 23*d = 0. Let i be (-22)/(-30) - (-2)/(-5). Which is greater: i or d?
i
Suppose 10*x = 11*x - 5. Is x greater than or equal to -5?
True
Let c = -66 - -69. Is 5 less than c?
False
Suppose -5*d - 132 = 78. Is d greater than -42?
False
Let d = 6 - 6. Do d and -2/27 have different values?
True
Let g be (-4)/(-6) + 273/(-45). Is -6 at most g?
True
Suppose -23 = 4*d - x, -5*d - 21 = -d - 3*x. Let h(q) be the second derivative of q**5/20 + 5*q**4/12 - q**3 - q**2 + q. Let c be h(d). Is -2 less than c?
False
Let s = 43 - -32. Suppose k = 4*k - s. Let b = 73/3 - k. Which is smaller: -0.1 or b?
b
Suppose 0 = -5*z - 2*l - 25, -l - 9 - 5 = 3*z. Is -6 >= z?
False
Let f be 1/(((-20)/8)/5). Let q = -33793 - -235223/7. Let a = -190 - q. Is a not equal to f?
True
Let c = -0.04 + 1.04. Let k = -0.06 + 0.06. Which is smaller: c or k?
k
Let a = 18 + -18. Are a and 1 equal?
False
Let k(t) = -t**3 + 7*t**2 - 5. Let o be k(7). Let n be 0 + (o + 0 - -3). Is n >= -2?
True
Let z = 62 - 59. Are z and 0.02 equal?
False
Let t = 17.07 - 17. Let l = t + -2.07. Let q = -2 - -2.2. Which is bigger: q or l?
q
Let g = 32 + -26. Suppose -3*r - 15 = -3*p, 1 = p - 2*r - g. Which is smaller: 9/5 or p?
9/5
Let p = 1225/24 - 147/8. Is p at most 34?
True
Let y = 18.2 + -18. Which is greater: y or 2?
2
Let d(j) = j**2 - 3*j + 4. Let p be 81/(-15) - 4/(-10). Let w = -2 - p. Let s be d(w). Is s greater than 4?
False
Let b be (-70)/315 - (-346)/18. Let m = 26 + -8. Which is smaller: b or m?
m
Let z be (0 + 1)/(2/2). Suppose -2*i + 19 = 3*d + 2, 0 = 5*i - 20. Suppose -2*s = d*s - 5. Is z at least as big as s?
True
Suppose -2*p + 3*p - 5*k = 2, -3*k = 0. Let l = -0.41 + 0.01. Let j = -0.5 - l. Is p at most as big as j?
False
Suppose 3*l + 3 = 2*a - 2*l, 2*a = 2*l. Let f = -368/143 - -30/11. Is f smaller than a?
False
Let l be 0 + -4 + (-39)/(15/(-5)). Let w(c) = -c + 9. Let o be w(0). Is l > o?
False
Let a = 1/32 + -19/96. Is a bigger than 1?
False
Let s = -4/397 + -2338/4367. Is s >= 0?
False
Suppose 4 = 2*t - 3*t. Let b be (t/(-6))/(10/(-15)). Is -4 > b?
False
Let k = 2605 - 664. Let h = -10003/5 + k. Let r = h + 60. Which is bigger: -2/7 or r?
r
Let l(h) = 2*h**2 + 3*h - 1. Let d be l(-3). Let o be 2/d - (-268)/(-112). Let p = -89/35 - o. Is p equal to 1?
False
Let i = -28 + 41. Let p = i + -11. Are 2 and p equal?
True
Let i = 0.2 + 0.8. Let b = -1.7 - -0.7. Let m = b - -0.8. Which is smaller: m or i?
m
Let p be (-77)/(-98) + 2/(-4). Is 0.4 bigger than p?
True
Let g = -3 + 3.03. Let s = -0.17 - g. Which is smaller: s or -0.3?
-0.3
Let f(q) = 3*q - 1. Let z be f(3). Suppose -2 = -5*w + z. Suppose -w*c = -c. Is -1 greater than c?
False
Let n be 4/20*(4 - (-2 - 11)). Which is smaller: 2 or n?
2
Suppose 0 = 5*o - 5*v + 75, -10 = v - 3*v. Let k be ((-4)/o)/((-2)/(-10)). Is k greater than 3/4?
True
Suppose 0 = 4*b - 3*x - 0 - 3, -4*b = 5*x + 5. Which is bigger: b or -1?
b
Let u = -9 + 11. Is u at most -1.5?
False
Let z be (339/(-87))/(19/(-1)). Let q = -9/29 + z. Which is bigger: 0 or q?
0
Suppose -3*z = -5*r - 28, -6*z + z - 5 = 2*r. Do z and 3/4 have the same value?
False
Let x be 2/(-5) - (-49)/35. Let g be ((-2)/4)/(x/6). Let w be (1/2)/(g/6). Which is smaller: w or -1/4?
w
Suppose 5*a + 3*n - 610 = 1324, -1167 = -3*a - 4*n. Let b be (-182)/a - (-1)/5. Let h be 2 - ((2 - 1) + 0). Which is smaller: h or b?
b
Let k = -5 - -9. Let d = 8 + -4. Let c = d - k. Do 0 and c have different values?
False
Let w(c) = 2*c**2 - c - 2. Let a be w(2). Suppose -4*j + 2*u - 12 = 0, -2*j - 3*u - 2 = -a. Is j at least as big as -8?
True
Let w(x) = -x + 2. Let m be (-87)/(-15) + 1/5. Let q be w(m). Is q < -4?
False
Suppose -2*m = -3*m + 15. Let p = -6 - 5. Let i = m + p. Which is bigger: i or -0.1?
i
Let v be 3*((-6)/(-3))/12. Let m = 0.1 + 5.9. Let s = 3 - m. Which is greater: v or s?
v
Let i be (-358)/(-12) - 6/(-9