9. Let p = -76.9 + k. Sort 1/8, p, 4 in ascending order.
p, 1/8, 4
Suppose -2*n + 10 = 3*n. Suppose -4*s + 4*f - 7 = s, -n = f. Suppose 4*w = 3*t - 6, 2*w + 4 + 2 = 0. Put s, 2, t in descending order.
2, t, s
Let k be -3 - (0 + -1)/(3/3). Let i = 9/4 + k. Sort i, 0.014, 4/5, -0.2 in descending order.
4/5, i, 0.014, -0.2
Let z(y) = 0 - 3*y + 1 + 0*y - 3 - y**3 - 3*y**2. Let p be z(-3). Let u = p + -10. Sort -1, u, 2 in increasing order.
u, -1, 2
Let b = 3.5 - 3. Let k = b + -0.3. Sort k, -4/5, 2/5 in decreasing order.
2/5, k, -4/5
Let o be (32/(-24))/((-3)/9). Put -1, o, -5 in decreasing order.
o, -1, -5
Let z = -9 - -18. Suppose -4*p - z = -1. Let c be 1*-2*(-6)/(-28). Sort p, 5/6, c.
p, c, 5/6
Let h(n) = n**2 + 8*n + 2. Let d be h(-8). Put 5, 0, -3, d in descending order.
5, d, 0, -3
Let f(r) = -7*r**2 - 54*r + 22. Let z be f(-8). Sort -8, z, -3, 2 in increasing order.
-8, -3, 2, z
Let u = -125 + 217. Let v be 6 + -2 - u/22. Put 6, v, -2 in increasing order.
-2, v, 6
Let l = -2/115 - 103/690. Let g = -0.55 - 25.45. Put l, g, 3 in descending order.
3, l, g
Let q be ((-3)/(-6))/(1/6). Suppose -3*i = -4*b - 5, 3*b - i = -q*i + 9. Let g be ((-2 - b) + 3)/2. Put 3, -1, g in decreasing order.
3, g, -1
Let g be 32/(-18) - (-10)/(-45). Let l(w) = 2*w**2 + 2*w - 1. Let m be l(g). Let f be 2/27*9/m. Sort 1, -0.2, f in increasing order.
-0.2, f, 1
Let j = 424 + -429. Let d = 9 + -4. Let i = -5 + d. Put -0.5, j, i in descending order.
i, -0.5, j
Let g(j) = -j**2 + 5*j - 3. Let q be g(3). Suppose -5*l = -q*l + 6. Let f = 137 + -141. Sort f, l, 4 in descending order.
4, l, f
Let c = -1.79 + -0.21. Let g = -68 + 68.4. Sort g, c, -3 in ascending order.
-3, c, g
Let p = -29 + 37. Suppose 2*s + 10 = h - 3, -2*h - 19 = 5*s. Sort -5, p, h in increasing order.
-5, h, p
Let u = -2 - 0. Suppose -11 = 4*f + 5. Sort f, 3, u in descending order.
3, u, f
Let t = 1775 - 1770. Sort -3, -5, t.
-5, -3, t
Suppose -18*i - 27 = 9. Let v = -5.9 - 0.1. Let m = 6.2 + v. Sort 4, m, i in decreasing order.
4, m, i
Let t = -17 + 21. Suppose v + 5*j = -21, -t*v - v = 4*j. Put v, -4, -6 in increasing order.
-6, -4, v
Let c(p) = p**2 - 2*p - 120. Let i be c(12). Sort i, 4, -15.
-15, i, 4
Suppose -5 = z - 1, -5*r = 2*z + 8. Let k = -43 + 67. Suppose 4 = -5*x + k. Put x, r, -1/4 in descending order.
x, r, -1/4
Let i = 832 + -831. Sort -3/8, 3/4, i in decreasing order.
i, 3/4, -3/8
Suppose 4*m + 6*z - 22 = z, 0 = z + 2. Suppose h + m = a, a - 2*h = 22 - 9. Sort a, 4, 2, -5 in increasing order.
-5, 2, a, 4
Let r = 0.9 + 0.1. Let k = -264.6 - -264.3. Suppose 3*p + 8 = -p. Sort p, r, k.
p, k, r
Let j = -2 + 2.2. Let p = -1.6 - -24.6. Let l = p + -23.4. Sort l, 3, j in decreasing order.
3, j, l
Let y(r) = -r**2 - 9*r + 21. Let m be y(-11). Sort m, -3, 0 in ascending order.
-3, m, 0
Let t(u) = u**3 + 10*u**3 + 0*u - u. Let g be t(-1). Let s = g - -7. Sort s, 3, -4 in descending order.
3, s, -4
Let p = -89.06 - -93. Let b = 0.14 - 0.2. Let c = p - b. Sort -2, 2/3, c.
-2, 2/3, c
Suppose -11 + 63 = 4*p. Suppose -m + 14 = -3*w - 2, -3*w - 2*m = p. Put -0.1, w, -1/6 in descending order.
-0.1, -1/6, w
Let u(z) = z + 3. Let q(w) = w**3 + 7*w**2 + 2*w + 10. Let a be q(-7). Let c be u(a). Let k be 138/(-30) + ((-27)/(-15))/3. Sort c, k, -2 in increasing order.
k, -2, c
Let i = -558 - -557. Put i, -6, -9 in ascending order.
-9, -6, i
Let b = 2.93 + -3.09. Sort 3, b, -2/3 in ascending order.
-2/3, b, 3
Let y = -2993/5005 - 2/1001. Put y, -0.3, -1/14, 0.5 in descending order.
0.5, -1/14, -0.3, y
Suppose 7*k = 11*k - 2*h + 26, -2*h = k - 6. Put -5, 79, k, 1 in increasing order.
-5, k, 1, 79
Suppose 0 = 2*n - 6*n + 20. Let y(z) = z - 19. Let u be y(23). Suppose -5*i - 2*h = -7*h + 10, -3*h = -u*i - 8. Sort n, i, 4 in descending order.
n, 4, i
Let z = -34 + 38. Let k = -2 + 3. Let s = -1.73 + -0.27. Put k, s, z in ascending order.
s, k, z
Suppose -3*q = 5*k - 2*q + 13, -3*k = -3*q + 15. Sort 2, -2/11, k, -3.8 in ascending order.
-3.8, k, -2/11, 2
Let g be (-4)/(-2) + 4/2. Let l = 7 - g. Let u(c) = -c**3 + 3*c**2. Let n be u(l). Sort -1, n, 5.
-1, n, 5
Suppose -3*t + 20 = 8. Suppose 5*y + 3*p - 4*p = 12, 21 = t*y + 3*p. Let g(n) = -n**3 - 8*n**2 + 10*n + 13. Let c be g(-9). Sort y, 1, c.
1, y, c
Let j = 149/12 + -73/6. Sort j, -1, -2, -3 in decreasing order.
j, -1, -2, -3
Let y(m) = -4*m - 45. Let q(t) = -2*t - 23. Let g(u) = -5*q(u) + 2*y(u). Let b be g(-11). Sort -15, -1, b in increasing order.
-15, -1, b
Let c = -1246 - -1277. Sort 0, 2, c, 3 in decreasing order.
c, 3, 2, 0
Suppose 3*b - h - 11 = -b, 2*h - 11 = -3*b. Let j(t) = t**3 + 21*t**2 + 20*t + 4. Let d be (-3)/2*40/3. Let s be j(d). Put 2, b, s in decreasing order.
s, b, 2
Let d be ((-9)/(-4))/(2/8). Let g = d - 7. Suppose 20 = 2*i + 2*i. Sort 3, g, i.
g, 3, i
Suppose -14*o = -16*o + 8. Suppose -4*t + 1 = 2*r - 25, 4 = -4*t + o*r. Put t, -5, 20 in descending order.
20, t, -5
Let c = 0.1152 + 3.8848. Put -3/2, 5, c, 1/2 in decreasing order.
5, c, 1/2, -3/2
Let o = 260 + -266. Put o, 5, -5 in ascending order.
o, -5, 5
Suppose -r - 3 = -7. Sort r, -1, -5.
-5, -1, r
Let k be 49/(2 + -9) - -10. Let h be (-1 - 1)*(-14)/4. Sort 1, k, h.
1, k, h
Let x be (-20)/6*180/150. Suppose 0 = -5*s, 2*v - 5*s - 1 = v. Sort 2, x, v in descending order.
2, v, x
Let l = 0.095 + -9.095. Sort 5, 0.3, l, -0.5 in decreasing order.
5, 0.3, -0.5, l
Let d be ((-42)/(-483) - 26/828)*-2. Sort 4, 4/7, 22.6, d.
d, 4/7, 4, 22.6
Let s(a) = a**3 + 9*a**2 + 8*a + 4. Let b be s(-8). Suppose 0 = b*n - 2*n - 6. Let q = -39 + 39. Sort n, 5, q in descending order.
5, n, q
Let l = 8/21 - 59/210. Sort -5, l, 11 in descending order.
11, l, -5
Let z = 34 + -28. Let h = z + -8.3. Let m = h - -1.8. Sort 1/4, m, -15.
-15, m, 1/4
Let y = -49 + 49.4. Sort 2/25, 2, y in increasing order.
2/25, y, 2
Let a = 5994 - 6265.7. Let u = -250 - a. Let y = -22 + u. Put 3/5, y, -2/41 in decreasing order.
3/5, -2/41, y
Let w be 20/2*(288/(-45))/(-16). Put w, 2, -0.1, 2/3 in increasing order.
-0.1, 2/3, 2, w
Let w = -111.3 - -111. Let i = -0.15 - -0.05. Put 1, w, i in descending order.
1, i, w
Suppose 6*u - 2*u = -8. Put u, -6, -1, 2 in decreasing order.
2, -1, u, -6
Let q be (-2)/4*(-1)/(-6). Let f = -4093 + 4093.4. Sort f, 4, q in descending order.
4, f, q
Let o = -1596 + 1595.99. Sort 20, o, 2/5 in descending order.
20, 2/5, o
Let p = 78 - 50. Suppose -3*f = 4*v + p, 5*v + 7 = -f - 17. Let b be 60/27 + 4/(-18). Sort f, b, 0.
f, 0, b
Let d = 2564/57229 - 22/379. Put 2, d, -3/4 in decreasing order.
2, d, -3/4
Let w = 0.74 + -0.6. Let p = w + -0.04. Let b = 4 - 5. Sort p, 5, b.
b, p, 5
Let f be (-7)/35 - 93/(-15). Let i be (f/7)/((-4)/28). Sort 2, 0, i in ascending order.
i, 0, 2
Let o = 241 + -241.3. Put o, 1, 3, -0.4 in increasing order.
-0.4, o, 1, 3
Let y = 0.03 - -3.97. Suppose -3*p - 7 = -2*u, -8 = p + 7*u - 2*u. Let z be (p/9)/((-3)/2). Sort -3/5, y, z in decreasing order.
y, z, -3/5
Suppose -5*c + 3*b - 12 = -5, -c + 1 = -b. Let y be 0/2 + (-5)/(-1). Suppose -f = 2 - 16. Put f, y, c in descending order.
f, y, c
Let d = 719 + -741. Sort 1/3, d, 1/5, -0.2 in descending order.
1/3, 1/5, -0.2, d
Let h be (-45)/(-1) + -5 + -4. Let y(z) = 2*z**2 - 2*z - 6. Let f be y(-4). Let o = f - h. Put o, 3, 0 in descending order.
3, 0, o
Let t = -635.13 - -638. Let u = 0.13 + t. Put 20, u, 0 in descending order.
20, u, 0
Suppose 3*p - 9 = 0, -58 = -2*w - 5*p - 9. Let m be (w - -1)*(-3)/(-3). Let l be 6/(-27) - 86/m. Sort 3, 2, l.
l, 2, 3
Let b = -25 - -10. Let i be (9 + -7)/(16/8). Put b, -2, i in ascending order.
b, -2, i
Let n be 119/(-42) + 7/(-42). Sort n, -1/6, -0.2, 1.5 in ascending order.
n, -0.2, -1/6, 1.5
Let t be (-230)/(-25) + 1 + (-6)/5. Let q be 6/(-2)*42/t. Put -1, q, 2/9 in descending order.
2/9, -1, q
Let r = -143 + 51. Let g = r - -88. Sort -19, g, 2/5 in decreasing order.
2/5, g, -19
Let c = 33 - 263/8. Let w be (-14)/(-4) - (6/(-2))/6. Sort w, c, -3, 5 in increasing order.
-3, c, w, 5
Let o = -0.1 + -0.4. Let y(h) = -h**2 - 100*h - 895. Let s be y(-90). Sort s, -0.4, o, 4/3.
o, -0.4, 4/3, s
Let g(t) = -10*t**2 - 60*t - 22. Let u be g(-7). Sort u, -3, -4.
u, -4, -3
Let s be (-4)/(-2) - 2/(-6). Let k be (61/(-122))/(5/(15/(-3))). Sort 0.2, -3/5, s, k in decreasing order.
s, k, 0.2, -3/5
Let r(q) = q