8 - -217. Let a = x + 14515/23. Which is bigger: -0.1 or a?
a
Let i(l) = -l**3 + 6*l**2 + 7*l + 4. Suppose -o + 2*q + 9 = 0, -3*q = 4*o - 7*o + 24. Let k be i(o). Let p = 5 + -1. Is k not equal to p?
False
Suppose -7 + 1 = -6*v. Is v != 5/6?
True
Suppose q = -q + 4. Let b be 40/15 + (-6)/q. Let p(u) = -u + 5. Let f be p(4). Is b less than f?
True
Let t = -1.9 + 1.1. Let g = t - -0.7. Let z(y) = y**2 + 4*y + 3. Let a be z(-3). Is g less than or equal to a?
True
Suppose 4*g + 3 = 2*m + 19, 0 = 2*m + 3*g - 19. Suppose -v = -4*n + 10 - 2, 2*v - 14 = -m*n. Is n != 3?
False
Let w be (14/(-4))/(12/(-24)). Is 7 greater than or equal to w?
True
Suppose -4*d + m = -12, 0*d - 3*m + 15 = 5*d. Is d at least 1?
True
Let h = 14 + -10. Suppose 4*s + 0*g - 8 = -h*g, g = 2. Which is greater: 3/4 or s?
3/4
Suppose -m - 28 = 2*m - 5*q, -48 = 2*m + 4*q. Is m equal to -16?
True
Suppose 4*u - 3*x = -0*u - 5, -2*x = -6. Let k = -59/5 + 423/35. Which is bigger: u or k?
u
Let z = -77 + 126. Is z smaller than 50?
True
Suppose -12 = -3*z - 3. Let c be 2*z/(-6) - -1. Let d = c - -1. Which is bigger: 1/5 or d?
d
Let x = 4/13 + -21/26. Suppose -5*u + 162 = u. Let f = u + -27. Is f greater than or equal to x?
True
Let f(j) = j**3 - j**2. Let h(c) = c**3 - 8*c**2 + c - 7. Let q be h(8). Let r be f(q). Let y = -24 - -70/3. Which is greater: y or r?
r
Suppose 6*h - 2*h + 2*c = -4, -4*c + 10 = 2*h. Let p(i) = i**3 - 5*i**2 - 3*i + 11. Let f be p(5). Which is greater: h or f?
h
Let p be ((-8)/(-20))/((-2)/(-5)). Is p smaller than -6/17?
False
Let y(d) = -d**2 + 8*d - 6. Let o be y(7). Which is smaller: 4/15 or o?
4/15
Let o = 16586564/833 - 340287/17. Let m = -105 - o. Which is greater: 1 or m?
1
Let f be 2/(-6) + 1/3. Which is smaller: -4/19 or f?
-4/19
Let p = 105/17 + -6. Which is smaller: p or 1?
p
Let o = -12 + 14. Let g(w) = 4 + 4*w + w + 0*w + w**2. Let l be g(-4). Is l smaller than o?
True
Suppose q + 2 = 4*o + 4, -2*o - 4*q + 8 = 0. Let x = -52/35 + 16/7. Is x smaller than o?
False
Let t(d) = -3*d + 1. Let h be t(0). Suppose -2 + 9 = -5*m + 4*g, 7 = -2*m + 3*g. Are h and m equal?
True
Let m = 57 + -229/4. Are 0 and m non-equal?
True
Let i(c) = -3*c**2 - 2*c - 2. Let g be i(-2). Let z(s) = -s**3 - 7*s**2 - 7*s + 5. Let t be z(-6). Let u = g + t. Is 1/2 < u?
True
Let f(u) = -22*u + 500. Let r be f(23). Let h(p) = p**2 - 2*p + 2*p**2 + 0*p**2 + p**3 + 3. Let i be h(-4). Does i = r?
False
Let y = -2 - 0. Let u be y - 1*(-1 + -1). Is 1 < u?
False
Let r = 9 + -2. Is r at most 12?
True
Let y be 1*22 - 6/(-8)*4. Which is bigger: y or 26?
26
Let i = 3/10 + -31/70. Let t(p) = 2*p**2 - p - 1. Let d be t(2). Let r = d + -5. Which is greater: i or r?
r
Let u(d) = d**2 - 5*d - 6. Let a be u(6). Are 1/46 and a unequal?
True
Let h = -18 - -14. Let k = -3.04 + 0.04. Let r = h - k. Which is smaller: 2 or r?
r
Suppose -3*v + 1 = -3*p - 4*v, 0 = -4*p + 5*v - 14. Let r = -506/21 + 24. Let z = r - 8/357. Are z and p equal?
False
Let u = 31/15 - 7/5. Let z(j) = j**3 - 8*j**2 + 6*j + 7. Let c be z(7). Let n = 1 - c. Is n less than u?
False
Let x(r) = -3 - 7*r**2 - 3 + r**3 + 6*r + 1. Let j be x(6). Which is smaller: -4 or j?
j
Let f be (6/(-10))/((-16)/(-20)). Is -1 at most as big as f?
True
Let j(b) = b**2 - 9. Let r be j(0). Let l be 8/r*(-3)/(-20). Which is greater: -1 or l?
l
Suppose 0 = 4*m - 5*m - 4*j + 1, -5*m + 2*j = -71. Suppose -m = 4*o - 1. Let p = o + 18/7. Which is smaller: p or 0?
p
Let z(h) = h**2 + 5*h + 2. Let r be z(-3). Let d(j) = -j**3 - 4*j**2 - j - 4. Let a be d(r). Which is greater: -5/7 or a?
a
Suppose 21 = 4*m + 5. Suppose 5*o - m = 1. Suppose -o = 5*w - 26. Which is smaller: w or 1?
1
Suppose 0 = -12*f - 10 - 530. Which is smaller: f or -43?
f
Suppose 6 = 5*q + 3*d, 0 = 5*d - 10. Suppose -4*v - 2*v = q. Is 2/21 less than v?
False
Suppose 0 = 3*x - 5*w - 5, -3*x - 4*w = -0*x + 4. Is x != -1/33?
True
Let t(g) = -g**3 - 5*g**2 + 7*g + 8. Let h be t(-6). Let p(o) = -o**2 - o - 2 + 3 - 4*o + h. Let y be p(-5). Is y at least 3?
True
Let k(x) = -x - 2. Let q be k(0). Suppose 0*g + 4 = 4*g. Let y = 0 + g. Is y bigger than q?
True
Let j be 0 + (-16)/5 - -2. Let a = 1 + -3. Which is smaller: a or j?
a
Suppose 6*y - y = 5. Let f be 133/91 + (0 - y). Which is smaller: -1 or f?
-1
Let d(j) = j + 7. Let f be (-5)/(-10) + (-30)/4. Let x be d(f). Suppose z = -x*z + 1. Is z greater than 1?
False
Let z = 86 + -86.98. Let o = 1 + z. Let k = -1.02 + o. Which is smaller: -2/5 or k?
k
Let v be ((-126)/(-30))/(1/10). Suppose 11 = -4*b + 27, -2*b = -5*y + v. Let s = -3 - -14. Which is smaller: y or s?
y
Let p = -19 - -6. Let d = -11 - p. Which is smaller: 0 or d?
0
Let r = 1/14 - 1/63. Is r > 1?
False
Suppose 0*z - 7 = -4*m - 5*z, -8 = -2*m + 2*z. Suppose 2*a + m = 3*n - 4, -a = 5. Which is smaller: -0.2 or n?
n
Let j = -4 - -3. Let s = 2 - j. Let t be ((-6)/(6/s))/(-3). Is t smaller than 1/2?
False
Let a be (15 + -13)*1/5. Which is greater: 0 or a?
a
Suppose -2*d = 3*c + 6, 2*c - d = -0*c - 4. Let k be (3/(-4))/(3/12). Let t = k + 2. Which is bigger: t or c?
t
Suppose -15*b = -8*b - 343. Is 48 less than b?
True
Let s(n) = -6*n - 2. Let w be s(-2). Let l be 6/15 - (-16)/w. Let c = -23 - -22.9. Is l != c?
True
Let c = -6 - -5. Let b = c + 9. Let n be 18/20 - 4/b. Which is greater: n or 0?
n
Let w = -16 - -16. Is w greater than or equal to 1/5?
False
Suppose 0*v = -v + 5. Suppose -8 = -v*z + 17. Suppose 2*j - 21 = -j. Which is bigger: j or z?
j
Let j be -14*(-4)/96*-2. Which is smaller: j or 0?
j
Let o = -0.04 + 0.03. Let x = 0.04 + o. Let b = -0.03 + x. Which is bigger: 4 or b?
4
Let l = -220 - -667/3. Suppose -5*p + p = 3*s + 13, -4*s - 5*p = 16. Suppose 0 = -2*d + s + 3. Which is bigger: d or l?
l
Let d = 35.77 - 36. Let f = -0.03 - d. Let z = -13/21 - -2/7. Is z > f?
False
Suppose 2*b - b + 4*d + 5 = 0, 19 = 5*b - 2*d. Suppose -b*x + 32 = -5*j, -2*j = -0*x + 2*x. Is j less than or equal to -2?
True
Suppose 3*f + 5*o = 52, 2*f + 0*f + 7 = 5*o. Suppose -f = 5*z - 4*z. Which is greater: z or -10?
z
Suppose -3*m - 2*z = -23, -3*m + 3*z = -4 + 1. Let y(v) = v**2 - 4*v - 4. Let f be y(m). Is f at most as big as -1/5?
False
Let b be (3*-1)/(12/(-32)). Suppose 0*v = -4*v - b. Let n(z) = z**3 + z - 1. Let h be n(1). Which is smaller: v or h?
v
Suppose -2*m = 2*m. Let q be 4/14 + 15/42*-5. Is q not equal to m?
True
Let m be (14/(-70))/(2/(-30)). Which is smaller: m or 0.3?
0.3
Let v(x) = 2*x**3 - 8*x**2 + 3*x - 10. Let h be v(4). Let l be ((-1)/1)/((-1)/4). Is h at most as big as l?
True
Let h = 13.16 + -0.16. Let r = h + -13.1. Is -19 < r?
True
Suppose -r + 0 - 3 = 0. Let d(u) = -u**3 - 16*u**2 + u + 11. Let p be d(-16). Which is smaller: p or r?
p
Suppose 0*s + 2*s - 1 = 5*u, 4*u - 16 = -4*s. Let z(r) = -9*r - 1. Let y be z(u). Let x = 10 + y. Are 0 and x non-equal?
False
Let s = -0.3 + -0.1. Let v = 0.9 + -0.1. Let y = s + v. Do 1 and y have the same value?
False
Let a = -7/60 - -1/5. Is a at most as big as -1?
False
Let c = -1 + 2. Let v be (-265)/20 + -3*1. Let y = 16 + v. Do y and c have different values?
True
Suppose -d + 5 = 3. Suppose -2*f - 5*j = d*f + 11, 3*j + 4 = -5*f. Is -2/75 >= f?
False
Let h = -100.04 + 100. Is h bigger than 2/5?
False
Let t = -10 - -15. Let s be 0/(-4) - -1*t. Suppose -4*x = -2*n - 24, 0 = 3*x + s*n - 3*n - 11. Is x at most as big as 5?
True
Let u = 151/5 - 30. Is u at most 1?
True
Let m = -83/24 - -7/3. Is -2 > m?
False
Let b = 38 - 22. Is b > 15?
True
Let u = -1 - 1. Is u <= -8/3?
False
Let u = 6 - 0. Let x = u - 3. Which is smaller: 3/2 or x?
3/2
Let p = 9 + -6. Let n = 2 - p. Suppose 5*r - 2*r = 0. Which is greater: n or r?
r
Suppose -l + 3 = 0, -4*c + 14 = 5*l - 5. Let b = -6678/11 + 608. Which is bigger: b or c?
c
Let v = 1.213 - 0.203. Let n = -0.01 + v. Let z = -1.9 + 2. Which is bigger: z or n?
n
Let t be (-159)/(-21) + 9/21. Is t greater than 8?
False
Let c = 12.16 + -12. Let s = -0.16 + c. Which is bigger: s or -1/4?
s
Suppose -5 = -2*m + m. Let d = -5 + m. Which is greater: -5/8 or d?
d
Let k(z) = z**3 - 6*z**2 + 8. Let g be k(6). Let p be (0 - -2)/((-2)/g). Let y be ((-2)/p)/(51/(-24)). Are 0 and y unequal?
True
Let o(d) = -d + 8. Suppose 5*x - 15 - 15 = 0. Let j be o(x). Suppose -4*m = -8, q = 2*q - 3*m + 4. Is q at least as big as j?
True
Suppose