8. Let w be r(-1). Which is bigger: w or 77/2?
w
Let n = 25 - 30. Let u be 12/(-2 - 1 - n). Suppose s + u = 6. Which is greater: 2 or s?
2
Let j = 3227 - 3226. Is -1/103 < j?
True
Let q = 20722 - 20721. Which is smaller: -346 or q?
-346
Let u = 273520.0147 - 273534. Let l = -0.0147 + u. Is l >= 2.9?
False
Let n be (50/4)/(11/88). Let o be 6*(-3 + n/33). Suppose 8*y - 49*y - 41 = 0. Is o > y?
True
Let r(k) = 5*k + 35. Let j(z) = -2*z**2 - 6*z + 4. Let f be j(-4). Let m be r(f). Suppose -m*o = -14*o. Are 6/11 and o equal?
False
Let q(b) = -2*b**3 + 3*b**2 + 10*b + 7. Let h be q(-4). Suppose -3*v = -h + 155. Let r be (1/7)/(8 - 7 - v). Are r and 0 non-equal?
True
Let x = 19620 + -19619.97. Are 320 and x equal?
False
Suppose -5*r - 15 = 0, 0*r - 3*r + 153 = 3*x. Suppose 7*a = w + 11*a + 7, a = -5*w - x. Which is smaller: -3 or w?
w
Let y(o) = 13*o**3 - 5*o**2 - 10*o + 15. Let k be y(-4). Let m = 852 + k. Suppose -g - 3*g = 2*c + 12, 2*g + 2 = 0. Which is bigger: c or m?
c
Let m(c) = -2*c**2 - 29*c - 79. Let f be m(-11). Let j be 51/(-34) - (f - (-10)/(-4)). Which is bigger: j or 11?
11
Let l = -14877 + 14810. Let s = -0.1 - -0.2. Which is smaller: l or s?
l
Let h = 798.7 - 854. Let s = h + 55. Let a = 2.6 - 2. Is a not equal to s?
True
Let c(t) = -t**3 - 13*t**2 - 14*t - 25. Let p be c(-12). Let a be 21/(-2 + 5) - (4 + p). Suppose 4*m - 4 = a. Is 6/7 != m?
True
Let u be (17 - 16) + (-318)/(-2) + 0. Let a be (1/(4/6))/(120/u). Suppose -4*v = -4*g - 40, a*v - 3*g = -0*v + 23. Is v > 9?
False
Suppose -3*k + 2*v - 297 = 0, -2*k + 3*v + 95 - 293 = 0. Let s = 95 + k. Let g be 0 - -14*(-3)/6. Is g <= s?
True
Let v be ((-64823)/249)/(-1 - -1 - (-4)/3). Which is greater: v or -194?
-194
Let p be (-2*12/(-1940))/((-5585)/350 + 16). Which is smaller: p or 1?
p
Let b = -2/321 - 4787/4494. Suppose 3*s + 4*p - 2*p = -2074, 2784 = -4*s + 2*p. Let v = -695 - s. Which is smaller: v or b?
b
Suppose -9*d = d - 460. Let c = -64 + d. Let i(l) = l**3 + 16*l**2 - 34*l + 36. Let v be i(c). Do v and 7/17 have different values?
True
Suppose -4*s - 8*n = -74 - 258, -3*n = 3*s - 234. Let o be ((-146)/6)/((-3)/9). Is s != o?
False
Suppose 6*p = 5*p - 20. Let t = 26 - 24. Let d be t*2*(-3)/(-12). Which is smaller: d or p?
p
Let y = -71/241 - 9793/6025. Which is smaller: -1/3 or y?
y
Let l = -429 + 793. Let m(y) = -91*y - 1. Let h be m(-4). Which is bigger: l or h?
l
Suppose 0 = 4*w - 3*w - 10. Let i(n) = 17*n + 3*n**3 - 16*n**2 + 6*n**3 - 21 - 7*n**3 - n**3. Let k be i(15). Is k > w?
False
Let y be (2/3)/(7 - 8464/1209). Is y at most as big as -803?
True
Let k(u) = 11*u**3 + u**2 - 3*u - 2. Let x be k(-2). Suppose 156 = -10*y + 8*y - 2*w, 3*y + 262 = 4*w. Which is greater: y or x?
x
Let y = -1.3733 + 0.6733. Which is smaller: y or -8/7?
-8/7
Let q = -17 + 15. Let a = q + 7. Suppose -4*x = 8, 3*p - 4*p = -a*x - 11. Which is greater: p or -2/187?
p
Let m = 5412 + -6536. Which is smaller: m or -2249/2?
-2249/2
Let w be (37 + -42)/((-5)/35). Which is greater: -0.6 or w?
w
Let g = 44.2563 - 44.3. Let h = 1.0437 + g. Which is smaller: h or -109?
-109
Suppose -2*x = -18*x + 192. Suppose 4*h = 12, 0 = -2*z - 5*h + 5 + x. Are 10/27 and z nonequal?
True
Let u be 17 + (11 - 7464/267). Does -2 = u?
False
Let v = -502 - -4502. Let h be 0/(-2) + (v/15)/5. Which is smaller: 52 or h?
52
Let u = -19.8 - -415.8. Let k = 396.08 - u. Which is greater: k or -10/7?
k
Suppose -10*m = m + 297. Let x be 6/8 - 80/(-64). Is x at most as big as m?
False
Let t(j) = 11*j + 92. Let v be t(-8). Suppose v*y - 3*a = 602, a = 7 - 5. Do 151 and y have different values?
True
Suppose -17 = -10*o + 113. Let d be 1/(39/o*2/(-6)). Let v be 22/(-18) - d - 1014/54. Are -19 and v equal?
True
Let d = 759 + -759.064. Which is smaller: d or 0.2?
d
Suppose -5*j + 5*b + 25 = 0, -2*j - 7*b + 13 = -10*b. Let m be j/1 + -3 - 3/3. Is -0.05 bigger than m?
True
Let a = -23100 + 23103. Is 208/61 greater than a?
True
Let i(o) = -3*o**2 + 106*o - 30. Let z be i(35). Suppose -608 = -12*t + 8*t + 2*p, -z*p - 296 = -2*t. Which is smaller: t or 154?
t
Let h = -1690.3 + 1680.3. Do h and 166 have the same value?
False
Let l be -1 - 268/(-1 + 3). Let q be l/(2 - -1)*(-6)/5. Let x = -112 + q. Which is smaller: x or -57?
x
Let d = -0.1 + 0.3. Let a = 1168 + -1031. Suppose -67*l = -a - 1069. Which is smaller: l or d?
d
Let m be ((-588)/(-980))/((-18)/46 - 4/(-10)). Which is bigger: m or 70?
70
Let v = -249 - -263. Let j = 241.9 - 228. Let s = j - v. Is s greater than or equal to 5?
False
Let l(d) = 3*d**3 - 7*d**2 + 12*d - 40. Let r be l(-8). Which is smaller: r or -2118?
r
Let d be ((-12)/(-970))/((-2)/10). Suppose 4 = -n, -3*n - 34 = f - 23. Which is greater: f or d?
f
Let j be (6/(-118))/(6570/60). Which is greater: j or -1?
j
Let f(x) = -x**2 + 13*x + 5. Let c be f(14). Let h be (24/c)/((-4)/(-6)). Let u be 0/(h/4) + 3. Which is bigger: u or 11/3?
11/3
Let h = -3746/341 + -116/31. Is h equal to 5?
False
Let t = 40.59 + -39.92. Are t and 2/179 unequal?
True
Let u = -3730 - -3893. Which is bigger: 818/5 or u?
818/5
Let n = -3411/7 + 29810/63. Let a = 13 + n. Let q(g) = g**3 + 22*g**2 + 43*g + 63. Let m be q(-20). Which is greater: m or a?
m
Let x = -5682 - -5966.9. Let y = x + -285. Is y at least 507?
False
Suppose -5 = -a + 2*g, 0 = a - 4*a - 2*g + 39. Suppose 8*j + 5*y - 112 = a*j, -4*y - 67 = 3*j. Which is greater: j or -33?
j
Let s(l) = -4*l + 11. Let k be s(8). Let z be (4 + 0)*-6*3/(-18). Suppose -56 - 44 = z*f + 2*w, 16 = -4*w. Which is smaller: k or f?
f
Let m(n) = 3*n**3 - 7*n**2 + 8*n + 17. Let d be m(7). Which is smaller: d or 757?
757
Let n(q) = 45*q**2 + 310*q - 36. Let s be n(-7). Which is greater: 256 or s?
256
Let z = -15259 + 15298.47. Is -1/3 greater than or equal to z?
False
Let t(r) = 2*r**2 - 1. Let d = -72 + 73. Let u be t(d). Let g be (-35)/98*(u - 26/12). Which is smaller: 1 or g?
g
Suppose 182*s = 177*s - 180. Let q be 0 - ((-24)/s)/(41/3). Is q != 1?
True
Suppose -6*f + 8 - 2 = 0. Is 18/169 at most f?
True
Let r(f) = 9*f - 34. Let k be r(4). Suppose 54 = 2*d + k*g, 3*g - 34 + 3 = -d. Let s be (d/30)/(2/12). Is s < 6?
True
Suppose 874 - 838 = 4*b. Let p be (-2)/8 - (-198)/(-8). Let j = p + b. Which is smaller: 0 or j?
j
Let r = -71 - -70. Let i(c) = -c**3 + 3*c**2 - 2. Let o be i(r). Let p be 14/56 - (-22)/8. Are o and p unequal?
True
Suppose 3*l - 5*h = -70, l + 5*h = -39 - 11. Let q = -24 - 9. Does l = q?
False
Let f be ((-90)/(-21) - 4)/(-2887). Which is smaller: f or 1?
f
Let k be (-356)/10 - 12/(-20). Let t be 2 + 63/k - 98/510. Is 1 at least t?
True
Let q = -3.2 + 3. Let j = 116559643/120 - 971318. Let g = j + -62/5. Is g at least as big as q?
True
Let p be ((-86)/5)/((-4329)/325 - -14). Is p less than or equal to -25?
True
Let l be (-1 - (-488)/484)*-1. Suppose 56*r = -113*r. Is r greater than or equal to l?
True
Let k = -426 + 420. Let a(s) = -s**3 - 9*s**2 - 19*s - 12. Let j be a(k). Suppose 5*f + 11 = -29. Is j less than f?
False
Let o = -4951 + 4943. Let v = -33/14 - -221/70. Is o != v?
True
Let r = -1015 - -1017. Let g = 1.62 - 70.62. Let q = g - r. Which is smaller: -0.1 or q?
q
Let h be (26/6)/(3472/(-53382)). Is h >= 1/2?
False
Let n be 2 - ((-13)/(-26))/(1 + 0). Which is smaller: 3 or n?
n
Let q be (-56)/(-18)*264/154. Suppose -2*f - 10 = 14. Let c(w) = -w**2 - 14*w - 18. Let z be c(f). Is z less than q?
False
Let v be (-448)/14 - (0 - 0). Let w be (v/12)/((-2)/9). Let q be 3/(-6)*(-66)/w - 0. Which is greater: 0 or q?
q
Suppose -4*k + 5536 = 4*v, -5*v + 7*v = k + 2789. Is v less than 1390?
False
Suppose 4*i + 2*t + 700 = 0, 4*t - 326 - 4 = 2*i. Which is smaller: -167 or i?
i
Suppose -5*v - 1 = -2*s, -v + 32 = -4*s + 79. Which is smaller: s or -560?
-560
Let f = 12.5 + -11.88. Which is smaller: f or -0.2?
-0.2
Suppose 53*j - 49*j + 64 = 0. Suppose -i = -4*b - 19, b = -2*i - 0 + 2. Let f be 4/(((-1)/b)/((-10)/j)). Is f at most as big as 7?
False
Let a = 2497 + -2638. Is -133 greater than a?
True
Suppose -352 = 15*n - 7*n. Let a be n + (3 + (-7 - -4))*-1. Does a = -130/3?
False
Let o = 7399 + -17731. Let r be 40/(-70) + (-5932)/o. Is 1 at least as big as r?
True
Let s(o) = -9*o**2 - 9*o - 18. Let x be s(-3). Let w be -2 - (12/x + (-13)/30). Is -2/75 at least as big as w?
True
Let q = 36.6 - 34. Let