 u**5/120 - u**4/12 - 6*u. Let d(p) be the third derivative of v(p). Let j be d(-1). Is 14/5 less than j?
False
Let g = 331247/106 - 3125. Is -1 >= g?
False
Suppose -70 = 3*s + 2*s. Let a be (-214)/s - 2/7. Let i be -1*(-1 - (-27)/a). Which is smaller: -1 or i?
-1
Suppose -2016 - 1689 = 15*v. Is v > -247?
False
Suppose 3*l - 2*k + 280 - 65 = 0, -3*k - 195 = 3*l. Let m = 153 + -222. Is m != l?
False
Suppose -1632 = -3*p - p + i, 2*p - 798 = 5*i. Let f = -753/2 + p. Let o = f + -181/6. Is o at most as big as 3?
True
Let t = 0.0672 + -51.0672. Are t and -0.02 unequal?
True
Let s be 15/612*20/6. Let g = -299/4 + 5085/68. Let h = g + s. Which is smaller: 1 or h?
h
Let d(r) be the third derivative of 5/6*r**3 - 5/24*r**4 - 7/60*r**5 + 0*r - 1/120*r**6 + r**2 + 0. Let b be d(-6). Is b greater than 1/18?
False
Suppose 0 = 3*l - 5*l + 40. Let d be 1 - -4 - 3/((-18)/96). Are l and d equal?
False
Let h = -106 + 211/2. Suppose -3 - 1 = -4*y. Let o(j) = -j**2 + j. Let s be o(y). Is s greater than h?
True
Let f = 783 + -744. Are 1/4 and f nonequal?
True
Let p(j) = j**3 + 4*j**2 + 3*j - 1. Let r be p(-3). Let b = -801 - -805.19. Let s = b + -4.3. Which is smaller: r or s?
r
Suppose -99 = 5*z + 91. Which is smaller: z or -37?
z
Let x(s) = -s**2 - 11*s - 330. Let b be x(0). Is b <= -330?
True
Let p = -15 + 24. Let b = p - 9. Which is smaller: b or 0.3?
b
Let p be 3 + (4 - (-477)/(-45)). Which is smaller: -4 or p?
-4
Let c be 1 - (4360/(-70) + 5). Are 59 and c equal?
False
Let a = -537.54 + 538. Which is greater: a or 0.04?
a
Let s be 138/(-24) + 1/(-4). Let p be (-26)/(-4) + s/(-4). Let l be (p/84)/((-8)/6). Which is greater: l or 1?
1
Let v = 26/3 - 107/12. Which is bigger: 1 or v?
1
Let t(a) = a**2 - 75*a + 349. Let w be t(5). Which is greater: w or 2/291?
2/291
Suppose -4*p - 10 = -5*d - 7*p, -3*d + 2*p - 13 = 0. Do d and -1/140 have the same value?
False
Let g(r) = 2*r**3 + 22*r**2 - r - 11. Let k be g(-11). Let u be (-5)/(k/(-3) - (-7)/49). Which is smaller: -36 or u?
-36
Suppose -3*h + h + 3*i = 0, -32 = 4*h + 2*i. Let t = h + 7. Let k be (-2)/6*3 + t. Which is smaller: -1/24 or k?
-1/24
Let l be (-1443)/26*2*-1. Which is smaller: l or 110?
110
Let i = -540 + 540. Let u = 1.32 + -1.2. Is u less than i?
False
Suppose -3*f - q = -f - 4, 2*f + 4*q - 16 = 0. Suppose w + 3 = -2*a, f = 5*a + 19 + 1. Is w greater than or equal to -7?
True
Suppose 3*f - 37 = -5*m, -2*m - 14 = -f - 4*m. Suppose -5*j + 1780 = -i, -2*j + f*j + 2*i - 700 = 0. Let s = j + -6743/19. Is 1 <= s?
False
Suppose -84 = -4*g - 3*s - s, 0 = 5*g - 4*s - 96. Let z = -5 - -24. Is g less than or equal to z?
False
Let c = 136 + -2041/15. Let s be (312/10)/(33/110). Let b be s/(-88) - 2/(-11). Is b smaller than c?
True
Suppose 6*s - 1326 = -72*s. Let j = 26 - -67. Let l be j/6*(-1 - -2). Is l greater than s?
False
Let w be (-108)/(-63)*189/6. Which is greater: w or 25?
w
Let n = -439 + 444. Which is bigger: 63 or n?
63
Let g be (4/(-6))/((-3)/45). Suppose -15*w + g*w = 0. Let i be (-2)/(w + 3/3). Is i less than -2?
False
Let t = 1 - -5. Suppose t*i - 2 = 4*i. Is 2/23 less than or equal to i?
True
Let v(u) = -u**3 - 12*u**2 + 8*u - 70. Let m be v(-13). Which is smaller: -16 or m?
-16
Let r be (-520)/(-18)*1/((-5)/(-30)). Let p = 161 - r. Which is smaller: p or -11?
p
Let u be 351/585 + ((-494)/640)/1. Are u and 1 nonequal?
True
Let k(z) be the second derivative of -z**5/20 - z**4/12 + z**3/2 + z**2/2 - 4*z. Let s be k(-2). Is s less than -3/46?
True
Let u(b) = -b**3 + 28*b**2 + 199*b + 169. Let g be u(34). Let h(m) = m - 7. Let f be h(6). Is g not equal to f?
False
Suppose -3*w + 2 = -2*w. Suppose -3*l + 2 = w*q, 0 = -q + 3*l + 1 - 9. Let u be q/(-8) + 15/(-12). Does -1 = u?
True
Let o(g) = -4*g + 54. Let i be o(-9). Let s be 12/i + (-368)/60. Which is smaller: s or -23/5?
s
Let o(z) = -14*z - 62. Let d be o(-5). Is -2/7 greater than d?
False
Suppose 38*w = 43*w + 10. Let l be (51/(-24) - w) + 2/(-16). Which is smaller: l or 21?
l
Let i be 5 - 120/(-70)*-7. Let r = -7 - -1. Which is greater: i or r?
r
Suppose -2*f = -i - 131 - 608, 4*i + f + 2947 = 0. Does i = -737?
True
Suppose 10*c - 240 = -u + 9*c, -5*u - 4*c = -1203. Which is smaller: 242 or u?
242
Let y = -221 - -71. Let x be 3*(-4)/y*-5. Is 0.3 less than x?
False
Suppose -9*f + 13*f - 16 = 0. Let n(r) = -r**3 - 5*r**2 + 6*r + 2. Let z be n(-6). Suppose -z*t - m - 1 = -0*m, -3*t = -f*m - 4. Which is smaller: t or 2/3?
t
Let a(j) = -5*j**3 - 4*j**2 - 3*j - 2. Let v be a(-2). Let m = 0 + v. Are m and 28 nonequal?
False
Suppose 0*m - 5*m - u + 48 = 0, -m = u - 8. Suppose -2*s + 5*c = -17, 2*c = -2*s - 2*c - m. Which is greater: s or 7/2?
7/2
Let l(a) = -a**2 - 5*a - 6. Let o be l(-10). Which is bigger: 5/6 or o?
5/6
Let u = 1.35 + -1.15. Let i = -1 + 1. Let f = -0.3 + i. Are f and u non-equal?
True
Let a = -74 - -74.68. Let x = -0.78 + a. Let z = -0.36 + 0.06. Is x at most as big as z?
False
Let y(j) = 2*j**3 - 30*j**2 + 5*j + 26. Let h be y(14). Is h < -296?
False
Let h = 0.013 + -0.093. Which is bigger: -5/6 or h?
h
Let s be 3 + 10*13/(-42). Let x = 14.8 - 78.8. Let z = -61 - x. Which is greater: z or s?
z
Let y = 34 + -35. Let z be (-1)/((-2)/3)*10. Suppose 0 = -2*i - 0*i + 4*g + 8, 0 = 5*i - 3*g + z. Is y smaller than i?
False
Let h = -0.1 + -0.9. Let s = 0.17258 + 0.01742. Is h greater than s?
False
Let a(q) = -q**2 + 11*q - 19. Let x be a(8). Suppose -2*b - 2*v = -b + 3, -5 = -x*b - 5*v. Suppose 0*u = 4*j - u + 19, -b*u + 19 = -j. Is -2 less than j?
False
Let p = -101.95 + 59. Let n = -43 - p. Which is bigger: n or 1?
1
Let f(x) = x**2 - 9*x + 17. Let w be f(7). Which is smaller: 13/2 or w?
w
Let i = -0.15 - -0.05. Let y = 2.6 + -3.5. Which is smaller: y or i?
y
Let k = -29/133 - 4/19. Is -17 < k?
True
Suppose 2*w + 17 = -3*w - g, -3*g + 9 = -5*w. Suppose -4*z + 57 + 39 = 0. Let m be 3/(-24) + (27/z)/1. Which is bigger: w or m?
m
Let d(z) = 3*z + 13. Suppose 3 = 3*v + 12. Let n be d(v). Is n at least 3?
True
Let u = 12 + -10. Let d = u - 10. Let a = -8 - d. Is -2/3 smaller than a?
True
Suppose -7*l + 26 = -16. Which is smaller: l or -5?
-5
Let u(o) = -o**2 + 20*o - 1. Let m be u(21). Are -22 and m non-equal?
False
Let o(f) = -f**2 + 3*f + 2. Let l be o(5). Let m be 1 + -9 + 0/2. Is l at least as big as m?
True
Let o(d) = -19*d - d**2 + 3*d + 57 + 2*d**2 - 42. Let i be o(13). Is i at least as big as -25?
True
Let n be -207 + -2 + 3/1. Let f = -1225/6 - n. Let i = 37/18 - f. Which is bigger: -1 or i?
i
Let o(j) = 218*j + 20. Let a be o(-1). Is -197 > a?
True
Let n = 0.3 + -0.26. Let l = n + 2.96. Suppose -2*h - 4 = -4*a, 11*a - 16*a + 4*h + 11 = 0. Which is greater: l or a?
l
Let d = -98 + 95. Let i be (7/(-21))/(7/36). Is i <= d?
False
Let f = -23 - -29. Let c be f/2*(4/6 - -1). Which is smaller: 3 or c?
3
Suppose -8*i - 142 = 63*i. Is i smaller than 323?
True
Let h = -23.9 + 19.9. Is 42 at most as big as h?
False
Let d be (-144)/(-14)*(-8 + 78). Let y be (-2)/13 - d/52. Which is smaller: -11 or y?
y
Let f be (-60)/(-98)*(-217)/124. Which is greater: f or 0?
0
Let r be ((-9)/(-15))/((-42)/28). Which is bigger: r or 0.015?
0.015
Suppose -25*y - 1275 = -10*y. Let o(p) = -p**3 - 4*p - 6. Let z be o(4). Which is bigger: y or z?
y
Let y = -5 + 20. Suppose -3*p + y = 0, d - 3*p + 27 = 8. Let z be (-6)/4*d/(-3). Is z less than -2?
False
Suppose 0 = -r - 3. Let m be 2 + 3 + (r - -3). Suppose 10 = -3*w + 5*b - 2, -b + m = 2*w. Which is greater: w or 2/11?
w
Suppose 376 = -5*k - 3*k. Let h = 33 + k. Is h at least -14?
True
Suppose 0*c - 4 = -2*c, -2*z + c + 52 = 0. Let v be (-27)/(-12)*288/(-27). Let n = v + z. Which is bigger: 4 or n?
4
Let j = -22 - -18. Let p be (j/2)/(12/(-18)). Suppose 5*k - 2*k - 6 = 0. Is p at most k?
False
Let s(b) be the third derivative of -b**5/60 - 5*b**4/24 + b**3/3 - 4*b**2. Let i be s(-5). Suppose i*c + 4*h = -8, -c + 2 + 6 = -4*h. Are -1/2 and c unequal?
True
Suppose -15*f = 181 - 151. Let p(s) = s - 4. Let o(n) = -1. Let t(j) = -15*o(j) + 3*p(j). Let b be t(f). Which is smaller: b or -1/4?
b
Let v be (12/(-8))/((-81)/18)*2. Which is smaller: -490 or v?
-490
Let c(k) = k**3 - 9*k**2 - 24*k + 23. Let f be c(11). Suppose 0 = -4*y + 2*r + 8, -3*r - 13 = -5*y - 1. Is f smaller than y?
False
Let o(m) = m**2 - 26*m - 28.