(f) = -f**2 - 8*f - 3. Let l be j(-5). Let t be 3/4*(-8)/l. Is h < t?
False
Let h = 89.91 - 91. Let y = h - -0.09. Which is smaller: -2/3 or y?
y
Let o = 63/88 - 12/11. Let i(t) = t + 2. Let a be i(-1). Is o not equal to a?
True
Let u = 3/16 - 47/80. Is -1/5 <= u?
False
Let p be 2/6 + (-403)/1191. Let y = p + 3984/2779. Which is smaller: y or 0?
0
Let x = 105 + -102. Which is greater: x or 7?
7
Let v = 147/2 + -1033/14. Does -1 = v?
False
Let p(c) = -3*c**3 - 5*c**2 - 2*c. Let q(u) = u**3 - u**2 + u. Let z(j) = -p(j) - 2*q(j). Let v be z(-7). Let l be 0 - 2 - (-1 + v). Which is greater: 0 or l?
0
Let q(z) = -3*z + 10. Let v be q(4). Let u = -17/7 - v. Which is smaller: u or -1?
-1
Suppose -31 = -5*f + 19. Let x be (13/5 + -3)*f. Is -6 < x?
True
Let g = -2 - -1.9. Let p = 0.3 + -0.9. Let l = -0.6 - p. Which is smaller: l or g?
g
Let t = -16 - -15.9. Which is smaller: t or -3?
-3
Let q be 134/4 - 4/8. Suppose 3 - q = -3*t - 5*l, -t - 3*l = -14. Suppose b = f - 0 - 4, -5*b = t*f - 10. Does 2 = f?
False
Suppose 4*z - 20 = 3*a, a + 2*a = z - 5. Is 4 >= a?
True
Let t = -42 + 30. Let n = t - -16. Is 5 at most as big as n?
False
Let y = -29/52 + 4/13. Is 0 at least y?
True
Let i(f) = f**2 + 9*f - 11. Let k be i(-10). Is k bigger than 1/5?
False
Let k be (14/(-21))/(4/(-126)). Which is greater: k or 20?
k
Let c be (6 + 177/(-30))*(-2 + 24). Is 3 bigger than c?
True
Let r be 4/14 + (-5)/(-7). Suppose v - 2 = -r. Is -2/7 at most v?
True
Let y be 1/2*1 - 2. Suppose 6*u - 18 = m + 3*u, 4*m - u = -17. Is y at most as big as m?
False
Let s = -12 + 23. Are 9 and s nonequal?
True
Let a = 4 - -3. Which is smaller: 6 or a?
6
Let n = 0 - 2. Are -2 and n non-equal?
False
Let p(g) = g**3 - 15*g**2 + 2. Let n(i) = -i**3 + 14*i**2 - 1. Let f(c) = 3*n(c) + 2*p(c). Let r be f(12). Is r less than 1?
False
Suppose 2*w + w - 4*t - 21 = 0, 0 = -5*t - 15. Suppose 0*i + 2 = 5*u - w*i, -3 = -2*u - i. Let d = 0 + u. Is d greater than 1?
False
Suppose 5*u = 9*u. Let q = 1/5 + -2/5. Is u less than or equal to q?
False
Suppose 0*d = -2*d + 16. Let f = 10 - d. Is 2/3 < f?
True
Let o = 2 - 0. Let h = 27 + -14. Suppose 0 = -4*s + j + 8, -5*j = -7 - h. Is s greater than o?
True
Let y = -3 - -3. Let z = 28 - 27. Which is greater: z or y?
z
Let s be (-2)/8 - 189/28. Let a = -3 - s. Is 4 equal to a?
True
Let w = -29 - -1. Let q be 2 + (-3582)/w + 3. Let t = q + -133. Which is bigger: 1 or t?
1
Suppose -5*x + 3 + 12 = 0. Suppose -x*v + j = -11, v + 3*j - 27 = 8*j. Let b be (-2 + -1)*v/(-14). Is b greater than or equal to -1?
True
Let d(v) = v**2 - 4*v - 7. Let n be d(8). Is n smaller than 24?
False
Let o = 4 - 0. Suppose -3*n + 5*n - 3*l = -18, 4*n + o*l - 4 = 0. Let d = -0.1 + 0.1. Which is smaller: d or n?
n
Suppose 0 = 3*b - 4*b - 3*t - 19, b - t - 1 = 0. Let u be (-4)/6*(-6)/b. Let j = -95/632 + 2/79. Are u and j non-equal?
True
Let i be (9/(-18))/((-14)/12). Is i > 0?
True
Let u = 0.2 - 0.1. Suppose -3*x + q + 1 + 3 = 0, q + 10 = 5*x. Suppose -3*f = x*z + 12, 4*z + 3*f = -2*f - 21. Is z != u?
True
Let n = -0.14 - -0.16. Is n at most -1/3?
False
Let p = 4/17 - 29/51. Which is greater: 1/2 or p?
1/2
Let b = -29 + 29. Which is bigger: b or 1/7?
1/7
Let a = 0.1232 - -18.8168. Let h = a + 0.06. Is 1 > h?
False
Suppose 11 + 4 = -5*z, -4*k - 5 = 3*z. Are k and -1/3 non-equal?
True
Let l = -0.3 + 0.5. Let n = -0.8 - l. Let j be ((3/(-30))/((-32)/(-240)))/(-3). Is j at least n?
True
Let h = -0.7 + 0.5. Let r be 20/(-25)*(-5)/(-2). Do r and h have the same value?
False
Let m = -16.93 - -17. Let w = -300 + 295.93. Let h = w + m. Which is bigger: -1 or h?
-1
Let x = -23.2 - -23. Is -2 at most x?
True
Let z = -3 + 2.9. Let y be (-2)/(-7) + 1 + 45/(-35). Which is smaller: y or z?
z
Let o = 11586/35 - 331. Which is bigger: o or 1?
1
Suppose 0 = -5*k + 2*g + 25, 4*g + 7 = -13. Suppose -r = k*r - 16. Suppose -5*c = -r - 1. Which is smaller: c or -1/7?
-1/7
Let g(k) = 22*k - 6. Let c be g(1). Which is bigger: 15 or c?
c
Let q be 2 + 22/(-14) + (-12465)/420. Which is smaller: -30 or q?
-30
Let b(y) = y - 5. Let r be b(4). Which is smaller: r or -6/19?
r
Suppose -3*b + b = 0. Suppose a + a + 5*x - 22 = b, -16 = 4*a - 5*x. Let i be 12/(-16)*a/(-9). Which is bigger: 0 or i?
i
Let y = -25 - -24. Is y bigger than -2?
True
Suppose 0 = -5*i - 4*c - 4, 3*c + 3 = -i + 2*i. Suppose -5*d + 9*d + 4 = i. Do -4 and d have different values?
True
Let z = 21 - 37. Let d = -26 - z. Is d >= -9?
False
Suppose -3*f - 3 = -0. Is f <= -5/7?
True
Let y be 1/(-10)*2/(-1). Let d be ((-3)/(-4))/((-5)/(-20)). Let q be (d + (-68)/24)*-3. Are y and q equal?
False
Let r(y) = -3*y**3 + 5*y**2 - 2*y - 2. Let n be r(-4). Let o = -5280/19 + n. Which is smaller: o or 1?
o
Suppose -10*m - 160 = 40. Which is greater: -23 or m?
m
Let l = 17 - 21. Which is greater: 1 or l?
1
Let o = 0.3 - -0.7. Is o greater than -1/3?
True
Let k = -19 + 19. Suppose k = -f - f - 4*c - 10, -f = -c + 8. Is -8 <= f?
True
Let b(x) = x - 6. Let a be b(7). Which is smaller: 4 or a?
a
Suppose 0 = 5*s - 3*t - 9, 5 = 5*s - t - 8. Let v = s + -2. Is v at least as big as -4/9?
True
Let j(z) = 8*z**2 - 3*z. Let r be j(2). Which is smaller: r or 25?
25
Let f = 3 - 6. Let c be 120/(-54) - (-4)/18. Let y(v) = -v**2 + 2. Let o be y(c). Is o at most as big as f?
False
Let m be (-8)/6*(-3)/2. Let i be (2/(-4) - 0)/m. Let u be (-12)/(-54) + 7/9. Is u >= i?
True
Suppose 0 = -5*s + 31 + 74. Suppose 18*w = s*w. Is -1/2 less than or equal to w?
True
Let g = 6 - -6. Let s be g/20 + 63/(-55). Which is smaller: 0 or s?
s
Let u = -0.1 + -0.1. Let y = -26 + 24. Is y not equal to u?
True
Suppose 123 = -10*i + 13*i. Is i at least 41?
True
Suppose -5*a + 3*m = -0*m - 120, 0 = 2*a - 5*m - 48. Let o be (2/3)/((-88)/a). Which is greater: o or 1?
1
Suppose 0*v = -4*v - 20. Let i = 5 + v. Which is greater: i or 2/13?
2/13
Let d = -1265 + 41839/33. Let u = -24/11 + d. Which is bigger: u or 2/17?
u
Let g be ((-40)/300)/(4/25). Which is smaller: g or 0?
g
Suppose -k = -2*n - 5, -2*k = -k + n - 2. Let x be (-10)/((-2 - -1) + 2). Let l be -1*2 - x/2. Is k equal to l?
True
Let f = -6.2 - -6.24. Are -0.04 and f equal?
False
Let o = 16/13 + -18/13. Let k(g) be the first derivative of -g**3/3 + g**2 + 2. Let r be k(2). Which is smaller: r or o?
o
Let u(k) = -3*k. Let q(y) = -2*y. Let o(n) = 7*q(n) - 5*u(n). Let h be o(4). Suppose 1 = -5*t + 4*x, t + 4*t = -4*x + 31. Is t at least as big as h?
False
Let b(z) be the third derivative of z**6/120 + z**5/30 + 7*z**3/6 - 2*z**2. Let l be b(-3). Is l < 1?
True
Let s = 1521298 + -59335450/39. Let q = s - -370/3. Which is smaller: -1 or q?
-1
Let i = 301 - 300.9. Let c = 3.63 - 0.53. Let g = -3 + c. Is i smaller than g?
False
Let r = -38 + 37. Which is smaller: r or -1/43?
r
Suppose 5*v + 14 = -2*b + 34, -3*b - 8 = -2*v. Are 0 and b equal?
True
Let a(w) = 6*w + 0*w - 4*w**3 - 2*w + 5*w**2 + 3*w**3 + 7. Let v be a(6). Let b be 2/3 - v/6. Is b < 3?
True
Suppose -5*y = -2*y. Let l be (-6)/((-3)/4 + y). Let w be (4/l)/((-2)/(-16)). Is 4 greater than or equal to w?
True
Suppose -51 = 3*w - 0*w. Let m(y) = -y**2 - 18*y - 17. Let c be m(w). Which is greater: -1/3 or c?
c
Let w be (-4)/6*(-24)/64. Which is smaller: -1/5 or w?
-1/5
Let q(z) = 2*z - 2. Let k be q(0). Let m be (-18)/(-2)*(-40)/6. Let s be (5/m)/(1/k). Is s at least as big as -1?
True
Let w be (8/(-540))/(2/(-10)). Which is greater: 0 or w?
w
Let d(g) = 0*g - g - 14 + 2*g - 3*g. Let f be d(-6). Is f at least -4?
True
Suppose 5*p - 10 = 3*p. Suppose p*x - 8 = -3. Which is smaller: x or 3/5?
3/5
Let l(p) be the second derivative of p**6/720 + p**5/120 + p**4/12 - 2*p. Let n(k) be the third derivative of l(k). Let t be n(-1). Is 1/7 < t?
False
Let a = -134 + 142. Let x be (-15)/(-27) + (-1)/3. Which is greater: a or x?
a
Let c(j) = 2*j - 16. Let x be c(9). Is x at least as big as -43?
True
Let l = -3 - -2. Let a be (-3 - -2)*0 - -1. Let g be (-4)/(-10) + (-1)/a. Is g at most as big as l?
False
Let n(g) = -g**3 - 16*g**2 - 15*g - 3. Let k be n(-15). Let s be 1/k + (-6)/9. Which is smaller: s or -0.06?
s
Let a(j) = 3*j - 6 - j**2 + 0*j + 7*j + 5. Let m be a(10). Is m smaller than -1?
False
Let d be (-1853)/2805 + (-3)/(-5). Which is smaller: 0.1 or d?
d
Suppose -y + 2 = -v, 0 = -3*v - y - 3*y + 8. Suppose 