8. Does 914 = f?
False
Let f(u) = -u**2 - 2*u + 25. Let q be f(-5). Suppose -4*b = -b - 3. Let k = 9 - b. Is q != k?
True
Suppose -2*l - 3 = -5*l. Let m be ((-4)/(-12)*15)/l. Suppose 65 = m*x + 5*i, -2*i - 11 + 1 = -x. Which is smaller: x or 13?
x
Suppose -15 = -5*h, 2*h = -5*z - 3*h + 15. Let d(v) = v**3 + 2*v**2 - v - 27. Let f be d(z). Let j be (f/15)/(2/(-2) + 0). Which is greater: j or 1?
j
Let z be (-420)/(-75) + (6/(-5))/2. Suppose -25 = 20*f - z. Which is smaller: 4/175 or f?
f
Suppose -5*r - 455 = -4*w, 205 = -2*r - 77*w + 74*w. Is -85 at least r?
True
Suppose -18746 = 2*n - n + 12*n. Which is bigger: 1 or n?
1
Let u = 15 + -15.8. Let s = u + 0.42. Let x = 0.18 + s. Which is smaller: 6 or x?
x
Let b be (16/(-10))/((-14)/(-175)). Let p be (-2)/b*(-4 + (-16485)/10). Let d = 169 + p. Is d <= 3?
False
Let d = 1657.67 - 1626. Let z = 31.2 - d. Is z < -1?
False
Let u = 0.144 - 22.744. Let z = u - -22.5. Is z at least 611?
False
Suppose 89*g = d + 87*g + 5, -4*g + 35 = 3*d. Suppose -16*m + 12*m - 132 = 4*l, l = -d. Which is bigger: -27 or m?
-27
Let u(z) = 60*z**2 + 59*z + 32. Let f be u(-5). Is f at least 1235?
True
Let s = -5494 - -2587672/471. Is s greater than 1?
False
Let a = -1/329 + -549/35861. Let w be 1 + 6766/(-11445) - (-9)/(-27). Let u = a + w. Is u at least 1?
False
Let a(q) = -34 + 154*q + 4 - 153*q. Let v be a(21). Let n = v - -37. Is n less than -1?
False
Let d(p) = 2*p**2 - 8*p + 9. Let r = -8 + 11. Suppose 3*q + r = 15. Let h be d(q). Which is smaller: 1 or h?
1
Let b be -14 - -15 - -2*2/(-4). Is -2.049 at most b?
True
Suppose -5*j - 343 = l, 4*l = -0*l - 5*j - 1417. Is l smaller than -358?
False
Suppose 5*p - 634 - 54 = -3*j, -j = 4. Let r = p + -134. Is -49 not equal to r?
True
Let r be -633*11/(-66) + 3/(-2). Let z = -101 + r. Is z <= 14/9?
False
Let o = 20534 - 20534.021. Is 12.9 greater than o?
True
Let g = -53 - -53.244. Let c = 1.044 - g. Is c bigger than 6/7?
False
Let n = 0.846 + 2.254. Let x = 2.81 - 0.01. Let d = n - x. Which is bigger: d or -0.7?
d
Let s = 9016.11 + -9018. Are s and 1/3 non-equal?
True
Let g = 40.4705 - 0.4705. Is g greater than 0.28?
True
Let a be ((-5)/3)/((-2)/12). Suppose -41031*l = -41097*l + 924. Is a greater than or equal to l?
False
Suppose -3*q - 2*b - 311 = 0, q + 144 = 4*b + 59. Let s = q - -52. Let v = 41 + s. Which is smaller: -1 or v?
v
Suppose 0 = 7*c - 3*c - 20, 0 = -4*x + 2*c + 22. Let n(z) = z**2 - 7*z - 6. Let h be n(x). Suppose -2*u + 12 = -h*b + 3*u, 0 = -5*u. Which is smaller: -10 or b?
-10
Let h be (-42)/49 - (-116000)/138649. Which is smaller: 0 or h?
h
Suppose -1222 = -37*i + 406. Let a = 5 - -39. Are a and i equal?
True
Let k = 81 + -78. Let m be 1*2/k + 88/(-6). Let p be 2/7 - 570/m. Is 41 greater than or equal to p?
True
Let i(p) = -10*p**2 - 10*p + 18. Let w be i(-6). Is w != -279?
True
Let n be (7 - 68/14)*7. Suppose 2*h + 62 = -3*q, 13*q - 12*q = 5*h - n. Which is smaller: -1.4 or q?
q
Suppose -3*v + 5*k = 14 + 21, -k = 5*v + 21. Let s(b) = 56*b - 10. Let y be s(9). Let r = -1499/3 + y. Which is smaller: r or v?
r
Let q = 41 - 36. Let z be 114947/(-45) + (-2)/q. Let d = z + 2551. Is -4 at most as big as d?
True
Let u = 324 + -2903/9. Let s = -99308/89361 + 2/9929. Let k = s + u. Which is greater: -3.2 or k?
k
Suppose -5*q + 5*q = -3*q. Suppose q = -4*i - 55 + 55. Are 3/2 and i equal?
False
Let j = 47.8678 + 0.1322. Let z = 0.097 + 46.903. Let t = z - j. Is 0.18 less than or equal to t?
False
Let v = 5897/2757700 + -3/2300. Are v and 1 nonequal?
True
Suppose -34*i + 20*i + 24*i = 0. Suppose -2*o + 3 = y + 13, i = -5*o - 15. Which is greater: -26/9 or y?
-26/9
Let y = -1669 + 1188. Does y = -480?
False
Suppose 2*h - 2*w = 6, 2*w + 33 - 27 = -h. Are h and -31/212 equal?
False
Let w(r) = -r**3 + 74*r**2 - 73*r + 1. Let m be w(73). Is m equal to 6/23?
False
Let z = -0.635397 - 44.618903. Let f = -0.0457 + z. Let s = f - -45. Which is smaller: s or 2?
s
Let q = -146 + 272. Let b = 37 - 37. Suppose -4*h - 5*z + 236 = b, 5*z = 4*h - q - 70. Are 55 and h non-equal?
True
Let q(s) = -s**3 - 4*s**2 + 7*s + 9. Let w be q(-5). Which is smaller: w or 1/397?
w
Let q be (-5 - (-51)/9) + (86912/5736)/(-16). Which is bigger: 1 or q?
1
Let c = -58494.528 - -58811. Let t = 0.528 + c. Which is smaller: -1 or t?
-1
Let p = 1.65 + -1.7. Let l = p + 0.05. Let n = -0.653 + 12.653. Which is bigger: n or l?
n
Let s be (-15)/(-8)*(5 - (-33)/(-9)). Suppose 0 = -4*l - v - 2, -2*v = -4*l - v - 6. Let r = 3 - l. Which is greater: s or r?
r
Let r = -965/169 + 1323397/232713. Which is bigger: 0 or r?
0
Let f = -750 - -758. Let c be f + -1 + (-30)/12. Do c and -1/4 have the same value?
False
Let y(h) = h**3 - 12*h**2 + 2*h - 3. Let d be (-1)/(((-15)/36)/5). Let l be y(d). Suppose 6*p + p - l = 0. Is p at least as big as 3?
True
Let l = 26014 + -26014. Which is greater: 3/3479 or l?
3/3479
Let x be 152/95 - 27/20. Is x bigger than -976?
True
Suppose 15 = -2*i + 5*i. Suppose 2*z = i*d - 0*d - 89, 5*z = 5*d - 185. Suppose 2*p - 136 = 4*l, -4*l + 3*p = -3*l + 39. Is z at least l?
True
Let h = -4.5 + 4. Let j be ((-140)/84)/(1/15). Let m be (24 + j)/(1/3). Do m and h have the same value?
False
Suppose 3*k - 45 = 6*k + 3*h, 4*k + h + 66 = 0. Let z = 10163/6 - 1710. Is k smaller than z?
True
Let q = 6414 + -3846. Which is smaller: q or 2569?
q
Suppose -9 = -4*s + s. Let k = 443/696 + 5208167/7656. Let a = k + -679. Is s >= a?
True
Suppose 3*p = 6, -2*h + 4*p = 59 - 17. Let q(g) = -10*g**2 + 0*g - 7*g - 1 - 9*g**3 + 8*g**3. Let i be q(-9). Is h < i?
False
Suppose 233*q - 320 = 228*q. Do q and 848/13 have the same value?
False
Suppose 0 = a - 4 - 22. Let p = -53 + 59. Let s be (p + (1 - 2))/((-10)/(-50)). Is s bigger than a?
False
Let h = 171/4 + -25459/596. Let k = 691/2831 - h. Suppose -2*b + b + 3*q = 14, 0 = 5*b - 5*q + 20. Which is greater: b or k?
b
Let l(h) = 13 + 20 + 775*h**3 - 777*h**3 + 35*h**2 - 19*h. Let k be l(17). Let j(g) = -g**2 + 3*g + 2. Let i be j(4). Is k greater than or equal to i?
True
Suppose 2*n - 576 = -n + 3*f, 3*f + 763 = 4*n. Let v = n - 100. Let k be (172/3)/((-68)/(-12) - 5). Is v >= k?
True
Let i = -74 - -74. Suppose 7*o + o - 56 = i. Is o at most as big as 7?
True
Let a be (6/(-3))/((-14)/7). Suppose -50 = -6*l + 5*l. Suppose 0 = 5*h + 2*x + 3*x + l, -4*h = x + 40. Are h and a non-equal?
True
Let p be (4 + -10)/((-2)/1) + (-19050)/(-75). Are p and 260 nonequal?
True
Suppose 72*x - 62*x = 40. Suppose x*u - 3*j = 11, u = 7*j - 2*j + 24. Which is greater: -224 or u?
u
Let t = 179 + -190. Suppose 5*b - 2*y = -55, -3*b = -4*y + 17 + 2. Is t greater than or equal to b?
True
Let p be (-3 - -3)/((-80)/(-20)). Let f = 0.26 - 0.3. Let m = f - -0.23. Which is smaller: m or p?
p
Let s be (((-2)/(-1))/4)/(246/(-4920)). Suppose -44 = 4*d + 4*k, -d + 3*k = -2*k + 5. Is d < s?
False
Let a(m) = m**2 + 3*m + 3. Let v be a(-4). Suppose 0*i + 3*i - 3*c = 564, 5*i + 5*c = 950. Let w = 194 - i. Is w less than v?
True
Let p = -219076/119945 - -2/5215. Which is greater: -3 or p?
p
Let j = -979887974/8475 - -115621. Which is greater: j or -1?
j
Let v be (-2)/(-4)*-914*(209 + -204). Is v equal to -29700/13?
False
Let r = -995 - -995.1. Is 2891 > r?
True
Let w = -3379 - -1888. Let n = w + 1490. Let r = 1/546 - 295/546. Which is smaller: r or n?
n
Let f = -37.9 - -53.2. Let c = -3.7 - f. Which is greater: -0.7 or c?
-0.7
Let z be 20/25 - 83/85. Suppose 40*d - 28*d = 12. Is d at most z?
False
Let f = -180 - -187.3. Let l = 8.35702 + -0.05702. Let h = f - l. Is 62 at least as big as h?
True
Let n(o) = 45*o + 4817. Let d be n(23). Are d and 5853 equal?
False
Let t = -0.6515 + 11.0505. Let z = -0.601 - t. Is 2/7 at least as big as z?
True
Let r be (-63)/(-42) + (-3)/(-2). Suppose -4 = -l + r*o, -20 = 2*l - 7*l + 5*o. Which is smaller: -1 or l?
-1
Let p = -5123 - -5123.49. Is 3/2 at most p?
False
Let o(k) = -k**2 - 34*k + 35. Let q be o(-35). Suppose -4*z + q*l = 2*l - 74, -2*l = -5*z + 115. Is z not equal to 18?
True
Suppose -2*l - 14 = -4. Let s(r) = r**2 - 4*r - 16. Let w be s(l). Suppose 2*f - 2*i + 90 = 0, -5*i = f + 22 + w. Which is greater: f or 0.1?
0.1
Let c be 17 + (-2925)/171 + (-158160)/(-38). Do c and 4163 have the same value?
False
Let z = 367 - 364. Suppose 3*k - 303 = z*y, -6 = 4*y - 6*y.