c**5/20 + c**4/12 - c**3/6 + c**2/2 + c. Let g be k(1). Which is bigger: g or -4/5?
-4/5
Suppose -22 = -2*f - 20. Are 3/23 and f equal?
False
Let d(o) = -o**3 + 8*o**2 - o + 9. Let b be d(8). Let x = -4 + 11. Let t = x + -1. Is b smaller than t?
True
Let q = 11 + -22. Suppose 14*p + 105 = -35. Which is bigger: p or q?
p
Let z = -2.95 - 0.05. Which is bigger: 0.1 or z?
0.1
Let y be 1/((-3)/(-18)) - -3. Let g = y - 9. Let r be 1/(((-66)/(-4))/(-3)). Which is greater: g or r?
g
Let a = 16 - 28. Let x = a + 10. Which is smaller: x or -1?
x
Let w = -28 + 37. Is -3 smaller than w?
True
Let f be (-1)/(5/62) + -1. Let r = f - -69/5. Suppose -5*g + 11 = 6. Which is smaller: g or r?
r
Suppose 3*p - 9*p = -6. Which is bigger: p or 1/288?
p
Suppose -2*f - 7 = -5*b, -3*f = -b - 3*b + 14. Let i = -5.9 + 6. Which is bigger: i or f?
i
Let j = 8.17 - 1.07. Let s = 7 - j. Is 7/4 bigger than s?
True
Let j = 2/253 + 239/1771. Let i(z) = -z + 4. Let q be i(4). Suppose q + 3 = -3*b. Which is bigger: b or j?
j
Suppose 3*t + 2*t - 135 = 0. Is 25 smaller than t?
True
Let v = 23 + -93/4. Suppose -k - 6 = 2*k. Let l be k/20 + (-2)/5. Which is bigger: v or l?
v
Let n be (-10)/(-4)*(-36)/30. Which is greater: n or -2?
-2
Let w = 0.6 + 2.4. Is -1/4 less than w?
True
Let p = 0.9 - 1. Do 15 and p have the same value?
False
Let m(l) = 2*l. Let n(i) = -5 + 0 + 7*i - 9*i**2 + i**3 + 2*i**2. Let w be n(6). Let c be m(w). Is 2 at least c?
True
Suppose 3*r = 3*c + 2*r + 103, -175 = 5*c - r. Let m be c/27*(-1)/(-2). Which is smaller: 0 or m?
m
Suppose 6*j + 4 = 2*j. Suppose -4*a - 2*v - v - 3 = 0, 2*a = 3*v + 3. Which is greater: a or j?
a
Let n = -42 + 43. Is n at least 3/44?
True
Let a = 6.063 - 0.063. Which is smaller: -3 or a?
-3
Let a = -22 + 24.1. Let j = -0.9 - a. Let b = j + 2.8. Which is bigger: b or 0.5?
0.5
Let v = 1.95 + 0.05. Is v >= -2/5?
True
Suppose -3*a = -4*u - 13, u = -2*u - 12. Let t = -0.3 + 0.3. Which is smaller: a or t?
a
Suppose 0 = 5*n - 2*v + 2 + 2, v = -3. Let w be n/(-8) - 19/(-4). Let k = -8 + w. Is -3 at least k?
True
Let p(d) = d - 3. Let h be p(-5). Let r be (0 - 2)*(h + 6). Suppose -3*t = a - 6, 3*t - 5*a + 10 = -2*t. Which is greater: r or t?
r
Suppose c = -4*c + 5. Suppose 3*x + c + 5 = 0. Which is smaller: x or -3?
-3
Let j(s) = -2*s - 10. Let l be j(-7). Let t be 26*(-2)/(-6) - l. Which is smaller: 5 or t?
t
Let a be (15/2)/(1/(-10)). Let f be ((-2)/5)/((-20)/a). Let j = -4 - -1. Is j at most f?
True
Suppose 2*t - 12 = -4*g, -t + 0 = -3*g + 4. Suppose 21 = 4*j - g*k - k, -3 = -3*k. Let h be (8/j)/(2/(-3)). Is h < -4/3?
True
Let l be 1*(-1 - 6/(-4)). Suppose -b - 14 + 15 = 0. Which is smaller: b or l?
l
Let t = 27 + 3. Suppose 0*c - t = -5*c. Let i = c - 3. Is i equal to 2?
False
Let a(j) = j - 9. Let h be a(12). Suppose h*z + 8 = -z. Which is bigger: z or 0?
0
Let n = -428/5 - -86. Let z(w) = w**3 - 4*w**2 + 5*w - 2. Let g be z(3). Suppose -g*x + 6 = -2*v, -4 - 3 = -2*x + 5*v. Is n greater than or equal to x?
False
Suppose 12 = 3*z + 3*x, 2*z + 5*x - 6*x + 1 = 0. Let d be (z + -2)/(1/5). Which is smaller: d or -4?
d
Let d = -42.1 + 42. Is -0.2 at least as big as d?
False
Suppose 2*v + 15 = -4*q - v, 0 = -q + 5*v + 25. Suppose -3*t = -2*w, q*t - 13 = 5*w - t. Let s(x) = -x + 1. Let b be s(3). Are w and b unequal?
True
Let l = 0.94 - -0.06. Suppose -4 = 2*o, -3*b + 55 = -o + 11. Is l at most b?
True
Let s = -0.7 + 4.7. Let l = -2 - s. Let i = -2 - -1. Is l bigger than i?
False
Let f(c) = 6*c - 43. Let g be f(7). Is 3/56 bigger than g?
True
Let r(k) = k**2 - 14*k. Let g be r(14). Which is smaller: g or 2/7?
g
Let u = -131/3 - -43. Let g = -0.19 - -0.39. Which is greater: g or u?
g
Suppose 0 = -2*o - 5*h - 9, -5*h + h - 12 = 0. Suppose v = o*v. Let q be (-4)/(-12)*(-2)/(-6). Which is greater: v or q?
q
Let h = -3 + 1. Let r(c) = -4*c**3 + c**2 - 1. Let x be r(1). Let u be (h/x)/(3/36). Is 6 at least u?
True
Let n(o) = -o**2 + 4*o. Suppose 3*a + 19 = y, -5*y + 3*a + 45 = -2*a. Let w be n(y). Is w > -2/15?
True
Let l be 2*(2/(-2))/(-2). Let c be 1/(-1) + 25/20. Which is smaller: c or l?
c
Let a(x) = -3*x**2 + 4*x - 3. Let z(v) = v**2. Let b(q) = -a(q) - 4*z(q). Let p be b(-4). Suppose 3*w = 5*w - 4*h - 18, 16 = -w - p*h. Is 1/3 at most w?
False
Let x = 7/3 - 26/15. Let l(n) = -4*n + 1. Let d be l(0). Which is smaller: d or x?
x
Let f be ((-5)/(-2))/((-2)/(-4)). Suppose t + 13 = f*g, 2*g + g + 3*t = -3. Do g and 4 have different values?
True
Let y be (-30)/34 + 2/2. Suppose -2*c - 5 = 5*h, -4*c - 5*h - 5 = -8*c. Which is smaller: y or c?
c
Let u = -10 + 13. Let v be 2/u + 115/(-15). Is -8 less than v?
True
Let c be (-2)/(-9) - (-249)/(-27). Let t(k) = -k**2 - k + 7. Let r be t(0). Let s = r + c. Which is smaller: s or 1?
s
Let b(a) = -a**2 - 14*a - 17. Let t be b(-12). Let w = t + -4. Is w greater than or equal to 3?
True
Let k be 6/(-14) - (-15)/35. Let h be 6/16*(-2)/(-6). Is k not equal to h?
True
Suppose 5 = -4*p + 13. Is 2 >= p?
True
Let v = 8 - 26/3. Is 0 bigger than v?
True
Let d = -94 - -114. Is 20 less than d?
False
Suppose 3*o + i + 15 = 4*i, -4*o + 2*i = 12. Let z be (-1)/11*13 - o. Which is greater: 1 or z?
1
Let z be 2/(-4) + (-12)/(-56). Is z > -1/7?
False
Let d be (-3)/6 + (-289)/(-586). Let k = d + 889/1465. Which is bigger: 0 or k?
k
Let n(d) = d**3 - 7*d**2 + 3*d - 13. Let k be n(7). Is 8 != k?
False
Let s(i) = -2*i**2 + 27*i - 3. Let h be s(14). Is h <= -17?
True
Suppose -25 = 5*h, 3*l - l + 32 = -2*h. Is l > -7?
False
Suppose 111 = 2*p + p. Suppose -2*k = p - 13. Is -13 > k?
False
Let k = 17 - 155/9. Let z = 1 + -1. Suppose z*p = -2*p. Which is bigger: k or p?
p
Let j = -6.9 - -6.8. Which is smaller: -7 or j?
-7
Let n(l) = -l + 5. Let t = -3 + 8. Let q be n(t). Which is bigger: 2/9 or q?
2/9
Let y(b) = -5*b**3 + b + 1. Let v be y(-1). Suppose 2*w + q = v, 3*q + 0 = -3. Let t = w - 9. Is t >= -6?
True
Suppose 7 - 1 = y. Do y and 5 have different values?
True
Let k = -1 + 1. Suppose -u - 4 = -5*u. Which is smaller: u or k?
k
Suppose 0 = 3*r + 6 - 15. Let d be 1/(-2) - (-11)/2. Let o = r - d. Is o > -2?
False
Let f be 18/8 - (-7)/(-28). Suppose -f*r = -15 + 5. Let a = r + -4. Is a smaller than -1?
False
Suppose -3*g - 2*g + 45 = 0. Let m = g - 17. Which is greater: m or -9?
m
Let q = 1/22 + 19/66. Are -0.3 and q non-equal?
True
Let w = -15 + 14.92. Let b = w + -0.12. Is 1 <= b?
False
Let f = -99/5 - -19. Is f at most -2?
False
Let m = 63 - 46. Are 3 and m non-equal?
True
Let w be (13/4 - (-3 + -1))/(-1). Which is bigger: -7 or w?
-7
Suppose -5*y + 15 = 3*t, 0 = y + 3*t + t - 3. Let o be 18 + (-4 - (0 + -2)). Suppose n + o = -y*n. Is n greater than -4?
False
Suppose -10*s + 26 = 6. Which is greater: -0.08 or s?
s
Let i = 5515 - 5604.02. Let c = i + 93. Let a = c - -0.02. Is 1/2 greater than a?
False
Let d = 1.1 + -0.5. Let g = 0.7 - d. Which is bigger: 3 or g?
3
Let q = -4 + 3. Which is greater: 4/9 or q?
4/9
Suppose -4 = -5*x + 2*u + 53, -20 = -5*u. Let l be (1*-1)/((-2)/(-18)). Let b = l + x. Is 3 < b?
True
Let f be 10/4*(3 - 57/21). Suppose 6 = 5*a - 4. Do f and a have the same value?
False
Let v = -0.13 + -0.27. Is v > 1?
False
Let u = -0.2 + 1.2. Let x = 0.13 - -0.77. Let b = u - x. Which is greater: b or 2/7?
2/7
Let m = -21 + 25. Let o = 1 - 0. Let r = m - o. Are r and 4 nonequal?
True
Let d = -2/309 + 1346/16995. Is d >= -1?
True
Let g = -20513558/21 + 2891468/3. Let m = -13077 - g. Let f = 63 + m. Is 0 smaller than f?
False
Let t(r) = -r**3 - r - 2. Let j be t(0). Let y be ((-2)/(-6))/(1/(-3)). Which is smaller: j or y?
j
Let t be (-4)/(-1) + (-56)/15. Is 1 >= t?
True
Suppose -6*n - 3*f = -n - 48, -4*n + f = -52. Suppose -5*y = -y + n. Let m = y - -3. Is m <= 1?
True
Let l = 3 + -3. Suppose 5*j + 19 - 109 = 0. Suppose 0 = -3*m - 4*t + j, 5*m - 3*m - 4*t + 8 = l. Is 1/2 equal to m?
False
Let h = -1.86 + 2. Let l = h + -2.94. Let b = -3 - l. Which is greater: b or 1/4?
1/4
Let c = 18.3 + -18.36. Is 18 <= c?
False
Suppose -v = w + 6, -16 = -5*v + v + 4*w. Let q be v/1 + (-11)/2. Let y = q - -6. Is 0 greater than or equal to y?
True
Let o(q) = q**3 + 5*q**2 - q - 6. Suppose 0 = -2*b - 8 - 2. Let p be o(b). Is -3/2 greater than p?
False
Let n = 5.86 - -0.14. Let h = n + -5.9. Which is greater: 0.02 or h?
h
Let c(p) = -p**2 - 3*