8)/21. Suppose 0*u - 160 = -j*u. Let a = 159/4 - u. Which is greater: a or 0?
0
Let x = -4 - -6. Suppose d - x = -1. Suppose 6*i = 3*i. Which is greater: i or d?
d
Let i = -41 - -47. Is -2 smaller than i?
True
Suppose 19*a - 16*a = 48. Let i = 13 - a. Is i at most as big as 2?
True
Suppose -4*j + 1 = p + 6, -2*p = 3*j - 5. Let r = -16 + p. Let n be (-6)/(-2) - (-36)/r. Is -1 at most as big as n?
True
Let j(h) = h**3 + 11*h**2 - 12*h - 1. Let k be j(-12). Let c be -6*k/(-4)*6. Which is bigger: -11 or c?
c
Suppose 3*j - 2 = -h, 5*h + 12 + 0 = -4*j. Which is smaller: j or 13/6?
j
Let g = -3.1 + 3. Let q = 0.46 + -0.06. Let l = q - 0.5. Is g less than l?
False
Let t = -10 - -12. Let r = 0.79 + 0.21. Is r <= t?
True
Let v(y) = 4*y**3 + y**2. Let l be v(1). Suppose l*p - 153 = -53. Suppose 5*a - 5*r + p = 0, 0*r = -r + 5. Which is smaller: a or -1/5?
-1/5
Let d be 0 + -4 + 224/49. Which is smaller: 0 or d?
0
Suppose -23 = 5*v - 128. Let u = v + -14. Suppose u*l - 3*l = -8. Is -2 >= l?
True
Suppose -3*k - 3 = 2*s + 2*k, -2*s - k + 9 = 0. Let r = s + -3. Is 3 at least as big as r?
True
Let t = 16 + -15. Is 1/4 greater than t?
False
Suppose -3*d = -d - 4, 0 = c + 2*d - 54. Which is smaller: 49 or c?
49
Suppose -3*d - 2*d - y + 2 = 0, 0 = 3*y - 6. Let f(x) = x**2 - 9*x + 12. Let q be f(8). Is q smaller than d?
False
Let q be (0 + (-6)/33)*-2. Is q > 0?
True
Let y be (-8 - (-1 + -3)) + 3. Are y and 1/11 unequal?
True
Let c(y) = -y**3 + 5*y**2 + 7*y - 5. Suppose 7*u - 2*u = 30. Let w be c(u). Is w != 1?
False
Let k = 0.01 + 0.01. Let u = k - 0.22. Is 0.1 at least as big as u?
True
Let c = -7 - -9. Let i be (-13)/(-10) + (-2)/4. Is c at least i?
True
Let r(u) = 4*u - 1. Let k be r(1). Suppose -l - 1 = a, 4*a - l - 4 = k*l. Which is smaller: 1/4 or a?
a
Let s(k) = -3*k + 15. Let g be 2 - 1 - 10/(-2). Let z be s(g). Which is greater: -5 or z?
z
Let i = 0.1 - 0. Let j be -2*(-2 - -3) + -1. Let q = j - -2. Is i > q?
True
Let o be (-8)/(48/(-22) + (-6)/(-33)). Let w be (6/4)/(6/16). Does w = o?
True
Suppose -2*k + 17 = -5*i + 24, 0 = 3*i + 2*k - 17. Is i smaller than 22?
True
Suppose 5*r = -i + 22, -4*r = -2*i + 7*i - 26. Is i greater than or equal to 3?
False
Suppose -5*r = -r - 12. Suppose o + 3*t = 2*o + 15, -7 = -r*o - 4*t. Which is smaller: -4 or o?
-4
Let v = 0.69 + -0.59. Let z = 14 - 29. Let b = 9 + z. Which is bigger: b or v?
v
Let u = 6 - 12. Let h be (6/5)/(9/u). Let y = h - -2/15. Is -1 <= y?
True
Let z = 2 - -5. Let n = -8 + z. Which is bigger: n or -4?
n
Let w = 19 + -31. Let u = 0 + w. Which is smaller: u or -11?
u
Let f = -5.98 - -6. Let n = 0.9 - -0.1. Which is smaller: n or f?
f
Suppose 0*i = 5*i - 35. Let w = i + -1. Suppose -w*b - 5*x = -b + 10, -b + 7 = -2*x. Is b > -1/4?
True
Let g = 30.6 - 30. Which is greater: g or -1/4?
g
Let v = -0.23 + 0.03. Is v at least -9?
True
Let t(a) = -4*a + 4. Let j be t(-4). Which is greater: j or 17?
j
Suppose -5*j - 12 = v + 10, -12 = v + 3*j. Let t be v/(-6) + 2/(-4). Is -0.2 not equal to t?
True
Let g be (-3)/(-12) - (-37)/(-4). Let a = -8 - g. Do a and -1/3 have the same value?
False
Let q be (-2)/((-16)/(-9)) - -1. Let y = -45 - -45. Which is smaller: q or y?
q
Suppose -3*v = -7*v - 4320. Let h be (-1 - -2) + 953/v. Let n = h + 1/135. Which is smaller: n or -1?
-1
Suppose 13*y - 8*y = -5. Suppose 0 = -5*u + 3*b - 20, -u - 18 = -4*b + 3. Is y equal to u?
True
Let l = -41/2 - -20. Let s(v) = -v**2 + 2*v. Let k be s(2). Is l <= k?
True
Let h = -362 + 749/2. Do h and 14 have the same value?
False
Let d = -24/143 + -2/143. Is 0 <= d?
False
Let h(g) = g**3 + g - 3. Let d(x) = 0*x**2 - 7 - 8*x**2 + 0*x**3 - 8*x + 0 - x**3. Let u be d(-7). Let s be h(u). Is s >= -2?
False
Let r = 2 + -1. Is -2 equal to r?
False
Let y = 39 - 46. Do -2/5 and y have the same value?
False
Let w = 209/3 + -70. Let i be (0 - 4)/(-2) + 0. Are w and i equal?
False
Let j = -560/9 + 44791/720. Is -1 at least as big as j?
False
Suppose 5*o + 19 = 2*w + 7, -6 = -w - 4*o. Which is smaller: 4 or w?
4
Let t = 133 + -133.57. Let g = -7.63 + t. Let n = -8 - g. Which is smaller: 0 or n?
0
Let v be ((-4)/(-6))/(4/(-6)). Which is bigger: v or 2/39?
2/39
Let g = -2.131 - -0.031. Let x = g - -2. Let m = 6 - 4. Is m at least as big as x?
True
Let p = 12 + -6. Suppose -5*n + 4*r = -11, n = r - 1 + 3. Suppose -5*v = -n*v + p. Which is bigger: -2 or v?
-2
Let r = -16 + 19. Is 3 not equal to r?
False
Let r be 8/(-24) + 4/3. Suppose -3*p = 2 + r. Are 1 and p non-equal?
True
Let z = 18 + -15. Is z <= -1?
False
Let s(d) be the third derivative of -d**4/24 + d**3/3 - 6*d**2. Let l be s(-8). Is l bigger than 17/2?
True
Suppose -3*o = -58 - 11. Is 22 != o?
True
Suppose 0 = -5*i - 2*o + 18, 4*o + 2 = -i + 5*o. Let s be 2/3 + i/6. Is s > 2?
False
Let a be (2 - 0) + -2*17. Let i = a + -2. Let k be 30/i - (3 + -4). Which is greater: k or -0.1?
k
Suppose -4*i + 27 = 5*j, 3*j + 72 = 4*i - j. Is 12 != i?
True
Let x(r) = 2*r - 9 + 4*r + 4*r + r. Let j be x(7). Let z = j + -139/2. Which is greater: z or -2?
z
Suppose 6*x - x + 15 = 5*u, -3*u = -4*x - 14. Suppose -a - 3*a - 8 = 0. Let t be (-3)/5 - a/(-5). Is u not equal to t?
True
Let i(q) = -2*q**2 - 19*q + 10. Let b be i(-10). Which is bigger: b or -3/4?
b
Let x be (-1 + 12/9)*-9. Is x at least as big as 1?
False
Suppose 0 = -2*x - n + 9, -x - 2*n = -4*x + 3. Suppose 3*w - 35 = -4*i, x*w + 3*i - 33 = -0*i. Let u = 8 - w. Is -1 != u?
False
Let t be -2*1/(-2)*6. Which is smaller: t or 5?
5
Let n = 10.1 + -10. Let i = -0.8 + 2. Let d = i - 1. Which is bigger: d or n?
d
Let j = -3 - -5. Is 2 at least j?
True
Let a = -0.2 - 0.8. Let z = 21 + -14. Let h = 5 - z. Are h and a non-equal?
True
Suppose 3*y + 48 = -0*y. Let i be y/140*5/(-2). Which is smaller: i or -1?
-1
Let v be 5/(715/(-81)) - 4/(-22). Which is smaller: 0 or v?
v
Let u be (-190)/(-55) + (-2 - 2). Are -2 and u equal?
False
Let z be (-9)/(-7) - (-4)/(-14). Let b be 0 + 3 + z + -1. Suppose 0 = -x + b*i - 16, -2*x + 5*x + i = 2. Which is smaller: x or 2/5?
x
Let x = 4.3 + -0.3. Let y = 186.9 + -199. Let q = y - -12. Is x less than q?
False
Let c = -1/92 - 173/1012. Which is greater: 4 or c?
4
Let y be ((-12)/(-15))/((-2)/(-10)). Suppose -y*q - w - w - 26 = 0, 4*q = -3*w - 23. Let p be q/4*(-1)/(-2). Which is bigger: p or -0.1?
-0.1
Let m be 0 + 0 - (-4)/24. Which is smaller: 0 or m?
0
Let z be 55/10 + (-1)/(-2). Let s be ((-4)/z)/(76/(-14922)). Let o = s - 131. Which is bigger: o or 0?
0
Let g = 111/2 - 52. Is g not equal to 4?
True
Let k = -107/15 + 22/3. Suppose s - 5 = 1. Suppose -4*r = -s + 2. Which is smaller: k or r?
k
Let j = -0.2 - -0.2. Let f = -1.9 - -2. Let d = f + -0.2. Which is smaller: j or d?
d
Let i = -67 + 118. Which is smaller: -0.1 or i?
-0.1
Let x = -94 - -94. Is -3/16 bigger than x?
False
Let l(v) = -v**3 - 10*v**2 + 11*v - 1. Let r be l(-11). Which is smaller: -0.041 or r?
r
Let r be 96/15 - 2/5. Suppose -2*u + 40 = -r*u. Let w be 1/(-21) - u/(-35). Are w and -0.5 nonequal?
True
Let w = -29 - -21. Do w and -8 have different values?
False
Let s = -24/19 - -581/475. Which is smaller: s or -1?
-1
Let a = -28 + 18. Let d = a + 6. Does d = -5?
False
Let g = 6.03 + -6. Let w = -1.03 + g. Let t = -1 + 0. Does w = t?
True
Suppose 0 = 5*h - 5*b - 20, -h + 6*h - 3*b = 14. Suppose 3*w + h = 2*w. Let m be w/(-4) + (-4)/80. Is m > -0.1?
True
Let b = 0 - 0. Let x = 0.1 - b. Let g = -0.89 - -0.82. Which is greater: x or g?
x
Let l(u) = u**3 - 7*u**2 - 8*u + 4. Let x be l(8). Suppose x*y + 5 - 17 = 0. Suppose -2*t + 11 = y*t - 3*o, 1 = 3*t + o. Which is greater: 1/3 or t?
t
Let r be 0/4 - (-8)/(-18). Is r at least 2/3?
False
Let k(o) = o**3 - 7*o**2 - 6. Let t be k(7). Which is greater: -5 or t?
-5
Suppose x = -2*x + 12. Suppose 4*j + 1 = -c - 0*c, 5*c + 4*j - 11 = 0. Suppose 0 = -c*h - 2*s + 10, 4*h + s = 3*s + 18. Is h >= x?
True
Suppose -3*i - 13 = 8. Let l(o) = 2*o + 11 - 1 - o. Let r be l(i). Which is smaller: r or 2?
2
Let h be (-2)/3*2/4. Let i = -163/20 - -95/12. Let t = h - i. Is t > 0?
False
Let h = 0.19 + 0.11. Which is greater: h or 4/5?
4/5
Let n(k) = -2*k + 5. Suppose 0 = -0*m + 5*m - 25. Let a be n(m). Is a bigger than -5?
False
Let n be -2 + (14 + 0 - 4). Which is greater: -1 or n?
n
Let h(d) = d - 6. Let x be h(10). Suppose 0 = -5*f + 