19 - 8.81. Let d = h + 16. Which is bigger: 0 or d?
d
Let f = 17 + -12. Let n = -45 + 50. Suppose n = -f*b - w, 2*b - 25 = -2*w + 7*w. Which is smaller: 4/9 or b?
b
Let o(l) = -l**3 - 13*l**2 + 13*l - 17. Let k be o(-14). Is k greater than or equal to -3?
True
Let p be 24/(-14) + (-2)/7. Let v(o) be the first derivative of o**4/4 + o**3 + o**2 - o - 4. Let c be v(p). Which is greater: c or -1/6?
-1/6
Let w = 2 - 2. Let z be (w - 3)/(1 - 0). Let b = -16 - -12. Are z and b nonequal?
True
Suppose -3*d = -4*i + 2*d + 59, -4*d - 28 = -2*i. Let w = 81/5 - i. Which is smaller: w or 0?
0
Let j(w) = -w**3 - 8*w**2 - w - 7. Let y be j(-8). Which is bigger: 2/53 or y?
y
Suppose -6*r = -3*r - 6. Suppose -4*p - 14 = 3*g - 2*p, -r*p = -g + 6. Which is smaller: -3 or g?
-3
Let s = -515/1098 - -3/122. Suppose 4*f + 15 = 5*g - 5, 5*g = -4*f + 20. Does s = f?
False
Suppose -5*y + 8 = -4*d, 27 = 3*y + d + 4*d. Which is smaller: y or 21/8?
21/8
Let q = 11 + -8. Suppose 2*j + 2*f + 6 = 0, 3*j = q*f + 4 - 1. Is 2/15 smaller than j?
False
Let o be 4 + (2 - 1 - 1). Suppose -8*k + 20 = -3*k. Is k < o?
False
Let q(x) = x**2 - 3*x - 5. Let b(m) be the second derivative of m**4/12 - 2*m**3/3 - m**2/2 + 2*m. Let f be b(5). Let g be q(f). Which is greater: -5/6 or g?
-5/6
Suppose 5*b + 2*l = 4*b + 2, -l = -5*b + 10. Is -1 bigger than b?
False
Suppose 3*z + 5*u = -z - 71, 4*z - 2*u + 78 = 0. Is -19 > z?
False
Let k(p) = -4*p**3 + 2*p + 1. Let m be k(-1). Suppose m*b + 7 - 4 = 0. Let x = b - -1. Which is smaller: 2/11 or x?
x
Let f = -90 - -632/7. Let m = -21/34 - -2/17. Is m not equal to f?
True
Let i be (-1)/((-4)/48*-4). Which is smaller: -4 or i?
-4
Let n be 98/(-2 - 0 - -11). Let h = -650/63 + n. Is h less than 2?
True
Let x be (-6)/(-416)*2364/81. Let n = x - 17/36. Does 1 = n?
False
Let w(y) = -y**2 + 9*y - 9. Let p be w(8). Let t = p + 1. Is t greater than -3/19?
True
Suppose 5*c = 2*c + 2*y + 27, c + 5*y - 9 = 0. Let o(t) = -t**2 + 10*t + 1. Let u be o(c). Which is smaller: u or 11?
u
Let g = 36 - 44. Which is bigger: g or -20/3?
-20/3
Suppose -2*v - 4*h - 612 = 3*v, -15 = 5*h. Let t be (-10)/v*6/4. Is t less than -1?
False
Let q = 106 - 78. Which is greater: q or 30?
30
Suppose 2*r = 4*g + 6, 5*r = -2*g + 4*g + 15. Let l be g + 2 + -2 + 0. Is 2 < l?
False
Let i be -2 - (4 + -6*(-24)/(-26)). Which is smaller: i or -1?
-1
Let f = 0.03 + 0.17. Which is greater: f or -2/3?
f
Let j be (-2)/(-10) + (-12)/(-15). Let y be ((-1)/30)/(j/(-4)). Which is greater: y or 0?
y
Let y be 648/(-105)*15/(-6). Let h = 104/7 - y. Which is smaller: h or -1?
-1
Let i be (-30)/(-50)*8/(-3). Is i smaller than -3?
False
Let l = 11920/9 - 1326. Is l at most -3?
False
Let g = -121/42 + 19/7. Is 1 at least as big as g?
True
Let z = -0.2 - -0.3. Suppose -2*i = 2*i - 588. Let x be (-91)/i - 1/(-3). Which is bigger: x or z?
z
Let k = -15 - -9. Let q be -6 - 1 - 0/k. Which is smaller: -8 or q?
-8
Suppose -z = 4*z - 5*b - 35, 0 = z - 3*b - 17. Which is bigger: 12/19 or z?
z
Suppose -3*r + 24 = 3*l - 0*r, 0 = -3*r. Which is smaller: l or 6?
6
Let d = -16 + 14. Which is smaller: d or -8/5?
d
Let i = 2 - 1. Suppose f + i = -3. Is f at least -3?
False
Let l = 9 - 11. Let m = 2 + l. Let u be 10/12 - (2 - 1). Is m greater than u?
True
Let k(t) = t**3 + 14*t**2 + 3*t + 7. Let a be k(-14). Is a <= -36?
False
Let t = -5.6 - -5. Let g = t + 1.3. Let f = g - -0.3. Is f less than 1?
False
Suppose -n = 3*z + 38, -3*n - n - 8 = 0. Let u be (-2)/(-102)*z/(-10). Which is smaller: u or -1?
-1
Let o = -11 - -12. Let h be -1*2/(-34)*-1. Are h and o non-equal?
True
Let k = -74444/11 + 48167028/7117. Let z = k - 40457/291797. Let i = -3/41 - z. Which is bigger: 1 or i?
1
Let k = -23 + 8. Which is smaller: k or -14?
k
Let g be (2 + (-1 - 0))*0. Let m = 5553 + -3281822/591. Let p = 389/2955 + m. Which is bigger: p or g?
p
Let x(t) = -t**3 + 7*t**2 - 6*t - 4. Let o be x(6). Let a be (5/(-10))/(2/o). Let h = a - -4. Is h < 5?
False
Let v = 53 - 47. Let x(a) = 6*a. Let m be x(1). Is v at least m?
True
Let c = -15 + 22. Let y = 13 - c. Which is greater: 2 or y?
y
Let j be -2*-3*28/72. Which is greater: 2 or j?
j
Let o be 4/14 + 44/42. Let g(q) = -2*q + 12. Let s be g(6). Is s greater than o?
False
Let q be 5*(-3)/(-10)*2. Let a be q/252 - (-12)/(-28). Is a < 1?
True
Suppose 0 = 15*k - 11*k. Suppose -4*y - 5*f + 25 = 0, k*f + 25 = 5*f. Which is bigger: y or -4?
y
Let p(u) = u + 2. Let o = -3 - -3. Let d be p(o). Let l = 4 - d. Is l at most as big as 1/2?
False
Let n(l) = l**2 + 6. Let k be n(6). Are k and 41 equal?
False
Let v be (3 - (2 + 1))/(-1). Let k(g) = -g**2 + 7*g - 6. Let i = -7 + 13. Let t be k(i). Is t bigger than v?
False
Let z = 3 - 5. Let p = -20.48 - -2.58. Let c = -18 - p. Is z greater than c?
False
Let k = 7/53 + 82/583. Let g = -2 - -1. Which is greater: k or g?
k
Let l(y) = -y**3 + 6*y**2 + 8*y - 4. Suppose -2*z - 4*x = 3*z - 19, 0 = -2*z - 5*x - 6. Let i be l(z). Which is bigger: i or 2?
i
Suppose -m - 2 = -5. Let g be -1 - m/(1 - 4). Which is greater: -1/23 or g?
g
Let s = -14 - 3. Which is greater: s or -16?
-16
Suppose 5*z + g + 2*g = 29, 13 = z + 3*g. Is z at least as big as 8?
False
Let r(o) = o**3 + o**2 - 2*o - 6. Let w be r(-4). Is w greater than -47?
True
Suppose -2*i - 3 = x, -4*x - 26 = 4*i - 10. Suppose -4*p + 4 = -4*n, i + 0 = p. Suppose 4*o - 4 = 0, -h + o + 1 = 2*o. Is h >= n?
True
Suppose 0 = -4*d - 0 - 4. Let y be 1/(-3)*(-2 + -1). Let v = -4 + y. Is d at most as big as v?
False
Let y = -7 + 9. Let p be 32/30 - y/3. Is -2 equal to p?
False
Suppose 14*g = 8*g + 144. Is 25 at most as big as g?
False
Let i = 18 + 74. Which is smaller: i or 93?
i
Suppose 0 = -u + 6*u + 5. Let h be (3/3*-1)/u. Is h >= 2?
False
Let r be (-2 + 2)/((-12)/(-4)). Suppose 0 = x + x + m - 1, -5*x - m + 4 = r. Is x greater than 1?
False
Suppose 3*m + 66 = 3*s + 12, 0 = -5*s + 10. Let a be ((-2)/4)/(8/m). Which is smaller: 1/26 or a?
1/26
Suppose 6 = -2*l - l. Let h be 0*1/2*l. Let j = 9517/19 - 501. Which is bigger: j or h?
h
Let g = 22.6 - -3.4. Which is greater: 1/3 or g?
g
Let o = 4 + -6. Let g(c) = 2*c**3 + 3*c**2 + 3*c + 1. Let i be g(o). Let v be i/6*4/3. Is -3 smaller than v?
True
Let h = 227/29212 + -7/268. Is h > 1?
False
Let q = -3736/943 - -90/23. Which is bigger: q or 1?
1
Let x(j) = 10*j + 1. Let b(v) = -v. Let s(h) = -4*b(h) - x(h). Let z be s(-1). Is 5 <= z?
True
Suppose -4*z = -4*d - 0*d + 12, 2*d - 6 = 0. Let c = 37 + -36. Does c = z?
False
Let k = -6388/30595 + 2/1055. Let i = 65/174 + k. Suppose -a - 7 = -8. Which is bigger: i or a?
a
Let s = 156 - 111. Let i be 10/s - (-14)/18. Are 1 and i non-equal?
False
Suppose s + 2*r - 8 + 1 = 0, 5*r - 15 = 0. Suppose 6 = 5*b - 2*b. Is b less than s?
False
Let x = 3 + -4. Let n = 1.1 + x. Suppose 0 = h + m + 9, 4*h + m + 1 = 5*h. Which is smaller: h or n?
h
Suppose 0*g - 4*g = -16. Does 5 = g?
False
Let l = 33.07 - 33. Which is smaller: l or -3?
-3
Let n be -1*(0 - -2) + 4. Suppose 0 = -3*f + n*f + 3. Suppose -2*x - 4*o = -2*o, -2*x = 5*o + f. Is 0 greater than or equal to x?
False
Suppose 2*w - 3 = -s + 3*w, s + 2*w - 3 = 0. Which is greater: 1 or s?
s
Let o = -5275/502 - -2/251. Do -10 and o have different values?
True
Let i be (360/64)/(0 + -1 + -2). Which is greater: i or -2?
i
Suppose -2*g + 26 = 5*m, -4*m + 20 = -2*m + 4*g. Are m and -0.1 non-equal?
True
Let z = 3.2 - -0.8. Let x = z + -4.1. Which is greater: x or 2?
2
Let a = -8 - -2. Let k = a + 4. Is -6 at most k?
True
Suppose i + 4*o - 2 = -0, -6 = 4*i + 2*o. Let w be (0 + (i - -3))*1. Let l be ((-2)/(-3))/(15/9). Which is smaller: l or w?
l
Suppose -5*s - o - 8 = o, 4*o = 2*s + 8. Let a be 1/1 - (-2)/s. Is -1 >= a?
False
Let m(j) = -j**3 - 8*j**2 + 24*j + 35. Let d be m(-10). Which is bigger: -3 or d?
-3
Let x(p) = p + 3. Let q be x(-1). Let k = 1 + -1. Let d = 0 - k. Which is smaller: d or q?
d
Let o = 0.39 + 0.01. Let p = o - -0.4. Let j = 4.8 - p. Is j at least as big as 0.1?
True
Suppose 0*i - 150 = -5*i. Let b be (1/33)/(i/(-1044)). Let h = -16/11 - b. Which is smaller: h or 0?
h
Let v = 5 + -8. Suppose -2*y - 7 = 1. Are y and v nonequal?
True
Let s = -5.95 - 0.05. Let n = 6 + s. Is n greater than -1?
True
Let q = -9 + 9. Suppose 5*y = 2*c + 37, 3*y + 3*c = -q*y + 18. Let z = y - 10. Are -3 