9. Put 1, -1, p in ascending order.
-1, p, 1
Let k = 5 - 3. Suppose 0 = -4*l - g - k*g - 4, l + 2 = -g. Sort -1, -5, l in ascending order.
-5, -1, l
Let q = 23 + -26. Let u(r) = -r**3 - r**2 - r + 8. Let t be u(-4). Suppose 5*b + 5*s - t = 0, -4*s = -2*b - 2*s + 12. Put -5, b, q in increasing order.
-5, q, b
Suppose 15*k + 45 = 15. Sort k, 1595, -4 in decreasing order.
1595, k, -4
Let g = 2/25 - -36/175. Put 4, -1/8, 2/25, g in descending order.
4, g, 2/25, -1/8
Let m = 25.68 - 1.88. Let z = 24 - m. Let b = 30 + -121/4. Sort 5, b, z.
b, z, 5
Suppose 0 = -5*g - 20 + 70. Suppose 0 = 5*b - 3*b + g. Put b, 0, -2 in increasing order.
b, -2, 0
Let h = 305.25 - 305. Let s = -0.05 - 0.2. Let g = h + s. Sort 3, 2, g in decreasing order.
3, 2, g
Let t = -7 - -11. Let h = 2.2 + -2. Let o be 160/(-720) - (-1 + 95/99). Put t, h, o in decreasing order.
t, h, o
Let m be (-44)/(-117) - 2/13. Put 2, 1, 4/3, m in decreasing order.
2, 4/3, 1, m
Let w = 59 + -55. Suppose 7*y - w = 5*y. Sort y, -3, -2 in ascending order.
-3, -2, y
Let p(r) = -5 + 2 - 6*r + r. Let w be p(-2). Suppose -2*j + w*j + 30 = 5*q, -5*q + 20 = 5*j. Sort -5, q, -3 in descending order.
q, -3, -5
Let v = 34574 - 173736/5. Let z = 174 + v. Let q be (2/(-9))/(6/(-9)). Sort z, q, -0.4 in increasing order.
-0.4, q, z
Let u = 0.058 - -0.652. Let m = -0.41 + u. Suppose -3*r - i = 5, 2*r = 3*r - 5*i - 9. Sort m, -2, r in decreasing order.
m, r, -2
Suppose 2*k = -8 + 10. Sort 2, 144, k.
k, 2, 144
Let g(z) = -z**3 + 8*z**2 + 8*z + 8. Let d = 5 - -4. Let i be g(d). Sort i, 1, 5 in decreasing order.
5, 1, i
Let v be (-12)/15 - (-29)/5. Suppose 2*h + 6 = 5*a + 27, v*a = -5*h. Put 5, -4, h in decreasing order.
5, h, -4
Let j = 307 - 207.9. Let s = j - 99. Put -2, -0.3, 0.04, s in increasing order.
-2, -0.3, 0.04, s
Suppose -4*a + 2*a = -5*b + 27, -3*a = -12. Suppose 30 = -b*z + 2*z + 5*l, 4*l + 6 = -z. Suppose 0*y - 2 = -2*y. Sort z, -2, y in ascending order.
z, -2, y
Let y = -11332/225 + 454/9. Put -1/4, -19/5, y in ascending order.
-19/5, -1/4, y
Let j be (104/208)/((39/12)/1). Sort j, -0.3, -21 in increasing order.
-21, -0.3, j
Let c(z) = 5*z**2 + 13*z + 10. Let i be c(-1). Sort 11, i, 39 in decreasing order.
39, 11, i
Let n = 151 + -154. Sort 2/17, n, 4 in decreasing order.
4, 2/17, n
Suppose 0 = 3*m - 3*w - 21, -10*m + 4*w = -7*m - 26. Let h = 142.92 - 149. Let b = 0.08 + h. Put 3, b, m in descending order.
3, m, b
Suppose -95*o + 92*o = 3. Sort o, 4, -3, -7.
-7, -3, o, 4
Let o = -30 + 95. Let r = 62 - o. Let y = 0.3 + -0.2. Sort r, 1/5, y in descending order.
1/5, y, r
Suppose -4*b = -7*b + 99. Sort 0, b, -2 in increasing order.
-2, 0, b
Let b = 2772 + -30490/11. Let q be ((-1)/(-3))/(-1*1). Put b, -4, q, 3 in ascending order.
-4, q, b, 3
Let t be (-2 - 4*-1) + 2. Suppose -3*u + z - 7 = 0, 15 = 5*u + 2*z + 3*z. Sort t, u, 1 in descending order.
t, 1, u
Let h = -186 + 745/4. Put -1, -2/5, 0, h in increasing order.
-1, -2/5, 0, h
Let p = 1.8 + -1.4. Let k = 5.2 - 4.7. Put -0.1, p, k in descending order.
k, p, -0.1
Let o = -3631/7 + 519. Sort -0.4, o, -7 in ascending order.
-7, -0.4, o
Let i = 12 + -4. Suppose 2*c + i = -2*p + 24, -c + 26 = 4*p. Let y(l) = 5*l - 17. Let v be y(p). Sort 0, v, -2.
-2, 0, v
Let n(o) = o**3 - 1. Let b be n(1). Suppose -2*a + 6*a - 20 = b. Let z = -5433 + 5437. Sort a, z, 1 in descending order.
a, z, 1
Let p = 0.3 - -0.2. Let n = -0.9 + p. Let w be (114 - 107) + 4/((-16)/30). Sort n, w, 0.
w, n, 0
Suppose 5*i + 1 - 11 = 0. Put -6, 1, -4, i in increasing order.
-6, -4, 1, i
Suppose -365*g = -359*g + 54. Sort -1.8, g, 5, 2/7 in decreasing order.
5, 2/7, -1.8, g
Let g = -15 - -1. Let k = g - -12. Sort k, -4, 3 in decreasing order.
3, k, -4
Let g = 23 + -12. Suppose -g = -2*a - 17. Let x = -7 + 10. Sort x, a, 0 in decreasing order.
x, 0, a
Let q = 103.3 + -97.9. Sort 0.1, -0.3, -5, q in descending order.
q, 0.1, -0.3, -5
Suppose -37 = 3*r - 4. Let g = 5 + r. Let t = -1 - g. Put t, 0.02, -3 in decreasing order.
t, 0.02, -3
Suppose -3*m = -25 - 5. Suppose c = -4*c + m. Suppose -2*s - 4 = -3*s. Put s, -5, c in decreasing order.
s, c, -5
Let x be -4 - 5/(25/(-195)). Let u = x - 48. Put -1, 0, u in descending order.
0, -1, u
Let s = -0.7 - -1. Let g = -3.04 - -0.04. Let u = -6.47 - -8.47. Sort g, s, u in decreasing order.
u, s, g
Let d = 48.99 - 0.99. Let w = d + -71. Let y = w - -22.8. Put 5/4, 2, y in descending order.
2, 5/4, y
Let a = 0.02 - 3.02. Suppose 0 = -45*t + 10*t - 39 - 101. Sort t, a, 2.
t, a, 2
Let h = -12 + 8. Let g = -42 + 169/4. Put h, 1, g, -0.5 in decreasing order.
1, g, -0.5, h
Let b = -179/1218 + 3/58. Let w = 7/36 - 1/12. Put b, 0, -0.1, w in increasing order.
-0.1, b, 0, w
Let j(w) = -w. Let h be -12*(-7)/((-21)/12). Let s be 4/14 - h/(-21). Let k be j(s). Put k, 1, 0 in ascending order.
0, 1, k
Let o(i) = -i**3 - 4*i**2 - 5*i - 18. Let y be o(-4). Sort -2, 8, y, 1.
-2, 1, y, 8
Let n = -2.3 - -12.5. Let f = 10 - n. Put f, 5, 5/6 in increasing order.
f, 5/6, 5
Let d be (-16)/360*-9*(-185)/1. Sort 4, -4, -5, d in descending order.
4, -4, -5, d
Let j be ((-48)/(-144))/(-2*2/(-60)). Put j, -25, -3, 2 in decreasing order.
j, 2, -3, -25
Suppose 0 = 6*k - 124 - 74. Sort 0, -3, k, -5.
-5, -3, 0, k
Let i be -10*6/(-4) + 3. Let w be 0/(-1) - (0 + i). Let n = w - -13. Sort -2/5, n, 0.2 in increasing order.
n, -2/5, 0.2
Let v = 11 - 6. Suppose -q - 6 = -3*a, -6*q = -q + a - 18. Sort q, v, 1 in decreasing order.
v, q, 1
Let h(v) = v**3 - 4*v**2 + 4*v - 1. Let y be h(3). Let n be (-7)/14 - 5/(-2). Suppose -5*k - 6 - 15 = r, -n*r + 3 = k. Put y, -1, k in descending order.
y, -1, k
Let n = -403/4 - -101. Let a be (2 - 1)/(0 - -1). Put a, -4, n, 4 in increasing order.
-4, n, a, 4
Let f(d) = 4*d + 63. Let k be (-21)/22*18 - (-2)/11. Let t be f(k). Put t, -4, 0 in decreasing order.
0, -4, t
Let j = -866.2 + 866. Sort -8, -3/5, -0.5, j in increasing order.
-8, -3/5, -0.5, j
Suppose 5*m - 4 = 4*f + 7*m, -32 = 4*f - 5*m. Suppose 4*y - 3*j + 13 = -y, -5 = -5*j. Let l(u) = -u - 2. Let o be l(y). Put -5, f, o in increasing order.
-5, f, o
Let z(h) = -2*h**2 - 58*h + 189. Let o be z(3). Put 2, o, 4, 3 in decreasing order.
4, 3, 2, o
Suppose -39 = 5*n + 2*s, -4*s = 4*n + 25 - 1. Let a be (-65)/52 - 57/12. Let l be 8/(-6)*n/a. Put 9, 4, l in descending order.
9, 4, l
Let a be 5*2*(-242)/(-484). Let v be (3/(-4))/((-3)/(-12)). Put v, a, 1 in increasing order.
v, 1, a
Let q(b) = -b**3 + 10*b**2 - 23*b - 6. Let o be q(6). Sort -3, 10, o, 3 in decreasing order.
10, 3, o, -3
Let o be -2 + 3 + (1 - 0). Suppose -o*t - 3*h + 3 = -20, -h = -t + 4. Suppose -5*i + 3*v = -26, 3*v = t*v + 8. Sort -4, i, -5.
-5, -4, i
Let r be ((-120)/100)/((-6)/(-15)). Sort 3, r, 78 in decreasing order.
78, 3, r
Let m = 55.74 + -56. Let u = 0.18 + m. Put 5, u, 0.1 in descending order.
5, 0.1, u
Suppose 53*j - 16 = 61*j. Let r be (1*-4 - j) + (-96)/(-24). Sort r, -3, 7 in increasing order.
-3, r, 7
Let v = -189.5 + 190. Put 3/5, -4, 4, v in decreasing order.
4, 3/5, v, -4
Let o = 344 - 325. Put 3, 4, -1, o in descending order.
o, 4, 3, -1
Suppose 27*i - 249 - 102 = 0. Sort 0, i, 2, 3 in descending order.
i, 3, 2, 0
Let q(g) = -2*g**2 + 74*g + 2. Let x be q(37). Sort 4, -5, -10, x in ascending order.
-10, -5, x, 4
Let z = -93 + 90. Let x = -16 + 14. Sort x, 1, z, -1/2 in descending order.
1, -1/2, x, z
Let c = 0.014 + 23.586. Let w = -24 + c. Sort 4, -7, w in increasing order.
-7, w, 4
Suppose -155*v + 112*v = -86. Sort -0.47, 3, 5, v in descending order.
5, 3, v, -0.47
Let t = 54 + -51. Sort 5, -5, t.
-5, t, 5
Let p be (-1 - 1 - -1) + -1. Let m(w) = w**2 - w - 1. Let s(x) = -x**3 - x**2 + 3. Let a(b) = 2*m(b) + s(b). Let z be a(1). Sort -5, z, p in decreasing order.
z, p, -5
Let b(g) = -19*g + 3. Let l be b(1). Let v = l - -19. Suppose -v*k + 3 = 4*h + 2, k = 4*h - 21. Put -1, -0.3, k in ascending order.
k, -1, -0.3
Let a(r) = r**2 + 3*r + 2. Let j be a(-2). Let q be (-6)/24 - 4/368. Let c = 5/69 - q. Put 2/3, j, c in descending order.
2/3, c, j
Let h be 1/(7/4 - 2)*-1. Put -3, h, 1, -23 in descending order.
h, 1, -3, -23
Let j be (8/(-32))/((-2)/(-24)). Let c(x) = -3*x + 1. Let v = -2 - -3. Let w be c(v). Sort 0, w, j in increasing order.
j, w, 0
Let j = -6.107 + 0.107. Let h = 5.5 + j. Sort -1/3, 0.5, h.
h, -1/