9. Sort 1/6, 5, 3, c in descending order.
5, 3, 1/6, c
Let c = -1120/11 - -102. Sort -2/9, -2/7, c in decreasing order.
c, -2/9, -2/7
Suppose 0 = 2*m - 4*m - 5*d - 3, -6 = 2*m + 2*d. Put 5, -1, m, 1 in ascending order.
m, -1, 1, 5
Let o be ((-15)/6)/((-1)/(-2)). Suppose -5*v - 4*u = -9, -2*v - 3*u = 2*v - 8. Put o, 2, v in decreasing order.
v, 2, o
Suppose -2 = -2*j + 2. Let t(q) = 2*q**3 - 2*q**2 + 1. Let s be t(j). Let r be -3 - -3*12/s. Put r, -4, 0 in ascending order.
-4, 0, r
Suppose -1 = n - 0*n - 2*a, 4*a - 16 = 0. Suppose 11 = 3*c - n. Suppose 0 = c*h - 2*h. Put h, -5, -2 in descending order.
h, -2, -5
Let r(j) = -5 - j**2 - 6*j + 2 - 1. Let v(n) = -3*n + 4. Let h be v(3). Let f be r(h). Put 0, 4, f in decreasing order.
4, f, 0
Suppose -2*b = b - 9*b. Put b, 5, 4 in decreasing order.
5, 4, b
Let d be -8 - 1/(-1) - -2. Let q be (-1)/(-4) - 4/16. Put d, -3, q in increasing order.
d, -3, q
Let s(t) = t**3 - 5*t**2 + 8*t - 13. Let y be s(4). Suppose -9 = 2*f + 1. Put -3, y, f in increasing order.
f, -3, y
Let m = -430 - -425.07. Let r = 0.09 + -0.02. Let z = m - r. Sort z, 5, -4 in descending order.
5, -4, z
Let d = -25 + 25.7. Sort -1/2, -4, d in increasing order.
-4, -1/2, d
Let j be 2*1*5/(-20)*4. Suppose 0 = -h + 1 + 3. Let f = 6 + -1. Put h, j, f in decreasing order.
f, h, j
Let f = -0.13 - -0.16. Let k = -0.03 + f. Put -2, 1, k in decreasing order.
1, k, -2
Let y(n) = 2*n**3 - 4*n**2 + 4*n - 3. Let x be y(2). Sort 3, x, -1 in increasing order.
-1, 3, x
Let q = 72 + -77. Sort -1, 0.5, -3/8, q in descending order.
0.5, -3/8, -1, q
Let c = 39 - 38.6. Sort -4, -13, c in descending order.
c, -4, -13
Let a = 8 - 5. Let k be (21/6 + -4)*4. Sort k, 1, a.
k, 1, a
Suppose -2*i = n + 8, -2*i + 3*n = -2*n + 32. Let d = i - -5. Put d, 3, 4 in decreasing order.
4, 3, d
Let f(a) = a**3 + 13*a**2 - 13*a + 20. Let d be f(-14). Sort 4, 2, d.
2, 4, d
Let l be 1/(-3)*(-8 + 5). Let y be l - (-1 - (-3 - 3)). Let b = -1 + y. Put 5, -1, b in descending order.
5, -1, b
Let p(g) = -3*g - 10. Let n be p(-2). Sort 1, n, 5, -3 in ascending order.
n, -3, 1, 5
Suppose 26 = 4*q - 26. Let h = 1 - -4. Suppose -h*u + q + 7 = 0. Sort 2, u, 3.
2, 3, u
Let o = 2 + -4. Let b = o + 3. Let j = -34 - -31. Put b, 1/4, j in descending order.
b, 1/4, j
Let p = -2 - -8. Let z be -2 + -1 + p/1. Put 0, z, -5 in decreasing order.
z, 0, -5
Let t(l) = -l**2 + 19*l - 21. Let c be t(18). Put c, 3, 0 in ascending order.
c, 0, 3
Let h = 41.4 - 41. Let y = -617/5 + 124. Sort -0.1, y, h in increasing order.
-0.1, h, y
Let j = 7 + -4. Let i be -1 + 4 - 3/3. Suppose 3*m = -1 - i. Sort j, -3, m in increasing order.
-3, m, j
Let j = 0.1 - -5.5. Let q = j + -6. Sort q, -2, 4/5 in descending order.
4/5, q, -2
Let m = -3 - -4. Let v be 2*m - (9 + -2). Put 4, v, 1 in decreasing order.
4, 1, v
Suppose r = 5*r. Let g = 77 - 81. Let s = 0 + -2. Sort s, r, g in descending order.
r, s, g
Let w(t) = t**2 - 4*t + 3. Let l be w(1). Put l, -3, 1, 5 in increasing order.
-3, l, 1, 5
Suppose -10 = 3*o - 8*o. Sort o, 1, 5 in increasing order.
1, o, 5
Let z = 0 + 3. Suppose 0 = -3*u - 0*u. Suppose -3*d = 4*t - 2, 4*t + 5*d + 2 = -u*t. Put t, -0.1, z in descending order.
z, t, -0.1
Suppose 0 = -3*v - 8 - 1, -3*f - 5*v = -21. Let m = f + -10. Sort m, -1, 3.
-1, m, 3
Let b be 45/60 + 2/(-2). Let z = 0 - -0.1. Put b, z, 2/9 in decreasing order.
2/9, z, b
Suppose -3 = i - 4*l + 15, 0 = -5*i - 4*l + 30. Sort -3, -4, i in decreasing order.
i, -3, -4
Let o = -0.118 + -0.182. Put o, 0.3, -6/5 in descending order.
0.3, o, -6/5
Let p = -15 + 18. Put 10, -2, p in increasing order.
-2, p, 10
Let g be (-35)/100 - ((-24)/(-10) + -2). Sort 6, -1, g, -0.2 in increasing order.
-1, g, -0.2, 6
Let s(x) = x - 6. Let i be s(6). Suppose -k + 3 = -4*a, 4*a - 6*k + 2*k + 12 = i. Let q(f) = -6*f - 1. Let y be q(-1). Put 2/15, y, a in decreasing order.
y, 2/15, a
Suppose -7*w = -12*w + 25. Sort w, -5, 3, 1 in decreasing order.
w, 3, 1, -5
Let b(l) = -l**3 + l - 2. Let t be b(-2). Suppose 2*d = 10, -4*d + 35 = x + 2*x. Put -0.3, t, x in ascending order.
-0.3, t, x
Let y = -2389/11 + 217. Sort y, 5, 2, -1 in decreasing order.
5, 2, y, -1
Let d(l) = l**3 - 4*l**2 + l. Let z be d(4). Let h(b) be the first derivative of -b**2/2 + 2*b + 2. Let f be h(5). Sort z, f, -2 in ascending order.
f, -2, z
Let u = 1.8 - 1.6. Let m = -2/13 - 3/65. Sort u, -2, m in ascending order.
-2, m, u
Let w(s) = -s**3 + 10*s**2 + 2. Let b be w(10). Suppose -21 = -f - b*f + 3*x, 2*f - 3*x = 18. Put f, 1, 4 in ascending order.
1, f, 4
Suppose 4*z - 3*z - 6 = 3*m, 0 = z - 3. Let t be (20/(-15))/(2/6). Suppose -2*j + 2 = v + 1, 4*j + 33 = 5*v. Sort m, v, t in ascending order.
t, m, v
Suppose 4 = 2*j - 4*j. Let c be ((-3)/2)/(4/(-8)). Suppose c*x = -4*o + 3 - 23, -2*o - 10 = -2*x. Sort j, o, 2 in descending order.
2, j, o
Let a = 10.2 + -11. Let r = 0.8 + a. Put r, 0.3, 1/6 in decreasing order.
0.3, 1/6, r
Suppose -3*h = -5*v + 10, 4*h = -6*v + v + 45. Let c be (0 + 0)/((-12)/3). Put c, v, 4 in increasing order.
c, 4, v
Suppose 3*g = 4*s + 52 + 47, 61 = 2*g - s. Put -4, 5, -3, g in descending order.
g, 5, -3, -4
Suppose 3*u = 6 + 6. Let o = 2 + -1.5. Put u, 1, o in increasing order.
o, 1, u
Suppose -25 = -10*c + 5. Sort c, -9, -3.
-9, -3, c
Let u = -22 + 21. Sort -1/8, u, -1.9 in increasing order.
-1.9, u, -1/8
Suppose c = 3 - 0. Suppose 5*d + c*f + 10 = 0, -3*d + f - 6 = 3*f. Sort d, -5, 2 in decreasing order.
2, d, -5
Let r(f) = -2*f + 4. Let l = 10 - 6. Let t be r(l). Put 3, t, 5 in decreasing order.
5, 3, t
Let y(v) = v**2 - 3*v + 1. Let k be y(2). Let s = -90 + 90. Suppose 4*l = -4 + 20. Sort l, s, k.
k, s, l
Let k = -9 - -8. Let c be (5 - (k - -1))/(-1). Let u be (0 + 4/(-10))*-5. Sort u, c, 0 in descending order.
u, 0, c
Let u be -1*1*(-12)/(-2). Sort u, -4, 3 in descending order.
3, -4, u
Suppose d + 3 = 1. Let u = -0.5 + 0.5. Let w = 0.1 - u. Sort d, 0, w in descending order.
w, 0, d
Let s = -0.74 + 1.14. Put s, -5, 1/4 in descending order.
s, 1/4, -5
Suppose 3*x + 5*f = 202 + 23, -3*x + 3*f + 201 = 0. Let u be (-1)/(-3) - x/(-15). Suppose -3*s + u = 11. Sort s, -3, -4 in increasing order.
-4, -3, s
Let z = -44 - -41. Sort -2/9, z, -5 in descending order.
-2/9, z, -5
Let s = -1/20 + 3/10. Put s, -0.06, 4 in decreasing order.
4, s, -0.06
Suppose -4*n + 5 = -3*n. Put 0.1, -1/5, n in increasing order.
-1/5, 0.1, n
Let u(j) = -j**2 + 7*j - 7. Suppose 5*d = 20, -d = 3*h - 0*d - 22. Let n be u(h). Let f be (-2)/3 + (-28)/(-42). Put f, n, 5 in descending order.
5, f, n
Let v(t) = t**2 - 3*t - 6. Let b be v(7). Let y = 41 - b. Suppose 0 = 3*p + z + 4, 5*z - y = -4*p - 6. Put 2, p, -1 in decreasing order.
2, -1, p
Suppose -2*q = -3 + 1. Suppose 2*y + 13 = w, 0*y - y + 6 = 2*w. Sort q, w, -5 in increasing order.
-5, q, w
Let m be (-9)/6*112/(-6). Suppose 5*r + m - 8 = 0. Suppose 4*q + 28 - 8 = 0. Sort 5, r, q in increasing order.
q, r, 5
Let r = 0 - 4. Let w be (-2 - -2)*(-2)/r. Suppose 2*f - 4*j = 0, -5*f = 2*j - 13 - 11. Sort f, w, -3 in decreasing order.
f, w, -3
Suppose b = -b + 5*w - 20, -4*b + 4 = w. Sort -1, b, -2, -3 in descending order.
b, -1, -2, -3
Suppose -2*c + 4 = 2*f, 4*f - 8 = f - 4*c. Suppose -2*k - 5 = 3*t, -4*t = -4*k + 5*k + 10. Suppose -5*m - 3 = -k*m. Put f, m, -5 in decreasing order.
f, m, -5
Suppose 6*w - 5 = 1. Put -0.4, w, 2, -1/2 in descending order.
2, w, -0.4, -1/2
Suppose -28 = -b - 3*b. Let k = 5 - b. Let v = 1 + -1. Sort 2, k, v.
k, v, 2
Suppose 4*y - 12 = y. Let a = 1 + 0. Put a, -4, y in increasing order.
-4, a, y
Let x be (8/28)/(-2 - -4). Put x, 3, 4 in ascending order.
x, 3, 4
Suppose 4*x + 1 = x + 2*r, 2*x - 5*r + 19 = 0. Let j(h) = h. Let g be j(x). Let p = -1 - 0. Put 1, g, p in descending order.
g, 1, p
Let z(u) = u**3 + 2*u - 1. Let h be z(1). Suppose h = c + c. Suppose b - c = 4. Put b, 3, -3 in decreasing order.
b, 3, -3
Let s(z) = -z**3 - 4*z**2 + 6*z + 2. Let k be s(-5). Let f(u) = -u**2 - 3*u + 3. Let y be f(k). Sort 1, y, -1.
-1, 1, y
Let f = -10 - -7. Let q be 6/1 - (1 - 0). Suppose 0*r + 5 = q*r. Sort 2, r, f in ascending order.
f, r, 2
Let i = 14 - 10. Let p be ((-1)/(-6))/((-20)/45). Sort i, -0.1, p in decreasing order.
i, -0.1, p
Let s be ((-4)/(-16))/(14/(-24)). Let x be 10/4*16/(-140). Sort s, -5, x in decreasing