 derivative of x**6/120 - x**5/4 + 2*x**3/3 + 14*x**2. Let j be b(15). Put -1/15, -2, j in descending order.
j, -1/15, -2
Suppose -7*s - 3*l + 26 = -3*s, 0 = 3*l - 6. Suppose -s*i + 4 = -3*i. Let k = -30 - -34. Sort i, -1, k.
-1, i, k
Suppose -12 = -0*m - 3*m. Suppose -5*i + 1 = m*b, 0*i = 3*i + 3*b. Let o be ((-2)/8)/((-8)/96). Put o, i, 4 in increasing order.
i, o, 4
Let d = -77.6 + 75.6. Sort 0.3, d, 0.4, 2 in decreasing order.
2, 0.4, 0.3, d
Let r = -6 - -10. Let z = 0.231 + -4.031. Let w = z + r. Sort w, -4, 5 in decreasing order.
5, w, -4
Suppose 4*u - 20 = 0, 0 = 4*p - 4*u + 3 + 1. Suppose 4*s = y, -p*s = 2*y - 4*y. Suppose 5*x + 34 - 9 = y. Sort -0.3, -0.05, x in decreasing order.
-0.05, -0.3, x
Suppose 296*a - 63*a = 466. Let p = 1 + 2. Sort 8, a, p, -5 in decreasing order.
8, p, a, -5
Let y(m) be the third derivative of -m**5/60 - m**4/12 + 3*m**2. Let r be y(3). Let b be 2*(r/(-2))/3. Sort -0.3, -1/4, b in descending order.
b, -1/4, -0.3
Let k be (13 + 1)*(-43)/(-86). Sort -4, 0, k, 4.
-4, 0, 4, k
Let k(b) = 7*b**2 - 12*b - 24. Let g be k(3). Let c be 9/6*1/3. Put g, c, 1/4 in descending order.
g, c, 1/4
Let v = -0.091 + 4.091. Put 2/9, 1/11, 3, v in increasing order.
1/11, 2/9, 3, v
Let y = -0.191 + 0.491. Put 1/5, 8, y in descending order.
8, y, 1/5
Let v = 9 + -14. Let b = 358 + -353. Suppose c + 2 = -3*n, c = n - 5 - 1. Put v, n, b in ascending order.
v, n, b
Suppose 0 = -4*b + 5*v - 4, -v + 2*v - 20 = -4*b. Let k = 0 - 0. Put -5, k, 4/5, b in decreasing order.
b, 4/5, k, -5
Let x = 49 - 48.958. Let y = x - 1.042. Let m = 1 + 3. Sort m, 1, y in descending order.
m, 1, y
Suppose 4*f = -10*f + 126. Sort 0, f, -3, 1.
-3, 0, 1, f
Let w = 25 + -24.6. Let n = w + -4.4. Sort n, -4/7, 1/3 in decreasing order.
1/3, -4/7, n
Suppose 3*b + 21 = 4*b. Suppose 2*v + 3*v + 75 = 0. Let f be -1*b/v + -1. Put f, 2/9, 0.3 in ascending order.
2/9, 0.3, f
Suppose -2*p + 8 = s + 7, 0 = -4*s - 12. Let q = 5 + -10. Sort q, p, 4 in ascending order.
q, p, 4
Let c(d) = -68*d + 742. Let b be c(11). Sort 5, 3, 0, b in increasing order.
b, 0, 3, 5
Let j be (1/(-5))/((-18)/450) - 5. Let a(s) = s**2 - 8*s + 7. Let r be (-8)/(-1) + (-12)/6. Let f be a(r). Put -2, f, j in increasing order.
f, -2, j
Suppose 2*j = -2*t - 4, -11*j = -7*j. Put -0.4, t, -0.049 in decreasing order.
-0.049, -0.4, t
Let o(y) = y**3 + 2*y - 3. Let h be o(2). Let n = 10 - h. Let b be (-25)/(-9) - 8/(-36). Sort -3, n, b.
-3, n, b
Let j = -0.989 + 0.589. Sort j, 3/4, -0.1, 5 in ascending order.
j, -0.1, 3/4, 5
Let u = 306 - 126. Sort u, 1, 3 in ascending order.
1, 3, u
Suppose -14*j - 285 = j. Sort -5, -1, 2, j in ascending order.
j, -5, -1, 2
Let v = 99 - 96. Let s = 2/229 - -448/1145. Put -0.5, v, 0.1, s in descending order.
v, s, 0.1, -0.5
Let z = 11 + -7. Let w(h) = 126*h - 12353. Let f be w(98). Sort f, 5, z in increasing order.
f, z, 5
Let o = 2 + -1.6. Let g = 0.258 - -4.222. Let u = g + 1.52. Put o, -0.1, u in descending order.
u, o, -0.1
Let r = 211 - 212. Sort 1, r, 6, 0.
r, 0, 1, 6
Let q = -983.7 - -984. Sort -5, -22, q in descending order.
q, -5, -22
Let y(f) = -3*f**2 - 16*f - 6. Let w(o) = -5*o + 5. Let c be w(2). Let t be y(c). Let z = 0.4 - -0.1. Put 3, t, z in descending order.
3, z, t
Let x = -349 + 347. Sort 5/2, x, -3, -4 in descending order.
5/2, x, -3, -4
Let m(z) = 35*z - 69. Let v be m(2). Put 14, v, -3 in descending order.
14, v, -3
Let u be (-1)/(7/(-875))*6/(-10). Sort -2, u, 2.
u, -2, 2
Let w be (-38)/(-9) - (-2)/(-9). Let k = -988/15 - -66. Let h = 17 + -12. Sort k, h, w.
k, w, h
Suppose 7*b = -3*l + 94 - 72, 5*b - 20 = 0. Suppose o = -4*o + 25. Suppose s + 2*s - 17 = -4*a, 0 = 2*a - 3*s + 5. Sort o, a, l in ascending order.
l, a, o
Let d be 1/8*(-2 - -4). Suppose -13*y = -4*y - 5*y. Suppose -5*w - 15 + y = 0, -2*w - 6 = 3*x. Put x, -0.2, d in decreasing order.
d, x, -0.2
Let w = 3.2697 + -0.2697. Let z = 0.3 - 0.8. Let y = z - -0.3. Put -4/3, y, w in decreasing order.
w, y, -4/3
Let t = -145.6 + 145.3. Let m be 17/21 + 4/(-6). Sort m, 0.1, -1, t.
-1, t, 0.1, m
Let y = 0.3 - 0.1. Let n = -26.1 + 26.6. Put 5, y, n in descending order.
5, n, y
Suppose -t + 16 = 3*t. Suppose t*o = -14 + 6. Let c be (2/2)/((-2)/(-6)). Put c, o, 1/4 in decreasing order.
c, 1/4, o
Suppose -4 + 17 = -2*t + 5*p, 3*t + 4*p = 15. Let k(h) = 6*h**3 + 3*h**2 - 2. Let y be k(-1). Suppose 0 = -0*l + 5*l - 10. Sort t, y, l in increasing order.
y, t, l
Suppose 4*y - 2*y + 2 = 0, 3*q + 2*y = 7. Suppose -g = q*i, -1 = -2*i - 3*g - 8. Sort -5, 5, i.
-5, i, 5
Suppose 641 = -98*i + 3189. Sort 20, -2, i in descending order.
i, 20, -2
Let z be (1/1 - 21/63)*3. Put -1, -26, 0, z in increasing order.
-26, -1, 0, z
Let h = -185 - -557/3. Let z = -0.14 + 0.54. Sort z, 2, h, 3/4 in decreasing order.
2, 3/4, h, z
Let s(n) = -n**2 + 8*n + 13. Let m be s(8). Let u(d) = -d**2 + 15*d - 18. Let y be u(m). Sort 1, y, 3, 5.
1, 3, 5, y
Suppose -w = 16 - 15. Sort -3, w, -21 in descending order.
w, -3, -21
Let r = 91 - 88. Let v(p) = p + 2. Let f be v(-2). Put -1, r, 4, f in increasing order.
-1, f, r, 4
Let y = 9.4 + -1.4. Let u = -100 - -90. Let l = y + u. Put 0.4, 0.2, l in decreasing order.
0.4, 0.2, l
Let q = 16 - 16. Let p = 0 + q. Suppose -j = -2*m + 5*m + 1, p = 5*j - 3*m - 13. Put 1, j, 3 in increasing order.
1, j, 3
Let c = 27 + -29. Suppose 0 = 28*m - 36*m - 56. Sort 1, c, -5, m.
m, -5, c, 1
Let p = 0.077 + -0.1. Let a = -0.453 - p. Let b = 0.07 - a. Sort b, 4, 5 in descending order.
5, 4, b
Let k = -2.02 - -2. Let w = 4.97 + 0.03. Let n = w - 4.6. Sort k, n, 2.
k, n, 2
Let z(n) = 3*n**2 - n + 1. Let q be z(1). Suppose -p = -2*p + 4, 50 = q*f + 5*p. Let s be (1*-2)/(4/10). Sort s, -1, f in decreasing order.
f, -1, s
Let w(j) = -2*j - 33. Let t be w(-12). Let q be (-3)/((-3)/2 + 3). Sort t, 3, 4, q in increasing order.
t, q, 3, 4
Let o(b) = -3*b**2 - 17*b + 2. Let s be o(-6). Suppose -6 = 4*t - t, 5*g + t = -17. Sort s, -23, g.
-23, s, g
Let j(f) = -f**2 - 36*f + 357. Let c be j(8). Sort 2, 91, c in increasing order.
2, c, 91
Suppose 11*s = 13*s. Suppose s = 9*i - 14*i. Let o be (9/33)/3*-1. Sort o, 1, i in ascending order.
o, i, 1
Let l = -2 + 7. Suppose -375 = -216*n - 1023. Sort 3, n, l in ascending order.
n, 3, l
Let x = -665 - -663. Sort x, -59, 0 in descending order.
0, x, -59
Let j(b) = b**2 - 44*b + 91. Let a be j(42). Let y(r) = r**3 + r**2 + 2*r + 3. Let m be y(-2). Sort m, a, 4.
m, 4, a
Let s = -35 - -15. Let q = s - -18. Put 0, q, 5, 4 in increasing order.
q, 0, 4, 5
Let x = 45 + -44.72. Let k = -1.72 - x. Sort 3, k, 3/8.
k, 3/8, 3
Let p be ((-1)/6)/(121/(-33) + 3). Put -32, -0.2, p in decreasing order.
p, -0.2, -32
Let m(a) = 2*a + 16. Let u be m(-11). Let r = -11 - u. Put 3/7, -0.4, r in decreasing order.
3/7, -0.4, r
Let l(w) = w - 2. Suppose 0 = -2*x + 4*i + 22, 4*x = -x - 2*i + 31. Let a be l(x). Let q = 7162 + -7164. Sort q, a, -1/9 in descending order.
a, -1/9, q
Suppose 7513*h - 42 = 7527*h. Sort -1, h, 11, -12.
-12, h, -1, 11
Let b be -1 + 5/((-955)/(-193)). Let z = b - -563/955. Sort z, -0.4, 10/7 in decreasing order.
10/7, z, -0.4
Let d be (0 + -6)*(80/32 + -2). Put 1/5, -455, d in descending order.
1/5, d, -455
Let i = 0.25 + -2.75. Let a = i + 3.5. Sort -3, 0.3, 4, a.
-3, 0.3, a, 4
Let i be 0/((-26)/52*(0 - 4)). Sort 1/5, -1, i, 0.4.
-1, i, 1/5, 0.4
Let n be 12/12 - -1 - 46/2. Put 3, 2, n in descending order.
3, 2, n
Let c be 5*264/(-99)*(-9)/(-20). Suppose 3*l - 5*l = 0. Sort 5, c, -1, l in descending order.
5, l, -1, c
Let z(h) = h**2 - 76*h + 602. Let m be z(9). Let x be 8/6*3/(-2). Sort -10, m, x, 0.
-10, x, m, 0
Let y = -5 + -6. Let w = y + 11.4. Let u = -437/572 + 2/143. Put u, -1, w in descending order.
w, u, -1
Let y = -23 + 21.3. Let q = -3.3 + y. Let d = -1 - q. Put -0.1, d, -6 in descending order.
d, -0.1, -6
Let c(w) = 2*w**2 + 5*w - 3. Let k be c(-4). Let f be ((-27)/(-21))/(k + -6). Put 0.4, 0.2, f in increasing order.
0.2, 0.4, f
Let p be (-1 + 1/1)/1. Suppose -30 = -14*h - h. Let w be (-2 + 6)*1*-1. Put p, h, w in descending order.
h, p, w
Let i = 5094 + -5097. Let x be (1 - 2)*(-2 - 2). Sort x, -4, i.
-4, i, x
Let a = -655 - -654. Put -0.2, 7, 6, a in ascending order.
a, -0.2, 6, 7
Let d = 722 - 725. Sort 2/5, d, 0.3, 37 in ascending order.
d, 0.3, 2/5, 37
Suppo