o = 5*x - 16 - 10. Suppose -5*m = x*b - 31, 4*b + m - 17 = -0*m. Sort -3, -1, b in decreasing order.
b, -1, -3
Suppose 2*t = -3*s + 9, 0 = -7*s + 2*s + 5. Suppose -p + t = -5*z, 4*p + 9 = -2*z + z. Sort 0, z, 0.5.
z, 0, 0.5
Let g be 2 - -1 - 0 - -1. Sort 5, -1, g.
-1, g, 5
Let s(b) = -4*b - 11. Let c be s(-2). Sort 1/5, c, 0.6, 5 in ascending order.
c, 1/5, 0.6, 5
Let f = 6 - 4. Let d = 0 - -3. Sort f, d, 0.1.
0.1, f, d
Let i = -0.1 - 0. Suppose 0 = -2*v - k - 11, 0 = -5*k - 25. Let y = 2/9 - -4/9. Put v, y, i in descending order.
y, i, v
Let k = 22 + -22. Let a be (-4 + k + 1)/5. Put 5, -1, a in increasing order.
-1, a, 5
Suppose r + 3*p + 10 = 0, r = 4*p - 7 + 25. Let t(x) = x**2 + x - 4. Let d be t(-3). Let j(n) = -n**3 + 4*n**2 - 2*n - 1. Let q be j(d). Sort 5, r, q.
r, q, 5
Let i(y) = y**3 - 3*y**2 - 4*y - 1. Let p be i(4). Suppose 0 = -r + 7*a - 6*a - 7, -2*a + 8 = 0. Sort r, 2, p in ascending order.
r, p, 2
Let h = 8.5 + -3.5. Sort 2, 4, h, 1 in decreasing order.
h, 4, 2, 1
Suppose 2*p - 20 = -2*u - 2, -13 = -2*u - p. Put -5, 8, u in decreasing order.
8, u, -5
Let v = 16 + -2. Let f = -18 + v. Sort -4/7, f, -2/11.
f, -4/7, -2/11
Suppose 2*c = 5*n - 7 - 8, 0 = -c - 3*n - 2. Put 1, c, -2 in decreasing order.
1, -2, c
Let r = -0.76 - -0.26. Let c = 3.96 - -0.04. Put r, c, 2/3 in descending order.
c, 2/3, r
Let c(o) = -o**3 - 3*o**2 + 4*o + 1. Let s be c(-4). Suppose -6*l + 8 = -l - 3*t, -2*t = 2*l. Let a be (s - -1) + (-5)/l. Put -1, a, -5 in descending order.
-1, a, -5
Let v = -106 + 103. Let s = -1 + 0.9. Let n = 0.1 + s. Sort n, v, 0.4 in increasing order.
v, n, 0.4
Let n(p) = -p + 11. Let j be n(8). Suppose -c - 2 = -j*c. Let b be 1*(c - 0)*0. Sort b, 3, 4 in decreasing order.
4, 3, b
Let t = 4.6 - 0.6. Let h be (-1)/(-4) - 56/(-32). Put h, -0.5, t in decreasing order.
t, h, -0.5
Let h(m) = -m + 5. Let d be h(0). Let t be (2 + -2)/(1 + 2). Put d, t, 4 in ascending order.
t, 4, d
Suppose -419 = -4*f - 139. Let v = f + -628/9. Let k = -7/3 - -19/9. Put v, 3, k in descending order.
3, v, k
Let x = -163 + 655/4. Sort 3, x, 4 in increasing order.
x, 3, 4
Let n = 0 - 3. Let y be 62/(-12) - (-4)/24. Put 4, n, y in descending order.
4, n, y
Let d = -5709 + 45355/8. Let c = d - -40. Put 4, -2/13, c in decreasing order.
4, c, -2/13
Let m be 3 - (1 - 3 - 0). Let t be 4/6*(-5 - -2). Sort t, 2, m.
t, 2, m
Let r = 16 + -21. Sort r, 1, -0.1, -2/9.
r, -2/9, -0.1, 1
Let r = 0.3 + -0.1. Put r, -0.4, -0.3 in descending order.
r, -0.3, -0.4
Let r(q) = q**3 - q**2 + 2*q - 3. Let d be r(2). Let j = 7 + -6. Suppose -j = -4*u + 3. Put u, d, 4 in descending order.
d, 4, u
Let d = -1.3 + 1. Sort d, -2, -0.1 in increasing order.
-2, d, -0.1
Let l(v) = -v**3 + 5*v**2 - 4*v. Let k be l(3). Suppose -2*c + 0*o + 3 = o, -c - 2*o + 3 = 0. Sort c, -3, k.
-3, c, k
Let y(b) = -b**2 - 4*b + 5. Let p be y(-4). Suppose p*t - 4*m + 0 + 6 = 0, 3*t - 2 = m. Suppose t*w + 5 - 16 = n, 13 = w - 2*n. Put w, 5, 1 in decreasing order.
5, w, 1
Let p = -0.12 - 0.08. Sort 4, -3, p in ascending order.
-3, p, 4
Let k = -3.307 - -0.237. Let r = -0.07 - k. Put -2/9, 1/3, r in ascending order.
-2/9, 1/3, r
Suppose -2*d - 5 + 9 = 0. Sort -0.1, -3/5, d in descending order.
d, -0.1, -3/5
Let c(m) = 29*m**3 - m**2. Let h be c(-1). Sort 4, h, 5.
h, 4, 5
Let c = 1 + -1. Let g = -0.35 + 0.3. Let i = -5.05 - g. Sort 2/13, i, c in decreasing order.
2/13, c, i
Let q = -4.3 + -0.7. Put 2, q, -2 in decreasing order.
2, -2, q
Let p(c) = -2*c**2 + 2*c - 1. Let r be p(1). Let j(a) be the third derivative of a**4/24 - a**3 - a**2. Let k be j(6). Sort 3, r, k in decreasing order.
3, k, r
Suppose -24 = 5*m + 1. Put 5, -2, m in decreasing order.
5, -2, m
Let v = -0.33 - -0.03. Let i = 0.4 + v. Put -0.4, i, -0.5 in ascending order.
-0.5, -0.4, i
Let a be 4/(40/6)*5. Let d be 2 + 0 + -4 - -4. Let c(z) = -z**2 - 5. Let b be c(0). Sort b, d, a in ascending order.
b, d, a
Let i = 0.197 + -1.397. Sort 0.5, 0, i in decreasing order.
0.5, 0, i
Let y = -19.76 + -0.24. Let u = -21 - y. Sort -4, u, 6 in descending order.
6, u, -4
Let l(q) = q**2 - 3*q - 7. Let s be l(5). Suppose -s*k + 6 = v - 5*k, 13 = 3*v - k. Suppose 5*c + 1 = -9. Sort v, 1, c in descending order.
v, 1, c
Let v = 12 + -12.3. Let x = 0.4 + v. Let q = 0.2 + 0.8. Put q, x, -4 in ascending order.
-4, x, q
Let l be (-24)/(-10) - 4/10. Suppose -f - 3 = 2. Let h = 2 + -1.5. Sort l, h, f in increasing order.
f, h, l
Let z = 13.9 - 14. Sort -1, z, 0.2 in descending order.
0.2, z, -1
Let m = -4 - -8. Sort -0.08, m, -5 in ascending order.
-5, -0.08, m
Let y = 73 - 74. Put y, -2/7, 0, 22 in descending order.
22, 0, -2/7, y
Let w = -9 - -9. Let c be 3/(-2)*(w + 2). Sort c, -4, -5 in descending order.
c, -4, -5
Let d be 11/(-9) - 14/(-63). Suppose 5*s - 20 = 0, 0*s + 26 = 3*y + 5*s. Sort d, y, 5 in descending order.
5, y, d
Suppose 5*i + 4*x + 20 = 0, 0 = 5*i - 5*x + 4*x - 5. Sort 10/3, 0.3, i, 5.
i, 0.3, 10/3, 5
Suppose -20 = q + 3*s - 2, 5*q + 25 = -2*s. Put -1, -10, q in increasing order.
-10, q, -1
Suppose -8*o + 9*o = 0. Suppose 0*h - h + 3*g = -5, g = 0. Suppose -17 = -h*b + 8. Sort b, o, -2 in descending order.
b, o, -2
Let d be (2/(-3) - 0)*6. Put d, 4, -3 in descending order.
4, -3, d
Let a = 149.7 - 157. Let q = a + 7. Sort -2/19, 1, q.
q, -2/19, 1
Suppose 0*q + 2 = 2*q - 2*j, -q = 3*j + 3. Let m = -55 - -51. Let v = -3 - 0. Sort q, m, v.
m, v, q
Let x(l) = l**3 - 12*l**2 + 11*l + 5. Let y be x(11). Suppose -y*j = 4*g, j + 4*g = 16 - 0. Sort j, 3, -1 in decreasing order.
3, -1, j
Let u = 86877 - 20416127/235. Let w = u - 3/47. Let o = 19 + -17. Put -5, o, w in decreasing order.
o, w, -5
Suppose -2*f - 6 = 0, 2*b - f + 0*f = 9. Suppose -3*m - j + 5 = -m, -m = j - b. Let w = -9 + 6. Put m, -5, w in ascending order.
-5, w, m
Suppose 3 = -3*b - 9. Let w be 2/(-4) + (-1)/(-2). Suppose w = -0*r + 2*r + 10. Sort r, b, 2 in decreasing order.
2, b, r
Let d = -1 - 1. Sort -4, d, 0 in increasing order.
-4, d, 0
Let c = -2 + 1.6. Sort -3, 0, c in decreasing order.
0, c, -3
Suppose f = c - 5, f + c + 15 = -3*f. Let s = 2 + f. Put -3, s, 4 in ascending order.
-3, s, 4
Let s be 1*(-2 - -1)*1. Let z = s + -8. Let t = z + 14. Sort 4, 3, t in ascending order.
3, 4, t
Let h(i) = 0*i - i + 1 + 1 - 3. Let j be h(3). Sort -3, j, -1 in ascending order.
j, -3, -1
Let v = 166 - 171. Let i(g) = g**2 + g - 1. Let z be i(2). Let s be (-2)/((-2)/3)*1. Sort z, v, s in descending order.
z, s, v
Let r be 9/7 + (-10)/35. Put 0.3, r, 4 in decreasing order.
4, r, 0.3
Let q = -8.7 + 8.7. Put q, 1/4, -5, 1/20 in decreasing order.
1/4, 1/20, q, -5
Let v = 7 + -3. Suppose 3*b + b = 4*t + 24, 0 = 4*t + 20. Sort v, b, 3.
b, 3, v
Let k be 0 - 3/(-18)*2. Suppose -4*y + 4 = -o, -2*o + y - 2*y + 10 = 0. Sort k, -2, o.
-2, k, o
Let o be (10/(-26))/(8/62). Let w = 1091/2 - 14099/26. Let s = o + w. Sort 2, s, 2/13.
2/13, s, 2
Let n be (-6)/(3/6 - 0). Let d = 12 + -3. Let f = n + d. Put -0.4, -0.1, f in descending order.
-0.1, -0.4, f
Let s be -4 - (-3)/12*0. Suppose -2*g - 5 = -5*h, 0 = -5*g - 9 + 34. Sort h, s, 4 in decreasing order.
4, h, s
Suppose -3*x = z + 4, 4*x + 3 + 19 = 2*z. Put 1, x, 5, -2 in decreasing order.
5, 1, -2, x
Let z = 10 - 9. Sort z, -2/7, -0.3 in descending order.
z, -2/7, -0.3
Let k be 11/6 + 5/(-15). Let j(o) = -2 - 5 + 0*o - o. Let y be j(-5). Sort k, y, -0.2 in ascending order.
y, -0.2, k
Let c = -11 + 16. Let u be (-2 + 1 + 3)/(-2). Put c, u, -5 in descending order.
c, u, -5
Let j = -6 + 5.5. Put 1, j, -1 in increasing order.
-1, j, 1
Let n be (-24)/(-40)*(6 + -1). Suppose -h + 0*q - q = n, 2*q = -5*h - 18. Put h, -5, -1 in decreasing order.
-1, h, -5
Suppose -3*h + 2*f = -12, 4*f - 6*f = h - 4. Let r(p) = -p**2 + 6*p + 5. Let a be r(6). Sort 0, h, a in decreasing order.
a, h, 0
Let b = 19 - 17. Suppose -15 = -2*p + 5*r + 13, b*r + 8 = 0. Put p, 6, 5 in descending order.
6, 5, p
Let m(r) = 5*r**3 + r**2 + r + 1. Let n be m(-1). Suppose 2*c + 0*c = 6. Sort n, c, 5.
n, c, 5
Let n(g) = g**2. Let d be n(-2). Suppose 10 = -j - d*u, 4*j = 2*j + 5*u + 6. Sort 0.3, j, -0.3 in descending order.
0.3, -0.3, j
Let n = 48 + -48.5. Put 0.4, n, 0.3, -2 in increasing order.
-2, n, 0.3, 0.4
Let m = 88 - 179/2. Let i = -660652/9 + 73265. Let n = 141 + i. Sort m, n, -3 in descending orde