5*z - 4*z + 3*s - 12 = 0, 0 = 3*z - p*s + 3. Put 4, -1, z in descending order.
4, z, -1
Let v be 0/(15/(-9) + 2/3). Sort 6, -2, v in decreasing order.
6, v, -2
Let a be ((-12)/18)/(13/3). Put a, 1, -1/2 in increasing order.
-1/2, a, 1
Let t(a) = -a**2 + 4*a + 9. Let n be t(5). Sort n, 15, 0.
0, n, 15
Let j = 4 + -7. Suppose 4*q + 28 = 2*c - 12, q + 2*c = 0. Let y = q - -86/11. Put j, y, -5 in descending order.
y, j, -5
Let j = -13 + 14. Sort j, -9, 2, 3 in increasing order.
-9, j, 2, 3
Suppose -5*n = -2*f + 7 - 17, -3*n + 6 = -f. Suppose -3*m + f*m + 6 = 0. Let h = -0.01 + -2.99. Put h, m, -0.3 in descending order.
m, -0.3, h
Let f = 25/7 + -153/35. Sort f, -1/8, 2/9.
f, -1/8, 2/9
Let z(q) = q**2 + 8*q - 8. Let p be z(-9). Put 6, p, -2 in descending order.
6, p, -2
Let g = -65/168 - -3/56. Suppose -3*h = -8*h. Sort g, h, 2/9 in ascending order.
g, h, 2/9
Let z = -0.049 - 7.951. Put 1/6, z, -4 in descending order.
1/6, -4, z
Let t = 5.4 + -5. Let g = 74 + -71. Put g, -0.5, t in descending order.
g, t, -0.5
Let m(v) = v**3 - 9*v**2 + 3*v - 22. Let o be m(9). Put -1, 0, o in decreasing order.
o, 0, -1
Suppose 0*l + 3 = 3*l. Let y be (1/l)/(7/21). Suppose -5*a + y = 8. Put -2, a, 5 in increasing order.
-2, a, 5
Let p = 1.2 + -1.5. Let a = -1 + 1. Sort -4, a, p.
-4, p, a
Let t = 0.16 - 0.06. Let q = t + -1.1. Sort -2/7, q, 4 in decreasing order.
4, -2/7, q
Let w = -106/5 - -211/10. Put 0.2, w, -3/5, -0.3 in decreasing order.
0.2, w, -0.3, -3/5
Let t(v) = -8*v + 36. Let z be t(4). Let c(m) = -m - 1. Let g be c(0). Sort g, 5, z in descending order.
5, z, g
Let l = 77/285 - 4/57. Sort 0, 1, l in descending order.
1, l, 0
Let n = -10 - -14. Let b = -8 + n. Put -2, b, 1 in decreasing order.
1, -2, b
Suppose -21 = 3*p + 3*l, 5 = p + 2*l + 17. Suppose -5*n - 2*q = -14 - 14, -q - 4 = -2*n. Let j be 4/20 - 16/5. Sort p, n, j.
j, p, n
Let f = -11 + 16. Put 2, -3, -34, f in decreasing order.
f, 2, -3, -34
Suppose -k + 2*r = 6, -3*k - r = -2*k - 6. Let y(l) = 5*l + 0*l + 0*l**2 - l**2. Let t be y(5). Sort t, 3, k in ascending order.
t, k, 3
Let s = 8.63 + -0.63. Put s, -1, -3/7 in decreasing order.
s, -3/7, -1
Suppose w - 19 = -3*a, -31 = -5*a - 3*w + 6. Suppose -n - v - a = 0, 6*v + 15 = -n + 3*v. Let s = n + -3. Sort s, -5, 4 in increasing order.
-5, s, 4
Suppose 5*t - 9 = q + 8, -5*t + 9 = 3*q. Let d be (2/4 + 0)*-6. Sort d, q, 1 in increasing order.
d, q, 1
Let i = -0.112 + 0.612. Sort 3, i, 1, 0 in increasing order.
0, i, 1, 3
Let v(n) = n**2 - 8*n - 4. Let o be v(9). Sort 1, o, 2, -5 in decreasing order.
o, 2, 1, -5
Suppose 2*a - s = -3*s + 8, -12 = -5*a + 3*s. Sort -1, -4, a in decreasing order.
a, -1, -4
Let l = -901.83 + 898. Let h = -0.17 + l. Put h, 3/2, 5 in decreasing order.
5, 3/2, h
Let r be (-2)/8*(1 - 2). Sort r, -0.2, -0.02 in increasing order.
-0.2, -0.02, r
Let n be 4/22 + (-225)/(-33). Let q = n - 5. Let i be (-4)/q - (0 - -2). Sort -2, 2, i in increasing order.
i, -2, 2
Let t be (-5 - (-23)/5)*-1. Sort 6/5, -0.1, t in ascending order.
-0.1, t, 6/5
Let q = 9 - 9. Let d = -4 - -9. Let j = 2 - d. Put -0.5, j, q in increasing order.
j, -0.5, q
Let o = -0.25 - -0.35. Let c be (12/14)/((-6)/4). Sort c, o, 0 in ascending order.
c, 0, o
Suppose r = -1, a - 8 = -2*r - 2. Suppose -b - a = -5*b. Sort b, 5, 1 in ascending order.
1, b, 5
Let u = -25 - -27. Put 0, u, -0.37 in decreasing order.
u, 0, -0.37
Let q = 73 - 78. Put -0.3, q, -0.5, 0.2 in increasing order.
q, -0.5, -0.3, 0.2
Let a = -49 - -46. Put a, 0, -2 in ascending order.
a, -2, 0
Suppose -5*m = -15*m - 10. Put 0, m, -5 in decreasing order.
0, m, -5
Let h be (-20)/(-8)*(-6)/(-3). Suppose h*s + 5*d = -15, -d + 2*d = 4*s + 17. Put s, -1, -2 in decreasing order.
-1, -2, s
Suppose 2 - 5 = p + 4*v, -4*v = -4*p - 12. Let b be 0*(-1 + 2) - 0. Put -1, b, p in descending order.
b, -1, p
Let r be 1 - (-3)/(-7) - 11/7. Sort r, 1, 0.
r, 0, 1
Suppose 0 = -2*p - 3*p + 10. Suppose -p*q + q - 1 = 0. Let h be (-15)/(-1 - -4) - q. Put h, 4, 0 in decreasing order.
4, 0, h
Let f = -38 + 38. Let r(w) = w**2 - 6*w + 5. Let v be r(4). Suppose -5*x = 5*t - 30, 4*t = -2*x - 0*x + 16. Sort v, t, f in decreasing order.
t, f, v
Let d = -47 + 42. Sort -4, d, -7.
-7, d, -4
Let g(u) = 3*u**3 + 8*u**2 + 3*u - 7. Let q be g(-7). Let d = -1365/2 - q. Let r = 19 + d. Put r, 2, 0.1 in increasing order.
0.1, r, 2
Suppose 0*u - a - 13 = -5*u, 4*a = 5*u - 7. Let t be -14 - (-4)/2 - 1. Let n be (-6)/9 - t/(-3). Sort n, u, -4 in descending order.
u, -4, n
Let x(h) = -h - 5. Let g be x(-7). Suppose 0 = -c - 8 + 3. Sort c, g, 0 in increasing order.
c, 0, g
Suppose 3*u - 5*s - 160 = 0, 2*u + 0*s = -s + 124. Let z be (-57)/u - 2/(-10). Sort 0, z, -5/3 in ascending order.
-5/3, z, 0
Suppose 0 = -2*z - 182 + 50. Sort z, 1, -2.
z, -2, 1
Let r(m) = -3*m**2 - 2*m + 1. Let h be r(1). Let g be (-19)/(-7) - 2/(-7). Put -1, h, g in increasing order.
h, -1, g
Let g = -18 - -22. Put 8, 0, g in increasing order.
0, g, 8
Let v(j) = 3*j - 3. Let m be v(6). Let g be m/9 - 4/6. Let r be 2 + (-1)/2*0. Put 3, r, g in increasing order.
g, r, 3
Let r = 2.999 - -0.001. Suppose 3*x + 4*k = x + 20, 5*x - 5*k + 25 = 0. Sort x, r, 2/11 in decreasing order.
r, 2/11, x
Let i be ((1/3)/(2/(-6)))/1. Put 15, -4, i in decreasing order.
15, i, -4
Let m = -1.7 + 1.7. Put m, 0.1, 0.4, 0.2 in decreasing order.
0.4, 0.2, 0.1, m
Let q = 0.6 + 12.4. Let c = q + -18. Sort c, 2/5, -0.3 in ascending order.
c, -0.3, 2/5
Let f be 12/9 - (-1)/(-3). Let d = -18.15 - -0.15. Let a = -18 - d. Put a, f, -0.1 in ascending order.
-0.1, a, f
Let k(v) = v**3 - 2*v**2 - v + 2. Let h be k(2). Let n be (1 - (1 + h))/1. Let m be ((-2)/(-3) - 1)*-3. Sort n, m, 4 in decreasing order.
4, m, n
Let t(w) = 1 + w**3 - 4 + 3*w**2 - 21*w + 21*w. Let d be t(-3). Sort 5, -2, d in ascending order.
d, -2, 5
Suppose 0 = -5*x + 20. Suppose x = d + 17. Let m be 24/d + (-6)/(-3). Put m, 2/9, -5 in ascending order.
-5, m, 2/9
Suppose j = 6*j. Let i be 0 + (j - 2) + 3. Sort -7, -1, i in decreasing order.
i, -1, -7
Let u(w) = w**2 + 7*w + 13. Let q be u(-5). Suppose -4*d + 27 = -0*d - 5*a, 24 = 4*d - 4*a. Let v be 1/(d/(-12) - 0). Put -2, v, q in descending order.
q, -2, v
Suppose -2 = -d + 2. Let u = 9.05 + -0.05. Let o = u - 7. Sort o, d, -2/5 in descending order.
d, o, -2/5
Suppose 2*p + 14 = -4*i, -8*p - 28 = -3*p + 3*i. Let s be (4/(-55))/((-2)/p). Let l = 55 + -59. Sort -3, s, l in ascending order.
l, -3, s
Let m = 6 - 61. Let k be (-3)/(-12)*443/2. Let r = m + k. Put r, -1/5, -1 in decreasing order.
r, -1/5, -1
Suppose 0*f - f = 7*f. Sort -5, 1, 4, f in increasing order.
-5, f, 1, 4
Suppose -3*l = -5*t - 0*t + 125, -43 = l - 3*t. Put -1, l, 1 in increasing order.
l, -1, 1
Let j = 427 - 2987/7. Let k be (-1)/2 - (-3)/10. Sort j, k, 2 in descending order.
2, j, k
Let q = 0.6 - 0.3. Let y = -0.7 - q. Let o = -121/6 - -20. Sort -3, o, y.
-3, y, o
Let w = 22 - 21. Sort -6, -1, w.
-6, -1, w
Suppose -5*u = -k - 14, 4*k - 3*k = -2*u. Sort 5, -12, k.
-12, k, 5
Let z = -3.8 - -0.8. Let t(h) = -h**3 + 3*h**2 + 6*h - 3. Let f be t(4). Let m = -0.1 - 0.1. Sort z, f, m.
z, m, f
Let o = -0.1 + 0.2. Let q = 2.778 - -0.222. Sort o, q, -2/5.
-2/5, o, q
Let f = -0.96 - 0.04. Sort 0, f, 2/9 in increasing order.
f, 0, 2/9
Let l = -0.112 - 6.888. Sort l, -1, -2 in ascending order.
l, -2, -1
Let w = 35.42 - 36. Let n = 0.08 + w. Let o = -0.1 - -0.2. Sort o, n, -3 in descending order.
o, n, -3
Let i = 0.03 - 0.03. Sort -0.5, i, -0.2, -8/5 in ascending order.
-8/5, -0.5, -0.2, i
Suppose 2*y + 0*l + 2*l - 2 = 0, -5*l - 3 = 3*y. Sort -2, 3, y in decreasing order.
y, 3, -2
Suppose 0*t = 4*v + 4*t - 16, -3*t = 0. Let g = 34 + -21. Suppose 5*l - g = -38. Sort v, l, -1 in decreasing order.
v, -1, l
Let g be 8/(-6)*3/(-2). Suppose -y = -5*r - 16, -5*y = 2*r - g + 3. Let j(f) = f**2 - f + 1. Let q be j(y). Put q, -2, -1 in descending order.
q, -1, -2
Let l be 4/10 + (-4254)/(-2457). Let y = l + -74/35. Let h = y - 80/117. Sort 5, h, -1/3.
h, -1/3, 5
Let h = 6 - 1. Let b(t) = -t**3 - 2*t**2 - t + 1. Let p be b(-1). Sort h, 0.2, p in ascending order.
0.2, p, h
Suppose 0*w - 3 = 3*w. Sort -3, 4, w in descending order.
4, w, -3
Let k be -8 + 7 + -3 - 1. Sort 3, k, 1 in ascending order.
k, 1, 3
Let v be (2/4)/(2/20). Let h = -82 - -81