(8). Let l be (-1)/6 + (-1338)/(-36). Let k = 41 - l. Which is greater: k or f?
f
Let k = 100 - 161. Let c = k - -60.7. Let l be (9/(-15))/((-6)/(-16)). Which is smaller: c or l?
l
Let p = 310 - 279. Suppose 8 = -p*w + 27*w. Which is bigger: -20/11 or w?
-20/11
Let c be ((-41)/(250100/(-720)))/((-3)/(-6)*-3). Is c != 0?
True
Suppose 0 = 2*a - 4*i - 658, -12*i = -a - 14*i + 341. Do 325 and a have the same value?
False
Let f = -3.57 + 5.58. Let d = -1.91 + f. Is d not equal to 24?
True
Let m = -230199/85 + 2708. Is -1 <= m?
True
Let m(y) = y + 7. Let k be m(4). Let b = -62 - -112. Let n = -42 + b. Is k bigger than n?
True
Let i = -69 - 36. Let q be 0 + 70/(-49) - (-3)/7. Which is greater: i or q?
q
Let g = -61707/7 - -8815. Is 38.73 < g?
False
Suppose -583 + 8633 = 2*v. Let q = 11947/3 - v. Let n = q - -42. Is 4/21 at most n?
False
Let c(i) = 5*i**3 - 78*i**2 + 11*i + 10. Let r be c(10). Which is smaller: -2681 or r?
-2681
Let u = 0.4002 - -1.5998. Which is smaller: u or -197?
-197
Let l be (0 - (0 - -1)) + 5. Let w be ((-5)/(-3) + -2)*6/(-1). Suppose -2*f - l = w*f. Which is smaller: 3/13 or f?
f
Let m be ((-34021)/52)/((-4)/(-6) - 1). Let r = m - 1945. Which is smaller: 17 or r?
17
Let j = -2301 - -2320.39. Let r = 1.61 + j. Which is greater: -2 or r?
r
Let n = -1/4669 + -438877/42021. Let i = n + 263/18. Is 0.1 equal to i?
False
Let y = 5.8 - 4.8. Let r = -0.13908 - -0.11808. Is y at most as big as r?
False
Let c(k) = -11*k - 50. Let u be c(-5). Suppose -10*s + 3495 = u*s. Which is greater: 234 or s?
234
Let h = -60.7 - -61.7. Let i = 0 - 3. Let p = -6 - i. Are p and h equal?
False
Let y = 991.8 - 1810.8. Which is smaller: y or -2/3?
y
Let o = 785 + -63587/81. Let a be (2 - 2)/(-4 - 56/(-8)). Suppose a = -10*r + 14*r - 4. Is o <= r?
True
Let a = 2.95 + 0.2. Let b = -3.05 + a. Which is greater: -96 or b?
b
Let g(n) = n**2 - 12*n + 17. Let l be g(11). Let d be (2/10 - -1)*(l + -11). Suppose 0 = -2*f + 4*f + 6. Is f equal to d?
False
Let i = -12 + 17. Suppose 2445 = 162*z + 327*z. Suppose -i*x + z = w + 2, -x = 2*w + 3. Is 1 >= w?
True
Let k be -31189*(-5 - -4 - (-152)/148). Let g = k - -843. Which is greater: -1 or g?
g
Let x(j) = -j**2 - 5*j + 1. Let w be x(-12). Let z = w - -87. Suppose -z*d - 200 = -4*b, 54 = d - 2*d + 2*b. Which is smaller: -1 or d?
d
Suppose 3 = -3*o - k, -4*o - 2 - 2 = 3*k. Let g be 3 - 8728/1840 - (-15)/345. Do o and g have the same value?
False
Let z(t) = -2*t**2 - 2*t + 2. Let x be z(0). Let a be 12*6*x/9. Let r be 20 + (-3)/(-5)*(-4 + -1). Is r at least a?
True
Let l = 378 - 270. Let x = l - 433/4. Is x at least 0.2?
False
Let m = 5449 - 5450. Is 697 > m?
True
Let n = -216437/194 - -1082/97. Is n greater than or equal to -1104?
False
Let j = -2.18 - -252.18. Let o = -249.3 + j. Suppose 0 = -3*z - z. Is z greater than or equal to o?
False
Let f(y) = 6*y + 2. Let t(x) = -2*x + 1. Let u(i) = f(i) + 6*t(i). Let g be u(-5). Which is smaller: 37 or g?
37
Let d = -270 - -763. Which is smaller: 5426/11 or d?
d
Let j = 213 + -198. Let y be 14/(-21)*(-45)/2. Let m be (-2)/y + (-1816)/(-120). Are j and m equal?
True
Let u = -459.74 + 459.74. Which is greater: u or -44688?
u
Let s = -924 - -844. Let p be s/4480*42/(-4). Which is bigger: -21 or p?
p
Let o be 9/12*(-2)/12. Let k(w) = -216*w + 3888. Let x be k(18). Is x at most o?
False
Suppose -19 = f - 3. Suppose x - 4*n + 5 = 0, 49*n = -2*x + 47*n - 40. Is x at most f?
True
Let l be 0 + 10/(-4)*-2. Let c(n) = -n**3 + 6*n**2 - 6*n + 12. Let w be c(l). Let i be (w/(-28))/((-67)/8). Is 0 at least i?
False
Let p be ((-6)/(-27) - (-423)/(-81)) + 14. Let f be 5/((-22)/p + 3). Is f less than -14?
False
Suppose 2*o + 3*b - 24 = -26, -5*b = -o + 25. Which is smaller: 95/21 or o?
95/21
Let t = -50 + 54. Suppose 4*d + 64 = t*o, -4*o - 9 = 4*d + 23. Let m(b) = -b**2 - 10*b + 22. Let g be m(d). Which is smaller: g or 0.1?
g
Let z = -57.5 - -61. Let w = z + -69.4. Let l = w + 66. Does -2/13 = l?
False
Let u(h) = -5*h - 191. Let y be u(-38). Is -1/572 smaller than y?
False
Let j be (64/(-34))/2 - -1. Let c = 1298 - 997. Let p = c + -300. Which is greater: p or j?
p
Let k(h) = 7*h**2 - 25*h**3 + 24*h**3 - 2*h**2 + 6. Let t be k(6). Let r(u) = u**3 - 6*u**2 - 9*u + 23. Let p be r(6). Which is smaller: t or p?
p
Let g be -2 - (-2 + 6/(-250)). Suppose 351*j = 339*j - 12. Is j less than g?
True
Suppose 0 = -5*n + 2*n - 120. Let y be n/(-225)*14388/8. Let b = y + -320. Which is smaller: 2 or b?
b
Let b = 25116.8933 + -25117. Is 2/7 at least as big as b?
True
Let n = -3037 + 2831. Are -204 and n non-equal?
True
Suppose 2*w + 4*k + 5 = k, 4*w + k - 5 = 0. Suppose -w - 12 = 14*n. Let r = -6898/25 + 276. Is n < r?
True
Let c be 6 - ((28 - 8) + -14). Is 4/3313 smaller than c?
False
Let d(l) = -6*l + 1. Let o be d(-8). Let g be (840/(-112))/(19/(-124)*1). Let t = g - o. Does t = 1?
False
Let f be ((-12)/(-6) - -8)/((-2)/13)*1. Is -65 not equal to f?
False
Let a = -128 - -128. Suppose a = -3*d - 5*t - 13, 4*t = 1 - 21. Suppose -2*o = -d*o + 20. Which is smaller: o or 13?
o
Let r = 8690.964 + -8691. Is 42 bigger than r?
True
Let d(n) = 6 - 4 - 4 + 5 + 4*n. Let l be d(6). Suppose 0 = -5*i + l - 7. Which is greater: i or 36/11?
i
Let j be (-2)/(-10) + 9 + 279/5. Suppose j*g - 62*g - 186 = 0. Suppose -3*n + 257 = 68. Is g bigger than n?
False
Let y(z) = -z**2 - 4*z - 3. Let f be y(-2). Suppose -i - 105 = -2*p, 2*p = -3*i + 102 - f. Let l = -57 + p. Is l smaller than -5?
False
Let w = 12602 - 12654. Is w > -47?
False
Let t(d) = -8*d - 42. Let g(c) = 9*c + 42. Let o(k) = -4*g(k) - 5*t(k). Let h be o(-17). Let u be ((-2)/(-8))/((-25)/h + -1). Which is smaller: u or -7?
-7
Let w be 3/18 - (-1)/(-4). Let h = -51 - -67. Suppose 19*q - 6 = h*q. Which is greater: q or w?
q
Let a(u) = -11*u**3 + 5*u**2 + 11*u + 49. Let h be a(-6). Let j = h - 749008/295. Is -1 greater than j?
False
Let n be ((-6)/(-328))/((-4)/(-32)). Let v = n - 100/123. Is v not equal to -18?
True
Let g = -24659 + 2046850/83. Which is greater: 3 or g?
3
Suppose -4*z = 6 - 22, -q = -2*z + 7. Is q at most as big as -6439?
False
Let z = 17 + -29. Let m be (-28)/z*90/(-4). Let k = 56 + m. Which is smaller: 4 or k?
k
Let s(u) = -3*u**3 + 25*u**2 - 51*u + 3. Let v be s(5). Suppose 2*g - 6 = 0, -5*g = 5*y + 113 - 23. Let p be (-6)/y + 10/14. Is v < p?
True
Let s(n) = 35*n**3 - 3*n**2 - 4*n + 5. Let x be s(1). Are x and 21 unequal?
True
Let f(k) = k**2 - 5*k - 8. Let u be f(7). Suppose 4*p = 3*t + 86, -p - 96 = -u*p - 2*t. Is p equal to 18?
False
Suppose -3*x + 16 - 25 = 0, 2*y - 7 = x. Which is bigger: 123/136 or y?
y
Let c = -1049 - -1056. Which is smaller: c or -5?
-5
Suppose -2*h = 5*w + 4, -6 = -0*w + w + 3*h. Suppose w = 4*x + 105 + 131. Suppose 2*b = 43*u - 46*u - 124, 0 = 3*b - 4*u + 169. Is b less than or equal to x?
True
Suppose -v = -4*j - 834, 0 = -j - j + 2*v - 420. Let u be (-158)/(-195) + j/260. Which is bigger: 0 or u?
u
Let r be (-9 + (-13 - -49))*(-20)/(-12)*37. Which is bigger: r or 1667?
1667
Let f be (1 + (-52)/12)*(-7 + 4). Let h be -38 + -1 + 11 + -5 + -5. Let x = h - -268/7. Is x <= f?
True
Suppose 3*k = 5*k - 4. Let j = 367.319 + -367.3. Is k < j?
False
Let w = -26402 + 26401. Is w greater than -112/261?
False
Let v be 30/128*36/(-56)*1/(-3). Which is smaller: 0 or v?
0
Let r(q) = q**2 + 30*q - 268. Let m be r(7). Suppose 8*n + w - 27 = 13*n, 0 = -2*n + 5*w - 20. Is n at most as big as m?
False
Suppose -3*b + 1602 = s - 393, -4*s - b + 8024 = 0. Let p = s - 12005/6. Which is bigger: 6 or p?
p
Let p be (-2)/3 - ((-128)/(-12))/(-4). Suppose p = -9*b + 11*b. Let m be (b + 1)*(-1)/(-7). Do m and -3/10 have the same value?
False
Let x(r) = 2*r**2 - 234*r + 903. Let w be x(4). Does -2/18103 = w?
False
Let j be (-5100)/(-164) + (-36 - -23). Is j less than or equal to 19?
True
Suppose -21*l + 812 = -7*l. Suppose -a = 4*y - 8*y + l, 5*a = 4*y - 66. Is 29 greater than y?
True
Let o = 73.75 - 9.87. Let d = -64 + o. Do 0.2 and d have the same value?
False
Let l = -145.1 + 141.1. Which is greater: 2.27 or l?
2.27
Let g = 1.9 - 0.95. Let s = -5.45 + g. Let w = s - -29.5. Which is smaller: -2 or w?
-2
Let v(b) = -173*b + 2050. Let f be v(12). Suppose 4*x = x + 33. Let p = x + f. Is -13 equal to p?
False
Let q = 3262 - 2995. Which is greater: 26