(h) = -h**3 - 8*h**2 + 3. Let s be v(-8). Suppose 3*o - 6*o + 3*k + 15 = 0, o - s*k - 11 = 0. Suppose -7*c = -o*c - 5. Which is smaller: c or 1/17?
1/17
Let q be (-44)/(-11)*(-7)/2. Which is smaller: -15 or q?
-15
Let n = -33 + 46. Is n < 12?
False
Let q = -0.09 - 6.91. Let a = -2 + 3. Is a < q?
False
Suppose -3*x + 4 = -2. Let b(r) = r**x + 2*r + 2*r**2 - r**2 - 2 - r**2. Let d be b(-4). Is d <= 5?
False
Let q(s) = s**2 - 3*s - 4. Let f be q(4). Let y(i) be the second derivative of i**4/12 - i**3/6 - 3*i**2/2 + 2*i. Let g be y(0). Which is smaller: f or g?
g
Suppose 0 = 11*c - 12*c - 3. Is -28/11 < c?
False
Let w = 14 + -14.3. Let h = 0.3 - -0.2. Let l = w + h. Is -1 at most l?
True
Suppose -2*q = 2*q. Which is smaller: q or 4/9?
q
Suppose 1 = -3*j + 7, 30 = 5*a - 5*j. Suppose 1 = 2*w - 5. Suppose -v - a = w*v. Is -1 at most v?
False
Let g be 1/(1 - (-1)/(-2)). Suppose -g = -2*r + 4. Is 2 > r?
False
Suppose 5*f = -k - 4*k + 50, -f = -2*k + 29. Let o be (k + -10)*(-11)/15. Which is smaller: -3 or o?
-3
Let i be ((-3)/55)/3 - 5/(-25). Does -1 = i?
False
Let x be 18/(-7) + 4 + -1. Suppose 2*a = -3*g, -a - 1 = -2*g - 2*a. Suppose -3 + 1 = g*u - 4*w, 3*w = 2*u + 1. Which is smaller: x or u?
x
Let i = 5.8 + -8. Let u = i - -0.2. Let f = 2 + u. Which is smaller: f or 0.05?
f
Let m = -36 - -43. Is 2/3 bigger than m?
False
Let g(l) = -l**3 - 6*l**2 + 8*l + 3. Let a be g(-7). Let n be -3 - a - 4/7. Are 1 and n nonequal?
True
Suppose 16 = 11*f - 39. Suppose s = -4*s + 30. Is s less than or equal to f?
False
Suppose 3*x = 2*v - 42, 0 = 2*v - 2*x + 3*x - 26. Suppose -v = 2*o - 5*o. Let n = 4 - o. Is n less than -1?
False
Let s be (-1)/((-7)/2 - -3). Suppose 3*y + 73 = -5*l + s*y, 5*l = 4*y - 83. Let t = l - -11. Which is bigger: t or -5?
t
Let i be ((5 - 3)/16)/(9/(-18)). Which is smaller: -10 or i?
-10
Let m be 26/8 + (-1)/4. Suppose 0 = -2*l - f - f + 14, 0 = -m*l - 5*f + 31. Suppose l*j + 3*q - 7 = 0, q = -3*j + 7*j + 7. Is 0 smaller than j?
False
Suppose 0 = 5*b - 3*y - 78 + 29, -44 = -4*b + 4*y. Let i be (-11)/12 + (-2)/b. Which is bigger: i or 0?
0
Suppose 0 = -5*o + 2*w + 8, 0*w = -5*o - w + 11. Let k = 4 + -4.06. Let b = k + -0.04. Is o < b?
False
Let b(h) = h**3 - 4*h**2 - 3*h + 1. Let d be b(5). Suppose -d = -3*r + 52. Let t be ((-2)/r - 0)*3. Which is greater: t or -6?
t
Let g(f) = -3 - f**2 + 1 - 8*f + 2*f. Let o be g(-6). Do o and -2 have the same value?
True
Let v = -4 + 3. Let b(d) = d**2 + 2*d + 2. Let s be b(-2). Let g be s/(-3) - (-4)/9. Which is greater: v or g?
g
Let f(j) = -j + 7. Let r be f(7). Suppose -5*b + w - 19 = -10*b, -5*w = 4*b - 11. Suppose 4*h - 4 = b. Do r and h have the same value?
False
Suppose 0 = f - 2*f - 2. Let z(k) = -k**3 - 5*k**2 + 5*k - 5. Let b be z(-6). Which is smaller: b or f?
f
Suppose 0 = 5*f - 3*l, l + 0*l = -4*f. Let m(n) = n + 5*n**2 - 5 + n**2 - n**3 + f*n**2. Let p be m(6). Which is smaller: 3 or p?
p
Let i(c) = -c**3 + 14*c**2 - 13*c + 2. Let y be i(13). Let r be 35/90 + y/(-4). Is r bigger than 3?
False
Let a(v) = -v**3 - 14*v**2 + v + 20. Let y be a(-14). Let q(d) = d**3 - 7*d**2 + 6*d + 6. Let r be q(6). Suppose -4*c - y = -r*c. Which is smaller: 1 or c?
1
Let f = 0 + 1. Let k = f - -1. Let m = 1.1 + -1.2. Is k >= m?
True
Let z(q) = -q**3 + 5*q**2 + 8*q - 9. Let i be z(6). Suppose -13 = -4*p + 5*l, i*p + 2*l - 7 = 3*l. Suppose 4 = -p*w - 2*w. Is w smaller than 1?
True
Let p be 4/14 + 12/7. Suppose -p*g = -5*a + 99, 3*a + 5*g + 69 = 7*a. Suppose 3*y = -5*b + 19, -2*b - b = -3*y - a. Which is bigger: y or -1?
-1
Let o = -9.07 + 0.07. Is -2 at least o?
True
Let g = 297481/29 - 10259. Let y = -235/87 - g. Which is smaller: -2 or y?
-2
Suppose -3*b + 3*c = -12, c = -3*b - c + 22. Which is smaller: 7 or b?
b
Suppose 42 = n + 2*n. Let m be (1/(-10))/(n/(-35)). Is m greater than 0?
True
Let u(n) = -n**2 + n - 1. Let m be u(2). Let x be (3/(-6))/(m/(-54)). Let o be 5*(-1 - x/15). Is o smaller than -2?
False
Let m be (-1 - -2)/((-411)/(-6)). Which is greater: -1 or m?
m
Suppose 10*s - 5*s = -y + 26, 30 = 3*s - 3*y. Let x(q) = -2*q - 10. Let w be x(-7). Let d = s - w. Which is greater: d or 3?
3
Let u be (-1)/(-1 + (-3)/(-2)). Let m be 1/u + 2 - -1. Is 2 > m?
False
Let k = -3.8 + 4. Let b = -64/77 - -6/11. Which is bigger: b or k?
k
Let d(v) = 3*v**3 - 2*v**2 + 1. Let h be d(1). Let k be 2*(-4)/h - -5. Is k bigger than 1?
False
Let z be 26/65 + (-136)/(-10). Is z equal to 14?
True
Let r = 0.9 - 0.9. Let j = 480/4991 - 2/217. Does j = r?
False
Let x = 14 - 14.1. Suppose -z + 3*o + 12 = 0, -z - z = 2*o + 16. Do x and z have the same value?
False
Let a(c) = c**3 - 6*c**2 + 3*c - 8. Let s be a(6). Let r = s - 39/4. Let v(b) = b**2 - b - 1. Let l be v(-1). Which is greater: r or l?
l
Suppose 3*u - 5 = 28. Let d = u - 7. Which is smaller: 6 or d?
d
Let n be 9 - 7 - (1 - 4). Let v be n/20 + -2 + 2. Which is smaller: 2 or v?
v
Let b = 1 - 3. Let f be b*2/(-14 + 2). Is 0 greater than or equal to f?
False
Let a(q) = q**3 - 3*q**2 + 2*q + 2. Let u be a(3). Let g be (-26)/u + 3/12. Do 2/9 and g have the same value?
False
Let t be 3/1 + 7 + 3. Which is smaller: 23/2 or t?
23/2
Let v(b) = b**2 + 7*b + 2. Let t be v(-7). Let l(k) = -k**2 + 8*k - 9. Let d be l(6). Is d greater than or equal to t?
True
Let f be (33 - 12) + (-1 - 0). Is 0 at least as big as f?
False
Suppose 2*m = -m + 9. Suppose -j = -m*j + 6. Is 3 less than j?
False
Let r be -3 + (33/(-6) + 4)*26. Is r > -44?
True
Let i(z) = 5 - z**3 + 3*z - 3*z - 3*z**2 - 4. Let y be i(-3). Which is smaller: -2 or y?
-2
Let n = 5478428 - 27291102/5. Let w = n - 20081. Let b = -127 + w. Is -0.1 != b?
True
Let n(o) = -o + 1. Suppose 5*c + 2 = -3*r, 2*r - 3*c + 26 = -3*r. Let l be n(r). Suppose -15 = -l*f + 25. Are 8 and f equal?
True
Let a be 3/18 - ((-25)/30 - -1). Which is greater: a or 1/5?
1/5
Let r(x) = -4*x - 5. Let s be r(-5). Let c be (2/s)/(9/(-5)). Which is smaller: c or -1?
-1
Suppose 0 = -6*q + q + 10. Suppose c = -5*a + a - 14, 10 = -q*c - 2*a. Let g = 2 + -2. Is g < c?
False
Let r = -17 - -3. Let p be (-4)/(-6)*(-6)/r. Which is bigger: 1 or p?
1
Let q = -1/451 + 87/2255. Which is bigger: 0 or q?
q
Let w = 2.6 + -3. Let c = -4 + 3.7. Let t = c - w. Which is smaller: t or 0?
0
Let v be (-20)/(-92)*2/5. Let w = -31/92 + v. Suppose 16 = u - 4*z, -5*u - 2*z - 3 = 5. Is w less than u?
True
Let b(m) = m**2 + 2*m + 2. Let t(o) = o**3 - 2*o**2 - 2*o + 2. Let s be t(2). Let j be b(s). Is 2 at most j?
True
Let g(h) = 7*h**2 - 13*h - 1. Let i be g(2). Is i <= 2/245?
False
Let o = 415 + -638. Let n = 176988 - 1594897/9. Let c = o - n. Is 0 smaller than c?
False
Suppose 0*g + 4*g - 8 = 0. Which is greater: g or 3?
3
Let d = 12 - 9. Which is greater: 13/5 or d?
d
Let q = -57 + 67. Is q smaller than 11?
True
Let p(y) = y. Let q be p(-2). Which is smaller: 4 or q?
q
Let w = -3 - -5. Let l(n) = -n - 1 + 3 + 8*n + n**w. Let o be l(-7). Is 1 less than o?
True
Let x = 9 + -3. Let t = -4 + x. Is t less than 0?
False
Suppose 2*h - b - 4 = -0, 0 = -3*h - b + 11. Let k = h + -1. Suppose -c = 4*c - 5. Which is smaller: c or k?
c
Let y = 2.94 - 3. Is 2 smaller than y?
False
Let o = 9 + -10.6. Which is bigger: 0.1 or o?
0.1
Let o = 0 - -0.5. Let j = 0.3 - o. Does j = 0.1?
False
Let p be (-3)/(-3)*(-1 + 3). Suppose -p = d - 2*d. Is d less than -2?
False
Let n be ((-20)/24)/((-3)/18). Suppose 5 + 0 = n*v. Let w(c) = 2*c. Let z be w(1). Is z at least as big as v?
True
Let j = 6 - 5.8. Are j and 1/4 nonequal?
True
Suppose 3*x - 5*x = 0. Let r be (x - -8)*5/10. Suppose -3 = r*g + 1. Which is bigger: g or -2/9?
-2/9
Let m = 36 + -36. Which is smaller: m or 4?
m
Let n = -16 + 19. Suppose 4*j + 5*s = -14, n*j + 1 = s - 0. Is j > 1/13?
False
Suppose 3*r + 5*l = -27, -r + 2*l - 3*l - 9 = 0. Let w be r*((-20)/12 - -1). Is 6 equal to w?
True
Let t = 16/9 - 94/63. Which is greater: -11 or t?
t
Suppose 2*s - d + 1 = 21, -4*d = 4*s - 16. Let r = s - 7. Suppose 4*z + 4*p - 2 = 3*p, -9 = -3*z + 3*p. Is r at least as big as z?
True
Let d = -541/119 - -31/7. Suppose -y - 2*y - 3 = 0. Are y and d nonequal?
True
Let k = 19 + -20. Which is smaller: -4/19 or k?
k
Let t(d) = 5*d + 2. Let z be t(-1). Let w = -49 + 82. Suppose -2*u - b = -0*u - 1, 5*b - w = 4*u. Are u and z unequal?
True
Let g = 23 + -22. Which