97. Let f(i) = i**3 - 5*i**2 - 7*i + 7. Let o be f(6). Which is greater: o or t?
o
Let i be (-1)/((-2)/(-6)*3). Let m be -1 + (i - (-16)/10). Suppose -6 = -4*t + 2*u, 0 = 4*t + 2*u + u - 31. Which is smaller: t or m?
m
Suppose 17 - 1 = -4*f, 2*f = -5*q - 38. Let x = 9 + q. Which is bigger: x or 6?
6
Suppose -6 + 11 = 5*w. Is w < 0?
False
Let t be (-2)/11 + (-70)/(-22). Let z be 8/6*t - 2. Is 4/3 greater than z?
False
Let n = -801 + 23227/29. Which is greater: n or 4?
4
Let a(y) = y**2 - 5*y. Let z be a(5). Suppose -2 = -5*i + 3*c, 7 + 13 = -2*i - 4*c. Let d be i/9 + 77/63. Which is greater: z or d?
d
Let i = 10 + -8. Suppose 9 = g + i*g. Which is smaller: 1 or g?
1
Let z(k) = k**3 + 9*k**2 - 12*k - 18. Let p be z(-10). Which is smaller: p or -1?
-1
Let w = -5 + 5. Let u = 295/12 + -76/3. Let v = u - -1/4. Which is smaller: w or v?
v
Suppose -p = 2*p. Let j be 3 - (p - -2)*1. Which is bigger: j or -2?
j
Let i = -33 - -65/2. Let s = 3 - 2. Which is bigger: i or s?
s
Let p = 15 - 3. Let d be (2/p)/(1/(-2)). Is d bigger than -1?
True
Suppose 2*t + 0*y - 4*y - 26 = 0, t - 34 = -5*y. Let h = t - 20. Which is smaller: -5 or h?
-5
Let h be (6 + 0/1)*2. Let k = h + -7. Suppose 4 + 11 = -k*u. Which is greater: -2 or u?
-2
Let h = 14 - 15. Is -2/39 < h?
False
Suppose 38 = -9*b + 2. Let n be (0 + 2)/((-4)/6). Are n and b non-equal?
True
Let c(o) = o**2 + 3*o - 4. Suppose 12 = 5*r + s + 27, -s = 2*r + 3. Let w be c(r). Let n = 2/91 + 172/455. Which is greater: n or w?
n
Suppose -13*f + 10 = -8*f. Suppose h = -f*h. Is -4/9 greater than or equal to h?
False
Suppose -4*t = -5*o - 98 - 3, 4*o + t + 64 = 0. Is -18 smaller than o?
True
Let v(s) = -s**3 - 10*s**2 - 8*s + 8. Let z be v(-9). Let l be 6/8*16/6. Let d be ((-4)/(-48))/(l/9). Which is smaller: z or d?
z
Let b = 8 - 9.2. Is b greater than or equal to -2?
True
Let w be (-100)/3*((-198)/(-48) + -4). Which is bigger: -3 or w?
-3
Let m = 7 - 7.05. Let d = m - 0.05. Let y = 10 - 148/15. Is y less than or equal to d?
False
Let k be 3*1 - (2 - 2). Let i(l) = l**2 + 4*l - 3. Let j be i(-5). Which is smaller: j or k?
j
Suppose p + 20 = 4*l + 5*p, -4*p + 12 = -4*l. Suppose -3*n = 2*z - 5, -z - 3 + l = -3*n. Let j be z/(-5)*(0 + 2). Is 0 > j?
True
Let g = 19.63 - 18.7. Let a = g - -0.07. Let w = 4 + -3.6. Is a smaller than w?
False
Suppose 5*h - 4 - 6 = 0. Let t = h - 0. Let f be (-5)/5 - 5/(-3). Which is greater: f or t?
t
Suppose -2*w = 4 - 0. Let k = -397 - -2377/6. Which is smaller: k or w?
w
Let r = -187 + 1667/9. Let m = r + 10/9. Which is smaller: -2 or m?
-2
Let l be 10 + 1 + 1 + 3. Let i = -7 + l. Let q = 7 - i. Is 1/5 not equal to q?
True
Let t = -333387/115 + 2899. Is t at least 0?
False
Let x(p) = p**2 + p. Let c(y) = 5*y**2 - 4. Let i(z) = -c(z) + 4*x(z). Let t be i(5). Which is bigger: 1 or t?
1
Suppose 3*a - 30 = -2*a. Suppose 0 + a = 3*b. Suppose 5 - 3 = b*y. Which is smaller: y or 2?
y
Let k = 437/5 - 87. Is k > 0?
True
Let z = 34 - 47. Is z equal to -14?
False
Suppose -24 = -4*k - 2*y - 2*y, -4*y + 19 = -k. Let p = 76 + -989/13. Which is smaller: p or k?
p
Let f be ((-24)/30)/(2/(-25)). Which is smaller: 12 or f?
f
Let f(q) = q**3 + 4*q**2 + 2*q + 6. Let p be f(-5). Are p and -2 unequal?
True
Let v be ((-16)/(-8))/((5 - 2)/(-15)). Suppose -4*c = -25 + 69. Is v <= c?
False
Let d = 5.99 + 0.01. Let f = -17 - -9. Let h = d + f. Which is smaller: 1/2 or h?
h
Let f = 10 + -6. Suppose 3*g - 28 = -2*s + 11, -2*g = f*s - 98. Let v be (-24)/s - (-4)/6. Is 1 smaller than v?
False
Let r(p) = -4*p**2 + 10*p - 3. Let y(b) = 5*b**2 - 11*b + 2. Let f(h) = -6*r(h) - 5*y(h). Let q be f(-6). Which is smaller: 2/3 or q?
2/3
Let j = -4/5 + 13/10. Is j at least -1/4?
True
Let t be -3 + 1/(9/39). Let c be (4 + -2 + -1)/1. Do t and c have the same value?
False
Suppose -6 = -3*c, 3*p - 98 = -2*p + c. Which is smaller: 22 or p?
p
Suppose 5*b = a + 2*b - 3, -3*a - 5 = 5*b. Is 1/2 at least as big as a?
True
Let v = -0.45 - -34.45. Let a = -19 + v. Are a and 1 equal?
False
Let b = 3 + -2. Let q be (-44)/(-23) + -2 - (10 + -10). Is b smaller than q?
False
Let h = -7.95 + 0.75. Let q = h + 7. Which is smaller: 2 or q?
q
Let q(r) = 6*r + 33. Let w be q(-6). Which is greater: -2/3 or w?
-2/3
Suppose 0 = -5*m + 5*t + 4 + 1, 13 = m - 5*t. Suppose -17*s + 19*s = -6. Which is bigger: m or s?
m
Suppose 0*l + l - 3*y = -15, 4*y = 4*l + 92. Let i = -23 - l. Which is bigger: i or -0.3?
i
Let w = 13 - 6. Let q = w + -9. Let f be (-3 - 39/(-15))*5. Is q less than f?
False
Let f(j) = j**2 - 12*j + 23. Let q be f(10). Is 4 >= q?
True
Let j = 2 + 0. Let o(y) = 0*y - 4*y - j + 4*y + y. Let w be o(3). Is 1 greater than w?
False
Suppose -2 = -r - 27. Let b be 110/r + (2 - -1). Which is bigger: b or -2?
b
Suppose 0*z - 3*z = 0, -2*y - 4*z + 16 = 0. Let p = y - 9. Which is smaller: -4 or p?
-4
Let t be (-25)/(-4) + (-5)/20. Let g = -10 - -17. Which is smaller: t or g?
t
Let p = 20 - 23. Which is bigger: p or -0.2?
-0.2
Let h be ((-6)/(-9))/((-1)/(-6)). Suppose 0 = 3*v - 1 + h. Let t be (9/(-6) - -2)/v. Which is bigger: 0 or t?
0
Let r(u) = u**2 + 10*u - 7. Let g be (-4)/(-22) - 536/44. Let k be g - (0 - (3 - 2)). Let c be r(k). Which is smaller: c or 3?
3
Let t(d) = -d**3 - 3*d**2 - 1. Let x be t(-3). Let p = -80 - -361. Let b = 4217/15 - p. Which is smaller: x or b?
x
Let u = 43 - 127/3. Is -2/15 greater than u?
False
Let r = 1667/9 - 185. Suppose -10 = 4*v - 3*k, 4*v - 2*k = 2 - 10. Is v at most r?
True
Let r = -0.7 + 1. Let d = 0.2 - r. Let i = 0.1 + d. Which is smaller: 2/3 or i?
i
Let d(x) = -x**3 - x**2. Let q be d(0). Suppose 0 = -4*m - q*m - 24. Is -6 equal to m?
True
Suppose 3*a - 4*i - 8 - 4 = 0, i = 0. Suppose -3*f + a = -8. Are f and 3 equal?
False
Suppose 4 = -v + i + 7, -3*i = 5*v + 17. Let a be (10/(-4) + 1)*(-104)/(-546). Which is smaller: a or v?
v
Suppose -2*t + 28 = 2*t. Suppose 9 = 3*k + 3*g, 4*k = g + t + 10. Which is smaller: 11/3 or k?
11/3
Let w = -28 - -40. Suppose 5*m = -0*v - v + 18, v - w = -3*m. Suppose m = 2*t + c, -21 = -4*t - 8*c + 3*c. Is 0 less than t?
False
Let y be -10 + 4/(-2 - -4). Let r be 2/y - (-3)/(-6). Which is smaller: r or 0?
r
Let n(t) = 3 - t**2 + 0 - 1. Let j be n(0). Suppose 0 = -3*x + j - 8. Is -2 bigger than x?
False
Let w be (44 - -1)*((-5)/(-3) + -3). Is w smaller than 2?
True
Let d(l) = l**3 + 4*l**2 + 3*l + 4. Let p be d(-3). Suppose 0 = 2*y + 4*x - 20, 5*y - 5*x + 2*x - 24 = 0. Which is smaller: y or p?
p
Suppose 0 = 3*m - z - 13, 0 = -m - m + 4*z - 8. Is m at most as big as 23/5?
False
Let p be (-21)/413*(-2)/(-3). Which is smaller: -1 or p?
-1
Suppose 0 = 5*c + 2*z + 8, c = -c + z + 4. Let q = 0 + c. Let x = 0 + q. Does x = 2/7?
False
Let z be (6/(-15))/((-2)/(-10)). Is -4 greater than z?
False
Let a(c) = c**3 - 4*c**2 - 4*c - 5. Let u be 2*2 - 1/(-1). Let p be a(u). Suppose p*x + x = -2. Which is smaller: x or -2/3?
x
Let m = 16 + -77. Let a = m - -66.1. Let q = a + -5. Is q < 0?
False
Let q = -1 - 0. Let h = -17/370 - 2/37. Is h < q?
False
Suppose -4*t + 12 = -4*s, 4*t = 5*s + 3 + 7. Suppose s = -k - 0. Which is smaller: k or -6?
-6
Let a(c) = -2*c - 5. Let v be a(-4). Let d be ((-4)/(-10))/(v/(-15)). Let q be (2/10)/((-54)/50 - -1). Is d at least q?
True
Let f = -7 + 6. Which is bigger: -1/39 or f?
-1/39
Let a(j) be the third derivative of j**6/120 + 3*j**5/20 - 3*j**4/8 + j**3/3 - 4*j**2. Let f be a(-10). Is f != -8?
False
Let p = -5 - -6. Is p != 2/67?
True
Let b be (33/44)/(10/(-8)). Do 0 and b have the same value?
False
Let n = -0.9 + 3.9. Let m = -3 - -3. Let a = 1 + m. Which is bigger: a or n?
n
Let r = 3 + -3. Suppose -3*i + 3 = k, r = 4*i - 5*k + 17 - 2. Let g = 268/5 + -54. Which is smaller: i or g?
g
Let p = 116.6 - 118. Which is smaller: p or -0.02?
p
Let i be 4/(-14) + 92/28. Let q(p) = -5*p + 1. Let w be q(-4). Suppose -4*d = i*o - d - w, 3*o + 4*d = 24. Which is greater: 2 or o?
o
Suppose 2*q - 17 = 3*n, -3*n = -0*q - q + 7. Let b be ((-1)/q)/((-3)/(-6)). Let c = -2/5 - b. Is c greater than or equal to 0?
False
Let s = -8 + 7.85. Let r = 0.3 + s. Let v = -0.05 - r. Which is greater: v or 2/7?
2/7
Let p be (-5)/(-45)*(-3686)/60. Let s = p + 69/10. Which is bigger: s or 1?
1
Suppose -2*j + 7 = -3*h, 6 = -4*j - 3*h - 7. Let w = 13/10 + -6/5. Is w > j?
True
Suppose -2*g 