 the third derivative of i**5/30 + 5*i**4/12 - 88*i**2. Let u be p(-4). Which is bigger: u or m?
m
Let f = -479 + 317. Let n = 153 - 315. Is n less than or equal to f?
True
Let a be ((-15775)/(-14))/(-25) - (-3)/6. Which is smaller: -46 or a?
-46
Let k = 74.06 + -74. Let h(i) be the second derivative of -i**4/12 - i**3/3 + 2*i**2 + 7*i. Let z be h(-3). Is k less than or equal to z?
True
Suppose -89 = -11*w + 3244. Suppose 0 = 4*u - 251 + w. Which is bigger: u or -25/2?
-25/2
Let g = -28 + 34. Let o(b) = -b**2 - 6*b + 4. Let y be o(-3). Suppose 0 = -y*n + 6*n. Which is smaller: g or n?
n
Let t be ((-109)/(-6) + 0)*-3. Let q = -363 + 301. Let u = t - q. Which is greater: u or 9?
9
Let j(v) = 1968*v + 13861. Let z be j(-7). Suppose 0 - 3 = -3*m. Which is smaller: z or m?
m
Let a(k) = 7*k + 13. Let g be a(4). Suppose -49 + 11 = -4*f - z, 5*f - g = 2*z. Which is greater: f or 3?
f
Let s = -657 + 390. Let x = s - -265. Are -0.019 and x unequal?
True
Suppose -60 + 300 = -40*r. Which is smaller: r or -0.002?
r
Let i(h) = -47*h**3 - 7*h**2 - 30*h - 105. Let c be i(-5). Which is smaller: 5748 or c?
c
Suppose 2*t = -0 - 8. Let d = 747 - 726. Suppose d = 27*x + 75. Is t <= x?
True
Let v = -1.7 + 2. Let o = 0.3853 - 0.7553. Let d = v + o. Which is greater: 0.3 or d?
0.3
Suppose 20497 - 10609 = 6*u. Is u greater than or equal to 1648?
True
Let t = -2 - 1. Let r(n) = -26*n + 6. Let z(h) = -33*h + 6. Let j(g) = 5*r(g) - 4*z(g). Let c be j(t). Is c < 2?
True
Let n be (19/(-6))/((-1)/(-2)). Let j = -18075 + 18070. Is j < n?
False
Let j = 370/11 - 83239/2475. Is -3/8 < j?
True
Suppose m = -0*f - 2*f - 92, 3*m = -3*f - 144. Suppose 1 = -b, 3*b = 5*q + 105 + 92. Which is smaller: q or f?
f
Let f = 2.738 + -2.748. Which is smaller: 1099 or f?
f
Let q(t) = -6*t**2 - 10*t - 8. Let z be q(-3). Let k be ((-3)/2)/(12/z) - 4. Do -5 and k have different values?
True
Let v = -2498 + 3161. Which is smaller: v or 666?
v
Suppose -4*z + 221 = 197. Let f be 6/15 - (z - 2568/30). Is f at most 76?
False
Let l = 4638 + -4637. Which is smaller: 3/529 or l?
3/529
Let w be 1 + (0 - (-4)/(-4)*3). Let m be (w/12)/((-5)/(-30)*-1). Let o be (1 + m/(2 + 0))/(-6). Are o and 1 non-equal?
True
Let o = 13197 - 13148. Which is smaller: o or 3?
3
Let p be (0 + -1)/(18/(-324)). Let q = 63 + -62. Let m(a) = 23*a - 4. Let r be m(q). Which is greater: p or r?
r
Suppose 0 = 15*k - 301 - 64 - 250. Is k at most 69?
True
Suppose 0 = m - 4 + 2. Suppose -3*s - 252 = -3*x, -254 = -2012*x + 2009*x + 4*s. Suppose -x = -m*h - 20. Is 28 greater than or equal to h?
False
Let b(y) = y**3 - 8*y**2 - 11*y + 15. Let z be b(10). Suppose 0 = 65*r - 60*r + z. Which is bigger: r or -178/9?
-178/9
Let o be (-22096)/(-42)*(-21)/(-84) - 28/(-196). Suppose 0*j - 524 = -4*j. Is o at most as big as j?
False
Suppose -5*o = m + 205, -116*m = -o - 121*m - 65. Let f(d) = -2*d**2 - 8*d + 3. Let a be f(-7). Is a greater than or equal to o?
True
Let s = 37 - 11. Let y = 52 - s. Let t = -261 + 262. Which is smaller: t or y?
t
Let q be (-540)/(-24)*24/9. Let l = 60 - q. Is l less than or equal to -82?
False
Let g = 742783/516 + -19597/12. Let z = 909130/4257 + g. Let q = z + -20. Is q at least as big as -1?
True
Let q be 6/(-90)*-6 + (-284)/10. Let a be 665/q + 3/(-3). Let s = 25 + a. Is 4 >= s?
True
Suppose 4*j = 2*r - 58, -4*j - 2*r - 23 = 31. Let m be (58/(-90) - (-42)/210)*-18. Let k be (3 + -2)/(m/j). Are k and -2 equal?
False
Let w be 23/(-1*1/1). Suppose -2*a + 3*c = -40, 5*a = -4*c + 23 + 100. Let l = w + a. Which is smaller: -11 or l?
-11
Let v = -155.04 + -23.9. Let u = -179 - v. Is 3/7 at most u?
False
Let m be 0 + ((-14)/(-6))/(75/20700). Is 644 at least m?
True
Let q = 0.833 + 216.167. Let y = -217.18 + q. Which is bigger: -2 or y?
y
Let f(n) = 4*n**2 + 79*n + 352. Let b be f(-21). Is b greater than -4?
True
Suppose 2*d - 10 = 4*j, -2*j = -15*d + 17*d + 2. Let y be -2 - -1 - 3 - 0. Let v be 19/(-2)*y*j/(-4). Do 19 and v have the same value?
True
Suppose -3*y - 105*p = -106*p - 66, 5*p = y - 36. Let c = -1 - 0. Let g be c*(-21 - (0 - 0)). Is y at most as big as g?
True
Let y = -901 - -54960/61. Let h = 58/183 - y. Let t = 15 + -7. Which is smaller: h or t?
h
Suppose 3050*d - 3035*d - 3120 = 0. Is d greater than or equal to 208?
True
Suppose 18*k - 5*v - 29 = 15*k, 4*k = 4*v + 36. Suppose k*m - 6*m = -b + 6, 4*b - 9 = -3*m. Which is bigger: b or -2/89?
b
Let g be 2/12 - ((-136493)/744 - 3/8). Is g < 174?
False
Let y = -83207142679/1458 - -57069375. Let m = 16132/34263 - 22/47. Let k = y + m. Which is bigger: k or 3?
k
Let n = -5400 + 5514. Is n greater than or equal to 28?
True
Let n = -116740 + 116682.813. Let x = n + 57. Which is smaller: 0.2 or x?
x
Let k be (-6)/(-8)*(-7 - (-4 - -1)). Let z be 988/(-104) - (k + -1). Suppose 3*d = -o - 13, 3*o + 23 = -3*d - 4. Which is smaller: o or z?
o
Suppose 42*p - 50*p = 96. Let k be (p/75)/(2*-10). Which is smaller: -1 or k?
-1
Suppose -x - 17 = 13. Let h be 3*((-26)/6 - -4) + -103. Let w be h/14 + x/(-70). Which is smaller: w or -6?
w
Let g = -887/6279 - -149/483. Which is bigger: g or -1?
g
Let z(m) = 4*m**3 + 3*m**2 - 2*m + 3. Let o be z(2). Suppose 0 = -o*y + 41*y - 4. Let u(g) = -g**2 - 6*g - 5. Let n be u(-4). Is n <= y?
False
Suppose -21*d + 84*d + 41391 = 0. Is d != -659?
True
Let z = -4535 - -4054. Is -480 greater than z?
True
Let q(s) = 3*s**2 - 6*s + 41. Let y be q(10). Which is bigger: y or 0?
y
Suppose -15*o = -26*o - 22. Let p be ((-86)/(-10) + -3)*(-5)/o. Is 12 greater than or equal to p?
False
Let u be 2/(-16)*0/(-51). Is u greater than or equal to 2/1185?
False
Let z = 3548 - 3554. Which is greater: -128 or z?
z
Suppose 5*t = -5*i, -4*t = -3*i + 2*i - 15. Let x be 9/(-4)*(-1)/i. Let w be (-130)/(-40) + -3 + (-82)/264. Is w at most x?
False
Let q = 334 - 332. Let a be 15*1/(10/4). Suppose -q*v - 5*n + 16 = 0, v + 3*n + a = 5*v. Is -1 != v?
True
Let q(d) = -d**2 - 33*d - 30. Let l be q(-17). Let o = l + -233. Is o at most 19/2?
True
Let g be (-1 + 1)/(117 - 116). Is g > 24/923?
False
Let m = 166790819/139436 + -13158/11. Is 1 != m?
True
Let a = 5.85 + -5.65. Let x = -0.04 + -9.56. Let w = 9 + x. Which is smaller: w or a?
w
Let x = 1588.8 - 1163.1. Which is bigger: -0.1 or x?
x
Let s = 20952 + -21664. Is s > -3?
False
Let m = -6.98 - 0.02. Let o = 32 + m. Let c = -24.96 + o. Is c at least as big as -1/3?
True
Let i = -201256.9 + 201257. Let d = 351 - 795. Is i at least d?
True
Let q = -128 - -128.01. Let m = -14.7 - -2.7. Let t = m + 16. Which is smaller: q or t?
q
Let w = 873 + -2074. Are w and -1201 nonequal?
False
Let a be -23 + 26 - 65/24. Let y = a + -23/24. Which is smaller: y or -57?
-57
Suppose -6 = -2*w, -3*m + 4*w - 9 - 6 = 0. Let n be m - ((-3)/3)/(5/5). Do -1/52 and n have different values?
True
Let d(b) = -11*b**2 + 31*b - 9. Let t be d(9). Let h = t + 752. Which is smaller: h or 129?
129
Let d = 162 + -307. Let a = d - -156. Is 2/9 greater than or equal to a?
False
Let q(p) = 2*p**2 - 40*p - 489. Let z be q(-22). Which is bigger: z or 2717/2?
z
Suppose 13*f - 8 = 5*f. Suppose 3 - f = a. Suppose -a*b + 7*b - 36 = 4*u, 3*u - 3 = 0. Which is bigger: 2/13 or b?
b
Suppose 3 - 12 = -3*v. Let a(u) = -u**2 - 4*u + 3. Let i be a(-4). Suppose -n - 6 = 2*f - v*f, 28 = i*f - 5*n. Is f greater than or equal to 2/49?
True
Suppose y - 11 = -0. Let i = 55 - 51. Suppose 156 = -i*w + 16*w. Is w less than or equal to y?
False
Let l(r) = 10*r**2 - 2*r + 30. Let w be l(6). Let f be (-2652)/w + -1 + (-6)/14. Which is bigger: -8 or f?
-8
Let p = -88 - -87.154. Let d = p + 3.782. Let n = -0.064 - d. Is n <= 6/5?
True
Let i = -4169 + 4168. Which is smaller: i or -18/677?
i
Let y = 20 + -5. Suppose -4*h + 3*p - 27 = -0*p, 3*h + y = -3*p. Let f = h - 27. Which is smaller: f or -34?
-34
Let m = 1835 + -1835.2. Which is smaller: m or 139/4?
m
Let m = -42 + -5. Let z = -22 - m. Let q = -24.8 + z. Which is smaller: 0 or q?
0
Let l = 566 - 2821/5. Suppose -27 = 3*k - 5*t - 10, 3*t - 55 = 5*k. Let j = 15 + k. Is j smaller than l?
True
Suppose 0*v - 666 = -4*v + 3*u, -4*v = -u - 670. Let l be (-1)/(5/(-820)) + 24/6. Is l != v?
False
Let z be 4/(-22) + (-18141)/(-11). Let d = -1637 + 1640. Suppose -z = -20*t + d*t. Is t greater than 97?
False
Let m(j) = -3*j**3 - 2*j**2 - 3*j - 4. 