+ 6 - 5. Let i be c(-1). Is -2/3 less than i?
True
Suppose 3*o + x = -4*x - 1, -4*x = -3*o + 17. Let n be ((-2)/(-3))/((-2)/o). Let g = n + 5/2. Which is smaller: 3 or g?
g
Let k = -41 + 163/4. Let l = 51 - 31. Suppose -25 = 5*n + 5*x, -3*x = -5*n + x + l. Is k >= n?
False
Let n(l) = l - 3 + 2*l - 4*l. Let d be n(-2). Which is bigger: d or -1/4?
-1/4
Let s(n) = -n - 13. Let g be s(-12). Let w = 0.4 + -2.4. Do w and g have different values?
True
Let x = -223 + 1564/7. Which is bigger: 4/3 or x?
4/3
Suppose 13 = 3*n - q, -4*q = -3*n + q + 17. Which is bigger: n or 14/5?
n
Suppose -3*b = -15, -3*b + 22 = 4*u - 9. Suppose u*z + 2*j - 2 = -0*j, 2*z + 2*j = 4. Let o = -7 + 3. Is z smaller than o?
False
Let v = -4 + 4. Suppose -716 = 2*u - 7*u + 4*i, v = -2*u - 3*i + 268. Let d = -698/5 + u. Which is greater: 0 or d?
d
Let g = -10 + 10.1. Let t = g + -3.1. Is t less than -0.1?
True
Let i(q) = q**3 + 3 - 4*q - 2*q - 6*q**2 + 0*q**3. Let k be i(7). Suppose 0 = v + 4*v + k. Is v < -3?
False
Let f = 1 - 1. Suppose 2*c + 3 + 1 = f. Which is smaller: -4/5 or c?
c
Let n be (4/(-9))/(10/15). Suppose -g = -q - 3, -q + 7 = -3*g - 2*q. Is g less than n?
True
Let p(h) = 2*h. Let m be p(2). Suppose 0 = -a - m*a. Which is smaller: a or 2/9?
a
Suppose -10*h = -5*h - o + 73, 3*h + o = -47. Let l be (-6)/h + (-4)/10. Suppose -2 = 2*n - 0. Which is greater: l or n?
l
Let a = -41 + 48. Is 5 <= a?
True
Suppose -2*z + 8 = -2*o, -6*o + o + z - 36 = 0. Let w be (-6)/o + 5/20. Which is greater: w or 1/17?
w
Suppose -8*i + 9*i = -2. Let a(o) = -3*o - 2. Let g be a(i). Suppose 5*d - 29 = -9. Is d smaller than g?
False
Suppose 2*r = -3*r. Let b = 2/259 - -255/518. Is b at least r?
True
Let y be 2*4/(-36) - (-120)/297. Which is greater: 3/8 or y?
3/8
Suppose -1 = -g - 0. Let b be (-1 + 4 + -2)/g. Let y = 0 - -2. Which is bigger: y or b?
y
Let g(z) = -2*z**2 - 6*z + 32. Let o be g(4). Which is greater: o or 0?
0
Suppose s = 2 + 4. Let t(a) = a**3 + 3*a**2 + 4*a + 4. Let k be t(-3). Let y = k + s. Is -2 less than or equal to y?
True
Let n(j) = j + 1. Let b(f) = -f. Let v(h) = 5*b(h) + 4*n(h). Let s be v(7). Let z be (-2)/(-4) - s/6. Is 1/3 bigger than z?
False
Let p be 1/(-4)*9/(-36). Is -5/2 <= p?
True
Suppose 7 = y - 4*k, -5*k - 6 = -0*y - 4*y. Let u(b) = -4*b**2 - b - 1. Let r be u(-1). Is r >= y?
False
Let l be (4 - 2)*(5 - 4). Let r be l/(-3) - 4/12. Which is greater: 5/11 or r?
5/11
Let q be 2/3 + (-56)/66. Suppose 0 = 4*v + v + 2*w - 20, 5*w - 23 = v. Let k be (-2)/(-6) - v/6. Is k >= q?
True
Let o be (-1)/5 + 357/85. Suppose o*n - 3*n = -16. Does -16 = n?
True
Suppose z + 0*z = 0. Which is bigger: z or 2/59?
2/59
Suppose 2*k - 2*v + 4 = 0, -3*k + v + 0*v = 2. Suppose k = 3*j - j - 8. Suppose -j = -4*s - 3*f, 7*s - 3*f = 2*s - 22. Is s bigger than -5/6?
False
Let y be 5 + -3 - (2 + -4). Suppose 5*a = 5*d - 12 + 2, 0 = -2*a - y*d + 20. Which is bigger: a or 3?
3
Suppose 26 + 7 = 3*g - 3*n, -29 = -3*g - n. Suppose 3*l - 3 + 51 = 5*j, 4*j = -5*l + 31. Which is smaller: g or j?
j
Suppose -r + 6*r = 2*i + 25, -5*r = -5. Let j = 959/69 + -105/23. Let s = i + j. Which is smaller: s or 0.1?
s
Let n(u) = u**3 - 7*u**2 + u. Let h be n(7). Let j(o) = 5*o + 2*o + 5 - 8*o. Let i be j(h). Do i and -4 have different values?
True
Let v be 1 + -4 - (-22)/3. Which is smaller: v or 5?
v
Let s = 2 + -1. Let o = 28 - 39. Let p = -11 - o. Is p at least s?
False
Suppose -3*v = -8*v - 10. Let x(d) = d**2 + 4*d - 6. Let g be x(-5). Let q be 2*g + 0/2. Is v >= q?
True
Let g(d) = -d**3 + 5*d**2 + 5*d - 2. Let w be g(6). Let l(u) = u**3 + 9*u**2 + 8*u - 4. Let v be l(w). Let s = v - 1. Is s < -2?
True
Let d be 15/(-12) + 3/12. Suppose -4*a - 8 = -5*r, 38 - 9 = 5*r + 3*a. Suppose x = -r, -5*x = 2*p - 5*p + 11. Is d at least as big as p?
True
Let m(k) be the first derivative of -2*k**2 + 3*k - 5. Let x be m(2). Which is smaller: x or -6?
-6
Let s(z) = 6*z + 35. Let b be s(-6). Which is smaller: 2/285 or b?
b
Let v = 2 + -1. Suppose -3*n = -n + 14. Let j be 6/4 + n/6. Is v equal to j?
False
Suppose 2*k - 10 = y - 0*k, 3*k = y + 14. Let m be (-1)/((-3)/6*y). Are -1/3 and m equal?
False
Let a = -9 + 16. Suppose 0 = 20*k + 7*k - 189. Is a at least k?
True
Let p(l) = -l**2 + 1. Let h be p(1). Suppose 4*w + 8 = -4*d, -2*d + 12 = -h*d - 2*w. Let o = 1 + 0. Which is smaller: d or o?
o
Let n = 2.6 + -3.2. Is -1/3 at least n?
True
Suppose -3*s + 2 = -m, 0 = 5*s + 3*m - 9 + 1. Is s at least as big as 1?
True
Suppose 0 = 6*m - 3*m - 9. Let k be 4*2/4 - m. Let t be ((-1)/(-7) - 1)/(-2). Is k bigger than t?
False
Let m = -23 + 8. Is -15 greater than m?
False
Suppose 4*y - 6 = y. Let p be 2/4*4/y. Let t(v) = v**2 + 4*v + 3. Let m be t(-3). Is p less than m?
False
Let w = 73 - 217/3. Which is smaller: w or 3?
w
Let g be (-6)/15 - 564/40. Are g and -14 equal?
False
Let s(y) = y**2 - 6*y + 5. Let a be s(6). Let o(k) = 5*k + 3. Let d be o(-3). Let c = d + 18. Which is bigger: c or a?
c
Suppose -48 = -2*r - 2*r. Let b = r + -7. Let i be 1/((2 - b)*-1). Are 0 and i unequal?
True
Let r = 4.5 + -4.81. Let f = 1.61 + r. Let n = f + -0.3. Does n = 1?
True
Suppose 3*k = 38 + 478. Let h be 2 - (k/32 + -3). Is h > 0?
False
Suppose -14 = 9*v + 31. Which is bigger: -2/9 or v?
-2/9
Let k = 0.7 + -1.2. Let d = -0.3 + 0.4. Is k < d?
True
Let b = -0.02 - -15.02. Let i = b - 13.7. Let o = 0.3 - i. Which is smaller: 0 or o?
o
Let o(d) = -d - 19. Let k be o(-13). Which is smaller: -7 or k?
-7
Let h = 9 - -9. Which is greater: h or 19?
19
Suppose 5*h + 4*a = -481, -2*h - 3*h - a = 484. Let s = -877/9 - h. Is s at least 0?
False
Let n be 34/(-12) - 2/(-2). Let j = n - -43/30. Which is bigger: -0.3 or j?
-0.3
Let m = -27.09 + -0.91. Which is bigger: m or -0.2?
-0.2
Let h = 35 + -51. Is -0.1 at least as big as h?
True
Let d(z) = -z**2 - 6*z - 6. Let i be d(-4). Suppose 9 = i*g + g. Which is greater: g or 2?
g
Let j = 1.03 + -2.03. Which is smaller: -84 or j?
-84
Suppose f = 20 + 18. Is f greater than 38?
False
Let o = -0.158 - -0.928. Let z = o + -0.07. Let w = z + -0.6. Which is smaller: 1/3 or w?
w
Let y = 51 + -18. Which is bigger: y or 32?
y
Let g(l) = l**2 - 7*l - 7. Let r be g(8). Let v = 1.3 - 0.1. Let s = 1 - v. Is r bigger than s?
True
Let y be (3/12)/(4/16). Are y and -3/19 equal?
False
Let k be (-26)/6*-13 + (7 - 8). Is 56 at most as big as k?
False
Suppose -k + 5*k - 812 = 0. Let o = -1012/5 + k. Suppose 1 = s - 1. Which is bigger: o or s?
s
Let i be 1/4 + (-15)/28. Let c = 11 - 7. Suppose -c*v = -v + 3. Which is smaller: i or v?
v
Let v = -70/3 + 23. Which is smaller: v or -13?
-13
Let f = 1 - -1. Let n = f - 2. Let j be n + 2/15*3. Is 1/4 > j?
False
Let g = -6 + 8. Let j be -2 - 1 - g*-1. Let l be (-1)/(-2)*2 - 2. Is l <= j?
True
Let s(l) = l**3 + 8*l**2 + 4. Let i be s(-8). Suppose 5*b + i*c = 0, 0*b = -5*b - c. Is b greater than 0?
False
Let o = 0.2 + -0.1. Let b(s) = s - 8. Let w be 3 + (-2 - -3)*5. Let r be b(w). Which is greater: r or o?
o
Let j = 8 - 2. Let i(k) = k**2 - k - 8. Let s be i(4). Is j at most as big as s?
False
Suppose 0 = 5*j - 7 - 3. Let l(d) = 2*d. Let w be l(j). Suppose 4*u + 3*h + 2*h = 17, 3*h = -4*u + 15. Which is bigger: w or u?
w
Let i be -1 - (0 + (-2)/(-6)). Let d(o) = 2 - 2 + o**2 - 1 - 9*o. Let f be d(9). Does i = f?
False
Suppose 4*s + t = 2*s + 17, -2*s + 3*t = 3. Is s smaller than 5?
False
Let j = 92 - 1378/15. Which is bigger: j or 1?
1
Let f = -8 - -7.6. Let r(n) = -n - 9. Let y be r(-9). Which is smaller: f or y?
f
Suppose 1 + 9 = 2*u. Suppose 0*c + 5*i - 5 = 2*c, 3*c = -u*i + 5. Let p be (-1)/(-3) + 14/3. Is p > c?
True
Let l(t) = -t**3 + 12*t**2 + 17*t - 4. Let r be l(13). Which is greater: r or 49?
49
Suppose 0 = -5*z + z + 52. Which is smaller: z or 4?
4
Let f be 3/2 + 6/4. Suppose o + 0*o = -f. Let y = o - -2. Is y at most 0?
True
Let w = -21 - -30. Let o be w*4*(-4)/(-48). Is o less than or equal to -0.03?
False
Let j be ((-26)/(-39))/((-2)/3). Let g be (-2)/121*38/(-4). Let f = g - -3/121. Which is bigger: f or j?
f
Let c be ((-5)/3)/(5/(-15)). Suppose 0 = 2*o - y - 6, 4*o - 5*y - 13 = c. Let g = 2 - o. Which is bigger: g or 1?
1
Let o be (-1 + 0 - 1) + 8. Let f be (-6)/(3/(9/o)). Is f smaller than -6?
False
Let h = 232.3 + -250. Let s = h - -20. Let i = 2 - s. Which is smaller: 