-2 - -5. Suppose -c*w + 4*w + 3*h = -12, -3*w = 3*h + 6. Let m(d) = -d**3 + 2*d**2 + d. Let y be m(-1). Is y less than w?
True
Let l(y) = -4*y - 3. Let h be l(-3). Suppose i = 5 - 0, -2*x + h = -i. Suppose w - 3 - 1 = 5*d, -w - 5 = 4*d. Which is greater: w or x?
x
Let r = -10.84 - -11. Which is bigger: r or -2?
r
Let h(n) = -n**3 + 2*n**2 + 2*n - 9 + 4*n**2 - 4. Let s(b) = -b**3 + 7*b**2 + 2*b - 13. Let x(g) = 2*h(g) - 3*s(g). Let j be x(9). Which is greater: j or -4?
-4
Let k = 2 + 8. Suppose -v - k = -6*v. Let n(o) = o - 1. Let s be n(v). Is s at most -1/4?
False
Let l(h) = -h**3 + 2*h - 1. Let k be l(1). Suppose 0 = -3*d + 2*v, 5*d = -2*v + 2 + 14. Suppose 2 = z, 2*z = d*x - 0*x. Is x greater than k?
True
Let v(i) be the third derivative of -i**6/120 + i**4/24 + i**3/6 - 3*i**2. Let h be v(-1). Let j = -22/35 - -3/7. Which is smaller: h or j?
j
Let b = 57 - 27. Let o be b/(-105) + (-24)/(-35). Which is bigger: o or 0.7?
0.7
Let t(b) = b**3 + 9*b**2 + 7*b - 6. Let i be t(-8). Suppose i + 8 = 5*p + c, -p - 19 = -4*c. Let k = 2 + -4. Is p smaller than k?
False
Let w(m) be the third derivative of -m**6/120 + m**5/10 - 5*m**4/24 + m**2. Let a be w(5). Is a at least 0.2?
False
Suppose 4*h + h - h = 0. Which is smaller: 0.19 or h?
h
Suppose 8 = -2*y + 6*y. Suppose -4*x + 3*n - 16 = -n, -x + 2 = y*n. Suppose -3*z - 7 = -2*k, -2*z - 14 = -0*k + k. Is x less than z?
False
Let u = 3 - 4. Let a be -4 - -7 - 252/77. Which is greater: u or a?
a
Let t(h) = -6*h - 3. Let j be t(14). Is -87 != j?
False
Let s be (-8 + 2)/(270/(-40)). Which is smaller: 0 or s?
0
Let k = 131 + -130. Let r be 4/14 + (-27)/21. Which is smaller: r or k?
r
Let c = 11 - 6. Suppose -c*z = -2*z + 9. Let f be (-1 + 4)/((-6)/4). Is f bigger than z?
True
Let o = -54 + 56. Which is smaller: o or -0.9?
-0.9
Let a be 1 + (-51)/(-24) + -3. Let w(n) = 2*n**3 - 2*n + 1. Let t be w(1). Let m = 2 - t. Is a != m?
True
Let q = -1 - 14. Let v = -14.6 - q. Which is smaller: -2/5 or v?
-2/5
Let s(k) = -k + 6. Let m be s(-7). Suppose 11*i - 4 = m*i. Which is greater: i or -2/3?
-2/3
Let b be 1/(5/6 - 1). Let h(y) = -y - 4. Let o be h(b). Suppose -24 = -4*s - 3*q - o*q, 3*s - 15 = -3*q. Is s <= 0?
False
Let h be (2/26)/((-9)/18). Suppose 4*d - 5*d = 0. Is d > h?
True
Let s = -255521/2805 - -1002/11. Is s not equal to 1?
True
Let c = -2.1 + 0.1. Let h = -1 - c. Which is smaller: h or 1/3?
1/3
Let g be (-4)/((-204)/(-87)) + (-2 - -3). Is -2 equal to g?
False
Suppose -4*q + 4*o = 12, -2*q + 0*o = 3*o + 1. Which is greater: -4 or q?
q
Let b be (0 - 1)/(2/6). Suppose 2*x - 2 = 2. Suppose -i = x*n + 8, 18 = -n - 4*i - 0. Which is greater: b or n?
n
Let v = 0.3 - 0.3. Let u = 0.2 - v. Let r = u + 0.8. Is 1 at least r?
True
Suppose 0 = -3*j - 5*a - 10, -a + 12 = 3*j + 2. Suppose 0 = 2*z - j + 9. Suppose 3*f - 7*f - 4 = 0. Which is bigger: f or z?
f
Let x(s) = -s**3 - 3*s**2 + 3*s - 3. Let n be x(-4). Let w be (761/(-714))/1 - -1. Let o = w + -1/34. Is n greater than or equal to o?
True
Suppose -3*l - 26 = -8. Is l >= -6?
True
Suppose -s + 19 = 14. Which is greater: 6 or s?
6
Let s = 7875/16 - 492. Which is greater: -1 or s?
s
Let u = -41 + 207/5. Let p be (-5)/(-3)*(-4)/10. Which is greater: u or p?
u
Let g be (-4)/1 + -3 + 3. Let m be ((-2)/(-9))/(g/(-9)). Let v = -1 + 0. Is v at most m?
True
Let i = 74 + -73.96. Is i != 0?
True
Let r be (12/24)/(1/122). Which is smaller: 60 or r?
60
Let j = -5.6 + 6. Let h be 9/6 - (-10)/(-4). Let n be 16/30 + h/5. Is n smaller than j?
True
Let d be 41*-3 - (-8)/(-8). Let j = d + 622/5. Is j less than 1?
True
Let p = 79/117 + -3/13. Which is smaller: 1 or p?
p
Let j = -99 - -1385/14. Let t = -16 - -17. Are j and t non-equal?
True
Let o(r) be the second derivative of r**3/3 - 2*r. Let t be o(2). Suppose 4*s - 2*v = -v + 12, 2*v = -t*s. Does 3 = s?
False
Let l = -0.5 + 0.5. Let n = -54 + 37. Which is smaller: l or n?
n
Let r = -20737/1645 + 2/329. Which is greater: -14 or r?
r
Suppose 2*b = -b + 15. Suppose 0 = -5*r - b - 10, 0 = 2*s - r - 11. Suppose 3*t + 3*w - 12 = 0, 2*t + s*w - 11 = -w. Is t >= 2?
True
Suppose -2 = s, -17*s = -4*m - 12*s + 26. Which is smaller: 6 or m?
m
Let z be (-8)/(-14) + 1488/(-2800). Which is bigger: 1 or z?
1
Let p = 8 + -16. Are 1 and p non-equal?
True
Let v = -12.9 - -13. Let o = 0.02 - 0.05. Which is smaller: o or v?
o
Let g be (-1 - 1)/(-1 + -1). Suppose p + 1 = -2*a - 2*p, 5*a = 4*p + 9. Is g at least a?
True
Let p = -12.31 - -0.31. Let q = -7 - p. Let g = q + -4. Which is smaller: 3/10 or g?
3/10
Let h be -10 - (5 + -2) - (0 + 1). Which is smaller: h or -17?
-17
Let x(f) = -f**3 + 5*f**2 - f + 7. Let c be x(5). Let k = 1 + 0. Let n be (-5 - -6) + k/2. Which is smaller: c or n?
n
Let v(x) = 56*x**3 + x**2 - x + 1. Let w be v(1). Suppose -5*d + 8 = -3*r - w, -2*d = -2*r - 30. Which is bigger: d or 11?
11
Let o be -6 - -3 - (-3 + 15). Suppose -5*v + 2*v = 45. Is v bigger than o?
False
Let w = 1.1 + -0.1. Let x = w + -1.1. Let y = -1 - -1.1. Which is bigger: y or x?
y
Suppose 0 = 4*m + 20, 0 = 2*w - 6*w + 4*m + 24. Let f be w/(3 + 0) + -1. Let x be (1 + 2)/(6/(-4)). Is x at least as big as f?
False
Suppose 0 = -3*r - 3*s + 24, -5*r - s = -18 - 18. Suppose -2*x - r = 5*g - 2*g, 5*x = -g - 24. Which is smaller: g or 2/11?
2/11
Suppose 3*g = -39 - 18. Is g greater than or equal to -19?
True
Let n(f) = 2*f**2 - 3*f + 1. Let i be n(3). Let h be (24/i)/2*-5. Let k be ((-2)/h)/(-1 + 2). Which is smaller: k or 1?
k
Let x = -2.36 + 2.7. Let z = -0.4 + x. Let i = -0.06 - z. Is 0 less than i?
False
Let a(l) = -22*l - 3. Let j be a(-1). Which is smaller: j or 21?
j
Suppose 13*n - 40 = -14. Which is bigger: n or 5/7?
n
Suppose -4*p - 5*t - 29 = -0*t, p = -4*t - 21. Let i be 4/2 - (-4)/p. Which is bigger: i or 0?
0
Let u be (-1)/(2 - (-15)/(-6)). Let x be (-304)/306 + 2/u. Let o = x + -311/765. Are o and 1 non-equal?
True
Let q = 53172809 - 585432847/11. Let y = q - -10215670/209. Let r = -520 + y. Is -1 less than r?
True
Let r = -15 + 15. Is r >= 1/24?
False
Let r(t) = 3*t - 13. Let s be r(-3). Is s < -1?
True
Suppose -5*f - 13 = 5*o + 7, 0 = -5*o + 4*f + 7. Let x = -3/5 - o. Is x < 0.1?
False
Suppose 2*o - 10 = -0*o. Suppose -4*q = o*i - 3, 4*q + 0*q + 27 = 5*i. Let x = q + 4. Is x at least 2/17?
True
Let d = 90 + -89. Which is smaller: d or -11?
-11
Let q = -5.147 + 0.047. Let w = q + 5. Is -1/5 >= w?
False
Let c(z) = z**3 + z**2 - z - 1. Let j be c(-1). Let o be (1 - j)/(4 - 5). Are o and 4/9 nonequal?
True
Let k be ((-516)/(-33))/4 + -4. Is k at least -1?
True
Let o(g) = -2*g. Suppose 3*n - 10 = -1. Suppose -3 + 0 = n*r - 2*z, -3*z + 1 = -r. Let i be o(r). Is i greater than 0.1?
True
Let c(m) = -9*m**3 + 2*m**2 + 2*m + 1. Let d be c(-1). Suppose -5*a - 5*u = -d*a - 15, -4*u = -3*a - 9. Is a != -7/3?
True
Let u be 0*(0 + 3/(-6)). Let s(h) = -2*h + 2. Let t be s(2). Let a = u - t. Which is smaller: 1 or a?
1
Let g(p) = 16*p. Let d be g(1). Suppose 1 = -5*x + d. Is 3 > x?
False
Suppose -21 = b - 2*c, -4*b + 0*c - 80 = -4*c. Let z = 22 + b. Is 3 >= z?
True
Let g = 14 - 9. Suppose -8 = -g*w + 17, -4*w = 3*m - 2. Let o = m - -5. Is -1 smaller than o?
False
Suppose -i - 4 = 4. Let l(w) = -w**3 - 9*w**2 - 11*w - 20. Let b be l(i). Let u be (-28)/(-6) - 1/(-3). Which is bigger: b or u?
u
Let y(n) = n**3 + 10*n**2 + 9*n + 12. Let h be y(-9). Are h and 11 equal?
False
Let u = -1731/520 - -27/8. Let d = u - 163/715. Do d and 2 have the same value?
False
Suppose -4*u - 4 = -3*u, 3*u = 5*l - 52. Suppose 2*z - 2 = -d, -5*z - l = -d - 3*d. Let n = -822/5 - -165. Which is smaller: z or n?
z
Suppose -3*n + 80 = -8*n. Which is greater: n or -1/4?
-1/4
Let i = 29443/4 - 7315. Suppose -2*y = -0*a + 3*a + 83, y = -5*a - 31. Let c = i + y. Which is greater: 0 or c?
0
Let c = -1 - 0. Which is greater: -4/9 or c?
-4/9
Let k = -0.21 + 0.01. Let o = 1.1 + -0.1. Which is greater: k or o?
o
Suppose 2*x + 2*x = -5*q - 29, -5*x = -q. Let n be 2840/6 - 3/9. Let y be n/165 - (0 - -3). Are y and x equal?
False
Let w = -12 + 6. Let p = 16 + -23. Which is greater: p or w?
w
Let y = 80 - 48. Is y bigger than 0?
True
Let s be 1*5/(1 + 4). Are -6/17 and s unequal?
True
Let v be (-112)/(-342) + (-16)/72. Are -1 and v non-equal?
True
Let m(z) = 6*z**3 - z**2 - z + 1. Let n be m(1). Let u(l