8. Let k = w - 290. Is k < 5?
True
Let u be (-2)/4 - (-14469)/(-390). Is u < -37?
True
Let r(q) = q**2 + 79*q - 411. Let a be r(-68). Which is smaller: a or -1157?
a
Suppose 45*a + 12 = 33*a. Let b(m) = 2*m + 8*m**3 + 23 - 21 - m. Let j be b(a). Do j and -7 have the same value?
True
Let u be (-2)/9 + (-3694)/(-18). Suppose -u + 725 = 4*l. Which is bigger: 131 or l?
131
Suppose 0 = 83*m - 9*m - 27750. Does m = 375?
True
Let k be ((-221)/(-26))/(1/2). Suppose -5*j = -2*i + k, 2*j = i - j - 10. Which is smaller: i or 1/253?
1/253
Let k(f) = 2*f**3 - 73*f**2 - 32*f - 216. Let o be k(37). Which is greater: o or -69?
o
Let f be ((-2)/8 - 0)/(15/24). Let y = -299 - -305. Which is bigger: f or y?
y
Let d = -344 + 168. Let b = d + 95. Let v = 0.115 - 1.115. Is v less than b?
False
Let b(a) be the third derivative of -a**5/12 - 2*a**4/3 - a**3/2 + 10*a**2 + 2*a. Let w be b(-5). Is w equal to 4?
False
Let n = -0.07282 + -115.92718. Is 8/7 at most n?
False
Let k = 67/21 - 16/3. Let n(s) = 7*s - 14. Let z be n(6). Let l = 26 - z. Which is smaller: k or l?
k
Let x(c) = 3*c**3 - 2*c**2 - 2*c - 2. Let g be x(-2). Suppose 5*s = -b - 517, 4*s + b + 413 = -0*s. Let q = 73 + s. Is q at most g?
True
Suppose -4*w = 2*i - 42, -18*i + 49 = -14*i + w. Which is bigger: i or 48?
48
Suppose -5*k + 269 - 214 = 0. Which is greater: k or -94?
k
Let j = -220 + 223. Let i be (-7)/(7/j) + 52/16. Which is greater: i or 3?
3
Let u(j) be the first derivative of j**2/2 - 17*j + 1145. Let w(k) = k**3 + 7*k**2 - 2*k + 3. Let s be w(-7). Let v be u(s). Is v < -1?
False
Let i = 477.2 + -421. Let r = i + -0.2. Let p be (-12)/8 - 1/(-2). Which is smaller: r or p?
p
Let f = -34286 + 51864. Are f and 0.1 non-equal?
True
Suppose 16 = -5*c - 3*f, 0 = -4*c + 2*f + 6 - 32. Let d be (c/(-35))/(3/(-39)) - 0. Which is bigger: d or -3?
d
Suppose -5*y - 8 = h, h - y + 56 = 6*h. Let s be (h/20)/(-1 - 14/(-15)). Which is smaller: s or -1?
s
Suppose 6*q - 2*q - 2*w - 210 = 0, 3*q - 155 = -w. Let a(i) = -2291*i + 4742. Let f be a(2). Suppose 3*h - f + q = 0. Which is greater: 38 or h?
38
Let l(i) be the third derivative of -5/8*i**4 - 7/6*i**3 - 1/30*i**5 - 32*i**2 + 0 + 0*i. Let g be l(-7). Which is smaller: 1/45 or g?
g
Suppose 203*y - 3*b = 198*y + 1185, 3*y - 2*b = 710. Which is smaller: y or 238?
238
Let k = -0.079 - -23.779. Let q = -20.7 + k. Which is greater: 1/51 or q?
q
Let t(j) = -9*j**2 - 52*j + 344. Let k be t(7). Are -461 and k non-equal?
False
Let r be (-24 - -20 - 42/(-9))*-30. Which is greater: 0.23 or r?
0.23
Let c = 10310 + -10287. Which is smaller: 9 or c?
9
Suppose -n + 12 = -0*n. Let x be 2/(-30)*(-30)/n. Which is smaller: 1/4 or x?
x
Let q = 451.9 - 518. Let k = q + 66. Is -23 less than k?
True
Let d be -4 + 379477/(-49) + (16/14)/(-2). Is -7748 less than d?
False
Suppose -26765 = 5*k + 52*w - 47*w, 5*k = 2*w - 26737. Is -5349 >= k?
True
Suppose -956*y + 981*y = 625. Let n(r) be the first derivative of -r**3/3 + 11*r**2/2 - 7*r - 2. Let f be n(6). Which is smaller: y or f?
f
Let j = 3.843 - 4.723. Is -12 equal to j?
False
Let a = -39 + 83. Suppose 41*g = a*g - 6. Is g not equal to 3/10?
True
Let p(o) be the third derivative of -10/3*o**3 - 1/24*o**4 - 24*o**2 + 0 + 1/60*o**5 + 0*o. Let q be p(-8). Is 53 less than or equal to q?
False
Let d be 6/(-9132)*16/(-12). Let a = -9338/235149 + d. Which is greater: 1 or a?
1
Let z(d) = -3*d + 20. Let j be z(6). Suppose -j = 2*w + o, o + 24 = 4*w - 4*o. Let h be 4*w*((-5)/1)/(-10). Which is greater: h or 11/8?
h
Let r = 888 - 896. Let d be 476/272 + 14/r. Let i = -133/6 - -3337/150. Which is greater: d or i?
i
Let p = -5711 + 5721. Is 94/11 >= p?
False
Let v = -0.5 - 1.07. Let j = 6.13 - v. Let u = 7.8 - j. Is 54 smaller than u?
False
Let n = -5 + 6. Suppose -8*v + 7*v = -3*c - 27, 5*c - 51 = -v. Let p be v/84*4/3. Are n and p non-equal?
True
Let y = -1961.99 - -1962. Let s be (-2)/5*-1*10. Let a be (-4)/(-16) - (-7)/s. Is a smaller than y?
False
Suppose -2*p + 6*p = -t + 10, 2*t - 68 = 4*p. Let c be 16/10*(t + 4). Suppose 4*l + c = -4*s, 4*s + 12 = -l - 9. Which is smaller: l or -10?
-10
Let d = -245 - 110. Let r = 267 + d. Which is greater: r or -0.1?
-0.1
Let n = 383.16794 - 0.06794. Let t = n + -383. Is 0.41 less than t?
False
Let i be (-39)/(-143)*2/(-66). Let u = 107/363 - i. Is -1 at most u?
True
Suppose 2*j = -3*u - u + 10, -3*j + 5*u - 40 = 0. Suppose 2*a + 4*z + 10 = 0, -a + 9*z = 6*z + 5. Is a < j?
False
Let p(i) = -7*i**2 + 968*i - 7618. Let k be p(8). Which is smaller: k or -309?
k
Let t be 3*(-1)/(-2)*6. Suppose 2*q - 1 = t. Suppose -8*b + q*b - 66 = 0. Is -22 at least as big as b?
True
Let q = 109 + -106. Let o be ((-23142)/232)/(2*q). Which is greater: o or -16?
-16
Suppose 10*g + 11*g + 47093 - 156167 = 0. Is g < -1?
False
Let o = -1630079429441/887331513 - -8/12859877. Let y = o + 1837. Let f = y + 227/345. Are 1 and f non-equal?
True
Suppose 3*i + 2*g = -5 + 3, 0 = -5*i - 4*g - 2. Let l be 152/(4864/(-672)) - (-1889)/90. Which is bigger: l or i?
l
Suppose -46*f + 41*f = 241*f + 246. Let k = -5/921 - -2441/279984. Is k > f?
True
Let v = -102.5 + 300.5. Suppose -5*f - u + 7 = -0*f, -2*f - 2*u = -6. Which is smaller: v or f?
f
Let m be (-8)/2*(-1)/(-8). Which is bigger: 58.56 or m?
58.56
Suppose -7448 - 1186 = 17*g - 763. Is -463 bigger than g?
False
Let m = 2810.3 - 2810.242. Which is greater: m or 40?
40
Suppose 415*c - 406*c = 9. Is 64/49 < c?
False
Let r be ((-59)/(-118) + (-6)/4)/1. Let p be 3 + ((-82)/28)/1. Is p less than or equal to r?
False
Let r be 350/280*((-24)/10 + 2). Is -597 <= r?
True
Let x(w) = 16*w - 689. Let i be x(51). Which is smaller: -0.2 or i?
-0.2
Let f be (-12)/(-22)*(-3806)/(-5190). Let o be -3 + 1 - 100/28. Which is bigger: o or f?
f
Let l(o) = o**2 + 4*o - 76. Let y(x) = x**3 - 12*x**2 - 18*x + 54. Let w be y(13). Let t be l(w). Which is bigger: -1/66 or t?
t
Suppose 4*c = -j - 18 - 29, 4*c = -2*j - 46. Let h(y) = -58*y - 360. Let l be h(-6). Is c at least l?
True
Let z be 28/((-308)/(-165)) + -3334. Is z >= -3319?
True
Let a be (0 + 5)*4/(-20). Let m be 8/(-4) + 1660/845. Is m less than a?
False
Let n = 26/93 - -25382/1023. Which is smaller: n or 25?
25
Suppose 6*d = 4*d + 5*o - 1747, 5*d + 4378 = 2*o. Is d greater than -877?
True
Let r = 3 + -6. Let b = 82 + -208. Let a = 124 + b. Which is greater: r or a?
a
Let k be 1 + (-532)/95*50/(-4). Let w be -4 + (2 - 425/k)*-1. Which is bigger: w or -2?
w
Let s be 6320/(-24)*(-6)/5. Let l = -317 + s. Let m = -1 - 5. Is m < l?
True
Let l be (-2*(-1 + 3))/(-1). Suppose -4*v = l - 8. Let d be -17*v/(3/9). Is -51 not equal to d?
False
Let z(p) = -3*p - 9. Let v(s) = 1. Let y(t) = -6*v(t) - z(t). Let g(h) = -h**3 - 7*h**2 - 7*h - 8. Let k be g(-6). Let l be y(k). Which is smaller: l or -4?
-4
Let b be 18/288 + (-5608)/130688. Which is bigger: -1 or b?
b
Let s = -73639/17 - -4335. Is s greater than or equal to 4?
False
Let k = -3521 + 3308.7. Let o = k - -224. Is -1/5 equal to o?
False
Let v be -1 - 12/(-3) - -2. Let q be (65/v)/(2/2). Let n be ((-2)/(-10))/(q/65). Is n less than 3?
True
Let h = 32668.14 - 32670. Which is bigger: -1 or h?
-1
Suppose 5*l = 5*n + 280, -14*n + 13*n - 59 = -4*l. Let u be (-2)/(-1) + (-7)/105*n. Which is smaller: u or -3?
-3
Let d be 6/(-9)*(1 + 65/(-2)). Let c(m) = -4*m - 31 + 2 + 5*m - d*m + m**2. Let v be c(18). Which is bigger: -66 or v?
v
Let x = 1.65428 + 0.03572. Does x = -57?
False
Let w = 5390 - 5341. Which is smaller: w or -5/11?
-5/11
Let z(t) = -2*t + 96. Suppose 40*g + 363 = 7*g. Let r be z(g). Are r and 118 nonequal?
False
Let h = 8933/486 - -1/3402. Let c = -124/7 + h. Which is smaller: 49/4 or c?
c
Let n be (-150)/(-4) - (-6)/(-4). Let d be n/20*10/3. Let c(s) = -s**3 - 35*s**2 + s + 40. Let m be c(-35). Which is bigger: m or d?
d
Suppose -5*q + 9 + 7 - 16 = 0. Which is bigger: 30/323 or q?
30/323
Let w(n) be the first derivative of 21*n**4 + 5*n**3/3 + 7*n**2/2 + 9*n - 9. Let h be w(-3). Let g = h + 543103/243. Which is smaller: 1 or g?
g
Let z = 54 + 407. Let a = -305 - z. Is a > -765?
False
Let c = -17.193 + 17.07. Let g be 4/((-60)/21) + 1. Which is bigger: c or g?
c
Let d be (-2)/((-1)/2 + 0). Let o(s) = s**2 + 31*s + 32. Let b be o(-30). Suppose -h = n - 0*h - 4, 0 = -3*n + b*h + 2. Which is bigger: d o