8.1 - -8. Is n < 1/5?
True
Let b = -1 - -1.05. Let a = b - -0.05. Let y = 503/3 - 167. Is a at least y?
False
Suppose -6*l + 3*l + 12 = 0, -2*o + 3*l = 12. Suppose -3*s = -6*s - 6. Let h = s - -8. Is h <= o?
False
Let t = 28/33 - 571/660. Let j = 19 + -18. Is j greater than t?
True
Suppose 2*h - 3 - 5 = 0. Let p be (-8580)/2106 + 1*(h + 0). Is 0 >= p?
True
Let a be (-2 - -1)*1*-21. Let x be 77/a - 2/3. Let l be -6 + (-1)/x*-3. Which is smaller: l or -4?
l
Let d be 31/90 - (-2)/(-5). Let i = 28 - 19. Suppose z + 8 = i. Is z less than d?
False
Suppose -o + 10 = s, -1 = 26*o - 24*o - 5*s. Is o < 33?
True
Let c = 191 - 178. Are 12 and c equal?
False
Let x be (5/15)/(2/116). Suppose 0*j = -j - 20. Let u = j + x. Which is bigger: -1 or u?
u
Let a = -1978 + 1978. Which is smaller: a or -30/29?
-30/29
Let c be -3 + (612/76 - 5). Let l be 1/(2*3/6). Which is greater: c or l?
l
Let g be 39/(-52) - (-524)/336. Does g = 0?
False
Suppose 0*p + 3*p - 3 = 0. Let k = -169484/15 - -11299. Is k >= p?
False
Suppose 3*l - 2*c = 55, 0*l = l - 4*c - 35. Let f = l + -12. Suppose r - 2*s - f = 0, r - 2*r + 4*s = -11. Is r greater than -5?
False
Let z = -53.7 - -41. Which is smaller: -0.1 or z?
z
Suppose 115 = -5*u - 0*u. Let m = -5 - u. Let f be (-12)/(-54) - (-50)/m. Which is bigger: 4 or f?
4
Let z = 201.1 - 201. Are z and 976 non-equal?
True
Suppose -2*w + 8 + 2 = 0. Suppose -w*p + 29 = 9. Let s be (3 + -2)/((-2)/(-14)). Which is bigger: s or p?
s
Let t = 0.042 - -3.958. Let k = 6 + -4. Suppose 2*z - k*g = 4, 4*z - 6 = -z + 3*g. Which is bigger: t or z?
t
Suppose -2*r - 180 = 5*h, -4*h - 2*r - 144 = 2*r. Let s be ((-4)/(-14))/(h/(-28)). Suppose -5*g = a, 3*a = 5*g + 7*a. Is g less than or equal to s?
True
Suppose 4*q - 4*p - 928 = 0, 967 = 4*q + 3*p + 39. Suppose q = -10*l + 2*l. Which is smaller: -28 or l?
l
Suppose 0 = i - 4*i - 6, -5*k - 5*i = -25. Let d be (k + -9)/(12/4538). Let s = 765 + d. Are s and 8 equal?
False
Suppose p = 5*p - 4. Suppose h = -0*h - p. Is -5/9 less than or equal to h?
False
Let x be ((-52)/(-65))/((-3)/150). Which is greater: -79/2 or x?
-79/2
Let b(x) = 2*x**3 + x**2 - 2*x + 1. Let n be b(-2). Let q be (-15)/35 - 24/n. Which is smaller: 8/5 or q?
8/5
Let b be (4/5)/(-1 - 5). Let m = -208 + 1874/9. Which is bigger: m or b?
m
Suppose 21 = -5*p - 319. Let b be 4 - (-72)/p*4. Which is smaller: 1 or b?
b
Suppose 3*b - 398 = d, -3*d - 130 = -b - 4*d. Suppose -2*z + b = l, 0 = -0*z + 3*z - 4*l - 187. Is z at least as big as 66?
False
Suppose -2*t + 0 = -2. Let q be 8 - 17/((-6732)/(-3160)) - (-2 + 2). Do t and q have the same value?
False
Let f = -14 - -33/2. Let l = 47 - 45. Which is bigger: l or f?
f
Let f = -5.7 - -6. Let u = -143 + 95. Let m = u - -47.7. Are m and f equal?
False
Let c be (-4)/(-6)*((-1539)/(-6) + -3). Let a = 170 - c. Is 3/40 at most as big as a?
True
Suppose 4*w - 2*y + 3 - 2309 = 0, -5*y = -25. Which is greater: w or 578?
w
Let s be (-154)/(-176)*(-6)/15. Is -1 at most s?
True
Suppose -h + p = -4*h - 1, -5*h + p + 9 = 0. Let u = 83 - 133. Let v be (-10)/u - (0 - 0). Do h and v have different values?
True
Let g(p) = 61*p + 201. Let h be g(-7). Is -228 bigger than h?
False
Let m = 36 + -36.23. Let f = -0.03 - m. Which is smaller: -32 or f?
-32
Suppose -6*n = -13*n. Is n <= -177?
False
Let s(l) = 0*l + 5*l**3 - 4*l**3 + 1 - l - l**2. Let o be s(1). Suppose 5*n + 11 + 29 = o. Which is smaller: -7 or n?
n
Let u = -7 - -18. Let c = 17 + 0. Let q = u - c. Which is greater: q or -5?
-5
Let l = -1281/2 - -950501/1484. Which is smaller: 0 or l?
l
Let f = -30 - -45. Let r be (-13)/f - 10/(-15). Is -6 not equal to r?
True
Suppose -4*x + 3*j = -3, -5*x = -3*x + 3*j + 3. Let f be 46/4 - (-1)/2. Let s be 0/3 - (-1)/f. Is s greater than x?
True
Let d be 51/(-15) - 8/(-20). Let l = 6 + d. Suppose 3*p + 3*k + 3 = 6*k, -4 = 4*p - l*k. Is p equal to 2?
False
Let r(w) = w**3 + 12*w**2 + 10*w + 15. Let h be r(-11). Let c be 4/h + (-411)/(-117). Does 4 = c?
False
Suppose 1 = 5*x - 4*x. Let a be (-5)/x*6/(-30). Which is greater: a or 0?
a
Let l(q) = 2*q**2 + 3. Let p be l(0). Suppose -p*k = -5*k + 14. Is k < 8?
True
Let h(s) = 16*s - 301. Let p be h(19). Suppose -7 = 2*g - 3*n - 2*n, -3*n - 3 = 0. Let d = 10 + g. Which is bigger: d or p?
d
Let z = 18492/11 + -1676. Let n = z + -750/143. Let v = -1.9 - -2. Which is bigger: n or v?
v
Suppose 3*n = -5*j - 2*n - 20, 2*j - 3*n - 12 = 0. Let k be (-4)/56*(3 + j). Let d(t) = t**2 - 10*t - 76. Let l be d(15). Which is greater: k or l?
k
Let r = -0.085 - -4.085. Let x = 1 + 2. Which is smaller: r or x?
x
Suppose -4*a + 25 = 5. Suppose -a*u + 9 = v, -u + v + 4*v + 7 = 0. Which is greater: u or 3?
3
Suppose -r + 2*k - 14 = 0, 0 = k + 38 - 44. Let t be (7*4/6)/(-4). Is t greater than r?
True
Let d = 5.04 - 0.04. Let h = 110 + -109. Suppose h = -4*x - 11, 5*q + 3*x + 9 = 0. Is d smaller than q?
False
Let f(v) = v**3 + 6*v**2 - 2*v - 4. Suppose 1 = -5*d - 29. Let h be f(d). Let o be -8 + h + (-7)/(-5). Is 0 less than or equal to o?
True
Let i(k) = -8*k**2 - 365*k + 72. Let x be i(-42). Is 1291 greater than x?
True
Let o(g) = -4*g**3 + 2*g**2 - g. Let a = -3 - -4. Let r be o(a). Which is greater: -1 or r?
-1
Let a be (-396)/45 + 9 + 254/80. Let w be 1 + (-23)/(-104) + 2. Let m = w - a. Which is smaller: 1 or m?
m
Let p be 1/(-2) + 2118/12. Let k be 28120/143 - 32/p. Let z = -196 + k. Is z > 0?
True
Let d = -14823 - -74613/5. Suppose 0 = -x - 2*o - 88 - 4, 2*x - 5*o = -220. Let v = x + d. Which is bigger: 1 or v?
1
Let s(l) = -4*l**2 + 4*l + 7. Let t be s(3). Let w(h) = 3*h + 5. Let o be w(-7). Is o greater than t?
True
Let v = 811.2 - 811. Let j = -0.2 + 0.11. Which is bigger: v or j?
v
Suppose 0*l + 1 = -y - 2*l, -2*y - 22 = -l. Let k be (-1 - 2)/(y/24). Suppose -2*v + v - 5 = -m, -k = -2*m. Which is bigger: v or -5/3?
v
Suppose -2*a = -y + 9, 3*y - 14 = 4*a + 9. Which is smaller: -8/11 or a?
a
Let m be -9 - -2 - 268*17/(-476). Which is greater: 28 or m?
28
Let b = -3787 - -3788. Let r = 3.743 + -3.7. Is r at least b?
False
Let p = -667 + 668. Is p <= 1/2?
False
Let a(q) = -q**2 - q. Let v be a(-2). Let y be (-28)/15 - (v - 0). Let k(j) = 6*j**2 - 4*j + 1. Let d be k(0). Which is bigger: d or y?
d
Suppose -5*u + 41 = 46. Let c = 594/13 - 7728/65. Let y = 73 + c. Do y and u have different values?
True
Let q = -211/2 - -100. Let r = 93 - 90. Is r at most as big as q?
False
Let w = -9 + 5. Let a be w/6 + 84/45. Let x = 16 + -16. Is a smaller than x?
False
Let m = -13/11 - -23/11. Which is smaller: m or 2?
m
Let d = 9.63 - 9.9. Is -0.2 < d?
False
Let q = -38 + 18. Let n = q - -15. Let y = -1 - 3. Are n and y non-equal?
True
Let m be (2/6)/(6/(-2)). Let v be 6/((-18)/(-15)) - 4. Are v and m unequal?
True
Suppose -21 = o + 4*o + 4*h, h = 2*o + 11. Suppose 5*f - 2*f - 24 = 0. Let j be (-6)/(-2) - (f + -2). Is o > j?
False
Let i be 39/(-9) - 7/(56/(-40)). Which is smaller: 91/5 or i?
i
Let v = -25/3 - -8. Let g = 7952 + -7949. Do g and v have the same value?
False
Let j be 105/(-100)*(50/(-4) - 0). Which is bigger: 13 or j?
j
Let z(x) be the first derivative of -x**4/4 - 8*x**3/3 - 7*x**2/2 - x - 1. Let t be z(-7). Let w = 0.679 - -0.321. Is t at most as big as w?
True
Suppose 3*v - v + 3*a = 4, 5*a - 5 = -5*v. Let g be (-12628)/126 - (-4)/18. Let z be g/132 - 4/(-6). Which is smaller: z or v?
v
Let p = 3.42 + -8.96. Which is smaller: 1 or p?
p
Let g be 2 + -15 + 8*(-3)/(-6). Let k(x) = x**3 + 9*x**2 + x + 10. Let t be k(g). Which is greater: 4/9 or t?
t
Let o = -1 - 0. Let h be (2/(-3))/(28/885). Let p = h + 21. Do p and o have the same value?
False
Let t be 25/20 + 1/(-4). Is t at least -2/237?
True
Let c(q) = -2*q**2 - 4*q. Let w be c(-2). Is -5/133 at least as big as w?
False
Let w = 31 + -52. Let a = w + 11. Which is bigger: -11 or a?
a
Let d = -10 - -13. Let u(r) = 4*r**2 + d*r**3 - r - 7 + 3*r**2 - 2*r**3. Let l be u(-7). Which is smaller: l or -1.6?
-1.6
Let n = -229.6 + 210.6. Do -0.025 and n have different values?
True
Let c(y) = 2*y**2 - 11*y + 22. Let n be c(4). Is n bigger than 2/9?
True
Let k = 104 - 104. Let r(o) be the first derivative of -o**2/2 + o + 1. Let n be r(k). Are n and -2/17 nonequal?
True
Let t(v) = -4*v**2 - 5*v**2 + 5*v**3 - 3*v - 4*v**3 + 4*v - 12. Suppose 2 + 43 = 5*m. Let n be 