8. Suppose 41*j = 46*j - 110. Let u be r(j). Do u and x have different values?
True
Suppose w - 9503 = -9518. Let g(t) = -6*t**2 + 2*t + 3*t**2 + 2*t**2 + 3 + 4. Let v be g(6). Is v at least as big as w?
False
Suppose 0 = 3*t - 3, 0 = -y - 3*y + 2*t + 206. Suppose 0 = -y*q + 41*q + 726. Do 403/6 and q have the same value?
False
Suppose 3*d = -q - 4, 3*q - 24 = -0*d + 3*d. Suppose -i - k = i - 74, 5*k - 190 = -5*i. Let s be 330/143*(i/10)/d. Which is smaller: s or -3?
-3
Let f(p) = -5*p**2 + 32*p + 21. Let j be f(7). Suppose 4*n + 2 = -2, r = -2*n. Is j smaller than r?
True
Let n = 6614 - 6613. Which is greater: -28/603 or n?
n
Suppose -95616 = -161*s - 1645080. Is s at most as big as -9625?
False
Let g be 126959/(-381003) + 21/63. Are g and 0 non-equal?
True
Let o(m) be the second derivative of -m**3/2 - 33*m**2/2 - 12*m. Let r be o(-19). Suppose 3*j = -3*v - r, -4*j = -3*v - j - 12. Is -6 at least as big as v?
True
Let d = 10122 + -10122. Which is smaller: d or 2/6863?
d
Let c = -9655 - -4972333/515. Which is smaller: 2 or c?
c
Let l = -4247 + 4097. Which is smaller: -135 or l?
l
Let a(c) be the second derivative of -5*c**4/2 + c**3/2 + c**2 - 27*c. Let k be a(-1). Let d be ((-2)/(-3))/(1/(-45)). Which is greater: k or d?
d
Let n = -22 + 50. Let k = -8.663 + -423.237. Let y = k + 432. Which is smaller: y or n?
y
Suppose -3*a + 176 = -a + 2*f, 0 = -f + 4. Let w be (21/a)/(-5 + 2). Is -2 bigger than w?
False
Let j be ((-4)/(-21))/(2/(-15)). Let x = 336 - 333. Suppose 2*f - 20 = 5*s, -5*f - 16 = x*s - 7*f. Which is smaller: s or j?
s
Let u be (-6)/(-26)*14/6. Suppose 3*z = -x + 3, 0 = -4*z + 2*x + 2*x - 12. Suppose z*l = -l. Which is bigger: l or u?
u
Let x be -3 - (16 - (4 - 1)). Let w = 768 + -767.9. Are x and w unequal?
True
Let o = -1/29952 + -2416123/149760. Let q = 16 + o. Is q bigger than 5?
False
Let r = 23804 - 23804. Is r at least as big as 2/17425?
False
Suppose t = 1 - 52. Let k(c) be the third derivative of -c**5/60 - 3*c**4/8 + c**3/3 + 50*c**2 - c. Let j be k(-13). Is j at most t?
False
Let f be (-20)/(-60)*-1*15. Let u be (798/(-24))/(-7) + f. Do u and 25/4 have different values?
True
Let a = -0.2283 - -1.2283. Suppose 0 = -4*x + 5*n + 455, -5*x + 4*n = -265 - 315. Which is smaller: a or x?
a
Let h = 12 + 7. Suppose -7 = -3*i + 11. Suppose i*k = 14*k - 152. Are k and h nonequal?
False
Let p = -1457 + 1030. Let t = p + 427. Which is greater: t or -14/19?
t
Let z be -1*(-4 + 2)/(2/(-3)). Let d be (-3)/12 - (z/60 + 0). Which is bigger: -0.061 or d?
-0.061
Let c(h) = -103*h + 3699. Let b be c(36). Is b smaller than -486/47?
False
Let i = -21.37 - -21.07. Is i not equal to 107?
True
Suppose -2*h + 82212 = 4*k, k = 278*h - 279*h + 20550. Which is greater: k or 20555?
k
Let i = -7363 + 7364. Which is greater: i or 3/6131?
i
Suppose -23 = 3*a + 5*v, 0 = 3*a + 2*a + 3*v + 17. Suppose 96*g = 97*g - r + 25, 91 = -4*g + r. Is a >= g?
True
Let j be (-1020054)/2980*(2/(-14) - 0). Which is bigger: j or 50?
50
Let b be (6/(-12))/(((-6)/(-20))/3). Let z(u) = u**3 + 7*u**2 + 11*u + 4. Let y be z(b). Let r be y + -44 + 2 + 2. Are -40 and r equal?
False
Let v = -4688176511/789704 + 1/394852. Let r = -5949 - v. Which is smaller: r or -13?
-13
Let h be (-4)/12 - 3567/(-9). Are 395 and h nonequal?
True
Let s = -43 + 37. Let f be (s - (-2 + 8))*-1. Which is greater: -18 or f?
f
Let z = -1763 + 1772. Is 80 greater than z?
True
Let o = 59 - 15. Let n = -14 + o. Let h = n + -16. Which is smaller: 0.1 or h?
0.1
Let r = -33104 + 35755. Which is greater: 2652 or r?
2652
Let z be (1 + 820/(-828))*9 + (-498)/966. Let a = 0.49 + -96.49. Is a < z?
True
Let v = -48.09 - -35.09. Which is greater: v or 6.6?
6.6
Let z(k) = k**3 + 17*k**2 - 20*k - 36. Let j be z(-18). Is -6/241 > j?
False
Let g = -102.165 - -0.165. Let h = 102.47 + g. Let b = 0.37 - h. Which is greater: 7/5 or b?
7/5
Let v = -707.064 - -706. Let k = v + -432.936. Are k and 2/7 equal?
False
Let v = -328.2 - -53.2. Which is smaller: -0.2 or v?
v
Let n(u) be the third derivative of -u**4/24 + u**3/6 + u**2. Let j be n(-4). Suppose -5*v = c - 56, 25 = 2111*v - 2109*v + 3*c. Which is smaller: v or j?
j
Let a = -24 - -29. Suppose 3*b = 2*y - 2, 0 = -a*y - 4*b + 7 - 2. Let d = -110 - -331/3. Which is greater: d or y?
y
Let b = 0.5 - 3.5. Let m be ((-95104)/1728 - -56)*6/(-4). Which is bigger: m or b?
m
Let j be ((-4)/8)/(-1*4/(-4)). Is -770 greater than j?
False
Let n = 965.1599 + -960.16. Let r = -0.0001 - n. Is r at least as big as 2/7?
False
Let z = 51.8 - 102. Let i = z + 50. Is i bigger than -18?
True
Let v(i) = -8*i**3 + 34*i**2 - 3*i - 10. Let l be v(4). Suppose x + 107 = -3*a, -2*a + 3*x = 4*x + 71. Which is greater: l or a?
l
Let j be -2 - ((-594)/(-24))/(3/8). Let f = j - -66. Let p(x) = -6*x - 11. Let v be p(f). Is v less than or equal to 5?
True
Let f = 3 - 3. Let m = -560.87 - 0.13. Let v = m - -628. Which is smaller: f or v?
f
Let w = 0 + -1. Let i = 46.6 - 55.52. Let p = i - -9. Which is smaller: p or w?
w
Suppose 16 = -4*y - 40. Let k = -7 - y. Let b = 0 - -4. Is b < k?
True
Suppose 34*w - 29*w - 35 = 0. Suppose 3 = -m + 3*g, -3*g + w*g = -m - 10. Suppose 143*o + 12 = 139*o. Is m not equal to o?
True
Let b = 33948 + -28664. Which is greater: b or 5283?
b
Let c = 571232 + -571235. Suppose -4*i - 5 = 3*v + 1, -4*v + 17 = -3*i. Let q = v + -6. Is q equal to c?
False
Let n = 46 - 66. Let i = -169/917 + -32/131. Is n less than i?
True
Suppose 47*g = -27*g - 9*g + 386780. Does g = 4660?
True
Let n = 157 + -158.3. Let h = -17.2 + 16. Let b = n - h. Are -11/3 and b unequal?
True
Suppose -m - r - r = 0, 4*m = -2*r + 24. Let a be (-97)/m + 8 + -3. Suppose -2*c - 2*t - 24 = -4, 0 = -2*c - 3*t - 23. Are a and c equal?
False
Let k = -10996041/746 + 14740. Which is greater: 1 or k?
1
Let u(m) = -m**2 - 19*m - 87. Let y be 24/(-84) + 162/(-21). Let j be u(y). Is j < -1?
False
Let p = 234 - 234.158. Let j = 1.842 - p. Is 2 less than j?
False
Suppose -3*n = -5*w + 30, 3*w + 2*w - 25 = 2*n. Suppose w*m - 3 = p + 1, 0 = -5*p + 5*m - 10. Are p and 1/354 equal?
False
Let y be -40 - -3 - 135/45. Which is greater: y or -41?
y
Let s = -372 + 453.8. Let i = s + -81.78. Let p = 12 - 7. Which is smaller: i or p?
i
Let l = 124/5871 + -82695143/99807. Let a = l - -831. Let u be (-2)/(-6) - 32/(-12). Do u and a have the same value?
False
Let g be (7 - 9)*15/(-2). Suppose 11*r - g*r - 4 = 0. Let s be -2 + ((-414)/84)/((-9)/4). Which is smaller: r or s?
r
Let u = -0.71 + 0.677. Let m be -28 + 1932/(-63) + 59. Which is greater: m or u?
m
Suppose -18*a - 3*s - 41 = -20*a, -2*s = 2. Which is greater: 92/5 or a?
a
Let h = -677/518 + -9/74. Suppose -27 = 13*c + 12. Let s = -4 - c. Which is smaller: h or s?
h
Let h = -6960 - -6959. Are h and 1/3332 nonequal?
True
Let n = 29 + -32. Let a be (2 - -110) + -2 - (-6)/n. Suppose -3*v + 3 + a = 0. Which is bigger: v or 35?
v
Let k be (10/(-6))/5 - 9. Suppose 4*p = c + 2*c - 18, -c + 3*p + 6 = 0. Suppose n - w - 2 = -c, 4*w = -2*n - 32. Are n and k non-equal?
True
Let v(f) = -15*f + 18. Let i be v(5). Let h = 80 + i. Do h and 43/2 have different values?
True
Let a be ((-4686)/627 - -7) + (3 - 2) + -1. Suppose -i = 4*c - 9, -5*c + 1 = -3*i - 6. Which is smaller: a or i?
a
Let i = -220 + 37. Let b = i - -156. Which is smaller: b or 1/5?
b
Let h be -3*7/(-7) - 0. Let y(f) be the second derivative of -f**5/20 - f**4/3 + f**3/2 + 3*f**2 - 5*f. Let t be y(-4). Which is smaller: t or h?
t
Let k = -15.39 - -14.39. Is 1040/11 smaller than k?
False
Let j be 82/164 + 1067/2. Which is smaller: 3748/7 or j?
j
Let l(f) = -f**2 - 10*f - 5. Let w be l(-9). Suppose -w*d + 35 = -s, 5*s + 2*d = 4*d - 193. Let m be (-5)/(-3) + 26/s. Is m at least -2/15?
True
Suppose -55*i + 3577 - 1762 = 0. Suppose 3*c - 58 = c. Is i smaller than c?
False
Suppose -157933 - 98417 = 299*l + 33979. Does l = -969?
False
Let t = -0.29021 - 705.79979. Let u = t + 706. Which is smaller: -0.4 or u?
-0.4
Let k = 132157/5 - 26433. Are k and 0.0019 equal?
False
Let l = 2663/18 - 887/6. Let n = -0.45 - 0.4. Let c = 0.05 + n. Is l smaller than c?
False
Let o(h) = h**3 + 14*h**2 - 18*h**2 - 10 - 17*h + 8*h. Let g be o(6). Is g not equal to 13?
True
Let l = 515 - 503. Let i be (-1264)/l*(-180)/48. Are i and 397 nonequal?
True
Let q(m