 l be o(-2). Let b = -11 - -15. Let u = b + -3. Sort 5, u, l in descending order.
5, u, l
Suppose -16 = -3*g - g. Suppose 0 = -5*q - g*d - 0*d + 26, 4*d = -4*q + 24. Let v(x) = -4*x**2 + 2*x + 1. Let s be v(-1). Put s, -1/2, q in decreasing order.
q, -1/2, s
Suppose -3*m + 2*m + 3 = 0. Suppose 5*c - 10 = m*c. Suppose 5*n = -6*f + 4*f - 24, -n - c*f = 14. Sort 2, n, 3 in descending order.
3, 2, n
Let u be 34/(-6) + 6/9. Sort 2, u, 4 in ascending order.
u, 2, 4
Let i(m) = m + 1. Let d be i(-2). Put -3, d, 5 in decreasing order.
5, d, -3
Let n be 2/3*3/5. Let t = -1.3 - -0.8. Let f = 0.2 - -4.8. Sort f, n, t in increasing order.
t, n, f
Let c(j) = j**3 + 6*j**2 - 6*j + 9. Let h be c(-7). Sort -4, 5, h, 3.
-4, h, 3, 5
Let r = 7 - 2. Suppose 3*u = 3*a, u - 5*u = 4*a. Sort -4, r, u in decreasing order.
r, u, -4
Let v = 7 - 9. Let k = -2 + 1. Let x = 1 - k. Sort x, v, -0.1 in descending order.
x, -0.1, v
Suppose -3*v = q + 2*v + 20, -q + 30 = -5*v. Let d be (4/(-6))/(1/(-3)). Suppose -d*h = 2*h. Sort q, -5, h.
-5, h, q
Let n be 1 + 2 - 1006692/(-135). Let k = n + -70540/9. Let b = 379 + k. Put b, -0.2, -5 in descending order.
b, -0.2, -5
Let c = 0.8 - 0.3. Let u = -6.6 + 6. Let d = -0.5 - u. Put d, -5, c in descending order.
c, d, -5
Let m = 5 - 9. Suppose 4*j + 3*u = -3, 2*u + 2*u = j + 15. Put m, 1, j in descending order.
1, j, m
Let o be 1 - -3*4/6. Suppose -4*c - 5 = -o*c. Put 4, 0, c in descending order.
4, 0, c
Let u be (16 + -15)*(-6)/10. Sort -1/5, u, -5 in ascending order.
-5, u, -1/5
Suppose -5*l - 3 + 13 = 0. Suppose -4 = l*n + 6. Let g(s) = 3*s - 1. Let a be g(2). Put -4, a, n in descending order.
a, -4, n
Suppose 15 = -5*u - 4*w, -5*u - 5*w + 0*w = 15. Suppose 11*x = 6*x + 25. Sort u, 6, x in decreasing order.
6, x, u
Let n = 14.3 - 17.3. Put -2, n, 1, 1/4 in descending order.
1, 1/4, -2, n
Let z = 25 - 18. Let y = z - 6. Sort 2, y, 6.
y, 2, 6
Let s = -5 + 11. Let d be (0 + -1)/(2/s). Let x(r) = -r**3 + 11*r**2 - 9*r - 12. Let l be x(10). Sort l, d, 0.
d, l, 0
Suppose -47 = -22*s + 41. Sort s, 1, 5 in ascending order.
1, s, 5
Let l = 14 - 8. Suppose 0 = 2*s - 5*v + l + 7, -4*s = -4*v - 4. Suppose -a = 5*t + 9, -4*t = -0*t + 3*a + 16. Put t, -2, s in descending order.
s, t, -2
Suppose z = 4*v + 58, -6*z + 74 = -5*v - 4*z. Let u = v - 4. Let q be (3/(-12))/(u/16). Put 0.5, 2, q in decreasing order.
2, 0.5, q
Let x be 1 - (0 + 0 - (-3)/6). Sort x, 0, 12 in decreasing order.
12, x, 0
Let l be (-2)/3*54/12 + -2. Sort -3/2, l, 2, -2 in ascending order.
l, -2, -3/2, 2
Suppose -2*n + 6*n = -16. Let x = -0.11 - -0.01. Let r = 0.5 + x. Put r, -0.1, n in ascending order.
n, -0.1, r
Let o = -31 - -15. Let v = o - -13. Put -5, -4, v in descending order.
v, -4, -5
Let o(b) = -b**2 + 8*b - 3. Let r be o(7). Put r, -4, -3 in descending order.
r, -3, -4
Let q be (2/(-3))/(1/3). Suppose 16 = -2*y + 6*y. Put 1, q, y in ascending order.
q, 1, y
Let l = -2 + 5. Put -0.5, 0.4, l in decreasing order.
l, 0.4, -0.5
Let m be (-15)/6 + -1 + 2/4. Put 3, m, -5 in descending order.
3, m, -5
Suppose 0*t = -4*t. Suppose -7*h - 15 = -10*h. Sort t, -1, h in ascending order.
-1, t, h
Let w = -452/3 - -150. Sort 0.3, w, -1/3, -1/7 in decreasing order.
0.3, -1/7, -1/3, w
Let b = 141 - 1831/13. Put 0.3, b, -44 in increasing order.
-44, b, 0.3
Suppose -4*g + 2 = 6. Let k(a) = 3*a**2 + 2*a + 1. Let z = -1 - 0. Let x be k(z). Put x, 5, g in decreasing order.
5, x, g
Let n(t) be the third derivative of 1/120*t**6 + 0*t**4 + 2*t**2 + 0 - 1/6*t**3 + 0*t - 2/15*t**5. Let k be n(8). Sort k, 5, -2 in descending order.
5, k, -2
Let z = -14 - -24. Suppose -z = 4*c + c. Sort -3, 2, c.
-3, c, 2
Let r = -0.07 + -3.93. Let w = 7.17 - 0.17. Let v = -3 + w. Sort v, 0.1, r in ascending order.
r, 0.1, v
Let r = 0.23 - 10.23. Let c = -9.8 - r. Sort c, -4, -0.5 in decreasing order.
c, -0.5, -4
Let t be ((-3)/(-4))/(3/12). Let x(h) = -h**2 - 3*h - 2. Let w be x(-3). Sort t, 1, w in descending order.
t, 1, w
Let i be ((-6)/4)/(12/(-16)). Suppose 7*k - 15 = i*k. Sort 1, k, -5 in decreasing order.
k, 1, -5
Let x(s) be the second derivative of -s**3/6 - 3*s. Suppose -r + 6 = 2. Let j be x(r). Sort -5, 3, j.
-5, j, 3
Let c = 23 + -14. Let x = c + -9.2. Sort x, -1, -4.
-4, -1, x
Let x be (-5)/(-10)*(2 + -2). Sort 6, x, -2.
-2, x, 6
Let s = 10 - 10.3. Sort -1, s, -2.
-2, -1, s
Let h = 22 + -16. Let a be ((-4)/h)/((-4)/(-6)). Sort -3, a, 2 in descending order.
2, a, -3
Let s = 185 - 185. Put -6, -4, -5, s in increasing order.
-6, -5, -4, s
Let c = -44.7 - -45. Sort -0.2, 0.2, -2, c in decreasing order.
c, 0.2, -0.2, -2
Let p = -0.3 + 0.5. Let s = -6 + 11. Let z be -1 - (-4 - 93/(-33)). Sort s, z, p in descending order.
s, p, z
Let i = -392/153 + 22/9. Put i, -0.1, 5 in ascending order.
i, -0.1, 5
Suppose -3*p - k - 2*k + 27 = 0, -2 = 2*p - 3*k. Suppose 8*n + 139 = 107. Sort p, n, 1 in descending order.
p, 1, n
Suppose -2*b - 8 = 0, 0*b + 12 = l - 2*b. Let r(p) = -p**2 + 7*p - 6. Let x be r(6). Put -1, l, x in increasing order.
-1, x, l
Suppose 0 = -36*r + 26*r + 50. Put r, -2, 2, 4 in decreasing order.
r, 4, 2, -2
Let w = -6.3 + 1.3. Let i = 4 + w. Let t = -3 + i. Put -1, 5, t in ascending order.
t, -1, 5
Suppose 6 = 3*n + 21. Suppose -24 = -5*k - 9. Sort n, k, 0 in descending order.
k, 0, n
Let o(n) = -n**2 + 4*n. Let l be o(2). Sort l, -2, 3.
-2, 3, l
Let t(m) = 5*m**3 - 9*m**2 - 7. Let s(r) = r**3 - r**2 - 1. Let c(z) = 6*s(z) - t(z). Let a be c(-3). Sort a, 3, 0 in ascending order.
0, a, 3
Let q(l) be the third derivative of -l**5/60 + 7*l**4/24 - 3*l**3/2 - 5*l**2. Let s be q(6). Put -1, s, 0 in increasing order.
s, -1, 0
Let k = -10 - -5. Let r = -1 + 4. Let z = -3 + r. Sort 2, z, k.
k, z, 2
Let l = 1 + -2. Let z be l*(-1 - -2) + 0. Sort 4, -3, z.
-3, z, 4
Let f(l) = -2*l**2 + 3*l - 3. Let r be f(1). Suppose p - 1 = -2. Sort p, r, 1 in decreasing order.
1, p, r
Suppose -6*c + 5 = 11. Put 5, 2, c, 3 in decreasing order.
5, 3, 2, c
Let i(f) = f - 2*f**2 + 3*f**2 - 5*f**2. Let w be i(-1). Let g(j) = 2*j + 1. Let d be g(0). Sort d, -3, w in descending order.
d, -3, w
Let u be (1/2)/(8/32). Put 1, u, -13 in decreasing order.
u, 1, -13
Let q = -8.01 + 10. Let k = -0.11 - -0.1. Let n = k - q. Put -0.4, n, 0.3 in descending order.
0.3, -0.4, n
Let i(m) = -m**3 + 5*m**2 + 2*m + 7. Let j be i(5). Suppose 0 = -5*s - w - j, 2*w = 2*s + 3*s + 11. Sort 0, s, 2.
s, 0, 2
Let f be (3 + -3)*(-1)/(-2). Let g = 5 + f. Let a(o) = 4*o + 1. Let j be a(-1). Sort -2, j, g in decreasing order.
g, -2, j
Let d = -6 - -8. Suppose 0 = d*r - 2*g + 6, 4 = -2*r - 0*r + g. Sort 1, 3, r in descending order.
3, 1, r
Let k(s) = -s - 6. Let t be k(-5). Suppose 0 = 3*r + 3*q - 21, -7 = -3*q + 2. Let w be r/6 + 4/3. Put 0, w, t in decreasing order.
w, 0, t
Let o = 45 + -44. Let p = -5 + 5. Sort p, o, -1/4 in descending order.
o, p, -1/4
Suppose 25 = -2*i - 3*i. Put 5, 4, i in descending order.
5, 4, i
Let k = 69 - 69.3. Sort 0.2, k, 11/5 in decreasing order.
11/5, 0.2, k
Suppose -4*o + 1 = a, -3*o + 1 = a - 5*o. Suppose -3*w + 3 = -2*i - 2*i, 0 = w + 2*i - 1. Suppose 2*t + w = t. Put t, -2, a in ascending order.
-2, t, a
Let i = -4 + 3. Suppose 6*s - 25 = 5*s. Suppose -5*u - 5*m + s + 20 = 0, 6 = -u + 2*m. Put 2, i, u in decreasing order.
u, 2, i
Suppose 5*y - 2*c = 4 + 3, y = 5*c - 17. Let m be (4/y)/(3/9). Let w = -2 - -2. Sort m, w, 2 in decreasing order.
m, 2, w
Suppose -16 = 4*p + 4*o, 0 = -2*p + 5*o + 3 - 18. Let h be ((-2)/4)/((-2)/(-12)). Suppose -t + 4 - 8 = 0. Put p, h, t in decreasing order.
h, t, p
Suppose 0 = 4*o - 7*o. Let a = 3 - 1. Let d = 2 - 4. Sort d, o, a in decreasing order.
a, o, d
Let r(c) = -c**3 + 13*c**2 - 12*c - 3. Let d be r(12). Put d, -9, -2 in descending order.
-2, d, -9
Let o = -7 + 10. Let b = 0.08 - 0.23. Let z = b - 0.05. Sort o, 2/17, z.
z, 2/17, o
Suppose -o - o = -10. Let l be 24/14 + 10/35. Suppose 4*x = 3*x - l. Sort -1, x, o.
x, -1, o
Let k be (-3)/1 + 24 + -1. Suppose -5*n + 60 = k. Suppose -3*m - 20 = -n*m. Put -2, 1, m in descending order.
m, 1, -2
Let x = -36 + 36. Sort 11, x, 2 in descending order.
11, 2, x
Suppose 10 = -5*t - 5*r, 3*r = 4*t + t + 34. Let c = -8 + 9. Sort -0.1, c, t.
t, -0.1, c
Suppose 2*m + 0*m - 204 = 0. Let q be 9/(-6)*8/m. Sort -1, 1, q.
-1, q, 1
Suppose 4*c - 2*b + 