- 8. Let y be q(m). Is -2 <= y?
True
Suppose a - 1 - 1 = 0. Suppose -a*r - 4 = -0. Let p be 1 + r - (-3 - -2). Which is smaller: 1/2 or p?
p
Let i = 21227/4 - 5343. Let h be 36 + (-2 - (-4 + 2)). Let v = i + h. Which is bigger: 1 or v?
1
Let x = 3 + 0. Is x at least -1/2?
True
Let u be (2/4)/(10/24). Let z be (-20)/(-70) - 2/7. Is u > z?
True
Let o = -6.71 - 0.29. Is o < -1?
True
Let v(f) = f**3 - 23. Let w be v(0). Let i be (-6)/(-9) - w/(-3). Is i less than or equal to -7?
True
Let a = 4 - 6. Let p = -4 - a. Let g = 0.13 + -0.13. Which is bigger: p or g?
g
Let i be (-11)/22 + 10/4. Which is bigger: i or 17/7?
17/7
Suppose d = -7*h + 3*h, h = 5*d + 21. Let c(a) = 5*a - 26. Let k be c(5). Is k > h?
False
Let r = 9/14 + -107/210. Are r and -1 unequal?
True
Let u = -15160/7 + 2212. Let w be 3*46/12*-4. Let p = w + u. Is 0 greater than or equal to p?
False
Let t = 21.8 - 22. Let x = -0.39 + -0.01. Let g = x - t. Is -1/2 at most as big as g?
True
Suppose 8*z = 3*z. Let a(c) = 1 - 4*c + z*c - c. Let q be a(1). Does q = -1?
False
Let m be 2*(2 + -2 + 1). Let s(j) = -j - 1. Let i(g) = -5*g - 1. Let n(d) = -i(d) + 4*s(d). Let a be n(m). Is 0 less than a?
False
Suppose 4*f - 4*d = f - 104, -f - 38 = -2*d. Does -26 = f?
False
Let d be (-12)/9*9/3. Let q = d + 3. Is -2/17 equal to q?
False
Let k be (-2 + 6/(-3))*-1. Suppose k*s + 0*s = -8. Suppose 5*p = 5*u - 5, -p + u - 7 = 3*p. Is s greater than or equal to p?
True
Let j(o) = o**3 + 5*o**2 - 7*o - 3. Let u be j(-5). Which is smaller: 33 or u?
u
Let j = -8 - -12. Suppose 0 = -u + 6*u, 2*i + 5*u = j. Which is bigger: -1 or i?
i
Let g be (-4)/(-1) - (-192)/(-42). Is -1 >= g?
False
Suppose -c = 2*c - 27. Suppose -5*q = 4*g + c, -q = q - 2*g. Are -3 and q nonequal?
True
Let l(q) = q**2 + 12*q + 5. Let k be l(-12). Suppose 0 = -5*w + 15, 2*r = -2*r + k*w - 55. Are -10 and r non-equal?
False
Let z = -0.1 + -0.9. Let a = 0.16 + 4.84. Which is smaller: a or z?
z
Let w be -2 + -1 + 2*-1. Let n(h) = -2*h. Let d be n(-2). Let l be (-2 - w)*d/42. Which is smaller: l or -0.1?
-0.1
Let a = 1 - 3. Let j = a + -1. Let k = -4 - j. Which is bigger: -2 or k?
k
Let a(h) = h**3 + 7*h**2 + 7*h + 2. Let j be a(-6). Let f = j + 4. Suppose -5*v + 4*v = f. Is v != 0?
False
Let l = 23 - 19. Which is smaller: l or -0.7?
-0.7
Suppose -12 = -2*x + 2*o, -16 = -5*x + 2*o + 14. Let v be (-4)/(-18) - 4/x. Suppose -3*t = -2*t. Do t and v have the same value?
False
Let y = 1/3 + 1/3. Which is smaller: 1 or y?
y
Let h = 191 + -961/5. Let y be (-5)/(-25) - 10/(-14). Let k = y + h. Which is greater: k or 0?
0
Let v be 20/(-15) - 4/6. Let h be v*(3/6 + -1). Let r be ((-3)/6)/(-4 + 0). Is r > h?
False
Suppose 0*b - 2*n + 80 = -2*b, n = 2*b + 82. Let v be (4/b)/((-8)/268). Let p = 20/7 - v. Is 2 < p?
False
Let l(g) = -g**3 - 6*g**2 + 7*g. Let h be l(-7). Let b = 98/3 + -33. Which is bigger: b or h?
h
Suppose n - 7 = -10. Is -0.1 < n?
False
Suppose -9 = 5*r + 3*v, -4*r - 3*v = 7 + 2. Which is smaller: r or -1/2?
-1/2
Suppose -2*d - 10 = 0, -3*w - 14 = -0*w + 4*d. Suppose -w*g - i = 2, 3*i = 6*i - 6. Is -3 > g?
False
Suppose 5*c = -6 + 11. Which is smaller: c or 1/4?
1/4
Suppose 5*i + 5 + 10 = 0. Let o be (0 - (-1)/i)*0. Is o >= 1/14?
False
Suppose -a = 4*a + 35. Suppose 57 - 3 = -6*v. Is v at most a?
True
Let t(r) = -r**3 - r**2 + 3*r - 2. Let v be t(-3). Which is smaller: v or -2?
-2
Let p be 5 + -9 + 56/18. Are -1 and p nonequal?
True
Let o be (4/(-6))/((-4)/(-6)). Let b = -169 - -3886/23. Is b > o?
True
Let i = -29 + 43. Which is greater: i or 15?
15
Let g be ((-2 - 0) + 3)*4. Suppose 0 = -4*r + 3*n - 9, 2*r + g*n + 6 = 18. Is r > -1?
True
Suppose 3*l + 4 = -l. Let w = -81887/4440 + 1112/111. Let b = w + 44/5. Is b at most l?
False
Suppose -5*k + 2 = -23. Suppose 0*a = 4*d - 3*a - 1, -5*d - 25 = k*a. Which is bigger: d or -3?
d
Let t = 4 - 7. Let s = 6 - 0. Let u be 1/s*4/t. Which is smaller: u or 1?
u
Let w = 29/18 + -1/9. Which is bigger: 3 or w?
3
Let b be 1 + (-2)/(-4) - 1. Is 0 at most b?
True
Let i be 62/70 + (-21)/35. Is -1 at least i?
False
Let g(p) = -p**3 - 7*p**2 - p - 9. Let a be g(-7). Let j = 7 + -2. Suppose 0 = m + j - 3. Is m smaller than a?
False
Let z = 6.11 - 0.11. Let m = 37 + -38. Which is smaller: m or z?
m
Let f be (-332)/(-6) - 2/1. Let j = f + -54. Is j at most 0?
True
Let j(p) be the third derivative of p**5/12 + p**4/24 - 4*p**2. Let g be j(-1). Which is greater: 2/7 or g?
g
Suppose -5*a + 20 = -a. Suppose -a*v = -0*v - 15. Let k = v - 4. Which is greater: k or 0.3?
0.3
Suppose 0 = -4*p - 4*i + 4, 5*i - i = 3*p - 24. Let u = -12 - p. Are u and -16 unequal?
False
Let i(z) = 2*z + 2. Suppose 4*r = -8 + 28. Let d be i(r). Let y be (-2)/8 + 1/d. Which is greater: 1 or y?
1
Let s = -2.05 - -0.05. Let o = -1.92 - s. Let a = o - -0.12. Which is bigger: a or -0.2?
a
Let f = -9.3 + 8.3. Is f smaller than -6.9?
False
Let o be (-13)/(-119) + 6/(-21). Is -1 at most o?
True
Let a = 20 + -41. Is a <= -22?
False
Let o be (6/(-4))/((-1)/(-10)). Let m = o + 59/4. Let v = 2 - 3. Is m <= v?
False
Let x = 13/11 + -157/77. Which is smaller: -2 or x?
-2
Suppose 4*o + u = 10, -3*o = u + 1 - 9. Let j be (-1)/o*(2 + -2). Let a be j + -1*(-3 - 2). Is 4 at most as big as a?
True
Let k = 623/762 - -2/127. Which is smaller: 0 or k?
0
Let l be (21/6)/((-3)/(-6)). Let t = -6 + l. Is 1 smaller than t?
False
Let c(o) be the second derivative of o**4/12 - 5*o**3/6 - 3*o**2 - 8*o. Let y be 80/14 - 6/(-21). Let r be c(y). Is 2/23 > r?
True
Let f(o) = o**3 - 4*o**2 + 3*o - 1. Let n be f(3). Is -15/8 >= n?
False
Let v(i) = -2*i - 4*i + 27 + 7*i. Let c be v(0). Let q be (-1)/2 - c/(-6). Which is smaller: 2 or q?
2
Let w = 0.02 + 1.38. Let z = w + -1.3. Which is bigger: z or 1/7?
1/7
Let k = 0.118 + -0.018. Is k smaller than -2.5?
False
Let z = -39 - -157/4. Which is smaller: -13 or z?
-13
Suppose 0 = 4*k + l + 9, -2*l + 0*l - 10 = 0. Which is smaller: 1/14 or k?
k
Suppose -12*n = -9*n + 3. Let t be ((-4)/90)/(1/(-10)). Which is bigger: n or t?
t
Let d = 22 - 15. Let c = d - 7. Suppose c*f - 2*f = 0. Is 3/10 >= f?
True
Suppose -7*u = -62 - 1. Which is smaller: u or 1?
1
Let q(a) = -a**2 + 8*a - 6. Let s be q(6). Let l(k) = -k**3 + 6*k**2 - k + 8. Let j be l(s). Is j < 2?
False
Suppose -k + 2 + 0 = -3*b, 25 = 5*b + 4*k. Suppose -s + b = 3. Which is greater: s or -3/4?
-3/4
Let s = -8 - -41/5. Is 14 >= s?
True
Let x = 0.3 + -1.3. Let y = 0 - x. Let w = y - 1. Is w <= 0?
True
Let y = 247/913 - -2/913. Is y bigger than 0.3?
False
Let t = 28 - 86/3. Suppose i - 3*i = 0. Which is smaller: t or i?
t
Suppose -3*s - k = -0*k - 19, -3 = s - 2*k. Suppose -3*p = -2*b - 4, p = 2*b - 9 + s. Let n be (p/5)/(-1 + 3). Is n >= 0?
True
Let u = -9 - -8. Is -2 at least u?
False
Let y = -16 - -22. Let q be (6/44)/(9/y). Which is bigger: -1 or q?
q
Suppose -g + 35 = 2*g + l, 0 = 3*g - 3*l - 27. Are 10 and g non-equal?
True
Suppose 4*n = -5*f - 3, -f - 2*f = -2*n + 15. Suppose 0 = n*r - r. Let y = 1 + r. Which is smaller: 2 or y?
y
Let z(y) = -y**2 - 2*y - 3. Let u be z(-3). Let h(s) = s + 7. Let d be h(u). Let p = 0 - d. Which is greater: p or 1?
1
Let h(g) = -g**2 + g + 3. Let a be h(0). Let f be a/(-9) - 30/(-9). Let t = -6 - -9. Is t >= f?
True
Suppose 17 = -5*c + t, -4*c - 10 = -0*c + t. Is -3 smaller than c?
False
Let u = -2 + 1. Let j = -0.94 + 0.04. Let x = j + -0.1. Is x at most as big as u?
True
Let k(x) = -2*x + 1. Let b be k(-6). Is b >= 12?
True
Suppose 4*f + 24 = 84. Is f greater than 15?
False
Let b be (-4)/(-6) - 40/18. Which is smaller: b or -2?
-2
Let i = -15/61 - -653/671. Let r = i + -67/77. Let q be (-14)/10 - (-8)/20. Do r and q have the same value?
False
Suppose 4*p - 8 = 12. Let r(n) = -n**2 + 4*n + 6. Let x be r(p). Is 2/11 smaller than x?
True
Let o = 7 - 3. Let u(j) = -j**2 - 9*j - 10. Let n be u(-7). Are n and o non-equal?
False
Let w = 4.182 + -0.082. Let d = w + -4. Are -0.07 and d nonequal?
True
Let v = -7 + 4. Let q = v - -6. Suppose q*k = 7*k. Is k less than 2/9?
True
Let w be (2 + (-28)/15)*-3. Which is greater: w or 1?
1
Suppose 0 = -o + 4*n - 21, -4*o - 32 = -4*n - 8. Is o at least -2?
True
Let s = -2.4 - -1.4. Does -1 = s?
True
Suppose -3*s = x + 10, 0 = -4*x + 8*x - 2*s - 2. Let w be x/((-23)/11 + 2). Is 11 less than w?
False
Suppose -3