 8. Is d > q?
True
Suppose -2 = 2*y + 4. Let k be 4 + -4 - 4 - y. Is k less than or equal to 3?
True
Let t be (3 - 3)*(1 + 0). Let d = 0.32 + -0.55. Which is smaller: d or t?
d
Let i(l) = -l**2 - 4*l - 2. Let o be i(-3). Which is greater: 16 or o?
16
Let q = -18 - -22. Suppose 3*s = 4*m + s + 4, -3*m + q*s = -2. Is m at most 0.4?
True
Let b be 3*(14/(-6) + 3). Suppose 3*q + b = x, 4*q - 1 = 4*x - 9. Let o = 7 - 6. Which is bigger: o or q?
o
Let y be 0 + ((-126)/21 - (-1 - -1)). Let q(s) = 26*s - 2. Let f be q(2). Let o be (-6)/4*f/12. Is y < o?
False
Let s be (30/(-225))/(122/6). Is s < 0?
True
Let q = -84 + 1513/18. Let w(t) = 8*t + 15. Let y be w(-2). Is y equal to q?
False
Suppose -2*x - 35 = 3*l, 5*x + 5 = -2*l - 0. Let o be 8/(-6)*l/2. Which is smaller: 11 or o?
o
Suppose 0 = 5*p - 3*h + 32, 32 = -3*p - 3*h + 8*h. Let v(k) = 2*k**2 + 8*k. Let n be v(p). Is 1 < n?
False
Let i(s) = -6 - 4*s**2 + s**2 + 10*s**2 - s**3 + 17 + 6*s. Let j be i(8). Is j <= -4?
True
Suppose 2*z + 23 = 3*x, -2*x = 5*z + 88 + 17. Let o = 325/17 + z. Let h = 0 - 1. Does h = o?
False
Let t = -1/256 + -46333/768. Which is greater: -60 or t?
-60
Let b = -50.9 - -53.9. Is 0 less than or equal to b?
True
Suppose 3*q + 7 = -4*h, -3*q = -5*h + 1 - 3. Let v be q - 1 - (1 + -5). Does v = 0?
False
Suppose y + 10*y = 88. Suppose -3*a = -2*a - y. Is a smaller than 3?
False
Let p(v) be the second derivative of -v**4/12 - 4*v**3/3 + 13*v. Let z be p(-8). Which is smaller: 5/9 or z?
z
Let b = 0.15 + -0.67. Let m = b + -28.48. Is m greater than -1?
False
Suppose -2*z - 3*b = -52, 0*b + 16 = z + 4*b. Let f be z/(8 - 4) - -1. Is f at most 15/2?
False
Let j be (-7 + 7)/(-5 + 1 + 3). Let v = 616 - 12940/21. Which is smaller: j or v?
v
Let k = 7649 + -7612. Let q(j) = -j**2 + 6*j - 5. Let t be q(5). Does t = k?
False
Let t(j) = -j**2 + 7*j + 25. Let m be t(9). Are 11 and m nonequal?
True
Let v = -2213 - -2345. Is v greater than or equal to 1059/8?
False
Suppose 0 = 2*z + 2*w - 14, 3*w + 7 = -0*z + z. Let q be 168/(-245) - (-2)/z. Which is smaller: 0 or q?
q
Suppose -2*d - 2*d - 44 = 0. Let j = -7 - d. Let t = j - 6. Is t <= -3?
False
Suppose 19 = -2*l + 7. Let d be ((-4)/6)/(4/l). Which is bigger: 5 or d?
5
Let u(o) = o**2 - 7*o + 9. Let c(q) = q**2 + 8*q + 5. Let b be c(-8). Suppose 21 = b*m + s, -s - 19 = -3*m - 0*s. Let h be u(m). Is h > -1/12?
False
Let q(n) = -4*n. Let h be q(-1). Let s = -103 + 108. Suppose s*f = h*f. Does f = 1?
False
Let k = 566 - 20944/37. Let l be 3/(0 - -1) + 9 + -13. Which is smaller: l or k?
l
Let l = 366.065 + -366. Which is greater: 0.2 or l?
0.2
Let n be (-1 - 1)/(-4)*-2. Let v = 9933/26 + -382. Which is smaller: v or n?
n
Let r = -8 - 18. Suppose -8*s - 3*s = 297. Let f = s - r. Is f greater than -2/5?
False
Let b = -2/51343 - 7290552/3953411. Let g = b + 14/11. Let f = 1 + -2. Which is smaller: f or g?
f
Let n = 47810504/15 + -3185166. Let f = n - 2200. Is 0 at least f?
False
Let j = 0 - 11. Let t be j/(-5) + (-40)/24. Is t less than or equal to 1?
True
Let o be ((-420)/(-98))/((-2)/(-14)). Let y be (12/(-10))/(9/o). Let t be (y/4)/((-3)/(-27)). Do -1/3 and t have different values?
True
Let f = 1.9 + -3.9. Let p = -32.47 + 30.5. Let c = p - 0.03. Is c <= f?
True
Let v(a) = -8*a**2 + 2*a + 1. Let z be v(-1). Let n(r) = r**2 + 8*r + 15. Let c be n(z). Which is smaller: 0 or c?
0
Let j be (-4)/(-10)*(24*-4 + 1). Is -36 < j?
False
Let i = 2384/118085 + -6/565. Does i = -1?
False
Let h = 1134 + -1945. Is -811 at most h?
True
Let j = 14605/22 - 664. Suppose -3*u - u - 4 = 0. Which is bigger: u or j?
j
Let c = -2682122/499 - -5375. Is c <= 0?
False
Let m = -23 - -23.19. Let z be 1/(-2) - 90/(-540). Is m less than or equal to z?
False
Let k be (-656)/(-4)*2/8. Let d = 31 - k. Is -10 bigger than d?
False
Let d = 0.05 + -2.05. Let c = -2915 + 2902. Which is smaller: d or c?
c
Let f = -39 + 116/3. Suppose 28*h = 25*h. Which is greater: h or f?
h
Let b = -10 - -24. Let z = -7 + b. Let w = 5 - z. Which is smaller: w or 0.2?
w
Let n = 12983 + -12973. Let w = -0.1 - -0.1. Let y = -3 - w. Which is smaller: n or y?
y
Let q = -11714/20685 - 1/2758. Is q greater than 0?
False
Let s(u) = 7*u**2 + 2*u + 1. Let d be s(2). Let g = d + -32. Suppose 0 = -2*p + 3*z - 2, -4*p = -0*z - z + 4. Is p greater than or equal to g?
False
Let m = 0.2 - 0.356. Let r = -0.004 + m. Which is greater: -1 or r?
r
Let r be (5/3)/((-4)/(-12)). Suppose -1 = r*l + 9. Is -3 < l?
True
Let d = 8 - 17. Let a = d + 6. Let k be (-2)/(-1 + a/(-6)). Is k at least as big as 3?
True
Let j(r) = r**3 - 10*r**2 - 4. Let a be j(10). Let d be (-1)/(2/(-12)*2). Suppose 2*l - 5*v = -d*v - 12, -v - 6 = 2*l. Is a greater than l?
False
Suppose -2*r + 40 = -0*r. Let t = r - 9. Let n(h) = h**3 + 6*h**2 + 3*h + 2. Let z be n(-5). Are z and t non-equal?
True
Let x be -1*(2 + 0 + 3). Let z = -25 + 43. Suppose -4*o + 3 = -5*r + z, -3*o - 5*r - 20 = 0. Is x at most o?
True
Let a be (-10)/(-4)*28*4/40. Suppose -o = -a*o - 6. Which is greater: 8/5 or o?
8/5
Let h = -70.6 + 70.671. Which is smaller: 2 or h?
h
Let r(v) = -5*v - 5 - 2*v**2 - 5*v**3 - 4*v**2 + v**3 + 3*v**3. Let t be r(-5). Let z be 33/(-110)*t/6. Is z >= -1?
True
Let m = -15.1 + 16.1. Which is smaller: -0.025 or m?
-0.025
Let b = -2.94 - 0.06. Let a = b - 9. Is 1/4 less than or equal to a?
False
Let c = -155 + 777/5. Suppose r + 39 = -r - 3*m, 2*m + 74 = -4*r. Let p be (-4)/99 + (-4)/r. Is c > p?
True
Suppose -5*l + 3 + 12 = 0. Suppose -5*c + w = 4*w - 32, 0 = 3*c - l*w. Let f(q) = q - 4. Let k be f(9). Is k bigger than c?
True
Let v be 1/3 + (-275)/15 + 16. Is v bigger than 12?
False
Let b = 12 - 11.1. Let o = 0.07 - -1.53. Let u = b - o. Is 1 at most as big as u?
False
Let s be ((-896)/(-70))/(87/(-30) - -3). Is 128 not equal to s?
False
Let f = 4281/23 - 186. Suppose 4*c - 12 = 0, -4*v - 15 = -9*c + 4*c. Which is greater: f or v?
f
Let m = 1 + -5. Suppose -2*f - 5 = -s, 2 - 27 = 2*f + 3*s. Is m at most f?
False
Let i(p) = -p**2 - 36*p - 156. Let x be i(-5). Is 1/667 less than x?
False
Let w be 3644/(-3640) + -5 - (6 + -12). Is w greater than 1/2?
False
Let n(d) = -d**3 + 20*d**2 + 3*d - 59. Let s be n(20). Which is greater: s or 10/13?
s
Let x be (-10)/39 + (-4)/(-12). Let d = x - -23/39. Let p = -0.9 - -0.7. Is d < p?
False
Let i = 2860 + -40067/14. Is i not equal to -1?
True
Let l = 81/5 - -103/10. Let m = -5 + 4. Which is smaller: l or m?
m
Suppose 4*h + 11 = 67. Let q be 40/490*h/4. Which is smaller: q or -2?
-2
Suppose i = -5 + 66. Is i at most as big as 61?
True
Let k = -44.293 - 0.007. Are 0.1 and k equal?
False
Suppose 21*m - 122 = 25*m + d, m - 5*d = 1. Let f(x) = x**3 + x**2 - x - 30. Let r be f(0). Is r less than m?
True
Let j = -26 - 16. Let z = -47 - j. Is -4 != z?
True
Let x(c) = 14 + 21*c - 34*c + 16*c. Let l be x(-14). Is -28 at most as big as l?
True
Suppose 0 = -5*t + 6*t - 4. Let n be 0/t - (-6)/15. Let o = -7 + 7. Which is smaller: o or n?
o
Let o be (-28)/(-6)*(-141)/(-18). Let g = o + -73/2. Is 0 < g?
True
Let s = 41.4 - -6.6. Let d = s + -44.2. Let b = d + -4. Is b smaller than -0.1?
True
Let d = 92 + -99. Let g = -4 + d. Which is smaller: 2 or g?
g
Let j(l) = -l - 4. Suppose 5*g + 31 = -4*u, 0 = -g - 2*u + 3*u + 1. Let z be j(g). Suppose 0*c + 4 = -2*c - 2*x, -5*c + 25 = -2*x. Are z and c non-equal?
True
Let w = 0.253 + -0.723. Is w < 2/5?
True
Suppose -d + 23 = -5. Let t = d - 22. Let m = -4 - -9. Which is smaller: m or t?
m
Let x(g) = -10*g**2 + g**3 + 3*g + 2*g**2 - g**2 + 13 + 0. Let z be x(9). Suppose 5*v + 0*v + z = 0. Which is bigger: v or -2?
-2
Let q = -0.034 - -0.894. Which is greater: 3 or q?
3
Let p = -2012 - -2009. Suppose -t + 4*d - 44 = t, -3*d + 9 = 0. Which is smaller: t or p?
t
Let g = 0.4 - 0.2. Let y = g - 1.2. Let z = 5.92 + -3.92. Which is greater: y or z?
z
Suppose 2*g - 11 = 13. Suppose -p = -5*n - 10, -3*n + 5*p - g = 16. Is n != 0?
True
Let m be (-4 + (-7)/(-2))*(-10 + -2). Let j(t) = -t**3 + 6*t**2 + 6*t - 17. Let q be j(m). Which is bigger: 18 or q?
q
Suppose g = -m + 12, -4*m - 5*g = -11 - 38. Is m >= 92/9?
True
Let w = 989 - 1052. Which is greater: -1 or w?
-1
Let y = -664/1037 + -4/61. Do -1 and y have the same value?
False
Let l = 1.6 - 0.6. Let j(y) = -y**3 - 7*y**2 + 44*y - 32. Let r be j(-11). Wh