 derivative of -f**5/10 - f**4/24 - 5*f**2. Let l be u(-1). Sort 0, 4, l in decreasing order.
4, 0, l
Let d = -1/62 + 18/155. Let w = -6.3 - -6. Put d, w, 3 in descending order.
3, d, w
Let b be (-8)/3 - (-7)/(-21). Sort 0.3, 0.5, b in decreasing order.
0.5, 0.3, b
Let w = 800/7 - 114. Sort -0.1, w, 0.5, 2/3 in descending order.
2/3, 0.5, w, -0.1
Suppose 2*y = 2*k + 12, -2*y - k + 6 = -3. Suppose 2*j + y*o - 55 = 0, 0 = -2*j - j - 3*o + 60. Let p be j/(-6)*(-12)/(-15). Sort -4, 5, p.
-4, p, 5
Suppose g - 166 + 162 = 0. Sort g, 9, 3 in descending order.
9, g, 3
Suppose -7*p = 21 - 0. Put p, 0, 3 in ascending order.
p, 0, 3
Let s = 33 - 37. Put s, 1, 2 in descending order.
2, 1, s
Suppose -2*r + 0*r + 7 = -g, -4*r = -3*g - 19. Sort r, -4, -2.
-4, -2, r
Let k = 7/3 + -31/12. Sort 0.3, -3, k in descending order.
0.3, k, -3
Let x = 5/12 + -3/4. Sort 5, -2/3, x in descending order.
5, x, -2/3
Let b = -21.9 - -21. Sort b, -1/8, 0.5 in decreasing order.
0.5, -1/8, b
Let b(l) = l**3 + 5*l**2 - l - 8. Let a be b(-5). Sort -14, 4, a in increasing order.
-14, a, 4
Let n = -1.2 - -9.2. Let t = 3.2 - -5.3. Let c = n - t. Sort 2/13, -5/6, c.
-5/6, c, 2/13
Let q(p) = -3*p**2 + 2*p + 1. Let j be q(-1). Let m = 4 + j. Suppose -4*d = 2*o - 5*o - 15, -3*d + 12 = -3*o. Put m, o, 4 in decreasing order.
4, m, o
Let z = 2 + -6. Suppose 0*q = -4*g + 5*q, 3*q = -g + 17. Let i be 3/(-15)*g/(-4). Put z, i, -0.1 in ascending order.
z, -0.1, i
Suppose 0 = 4*i + 5*k - 63, 3*i - 2*k + 4*k - 42 = 0. Let z be i/30 + (-46)/(-10). Suppose -2*w - 4*b = 4, 2*b + 2 = -w + b. Sort z, w, 0.2 in descending order.
z, 0.2, w
Suppose -j = 4*z + 95 + 93, 2*z = 5*j - 72. Let w = z + 3. Let v = -216/5 - w. Put -2, v, 4 in ascending order.
-2, v, 4
Suppose 3*r = -2*r - 5. Let f = 13.5 + -14. Sort f, -2/5, r in ascending order.
r, f, -2/5
Suppose 0*y + 4*i + 32 = 2*y, -3*y + 20 = i. Let t = y - 7. Put -3, t, -4 in ascending order.
-4, -3, t
Let z be (3/9)/(4/24) + -3. Sort -5, -0.2, 3/2, z in descending order.
3/2, -0.2, z, -5
Let t(r) = r - 1. Let w be t(-1). Let i = w - 0. Put i, 5, -1 in decreasing order.
5, -1, i
Suppose -z = n + 5, -12 = 2*n + z + 2*z. Let h = 79.6 + -80. Let k be (-2)/(-6) + (-6)/(-9). Sort n, k, h in increasing order.
n, h, k
Let k(n) = n**2 - 16*n + 23. Let g be k(14). Let h(x) = -10*x - 6. Let w be h(-4). Let z be (-8)/(-36) - w/(-9). Put -4, g, z in ascending order.
g, -4, z
Suppose 2 = -t + 2*c - 6, 5*c = 4*t + 17. Suppose -t*d + f = 53, 4*d + f + 127 = -4*f. Let m be 4/8 + (-2)/d. Sort 3/7, m, -3 in decreasing order.
m, 3/7, -3
Let l be 2/(-10) - (-1 - -1). Let z(w) = w + 3. Let d be z(-5). Sort 1/2, l, d in increasing order.
d, l, 1/2
Let v be (-20)/(-8)*4/(-2). Put 0, v, 4 in descending order.
4, 0, v
Let f(x) = -x**2 - 8*x + 5. Let g be f(-9). Let n = -4 - 0. Let z be (-4)/n*(3 + 0). Sort 4, g, z in descending order.
4, z, g
Suppose -9*o + o - 8 = 0. Sort -11, -2, -3, o in decreasing order.
o, -2, -3, -11
Let y = -151 + 136.8. Let s = 14 + y. Let v be 2/(-8) + (-22)/40. Put -0.1, v, s in increasing order.
v, s, -0.1
Let c(b) be the second derivative of b**5/20 + b**4 - 7*b**3/3 - 8*b**2 - 3*b. Let n be c(-13). Put 2, n, -4 in ascending order.
-4, n, 2
Let b = -0.57 - -0.6. Sort 1, -5, b in decreasing order.
1, b, -5
Suppose 2*k - 5 = -3. Let d = -6 + 4. Let h be 1/(-1*(-1)/d). Sort 4, k, h in ascending order.
h, k, 4
Let g = 4.2 - 2.2. Put -4, g, 0 in descending order.
g, 0, -4
Let v be (7/(-3) - -2)*1. Let m = 921/8 + -41489/360. Let d = 2/45 - m. Sort d, -2/3, v in descending order.
d, v, -2/3
Suppose z + 20 = 6*z. Put 3, -8, z in descending order.
z, 3, -8
Let d be 2/(-14)*(-14)/4. Put d, 2, 5, -0.18 in increasing order.
-0.18, d, 2, 5
Let s(o) = -o**3 - 3*o**2 - 1. Let v be s(-3). Let r be (-8)/4*(0 + v). Suppose 2*u - 4*i + 6 = -8, 0 = -r*u + 5*i - 18. Sort 3, u, -4 in descending order.
3, u, -4
Let x = -107.3 - -95. Let t = -12 - x. Sort 4, -0.4, t in descending order.
4, t, -0.4
Let n be (-214)/(-8) + (-2)/2. Let u = 25 - n. Let a be ((-4)/39)/((-8)/(-12)). Sort a, u, 0.1 in decreasing order.
0.1, a, u
Suppose 9 = y - 4*y. Sort -1, y, -2 in decreasing order.
-1, -2, y
Let b = -0.7 - -11.7. Let f = 6 - b. Sort -8, -4, f in ascending order.
-8, f, -4
Let d be (-40)/(-6)*(-3)/(-2). Suppose 20 = -d*h + 5*h. Put 8, h, 5 in increasing order.
h, 5, 8
Suppose -2*k - 4 = -6*k. Let s be (-15)/(-18) + (-1)/k. Suppose -2*g = -0 + 6. Sort g, s, -0.1.
g, s, -0.1
Suppose q + 8 = -14. Let x be ((-1)/q)/((-1)/(-4)). Let s = 346/99 - 36/11. Put s, x, -3/5 in decreasing order.
s, x, -3/5
Suppose 2*g - 7*x + 4*x = -10, g + 5*x + 5 = 0. Put -2, -4, g, 1 in increasing order.
g, -4, -2, 1
Suppose 5*x = 4 + 6. Put -2, 0, x in ascending order.
-2, 0, x
Let s = 59.7 - 63. Let n = 3 + s. Put 2/9, n, 0.2 in ascending order.
n, 0.2, 2/9
Suppose -2*t = -7*t - 30. Let k be (-11)/(-22) - t/4. Sort 0, k, 3.
0, k, 3
Let s = -27 - -15. Let r = -12 - s. Sort 5, r, 3/7 in descending order.
5, 3/7, r
Let b be 0 + 0 - (4 + -9). Put 0, -12, b in ascending order.
-12, 0, b
Suppose 2*q + 3*s = 2, 4 = 2*q + 5*s + 2. Suppose 3*u + q = -2. Sort u, -5, 3 in ascending order.
-5, u, 3
Let t be 4/(-10) + 230/(-50). Sort -2, 5, t in increasing order.
t, -2, 5
Suppose -5 = c + 4*h, -2*h - 38 = 3*c - 3. Sort c, 0.5, 5.
c, 0.5, 5
Suppose p + 8 = -n, -4*n - p = 1 + 16. Suppose -m + 4*m - 6 = 0, 5*m - 9 = q. Sort -2, q, n in increasing order.
n, -2, q
Let j be (30/(-25))/(4/(-50)). Suppose 0 = -3*h + a + 5, -a + 4*a = -3*h - j. Put h, 3, -2 in descending order.
3, h, -2
Let c = -19 + 26. Sort 2, 2/5, c.
2/5, 2, c
Suppose -5*w + 3 = 33. Let q = w - -8. Sort -5, q, 3 in ascending order.
-5, q, 3
Let t = -21 + 34. Put 0, -5, t in increasing order.
-5, 0, t
Let b be 3/(-4 + (-6)/(-2)). Sort 2/3, b, 2/9, 2 in increasing order.
b, 2/9, 2/3, 2
Let u(n) = -6*n - 1 + 1 - n**2. Let a be u(-5). Suppose a*p - 1 = -3*m + 3*p, -2*p + 10 = 0. Sort 2, m, 4 in decreasing order.
4, 2, m
Let h = 362/15 + -24. Let s = 15 + -16. Sort s, 1, h.
s, h, 1
Let r(y) = y**2 + 15*y - 15. Let f be r(-16). Let p = -6 - -3. Sort 0.1, f, p.
p, 0.1, f
Let b = -10 + 12. Suppose -2*t - 12 = 2*a + 2*t, b*a + 3*t + 10 = 0. Sort 0, -4, a in descending order.
0, a, -4
Let a(r) = 4*r - 1. Let s be (2/(-3))/((-2)/3). Let x be a(s). Put 4, x, -2 in descending order.
4, x, -2
Let b = 195 + -204.7. Let d = 1.7 + b. Let y = 13 + d. Put -1/2, y, 4/3 in ascending order.
-1/2, 4/3, y
Let u be (-1)/(-2) + 1/(-2). Suppose u = -q - 1 - 1, 5*q + 15 = -5*c. Sort 5, -5, c.
-5, c, 5
Let n = -0.62 + 0.32. Put n, -0.5, 0, 5 in decreasing order.
5, 0, n, -0.5
Let x = 120 - 122. Suppose 0*z = -5*z, 3*z = 4*i. Sort -3, i, x in increasing order.
-3, x, i
Let q = 1 - 0.7. Let r be (-4)/4 - (-16)/14. Sort r, q, -4/3 in descending order.
q, r, -4/3
Let m = -0.12 - -0.52. Let y = 0.4 - 0.36. Let v = y + 1.96. Sort v, m, -1 in decreasing order.
v, m, -1
Let v = 4/87 - 115/609. Let s = -7 + 2. Put -3, v, s in increasing order.
s, -3, v
Suppose 0 = 2*q - 2*j + 2, -q + 9 = -2*q - 3*j. Put -6, -4, -1, q in decreasing order.
-1, q, -4, -6
Let i(r) = r**2 + 17*r + 13. Let f be i(-16). Put f, 4, -5 in descending order.
4, f, -5
Let h = 12420 - 6520498/525. Let v = h - -1016/8925. Let l = 0.33 + -0.13. Sort l, v, -0.3.
-0.3, v, l
Let k = -0.6 + 1. Let g be (-6)/4*(124/24 + -5). Sort k, -0.3, g in ascending order.
-0.3, g, k
Suppose 0 = -4*t - 3*v - 10 - 13, 0 = -t - v - 7. Sort 1, t, 4 in descending order.
4, 1, t
Let w be (-4)/(-16) + (-3)/(-4). Let y(t) = -t**2 - t - 2. Let c = -6 + 6. Let f be y(c). Sort 2, f, w in decreasing order.
2, w, f
Let g = -0.2 - -0.5. Suppose 5*y - 5*u - 40 = 0, 8*y - 3*u - 32 = 3*y. Put g, y, -5 in increasing order.
-5, g, y
Let v(y) = -28*y + 6. Let n be v(7). Let g = n + 1712/9. Put 1/4, g, -3 in descending order.
1/4, g, -3
Let t be (-30)/(-4) + (-2)/4. Let j = -5 + t. Put -1, -4, j in increasing order.
-4, -1, j
Suppose -3 = 5*c + 22. Let b = 87 + -90.7. Let j = 0.3 - b. Sort c, -0.2, j in decreasing order.
j, -0.2, c
Let n(s) be the third derivative of 1/4*s**4 + 0*s + 0 - s**2 - 1/2*s**3 + 1/60*s**5. Let t be n(-6). Put -4, t, -1 in descending order.
-1, t, -4
Let v = 13 - 10. Sort 0, v, 2 in ascending order.
0, 2, v
Let o(a) = -a**2 + 4*a +