9. Put 0, x, 46, -2 in descending order.
46, 0, x, -2
Let l = -0.36 - 2.84. Let v = 0.8 - l. Let j be 3/(-1 + 22/4). Sort v, j, -4.
-4, j, v
Suppose -8 = -5*l - i, 4*i - 2 = 5*l + 5. Let s = 2.3 - -0.7. Put l, -0.5, s, 0.01 in decreasing order.
s, l, 0.01, -0.5
Suppose 45 = -23*m + 26*m. Suppose -6*q = -m*q + 36. Put 1, 41, -1, q in increasing order.
-1, 1, q, 41
Let f = 0.11 + -16.11. Let u = 127 + -129. Sort 1, f, u in ascending order.
f, u, 1
Let y = -39.053 - -0.053. Let u = -45 - y. Put -0.3, 2/13, u, 4/3 in descending order.
4/3, 2/13, -0.3, u
Suppose 3*i = -28*i + 62. Put -11, i, 1 in increasing order.
-11, 1, i
Let l = 0.5 + -0.3. Let m = l - -0.2. Let u = -0.2835 - 0.0165. Sort m, 3, u in increasing order.
u, m, 3
Suppose 5*d - 17 + 4 = 2*i, 4*i = 5*d - 31. Let g = 16 + i. Let k = -6 + g. Sort -5, -1, k in decreasing order.
k, -1, -5
Let l(g) = 3*g + 48. Let n be l(-15). Put 0, 4, -15, n in descending order.
4, n, 0, -15
Let o be (6/2)/3*-50. Sort 4, 1, o, 5.
o, 1, 4, 5
Let d(l) = -4*l**3 + l**2 - 1. Let p be d(1). Let r(z) = -z**2 - 4*z - 2. Let w be r(p). Let x be 74/(-14) + (-6)/(-21). Put 1, x, w in decreasing order.
1, w, x
Let n = -119 - -121. Sort 3, n, -4 in descending order.
3, n, -4
Suppose -6*x - 44 = -68. Sort 2, 1, x.
1, 2, x
Let g(p) = -p**2 - 4*p - 6. Let o be g(-4). Let v be (6/(-24))/(o/8). Let z = 218 - 1530/7. Put -0.4, v, z in ascending order.
z, -0.4, v
Let m(s) = 8*s + 4 + 2*s - 2 - 9*s. Let g be m(0). Sort -1, g, -2, 3 in increasing order.
-2, -1, g, 3
Let a = 2.3 + 28.7. Let g = a + -28. Sort g, -5, 2/3 in ascending order.
-5, 2/3, g
Suppose 3*a + 5*g = -18 + 6, -2*a - 5*g - 8 = 0. Sort 0, -37, a in increasing order.
-37, a, 0
Let f = -99 - -91.3. Let h = 7.53 + f. Sort h, 3, 5.
h, 3, 5
Suppose -5 = -0*j + 5*j. Let o(d) = -d**2 + 6*d + 2. Let a be o(0). Suppose 5*u = 2*v + 25, 4*v - 20 = -6*u + a*u. Sort u, 0, j in increasing order.
j, 0, u
Let k(b) = b**3 - 5*b**2 + 7*b - 7. Let w be k(3). Let g be ((-18)/w + -4)*4. Put -3, 0, g in descending order.
g, 0, -3
Let f = 4 - 1. Suppose -4*s + 3*n - 9 = 0, -s - 2*n + n = -f. Suppose 2*g + 18 = 3*h, -3*h + 16 - 10 = 2*g. Put s, g, -2 in decreasing order.
s, -2, g
Let u = -2.76 - -0.76. Put 1, -0.02, u in decreasing order.
1, -0.02, u
Let t(o) = -o**2 - o + 2. Let x be t(-3). Let g be 2 - x*12/(-16). Put -4, 1, g, 2 in decreasing order.
2, 1, g, -4
Let r = -1216.409 + 1217. Let a = r + 0.209. Let b = -0.3 + 0.1. Put a, -3, b in increasing order.
-3, b, a
Let l = -2 - -2. Suppose 2*t + 2*i = -2*i + 8, 3*t - 4*i + 28 = 0. Sort t, -1, l, -2.
t, -2, -1, l
Let c = -84 + 84.2. Let h = 2 + -6. Sort c, h, 2/5 in decreasing order.
2/5, c, h
Let h = -0.29 + 38.29. Let s = -23 + h. Sort 1/4, s, -0.1 in decreasing order.
s, 1/4, -0.1
Let x be 56/21 - (-17 - -20). Put x, -3/8, -1.1, -1 in increasing order.
-1.1, -1, -3/8, x
Let l = -0.954 + -0.046. Sort 1, 0.3, l, -3 in increasing order.
-3, l, 0.3, 1
Let l be 147/392*(-1 - -41). Put l, -10, -0.5 in decreasing order.
l, -0.5, -10
Let i = -47 - -19. Let v be 2/(-4)*(1 + 52/i). Put v, -0.2, 2 in decreasing order.
2, v, -0.2
Let p = 8 - 5. Suppose 41*k + 102 = 61. Put -4, 0, p, k in decreasing order.
p, 0, k, -4
Suppose 3 = 16*t - 45. Sort t, -55, 8, 2 in decreasing order.
8, t, 2, -55
Let j = 8 - 14. Let h = j + -1. Sort h, 0, 5.
h, 0, 5
Let r be 0/(-10 - 0)*1/3. Sort -9, r, 6 in decreasing order.
6, r, -9
Let q = 60 + -64. Sort q, 0.029, -2/11, 0.2 in decreasing order.
0.2, 0.029, -2/11, q
Let u = 18 + -37/2. Let q = -19/2 + 93/10. Let i = -5 + 5.4. Sort u, q, i.
u, q, i
Suppose -4*h = -2*z + 8, -3*z + 0*h + 19 = h. Sort z, -4, 5 in decreasing order.
z, 5, -4
Let m = -1.397 - 0.103. Put -1, -1/2, m in increasing order.
m, -1, -1/2
Let g(w) = -w**3 + 7*w**2 - 2*w + 8. Suppose 4*a - 20 - 8 = 0. Let b be g(a). Sort 0, 5, b in decreasing order.
5, 0, b
Let v = -533 + 540. Let s(m) be the second derivative of -m**4/12 + 5*m**3/6 + 13*m**2/2 + m. Let a be s(v). Sort 6, a, 3 in decreasing order.
6, 3, a
Let c = 5.823 + -0.123. Let u = 5.5 - c. Sort 0, u, 22 in increasing order.
u, 0, 22
Let b(g) = -g**3 + 6*g**2 - g + 5. Let k be b(6). Let s be 8/56 + k/7. Sort s, 2, 1 in descending order.
2, 1, s
Let i = -0.1599 + -0.2401. Put -1/5, i, 0, -98 in decreasing order.
0, -1/5, i, -98
Suppose -34*m + 72 = -28*m. Suppose 4*n - 15 = 5*h + 5*n, 0 = -4*h + 4*n - m. Put h, 1, 2, 3 in ascending order.
h, 1, 2, 3
Suppose 0 = -5*r - 0*r - 55. Let b(u) = -u**2 - 13*u - 27. Let q be b(r). Sort q, 2, -1, -3.
q, -3, -1, 2
Let t = 123 + -39. Let d = t - 83.6. Let i be 2*2/2 - 1. Put 5, d, i in increasing order.
d, i, 5
Let f = -1551 - -1555. Sort 7, 0, f, -2 in ascending order.
-2, 0, f, 7
Suppose 0*v + 4*v + d = 37, 2*d = 2*v - 16. Sort v, 4, 1 in ascending order.
1, 4, v
Let v = -135 - -134.5. Put v, -0.15, 1 in decreasing order.
1, -0.15, v
Let v = -1156 - -1156. Put -3, -0.2, v, 16 in ascending order.
-3, -0.2, v, 16
Suppose 62 = 17*j - 6. Sort 2, j, -50.
-50, 2, j
Let n(d) = -3*d**2 + 27. Let z be n(4). Sort -5, z, -2, 1 in increasing order.
z, -5, -2, 1
Let i be (9/2)/(23/8694*21). Sort -8, -1, i in ascending order.
-8, -1, i
Let x = 1621.1 + -1621. Put -2/7, x, -10, 0 in decreasing order.
x, 0, -2/7, -10
Let l = -687/7 + 98. Suppose 0 = 2*s + 10*s - 216. Suppose 2*j = 3*y - 7, 5*y - 3*y = -2*j + s. Put l, 1/4, j in ascending order.
l, 1/4, j
Suppose 10*f = 53 - 3. Put f, -15, 3 in descending order.
f, 3, -15
Let x be 1/(-3) + 2/(-30). Let f = 95 + -123.2. Let n = f - -28. Sort x, n, -4/9 in descending order.
n, x, -4/9
Let w = -82.8359 - -0.0359. Let s = -83 - w. Sort 2, -0.07, -0.4, s in ascending order.
-0.4, s, -0.07, 2
Suppose -4*x = -2*q - 2, -q + 6*q - 5 = 0. Sort -5, x, 0, 5.
-5, 0, x, 5
Let v = 36 + -63. Let i = 22 + v. Let c = 1 - 5. Put c, i, 5 in ascending order.
i, c, 5
Let q = -27 - -17. Let a = -2 - -12. Let k = a + q. Put 2, -1, k in descending order.
2, k, -1
Let z be 15/8 + (5 - 195/40). Sort -149, -1, z, 0.
-149, -1, 0, z
Suppose o - 20 = -3*o. Suppose 90 = 189*l - 219*l. Put o, 2, l, -4 in decreasing order.
o, 2, l, -4
Let i = -60.58 + 60. Let q = 0.38 + i. Sort 6, q, 4 in descending order.
6, 4, q
Let z be (-1 - -4) + (-6 - -12). Suppose 1 = -0*a - a, -a - z = 4*k. Put -5, k, 2 in decreasing order.
2, k, -5
Let u = -0.74 + -5.66. Let v = 6.2 + u. Put -2/3, 10, v, -4 in descending order.
10, v, -2/3, -4
Let r be (-21)/45 + 17/51. Let w = -2.1 - -0.1. Put r, -32, w in ascending order.
-32, w, r
Suppose r - 19 = -0*r. Let k = r + -14. Suppose -k*l + 11 = z, -2*l + z - 2 = -12. Sort -2, l, 2.
-2, 2, l
Let z = 663 - 661. Sort z, -3.9, 3 in decreasing order.
3, z, -3.9
Let p = 1 - -1. Let k(f) = -32*f + 12. Let m be k(-6). Let q = m + -1834/9. Sort p, -1/7, q in increasing order.
-1/7, q, p
Suppose -2 - 4 = -2*q. Let c = 1 - -9.75. Let l = c - -0.25. Sort l, -3, q in descending order.
l, q, -3
Let v be ((-582)/(-1584))/((-9)/6). Let y = v + 1/44. Let l(m) = -m**2 - 4*m. Let b be l(-4). Sort y, b, 0.5 in ascending order.
y, b, 0.5
Let m(u) = -2*u - 33. Let x be m(-18). Suppose x*r - 55 = -70. Sort 2, -3, r in increasing order.
r, -3, 2
Suppose 5*s = -188 + 8. Let o = 2142 - 2102. Let a = s + o. Sort -1, 0, a in decreasing order.
a, 0, -1
Let f(o) = -o**3 + 10*o**2 + 12*o + 146. Let q be f(12). Sort -93, -2, q in decreasing order.
q, -2, -93
Let o = -1292/1967 - -24/281. Put o, -47, 8 in ascending order.
-47, o, 8
Suppose 4*h - 10 = -h. Suppose 6*l = -16*l + 110. Sort h, 7, -4, l in increasing order.
-4, h, l, 7
Suppose -5*b - 6 + 30 = 2*q, 0 = 5*b. Suppose -5*j = -8*j + q. Let x = -7 - -13. Sort j, 1, x.
1, j, x
Let i = 4.1 + -37.9. Let k = i + 34. Suppose 4*d = -4*a + 5 + 7, 0 = a + 3*d - 5. Sort k, a, -1 in decreasing order.
a, k, -1
Let g = 5/13 + -33/52. Let i = -4/711 - -1940/7821. Let w = 170/429 - i. Put 0.5, g, w in descending order.
0.5, w, g
Let o be (3/(-27))/(605/66 - 9). Let k = 8 - 7.96. Sort k, 0.5, o in increasing order.
o, k, 0.5
Let a = 19 + -15. Suppose -5*t = 10, 2*m + 5*t + a = 2*t. Suppose 3*s - 25 = -m. Put s, -4, -3 in ascending order.
-4, -3, s
Let u = -14.1 - -1.1. Let n = u + 21. Let m = 4 - n. Put 2/5, -0.1, m in descending order.
2/5, -0.1, m
Let i = -244 - -731/3. Put -2/15, i, -3/5, 1 in ascending ord