8. Let b = 1 - -8. Let w = -8 + b. Is c at least w?
False
Suppose 0 = -0*f - f + 10. Let n be f/3*(-6)/(-5). Let l be ((-5)/3)/(n/(-24)). Is 9 < l?
True
Let g = -45.5 - -45.38. Which is smaller: 17 or g?
g
Let a be (-18)/(-8)*(-32)/12. Let g be (8/(-3))/(4/a). Let f be (8 - (-6 + g))/1. Which is smaller: f or 1/3?
1/3
Let k be 34050/300*-1*(0 + 2). Is -0.1 equal to k?
False
Let y = -35 - -38. Let v = -0.5 - 0.5. Which is bigger: v or y?
y
Suppose 2*u = -2*s + 5*s + 2, -5*s + 1 = u. Let v = u + -2. Suppose 3*f + 3 = 4*q, 0 = 2*f - 0*q + 4*q + 2. Is f at least v?
True
Let k = -43 + 45.1. Let i = -31/12 - -25/12. Are k and i equal?
False
Let u(p) = p**3 + 18*p**2 - 16*p + 57. Let d be u(-19). Suppose 4*i = -4*f + 20, 6*f - 5*i = 4*f + 17. Suppose -f*t + t + 10 = 0. Does d = t?
False
Suppose 0 = 2*b + 39 - 33. Is -30/7 <= b?
True
Let d = -74/153 - -12/17. Let t(m) = -3*m + 16. Let w be t(5). Let n be 2 - (6 + -4)/w. Which is greater: n or d?
d
Let g(v) = -v**2 - 10*v + 29. Let l be g(-12). Suppose -5*m + 10 = -4*d - 5, 4*d - 15 = -5*m. Suppose d*z = -4*z + 16. Which is smaller: z or l?
z
Let q = -62 - -37. Let b = -13 - q. Let j = -12 + b. Which is smaller: j or 2/5?
j
Suppose 2*u = o + 3, -4*o = 3*u + 2*u - 14. Let a be 1/(u - 27/15). Let y = 71 + -67. Is a < y?
False
Let p(x) = -4*x - 43. Let f be p(-14). Let m = -16 + f. Is m > -3/2?
False
Let k = 9 - 7. Suppose -t - k*a + 4 = a, -3*t - 4*a + 12 = 0. Suppose -2*d + 10 = t*v, 5*d + 0*d + 5*v = 15. Does d = -4/13?
False
Let w = -25/36 + 1/36. Let v be 2*(7/(-14))/(3/12). Let n(t) = 5*t + 19. Let l be n(v). Which is greater: l or w?
w
Let z(p) = 3*p**2 - 4*p + 5. Let l(o) = 4*o**2 - 5*o + 6. Let k(c) = -4*l(c) + 5*z(c). Let a be k(0). Let s be 2/4*1*10. Is s at least as big as a?
True
Let y(n) = -201 - n**3 + 201 + n**2. Let m be y(1). Which is smaller: 1 or m?
m
Let u(a) = -a - 14. Let n(y) = -3*y + 2. Let h be n(4). Let z be u(h). Let f be (-6)/4*z/24. Which is smaller: f or -4?
-4
Let k = 253 + -368. Are -115 and k equal?
True
Suppose -4*a = -8, 4*r - 104 = -10*a + 6*a. Is r at least as big as 166/7?
True
Let r = 212 + -240. Is r <= -28?
True
Let v(y) be the second derivative of y**4/12 + y**3 + 3*y**2 - 4*y. Let r be v(-5). Let w = -955 + 37243/39. Is w not equal to r?
True
Let f = -5 - -8. Suppose -4*g + 3*z = -2*z + 2, 2*g + f*z = -12. Suppose 2*m + 22 = -2*m + 2*b, -26 = 2*m + 4*b. Is m at most as big as g?
True
Let b be -88*((-9)/(-24) - 1/(-8)). Which is bigger: -41 or b?
-41
Let g(t) = -t**3 + 17*t**2 - 11*t + 15. Let x be g(13). Are 547 and x unequal?
True
Suppose 0 = -4*i - 37 + 85. Let q be i*(-20)/9*(-48)/40. Which is smaller: 30 or q?
30
Let f be ((-2)/(-4464)*8)/((-15)/(-18)). Which is smaller: 1 or f?
f
Let j(z) = -24*z - 83. Let n be j(-3). Let i(l) be the third derivative of -l**5/60 + 2*l**3/3 - 2*l**2. Let o be i(4). Is n not equal to o?
True
Let l = 465 + -464. Which is bigger: 2/2157 or l?
l
Suppose 0 = -2*m - 7 + 25. Let i be 62 + -54 + (-2 - -3)*0. Is i not equal to m?
True
Let g = 85 - 52. Let v be ((-1)/(-14))/(g/110). Are 0 and v non-equal?
True
Let z = -2 - -6. Let k = 595 + -595.2. Is z less than or equal to k?
False
Let d(g) = -g**3 + 4*g**2 - 2*g + 1. Let i be d(4). Let t = 1 - i. Which is smaller: t or 9?
t
Let t be (2/(-7))/(22 - (-3744)/(-168)). Which is smaller: 51/22 or t?
t
Let f = 0.01 - -0.39. Let y = -163/114 + -4/57. Is f greater than or equal to y?
True
Let k = 300 - 151. Suppose -4*n + 113 = -3*q, 7*q - 5*n = 3*q - k. Is q <= -94/3?
False
Suppose j = 5*b - 0*b - 11, -j + 7 = 4*b. Suppose -4*o = -5*i + 45 - 18, -2*i = -3*o - 22. Let g be o/(j + -2 - -1). Is 3 > g?
False
Let m = -124 - -451. Is m at most 1?
False
Let x(f) = 0 + 3 - 2 - f. Suppose 28 + 37 = 13*n. Let m be x(n). Is m less than -4?
False
Let p be ((-3)/(-177))/(1/2). Let z = -31 + 30. Which is smaller: z or p?
z
Let i be (17 + 1)/(35/(-112) - 0). Do i and -59 have different values?
True
Let n = 2133 + -3813. Let o be 507/n + 2/(-7). Let w = 3/16 + o. Are 2/37 and w non-equal?
True
Let x = -1.08 + -10.82. Is x <= 2/3?
True
Suppose -35 = 5*k - 0. Let v = -2 - 1. Which is smaller: k or v?
k
Let o = -1136 - -1272. Does 141 = o?
False
Let u = 165.6 + -165. Which is smaller: 6/11 or u?
6/11
Suppose 0 = -0*s + 5*s - 795. Let t = s - 353. Let b = t + 2132/11. Is b smaller than 1?
True
Let w = 0 - -4. Let n = 10.76 - -0.24. Let m = 12 - n. Is m bigger than w?
False
Let x be (0 - -3) + (-5 - (-2 - -96)). Let v = x - -95. Which is smaller: v or 3?
v
Let d = -1035 - -1077. Do d and 39 have the same value?
False
Suppose -3*z - 19 = 2. Let t = z - -15. Which is bigger: 6 or t?
t
Suppose -6*j - 6 = -3*j. Let g be j/(-11) + 380/209. Let k = g - 3. Which is greater: -2/7 or k?
-2/7
Suppose -735*j = -753*j + 14508. Are j and 806 unequal?
False
Let j be 36*(224/(-6))/(-14). Which is smaller: j or 97?
j
Let d be (33 + -17)/(2/4). Suppose 3*i + 29 = 2*l, -2*i - d = -2*l + 2*i. Suppose -8 = -4*z + 4*x, -x = -6*x - l. Is 2/9 at most as big as z?
False
Suppose 4*w - 44 = 2*b, -53 = -0*b + 4*b - w. Let m be (-2)/b - (-8)/16. Which is greater: m or -4/7?
m
Let l = 19 + -34. Let b = l + 72. Which is bigger: 1 or b?
b
Let y = 56 - 56.02. Let f = 1.01 - 0.01. Let h = f - 1.3. Do y and h have different values?
True
Let h be (24/(-10))/(15/100). Let c be h/(-12)*(3 + 0). Which is smaller: -0.3 or c?
-0.3
Let a = -35 + 25. Is -13 at least as big as a?
False
Let y be (-6)/21 - (-18)/14. Suppose -5*u + 5*d = -185, 4*u - 2*d - 151 = -d. Let w be u/18 - 55/33. Which is bigger: y or w?
y
Suppose -r + 1 - 13 = 0. Let b(p) = -7*p + 34. Let n(q) = -q + 7. Let x(d) = b(d) - 6*n(d). Let t be x(r). Which is smaller: t or -0.3?
-0.3
Let f be 8 + 1133/(-132) + (-1)/(-4). Is -79/4 not equal to f?
True
Let u = 17/2 - 123/14. Which is bigger: u or 8.08?
8.08
Let a = 643 + -642.935. Is a at least as big as -1?
True
Let b(r) = -r - 1. Let k(q) = -4*q - 11. Let y(u) = 5*b(u) - k(u). Let n be y(7). Which is smaller: n or -18/11?
-18/11
Let i = 1203 - 1263. Is i <= 9?
True
Let r = -1178 - -820. Which is smaller: r or -356?
r
Let w(b) = -b - 2. Let f(n) = 3*n + 6. Let g be f(-2). Let x be w(g). Is x != 1?
True
Let h = -2.7 - -1.3. Let j = h - -1.4. Are j and -16 equal?
False
Let p be 60*((-36)/30)/((-6)/4). Suppose 6*j - 18 = -p. Suppose -31 = 5*y - 6. Is y less than j?
False
Let u = 215/3 - 71. Let w(k) = 3*k + 10*k**2 - 2*k**3 - 15*k**2 + 0*k. Let d be w(-3). Which is greater: u or d?
u
Suppose 1 = 5*m + 36. Let x(u) = u**2 + 4*u - 8. Let b be x(m). Let w = b - 15. Which is smaller: w or -5?
-5
Let a = -17 + 12. Let u = 56 + -57. Let k = u + a. Which is smaller: -0.1 or k?
k
Suppose -4*x - 215 = -p, -x - 784 - 16 = -4*p. Which is smaller: 200 or p?
p
Let u = 1 - 1. Suppose 3*j - 3*z - 306 = -j, -j - 5*z + 65 = 0. Let l be (2*j/20)/((-3)/(-4)). Which is bigger: l or u?
l
Suppose 0 = -3*u + 16*u. Are u and -7/10 nonequal?
True
Suppose 5*r + 3 = -7. Let k be -2 + 66/3 + r. Let a be (-8)/k + 4/(-18). Is 5 <= a?
False
Suppose 2*j = 8*j - 144. Let z be ((-16)/j)/((-11)/(-3)). Is z smaller than -5?
False
Let k = 0.086 - 6.086. Let s = 0.022 + -6.222. Let a = k - s. Is 2/7 smaller than a?
False
Suppose 2*g + 104 = -2*o - 2*g, -3*g = o + 49. Let k be (-164)/(-3) - (-2 - -1). Let x = k + o. Which is bigger: -1 or x?
-1
Let z(m) = -m**3 + 3*m - 4. Let r be z(-3). Let k = 1 - 9. Let l be k/2*(-9)/3. Is r greater than l?
True
Let f = 96 + -58. Suppose 0 = 2*m - 6 + f. Which is greater: m or -11?
-11
Suppose -3*g - 1 = 2. Let t(k) = -k**2 + 6*k. Let l be t(5). Suppose 0 = l*v + 4*s - 35, v + 5*s = 38 - 10. Is v less than g?
False
Suppose -3*q - 5*x + 245 = 0, 0*x + 2*x = -3*q + 233. Let y be (q/(-10))/(2/4). Is -14 at most as big as y?
False
Let q(j) = -j + 7. Let h be q(7). Let k(a) = -5*a**3 - a**2 - 2*a - 1. Let z be k(-1). Suppose 15 = z*p, 2*t + 98 = 7*t + p. Which is smaller: h or t?
h
Suppose 3*v + 9 = 0, 0*v = -3*k - 3*v - 21. Suppose -2 + 41 = -13*j. Is k <= j?
True
Let d = 13 - 11. Let t(r) = r**3 - 3*r**2 + 2*r + 2. Let p be t(d). Suppose 5*q = g + 7, 0*g + 5*q = -p*g + 1. Is g >= -1?
False
Let m = 0.054 + -1.054. Suppose 10 = -5*c, -u - c + 0 = 5. Which is greater: u or m?
m
Let s be 10*(-6 + (-11)/(-2)). Which is smaller: s or -7?
-7
Let i