8. Is 3/181 at least l?
True
Let j = 233 - 228. Suppose 2 = 4*y - j*y. Which is greater: -7 or y?
y
Let o = 0.3 + -0.886. Let c = o - -0.716. Which is smaller: c or 0.09?
0.09
Let r = -253 + 250.31. Let i = r + 0.49. Let z = -0.2 - i. Which is smaller: -2/11 or z?
-2/11
Let n = 43223/25932 + -1/8644. Which is bigger: n or 1122?
1122
Suppose 5*z - 10 = 0, 2*j - 4*z = -8*z - 48. Let v(c) = 3*c - 3. Suppose -6*a - 45 = 3. Let d be v(a). Is j != d?
True
Let q be (-32208)/(-305) + (1 - 8/5). Let l be 5/2*1008/q. Which is smaller: l or 28?
l
Suppose 55*m + 3794 = 364*m - 56152. Which is smaller: m or 213?
m
Let s = -2.4 - 0. Let b = -2.5 - s. Suppose -9*l + 17 - 125 = 0. Is l less than b?
True
Let r be 106/10 - (-6)/15. Suppose -p = 3*y - y - 4, -5*y = 3*p - r. Suppose -p*k = -5*k. Do k and 2 have different values?
True
Suppose 3 = 2*j + a + 17, -2*a + 8 = 0. Which is smaller: -562/55 or j?
-562/55
Suppose 7*v = 109 - 88. Let l = -41 + 37. Let q be l + 2 + ((-8)/(-5) - -2). Is v less than or equal to q?
False
Let v = 8845 + -11668. Which is smaller: v or -2821?
v
Let b = 0.0499 + 80.9501. Let f = b - 572. Is 0.1 != f?
True
Suppose -13*x + 12311 = -2262. Is 1123 less than or equal to x?
False
Let n be (-12)/(-20)*70/126. Suppose v - 4 = 2*v. Which is bigger: v or n?
n
Let i = -41 + 43. Let t be (-3)/i*((-76)/12 + 5). Suppose -t*n = -p + 10, -2*n + p = n + 17. Is 0.1 > n?
True
Let j = 2399/11145 - 259/743. Let w = 83 + -50. Which is greater: j or w?
w
Let p be -5 - (6 + -6) - -5. Suppose -h - 5*y - 17 = p, 3*h + 5*y - 8*y = -51. Is h <= -28?
False
Let c = -0.029 + -80.971. Let m = 98 + -98. Is c at least as big as m?
False
Suppose -2*n = -9*d + 4*d - 7, 2*n = 2*d + 4. Let u be 14 + -14 - -12*(-45)/(-22). Let m = u - 7268/297. Which is greater: d or m?
m
Let g be (-3)/((-162)/366) + (3 - (-125)/(-45)). Which is greater: 68/11 or g?
g
Suppose 0*t + t + 3 = 3*c, -16 = -4*t - 2*c. Let u(m) = m**3 + 43*m**2 - 47*m - 129. Let h be u(-44). Is h less than t?
False
Let y(b) = 3*b**3 - 27*b**2 + 2*b + 15. Let k be y(12). Let l be (k/(-12))/(-5) + 9/12. Let o be (l - 3)*1/2. Which is greater: o or 11?
11
Suppose d = -2 - 2. Let q(z) = -z**2 - 17*z - 51. Let j be q(d). Is j <= -2/147?
False
Let u be 1 + ((-6)/14)/(1/2). Let v = 58 + -57. Let i be (-1 + v)/((-3 - 0) + 2). Are i and u nonequal?
True
Let y be 118502/(-476) + (-3)/7. Let w = 1698/17 + y. Let p = 141 + w. Which is smaller: -10 or p?
-10
Suppose 62*q - 13*q - 4614 - 43357 = 0. Which is greater: 978 or q?
q
Let x be 209 + (0 - 0) + -2. Suppose 3*z + 27 = x. Suppose -k + 4*r + 7 = r, z = 4*k - 4*r. Which is bigger: 18 or k?
k
Let u be 22/(-4) - (3/2)/(1/(-4)). Is -1203/4 < u?
True
Let h(l) = -8*l + 75. Let u(a) = 2*a + 1. Let r(v) = -h(v) - 2*u(v). Let n be r(20). Let g be -2 + 2/1 + n + -2. Is g less than 1/171?
False
Suppose -3*l + y = -0*y + 23, -5*y + 3 = l. Let b(c) = -15*c - 101. Let a be b(l). Does -3 = a?
False
Let l = -20133 + 23734. Which is smaller: l or 3599?
3599
Suppose 12*y - 2578 = 2210. Let t be 5/(-3) + 551/y. Let s be (-2)/(-4)*(-2 - -2). Which is smaller: t or s?
t
Suppose -s = 4*m + 10, -s + 4*s - 5*m = 55. Let l be 0 + (-1 - -1) + s + -10. Which is bigger: -97 or l?
l
Let j = 11.5 + -18.5. Let t = 17 - 12. Let w = j + t. Is 0.2 smaller than w?
False
Let u be (0 - -4)*-43*14/(-4228) - 2. Is 0 > u?
True
Let g(b) be the first derivative of 10*b**3/3 - b**2 - 1. Let u be g(2). Let r be -9 - 1458/(-168) - (-1)/(-4) - 46814/(-1246). Is u at least as big as r?
False
Suppose -3*p - 12*p = -5*p. Suppose p = 5*f - 3*f + 60. Which is greater: -88/3 or f?
-88/3
Let d = 1 - -11. Suppose 8 = 4*m, 0 = -3*l + 5*l - 5*m + d. Which is bigger: -5/9 or l?
-5/9
Let j be (-200)/((-24)/20*4/12). Suppose 9*b - 5*g + j = 4*b, 2*b - g = -197. Let t = b - -89. Which is greater: t or -7?
-7
Suppose -2*c - 2*c = 8. Suppose 2*s - 81 = 3*u, 4*u - 5*u - 104 = -3*s. Let r be 42/4*(s - 37). Which is smaller: c or r?
r
Let n be -14 - (68/(-170) - 34/(-10)). Let b = 38 - 57. Is n equal to b?
False
Let c be 50/(2/(-2))*-1. Let v(k) = -k**3 - 6*k**2 + 105*k - 50. Let q be v(-14). Is c not equal to q?
True
Let y = 398399 + -2775363/7. Let w = 1915 - y. Is -3 equal to w?
False
Let m = -9276 + 9324. Is m greater than -73?
True
Let s(k) = k**2 + 36*k - 509. Let v be s(11). Which is smaller: -26/7 or v?
-26/7
Let u = 174 + -150. Let p be 6/u - (-16)/(-32). Is -9.3 < p?
True
Suppose -2*j + 1707 = o, 62*j - 56*j + 2*o = 5130. Is j at least as big as 855?
True
Suppose -180 = -31*z - 149. Does 1/64 = z?
False
Let g be ((-18)/8 + 32 + -32)*245/10. Is -55 at least g?
True
Let b(p) = 6*p**3 + 2*p**2 - 5*p - 7. Let l(v) = -v**3 - 15*v**2 - 56*v - 14. Let u be l(-6). Let c be b(u). Which is greater: c or -1?
-1
Let i = -772 + 775. Let s be 1/i*(-58 - -58). Is -0.139 at most s?
True
Let w = 5078 + -5402. Is -324 bigger than w?
False
Let c = -586.15 + 613. Let t = c - 0.85. Which is smaller: -1/2 or t?
-1/2
Let b be (-2)/1660 + (-1)/5*0. Let a = 2653/2490 - b. Which is smaller: a or 0?
0
Let d = 124 + -121. Suppose -n + 3*p + 1 = 0, -5*n + d*n + 6 = -2*p. Let g(r) = -4*r - 13. Let v be g(-4). Which is bigger: v or n?
n
Let k = 15809 - 8649. Let m = k + -107443/15. Which is smaller: -4 or m?
-4
Suppose 8*u = 34 + 30. Suppose -2*k = -4*g + 54, -3 = -3*g + 3*k + 39. Suppose -r + g = 5*v - 0*r, v + 5 = -4*r. Is u equal to v?
False
Suppose -5*m + l + 3 = 0, 6*m = 2*m + l + 3. Suppose -z + 3 + 2 = m. Suppose -z*g - 2*s - 109 + 27 = 0, -5*g = 3*s + 78. Is g <= -18?
True
Let n = -4051940177/26883 + 150725. Is 1 <= n?
False
Suppose 0 = -19*c + 12*c + 910. Let a be (-18)/30 - (-83)/c. Which is smaller: -1 or a?
-1
Suppose -3*i = -13 + 4. Let c be i/18 + 15/126. Which is greater: c or -111?
c
Let x = 14486 - 14473. Which is bigger: 43 or x?
43
Let h be (((-2184)/396)/13)/((-2)/42). Let x = -272/33 + h. Is -13/4 > x?
False
Let q = -42578 - -28018. Is q > -14560?
False
Let b = 1146 + 8051. Let h be 1/1*17/b. Which is smaller: -1 or h?
-1
Let n be (1*22/(-6))/(15 - 552/36). Are n and 21 equal?
False
Suppose 0*b - 4*a = 2*b + 14, -4*b - a = 0. Let k be 2 - (-2 - -4*b)*-1. Suppose -k*q = -10 + 2. Which is bigger: 30/13 or q?
30/13
Let j = 29 + -24. Let p be (j - (-48)/(-6))/(3/(-5)). Suppose 5*i - 34 - 51 = 5*d, 22 = 2*i - p*d. Is i <= 65/3?
True
Suppose -60*d + o = -65*d - 1603, -4*d = 4*o + 1276. Which is smaller: -1612/5 or d?
-1612/5
Suppose 52*a - 37*a = 1695. Are 111 and a unequal?
True
Let j be (-256)/(-1408) - 12454/(-110). Is j < 113?
False
Let r be (749092/(-4868760) + (-28)/(-182))/((-5)/20). Is 0 at least as big as r?
False
Suppose -5*v + 412 + 478 = 0. Let h(k) = -93*k - 5215. Let t be h(-58). Which is smaller: t or v?
v
Let g be 15/(-2)*(1170/(-75) - -14). Suppose 0 = -15*p + 18*p - 81. Which is greater: p or g?
p
Let c be 4/80 - (-537889)/220. Which is smaller: c or 2444?
2444
Let y(c) = -c**2 + 4*c + 100. Let v be y(-8). Let j be (-1*(-6)/252)/(v/40). Is 1 at most j?
False
Let i = -974017/31 + 31416. Is -5 greater than i?
False
Let t = 30 + -21. Suppose -8*k - 479 - 529 = 0. Let y = 129 + k. Which is smaller: t or y?
y
Let x(j) = j**3 + 24*j**2 + 30*j. Let t be x(-21). Which is smaller: t or 3459/5?
3459/5
Let l = 0.06295 - 0.06295. Which is smaller: l or 1657.2?
l
Let a = 119 - 110.9. Let j = -30.1 + a. Let v = j - -43. Which is greater: 0.1 or v?
v
Suppose -38*r = 1412 - 424. Which is bigger: r or -2/21?
-2/21
Let c = 0.008 + -57.008. Let p = -42 + 78. Let j = p + c. Is j <= 0?
True
Let t be -3 + (214/(-28))/((-15)/(-660)). Let m = t - -339. Which is smaller: -0.87 or m?
-0.87
Let g = 4672 + -5675. Which is smaller: 4 or g?
g
Let p = 9.492 - 2.492. Is -1/22 smaller than p?
True
Let j(y) = -y + 15. Suppose 3*z + 56 = 7*z. Let v be j(z). Let o = 1/98 + 149/4606. Is o equal to v?
False
Suppose t = 5*n - n + 49, 5*t + 19 = -4*n. Suppose 3*o + 66 = o. Let x be -8 + (o/264 - (-78)/(-16)). Is x at least as big as n?
False
Suppose 7 + 23 = -2*y. Let m = y + 10. Let f = 2/301423 + -6932741/1808538. Which is smaller: f or m?
m
Let d be 1/(-4) - (35472/448 + -10). Is -68 != d?
True
Let m = 485 - 487.495. Let k = -0.175 - m. Which is smaller: 2/7 or k?
2/7
Let p = 223.5 - 237. Let i = 94.5 - p. Which is bigger: 1 or i?
i
Let o be ((2 - 0) +