et s(i) = -5*i**3. Let l be s(1). Let x = -1 + -1. Let n = x + l. Is -8 bigger than n?
False
Let g = 11 + -23/2. Which is smaller: g or 0.02?
g
Let o = -317/11 - -29. Let b = 3 - -2. Suppose -n - 15 = 2*n, -b*n = 4*g + 29. Are o and g equal?
False
Let o = 26/77 - 901/616. Let r = -35/24 - o. Suppose c - 3*c - 3*h = -17, 0 = -4*c - 4*h + 24. Which is greater: c or r?
c
Let s = -27 + 26. Let o = 1/1697 + 79756/5091. Let g = o + -16. Which is smaller: s or g?
s
Let b = 15.32 - -0.68. Which is smaller: -2 or b?
-2
Let u = 3617/2244 + 5/204. Which is bigger: u or 3?
3
Let t(w) = -4*w - 2. Let g be t(-2). Suppose -y = -4*s - s - 15, -2*s = g. Is y smaller than 0?
False
Let h = 3 - -1. Suppose 2*q - r + h = r, -14 = -2*q - 4*r. Is q at least as big as -1?
True
Let v = -9 + 7. Let x = -1 - v. Is x smaller than -4?
False
Suppose -4*y - 14 + 38 = 0. Let a = -4 + y. Let c = -10 + 10. Which is bigger: a or c?
a
Suppose -t - 4 = 3. Let u = -5 - t. Is u less than 3?
True
Let g(x) be the first derivative of x**2/2 - 1. Let b(f) = 2*f. Let c(r) = -3*b(r) + 5*g(r). Let w be c(-4). Which is bigger: w or 5?
5
Let o be (-25)/3*(-9)/(-4). Let g = o - -19. Suppose 0 = -2*j - 1 - 1. Which is bigger: g or j?
g
Let y be ((-3)/30)/((-1)/6). Let i be (3 - 1)/(3/6). Let x be 4/i - (-1 + 0). Which is smaller: x or y?
y
Let g = 3/11 - -2/33. Let c = -0.5 + 0.9. Let p = c + -0.5. Which is bigger: p or g?
g
Suppose 5 = -n - w, 7*w = 2*n + 2*w - 25. Let j = 5 - 3. Suppose f - 2 = -l + j*l, 4*l + 2 = f. Which is greater: f or n?
f
Let b be (10/(-30))/((-1)/3). Let h be ((-9)/2)/(3/(-4)). Let y(a) = a - 2. Let u be y(h). Which is greater: b or u?
u
Let r(s) = -s**3 + 5*s**2 - 5*s + 6. Let d be r(4). Do d and -1 have the same value?
False
Let c be (-6)/12*18/15. Which is bigger: c or 0?
0
Let j = -460 + 17019/37. Which is smaller: 1 or j?
j
Let j be 1*(-1 - (-1 - -12)). Which is smaller: -2 or j?
j
Suppose -3*n = d - 7, 3*n = -5*d - 5 + 40. Let y be (d + -6)*0/(-1). Suppose y = 4*s - 3*s + k, -3*k - 12 = 0. Which is greater: 0 or s?
s
Suppose -3*t = 3*r, 0 = 5*t + 2*r + 8 - 2. Which is bigger: t or 0?
0
Suppose 3*s + k = 2, -5*s = -3*s - 2*k - 12. Suppose -2*p = -3*d + 17, -p = s*d + 3*d - 24. Is p greater than or equal to -4?
True
Let o = -56.9 - -57. Let s be (-2 - -3) + (-26)/(-4). Let q = s + -41/6. Which is smaller: o or q?
o
Let f = 13 + -6. Let d be f + (1 - 1) + -1. Let a(w) = 3*w - 6. Let i be a(4). Is d > i?
False
Let z(t) = -8*t**2 - 2*t - 1. Let y be z(-1). Let n be (-12)/42 + (-9)/y. Which is greater: -3 or n?
n
Let p = 62/207 + -12/23. Is -0.3 bigger than p?
False
Let k = -83 + 413/5. Let a = -5 + 9. Let z = -5 + a. Is z < k?
True
Suppose -5*q = -3*q + 2*r - 26, 2*q - 11 = r. Is q bigger than 7?
True
Let l = 1 + -1. Let n = -2 - l. Which is greater: 0 or n?
0
Let r = 2 - -1. Suppose -r*q + 1 + 5 = 0. Suppose h = -h + q. Is -1 equal to h?
False
Suppose -3*x - 8 - 9 = -4*f, 4*x - 29 = -5*f. Suppose 0*z - f = -z. Which is smaller: 2 or z?
2
Let a = 0.3 - -0.2. Let w = -0.5 - 0.1. Let s = w + a. Which is greater: s or -1?
s
Suppose -5*m - 8 = -38. Let o = -1 + 7. Is o > m?
False
Let s(k) = k**3 - 9*k**2 + 9*k - 2. Let i be s(8). Suppose 16 = 5*w + i. Does 6/11 = w?
False
Let w = 0.015 + -0.015. Let o be (((-12)/(-10))/(-3))/1. Which is smaller: o or w?
o
Let m = -3.6 - -3. Let q = 19.6 + -17. Let b = m + q. Which is smaller: b or 2/7?
2/7
Let h = -105.96 + 104. Let q = h + 2. Are 2/3 and q equal?
False
Let q = 0 + 105. Let w = q - 311/3. Which is smaller: w or 0?
0
Let v = -1796/7 + 256. Let u be 2 + 2 + -3 + -1. Let r be (u*(1 - 2))/1. Is r < v?
False
Suppose -6*y - 8 + 2 = 0. Which is smaller: -1/39 or y?
y
Let i = 15 + -10. Suppose -4*v = 5*k - 29, 0 = -2*v + i*v - 2*k + 7. Is 1/4 at least v?
False
Let c = -322 + 478. Let t be c/49*4/(-36). Let v = 1/49 + t. Which is greater: v or -3/4?
v
Let r be (-18)/4*22/(-231). Let v = 3 - 4. Does v = r?
False
Let h(s) = 13*s + 2 - 6*s - 6*s. Let g be h(2). Let k = -7 + 12. Is k <= g?
False
Suppose 1120 = -b + 106. Let z be b/15 - (-2)/2. Let w = -67 - z. Is w greater than or equal to -2/11?
False
Let j = -0.03 + -2.97. Suppose -5*q - n - 9 = 0, 2*q - n + 3*n + 2 = 0. Is j at least as big as q?
False
Let m(d) = -2 + 2 - 3 - d. Let n be m(-6). Is 3 at most n?
True
Suppose 0 = 3*t - 6*t - 9. Is -1 greater than t?
True
Let g = -6 + 7. Let y be g*(-1 + (-1 - -1)). Is y != -2?
True
Suppose 3*y + 5 = 2. Which is bigger: -3/5 or y?
-3/5
Let w = 0.08 + 1.22. Let u = 1 - w. Let l = u + -1.7. Is 0 > l?
True
Suppose 5*b - 3*b = 8. Suppose d - 3 = 2. Suppose i + 16 = d*i. Is i > b?
False
Suppose -4*c - m = -8, -3*c - 7 = 3*m + m. Which is greater: 4 or c?
4
Suppose 0 = 3*t - 9 + 3. Suppose t*f - 4*y - 108 = 0, f + 5 - 51 = 4*y. Let p be f/(-15) - -2 - -2. Is 1 at most p?
False
Suppose v = 4*t - 6 + 23, 3*v - 5*t - 72 = 0. Is v <= 29?
True
Suppose 0 = 5*g - 4*g - 6. Let x(c) = -c**2 - 6*c + 3. Let j be x(-6). Let f = j - g. Is f greater than or equal to -2?
False
Let q = -1849/9 - -205. Which is bigger: q or -1?
q
Let h(i) = -i**2 - 7*i + 17. Let o be h(-9). Do -2/123 and o have the same value?
False
Suppose 4*f = 3*i - 2 - 21, i + 2*f = 1. Let d = -4 + i. Is 1 greater than d?
False
Let m(b) = -b + 7. Let i be m(5). Let r be ((-1)/i)/(2/16). Let l be (-2)/r*24/(-3). Are l and -4 equal?
True
Let z(r) = r**2 + 5*r - 8. Let l be z(-6). Which is smaller: 26 or l?
l
Let o = 32 + -54. Which is smaller: -21 or o?
o
Let o be (66 - 67)*(-1 - 3). Let f(h) = -2*h - 9. Let b be f(-6). Is b at most as big as o?
True
Let b = 68 + -68. Is b > -33?
True
Suppose 3*s = 8*s - 5. Suppose 0*l - 3*l = 0. Is l equal to s?
False
Let w be ((-217)/84 - -2) + 1/3. Which is greater: 4/7 or w?
4/7
Let z = -0.1 + 0.5. Let b = 88 - 123. Let n be (-6)/30 + (-17)/b. Which is greater: z or n?
z
Suppose -5*f + 4*d - 3*d = -324, -4*f = -3*d - 257. Is f less than or equal to 65?
True
Let q = -0.26 - -0.16. Which is smaller: q or -1?
-1
Suppose 4*t = 8, -9*t + 10 = -4*p - 4*t. Let z = 16 + -13. Is p at least z?
False
Suppose 4*d = 2*p - p - 46, -3*d - 43 = -5*p. Let j be (-9)/(-11) + (-2)/d. Let y be 8/(-5) - (-1 + -1). Which is bigger: y or j?
j
Let a = -0.9 - -12.9. Let o = a - 11. Is 0 less than o?
True
Let v = -10.049 - -0.049. Which is greater: 0.2 or v?
0.2
Let w(s) = s**2 - 7*s + 9. Let g be w(8). Suppose 2*y - 4*h - 13 = 1, 2*y - 5*h = g. Is -1 > y?
False
Let u be ((-20)/12 + 1)*-3. Suppose 0 = 2*h + 10, 3*g + g - 5*h - 33 = 0. Suppose 0 = 3*a - x + g, -4*a + 0*x + u = x. Which is bigger: a or -1/6?
a
Suppose -a + 6 - 3 = 0. Suppose a*g + k = 1, k + 1 = -g - 0*g. Is 1 smaller than g?
False
Let f = 8 + -15. Let y = f - -5. Which is bigger: y or -1?
-1
Let x be (-4)/(-10) - 14/60. Let h be ((-5)/(-10))/((-1)/2). Let b = 1 + h. Is b < x?
True
Let r(w) = w**3 + 3*w**2 - 6*w - 1. Let p be r(-4). Suppose 0 = -2*n - 8, -3*n - p = 3*t + n. Is t less than 2?
False
Let j = -37.1 + 39. Let o = 0.9 - j. Which is smaller: 0.3 or o?
o
Let y(z) = -z**3 - 3*z**2 + 2*z + 7. Let l be y(-3). Which is bigger: -1/3 or l?
l
Let y be (-2)/(8/(-3)) - 3/4. Let t = 2/55 + 4/11. Is t greater than y?
True
Suppose 7*y - 13*y = -18. Is y != 11?
True
Let t be (-140)/(-88) + 6/(-4). Let l = t - 14/33. Are l and 1 unequal?
True
Let o = -329 + 1979/6. Let b(l) = -l**3 + 4*l**2 - 5*l + 6. Let c be b(3). Which is smaller: c or o?
c
Let y be (-1)/(-3) - 20/(-12). Let d = y - 0. Let c be 10/6 + d/(-1). Is 0.1 equal to c?
False
Suppose 3*i + 3 = -2*o, 5*i + 0*o + 6 = -3*o. Let n be (-2)/7 - (-19)/(-7). Is i bigger than n?
False
Let y = 42 - 45.1. Let j = -0.5 - -3.5. Let u = j + y. Which is smaller: u or 0.2?
u
Let z = 532 + -506.1. Let p = -28 + z. Let y = p + 2. Which is smaller: y or 2/5?
y
Suppose -t = -4*t. Let c be 8/3*((-42)/36)/7. Which is smaller: c or t?
c
Let i = 61 - 60.9. Which is smaller: 2/11 or i?
i
Let i be ((-2)/(-4))/(10/105). Which is bigger: i or 4?
i
Let r = -1.4 - -0.8. Let h = r - -0.8. Which is bigger: 8 or h?
8
Let q = 94 - 21. Which is smaller: q or 74?
q
Let k be (-2)/(-7) + 102/84. Is 1 greater than or equal to k?
False
Let i = -57 + 32. Let y = i - -38. Let h = -5 + y. Is -0.1 < h?
True
Let y = -0.6 - -1. Let d = 1.6 + y. Which is smaller: -1 or d?
-1
Let m be (12/(-10))/((