8. Let l(o) = -2*o + 2. Let c(h) = -b(h) + 4*l(h). Let r be c(-8). Which is smaller: 103 or r?
103
Suppose 0 = -3*r - 0*r - 5*c + 12, 0 = 2*c. Suppose -i + r = 0, -5*i + 200 = 2*x - 0*i. Is 90 at least x?
True
Let z = 236.52 - 0.52. Let j = -236.72 + z. Is j bigger than 3?
False
Let u be 748/(-14) + (-292)/511. Let z(l) = l. Let q be z(6). Let f = u + q. Do f and -47 have the same value?
False
Let l = -1312/23 - -10427/184. Is -917 != l?
True
Let m be 610/(-299) + -3 + 5. Let g = m - -662/31395. Let z = g + -8/21. Is -1 < z?
True
Let v = -76167 + 838745/11. Which is bigger: v or 84?
84
Let f(m) = -m**3 + m**2 - 1. Let d(l) = 6*l**3 + 2*l**2 + 4*l - 17. Let w(q) = d(q) + 5*f(q). Let g be w(-5). Which is greater: 26/3 or g?
26/3
Suppose -3*a = 2*b - 425, -4*b + 5*a + 311 = -550. Let o = b - 215. Which is greater: o or 2/27?
2/27
Let k be (-20)/1788*(-108)/30. Let z = -315/3278 - k. Which is bigger: 1 or z?
1
Let r be (-168)/(-9) - (-2)/12*2. Suppose 15*b = r*b - 20. Suppose -b*z + 100 = 15. Is z at least 1?
True
Let d = 67.992 + -68. Let a = d + -92.992. Let l = a - -93.1. Which is greater: -91 or l?
l
Let k be (24/(-504))/(((-3)/18)/(-1)). Do -100 and k have the same value?
False
Let u(d) = -562*d - 4496. Let b be u(-8). Which is bigger: -2/39141 or b?
b
Let j = 314 + -315. Let r be (-3)/j + (8 + 1)/9. Which is greater: r or 38/7?
38/7
Suppose 2 = -3*y + y - 3*v, 5*y + v + 5 = 0. Let h = 1362 - 172976/127. Which is greater: h or y?
h
Let j(d) = d**3 + 9*d**2 + 47*d + 9. Let o be j(-8). Is -308 less than or equal to o?
True
Suppose r = -0*r + 3*r. Suppose -6*v + 7*v - 6 = r. Let d be v + (-1071)/35 - (-4)/(-10). Which is smaller: d or -23?
d
Suppose n - 3*w + 3 = -2*n, -n - 4*w - 16 = 0. Let t be n/(-18) - 8/522. Suppose -3*d + 3 + 0 = 0. Which is bigger: d or t?
d
Let v(j) be the second derivative of -j**4/12 + 7*j**3/3 - 23*j**2/2 + 8*j. Let n be v(10). Suppose -c = n - 4. Is c at least as big as -13?
True
Let t = 105.8 + -405.8. Is t bigger than 0?
False
Let b(c) = -2*c**3 + 3*c**2 + 10*c - 3. Let y be -4 + (2 - 6) - -6. Let t be b(y). Does t = 3?
False
Let p be 161 - (-24)/((-480)/(-380)). Is 178 != p?
True
Let x be 3/(-9) + 1300/(-6). Let t = x + 346. Let n = 155 - t. Which is smaller: n or 27?
n
Let w = 24938 - 24936. Are w and 256/75 unequal?
True
Let n = -0.05214 + -2.94786. Which is bigger: n or 5.96?
5.96
Let i(u) = u + 20. Let t be (4/1)/2 + 5 + -3. Suppose 21 = -3*v - t*k + 5*k, 5*k - 27 = 2*v. Let a be i(v). Which is greater: 13 or a?
a
Let j = 443 - 244. Let m = j - 203.12. Which is bigger: 1/3 or m?
1/3
Let q be (-5 - -10)/(-2 + 1 + 0). Let v be 10/(-122)*q/((-75)/2). Are -1 and v nonequal?
True
Let v = -627 + 100946/161. Let f be (32/(-128))/(((-10)/15)/(32/(-12))). Which is bigger: f or v?
v
Let j(d) = d**2 - 7*d + 10. Let a be j(5). Suppose 0 = 3*l + 9, 4*v = 5*l + 1 + 18. Suppose -s - v = -a*s. Which is smaller: s or -4/11?
s
Let y(r) be the first derivative of -r**4/4 - 2*r**3/3 + 11*r**2/2 + 15*r + 10. Let k be y(-4). Which is bigger: k or 4?
4
Let i(p) = 48*p**2 + 7*p + 6. Let r be i(-1). Let g(q) = q**3 - 47*q**2 + 4*q - 192. Let m be g(r). Let d = 3 - 4. Which is bigger: m or d?
d
Suppose 0*p = 3*b + 5*p - 3019, 5*p = 3*b - 2999. Suppose -3*n = -0*n - 4*z - b, 3*n + 4*z - 1019 = 0. Is n greater than or equal to 338?
False
Let i = 37 - 73/2. Let a = i + -13/18. Let m = 0.5 + -0.3. Which is greater: m or a?
m
Suppose -1969*p + 1988*p = -3515. Which is greater: -184 or p?
-184
Let l = -0.0136 + 0.0291. Let s = l + 0.0395. Is s less than or equal to 1?
True
Let i(v) = -v**2 + 15*v - 48. Let c be i(16). Let f = -3369/4 + 842. Which is bigger: c or f?
f
Let y = -0.02 - 0.08. Let p = -3.55 - 429.45. Let m = 445 + p. Is y at most as big as m?
True
Let u be (-4)/2 - (136/340)/((-3)/7890). Which is smaller: u or 1049?
1049
Let c be ((-1)/2)/(134/8). Let x(d) = -3*d**2 - 156*d + 1441. Let j be x(-60). Which is bigger: j or c?
j
Let y = -18981/10 - -544119/290. Is -23 >= y?
False
Suppose 6*i - 90 = -12*i. Suppose 3*j + 2*k - 385 = k, -i*j + k = -647. Do 1 and j have the same value?
False
Let p = 174/935 + -257316/1654015. Which is greater: p or -1?
p
Suppose 990 = 2*m + 4*v, 49*m - 2*v = 48*m + 511. Which is bigger: 1511/3 or m?
1511/3
Let v = -45 - -35. Let s be v*1*1*(-216)/48. Let k be ((-16)/10 - (-27)/s)*2. Do -2 and k have the same value?
True
Let h = -5/124 + -505/2852. Let z(p) = -p**3 - 2*p**2 + 18*p - 120. Let k be z(-7). Which is greater: h or k?
h
Let z = 31.13 + 19. Let p = -54.7 - -4.7. Let y = z + p. Is y < 2?
True
Let h(n) = -20*n + 252. Let j be h(0). Let s be (0/(-1) - -2)/((-4368)/j). Is 0 <= s?
False
Suppose 0 = 3*n + 45 + 117. Let v = 49 + n. Let l be ((3 - -17)/v)/(-2). Is 6 bigger than l?
True
Let x = 12288 + -12288.2. Which is smaller: 621 or x?
x
Let y = -2.053 - -2.633. Is 0.1 smaller than y?
True
Let j = 0.3 - 0.5. Let o = -17.2 - 132.8. Let d = o - -150.1. Which is greater: d or j?
d
Let b = 312 + -139. Suppose 4*h = 5*w + 191, 5*h + w - 73 - b = 0. Let u = 589/12 - h. Is u at most -1?
False
Let q = -675080/3 + 229753. Is 4725 greater than or equal to q?
False
Suppose 425*d - 75*d - 1317400 = 0. Is 3766 at most as big as d?
False
Let k = -0.0587 + 0.0822. Let n = 0.0935 - k. Let t = 1 - 2. Is n at least t?
True
Let n = 70 - 69. Let k be ((-4)/94)/(n + 0). Which is bigger: 1 or k?
1
Let s(y) = -y**3 + 64*y**2 - 660*y - 114. Let m be s(51). Are 241/6 and m non-equal?
True
Let g = 5 + 0. Let h = 2367 - 2354. Suppose -h = -g*a - 33. Are -19/5 and a equal?
False
Let h be -2 - (-5)/((-20)/372). Let l = -14363/150 + 21/50. Which is greater: l or h?
h
Let x be (-4)/(-16) + 1239/(-28). Is 236 greater than or equal to x?
True
Let n = -1550 - -1551. Let o(s) = 5*s - 2*s + 7 + 2*s - 4*s. Let g be o(-7). Which is smaller: g or n?
g
Let z(d) = d**2 + 17*d - 35. Let r be z(-19). Suppose 4*y - 42*k = -38*k - 1732, -2*k = r*y + 1294. Which is smaller: y or -431?
y
Let y = -106/37 - -5875/333. Is y at least as big as 14?
True
Let i = 13 + 220. Let h = -300 + i. Is -67 >= h?
True
Let h be -28 + -3 + 1 - 3/(-3). Let w = -19 - h. Let s = 539 - 530. Which is greater: s or w?
w
Let d(j) = -224*j - 1345. Let p be d(-6). Is 28/85 less than p?
False
Let k be (62/8)/(22/88). Which is smaller: k or 44?
k
Let l(u) = -u**2 - 6*u + 2. Let k be l(-6). Suppose -4*g + 21 = 1, -2*t - 2*g = -20. Suppose -d - t + 2 = o, -k*d = 4*o + 20. Which is smaller: -5 or o?
o
Let t = -23 - -60. Suppose -4*v + 140 = 3*n - 8*v, 5*n = 5*v + 225. Which is greater: n or t?
n
Suppose -18*t = 20*t - 6*t - 896. Which is smaller: t or 211?
t
Let r be 56/12 + -4 - (31167 + 9)/12. Which is smaller: -2598 or r?
-2598
Let q(v) = v**2. Let m(a) = -a**3 + 4*a**2 - 6*a - 46. Let p(s) = m(s) + 6*q(s). Let d be p(8). Is d smaller than 30?
False
Let r = 5 - 0. Suppose r*s + 19 = 69. Suppose -4 = w - g + 5*g, 4*w + 3*g = s. Is 4 at most as big as w?
True
Let m = -19353065 + 1122514137/58. Let a = -627 + m. Which is smaller: -0.3 or a?
-0.3
Let i = 0.02907 - 0.02907. Which is smaller: -4331 or i?
-4331
Let j = -819 + 817. Which is smaller: -92 or j?
-92
Let t = -13791 + 13425. Which is greater: t or -340?
-340
Let g = 0.991 - 1. Let z = 291 + -402. Let u = -112 - z. Which is greater: u or g?
g
Let l = -0.05 + -137.95. Let b = 137 + l. Let d = 0.3 + -1.1. Is d less than b?
False
Let n = -126/517 - -20/47. Suppose 0 = -9*p + 44 + 127. Is n less than p?
True
Let a = -80.96 - -167.67. Let y = a - -3.29. Does y = -1/3?
False
Let d = -6699/25 - -6693/25. Let r = 0.023 + -2.923. Let q = -3 - r. Is q at most as big as d?
False
Suppose -7*m - 14 = -14*m. Suppose p + b = 133, m*b + 73 = p - 54. Let v = p - 96. Which is smaller: v or 36?
v
Let d = -1/272 + 12793/2448. Which is greater: 5 or d?
d
Let s(v) = -7*v**2 - 22*v - 4. Let o be s(-3). Which is greater: 3/188 or o?
3/188
Let z = -55 - -52. Let v be 4/(z + 1 + 83/42). Do -1 and v have the same value?
False
Let f be -7 - (48709/(-2680) - (-4)/1). Does f = 6?
False
Let h be (-1)/(-4)*-2*-2. Let v(y) = -y**3 + 2*y**2 + 54*y + 26. Let k be v(-6). Let j be (35/k - h)/(-15). Is j not equal to -1?
True
Let b = 300 - 281. Suppose 0 = 4*h - 5*s + b, 5*h - 13*s + 9*s + 17 = 0. Which is greater: -12/11 or h?
h
Let t be (1 + -1)*11/33. 