et y(p) be the third derivative of p**6/120 + p**5/12 - p**4/4 - 4*p**3/3 + 23*p**2. Let t be y(-6). Which is greater: t or a?
a
Let a = -599441/169 + 3547. Let k = -3408004836/13013 - -2880822/11. Let m = k - a. Are 2/7 and m equal?
False
Let f = -26 + 33. Let p = f - 7.2. Which is smaller: p or -0.01?
p
Let v be 2/((-4)/110*-5). Which is smaller: 6 or v?
6
Let u be (((-42)/35)/((-3)/20))/(-1). Does u = -4/5?
False
Let u = 387 - 303. Is u less than 81?
False
Let x = 365/3 + -6995/57. Which is smaller: x or -1?
x
Let c = 1324 - 1022. Which is smaller: 301 or c?
301
Let j = -95 - -120. Let i(a) = a**2 + 6*a. Let u be i(-9). Which is bigger: j or u?
u
Let l = 44 - 53. Let g = -10/7 + 23/21. Is g < l?
False
Let z = -126 - -73. Let r = 53 + z. Is r smaller than -3/20?
False
Let r = 984 + -1066. Which is smaller: -5 or r?
r
Let k = 35 + -33. Let y be k/2*15/(-70). Which is bigger: y or -1?
y
Let d = 18 + -53. Let y be ((-1)/(-2))/(1*(-6)/(-24)). Is d >= y?
False
Let j(w) = -w**3 - 2*w**2 + 3*w. Let u be j(-4). Suppose 2*k = -3*k + 5*q - u, 4*k + 3*q - 12 = 0. Suppose 5 + 0 = 5*n. Is n smaller than k?
False
Suppose 5 = l - 3. Let h = l - 9. Which is smaller: -3/13 or h?
h
Let b be (4/10)/((-6)/(-450)). Suppose 0*h + b = 3*h. Which is bigger: h or 13?
13
Let j be (4446/95)/((-1)/5). Is -234 <= j?
True
Suppose 5*c + 30 = j, 2*j + 2*c - 4*c = 36. Let u = -11 + j. Suppose -y = -u*y - 72. Is -23 bigger than y?
True
Let c = 73 - 65. Let m be (c - 5) + 0 + (-4 - 0). Let i = -67 + 401/6. Which is bigger: i or m?
i
Suppose 3*q = 0, -3*d - d + 3*q = 144. Which is bigger: d or -34?
-34
Let t be (0 + 2)*8/(-10). Let z = -293/180 - t. Let s = z - -19/36. Is 2/7 less than or equal to s?
True
Let a(w) = -w**2 + 27*w + 169. Let v be a(-5). Is v equal to 68/7?
False
Let i = 0.11 - 0.12. Let l = -0.08 - -0.07. Let w = i - l. Does -1/2 = w?
False
Let d = 10/153 - 842/3519. Which is bigger: -1 or d?
d
Let n(d) = -3*d**2 - 83*d + 2. Let y be n(-27). Which is smaller: y or 54?
54
Suppose -4*x = -5*x + 4. Suppose 0 = x*m - 5*o + 20, 2*m - o + 2*o - 4 = 0. Which is bigger: m or -8?
m
Let h = -2 + 2.2. Let v = 11 + 1. Let u = v + -11.9. Is h <= u?
False
Suppose q + 5*z - 11 = -3*q, 4*q - 46 = 2*z. Suppose q*t - 35 = 4*t. Suppose 0 = -v - t + 10. Is -2/9 smaller than v?
True
Suppose -19 + 52 = 11*a. Which is bigger: a or -0.06?
a
Suppose -3*s + 2*x + 0 = -3, -9 = -5*s + 2*x. Suppose 0 = s*c - 5*c + 42. Which is smaller: 19 or c?
19
Suppose -u + 3 = -4*s - 9, 4*s = 2*u - 8. Let o = 22 - 10. Suppose -3*y - y = o. Which is bigger: u or y?
y
Let t be 18/(-4) + 256150/(-188). Which is greater: t or -1366?
-1366
Let p be (-2)/8 + 123/(-164). Is p != 1/5?
True
Let o(q) = -q**2 - 7*q - 6. Let c be o(-5). Let l be (-4)/c - (-12)/14. Let s(y) = -2*y**3 + y**2 - 2*y - 1. Let p be s(0). Is p smaller than l?
True
Let w = -16.1 - -1.1. Let i = 863 - 18230/21. Let m = 38/7 + i. Which is smaller: m or w?
w
Let n = -65.8 + 66. Which is greater: -14 or n?
n
Let m(f) = f**2 - 10*f + 7. Let p be m(9). Suppose 0 = -4*a + 7*a + 21. Let y = a + p. Is y at most -10?
False
Let h = -31.9 + 29. Let z = h + 16.9. Let s = -13.83 + z. Which is smaller: s or -1/3?
-1/3
Let a(x) = -2*x - 10. Let c be a(-9). Suppose -18*u = -c*u - 70. Suppose -4*y = -0*y - 24. Which is greater: y or u?
u
Let v = 647 + -33001/51. Which is smaller: 0 or v?
v
Suppose -6 = -6*n - 12. Which is bigger: n or -14/9?
n
Suppose -4*o - 4*c + 1008 = 184, 2*o - 4*c = 418. Which is greater: o or 206?
o
Suppose 6*p = 7*p + 2. Let y be 5/(-20)*p*2. Which is bigger: y or 1/23?
y
Let i = 466725/737 + -6966/11. Are 0 and i equal?
False
Let o be (-150)/(-39) - 4/(-26). Suppose 4*a + 60 = -o*y, 5*a + 57 = a - y. Let n be 47/42 - a/(-49). Is 0 < n?
True
Let r = 3 + -4. Suppose -9 = -g - 5*j, 19 + 8 = -3*g + 3*j. Let z be 9/g*(-20)/225. Is r > z?
False
Let i be 0 + 2/(-1) + 0. Are 0.43 and i non-equal?
True
Let c = -153 + 155. Let m = 56 + -96. Let o be 1/m*(c - -4). Is o > 1?
False
Let h = -822 + 513. Which is bigger: -2/3 or h?
-2/3
Let m = -2 + 4. Let u be (-1)/m*(-4 + 4). Let g be 114/130 + 32/(-40). Which is smaller: u or g?
u
Let a = 1847/14 + -640/7. Is 40 at least as big as a?
False
Suppose 3*y + 6 = -3*c, c + 9 + 23 = 5*y. Let a(v) = -v**2 + 3*v - 2. Let p be a(4). Is c < p?
True
Let t(v) = v**2 + 2*v - 9. Let q be (4/(-8))/(2/24). Let a be t(q). Suppose 21 + a = -2*j. Which is smaller: -19 or j?
-19
Suppose 4*b - 16 = 0, -2*r - 3*r + b + 16 = 0. Let m be (1 - 0/r)*1 + -2. Is 3/29 at least as big as m?
True
Let j be 0/2 + 40/4. Let m = -157 - -97. Let g be 1*-3 + m/(-5). Are j and g equal?
False
Let c = -0.291 - -0.391. Let b = 2.2 - 2. Let t = -0.9 + b. Which is bigger: t or c?
c
Let g be (-678)/172 - ((-2)/2 + -3). Is g <= 0?
False
Let f be (24/10)/(12 + (-1098)/90). Is f greater than -32?
True
Suppose 0*h + 8 = 4*w + 2*h, -3*h + 12 = w. Which is bigger: w or -30/29?
w
Let h = 516233/1236219212 + -2/167147. Let a = h - 4237923/36980. Let p = a - -115. Which is greater: -7/4 or p?
p
Suppose 3*t + 4*k = -25, 5*t + 0*t + 7 = 2*k. Let y be (512/(-42))/4 - 1/t. Which is smaller: -3 or y?
-3
Let x be ((-46)/15)/((3388/110)/(-22)). Which is greater: 2 or x?
x
Suppose 11*d - 5 = 6*d. Let a be -4*(38/(-35) + d)/(-2). Which is bigger: 0 or a?
0
Let u = -206.9 + 200.9. Let r = 78/77 + -8/11. Is r bigger than u?
True
Suppose 0 = 9*r - 270 - 99. Suppose r = 44*o - 43*o. Is o equal to 42?
False
Suppose 11 = b - 2*t, -2*t - 20 = -5*b + t. Suppose w - 2*w = -b. Let z be ((-4)/(-14))/((-3)/(-6)). Which is greater: z or w?
w
Suppose 10*x + 39 = 29. Which is bigger: x or 4/311?
4/311
Let o = 26.5 + -25.5. Is o bigger than 0.44?
True
Let u = 248559/24370 + 3/4874. Let j(a) = a**3 - a**2 - 2*a - 1. Let b be j(3). Which is bigger: u or b?
b
Let k be 4 + (-1220)/325 - (-6)/39. Which is greater: k or -40?
k
Let p(u) = -7*u - 121. Let f be p(-8). Is f < -65?
False
Let x be (6*4/36)/(6/(-27)). Let r be (12/(-15) + 1)/(x/(-15)). Which is smaller: -3/19 or r?
-3/19
Let q = -2/1379 + -59291/4137. Is q < -13?
True
Suppose -4*j = -8, 5*x + 5*j - 66 = x. Suppose -x = t - 4*r + 59, 0 = -5*r. Which is smaller: -74 or t?
-74
Let s = -109.8 - -110. Let w = -5.5 - -10.1. Which is smaller: w or s?
s
Let r = -86 - -82. Which is smaller: r or 4?
r
Let b = 117 + -228. Which is greater: -1/2 or b?
-1/2
Suppose 60 + 65 = 5*l. Let s be (20/l)/(4/10). Suppose -2*p = s*p. Is -2 > p?
False
Let b = -2046 + 2071. Which is smaller: b or 0.32?
0.32
Let q = -899 + 971. Are 70 and q unequal?
True
Suppose 0 = -2*z - 3*z - 25, -4*z + 4 = 4*h. Suppose 2*r = -h - 28. Let b = -212 - -194. Which is smaller: b or r?
b
Let d = -1464 - -1479. Let m be (-4)/18 - (-310)/18. Is m equal to d?
False
Let g be -6*(4/3 + 0). Let n = g + 8. Suppose -2*m + 3*z - 4 = n, -5 = 4*m + m - 5*z. Which is greater: m or 0?
m
Let i = -1519 + 1153. Which is greater: i or -367?
i
Let o = 204.302 + -213.2. Let d = 0.112 - o. Let y = d + -9. Is 3/5 greater than y?
True
Let r = 0.3 - -1.7. Let f = -172 + 171. Let j = r + f. Is j less than 0.04?
False
Let q = -38.9 - -38.8. Let y be (-40)/(-4)*12/(-10). Which is smaller: y or q?
y
Let z(r) = -r**3 - 3*r**2 + 4*r + 5. Let u be z(-4). Let m = 7 - u. Let i = -47 + 48. Which is smaller: m or i?
i
Let l(u) = -u**3 + 4*u**2 - u. Let q be l(3). Suppose q*j = 9*j - 39. Let w = 17 - j. Is 4 bigger than w?
False
Let u(v) be the first derivative of v**4/4 - v**3/3 + v**2/2 + 3*v + 2. Let f be u(-4). Let p be ((-36)/f)/((-2)/(-2)). Which is smaller: p or -1?
-1
Let l = 97 - 95. Suppose 0 = 4*v - l*v - 10. Is v < 4?
False
Suppose -5*p - 35 = -4*p. Let a = 30 + p. Which is smaller: a or -7?
-7
Let p be 1/8 + 2064/(-4224). Which is smaller: 1/3 or p?
p
Suppose 3*y + 3*y - 312 = 0. Let v be -4 - ((-310)/y + 2). Is v >= 0?
False
Let y = -243 - -161. Is -82 at most as big as y?
True
Suppose c + 4 = 0, 4*v - c - 4 = -2*c. Let q = v + -2. Suppose 5*s + 5*a + 35 = q, 2*s - 3*a = 6*s + 23. Is s greater than or equal to -1?
False
Let p = -107 - -125. Suppose p*h = 3*h. Is h > 2/11?
False
Let g be ((-15)/(-21))/(0 + 1). Suppose 4*d - 5*j + 15 = 0, 0 = -j - 3 + 6. Suppose d*z = -6*z. Is g != z?
True
Let f = 3 - 23. Let w = f + 26. Suppose 20 = w*v - 4. Is v at most as big as 4?
True
Let u = 