8. Let s = 25 + a. Which is bigger: g or s?
s
Suppose -4*y + 9*y + 5*u = 30, 0 = -2*y - u + 14. Let l be ((-4)/8)/(-1)*y. Suppose -10 = -2*s, 4*t + 13 = s + l. Which is smaller: t or 2/55?
t
Let w be 2/(-1)*1/(-2). Let r = -145 - -112. Let j be (-6)/r + (-188)/(-176). Is w <= j?
True
Suppose -2*t = -2*z + 2, 0 = -3*z - 3*t + t + 3. Let o(l) = l**2 + 2*l - 13. Let m be o(-5). Which is smaller: m or z?
z
Let q = -40 - -35. Let l(d) = -d**3 - 3*d**2 + 18*d + 13. Let m be l(q). Which is smaller: 2 or m?
m
Let x = 6 + -3. Let q = -28 - -31. Let y be 0/4 + 3 + q. Do y and x have different values?
True
Let q = 904 - 894. Is 10 equal to q?
True
Suppose 27*z - 30*z - 218 = c, -3*z = -c + 214. Is z greater than or equal to -71?
False
Let t = -35 - -107/3. Suppose 4*u - 1 = 15. Suppose u*g - 3*x + 12 = 0, 4*g - 4*x + 16 = -g. Is g equal to t?
False
Let g(n) = -1. Let q(h) = -7*h + 56. Let d(m) = -35*g(m) - q(m). Let t be 4/(-18) + (-168)/(-27). Let r be d(t). Is r < 21?
False
Let o(n) = -3*n + 1. Let c be o(2). Let u = 3 - c. Let i = 0 - u. Is -8 not equal to i?
False
Let z = -12.1 + -40.9. Let t = -25 - z. Is 0 at least as big as t?
False
Let d = 27 + -24. Suppose -a - 3*a - 5*y = 17, -a = -d*y. Which is bigger: a or -15/7?
-15/7
Let t = 3436 - 1023927/298. Do t and -1 have different values?
True
Let w = 0.25 - 0.15. Let h = -0.21 - 0.33. Let i = h - -0.33. Is w not equal to i?
True
Let k be ((-54)/(-30))/((-3)/10). Which is smaller: 0.2 or k?
k
Let c = 33 - 36. Let n be (-4 + 244/60)*c. Is 0 greater than n?
True
Let t(a) = -a**2 + 5*a + 3. Let y be t(4). Let r(d) = -d**3 + 6*d**2 + 6*d + 10. Let b be r(y). Suppose 1 = -b*q + 4. Is q greater than -2/19?
True
Suppose 12*p - 36 = 6*p. Let m = -1 + 2. Let j be 3/(-18) + m/p. Do j and -2/3 have the same value?
False
Suppose -3*x + 3*j = 306, -2*j = -7*x + 3*x - 404. Which is bigger: -99 or x?
-99
Let r be (15/10)/((-6)/64). Let c(v) be the first derivative of v**2/2 + 5*v - 22. Let t be c(-4). Is r < t?
True
Let p = -525 - -525.4. Is p greater than or equal to -0.097?
True
Let n be 2/((2 - 3)/(1/13)). Suppose -3*w + a + 2*a = 0, -a = 3*w. Let q(l) = l**2 - l. Let k be q(w). Is n > k?
False
Let h be (80/6)/4*9/5. Suppose 0 = 7*s - h*s + 52. Is s != -52?
False
Suppose 50*h = 751 + 399. Suppose -4 = -r - g + 1, 5*g = 25. Is r less than h?
True
Let x(n) = 2*n**3 + 9*n**2 + 13*n + 6. Let i be x(-5). Let m = i + 251/3. Let r be 0*2*2/(-8). Is m at least as big as r?
False
Let i be (-4)/(-18) + (-650)/(-72). Suppose 113*w - 53*w + 21 = 39*w. Which is bigger: i or w?
i
Let t be (-2 - 74/(-58))*4 - -3. Which is smaller: 0 or t?
0
Suppose 5*y = -2*o + 27, 24 = 6*o - 4*o + 2*y. Suppose o*n - 6 = 5*n. Is n at least 1/18?
True
Let c = 2 - 30. Is -21 equal to c?
False
Let i = -10.825 - 0.175. Let c(u) = -u**2 + 2. Let b be c(-2). Which is bigger: b or i?
b
Suppose y = -4*o + 44 + 40, 4*o + 252 = 3*y. Which is smaller: y or 1?
1
Let n = 1.7 + 14.3. Is -0.4 at most n?
True
Let k = -1028/41 - -25. Is 0.05 != k?
True
Let v = -0.08 - -3.08. Let j = -434.71 + 434.9. Which is greater: j or v?
v
Let k = 7562/7 + -1080. Which is smaller: k or -18/19?
-18/19
Let z = 1.552 - 1.3. Let h = 0.048 + z. Is h <= 3/13?
False
Let t = -1.37 - 218.63. Is -1/4 at most t?
False
Let y = 19.8 - -0.3. Let h = y + -21. Let z = 3907 + -3906. Is z at least h?
True
Suppose -t - 13 = 5*x, -4*x + 3*t = -2 + 1. Let c(s) = -s**3 - s**2. Let w be c(1). Is x at least w?
True
Let v = -112 + 120. Let m be (28/v - 3)*(5 + -5). Is m less than -2/15?
False
Let m = -1509 + 1236. Do -274 and m have different values?
True
Let n = -760 + 756.53. Let f = n + -0.53. Which is smaller: f or 1?
f
Suppose -2*f - 6 = -0*f + o, f + 5*o = -12. Let q be 68/(17/1) - 32/5. Which is smaller: q or f?
q
Suppose 3 = j + 1. Let b = 663 + -607. Suppose -5*h = 15, -j*h - b = -4*m + 2*h. Are m and 2/5 nonequal?
True
Let z = -0.608 - 51.392. Which is smaller: -1 or z?
z
Let q be (-1885)/27150 - (-12)/180. Does q = 1?
False
Suppose c = 3*a, 0 = -0*a + 4*a - 3*c. Suppose 5*h - 27 = -4*u, -4*h + a*h + 21 = 3*u. Suppose -n - 1 = u*x - 0, 5 = 3*x + 4*n. Is x at least as big as -2/19?
False
Let z be (-23)/138 + 598/(-12). Let l = z - -95. Do 87/2 and l have the same value?
False
Let h be (20/4)/(2 - 1). Suppose 12 = h*s - 4*s. Suppose -s = -5*m + 13. Is 4 equal to m?
False
Let u be ((-1005)/1)/(-3) + (-4)/(-2). Which is smaller: u or 339?
u
Let m = 86 + -85.9. Let f = 6.99 - -0.01. Which is greater: m or f?
f
Suppose 3*j - 2 = 7. Suppose 3*k + 2*k - 135 = 0. Let u = k - 186/7. Which is smaller: j or u?
u
Let l be (104/(-39))/(3/6). Which is smaller: -6 or l?
-6
Let j = -57 + 57.93. Let f = j + 0.09. Let y = 0.02 - f. Which is greater: 0 or y?
0
Let v(a) = 5*a**2 + 48*a + 4. Let n be v(-6). Is -106 at most n?
True
Let x be (-5)/(-4 + (0 - (-14)/4)). Let o be ((-6004)/860 - -7)/((-2)/x). Is o < 1?
True
Suppose -3*x + 6 = 3*l, -l - l + 12 = -2*x. Let s(g) = -g**2 - 5*g - 4. Let v be s(-4). Suppose v*r + r = -l. Is r smaller than -3?
True
Let c be ((-5880)/(-153))/(-7)*(-18)/5. Which is bigger: c or 19?
c
Let p(u) = -u**2 - 2*u + 5. Let r be p(0). Suppose -4*l - 30 = -r*v, 3*l + l = -20. Which is greater: v or 13/7?
v
Let f = 6 - 0. Let j = -2 + f. Let g be ((-8)/12)/(j/(-6)). Does 1 = g?
True
Suppose -5*g + 4*i + 36 = 0, 0*i + 28 = 4*g - 3*i. Suppose -g*t = -b, 3 = t - 3*b + 2*b. Which is smaller: 0 or t?
t
Suppose -16 = -f + 3. Let u = f + -9. Suppose 3*v = 2*h + 18, -2*v + 552*h - 554*h + 22 = 0. Is u equal to v?
False
Let z be (16/(-10))/((-12)/30). Suppose 0 = -3*v - 5 - z. Let r be 5/(4/(v + 2)). Is -2 greater than or equal to r?
False
Suppose 2*c - c + 21 = 4*m, 2*c + 10 = 0. Suppose 0 = 2*z - m*z. Let g = 20/17 - 49/85. Which is smaller: g or z?
z
Let g(n) = 3*n**2 + 13*n - 11. Let a be g(-5). Let m = 3920/19 + -206. Which is bigger: a or m?
m
Let n be ((-32)/(-2))/(-4) + 130. Suppose 35 = z + n. Which is smaller: -90 or z?
z
Let q(w) = w**2 - 7*w + 6. Let l be q(5). Let v be (-13)/(2*2/l). Let o(r) = -14*r**3 - r**2 + r + 2. Let z be o(-1). Are v and z equal?
False
Let g = -16.9448 + -0.0552. Let p = -6 - 12. Let f = g - p. Is 1 smaller than f?
False
Let j(o) = o**3 + 10*o**2 + o - 1. Let s be j(-10). Let z = 15 + s. Suppose 0 = -5*i - z + 19. Which is smaller: 0 or i?
0
Let o(z) = 0 + 3*z**2 - 2 - z + 0*z**2 - 4*z**2. Let d(m) = -m**3 - 6*m**2 + 7*m - 2. Let y be d(-7). Let b be o(y). Is b >= 0?
False
Let j(r) = -50*r - 146. Let v be j(-4). Is 59 at least v?
True
Let i be 15/(-2)*144/15. Let o be (-50)/(-18) - 16/i. Suppose 9 = o*b, 5*k - 9 = 4*b - 7*b. Which is smaller: k or -2/37?
-2/37
Let s = -37 - -37. Let d be s/((-3)/6*2). Let w be 2*(-1 + (-2)/(-6)). Which is bigger: w or d?
d
Let z(v) = -v**3 + 4*v**2 + 12*v. Let g be z(6). Suppose g = 2*j + 5 - 15. Is 42/11 greater than j?
False
Suppose -9 = k - 3*v, 0 = -4*k - 0*v - v + 3. Let h = 310 - 8368/27. Let d = 44/135 + h. Is d at least as big as k?
True
Let r be 1*(-76)/180 + 6/30. Is 124 > r?
True
Let d(b) = b**2 + 7*b + 13. Let l be d(-4). Let p(c) = -24*c**3 - c**2. Let v be p(l). Which is greater: -24 or v?
-24
Suppose 4*y - 37 = -4*u + 3*y, -39 = -3*u + 3*y. Suppose 0 = 4*m - u*m. Are 1 and m unequal?
True
Let g = -2090.93 - -2091. Is g greater than 93?
False
Let s be (-248 + -1)*(-54)/(-36)*-2. Is 748 less than or equal to s?
False
Let p(g) = -49*g - 11. Let k be p(4). Let t = k - -2073/10. Which is smaller: 1 or t?
t
Let f be 72/80*(-3 + 0 + 5). Is f <= 3?
True
Let y = -27 + 52. Suppose -9 = -2*s - y. Is -9 > s?
False
Suppose -3*x + 5*i = 677, -x + 68 - 307 = 5*i. Which is smaller: x or -230?
-230
Let y = -276/133 + 34/19. Which is smaller: y or 121?
y
Let r = 3 + -2.9. Let s(j) = -2*j + 24. Let p be s(-7). Let g = p + -45. Which is smaller: g or r?
g
Suppose 3*x = -5*h + 73, -3*h + 99 = 4*x + 2*h. Which is smaller: 107/4 or x?
x
Let r be 33/(-6 + 18*1/2). Let t(m) be the third derivative of -m**6/120 + 11*m**5/60 + m**4/24 - 11*m**3/6 + m**2. Let l be t(r). Which is smaller: -4/9 or l?
-4/9
Suppose -3*z + 9 = -9. Let p(i) = -i**2 + 13*i - 9. Let j be p(12). Suppose 0 = -3*a - 9 + j. Is z smaller than a?
False
Let x be 1 + 0 - 10/5. Let p = 1 + x. Let i = 1070/9 - 119. Which is greater: i or p?
p
Let q = 5 - -0.2. Let u