8. Let h = -464.9 + a. Let b = h - -30. Which is smaller: 6 or b?
b
Let n(z) = 65*z + 846. Let l be n(-13). Which is greater: l or -33/107?
l
Let h = 45647/1136 + -612/71. Let z = h + -1711/112. Is z < 15?
False
Let t be -1 + -1 - 145/5. Suppose 1041542*o + 990 = 1041509*o. Which is bigger: t or o?
o
Let k = 2.9 + -3.1. Let u = 287 - 301.8. Which is smaller: u or k?
u
Let z = -3138 - -2917. Which is smaller: z or -223?
-223
Suppose 0 = -48*q + 3607 - 583. Which is smaller: q or 383/6?
q
Let y = 16.7 - 36.34. Let j = -81.72 - y. Let h = -62 - j. Is h > -1/4?
True
Let i = 2 + -2. Let c = 0.037 - -42.963. Let a = -43.4 + c. Which is smaller: a or i?
a
Suppose 4*x - 35 = 2*x + 5*d, -5*d = -3*x + 40. Suppose -x*g = 3*l - 18, 0*g + 2 = g - l. Let c be (-45323)/4458 - ((-10)/(-5) - 16). Is c less than g?
False
Let h = -10736 - -12723. Which is smaller: h or 1988?
h
Let w(x) = 2*x**2 - 18*x + 75. Let p be w(10). Is 81 at least p?
False
Let u(y) = -13*y + 1. Let z be u(-3). Suppose -6*r - 8 = z. Suppose 3*t - 4 = -25. Which is greater: r or t?
t
Let n = -3101 - -2993. Is -112 <= n?
True
Suppose 2*g + 4*g = g - 780. Which is greater: g or -167?
g
Suppose 22*o + 7*o + 26*o = 17*o. Which is greater: o or -3/1130?
o
Let n be (-4)/8 + (-5)/(-6). Let a = 13.7 + -14. Let u = -0.22 - a. Which is smaller: n or u?
u
Let o = 3510 + -3514. Which is bigger: o or 36/7?
36/7
Let x = -313/445 - -27/89. Which is bigger: -88.1 or x?
x
Let a = 419.3 - 417. Is 9/10 at most as big as a?
True
Let z = -0.2 - -0.3. Let h = -12866 - -12859. Which is bigger: h or z?
z
Suppose -y = 0, 0 = -2*d - 2*y - 0 + 10. Suppose -3*c + 17 = -4*p, -5*p + d = -c - p. Are 126/13 and c nonequal?
True
Let h be (-106)/(-1272) - 88233/(-36). Is 2452 < h?
False
Suppose -5*g = -5*h - 20, 0 = 4*h - 6*h - 3*g - 28. Let x be (-22)/4*(h - -6 - 1). Which is smaller: x or 16?
16
Let p = 34 - -6. Suppose 0 = 5*j - 3*v + 4*v + 190, 4*j = 4*v - 176. Let a = j + p. Are -4/47 and a non-equal?
True
Let a = -2596 + 1036. Let o be ((-4)/8)/(36/a). Which is bigger: o or 23?
23
Let q = 46 - -3. Let f = 54 - q. Suppose 4*y + 26 + 41 = 5*n, -5*n - f*y = -40. Which is smaller: 9 or n?
9
Let m = 373.57 + -374. Let r = 2 + -10. Let f = -7 - r. Which is bigger: m or f?
f
Suppose 59*p + 22 + 4 = -33. Which is smaller: p or 11/180?
p
Suppose -n - 421 = 2*z - 34, 2*n = 4*z - 766. Let i = -182954 + 182568. Is n greater than i?
True
Let k(g) = 3591 - 1778 + 14*g - 1787. Let a be k(-3). Which is greater: -3 or a?
-3
Let d be (-2 - 16251/12)/((-6)/(-8)). Let v = 1827 + d. Let t = 29 - 11. Do t and v have the same value?
False
Let s(p) = 7*p - 4. Let z be s(4). Suppose 4*d = d + z. Let o = 3829 - 7657/2. Is o at least d?
False
Let n(s) = s**2 + 14*s - 180. Let c be n(22). Suppose 4*v - 3224 + c = 0. Which is greater: v or 654?
654
Let g(t) = 26*t**3 + 2*t - 1. Let u be g(1). Let i = -43 + u. Suppose -598*k = -639*k - 615. Which is greater: k or i?
k
Let k = -638 + 639. Let b be 9/(-36) - 1546/(-6152). Let z = b - -1507/23839. Which is bigger: z or k?
k
Let n = 17.8714 - 17.67. Is 0.1 != n?
True
Suppose -5*p + 4*k = 13, 2*p + 9 = -3*p + 2*k. Which is smaller: p or -4/1447?
p
Suppose -3*p + 6*i + 15 = 10*i, 2*p - i = -1. Let q be (42/35)/(p/(-5)). Is -14 at least as big as q?
False
Let v = 3305 - 2837. Which is greater: v or 466?
v
Let t = -52.62 - -53. Let m = -0.67 + 0.39. Let l = t + m. Which is smaller: -1 or l?
-1
Let t = -292.2 + 292.5. Is 838/7 at least t?
True
Let z = 2287 + -1799. Do 488 and z have different values?
False
Suppose 0 = 5*q - 3*m - 252, -5*q + 4*m = -159 - 92. Suppose 0 = -3*d - q + 45. Let l be ((-100)/(-14))/d - (-54)/18. Is 1 <= l?
False
Let f = 2501/3 - 834. Suppose 5*x - 5*q - 45 = 0, 0 = -3*x - 5*q + 2*q + 3. Suppose -x*j = 41 + 9. Is f greater than or equal to j?
True
Suppose -4*h - 28 = 26*f - 28*f, 0 = h - 2*f + 16. Which is smaller: -505 or h?
-505
Let y be ((-5)/10)/((-2)/(-152)). Let b = y - 46. Let x = b - -77. Which is greater: x or -4?
-4
Let o = -3276 + 2203. Which is greater: o or -1058?
-1058
Let i = 22.8599 + 0.1401. Is -22 <= i?
True
Let r(h) = -2*h + 2*h + 2 + 2*h + 3 + 8. Suppose -j + 4 = -v + 4*v, j - 4*v = -24. Let n be r(j). Which is greater: -4 or n?
n
Let f = -10.9 + 9.9. Is f <= 30/7?
True
Let a = -5417 + 5455. Which is smaller: a or -5?
-5
Let o(z) = z**3 + 6*z**2 - 2*z + 1. Let b be o(-7). Let s = 48 + b. Let d be ((-2)/s*-2)/((-6)/(-42)). Does d = 3/5?
False
Let n = -0.3361 - -0.4361. Are 199 and n nonequal?
True
Let l be -48 + ((6 + -2)/(-4) - 1). Suppose 13*u - 42*u - 1479 = 0. Is u smaller than l?
True
Suppose -266*y + 14 = -273*y. Which is smaller: 2.461 or y?
y
Let o(x) = -19*x + 64. Let l(w) = 36*w - 128. Let j(h) = -3*l(h) - 5*o(h). Let p be j(5). Which is smaller: p or 95?
p
Let r be (-14616)/667 + (-4)/46. Let f be (40/(-3))/(4/48). Let q be (1/2)/(4/f). Does q = r?
False
Suppose 0 = -k + 5*d + 125, -6*k + d = -8*k + 272. Let o = k + -137. Which is smaller: o or -24/19?
o
Let g be ((-24)/48)/(5/(-10)*-1). Which is greater: g or 3/4468?
3/4468
Let s(m) = -8*m - 43. Let y be s(-7). Let g(t) = t**3 + 4*t**2 - 7*t - 20. Let r be g(-4). Which is bigger: r or y?
y
Let c = -0.088 - -0.255. Let d = c - 1.367. Which is smaller: d or -2?
-2
Let y = -690 + 582. Let g = y + 108. Let q be (1/(-4))/((-31)/(-4)). Which is greater: q or g?
g
Let k be 6/14 - (-360)/(-56). Let b be (-4)/k + (-30)/30. Is b bigger than 1?
False
Let b = 252.92 + -6.32. Let j = b - 179.96. Let o = 1.36 + j. Is o less than -0.1?
False
Suppose 698 + 242 = -5*y. Let r = 192 + y. Is r bigger than 21/5?
False
Let q = -27.97 + 28. Let z = q + -0.13. Let j = -0.96 + 0.898. Which is greater: z or j?
j
Suppose -2*r - 8*d + 4*d - 12 = 0, 5*r = -d - 3. Which is smaller: -8072 or r?
-8072
Let a = -3.39 - -3.567. Let l = -796.377 - -796.3. Let r = a + l. Do -14 and r have the same value?
False
Suppose 3*v - 25 = -2*l, 10*l = 5*l + 5*v + 75. Suppose 4*h + l*h + 36 = 0. Let s(y) = -y**3 + 7*y**2 - 6*y - 3. Let p be s(6). Which is bigger: h or p?
h
Let a = 1.7 + -1.88. Let h = 0.068 - 0.048. Let w = h - a. Which is smaller: w or -0.5?
-0.5
Let z be 11/4 - (5 - 3). Let l(w) = w**2 - 8*w + 12. Suppose -163 = -19*g - 49. Let o be l(g). Which is greater: z or o?
z
Suppose 6*b - 16*b = 12*b + 3718. Which is bigger: b or 8?
8
Let x = -0.6156 + -0.3844. Is 2043 at least x?
True
Let v(g) = -g**2 - 5*g + 1. Let n be v(-5). Let h be n + -3 + 0 - -3. Let b = -238.4 + 240. Is h less than or equal to b?
True
Suppose 36*q - 1446 = 8814. Which is greater: q or 289?
289
Let c be 12/(1 + -1 - -1). Suppose -105*d + 5*w = -100*d - 4830, 4*d - 3858 = w. Let z be d/(-126) + c/54. Which is smaller: -7 or z?
z
Let m = 2/832883 + 4947284/20827905181. Which is bigger: 1 or m?
1
Let v = 50.18 + -49. Let n = 0.18 - v. Is n bigger than -208?
True
Let r = -237.5 + 228. Let z = -4.5 + r. Is z >= -0.08?
False
Let g(h) = h - 37. Let w(p) = p - 1. Let f(x) = -g(x) + 4*w(x). Let z = 88 - 99. Let r be f(z). Which is smaller: 2/81 or r?
r
Suppose 5*d - 5 = -30. Let k(f) = 4*f + 21. Let v be k(d). Let n = 151 + -2113/14. Which is bigger: v or n?
v
Let q = 306.836 - -1.164. Is q >= -0.4?
True
Let n = -1166510154 + 255569543130840/219089. Let o = n - 1/887. Is o less than or equal to 1?
True
Let y be -4*(-1 - 1/8*-26). Let o(f) = f - 1. Let i be o(1). Let l be i + 4 + 28/y. Are l and 2 equal?
False
Let w = -112199629/4046 - -27731. Does w = -1?
False
Suppose -6 = -3*l + 9. Suppose 5*z = -4*y - 178, l*z + 4*y = z - 144. Is -38 less than z?
True
Let g(d) = d**2 - 1314*d + 11745. Let b be g(9). Is 13/714 not equal to b?
True
Let x = -3664 + 3665. Which is greater: 1/2559 or x?
x
Suppose -5 = q - k, 11*q - 8*q = k - 5. Suppose q = -11*u + 10*u. Let h = 440/7 + -5699/91. Are u and h equal?
False
Let u(s) be the third derivative of -s**6/120 - 7*s**5/20 - 19*s**4/12 + 13*s**3/2 + 165*s**2. Let p be u(-19). Is p bigger than 37?
True
Let p(c) = -c**3 - 12*c**2 - 15*c - 2. Let z be p(-11). Let v be 22/z - (-2)/(-21). Which is smaller: 68 or v?
v
Let x be (-330)/(-85) + -4 - ((-298380)/255 + 2). Is 1170 < x?
False
Let n = 4354 - 4127. Which is bigger: -0.4 or n?
n
Suppose 23*j = 4*c + 20*j - 79, 63 = 3*c - j. Suppose -21 = -29*b + c*b. Which is smaller: 5 or b?
b
Su