9. Sort -0.7, -5, f.
-5, -0.7, f
Let l = -2/281 - 544/2529. Let t = -7.995 - 0.005. Sort l, t, 1/5 in decreasing order.
1/5, l, t
Let y be (-44)/48 + 1/6. Sort y, 2, -1/7 in descending order.
2, -1/7, y
Let h = 2608 + -2631.11. Let i = h + 23. Let f = -4.89 + i. Put 0.4, f, -2/7 in decreasing order.
0.4, -2/7, f
Let z = -1/443 + -871/6645. Sort z, 2/3, -5 in increasing order.
-5, z, 2/3
Suppose -3*g + 4*z = 8, z + 1 = 5*g + 3. Let f(j) = j - 2. Let y be f(3). Sort g, y, -5.
-5, g, y
Let s(n) = 2*n**2 - n + 1. Let o be -1*3/(-6)*2. Let w be s(o). Let m be -1*(-1 - (-1 + 0)). Sort m, -1, w in ascending order.
-1, m, w
Let j = 23 - 21. Sort j, -4, -0.4 in ascending order.
-4, -0.4, j
Let d = 10 + -9.8. Sort 1/4, d, -2.
-2, d, 1/4
Suppose -4*m - 9 = -r + 6*r, -4*m + 41 = -5*r. Sort r, 1, -2 in descending order.
1, -2, r
Let a be (-3)/((-18)/14) - (-28)/42. Sort -3, a, 0, -1 in decreasing order.
a, 0, -1, -3
Let b be 1 + 1 - 9/2. Put -3, b, 2/5 in ascending order.
-3, b, 2/5
Let j = -3 - -5. Let v = 6 - j. Let b be (-45)/(-21) - (-2 + 4). Put b, -5, v in increasing order.
-5, b, v
Let i be 4/(-6)*6 + -1. Put i, 5, 4 in descending order.
5, 4, i
Let n = 1 - 0.6. Let a = n + -0.3. Suppose 2*q - 5*v + 17 = 0, -3*q = -2*v - 3 + 1. Put 3, a, q in increasing order.
a, 3, q
Suppose -w + y = 6, 3*y - 22 = 4*w + w. Let f = -4 - -6. Let j = 1.051 - 0.051. Put f, w, j in descending order.
f, j, w
Let p = 26 - 30. Sort 3, p, 5 in descending order.
5, 3, p
Suppose 4*w - d - 8 = 0, -w + 2*d = d - 2. Let p be (3/(-2))/((-15)/10). Let o be (p/3)/(7/(-105)). Put o, w, 5 in increasing order.
o, w, 5
Suppose -44 = 5*d + 6*d. Sort 3, 95, d.
d, 3, 95
Let z = 20 - 14. Let a = 0 - z. Sort -0.5, 3/8, a in ascending order.
a, -0.5, 3/8
Suppose 9*y = 12*y - 30. Let l = y + -9. Sort 5, -3, l in increasing order.
-3, l, 5
Suppose 10*r - 17*r = 7. Sort r, 4, 22 in descending order.
22, 4, r
Suppose h = -2*h. Let g = 13 + -17. Sort h, g, 5.
g, h, 5
Let w = 1.3 + -5.3. Let n = 0.4 + -0.3. Sort w, 1, n in decreasing order.
1, n, w
Let h = -10 + 7. Let c be (-3)/12 - 5/(-4). Let l = -1 + c. Put l, -2, h in increasing order.
h, -2, l
Suppose -6*y = -8*y - 20. Sort -1, 3, 1, y in increasing order.
y, -1, 1, 3
Let w = -101 + 96.1. Let z = 5 + w. Let g = 28/95 + 2/19. Sort -5, g, z.
-5, z, g
Let n = 0.14 - 0.16. Put -0.3, n, 1 in descending order.
1, n, -0.3
Let n be (-4)/18 + 100/(-36). Suppose -5*a = 3*y - 0*y + 1, 0 = y - a + 3. Put n, -5, y in descending order.
y, n, -5
Let l = 86/3 - 57/2. Sort -2, l, 0.1 in descending order.
l, 0.1, -2
Let u = -119 + 115. Put 7, u, 2, 5 in descending order.
7, 5, 2, u
Suppose 0 = -4*r - 2*o + 5 + 13, -4*r + 4*o + 24 = 0. Suppose -1 = 2*z - r. Suppose -3*u - 4 = -u. Sort 1, u, z in decreasing order.
z, 1, u
Suppose -119*u + 120*u = 4. Put u, 5, -5, -4 in decreasing order.
5, u, -4, -5
Let p be (2/(-4))/((-1)/8). Suppose -7*d + 2*d = 5*j + 5, 0 = -5*d + 2*j + 2. Sort -4, d, p in increasing order.
-4, d, p
Let u = 5 + 0. Let j = 146 + -143. Sort 4, u, j.
j, 4, u
Let m be 1*6 + 1 + -2. Suppose 4*y = 3*f + 15, 2*y + 2*f - 4 = -0*y. Let c = 0.067 + 3.933. Sort y, m, c in decreasing order.
m, c, y
Suppose 11*p + 19 + 25 = 0. Sort p, -0.04, -2/5.
p, -2/5, -0.04
Let g(l) = l + 7. Suppose 2*s - p + 10 = 0, -2 = 2*p - 10. Let o be g(s). Put 1, -5, o in decreasing order.
o, 1, -5
Suppose 2*h = -2*k + 6, 2*h + 2*h + 28 = 4*k. Let o(y) = -y**2 + 5*y - 4. Let g be o(4). Suppose 0 = -g*m + 3*m + 3. Put k, 1, m in decreasing order.
k, 1, m
Let c(r) = r**3 - 12*r**2 - 14*r + 9. Let g be c(13). Let p = 31 + -30.99. Sort p, g, 0.3 in decreasing order.
0.3, p, g
Let w = -32 - -27. Sort 1, w, -1, 12 in descending order.
12, 1, -1, w
Let b = -248/63 - -38/9. Let c be 4 - 1 - 40/5. Sort c, b, -0.3 in descending order.
b, -0.3, c
Let u = -1.6 - -1.76. Let d = -0.16 + u. Put -0.5, -1, d in decreasing order.
d, -0.5, -1
Let y = -8 - -7.9. Let l = 8 + -6. Sort l, -1, y.
-1, y, l
Let m be 7/3 - 40/(-60). Put 1, m, 2 in ascending order.
1, 2, m
Let p be 1/3 + (-80)/15. Let a = p - -2. Sort 3, a, -5 in decreasing order.
3, a, -5
Let f be (2/15)/(19/95). Let d = 0 + 3. Sort f, 5, d in descending order.
5, d, f
Let k be (1/(-2))/(147/42). Let c = 3.03 + -0.03. Put 5, k, c in ascending order.
k, c, 5
Let r = -5 - -2. Let t = 0.11 - 0.11. Let f = 0.4 - 5.4. Put r, t, f in descending order.
t, r, f
Suppose -3*y + 6 = -y, -5*o - 2*y + 6 = 0. Sort 5, 1, o in descending order.
5, 1, o
Let h(i) = -i**2 + 5*i + 5. Let l be h(6). Let q = 10 - 6. Let g be ((-12)/(-8))/((-2)/q). Sort g, -5, l in decreasing order.
l, g, -5
Let h be (-2)/(-4) + (-20)/8. Let k = 0.06 - 4.06. Sort -5/4, k, h.
k, h, -5/4
Suppose -r + 5*a - 12 = 2*r, 4*r - 16 = -4*a. Suppose 3*z - 7*z + 16 = 0. Let u(p) = p**3 - 5*p**2 + 4*p + 2. Let l be u(z). Put 0, l, r in descending order.
l, r, 0
Let h = -18 - -7. Put 5, 2, h in increasing order.
h, 2, 5
Let v = 7 + -4. Put v, 4, 5 in descending order.
5, 4, v
Suppose 0 = -3*y + 5 + 4. Let z = 34 - 40. Sort y, -5, z in descending order.
y, -5, z
Let p = -0.01 + -2.99. Let l = -1.5 + 6.5. Sort -2/13, l, p in increasing order.
p, -2/13, l
Suppose 4*b + 9 = 21. Suppose -4*m + 5*s = 6, 3*s - 1 - 8 = -b*m. Suppose 0 = -0*j - j - 3*a + 2, -a = 3*j + 2. Put -2, m, j in descending order.
m, j, -2
Let o = 36/7 - 5. Let q = -45 - -47.3. Let f = q + -2. Sort 1/8, f, o in decreasing order.
f, o, 1/8
Let h(t) = 3*t**3 + 55*t**2 + 17*t - 14. Let j be h(-18). Sort 2, j, 3, -4.
-4, 2, 3, j
Suppose 0 = 45*z - 40*z + 25. Suppose 4*u - f = 5, -3*u + 2*f - 25 = 7*f. Sort u, 2, z.
z, u, 2
Let q = -11 - -6. Let s = q + 13/2. Suppose t = 2*t + 4. Put s, t, -5 in descending order.
s, t, -5
Let p(c) = -5*c**2 - 3*c - 2. Let x be p(-1). Sort x, -1, -10 in decreasing order.
-1, x, -10
Let y be 3 + (0 - (-7)/((-84)/45)). Put y, -23/4, -1 in ascending order.
-23/4, -1, y
Suppose -3*q + 5 = -1. Suppose q*w + 2*w = 0. Suppose w = -b + 2*b + 3. Put 4, b, 2 in increasing order.
b, 2, 4
Let q(u) = u**2 + 4*u + 3. Let x be q(-4). Let m be 0 - 9/(x*-1). Sort 0, m, 2 in decreasing order.
m, 2, 0
Let t = -3 - 0. Let h = 2.03 - 0.03. Let v = 9 - 11. Sort h, v, t in increasing order.
t, v, h
Let j = -0.43 - -0.37. Sort 3/7, 1/4, 0.4, j in descending order.
3/7, 0.4, 1/4, j
Let d = 17 - 16.91. Let w = -3.41 - -3.6. Let u = d - w. Sort 0.2, u, -0.2.
-0.2, u, 0.2
Let z be 8/6 - (-2)/(-6). Let i = 53 + -53. Sort z, i, 4 in increasing order.
i, z, 4
Suppose 10 = 7*b - 2*b. Let f = -0.2 + -0.2. Let a = f - 0.1. Put 5, b, a in decreasing order.
5, b, a
Let b be (6 - 5) + (3 - 12). Put -3, b, 1 in descending order.
1, -3, b
Let c = 13 + -12. Sort -5, 2, 4, c in descending order.
4, 2, c, -5
Suppose 15 = 10*q - 5*q. Sort 4, 2, q in decreasing order.
4, q, 2
Suppose a = 11 - 0. Let t = a - 15. Sort 4, 2, t in decreasing order.
4, 2, t
Let y = -0.63 - -0.23. Sort 1/5, 1/17, -4, y in increasing order.
-4, y, 1/17, 1/5
Let f = -20 + 23. Suppose -2*m = 2*m + 3*i + 16, -19 = f*m + 4*i. Put -2, m, 3 in decreasing order.
3, m, -2
Let v = -190 - -187. Put 3, -4, -5, v in increasing order.
-5, -4, v, 3
Suppose -2*l - 7 = t - 2, -l = 2*t - 2. Let a be -6 + 9 - 86/l. Let r = a + -23. Sort 5, 3, r.
r, 3, 5
Let g be 56/21 - (-2)/(-3). Suppose -8 + 0 = -g*h, -2*h + 8 = -2*o. Sort 2/3, -1/5, o in increasing order.
-1/5, o, 2/3
Let i be ((-6)/8)/(12/8). Let h be 6*1/(2 - 0). Let q be ((-4)/10)/(2/h). Put i, q, -4 in decreasing order.
i, q, -4
Let m = 2 + 4. Suppose 0 = -2*j + g + 12, 4*j + g = 3*j + m. Suppose -r = d - j, -d - 3*r + 1 = -15. Sort d, 2/3, 3.
2/3, d, 3
Let w = 0 + -3. Let m be 2*w/(-2*3). Let d be (-3)/((-4)/((-16)/6)). Put 4, d, m in descending order.
4, m, d
Let r(j) = -3*j + 6. Let z be r(4). Let v be 15/(-3) + z/2. Sort -1, -5, v in increasing order.
v, -5, -1
Let i = -6.04 + 6. Sort i, -1, -3/5 in increasing order.
-1, -3/5, i
Let h = -0.03 - 0.17. Let v = -8 - -5. Sort -0.4, v, h.
v, -0.4, h
Let p = -9 - -17. Let m = 12 - p. Put -2/11, m, -0.4 in decreasing order.
m, -2/11, -0.4
Let d = 10 + -9. Sort -3, d, 0 in descending order.
d, 0, -3
Let z = 19 + -24. Sort -2, 4, z in increasing order.
z, -2, 4
Let j be (-18)/(-27) + (-49)/(-3). Let y(m) = m**2 - 18*m + 22. Let w be y(j). Put w, -1, -10 in descending order.