9. Let w = -5 - -3. Sort w, y, -1/9 in increasing order.
w, -1/9, y
Let i = 0.55 + -0.05. Let d = i - 0. Let l = -9.5 - -9. Sort d, l, 1/4 in decreasing order.
d, 1/4, l
Let c = -5.6 - -11.6. Put -1, 0.4, c, -2 in descending order.
c, 0.4, -1, -2
Let d = 5 + -3. Suppose 2*z + d + 2 = 0. Let s = 7 + z. Sort -5, s, 2 in decreasing order.
s, 2, -5
Let a = 7.1 + -3.7. Let n = -3 + a. Sort n, -0.3, 0.5.
-0.3, n, 0.5
Let q = -9 + 18. Let c be (-6)/q + (-34)/(-6). Sort 1, 0, c in increasing order.
0, 1, c
Let l be (-2)/(-10)*(-55)/(-88). Put 0.3, -3, l in increasing order.
-3, l, 0.3
Suppose 0 = -2*b + 6*b. Let d(k) = -2*k**2 - 3*k + 3. Let z be d(-3). Let j = z + 1. Put -2, j, b in decreasing order.
b, -2, j
Let a be (-20)/6 - -3*(-6)/(-54). Put 1, 22, a in descending order.
22, 1, a
Let g = -3 - -8. Let w be (-2)/2 - (6 + -6). Sort 4, w, g in decreasing order.
g, 4, w
Let r(k) = k + 1. Let j be r(0). Let i be ((-56)/(-16) - (-2)/4)*-1. Put j, i, 0 in ascending order.
i, 0, j
Let j = 0 + 0. Suppose -4*f + 5*u - 33 = 0, f + 3*u = 2*f + 10. Put 1, f, j in decreasing order.
1, j, f
Let x = 0.39 + 0.01. Let g = 0.5 + -0.8. Put x, 1/6, g in decreasing order.
x, 1/6, g
Let v = -2 + -3. Let k(p) = p**3 + 7*p**2 + 6*p + 2. Let r be k(-6). Let j = 97.5 + -98. Put j, r, v in ascending order.
v, j, r
Suppose -t + 3*p = -10, 16 = t - 5*p - 2. Sort 0, t, 5, 3 in ascending order.
t, 0, 3, 5
Let z = 12 + -7. Let g = -16.3 - -16. Let y = 0.2 - 3.2. Put g, y, z in decreasing order.
z, g, y
Let g = -4.45 - -2.39. Let f = -0.06 - g. Let m = f - 6. Put m, 0.3, 5 in descending order.
5, 0.3, m
Let f = 36 + -39. Let x = 0.9 - -4.1. Sort f, 0.1, x in ascending order.
f, 0.1, x
Let b be ((-30)/(-54))/((-1)/(-3)). Put 0, b, 1 in descending order.
b, 1, 0
Let o be (-75)/5*(-4)/(-10). Let c be (3 + o)/3 + 4. Sort 1, -3, c.
-3, 1, c
Let c be 120/54 - (-4)/(-18). Suppose -2*z + 9 = m, 0 = -2*z - 3*m + m + 10. Put -4, z, c in ascending order.
-4, c, z
Let m(j) = j**3 - 4*j**2 + 5*j - 6. Let g be m(4). Let v = g - 9. Suppose -5*p - 4*b = -14, -v*p = -6*b + 3*b - 7. Sort 5, -3, p.
-3, p, 5
Suppose 6*o + 29 = 11. Sort 1, 4, o, -2 in increasing order.
o, -2, 1, 4
Let x = 8 - 58/7. Let k = -63 - -62.5. Sort 2, k, x in descending order.
2, x, k
Let n = 109 + -104. Sort 0.3, n, -0.1, 0.2 in descending order.
n, 0.3, 0.2, -0.1
Let t = -55 + 79. Suppose -f + 2*f - 3 = 0. Let j be ((-1)/(-2))/(f/t). Sort j, -4, -2.
-4, -2, j
Let s = 27 - 83/3. Let b be 1 - 1/((-9)/(-7)). Sort s, b, 0.4 in ascending order.
s, b, 0.4
Suppose 0*t - 19 = t + 3*x, 9 = 4*t - 5*x. Suppose -d - 3*f = -2, -5*f = 2*d - 10*f + 7. Sort t, d, -2 in increasing order.
t, -2, d
Suppose 0 = 2*p - 4*p + 44. Suppose -p = -3*x - 4*j, -5 = -x + j - 0*j. Suppose x = 3*n - n. Put 0, -5, n in increasing order.
-5, 0, n
Let p(t) = -t**2 + 7*t - 2. Let u be p(6). Let a = 30 - 20. Suppose 2*i + 0*i = a. Sort 2, i, u in descending order.
i, u, 2
Let n be 11 - (0 - (0 - 1)). Suppose 4*k + 2*v + n = 0, -3*k - 3*v = -0 + 3. Let f = -0.8 + -0.2. Put k, f, 2 in decreasing order.
2, f, k
Let p = -2/121 + 373/605. Let s = -5/20298 + -10250425/263874. Let k = 39 + s. Sort p, -0.2, k in decreasing order.
p, k, -0.2
Suppose -4*v + 2 = -3*v. Suppose 2 = -w - 0*w. Let o = 10 + -14. Sort w, o, v in descending order.
v, w, o
Let b be (38/14)/((-12)/(-14)). Let a = 113/30 - b. Put 0.2, a, -2 in decreasing order.
a, 0.2, -2
Let q = -51 + 60. Sort -5, 0, q.
-5, 0, q
Let y(i) = -i**2 - 2*i - 1. Suppose 0*a - 4 = 2*a. Let w be y(a). Suppose 0 = u + 4*g - 22, 0*g = -5*u - 2*g + 20. Put u, 3, w in ascending order.
w, u, 3
Let h = -2 - -3. Let p = 3.7 + 1.3. Sort p, h, -3 in decreasing order.
p, h, -3
Let g be 1/(-4) - (-27)/300. Let a = -156/209 - -24169/20900. Let j = g + a. Put j, 0, -2/7 in decreasing order.
j, 0, -2/7
Let k = 12 + 8. Let v be 4/k + (-5)/25. Suppose 4*s - 4 = -0. Sort s, -5, v in increasing order.
-5, v, s
Let d(x) = x**2 - 3*x - 4. Let b be d(4). Let g(k) = k**3 - 4*k**2 - 2*k + 6. Let i = 21 + -17. Let j be g(i). Sort 1, b, j in increasing order.
j, b, 1
Let i = 1.37 + -1.4. Sort -0.4, i, -5 in descending order.
i, -0.4, -5
Let s = -10.4 - -1.4. Let h = -5 - s. Put 5, h, 0 in increasing order.
0, h, 5
Let p = 14 + -13. Sort 2, 3, p in decreasing order.
3, 2, p
Let l = -4 + 6. Suppose 21 - 1 = 5*b. Suppose 0 = -3*m + 2*z - 0*z - 7, z + 10 = -3*m. Put l, m, b in descending order.
b, l, m
Suppose 25 = 4*n - 2*y - 3*y, -10 = -5*n + 2*y. Suppose 0 = 2*m - 0*m + 4*h + 2, 0 = 3*m + 2*h - 9. Let p = 2 - m. Put p, 4, n in descending order.
4, n, p
Let d = 6 - 0. Let q(j) = -j**2 + 6*j. Let v be q(d). Put 3, v, -3 in ascending order.
-3, v, 3
Let i = 1.2 + -1. Let d = 19.1 + -16.1. Sort i, d, -0.9 in decreasing order.
d, i, -0.9
Let a be (-7)/(-2)*(-6)/14. Let i = -2/5 + 1/5. Sort a, -2, i.
-2, a, i
Suppose -3*y + 13 = f - 0*y, -f - 5*y = -21. Let v be (-3)/12 - (-18)/8. Suppose -2*x = k + 4, k = -v*x - 3*k - 16. Put f, x, 5 in ascending order.
x, f, 5
Let y be 290/75 + 4/30. Put -4, -5, y in increasing order.
-5, -4, y
Let b(l) = -l**3 - 6*l**2 - 7*l - 5. Let h be b(-5). Let v be (1 - 3) + (5 + -5 - -6). Sort -3, v, h.
-3, v, h
Let t be 8/(-9)*3/4. Let j(x) = x**3 + 12*x**2 - 27*x + 12. Let u be j(-14). Sort t, -3, u in descending order.
t, u, -3
Let v = -3 + 3. Suppose -n + 7 = 4*z, v*n + n - 4*z + 9 = 0. Let r(c) = -c**2 + 4*c + 5. Let b be r(4). Sort n, 1, b.
n, 1, b
Suppose -5*w - 4 = 1. Put 3, w, -3 in decreasing order.
3, w, -3
Let r = -3 + 2.9. Let s = r + 0.2. Let c = 61.9 + -62. Sort 4, s, c in increasing order.
c, s, 4
Suppose 12 = -4*g + 4*q, -q + 2 - 5 = g. Let v = -7 - -4. Let h = v + 6. Put g, h, 4 in descending order.
4, h, g
Suppose -c = -5*z + 12, 0 = -2*c + 5*c + z - 12. Suppose 351 = -c*i - 93. Let p = -2222/15 - i. Sort -0.4, p, -2.
-2, -0.4, p
Let y = 7 + -7.3. Let d = 6.3 - -1.7. Let v = 4 - d. Put v, 4, y in decreasing order.
4, y, v
Let u(n) = -6*n + 23. Let o be u(5). Put o, 0.4, 0 in descending order.
0.4, 0, o
Let k = 2.4 + -2. Put 1/2, -0.4, k in ascending order.
-0.4, k, 1/2
Let n be 34/(-10) - (5 + -8). Put n, 3, -1/9 in decreasing order.
3, -1/9, n
Let q(g) = -g - 7. Let m be q(-6). Let a(o) = o - 1. Let x(k) = -k**2. Let u(j) = m*a(j) - 3*x(j). Let z be u(1). Sort 3/2, z, -3 in decreasing order.
z, 3/2, -3
Let g = -250/7 - -36. Put 0.3, 3, g in descending order.
3, 0.3, g
Let t = -10.9 - -10.6. Put 1.7, 4, t in decreasing order.
4, 1.7, t
Let h = 13.6 + -14. Sort -1, -0.5, h in decreasing order.
h, -0.5, -1
Let h = -1312/9 - -146. Suppose 4*b + g = -75, 0*g = -2*b + g - 45. Let q be 3 - b/14*-2. Put 5/4, q, h in ascending order.
q, h, 5/4
Let t(j) = -4*j**3 - 2*j - 1. Let m be t(-1). Let p(z) = -z**3 - 2*z**2 + 2*z + 1. Let g be p(-3). Sort m, -5, g.
-5, g, m
Suppose 5*n + 5*r + 15 = 0, -3*n + r = 2*n + 27. Let o = 4 + n. Sort 1, -4, o in descending order.
1, o, -4
Let a = -1236/7 + 177. Let r = 2.02 + -0.02. Suppose 5*m + 15 = 2*l, l = -6*m + m. Put r, a, m in ascending order.
m, a, r
Let z = 2 + -2. Suppose z*t - 85 = -5*t. Suppose -2*h = -6, -3*h + 2*h - t = 5*p. Sort 5, p, 3.
p, 3, 5
Let o(d) = d + 5. Suppose 2*b = 4*c, -3*b = 2*b. Let f be o(c). Suppose -z - 3*z + 5*g = 36, -f*z - 8 = 3*g. Sort z, -3, 4 in descending order.
4, -3, z
Let r be ((-111)/630)/(2/3). Let j = r + 1/70. Sort -0.2, 3, j.
j, -0.2, 3
Let s = 22 - 24. Put 3/7, -0.3, s, 0.4 in decreasing order.
3/7, 0.4, -0.3, s
Let l = 124.89 + -125. Sort 1/6, 0.3, l in decreasing order.
0.3, 1/6, l
Let x = 63/5 - 13. Let r = -2.8 + 3. Let p = 0.3 - 0. Sort r, x, p in descending order.
p, r, x
Suppose -3*y + 5*y = q - 2, 0 = 3*q + 12. Put -5, 5, y, 26 in decreasing order.
26, 5, y, -5
Let o(s) = 2*s**3 + 22*s**2 + s + 10. Let k be o(-11). Put -5, 4, k in decreasing order.
4, k, -5
Suppose 2 = -2*y - 0*y. Let i be 108/14 - (-8)/28. Suppose a + i = 3*f - 1, 2*f - 6 = -2*a. Sort -3, y, a.
-3, y, a
Let c be (-6)/4 - 1/(-2). Sort 5, c, -4, 0 in increasing order.
-4, c, 0, 5
Let s = 1 + -1. Let h = -0.1 + s. Let i = 17 + -19. Put h, 0.2, i in descending order.
0.2, h, i
Let a(v) = 3*v**2 - 41*v + 21. Let q be a(13). Let m(n) = -n + 3. Let k be m(5). Sort k, -1, q in ascending order.
q, k, -1
Let k(j) = -j**3 + 6*j**2 - 4*j - 10. Let m be k(5). Sort m