9. Sort o, 0.5, 0.3.
0.3, 0.5, o
Suppose -86*f = -189*f + 515. Sort -396, f, -4 in descending order.
f, -4, -396
Let y be -4 - ((-1088)/156 - -3). Let u = -25/39 + y. Sort -1, u, -5.
-5, -1, u
Let m = 0 + -5. Let i = -10 + 8. Let b be 0 - (i/1 + 0). Sort -1/4, b, m in increasing order.
m, -1/4, b
Let t = -1 + 1.04. Let k = t - -2.96. Let o = -73.1 - -73.3. Sort o, k, -9 in decreasing order.
k, o, -9
Let p be 0 + -23 + 1/(-3). Let v = p + 23. Let b = 0 + -0.1. Sort -4, b, v.
-4, v, b
Suppose -2*m - 2*m + 24 = 0. Suppose 0 = -10*a + m*a + 4. Sort a, -1, 3 in decreasing order.
3, a, -1
Suppose -9*q + 672 = 33*q. Put 21, q, 2 in ascending order.
2, q, 21
Let j = 3.1 - 3.2. Let m = j - -0.6. Let b = -0.01 + -0.19. Put 2/17, b, m in increasing order.
b, 2/17, m
Suppose -17 = -3*u - 11. Suppose 5*z + 40 = 5*t, 0 = -2*t - 5*z + u*z + 21. Put 0, -2, t, 3 in increasing order.
-2, 0, 3, t
Suppose -5*p = 2*u + 2, 0 = p - 2*u - 0*u + 10. Let f = -1.146 - -0.946. Sort p, -0.6, f, 5 in decreasing order.
5, f, -0.6, p
Let u = -1213/7 - -173. Sort 2/23, 2/179, -0.5, u.
-0.5, u, 2/179, 2/23
Let f be 4/6*(-9)/6. Let p(b) = -b**3 - 32*b**2 + 105*b - 10. Let y be p(-35). Sort -4, y, f, 0 in decreasing order.
0, f, -4, y
Let q = 2.82 + -300.82. Let u = q - -283.7. Let m = u + 14. Put -1/7, m, 3/7 in increasing order.
m, -1/7, 3/7
Let c = -158 + 788/5. Sort -4, 0.034, c.
-4, c, 0.034
Suppose 0 = 3*u - 5*u + 22. Suppose u = 3*f - 10. Suppose -2*k + 1 = -f. Put -8, k, -0.1 in descending order.
k, -0.1, -8
Let s be (-49)/(-42)*-2 - (-2)/6. Sort -5, s, 35, 2 in ascending order.
-5, s, 2, 35
Let d = -493 + 488. Sort 6, d, -6 in descending order.
6, d, -6
Let s = -10.5 - -2.5. Let y = 1.5 + 5.5. Let x = y + s. Put 1/4, x, 0.1 in increasing order.
x, 0.1, 1/4
Suppose 3*f = -i + 1, 4*i + 21*f = 26*f + 21. Let u = 0.08 + -0.78. Let t = -3.7 - u. Put i, t, -2 in decreasing order.
i, -2, t
Let z = -3 + 2. Let a(n) = -2*n**2 - 3. Let c be a(-2). Let m = 16 + c. Put z, m, -2 in ascending order.
-2, z, m
Let u = 25.36 + 0.64. Let c = u - 28. Sort c, 1, 3 in ascending order.
c, 1, 3
Let w = 2214.1 - 2213. Let q = -6 + 6.4. Put 0.2, w, q in decreasing order.
w, q, 0.2
Let a be 23/(-5) - 3/(-5). Let o(s) = -s + 3. Let k(t) = -t**3 + 6*t**2 + 8*t - 5. Let q be k(7). Let x be o(q). Sort a, 5, x in descending order.
5, x, a
Suppose s = -4*v + 20, 5*v + 5*s + 1 = 11. Sort -4, v, 1 in increasing order.
-4, 1, v
Let y be 20/(-60) + (-1)/(-3). Put -3, y, -17, 5 in increasing order.
-17, -3, y, 5
Let t be (-3)/(-2) + (3 - 4). Suppose -4*a + 3*r + 15 = -a, -2*a + 5*r - 5 = 0. Let s be (-7)/2*a/(-35). Sort t, s, 0.2 in decreasing order.
s, t, 0.2
Let n = 172 + -171. Sort 4, n, 5, -30 in decreasing order.
5, 4, n, -30
Let o = -46 + 49. Suppose o*a = 2*j + 13, 5*j + 3*a + 12 = -10. Sort -7, 3, -1, j in descending order.
3, -1, j, -7
Let b = 3/37 - -53/259. Let k = -2.2 + 1.2. Put b, k, -2/23 in increasing order.
k, -2/23, b
Let y = -3 - -19. Let w be (-6)/y*(-3)/9. Sort 3, -3, w in decreasing order.
3, w, -3
Let l(q) be the first derivative of 5*q**2/2 - 29*q + 12. Let w be l(6). Put 2/9, w, 0 in decreasing order.
w, 2/9, 0
Let j be (-10)/4*(-10)/(-75)*-3. Put 9, 4, 0, j in increasing order.
0, j, 4, 9
Suppose 5*g + 22 = 3*m, 2*g = -53 + 49. Put 89, -1, m in decreasing order.
89, m, -1
Suppose -3*h = f - h - 7, 3*f - 20 = -5*h. Suppose 0 = -8*u + f*u - 9. Let y = 3 - 4. Put y, u, -5 in descending order.
y, u, -5
Suppose 0*x + 5 = -x. Suppose -4*d - a - 2 = 0, 2*d = 4*d - 3*a + 8. Sort d, 3, x, 1.
x, d, 1, 3
Suppose -117 = -29*s + 28. Let w(a) = a - 5. Let l be w(5). Suppose m - 5 + 1 = l. Sort -5, s, m in increasing order.
-5, m, s
Suppose 8*y - 2*y - 6 = 0. Put 12, 4, y in increasing order.
y, 4, 12
Let u = -0.4 + -0.2. Let b = u - -5.6. Let s = -166 - -833/5. Sort s, -3, b in decreasing order.
b, s, -3
Let x(h) = 6*h**2 + 4*h. Let r(u) = 31*u**2 + 21*u - 1. Let a(k) = 2*r(k) - 11*x(k). Let b be a(-1). Put b, 4, 0 in ascending order.
b, 0, 4
Suppose -37 + 40 = 4*a - 5*s, 2*a = -2*s + 6. Put -5, 6, a in increasing order.
-5, a, 6
Let z = -284.97 + 285. Sort 2/3, z, -10 in decreasing order.
2/3, z, -10
Let r = 2.61 - 1.91. Put 0.5, r, -3, 1/4 in decreasing order.
r, 0.5, 1/4, -3
Let v = 92 - 76. Put 1, -2, v, 0.2 in increasing order.
-2, 0.2, 1, v
Let x = 4.5 - 4. Let w = 0 - x. Let b be (-3)/(6 + -9) - (-9)/(-4). Sort -0.2, w, b in ascending order.
b, w, -0.2
Let d be -24*((-180)/16 - -9). Put 5, 4, d in decreasing order.
d, 5, 4
Let y = 1245 - 1250. Put 2/17, -0.4, 86, y in descending order.
86, 2/17, -0.4, y
Suppose -2*g = -3*q - 14, -q + 2*q = 3*g + 7. Let t be (6/q)/(24/(-32)). Sort t, -7, 2/7.
-7, 2/7, t
Let c = -110.3 + 115.3. Put c, -0.2, -1/2, 1/3 in increasing order.
-1/2, -0.2, 1/3, c
Let l = 41/4 + -125/12. Put 4, 0.2, l, 0.1 in decreasing order.
4, 0.2, 0.1, l
Let j = -1016 + 952.1. Let q = j - -64. Sort 0.3, 2/7, q in descending order.
0.3, 2/7, q
Let g be (-1 - 1)*(0 - 4). Suppose 0 = 5*w - s + 9 - 0, -5*w - g = -2*s. Sort w, -3, 3 in increasing order.
-3, w, 3
Suppose -f - f + 18 = 0. Let t = f + -5. Let i be 40/(-75) + 4/(-30). Put i, t, 8 in decreasing order.
8, t, i
Let c be ((-2)/(-6))/(4/192). Let l = 14 - c. Let u = 3 + l. Sort u, -4, 6 in descending order.
6, u, -4
Let o be (0 + 2 - -7) + 247 + -251. Sort o, -9, -4.
-9, -4, o
Let c(u) = -u**3 - 27*u**2 + 4*u + 27. Let q be c(-27). Let k = 80 + q. Put k, 4, 6 in decreasing order.
6, 4, k
Suppose 4 = g - 4*c, 3*c - 8*c - 10 = 0. Sort g, -2, 2/7.
g, -2, 2/7
Let o = -232 + 233. Sort -4, o, -5, -18 in ascending order.
-18, -5, -4, o
Let f be 3/(-15) + 2/10. Let h = f + -12. Let v be (-1)/2*8/h. Sort -0.5, 5, v in ascending order.
-0.5, v, 5
Suppose 2*h = 8*h. Suppose 3*z - 6 = -h. Let c = -3 - -6. Put c, z, -3 in descending order.
c, z, -3
Let k be (4 - 10) + 6 - (-5 - -3). Sort -1, -8, k in increasing order.
-8, -1, k
Let b(v) = -3*v**2 + 43*v - 13. Let q be b(14). Sort -0.12, 4, -3, q in decreasing order.
4, q, -0.12, -3
Let c = 2.32 + 1.68. Let t be 14/10*5/(-12). Put 4/5, t, c, 1 in decreasing order.
c, 1, 4/5, t
Let k = -912/11 + 13636/165. Put k, 5, -5 in descending order.
5, k, -5
Let w(c) = -c**2 - 10*c - 24. Let l be w(-6). Put 1/6, l, -5 in increasing order.
-5, l, 1/6
Let q = -369.7 - -355. Let a = q + 14.7. Let f = 0 - -3. Sort 0.1, f, a in increasing order.
a, 0.1, f
Let m = -902 + 899. Suppose 0 = i - 2*i - 2. Put 0, i, 4, m in ascending order.
m, i, 0, 4
Let l = 22 + -196/9. Let x = 20/171 - l. Sort 5, -2, 0.5, x.
-2, x, 0.5, 5
Let q = 91 + -86. Put -1, -3, -2, q in ascending order.
-3, -2, -1, q
Let i = -97.29 + 98. Let a = 4.71 - i. Put a, 40, -5 in decreasing order.
40, a, -5
Let i = -2 + 5. Let o = -47 + 23. Let y = -26 - o. Sort 1, i, y.
y, 1, i
Let m(z) = z**2 - 3*z. Let o be m(6). Let b(n) = -n**2 + 17*n + 18. Let j be b(o). Let v(l) = l - 10. Let c be v(6). Put -0.4, c, j in descending order.
j, -0.4, c
Let n be (-3)/(-18)*8*3/(-2). Sort -4, n, 2, 3 in ascending order.
-4, n, 2, 3
Let u = 39 - 37. Let d be -2 + -1 - (-5 - 0). Suppose 5 = f - d*f. Sort f, 1/6, u.
f, 1/6, u
Let j = 3170.19 - 3156. Let u = 0.19 - j. Let v = 12 + u. Sort 5, v, 0.5 in increasing order.
v, 0.5, 5
Suppose 30 - 134 = -13*r. Sort 2, -5, r in descending order.
r, 2, -5
Suppose -49*v - 119 = 28. Put -1, v, -2, 0 in decreasing order.
0, -1, -2, v
Suppose 4*u - 140 = -24*u. Sort u, -30, -4 in ascending order.
-30, -4, u
Let s = 0.388 - -2.612. Put s, 4, -14, -1 in descending order.
4, s, -1, -14
Let w(f) = -5*f + 1. Let c(v) = -11*v + 1. Suppose -m + 0*m = -4. Let p(y) = m*c(y) - 9*w(y). Let j be p(5). Sort j, 5, 2.
j, 2, 5
Let q be (-14)/(-70)*0/(-3). Put 5, 8, q, -4 in decreasing order.
8, 5, q, -4
Suppose 2*k = -4*c + 8*c - 10, -3*c - 3*k = -30. Sort 0, c, 4 in descending order.
c, 4, 0
Let q = 2836/15 - 189. Put -2/3, q, 0, -0.5 in decreasing order.
q, 0, -0.5, -2/3
Let d = 101 + -42. Let y = d - 36. Let a = y - 23. Sort -1, a, 1 in descending order.
1, a, -1
Let h be (89 - -68) + (-10)/(-2). Put -4, 2, -3, h in descending order.
h, 2, -3, -4
Let l = 3 + -15. Let v = l + 12.04. Let z = -0.34 + v. Put -1, z, -5 in ascending order.
-5, -1, z
Suppose -3*t - 5*x - 16 = t, 3*t = 3*x + 15. Suppose -3*m + 2*g = 27, 38 = -68*m + 64*m