9. Let q be s(-7). Let c be z(q). Sort c, 0.4, -5 in descending order.
0.4, c, -5
Let x be 3/(-2) - (-3)/(-6). Let p = x + 3. Let h be 4 + (-2 - -3)/(-1). Sort p, 4, h.
p, h, 4
Suppose -8*o - 18 = o. Sort -6, o, 0.09 in increasing order.
-6, o, 0.09
Suppose 5 = k - 6*k. Suppose -8 = 2*j, 2*u - 2*j = -0*j + 2. Put -4, u, k in decreasing order.
k, u, -4
Suppose 4*c + 68 = 2*o, -2*c - 2*c - 48 = 3*o. Let j = c + 10. Let w = -1/43 + -41/86. Sort -4/3, j, w.
j, -4/3, w
Suppose 8 = -28*a + 26*a. Sort -2, 17, a in descending order.
17, -2, a
Let a(j) = j. Let i be a(-3). Let d = 0 + i. Sort -7, 4, d.
-7, d, 4
Let q = 0.524 - 0.024. Let c = -13/5 + 159/65. Sort q, -3, c.
-3, c, q
Let b = 3 + -1. Let j = -7 - -11. Put b, 0, j in increasing order.
0, b, j
Let f = -5 + 1. Let u = f - -9. Let b be 2/u + 16/10. Sort b, -1, 1 in ascending order.
-1, 1, b
Let z = 1 + -1.5. Let o = -2 + -1. Let u = o + 7. Sort z, u, 0.4.
z, 0.4, u
Let w = 4.8 - 5. Let p(f) = -f + 3. Let n be p(4). Let t be (-95)/30 + n + 4. Sort t, 0.7, w in descending order.
0.7, t, w
Let h = 14 - -5. Let z = h - 13. Let y be 14/10 + z/10. Sort y, -2, -4 in decreasing order.
y, -2, -4
Let q = 0.4 + 1.6. Put q, -5, -8 in increasing order.
-8, -5, q
Let q(v) be the first derivative of -v**4/4 + v**3 - 2. Let r be q(3). Suppose 3*y - 3*k = -2*k - 2, 4*y + 3*k - 19 = 0. Sort r, 5, y.
r, y, 5
Let s = 8 - 4. Put s, 2/11, -5 in increasing order.
-5, 2/11, s
Let t be (-1)/1 + -14 + 11. Sort t, -1, 2, -5 in ascending order.
-5, t, -1, 2
Suppose 4*d + d = 15. Let q = 1 + d. Sort -1, -2, q.
-2, -1, q
Suppose -d + 3 = -1. Let f be ((-6)/d)/((-6)/8). Sort 4, f, -2 in increasing order.
-2, f, 4
Let c(q) = q + 2. Let p be c(-4). Let m(k) = -k**2 + 8*k + 1. Suppose -2*s = 2*o - 20, -o = -2*o + 4*s. Let z be m(o). Put 5, z, p in descending order.
5, z, p
Suppose 3*m + 2 - 23 = 0. Let y(p) = -p + 8. Let k be y(m). Suppose 0 = -h - 5*s + 22, -2*h = 2*s - 5 + k. Sort h, 0, -1 in descending order.
0, -1, h
Let d be (2/8)/((-20)/48). Put -3/2, d, -0.5 in descending order.
-0.5, d, -3/2
Let o = -0.5 + -1.5. Let s = 2.8 - 3. Let i = s + 0.6. Put i, -1, o in increasing order.
o, -1, i
Let f = 0.31 + 20.69. Let c = -21 + f. Sort 2, -2/7, c.
-2/7, c, 2
Let d = 180 + -179. Sort d, -0.5, 2/3 in decreasing order.
d, 2/3, -0.5
Let g = 2 - 4. Sort 1/2, g, 3.
g, 1/2, 3
Let z(y) = -y. Let p be z(-5). Sort 0.5, 3, -0.8, p in descending order.
p, 3, 0.5, -0.8
Let j = 28 + -23. Let k = -1 + 4. Suppose -3*z = -5*l - 24, 4*z = k*z + 3. Sort l, j, 3/7 in decreasing order.
j, 3/7, l
Let x be 2/((-18)/4 - -2). Let b = 0.25 + -0.15. Sort b, -5, x in descending order.
b, x, -5
Let z(d) = -d**2 + 9*d + 12. Let i be z(10). Sort -2, 7, i, 1 in descending order.
7, i, 1, -2
Let h = 15 - 16. Put h, 8, -2 in decreasing order.
8, h, -2
Let g = -0.8 + 0.7. Let v = g - 0. Let u = -7.3 + 7. Put u, -3, v in ascending order.
-3, u, v
Let j = 0.129 + -1.469. Let q = -0.36 + j. Let d = 0.3 - q. Sort d, 3/8, -5 in decreasing order.
d, 3/8, -5
Let p(h) = -h**3 - 9*h**2 - 6*h + 19. Let u be p(-8). Let o be -1 + 6 - (0 + u). Sort o, -0.04, -5 in ascending order.
-5, -0.04, o
Let r be (18/(-10))/(4/30). Let b = r + 13. Let p = 449/7 - 64. Sort -3, p, b in decreasing order.
p, b, -3
Let s = 0.07 + 0.03. Let a = -0.2 + 0.1. Let g = s - a. Put 2/11, 3, g in decreasing order.
3, g, 2/11
Let u be 3190/56 - 10/(-35). Let s = 57 - u. Let p = 3.4 + 0.6. Put p, s, -5 in descending order.
p, s, -5
Let p be (6/10)/(3/30). Suppose 0*s = 2*s - 6. Suppose 0*v + s*v = -p. Sort -5, -4, v in ascending order.
-5, -4, v
Suppose -9 = 4*v + 3. Let o be 3 - 3/3*3. Let l be (o/(-2))/(5 - 4). Put l, v, -5 in descending order.
l, v, -5
Let y be 1 + 1 - 1 - 4. Let m(k) = 0 - 1 - k + 3. Let r be m(-2). Sort y, r, -2 in increasing order.
y, -2, r
Suppose -b - 3*b - 1 = 5*o, -2*b = o - 1. Let d = -2 - -6. Sort 3, d, b in decreasing order.
d, 3, b
Let d be 50/(-20)*1*-2. Put -8, d, 4 in decreasing order.
d, 4, -8
Let s be 3*(21/9 - 3). Put -1, -3/5, s in ascending order.
s, -1, -3/5
Let a(n) = -n**2 + 8*n + 4. Let h be a(8). Suppose -h*u = u. Let f be -4*(6 + -3)/(-3). Put u, -3, f in decreasing order.
f, u, -3
Let g = 11 + -14. Sort -5, 3, g in increasing order.
-5, g, 3
Let t be 2/7 + (-19)/(-7). Suppose -2*s = -s + 1. Put t, -2, s in descending order.
t, s, -2
Let j be (-57)/(-12) + (60/(-16) - -4). Suppose 3*b = 2*b - 2. Sort -0.2, b, j in descending order.
j, -0.2, b
Let o = 2 - 1.6. Let d = o + -1.4. Let i be (-84)/(-135) - (-4)/(-10). Sort -3, d, i in decreasing order.
i, d, -3
Suppose s + 4*u - 18 = 0, -3*s + 1 + 2 = -5*u. Sort -1, s, 3.
-1, 3, s
Let v be (18/12)/((-6)/(-20)). Sort v, -3, 1 in increasing order.
-3, 1, v
Let a be (-6 - -6)*(-2)/(-2). Sort 13, -5, 3, a.
-5, a, 3, 13
Let f be -11 + 1 - (1 - 0). Let s = -8 - f. Let h = 6 + -10. Sort -3, s, h in ascending order.
h, -3, s
Let o(j) = j + 1. Let b be o(-2). Sort b, 0, 2.
b, 0, 2
Let y = -0.3 - -0.4. Let b = -1.6 - -1.5. Put b, 2, y in increasing order.
b, y, 2
Let f be 0 + -1 + -7 + 4. Let b(m) = -m**2 - 7*m - 1. Let a be b(-6). Suppose a*q - 2*q = 12. Sort q, 2, f.
f, 2, q
Let v = 25 + -20. Sort 2/5, v, 1 in increasing order.
2/5, 1, v
Let m(x) = x**3 - 3*x**2 - 3*x + 2. Let y be m(4). Let v be (-1 - 1)*(-15)/y. Suppose z + 4*z - v = 0. Sort 4, z, 0 in descending order.
4, z, 0
Let t = -32 - -31. Suppose -4*w = -3*o - 6*w - 2, 0 = 4*o + 2*w + 2. Let g = 2 + o. Sort t, g, 4.
t, g, 4
Let i be 5/1 - (6 - 3). Put 6, -4, i, 5 in decreasing order.
6, 5, i, -4
Let y = -0.48 - -0.18. Sort -5/4, -2, y, 0.2 in descending order.
0.2, y, -5/4, -2
Let y be 46/30 + (-7)/(21/4). Let o = 6/5 - -1/20. Put -5, y, o in decreasing order.
o, y, -5
Let g = -65 - -65. Sort g, 2/13, 4 in increasing order.
g, 2/13, 4
Let n = -0.3 - 0.2. Let g = 1 + -1.4. Put n, g, -1/5 in decreasing order.
-1/5, g, n
Suppose -3*l = a - 0*a - 31, 5*a + 5*l = 105. Let x be (a/(-10))/((-2)/5). Let o = -10 + 15. Put x, 1, o in decreasing order.
o, x, 1
Let v be (-6)/(-2)*6/18. Suppose -1 = -h - 2. Sort 3, v, h.
h, v, 3
Let z = -53 - -48. Sort z, 1/4, -3.
z, -3, 1/4
Let q be (-30)/45 - 8/6. Put -0.1, 4, 2, q in increasing order.
q, -0.1, 2, 4
Let f = 15 + -14. Sort -0.2, f, -3/4.
-3/4, -0.2, f
Let g = -27 - -26. Put -3, 3, g, 1/3 in descending order.
3, 1/3, g, -3
Suppose -z - 4*f = -11, -5*z + 9 = 4*f + 2. Let m(a) = -3*a**2 - 2*a + 3. Let i be m(2). Let l(w) = -w - 17. Let s be l(i). Put 4, s, z in descending order.
4, z, s
Let a = -19 + 94/5. Let f = 0.04 - 0.44. Sort 1, a, f in descending order.
1, a, f
Let a be 6/(-4)*8/6. Let v be (2 - 2) + (-1 - -3). Suppose -2*g - v*g = -20. Put -5, a, g in increasing order.
-5, a, g
Let s be 7 - 3 - 20/5. Put -2, s, 2 in descending order.
2, s, -2
Let j = -25 + 13. Let i = j - -13. Sort 4, 0, i in increasing order.
0, i, 4
Let v = 3.6 - -1.4. Let p be (-3)/(-21) - 0/2. Sort v, p, 1 in decreasing order.
v, 1, p
Let p = 1 - 1. Let d(t) = -t**3 - 11*t**2 - 30*t + 4. Let k be d(-6). Sort p, k, 2 in decreasing order.
k, 2, p
Let r = 6 + -4. Let u = 4.92 + 0.08. Let t = 2 - u. Sort t, 1, r in decreasing order.
r, 1, t
Let q be 1*-1*(-3 - -4). Suppose 0 = -5*n - 26 + 1. Put q, 1, n in ascending order.
n, q, 1
Let r = -20 - -16. Sort 1, r, -10, 4 in decreasing order.
4, 1, r, -10
Let j be (-1 - 1)*(-20)/(-5). Sort j, 4, 0.
j, 0, 4
Suppose -15 = -4*y - 23. Sort -1, y, 3, 5 in descending order.
5, 3, -1, y
Let f = 141 + -144. Let w = 0.03 - -1.07. Let k = w + -1. Sort -0.2, f, k in decreasing order.
k, -0.2, f
Suppose -2*z = 2*y + 2, 4*z + y = -0*y + 8. Suppose -7 = -z*s + 5. Suppose 2*d - 2*q = -4 + 16, d + 4*q + s = 0. Sort 1, -3, d.
-3, 1, d
Let c = -1.03 - -0.03. Sort 1, 2/7, c in decreasing order.
1, 2/7, c
Suppose 0 = -4*m + 32 + 16. Suppose 2*w + m = -w. Sort w, 3, 5 in increasing order.
w, 3, 5
Suppose y + 1 = 2*u, 5*y + 3 = -5*u - 32. Let c be (y + 4)*(-1 + 1). Put 1, c, -1 in ascending order.
-1, c, 1
Let g = 4.02 + -0.02. Let z = g + 1. Put -4, 0, z in decreasing order.
z, 0, -4
Let q = -7 + 12. Suppose -2*a + 21 = q*w, 0 = 4*a + 4*w - 16 - 8. Sort -4, a, -5 in ascending order.
-5, -4, a
Let i be 0/3 - 2*-8. Let s = i - 15. Put s, 0.3, -0.5 in increasing order.
-0.5, 0.3, s
Let c = -2.985 + -0.015. Put 4, c, 1, 3