+ c - 8 = 0. Suppose -2 = -c*m - 2*m + o, -4*m - 4 = 2*o. Suppose -5*s - 7 = -32. Put -4, m, s in decreasing order.
s, m, -4
Let z = -2.996 - 0.004. Put z, -0.5, -4/23 in decreasing order.
-4/23, -0.5, z
Let f = 2.2 + 0.8. Let h = 472 + -471.5. Put 0.3, f, h in decreasing order.
f, h, 0.3
Suppose 0 = 5*c - 3*c - 8. Sort 0, 2, c.
0, 2, c
Let a be -1*3*(-1 + 0). Suppose -5*k + 7 = -3, -9 = -o - a*k. Suppose -o*x = 2*x - 20. Put x, 2, -4 in decreasing order.
x, 2, -4
Suppose -6 + 21 = -5*m. Suppose w - 5*w - 2*f = 28, 4*w + 3*f = -32. Let b be (0 - -1) + 2 + -3. Sort b, w, m.
w, m, b
Suppose -16 + 12 = -2*n. Sort 3, n, 5, 4 in decreasing order.
5, 4, 3, n
Let c be 5*(0 - 4/10). Suppose 12 = 2*b - 2*m, 6 = -5*b - 2*m - 2*m. Let h = -7 + 6. Sort c, h, b in descending order.
b, h, c
Suppose 0 = -3*n + n. Let p be n*(-3 - 2/(-1)). Suppose -2 = -c - p*c. Put 5, c, 1 in decreasing order.
5, c, 1
Suppose 3*d + 16 = -5*y, 0 = 5*d - d - 2*y - 22. Put 5, d, 6, -2 in decreasing order.
6, 5, d, -2
Let p = -1 - 0. Let r(x) = x**2 - 6*x + 2. Let y be r(5). Let k = -2 - y. Sort p, -4, k in descending order.
k, p, -4
Let v = 24 - 143/6. Sort 2/5, v, -0.2.
-0.2, v, 2/5
Let t be (-7)/(-28)*-1*2/2. Sort 0.3, -1/11, 2, t in decreasing order.
2, 0.3, -1/11, t
Suppose 0 = 3*i - 4*z + 15, 5*z = -2*i - 2*i - 51. Put 5, 4, i in increasing order.
i, 4, 5
Let x(m) = m**2 + m + 2. Let t be x(-2). Let w be 18/t + (-1)/(-2). Let q(z) = -2*z**2 - 58*z + 4. Let i be q(-29). Put -2/11, i, w in ascending order.
-2/11, i, w
Let a(p) = p**3 + 10*p**2 + 9*p + 10. Let m be a(-9). Suppose 8*s = m*s - 2. Sort s, 2, -2.
-2, s, 2
Let w = 2 + 2. Suppose -2*l - w*n = -2*n, -l - 2*n = 1. Let x = 8 + -8. Put l, -3, x in increasing order.
-3, x, l
Let m = 0.07 - 0.57. Put 0, m, -5 in decreasing order.
0, m, -5
Suppose -t - 2 + 7 = 0. Sort -1, 2, t in decreasing order.
t, 2, -1
Let s = -14.14 + 14. Let o = s - -1.14. Put 3/4, o, 5 in decreasing order.
5, o, 3/4
Let x = -7410/17 + 436. Put x, -0.5, 2, -1 in decreasing order.
2, x, -0.5, -1
Let j = 2.06 - 2. Sort j, 1/4, -4 in descending order.
1/4, j, -4
Suppose 4*a - 17 - 7 = 0. Suppose 30 = 4*j - j. Suppose j = -5*q + z, -3*q = -2*q - z + a. Sort -4, 5, q in decreasing order.
5, q, -4
Suppose 0*w = -4*r - w - 16, w = 2*r + 8. Suppose -3*i - 2*p - 2 = 0, -5*i - 4 = 6*p - 2*p. Sort -5, r, i in decreasing order.
i, r, -5
Suppose 4*u - 8 = 2*u. Suppose 0 = -u*b + 3*b - 1. Let m be -1*((-1 - -1) + 3). Sort 1, m, b in ascending order.
m, b, 1
Let d be 213/15 + 1/(-5). Let b be ((-20)/(-6))/(d/21). Sort 0, -2, b in decreasing order.
b, 0, -2
Suppose -5*y - 5 = 2*p, -5*p + 4*y + 0 = -4. Put 5, 7, -2, p in ascending order.
-2, p, 5, 7
Let x(m) = m**2 - m - 3. Let z be x(0). Sort -4, -5, 0, z in ascending order.
-5, -4, z, 0
Let x = -6 + 3. Let f = 47 - 43. Sort -5, x, f in descending order.
f, x, -5
Let i = 50 + -54. Put -0.01, i, -0.4, -0.3 in ascending order.
i, -0.4, -0.3, -0.01
Let p be (-47)/(-42) - 2/7. Let d = 24 - 24. Let w = 1/30 - -3/10. Sort p, w, d in descending order.
p, w, d
Let i(x) = -x - 1. Let a be i(3). Let h = 0 + a. Sort 2, h, 4.
h, 2, 4
Let o = 1.93 - 2. Put 4, o, 0.1 in ascending order.
o, 0.1, 4
Let w = -10 + 6. Let n = -9 - w. Sort n, 0, -1/10 in decreasing order.
0, -1/10, n
Let r = 0.1 + -2.1. Let d = -2 + 14. Suppose 12*h = 9*h - d. Put h, 1/5, r in decreasing order.
1/5, r, h
Let p be (-10)/(-3)*(-6)/(-5). Let t = -6 - -9. Let f be t*(-3)/9*-2. Put f, p, 0 in decreasing order.
p, f, 0
Suppose 5*q - 3*o + 55 = 16, 0 = 2*q + 5*o - 3. Let k be 3*((-16)/q + -2). Suppose 15 = -i - k*i. Sort i, 3, 4 in decreasing order.
4, 3, i
Suppose -3*i = 5*v - 32, 1 = v - 3. Put -1, i, -40 in increasing order.
-40, -1, i
Let p(g) = -g**3 + 6*g**2 - 2*g + 11. Let l be p(6). Put 9, l, 1, -4 in decreasing order.
9, 1, l, -4
Let g be (-26)/(-8) - (2 + 1). Suppose -2*o = -4*q + 14, 7 = q - 3*o - 4. Sort g, 5, q in ascending order.
g, q, 5
Let s(q) = -q**3 + 6*q**2 - 5*q. Let m be s(5). Suppose 2*t + 5*y = 19, -4*t - 4*y - 9 = -29. Suppose -12 = t*r + r. Sort 2, m, r.
r, m, 2
Let l(g) = g**3 + 3*g**2 - 1. Let r be l(-2). Suppose -t = 3*c - 29, -2*c - 3*t + 5 + 12 = 0. Suppose -2*b = -0*b + c. Sort -4, r, b in descending order.
r, -4, b
Let t = -0.2 + 0.8. Let y = 53 - 48.4. Let p = t - y. Sort -1/3, p, 1 in ascending order.
p, -1/3, 1
Let n = -2.1 + 2.3. Suppose 0 = p - 2. Let z = p + -3. Put z, -0.4, n in decreasing order.
n, -0.4, z
Let s = 0.1 - -0.9. Let m = 23/7 - 94/35. Put m, 0.1, s in descending order.
s, m, 0.1
Let u(a) = a**2 + 6*a - 1. Let g be u(-6). Suppose 0 = -3*z - 7 + 1. Sort 4, z, g in decreasing order.
4, g, z
Let c = 9 + -3. Let i = c - 3. Sort -1, i, -4.
-4, -1, i
Suppose 0 = 5*y + f - 15, y - f + 13 = 2*f. Let r be (-2)/y*-4*2. Suppose 2 = 3*v + r. Put 1, v, 2 in ascending order.
v, 1, 2
Let u = 18 - 22. Put 3, u, 0 in ascending order.
u, 0, 3
Let c = 5 - 24/5. Let b = 11.269 - 0.269. Sort c, b, -0.5 in ascending order.
-0.5, c, b
Let p(r) = -r**2 - r + 5. Let n be p(-4). Let h = 6 + -10. Sort 3, n, h.
n, h, 3
Suppose 0 = -22*c + 28*c - 18. Put 55, c, -5 in descending order.
55, c, -5
Suppose 30 = -0*x - 5*x. Let u be x*-1*(2 - 1). Suppose 0 = 3*n - u*n - 15. Sort 0, n, -3.
n, -3, 0
Let y = -14 - -14. Sort 0.5, -7, y in decreasing order.
0.5, y, -7
Let n(x) = -x - 10. Let l = 9 - 15. Let j be n(l). Suppose 4*o - 16 = 6*t - 2*t, 3*o - 13 = 4*t. Sort o, 2, j in decreasing order.
o, 2, j
Let m(z) = -z**3 - 7*z**2 - z - 6. Let j be m(-6). Let y be (j/1064)/(6/(-8)). Let o = y + 212/1197. Sort o, -6, 0.1 in decreasing order.
o, 0.1, -6
Let k = 124/175 - 7/25. Sort k, 1/11, -3.
-3, 1/11, k
Let w(a) = 2*a**2 + a - 1. Let f(o) = -5*o**2 - 2*o + 2. Let q(n) = 3*f(n) + 7*w(n). Let r be q(0). Put r, -4, -3 in decreasing order.
r, -3, -4
Let p(k) = -k**3 + 5*k**2 - 2*k + 5. Let r be p(5). Suppose d + 3*w = 0, 2*d - 2*w + 0*w = 8. Let u be (-2)/d*(0 + 3). Put r, 4, u in decreasing order.
4, u, r
Let l = -6 - -3. Let t = -33 + 29. Sort l, t, 4.
t, l, 4
Let l = -17 + 13. Put 5, l, 4 in ascending order.
l, 4, 5
Let b = 10 + -7. Let a(v) = -13*v + 40. Let z be a(3). Sort 0, b, z in descending order.
b, z, 0
Let m = -2.9 + 3. Let a = -0.1 - -0.5. Sort -5, m, a in descending order.
a, m, -5
Let w be -1 + -2 + (-85)/(-25). Sort 5, -3, w.
-3, w, 5
Let j(w) = 5 + 2 - w - 5. Let q be j(5). Sort 8, 3, q.
q, 3, 8
Let d be (9 + -3)/(-2) - -10. Suppose 0 = -3*i - d - 8. Suppose -2*a = 9 - 3. Sort a, 5, i in decreasing order.
5, a, i
Let k be 2/(-3)*3/2. Let o be (-28)/10 + k/5. Let p be 2 - (-6)/(-1 - 1). Sort p, 2, o in increasing order.
o, p, 2
Let t = 1 + -3. Let l(w) = -w**3 - 8*w**2 + 5*w - 1. Let s(x) = x**3 + x**2 + 1. Let z(m) = l(m) + 2*s(m). Let d be z(5). Sort t, d, -5 in descending order.
d, t, -5
Suppose 8*g - 14 = 3*u + 3*g, -3*u = -g + 10. Let v = 1 - 1. Let h be (2 - v)*(u + 1). Put 1, h, -3 in decreasing order.
1, -3, h
Suppose 4*c - 4 = -5*b, b = 2*b + 2*c + 4. Suppose b*q - 5 = 5*d - 36, 5*d - 2*q = 23. Let m be (-1)/d - (-32)/6. Sort m, -3, 3 in descending order.
m, 3, -3
Let p = 78 - 82. Sort p, -0.3, -0.2, 1 in descending order.
1, -0.2, -0.3, p
Let b = -28 - -24. Put -2, 3, b in descending order.
3, -2, b
Suppose -25 - 5 = -n. Let h = n - 27. Sort -5, h, 12 in ascending order.
-5, h, 12
Let x = 5.72 + -2.72. Let i = -0.3 + -0.2. Let t = -2 - -2.4. Sort t, x, i in increasing order.
i, t, x
Let x = 107/7 - 15. Put 0.5, x, -22 in ascending order.
-22, x, 0.5
Let g = -242/3 + 82. Let p = 53 + -51. Put g, p, 1 in decreasing order.
p, g, 1
Let y = -37 + 32. Sort -2, -0.5, y, 1 in ascending order.
y, -2, -0.5, 1
Let j(p) = -p**3 + 5*p**2 + 5*p + 6. Let i be j(6). Suppose i = q - 0 - 3. Sort -4, -2, q in increasing order.
-4, -2, q
Suppose -2*p - 3*p - f = 31, 4*p + 2*f = -26. Sort 5, -1, p in descending order.
5, -1, p
Let p be (-1)/(-5) - 33/15. Put 1, 6, p in descending order.
6, 1, p
Suppose -12 = -5*s - 3*q, 0*s + 4*q = 2*s - 10. Suppose -2 = -k - s. Suppose -22*h + 9*h = 65. Sort k, 1, h.
h, k, 1
Let u be 0/(-2) + 0/(-3). Put u, -4, 1 in descending order.
1, u, -4
Let n = 421/22 + -18/11. Let x = 181/10 - n. Sort -4, -6/5, x in descending order.
x, -6/5, -4
Let r = 19 - 15. Sort -15, -1, r in decreasing order.
r, -1, -15
Let 