8. Let i be d(-8). Is i less than or equal to 970?
True
Let t = 635/18236 + 3/388. Is t smaller than 1?
True
Let s = -6760 + 6772. Let w = 6/5 - -53/5. Which is bigger: w or s?
s
Suppose -3*w + 66 = 6. Suppose 8*a - 26*a = 1008. Let r be (-8)/10*w/a. Is 0 < r?
True
Let c = 1887 - 1688. Which is smaller: c or 0?
0
Let w be ((-8)/(-6))/((-2)/(-3)). Suppose w*r + 5*f = 5, 0*r - 3*f - 18 = -3*r. Let u be 4/(-10) - (-2)/r. Which is smaller: u or -2/7?
-2/7
Let d be 36 + 2 + (10 - 8). Which is bigger: 41 or d?
41
Let g be (-45)/6*(-4)/(-3). Suppose -4*l + 9*n = 5*n - 8, -l + 2*n + 3 = 0. Let y be 1 - l/(-12)*g. Is 1 equal to y?
False
Let z be (-2 - (4 - 4)) + 1. Let c be (-25)/10 + (z - -2). Which is smaller: c or -1?
c
Let j = 5.992 - -1.638. Let g = j + -6.9. Which is smaller: g or 0?
0
Let h = 1/16973 - 4158393/135784. Is -31 greater than or equal to h?
False
Let m = 478503/50 - 9570. Let q(u) = -u**2 - 7*u - 7. Let l be q(-6). Which is bigger: m or l?
m
Suppose 166*o = 153*o - 1040. Which is bigger: o or -77?
-77
Let t = 43 + -77. Let p = t + 38. Suppose -4*c = -3*a + 3, -2*a + 3*c + 15 = -p*a. Which is bigger: a or -2?
-2
Let s(k) = 1. Let y(l) = 33*l - 1. Let a(t) = 2*s(t) + y(t). Let i be a(-1). Is -33 > i?
False
Let l = -16.94 + -4.06. Which is bigger: 0.1 or l?
0.1
Suppose 77 = x - 2*v + 32, 5*x - 252 = v. Suppose -8*p + 200 = -4*p + 3*a, -2*a = 0. Is x > p?
True
Suppose 2*s + 2 = -4. Let b be s/12 + (-9)/(-60). Is b less than or equal to 1?
True
Let y = -1/117 - -119/234. Are y and 60 unequal?
True
Let k = 57 - 57. Let u = 19 - k. Which is smaller: u or -2/5?
-2/5
Let f be ((-22)/44)/(2/56). Let w be f/4*1*75/35. Let r be (-14)/(-8)*(-2 + -2). Is r bigger than w?
True
Suppose -a - 409 = 5*g, -g - 1176 = 4*a + 365. Is a at least as big as -385?
True
Let n(w) = w**3 - 10*w**2 - 5*w + 7. Let o be n(9). Let b = 196 + o. Let s be (1/4)/(b/(-28)). Which is smaller: -2/3 or s?
-2/3
Suppose o - 3 = n - 13, 4*n + 2 = o. Let l(t) = -2*t + 3. Let a be l(5). Let g = o - a. Which is bigger: g or -8?
g
Let i = 9 - 4. Let z be ((-8)/10 - -2)*i. Suppose 0 = -z*o + 10*o - 4. Which is smaller: 0 or o?
0
Let u = -94.5 - -67. Let m = 1.5 + u. Let j = m - -26.4. Which is smaller: j or 2?
j
Let m be 4 + (-1 + -3)*-1. Suppose 6*x = -m - 16. Which is bigger: -8/3 or x?
-8/3
Suppose -h - 5 = -2*n + 4, 14 = 2*n - 2*h. Let j be (n - 3)/1 + -4. Let v = 0.02 - -1.98. Which is smaller: v or j?
j
Let q = 93 - 49. Let p = q - 43. Which is greater: 11 or p?
11
Let k = 29 - 25. Let y be (-2)/(k/8*-4). Which is bigger: 2/33 or y?
y
Let d(x) = 2*x**3 - 2*x**2 - x + 1. Let w be (-1 - 66/(-42))*14/4. Let h be d(w). Is h bigger than 57/8?
False
Let c(m) = m**2 + 8*m - 15. Let h be c(-9). Let d be (-3)/1125*h - 0. Is -1 at most d?
True
Let d be 3/(-6)*(-1 + (-14)/(-10)). Do d and 0.02 have the same value?
False
Let x = 0.4 - 0.44. Let s = 1.96 - x. Which is bigger: -0.13 or s?
s
Let u = 771.56 - 755. Let m = 0.44 + u. Let k = -0.2 - 0.8. Is m less than k?
False
Let x(p) = -3*p + 2*p + 8 - 3. Let s be x(4). Let g = -405 + 408. Is g at most s?
False
Let v = 1.045 - 1.345. Which is smaller: v or 62?
v
Let u = -17.9 + 18. Which is bigger: 0.121 or u?
0.121
Let l be (-4)/((-12)/(-9))*9/81. Let w(s) = s - 9. Let t be w(9). Which is bigger: l or t?
t
Suppose 5*p = 15, -46*b + 45*b - 3*p = -90. Is 81 at most as big as b?
True
Let u(k) = -k**3 + 5*k**2 + 13*k + 8. Let r be u(7). Suppose 4*p - 12 = -0*p. Suppose 0 = -p*v - 6, 0 = 2*g - v. Which is bigger: g or r?
r
Let d(x) = -3 - 12 + 6*x + 4 - 4*x. Let h be d(8). Is -2/5 at least h?
False
Let g be 0*(-1 - 9/(-6)). Let c be (0 - g)/(6 + -7). Is -5/17 less than c?
True
Let j = 895 - 916. Is j at most -21?
True
Let p be (6/(-45)*-6)/((-54)/(-45)). Which is bigger: p or -1.005?
p
Suppose 8*y - 130 = 3*y. Let i = y - 11. Suppose -3*n = i, -l - 2*n - 6 = -n. Which is bigger: l or 1/39?
1/39
Let a(o) = o + 9. Suppose 2*g = -g - 27. Let v be a(g). Let r = 25/18 - 3/2. Is v less than r?
False
Let h = 2.99 + -2.97. Which is smaller: -27 or h?
-27
Suppose 3*r - 2*r = 5. Let f be (10/4)/r*-20. Let z = f - -16. Which is bigger: z or 7?
7
Let p(o) = o**2 + 2*o - 1. Let k be p(-2). Let q be 15*1*-1*(-8)/12. Let s be (8/(-36))/(5/q). Which is smaller: s or k?
k
Suppose 14 = -16*x + 2*x. Is 1/46 equal to x?
False
Let a(l) = -l**2 + 32*l - 191. Let z be a(8). Which is bigger: z or -1/525?
z
Let p(c) = -c + 5. Let l be p(5). Suppose 4*k - 9 - 3 = l. Suppose k = 3*a, 17 = 5*o - a - 37. Are 11 and o unequal?
False
Let i = -990 + 798. Is 0.2 > i?
True
Let c = 3 + 2. Suppose -3*w - 5 = -8*w + 5*f, 0 = -c*f - 5. Suppose j + 2*j = w. Which is greater: j or 5?
5
Suppose -60 + 0 = -4*z. Suppose -2*h = -7*h + z. Let i be ((-3)/h)/((-4)/(-24)). Is -7 at least i?
False
Let r(j) = -j**3 - 8*j**2 - 3*j + 5. Let s be r(-8). Which is smaller: s or 142/5?
142/5
Let s = -67 - -71. Suppose 0 = -s*u - 2*u. Which is greater: 2/127 or u?
2/127
Let b(c) = 108*c - 5. Let h be b(0). Let z = -10 - -7. Is z at most h?
False
Let k be -4 + 4 - 2 - -5. Let m be k*22/15 + -4. Are m and -3/2 unequal?
True
Suppose 10 = -2*g, 3*g + 10 = 3*u + 4*g. Suppose j + u = f, -2*f = -2*j + f - 15. Let z = 2/31 + 13/279. Is z <= j?
False
Suppose -79*f = -101*f. Is f at least as big as -2/245?
True
Let i = 31 + -21. Suppose 7*m + i = 9*m. Does m = 3?
False
Suppose z + 15 + 2 = 0. Let n = z + 19. Let r be 27/(-6)*(-4 - n). Is 26 != r?
True
Suppose 27*g - 12*g = 225. Let v(w) = -w**3 + 8*w**2 + 11*w - 6. Let p be v(9). Are g and p equal?
False
Let z = -2677 - -420292/157. Are z and -1 non-equal?
True
Let w = 37/143 + -14056/715. Which is smaller: w or -20?
-20
Suppose 61 = 6*i - 5. Suppose 3*v = 3*k + 2*v, -2*v - i = 5*k. Which is greater: k or 5/22?
5/22
Suppose -2224 = -40*q + 44*q. Let g be 12/(-1328)*q + -5. Is g <= 1?
True
Let c(s) = 6*s + 0*s - 7 + 1 + 0*s**2 - s**2. Let j be c(4). Is j greater than 1?
True
Suppose -5*u = -0*u - 55. Let i = 16 + u. Let q be (-9)/i - 2/3. Which is bigger: q or 3/8?
3/8
Let t = -430 + 411. Is -2/23 smaller than t?
False
Let j be 4/22 + 390/33. Let x be 30*(j/20)/((-33)/(-2)). Let a = -3 + 4. Which is bigger: a or x?
x
Let q be 3 + 1 - (-43112)/170. Is q not equal to 257?
True
Let x(s) = -s**3 - 19*s**2 - 18*s - 21. Let h be x(-18). Which is bigger: h or -24?
h
Suppose 975*g = 965*g + 490. Is g at most as big as 49?
True
Suppose -59*h = -25 + 84. Which is bigger: 2/2533 or h?
2/2533
Let n = -31 + 29. Let q = 3 - 1. Suppose q*d + 7*g - 20 = 2*g, 0 = -3*d + g - 4. Which is smaller: n or d?
n
Let c be (36/24)/((-11)/(-2)). Let g(v) = -v + 2. Let s be g(0). Let i be 1/(s/(-4)*-2). Which is smaller: c or i?
c
Let m be (13/(-26))/(5/(-13)). Let o = -1/30 - m. Suppose -3*h + 2 = -5*h. Which is greater: h or o?
h
Let p be (-1)/27*15/(-10)*-2. Suppose -11 = g - 5*x, -6*g + 4*g = 2*x - 2. Which is smaller: p or g?
g
Let x be -4 + -1 + -4 + 6. Let z(r) = -r**2 + r + 6. Let s be z(x). Let t be (-14)/49 - 24/14. Which is bigger: s or t?
t
Let o be (-4)/18 + 474/(-297). Let g = 23/66 - o. Is g bigger than 0?
True
Let r = -25/123 + 3212/4305. Which is smaller: r or 1?
r
Let t = -11 + -21. Let g = -41 - t. Let n(v) = -v**2 - 8*v + 9. Let k be n(g). Which is smaller: -2 or k?
-2
Let p = -281 + 284. Is p bigger than 55?
False
Let j(v) = v**3 + 16*v**2 + 18*v + 46. Let p be j(-15). Which is smaller: p or 4/87?
4/87
Let y = -986.96 + 987. Is y at least as big as 42?
False
Let d(c) = -c**3 - 4*c**2 + 5*c - 2. Let u be d(-5). Let b be (-2 - u)/((-6)/3). Let f be (b - 1 - 1) + 2. Is f equal to -1/14?
False
Let u(h) = 253*h**2 - 2*h - 2. Let o be u(-1). Is 252 at most o?
True
Let p(m) = m**3 + 3*m**2 + 4*m + 1. Let l be p(0). Which is bigger: l or 1/40?
l
Let x = -12 - -17. Suppose j - 3*j + 2*r = 40, 0 = j - x*r + 40. Are j and -15 non-equal?
False
Let x(f) = 10 + 15*f + 8 - 12*f. Let g be x(-6). Suppose p + 2 = 3*m - 6, g = 2*m + 2*p + 8. Which is bigger: 14 or m?
14
Suppose 5*r = -5, -r + 1 = -3*x - 4. Let n(g) = 2*g**2 - 3*g - 5. Let p be n(x). Is p greater than 0?
True
Let b = -16 + 16.8. Let y = 0.281 + -0.381. Is b at least y?
True
Let j(p) = -16 + p**3 - 22 - 5*p + 43. Let s be j(2). Let h be s + 2/(36/(-82)). Which is smaller: -1 or h?
h
Let u be 310/60 - 2/12. Suppose 0*y -