 n = z - -0.08. Let r = 3.3 + n. Sort -2/11, 1, r in decreasing order.
r, 1, -2/11
Let r be 1 - 6*(-2)/(-4). Suppose 3*f = 4*f. Suppose 0 = -f*h - 3*h - 9. Sort h, r, 0 in ascending order.
h, r, 0
Suppose -12*s = -11*s + 2. Sort 0, 5, s.
s, 0, 5
Let x be ((-42)/(-24) - 2)/(1/(-12)). Put -1, 0, -0.4, x in descending order.
x, 0, -0.4, -1
Suppose -2*b - 4*t = b - 3, -2*b + t = -13. Let m = 21 + -18. Put b, -1/2, m in decreasing order.
b, m, -1/2
Let c be (-8)/6*(-90)/(-20). Let w = 6 + c. Sort -7, 4, w in descending order.
4, w, -7
Let b = -1 + -4. Let g be ((-9)/42)/((-5)/10). Let q = 2 + 1. Sort q, b, g.
b, g, q
Let r be 8 + -6 + 1*-3. Put -1/2, r, 5 in increasing order.
r, -1/2, 5
Let n be (26/(-5))/(8/40). Let y be (-1)/5 + n/(-30). Put y, 3, -8 in descending order.
3, y, -8
Suppose 0*w + 2*m - 15 = -5*w, -2*w = 4*m + 10. Let s be (-6 + 1)/((-3)/3). Suppose 2*p - s - 3 = 0. Sort p, w, -2 in descending order.
w, p, -2
Suppose 2*h + 40 = 3*t + 15, -4*t - h = -15. Let u(r) = r**3 + 9*r**2 - 4. Let m = 6 + -15. Let p be u(m). Sort 3, t, p.
p, 3, t
Let y = 36 - 32. Put 2, -3, y in decreasing order.
y, 2, -3
Let f = -2693/35 - -77. Sort f, 0.3, -1/6 in ascending order.
-1/6, f, 0.3
Let n be 2/((-2)/(-5)) - -2. Suppose 1 = 3*r - 14. Sort r, n, 2 in decreasing order.
n, r, 2
Let c = 0.0027 + -3.0027. Let y be 6/(-8)*1*2. Sort y, c, 0.3 in increasing order.
c, y, 0.3
Let c = 0.47 + 3.53. Put c, -3, -1/3 in increasing order.
-3, -1/3, c
Let s = -0.11 + 5.11. Put 0.2, 2/3, s in decreasing order.
s, 2/3, 0.2
Let x = -29 + 30. Sort x, 5, -4 in increasing order.
-4, x, 5
Suppose -2*a + 3*j = -10, 0 = a + a + 4*j - 10. Suppose 13 = a*q - 12. Put 3, q, 4 in descending order.
q, 4, 3
Suppose -2*m - 1 + 7 = 0. Let k(w) = -w**3 + 5*w**2 - 2. Let o be k(5). Put o, m, -4 in decreasing order.
m, o, -4
Let o = -14.69 - -15. Let y = o + -2.71. Let b = 2 + y. Sort b, 0.3, 1 in decreasing order.
1, 0.3, b
Let r be 192/(-20) - 2/5. Let n be ((-3)/r)/(4/(-10)). Put -4/7, -0.03, n in decreasing order.
-0.03, -4/7, n
Suppose 5*r = 14 + 11. Put r, 2/7, -1 in increasing order.
-1, 2/7, r
Let r(l) = 3*l - 7. Let p be r(4). Let k(i) = -i**2 + 5*i + 9. Let z be k(7). Sort z, p, 7 in ascending order.
z, p, 7
Let m = 0.051 + -0.351. Put 0.3, -5, 3, m in descending order.
3, 0.3, m, -5
Let c = 1039/91 - 81/7. Sort 1/2, c, 4.
c, 1/2, 4
Suppose -2*d - 4 = -d, -4*q + 4*d + 24 = 0. Let w(g) = -3*g**3 + 4*g**2 - 3*g + 2. Let r be w(q). Let k = r + 17. Sort -1, k, 2 in decreasing order.
k, 2, -1
Suppose -4*r = -3*k - 25, -9 = -r + 2*k + 1. Suppose -u = -2*u + r. Sort u, 5, -3 in descending order.
5, u, -3
Suppose -56 = 2*w + 2*w. Let v = 10 + w. Put v, 2/7, 1/3 in decreasing order.
1/3, 2/7, v
Suppose 2*d + 18 = 3*d - 5*y, d + y = -6. Let a = 0 - -3. Put a, -4, d in ascending order.
-4, d, a
Let j = 0 - -10. Let y = j + -10. Let q = 2 + -1. Sort y, q, -4.
-4, y, q
Let i = -0.7 + 3.7. Put i, -4/5, -0.04 in ascending order.
-4/5, -0.04, i
Let v(h) = 2*h**3 + h**2 - 4*h + 4. Let w be v(3). Let k be w/(-300) + 2/5. Let l = -7/12 - k. Sort -3/2, l, -1/5 in descending order.
-1/5, l, -3/2
Let u = -0.8 - 2.2. Let g be 2 + (3 - 3) + 3. Suppose -3*v = -0*v. Sort g, v, u in decreasing order.
g, v, u
Suppose -6 = 2*w - 0. Put -1, w, -4 in descending order.
-1, w, -4
Suppose 0 = -9*w + 5*w + 56. Let s be (-4)/6 - w/(-21). Suppose 4*v = -3*y - s*v - 11, 4*v = y - 23. Put y, 2, -2 in ascending order.
-2, 2, y
Let z be (-8)/(-12) + 10/3. Put -2/13, 5, z in decreasing order.
5, z, -2/13
Let b = -8.08 + 0.08. Let c = -12 - b. Let h = 3.8 + c. Put -2, -1, h in descending order.
h, -1, -2
Let r(n) = -13*n**2 - 3*n + 2. Let g(l) = -l**2 - 7*l - 7. Let c be g(-5). Let a be r(c). Let m be (-4)/22 - a/(-44). Put 5, m, 2 in descending order.
5, 2, m
Suppose o - 7646 = 2*o. Let g = 428219/56 + o. Let l = g - 5/8. Sort l, 0.3, -3/2 in increasing order.
-3/2, l, 0.3
Let b be 4/(-3370)*(-8008)/(-16). Let u = b + -2/337. Sort u, 0.3, -2 in descending order.
0.3, u, -2
Suppose -5*u + 4*u = 3*c - 18, 4*u + 13 = 5*c. Sort -3, 4, 2, u in descending order.
4, u, 2, -3
Let o = -959/8 + 120. Let s = -7 - -11. Sort o, -0.2, s in decreasing order.
s, o, -0.2
Let s = 15 - 6. Suppose -4*q - 2 - s = -5*i, q + 9 = -5*i. Let y = 2 - i. Sort 5, 0, y in descending order.
5, y, 0
Suppose 2*q = -0 - 8. Suppose -3*a - 2*u = -1, -2*u = 3*a + u. Put a, 2, q in ascending order.
q, a, 2
Let u(n) be the first derivative of n**4/4 + n**3/3 + n**2/2 + 2*n - 7. Let d be u(0). Let g(f) = -f - 3. Let x be g(-7). Sort -5, d, x.
-5, d, x
Let j(i) = 2*i + 23. Let d be j(-10). Put d, 0, 2 in increasing order.
0, 2, d
Let h be (4 - 3)*-1 + -1. Let v be (-15)/3*(0 - -1). Put h, 2, v in increasing order.
v, h, 2
Let q = 56 + -163/3. Let f = -24.96 - -25. Let c = 0.51 + -0.11. Sort q, c, f.
f, c, q
Let y be (6 + -2)/(4/2). Let b be (-18)/(-8) + 2*-1. Sort b, -0.3, y in increasing order.
-0.3, b, y
Let l = -10 + 8. Let b = 11 + -16. Sort b, 4, l in decreasing order.
4, l, b
Let d = -1 + 4. Suppose -m + d = f - 2, -3*f = 0. Let y = 8 + -7. Put m, -4, y in increasing order.
-4, y, m
Let p = -8 + 12. Sort p, 5, -3 in decreasing order.
5, p, -3
Let s be (-5)/(-105)*(-1 + 3). Let n = 0.4 + -2.4. Sort s, -5, n in decreasing order.
s, n, -5
Let l be (-16)/(-6) + 4/(-6). Let n be ((-8)/6)/(l/(-6)). Let j be (-10)/n*(-2)/50. Put 1/6, -5, j in descending order.
1/6, j, -5
Let n be -2*9/30*-1. Let t = 19/12 + -1/12. Put n, 5, t in decreasing order.
5, t, n
Let q be ((-4)/(-12)*-5 - -2)*-9. Sort q, -4, -5, 1/3 in descending order.
1/3, q, -4, -5
Suppose -64 = -4*l - 80. Put l, 13, 0.4 in increasing order.
l, 0.4, 13
Let u = 6 - 1. Suppose -3*g + 6 = 3*h, 19 = 2*g + 3*g - 4*h. Suppose -16 + 1 = g*m. Sort u, 0, m in descending order.
u, 0, m
Let o = -7 + 7. Put o, -5, -1 in descending order.
o, -1, -5
Let n = -7 - -7.2. Let q = 0.85 - -1.15. Put 3/7, n, q in descending order.
q, 3/7, n
Let a = 11 + -5. Let b = a + -3. Sort 1, 2, b in descending order.
b, 2, 1
Suppose -2*p + 0 + 6 = 0. Suppose 19 = 5*f - l, -p*f - 2*l = -l - 13. Sort f, 1/6, 5.
1/6, f, 5
Suppose -5*d - 5*k = 190, -2*k - 6 = k. Put 3, d, -1 in decreasing order.
3, -1, d
Let p(b) = -b**3 - 4*b**2 - 2*b - 1. Suppose 0 = 2*r + 5*i - 22, -r + 5*i = -5*r + 34. Let l = r - 9. Let k be p(l). Sort -2, 5, k in descending order.
5, -2, k
Suppose -2*p - 9 = -x - 3, -x - p = 0. Suppose -x*u - 5*z - 27 = 0, -z - 6 = -1. Sort -2, -3, u in decreasing order.
u, -2, -3
Let l = -27 + 22. Put -19, l, -1, -3 in descending order.
-1, -3, l, -19
Let i = -0.082 + -3.918. Sort -2/3, 4, i in increasing order.
i, -2/3, 4
Let p be 2 + 1/(-2)*2. Suppose -4*y = 3*g - 16, -g = -5 + p. Put 2, y, 5 in decreasing order.
5, 2, y
Let a be (-2)/4 + (-5)/2. Suppose y = 5*j + 20, -3 = -4*y - j + 14. Suppose 12 = -2*g + y*g. Put a, 0, g in ascending order.
a, 0, g
Let g(z) = -6*z - 4. Let x be g(-4). Suppose 0 = -w + 5*w - x. Let v be 8/(-2) - (-1 + 0). Sort v, w, -2.
v, -2, w
Suppose 0 = -3*w - 6, -4*i - 2*w + 14 = -w. Let j(x) = -2*x + 2. Let p be j(2). Sort p, -5, i in decreasing order.
i, p, -5
Let p(k) = -k - 8. Let h be p(-5). Let w = 4 + h. Put 5, w, 0.4 in descending order.
5, w, 0.4
Suppose -4*n - k - 11 = 2*k, 0 = -n - 4*k - 6. Let p be 3/(-3)*1 + n. Let f = -4 - -7. Put f, p, 4 in increasing order.
p, f, 4
Let l be (12/4)/(2 + -5). Let r(y) = y - 3. Let q be r(6). Sort 0, q, l.
l, 0, q
Let n = -38 - -39.1. Sort -1/3, 0, n in descending order.
n, 0, -1/3
Let c = 14 - 10. Let r = -2 - -2.3. Let l = -0.2 - r. Sort c, -0.4, l.
l, -0.4, c
Let c = 3 - -2. Put -2, c, -5/6 in decreasing order.
c, -5/6, -2
Let f(o) be the second derivative of -o**4/12 + 4*o**3/3 + 7*o**2 - 3*o. Let t be f(10). Let u be (-2)/t*(-1 + 4). Sort -3, u, -4 in increasing order.
-4, -3, u
Let f = 46 + -41. Sort -2, 1, f in increasing order.
-2, 1, f
Let s = -193 - -773/4. Let a = -0.2 - -0.2. Sort a, -0.4, s.
-0.4, a, s
Let o = 8 + -3. Let x = 9 + -5. Sort -0.4, o, x.
-0.4, x, o
Suppose 2*d - 2*z - 2 = 0, 2*z = d - 0 + 1. Suppose d + 5 = 2*s. Sort -1, 5, s in ascending order.
-1, s, 5
Let r be (18934/(-8))/((-33)/12). Let g = r - 860. Let d = g + -38/77. Sort -5, d, 2 in decreasing order.
2, d, -5
Let p = -14 - -13.6. Sort 0.7, -1/5, p in increasing order