8. Let z(f) = -8*q(f) + 5*y(f). Let r be z(9). Which is smaller: 1 or r?
r
Suppose 2*c + 3*c = -3*t + 20, -5*c - 4*t = -25. Let k be (2 - c)*7 + 2. Let g be -4 + 2 + 6 - k. Is -5 at least as big as g?
True
Let r be ((-5)/(-30))/((-7)/((-189)/(-285))). Is 1 not equal to r?
True
Let m be (14/(-21))/(2/(-3)). Let n be ((-14)/(-63))/(m/(33/(-4))). Which is smaller: n or -3?
-3
Let k(l) = -4*l + 48. Let g(r) = 3*r - 32. Let h(w) = 7*g(w) + 5*k(w). Let p be h(-14). Suppose 10 = -p*q, 3*q + 1 = -4*c - 2. Is 1 <= c?
True
Let q = -289 + 2313/8. Let b = -1 + 9. Which is smaller: q or b?
q
Let x(f) be the second derivative of f**3/6 + 7*f**2/2 - 7*f. Let u be x(-6). Suppose -a + 5*y - 8 = a, -2*a + 8 = 3*y. Is a at most as big as u?
True
Let t = 20 + -15. Suppose -3*c - 9 = -3*r, t*c + 18 = 4*r - 0*r. Let j be (1/c)/(9/36). Is j < -4?
False
Let a = -42878/19287 + 2/2143. Which is smaller: a or 1/10?
a
Let m = 0 + 1. Let r = m - -2. Let j be ((-2783)/22)/23 - -7. Are r and j equal?
False
Let d = -3086 + 3089. Suppose 2 = 3*p - 7. Is d > p?
False
Let h be (-2)/(-10) + 168/10. Let s be 15 + (-56)/21 + (-24)/(-9). Are s and h non-equal?
True
Let n = -2 - -1.9. Let o = 185 + -193.9. Let t = o - -9. Is t >= n?
True
Let v = -4483812 + 3326989119/742. Let j = -1351 - -143209/106. Let y = v + j. Are 2/7 and y nonequal?
True
Let c be 3*(-1)/2*-34. Let m be -3 - -61 - (-1 + 3 + 6). Is m at most as big as c?
True
Let k = 4/53931 + -4764137/3127998. Let i = k - -2/87. Is -4 greater than i?
False
Let g be ((-8)/(-54))/(21 + -23). Let m(o) = o**3 + o**2 - 2*o + 1. Let f be m(-2). Which is bigger: g or f?
f
Let g be 14/6 + (-4 - 56/(-12)). Which is smaller: 13 or g?
g
Let v(n) be the second derivative of n**4/12 + 5*n**3/6 + 7*n**2/2 - 11*n. Let y be v(-6). Which is smaller: y or 15?
y
Let b = -0.86 - -0.31. Which is bigger: 2/9 or b?
2/9
Let d = -10.01 - -0.01. Let l = -3.9 - -4. Let o = l - 1.1. Which is greater: d or o?
o
Let h be (110/(-5))/(-2 + 3). Let p = h + 11. Let z = 53 - 64. Is p bigger than z?
False
Let t be 45/10 - (-3)/(-6). Suppose -t*v + 406 = 3*v. Is v greater than 57?
True
Let f = 0.15 + 34.85. Is f greater than or equal to -3?
True
Let p be 5 + (22/(-5) - (-4)/10). Let o be 1 + 260/(-55) + p - -3. Is 2 equal to o?
False
Let o = 4 + -2. Let z be 3 - o*711/22. Let j = 2036/33 + z. Which is smaller: -1 or j?
-1
Suppose -s - 3*s - 2 = -2*v, -16 = 2*v + 2*s. Let c(d) = -d - 7. Let a be c(-9). Suppose -a*u + f + 2*f + 2 = 0, 0 = 3*u + 5*f - 3. Does u = v?
False
Suppose -13 = -10*d - 3*d. Let g be (-1 - -2) + (-83)/85. Which is smaller: g or d?
g
Suppose 2*m = -3*m, 4*o + 3*m + 28 = 0. Let a be (-4)/(o/((-21)/(-4))). Let u(n) = -n**2 - 5*n - 3. Let j be u(-4). Is j < a?
True
Let n = 24 - 20. Suppose 0 = 5*v - 6 - n. Which is greater: 3/2 or v?
v
Suppose 4*k + 14 = 2*v, -k + 4*v - 7 = -0. Let t be k/2*26/39. Is 6/17 greater than t?
True
Suppose -p = -3*p - 24. Let v be 5/(-20) + 57/p. Let h be (v/2)/(0 - 2). Which is smaller: h or 0?
0
Let t = -22.4 - -3.4. Let x = t + 19.16. Let s = 0.06 - x. Which is smaller: s or -12/5?
-12/5
Let m(g) = -24*g + 117. Let o be m(-21). Is 621 not equal to o?
False
Suppose 5*i - 2 = 4*i. Let c(l) = -4*l + 2. Let h be c(i). Which is greater: h or -2?
-2
Let x = 126 - 7940/63. Which is bigger: x or -1?
x
Let l(o) be the second derivative of -13/6*o**3 + 3*o + 0 + o**2 + 1/12*o**4. Let d be l(13). Is 3 at least d?
True
Let k = 19.99 + -20. Let j = 8.91 - -0.09. Let n = j + -8. Which is smaller: n or k?
k
Let n = -6 - -40/7. Let j = 0.04 + 0.01. Let x = -3.05 + j. Which is smaller: n or x?
x
Let t(z) = 4*z - 5. Let l(f) = 9*f - 12. Let p(m) = 2*l(m) - 5*t(m). Suppose 11 = s - 5*r, -2*s + r + 1 = -3. Let w be p(s). Are w and 0 nonequal?
True
Let z(l) = -l**3 - l**2 - l + 3. Let t be z(0). Suppose -t*c + 138 - 51 = -3*k, -5*k + 4*c - 145 = 0. Is -29 equal to k?
True
Let v = 127431/4585 - -42/655. Is v less than 28?
True
Let i(r) = -r**2 - 11*r + 2. Let m(t) = 4*t + 1. Let p be m(-3). Let c be i(p). Suppose -6 = 4*n - c. Which is smaller: n or 2/11?
n
Let w be (-3 - 0) + 100/30. Let s be -1 + 2*33/90. Does w = s?
False
Let q = -1.9 - 0. Let y(c) = 4*c**3 + 37*c**2 + 7*c - 19. Let x be y(-9). Is x at least q?
True
Let y = -0.811 - -0.711. Which is smaller: -923 or y?
-923
Let w = 11 - 11.1. Let y be 2/13 + 315/(-273). Which is smaller: y or w?
y
Let d(i) = 4*i**3 - i**2 - 4*i + 5. Let a be d(3). Which is smaller: a or 91?
91
Let l(c) = c - 59. Let r be l(-12). Is r < -72?
False
Let i be 0 + (-1 - 13 - -14). Let d be (-6)/(-38)*1/(-6). Which is smaller: i or d?
d
Let o = -2322 + 183442/79. Is o < -1?
False
Suppose -3*x = -2*x - 1. Suppose 10*g - 6*g - 1796 = 0. Let d = -6283/14 + g. Is d > x?
False
Suppose -5*u = 2*o - 6, 3*u - u - 12 = 4*o. Let m be u/(-7) + (-136)/14. Let i be (2/2)/(m/6). Are i and -2 non-equal?
True
Let f be 48/12 - (-772)/(-198). Let c = f + 851/396. Is c at most 3?
True
Let f = -446 - -448. Let h be ((-2)/(-6))/((-1)/(-3)). Is f greater than or equal to h?
True
Suppose -5*y + 3 = -2*i + 2, 4*y = 3*i + 5. Let c be (-319)/(-210) + (-33)/22. Which is bigger: c or y?
c
Suppose 2*m + 10 = 4*w - 0, -5*w - 20 = 0. Suppose 5*r + 28 = 4*t, 0 = -7*t + 3*t - 2*r. Suppose t*j + 42 = -4*g, 2*g + 18 = -0*g - 2*j. Is m equal to g?
False
Let u(i) = 2*i + 12. Suppose 8*t = 9*t + 7. Let b be u(t). Let n = -48 + 49. Is n less than or equal to b?
False
Let l(u) = u - 19. Let m be l(10). Let d = -14 - m. Is d smaller than -6?
False
Let g(n) = 17*n**2 - 176*n - 1261. Let h be g(-7). Is 804 less than h?
False
Suppose -9*y + 3*y = 24. Suppose 2*n - 5 = n. Let w = n - 9. Is y greater than w?
False
Let l = -598 - -14948/25. Let f = 15 + -13. Suppose -f*y = -4*y. Is y equal to l?
False
Let b be (2 + 16/(-12))*12/(-8). Which is greater: b or 24?
24
Suppose 4*b - b - 496 = -4*s, 3*s = -3*b + 501. Suppose 0 = 2*g + b + 70. Let o = g + 479/4. Which is smaller: 0 or o?
o
Let d(n) = -n**3 - 11*n**2 + 12*n + 4. Let q be d(-12). Suppose 4*l - h + 6 = -53, -q*h + 56 = -4*l. Is l equal to -15?
True
Let a = -89 + 99. Suppose -5*i + a = 5*l - 25, 0 = -2*l + 2*i - 6. Is l <= 15?
True
Let t = -4 - -4.03. Let j = t + -0.39. Is j > 1?
False
Let a = -38.47 + 40.9. Let c = 2.5 - a. Is 1 bigger than c?
True
Let t = 4.07 - -0.9. Let x = 5 - t. Which is smaller: 0.2 or x?
x
Let o = 1.37 - 1. Let q = o + -0.17. Which is bigger: q or -0.4?
q
Let x = 92 - 45. Let j = -47 + x. Which is smaller: j or 1?
j
Let u = 868 + -870. Are u and -4/505 nonequal?
True
Let d = -1 - -0.6. Let z = -7.7 + 7.66. Is z > d?
True
Let h = -40.88 + 0.88. Let l = -37 - h. Which is greater: 2 or l?
l
Let y = 1249 - 8728/7. Which is bigger: 3 or y?
3
Let s(z) = -24*z - 64. Let p(j) be the first derivative of -5*j**2/2 - 13*j - 3. Let u(f) = -14*p(f) + 3*s(f). Let q be u(-8). Is 5 smaller than q?
True
Let f(z) = 2*z - 3. Let o be f(2). Suppose 0 = a - 4*r + 26, -2*a + r - 77 + 60 = 0. Which is smaller: o or a?
a
Let v be (1452/(-315))/(-11) - 2/15. Is v != 60?
True
Suppose 5*r = 3*r + 1388. Let y = r - 20128/29. Suppose 3*b + 4*l = -17, -3*b - 4*l = -8*b + 25. Is y smaller than b?
True
Suppose -4*y - 6 = -2*y, -n = 3*y + 9. Is -34 equal to n?
False
Suppose o + 4*h - 13 = 0, 3*o - 6 + 0 = -h. Let c = -2338 - -39734/17. Let v = 67/119 + c. Is o smaller than v?
False
Let t = -15 + -16. Let b be -49 - -45*(-22)/(-55). Is t at most b?
True
Let l(a) = -26*a + 158. Let r be l(6). Is r <= 48/31?
False
Let u be 1*(-5)/(-14) + -1 + -2. Is u less than -4?
False
Let h = 2/4279 + 209647/51348. Let d = -15/4 + h. Is d >= 1.4?
False
Let s be (-3 - (-3 - -1))*7. Let b be s/2*(-36)/21. Which is greater: b or 32/7?
b
Let a be 4 - (412/12 - (-1 + 3)). Is a != 2/5?
True
Let k = -34 - -37. Suppose k - 11 = 2*s. Is s > -4?
False
Let x = 248.7 + -248.78. Let n = 0.2 - 0.1. Let i = n + -0.2. Which is smaller: i or x?
i
Suppose 3*m = -u + 103, -5*m + 8*u - 4*u = -149. Which is bigger: m or 286/9?
m
Let a be 124/(-240) - 2/(-8). Let m = -19 - -17.4. Let c = m - -0.6. Which is bigger: c or a?
a
Let f = -1266 + 1250. Which is smaller: f or -8?
f
Let d = 2873/13538 - -2/967. Which is smaller: -1 or d?
-1
Let b = -67.46 - -68. Let u = b + -0.34. Which is smaller: -3 or u?
-3
Suppose 87*p = 99*p + 96. Which is smal