derivative of -y**4/4 - 19*y**3/3 - 19*y**2/2 + 15*y - 590. Let k be t(i). Which is bigger: k or 67/2?
67/2
Let p(f) be the third derivative of -f**5/60 - 3*f**4/4 + 71*f**3/6 + 52*f**2 + 2*f. Let k be p(-21). Let v = -5 - -14. Is k greater than or equal to v?
False
Let a be 66/(-24) - 1/4. Let j be ((0 - 9)/a)/3*60. Let f be -2*(-95)/j - (-3)/(-2). Which is greater: f or -0.3?
f
Let z(r) = r**3 + r**2 + 4*r**2 - 262 + 264. Let x be z(-5). Is x greater than or equal to -17?
True
Let s = -0.02978 + -2187.97022. Which is smaller: s or 2/5?
s
Let w = 44065505/541 + -81452. Are 0 and w unequal?
True
Let k = 1355 + -1354. Are k and -4/2005 equal?
False
Suppose 2*d = 5*w - 5, -5 = -d + 141*w - 146*w. Is 1157/6 at least d?
True
Suppose 5*s + 12 = -x, 2*x - 6 = 4*s + x. Let d be 1 - 50*s/4. Suppose -5*r = -107 - 28. Do r and d have the same value?
False
Let x be ((-2)/4)/(13/26). Is 3/331 < x?
False
Let r(v) = -2*v**2 + 13*v + 40. Let t be r(8). Is t less than or equal to -2?
False
Let l be 6*24/(-90) + (-33)/(-55). Which is greater: 3833 or l?
3833
Let d = -2304 - -410113/178. Let v = d - -261/16910. Is v greater than -1?
True
Suppose v = -2*i + 4, 5*v + 2*i = 37 - 33. Let r be (-46)/6 + (v - -8). Which is smaller: r or -18?
-18
Let a = 0.411 - -0.099. Let y = 0.0003 + -0.4903. Let x = a - y. Are -2/23 and x unequal?
True
Let u be (4/(-7) + 1043/(-147))*(56 + 235). Is u at most as big as -2234?
False
Let i be (-2 - (-320)/(-156)) + -4 + (-16)/(-4). Which is smaller: i or -4?
i
Let f(p) = p + 10. Let j be f(-14). Let l be -3 + 59/j*(-16)/84. Suppose 2*k - 4*k + 5 = 3*r, 2*k + 1 = 3*r. Which is greater: l or r?
r
Let y be (-12)/14 - 2752/301. Let v be 372/620 + 8096/y. Is v at most as big as -809?
True
Let y(l) = 25*l + 11. Let v be y(8). Let i = v - 210. Let z be ((-2)/(-8))/((-93)/(-12)). Is i greater than z?
True
Let w(l) = -5*l + 14. Let f be w(-7). Suppose p - f = 93. Suppose -62 + p = -5*g. Which is smaller: g or -15?
g
Let j = -3293 + 3292. Is 15/749 smaller than j?
False
Let v = -1373/77 - -193/11. Which is smaller: -1.1 or v?
-1.1
Let a = -29 + 234. Let q be 3/(-9) - a/15. Let f be ((-2)/(-14) + 1)/((-4)/q). Do f and 7/2 have different values?
True
Let y = -69135/8 + 8619. Is -1 < y?
False
Let s be (-8)/(-2) + 1*8/(65768/(-32883)). Which is smaller: 0 or s?
0
Let l be (-1394)/6 + (-4)/6. Let g be (1 - 48/(432/(-18))) + 0 + -235. Which is greater: l or g?
g
Suppose 5*n - o - 214 + 1654 = 0, 0 = o. Let g = n - -373. Are g and 86 non-equal?
True
Let t(z) = -z - 6. Let n be t(-5). Let d = -13289 - -4358791/328. Is n != d?
True
Let w = -61 + 90. Let i = -24 + w. Let x = 9.9 + -9.8. Which is greater: i or x?
i
Let k be (-14)/36*(15 - 14). Let b = k + 37/126. Which is greater: b or 0?
0
Suppose -3510 = -35*z + 26*z. Let t = -413 + z. Which is bigger: t or -24?
t
Let s(t) = t**2 - 4*t + 5. Let j be s(5). Let r be j/55 - 20/(-11). Suppose -2*o - 5*q - 37 = 0, -o + 5*q - 9 = r. Is o at most -17?
False
Let q = -285406/23 + 12409. Which is bigger: -2/465 or q?
q
Let h = 1796 - 1789. Is h greater than 161/29?
True
Let n be 0/(8*(-1)/(-4)). Suppose n = -5*x + 21*x - 160. Do -1 and x have the same value?
False
Let g(f) = -9*f**2 - 4*f - 14. Let y be g(-4). Let q be 2/(4/(-5)) - 7587/54. Which is smaller: q or y?
q
Let w = 2596/25 + -7813/75. Which is smaller: w or -0.27886?
w
Suppose 14 = -18*j - 22. Let c be j - -5*6/15. Which is smaller: 2/681 or c?
c
Let t be (2101 - (-72)/(-9)) + (-8 - -5). Is t <= 2094?
True
Let f be (2/(-3))/(-2 - -4). Let c = -309 - 16. Let x = -326 - c. Which is smaller: f or x?
x
Let m be (32 + -31)*((-81)/15 + 5). Which is greater: -37.45 or m?
m
Let j(k) = -5*k + 6. Let w be j(-7). Suppose -2 = -y + 3*f, -w = 3*y - 6*y + 2*f. Suppose 3*h - 6 = 0, -4*p - y = 4*h + 75. Is p > -25?
False
Let z be 1 + (-119)/(-41) - 1836/459. Is z < -0.2?
False
Suppose -138*c = -78*c + 422*c - 1878354. Is 3897 <= c?
True
Suppose 5*a + 161 = -69. Let p = a - -784/17. Which is greater: 0 or p?
p
Let o(v) = 3*v + 124. Let g(s) = -6*s**2 + 12*s + 9. Let y be g(4). Let c be o(y). Is 8 smaller than c?
False
Let f = -0.17 - 0.53. Let u = -0.51 - -220.51. Let a = u + -220.3. Which is bigger: a or f?
a
Let k = 1912/3465 - 26/45. Let o = 217 + -166. Let j = o + -51. Is k at most as big as j?
True
Let z = -425 - 2901. Which is smaller: -3323 or z?
z
Let s(z) = z**3 + 28*z**2 + 28*z + 4. Suppose 81 = -3*c - 0*c. Let b be s(c). Let f = -15 - b. Do 4 and f have different values?
True
Let r = 19673 - 19569. Which is smaller: 173 or r?
r
Let i = -47 - -74. Let w = i + -25.14. Let u = w + -0.86. Which is smaller: -2 or u?
-2
Let t(c) be the first derivative of -c**2 - 6*c - 3. Let b be t(8). Let p = -678 + 655. Is b less than p?
False
Suppose 3*y - 2*y + y = 0. Suppose -86 = -4*m + 2*s, -106 = -5*m - y*s + s. Which is smaller: m or 2?
2
Let y be 6*10/(-40) + -4 + 6. Is -2041 less than or equal to y?
True
Suppose 8*b - 13 = 35. Suppose -3*q = -b*q - 60. Let m be 4/(-10) + (-1144)/65. Is m at most as big as q?
False
Let l be 137/4*(11 - 7). Suppose 3*z + 3*d - 132 = -0*d, 3*z = -4*d + l. Does 196/5 = z?
False
Let r be 95*-2 - ((-68)/(-85) + (-27)/15). Which is bigger: -941/5 or r?
-941/5
Suppose -5*q + 160 = 2*h, 4*q - h = 73 + 68. Let f = q - 31. Suppose 0 = 4*s - 4, -x + 5*s = -f*x - 45. Which is smaller: -22 or x?
x
Let i = -113 - 75. Suppose 32*c = -2920 - 3128. Which is smaller: c or i?
c
Let l(m) = -3*m**3 + 5*m**2 - 2*m + 6. Let t be l(-4). Suppose -t - 104 = -3*n. Do n and -2/7 have the same value?
False
Suppose -75*b = -78*b + 6. Suppose -b*i + 18 = -5*i. Let d be 25*(-8)/i - 6/(-9). Is d less than 33?
False
Let y = -86.8 + 86.9. Let g = -12 + 6. Let q = g + 5.98. Which is greater: q or y?
y
Let z be (6/(-4))/(6/(-64)). Suppose 36807 = 2192*w + 10503. Which is bigger: z or w?
z
Let q(i) = 95*i**2 + 29*i + 67. Let z be q(-7). Is 4519 at most z?
True
Let p = 12579 - 12579. Is -882 >= p?
False
Let p = 2370 + -2406.01. Let r = -0.91 + -35.09. Let s = p - r. Is 0.1 at least as big as s?
True
Let y(m) = m**3 - 9*m**2 - 8*m + 22. Let z be y(10). Suppose 0 = -4*r + x - 210, -z = r + 2*x + 6. Which is smaller: r or -51?
r
Suppose -19*r - 4*q - 5428 = -23*r, -5*q + 2728 = 2*r. Which is smaller: r or 1358?
1358
Let r = -4927299 - -517370621/105. Let d = 85/7 + -1832/35. Let f = r + d. Are f and 1 nonequal?
True
Let t(q) = -115*q - 1144. Let d be t(-8). Is -224 smaller than d?
False
Suppose 43 + 6 = 7*s. Suppose -s*b = -b. Is b >= 3/100?
False
Let o = 0.15 + 5.85. Let i = 7.276 + -7.4. Let s = -0.024 - i. Which is bigger: o or s?
o
Let m = -1064 + 139385/131. Let j = -46 - -46. Which is smaller: m or j?
j
Let i be 3*(6 + (-40)/5 + -1). Which is bigger: 8 or i?
8
Let f = 21 - 21.33. Let a = 1448.9 + -2300. Let h = a + 851. Which is smaller: h or f?
f
Suppose -5*g = x - 2*x - 43, 0 = -2*x - g - 53. Let w(r) = 26*r**3 - 18*r**2 - 19*r. Let h be w(-1). Are h and x non-equal?
True
Suppose -3 = 4*s - 5*s, 4*c + 3*s = 37. Let u be ((0 - (-3 + c)) + 5)*43. Is u != 42?
True
Let v(x) = -99*x - 5642. Let j be v(-57). Is j less than 8/199?
False
Let z(s) = -s**3 + 10*s**2 + 10*s + 15. Let k be z(11). Let a be (42/(-5))/(k/(-10)). Let c = -3/2 - a. Which is greater: -23 or c?
c
Let h(z) = -109*z - 923. Let g be h(-8). Which is smaller: -41 or g?
g
Let f be 416/(-6) - 2 - 56/21. Is f smaller than -45?
True
Let n(i) = i**2 + 14*i + 30. Let v be n(-11). Let z be (13/(-52)*48/10)/v. Which is smaller: 60 or z?
z
Suppose 50 = 4*n - k + 11, -5*k + 55 = 5*n. Suppose 5*t + n = -4*g + 3*t, 5*g + 2 = t. Which is smaller: -57 or g?
-57
Let q be 126/(-231) - (-406)/(-264). Let h = -11/4 - q. Let d = -1.4 + 0.6. Which is bigger: d or h?
h
Let w(b) = 82*b + 321. Let z be w(-4). Which is bigger: z or -246/35?
z
Let g = 43017 + -43113. Suppose 2*m = -2*m - 8. Is m less than or equal to g?
False
Suppose 45*w - w = -25*w + 69. Let j be 739/(-36) - (-2 + -1). Let c = -69/4 - j. Which is smaller: w or c?
c
Let s(m) = 2*m**2 + 167*m - 1092. Let f be s(-90). Which is greater: 77 or f?
f
Let k be ((-2)/(-28062))/((-80)/(-720)). Which is smaller: 1 or k?
k
Let y(p) = 2*p**3 - 35*p**2 + 20*p - 30. Let s = -464 - -481. Let j be y(s). Which is greater: 153/7 or j?
153/7
Let l be (-40)/50*(159/(-9) - 1/(-6)).