et w be 0*(3/9 - 0). Suppose 5*y = 2*o + 15, 0 = o + o + 5*y + 5. Put o, u, w in decreasing order.
w, u, o
Let f(d) = -d + 14. Let l(n) = -3. Let g(s) = -2*f(s) - 11*l(s). Let a be g(-4). Put a, -5, -2 in increasing order.
-5, a, -2
Suppose -4*q + q - 18 = 0. Suppose 0*g + 9 = -3*g. Let w = q - g. Put -5, w, -4 in ascending order.
-5, -4, w
Let l = -7.7 + 6.7. Sort 0, l, -0.04, -3 in increasing order.
-3, l, -0.04, 0
Let c(r) = r**3 - 18*r**2 - 20*r + 15. Let t be c(19). Put t, -6, 1 in increasing order.
-6, t, 1
Let m = 9.04 + -0.04. Let d = 9.4 - m. Put -4/5, -3, d in increasing order.
-3, -4/5, d
Let n(p) = 8*p - 4. Let k be n(3). Let v = -13 + k. Let x be ((-6)/2 - -1) + v. Sort -2, 1, x in decreasing order.
x, 1, -2
Let l be ((-8)/(32/(-84)))/3. Put l, 1, 0 in descending order.
l, 1, 0
Let g(a) = -a**3 - 11*a**2 + 11*a - 8. Let j be g(-12). Put -3, j, -2, -11 in descending order.
j, -2, -3, -11
Suppose -2*x + 2 = -4. Let a = 2 - 7. Put -2, x, a in decreasing order.
x, -2, a
Let b(j) = j**3 - 7*j**2 + j - 4. Let k be b(7). Sort k, 0, -2, -4.
-4, -2, 0, k
Let c = 27 - 29.2. Let d = -0.8 + c. Let h be (-6)/10 - (-2)/5. Put d, h, 0 in descending order.
0, h, d
Let q(g) = 4*g + 0 - g**2 + 1 + 3. Let i be q(4). Sort i, 3, -4 in increasing order.
-4, 3, i
Let g(n) = 6*n + 7. Let m(j) = 7*j + 7. Let y(i) = -6*g(i) + 5*m(i). Suppose h = -4*b - 25, -28 = 3*b + 2*b - 2*h. Let t be y(b). Sort 0, 4, t.
t, 0, 4
Suppose 2*v = 6*v. Let g(p) = p**2 + 2*p - 3. Let r be g(-4). Suppose -2*y + 5*d = 5, 9 = 4*y + r*d - 26. Sort y, -3, v in descending order.
y, v, -3
Suppose -4*o - 28 = 4*d, 3*o + 4*d + 12 = -11. Suppose 4*u = 6 + 18. Suppose a + 6 = -3*v, -u = -v + 4*v + 2*a. Put o, 2, v in increasing order.
o, v, 2
Let i(o) = o + 8. Let c be i(-10). Let j = c - 1. Sort j, 4, 2 in ascending order.
j, 2, 4
Suppose -a = 3*y - 7, 0*y - 3*a = -3*y + 3. Suppose -y*o + 19 = 5. Put -3, o, 1 in descending order.
o, 1, -3
Suppose 20 = 6*b - 4. Let i = 2 - 1.9. Sort i, -1, b in descending order.
b, i, -1
Let n = -1 + 0. Suppose 0 = -r - 4 + 7. Suppose -2*u - 1 = -3. Sort r, u, n.
n, u, r
Let j = -0.06 - -0.16. Let t = j - 8.1. Let p = t + 8.2. Put 2/5, 1/2, p in descending order.
1/2, 2/5, p
Let t be (-15)/(-2)*(-8)/(-10). Let u = t - 3. Let s = -4 - -6. Put u, s, 0 in decreasing order.
u, s, 0
Let h = -93 - -93. Sort h, -2/3, 3, -4/7 in increasing order.
-2/3, -4/7, h, 3
Let t = -4 - -9. Let h = 2.9 - -0.1. Put t, h, -2 in descending order.
t, h, -2
Let y = 28 - 25. Put 4, y, 1 in descending order.
4, y, 1
Suppose -i = 4*i - 25. Suppose 2*a - 7*a - i = 0. Let v(p) = -4*p**3 - p**2 - 2*p - 1. Let y be v(a). Put -2, y, -3 in descending order.
y, -2, -3
Let t = -66 - -67. Let r = -0.29 - 12.71. Let j = r - -8. Sort -0.2, j, t.
j, -0.2, t
Let y = -0.28 + 4.28. Put y, -0.5, -4 in decreasing order.
y, -0.5, -4
Suppose -4*u + 44 = 4*k, 4*u + u - 13 = 2*k. Let d = 2 - k. Put 0, 4, d in increasing order.
d, 0, 4
Let x = 48 - 22. Let h be (-39)/x*(-8)/(-6). Sort -3/2, h, 0 in ascending order.
h, -3/2, 0
Let l(k) = -k**3 - 4. Let m be (-1 - -3) + 0/(-3). Suppose -3*q + 5 + 7 = 0, m*r + q - 4 = 0. Let c be l(r). Sort c, 0, -3.
c, -3, 0
Suppose -u - 20 = 3*u. Let j be u/5 - (-6)/8. Put -5, -2/5, j in ascending order.
-5, -2/5, j
Let c = 13/2 - 5. Sort 2/5, c, -3/2, -4 in decreasing order.
c, 2/5, -3/2, -4
Suppose 0 = r + 1 + 1. Suppose -56 = -4*k - 72. Sort r, k, 5 in increasing order.
k, r, 5
Let b be -3*(1 - 16/12). Let s(o) = -5*o. Let j be s(b). Put -2, 4, j in descending order.
4, -2, j
Let d = 22 - 18. Sort -2, d, -1.
-2, -1, d
Let h = 4.978 + 0.022. Sort h, -3/7, 2/19.
-3/7, 2/19, h
Let q be (-3)/(-6) + (-3)/(-2). Let f be (-24)/(-6)*(-2)/4. Let v = 17 - 12. Sort v, f, q.
f, q, v
Let s = 0 - -0.5. Sort -2, 0.6, s in increasing order.
-2, s, 0.6
Suppose 5*k = 8 + 7. Let g be (-84)/210*(2 - (-2 - -9)). Put g, k, 1 in decreasing order.
k, g, 1
Suppose i - 5*z + 10*z + 21 = 0, -4*i - 16 = 3*z. Sort -5, 0, i.
-5, i, 0
Let b be 4/6 + 215/15. Let o = b - 11. Let g(n) = n**3 - 5*n**2 + 6*n - 5. Let k be g(o). Sort -2, 2, k in descending order.
k, 2, -2
Let x = -17 - -13. Sort -2, 1, x, 0 in increasing order.
x, -2, 0, 1
Suppose 0 = -5*i - d - 14, -3*i + 5 = -6*i - 4*d. Put 2, i, 4 in decreasing order.
4, 2, i
Let r = -9 - -12. Let p be ((-1)/(-2))/((-1)/(-6)). Let c = p + 2. Sort r, c, 4 in ascending order.
r, 4, c
Let k be 70/((-8)/(-4))*1. Let o be (8/10)/(14/k). Sort -1, o, -2 in ascending order.
-2, -1, o
Let s = 5942 + -17675/3. Let d = -51 + s. Let i = 6 - 8. Sort 1/3, i, d in ascending order.
i, d, 1/3
Let i(q) = q - 18. Let g be i(14). Sort 1, -5, g, 5 in decreasing order.
5, 1, g, -5
Let k = 15 - 16. Sort k, 1, 1/5.
k, 1/5, 1
Let f be (-31)/52 + (-12)/(-16). Let b = 1.2 + -6.2. Sort f, b, 0.
b, 0, f
Let i = 71/477 - 2/53. Let y be 8/77 + (-2)/7. Sort i, y, 4 in decreasing order.
4, i, y
Let s be (-2)/4 - 117/(-6). Let t = s - 14. Let j = 0 - -2. Put t, j, -2 in decreasing order.
t, j, -2
Let h be 0 + (-4 - (-9 + 4)). Let p = 303/20 + -63/4. Sort p, 0.2, h in increasing order.
p, 0.2, h
Let i = -0.06 - -2.46. Let g = i - 2. Sort g, 3/5, -3/5 in decreasing order.
3/5, g, -3/5
Let k be 1/3 + (-3)/9. Suppose m = -k*m. Suppose m = -4*s - 12, 0 = p - 3*p + 4*s + 12. Sort 4, p, -2 in descending order.
4, p, -2
Let o = 0.1 + 1.9. Let w be 65/40 - (-2)/(-1). Sort w, -4/5, o in decreasing order.
o, w, -4/5
Let a = -159.6 - -160. Let j = 0 - 4. Sort a, j, -7 in decreasing order.
a, j, -7
Let s = 73 - 70. Sort -1, 5, s.
-1, s, 5
Let c = -9 - -4. Suppose -9 - 14 = -b - 5*v, 3*b = -4*v + 25. Let u = 0.42 + 0.58. Sort c, b, u.
c, u, b
Let o(t) = 4*t**3 + t**2 - t. Suppose 3*v - 6 = -4*l + 17, -4*v = 4*l - 24. Let g be o(v). Put 1, 6, g in descending order.
6, g, 1
Let s be (-32)/7 + (-3)/7. Sort -2, -7, s, -1.
-7, s, -2, -1
Let c(f) = 3545*f**3 + 2*f + 1. Let d be c(-1). Let h = -400695/113 - d. Let v = h + 431/791. Put -4, -5/4, v in ascending order.
-4, -5/4, v
Let g(h) = 1 + 2*h**2 + 5*h + h**3 + 2 + 2*h**2 + 2*h**2. Let u be g(-5). Let a = 0.2 - -1.8. Sort a, -0.5, u in descending order.
u, a, -0.5
Let f = 0.7 + -0.2. Let r = 14.7 - 15. Sort f, 2, r in ascending order.
r, f, 2
Let x = 5 + -4.8. Let a = -0.1 + 0. Put a, 1, x in descending order.
1, x, a
Let n = -0.7 - -1.3. Let r = n - 0.1. Let z = -13 + 15. Put r, z, -5/4 in increasing order.
-5/4, r, z
Suppose -2*u = -5*s, -u - 25 = 4*u. Suppose 4*j = -5*z + 2, 3*j + 8 = -j. Suppose -4*g = -2*l + 14, g + 23 = -3*l - 4*g. Put l, s, z in descending order.
z, l, s
Let q = 24 - 24. Let g be (-5 - -3)*(2 + -1). Put q, 5, g in decreasing order.
5, q, g
Suppose 0*a = -3*a + 45. Suppose -5*y - a = 0, 15 = -4*p + p + 4*y. Let r = 6 + p. Put r, 2, 1 in ascending order.
r, 1, 2
Suppose 8 = 9*j - 1. Suppose 0 = -2*r - 5*h + 13, -h - 1 = 2*r - 2. Sort j, 4, r.
r, j, 4
Suppose -2*f = 4*c - 6*f + 4, -4*c - 2 = -2*f. Let w be c*(-1)/(-2) - 0. Suppose 0*i + i = -4. Put i, 2, w in increasing order.
i, w, 2
Let v be (-1)/(-2 - -1 - -2). Let i be 3 + (2 - (-3)/(-1)). Put v, -4, i in descending order.
i, v, -4
Let i = 119 + -120. Sort 52, i, -2/5.
i, -2/5, 52
Let y(x) = -x - 4 + 1 + 3*x. Let i be y(2). Let f be i + 0 - 16/20. Sort -2/5, f, 1/3.
-2/5, f, 1/3
Let u(v) = -3*v - 1. Let j be u(-1). Let c = 232361 + -5340257/23. Let r = 176 - c. Put r, j, -1/7 in increasing order.
-1/7, r, j
Let v = 0.65 + -0.45. Sort v, 3, -0.6, -0.3 in increasing order.
-0.6, -0.3, v, 3
Let m(a) = 5*a**3 - a**2 - 4*a - 3. Let p be m(-1). Suppose -3*j - 13 = -o, o - 5 - 12 = 4*j. Sort o, -3, p in decreasing order.
o, -3, p
Suppose 4*u + 12 = -4. Let t(a) = a**3 + 4*a**2 - a - 3. Let k be t(-4). Put u, 2, k in descending order.
2, k, u
Suppose -4*p - 4*v - 17 = p, -4*p - 4*v = 16. Suppose 5*t + 6 = -9. Sort p, t, 2 in decreasing order.
2, p, t
Let b = 71 + -71. Let z be (-2)/5*(1 + -11). Sort -5, z, b in descending order.
z, b, -5
Suppose -4*j = b - 1 + 13, -2*b - 3*j = 4. Suppose 5*o = u + 3*u - 28, -2*o = b*u. Let p = 3 - 5. Put -3/8, p, u in ascending order.
p, -3/8, u
Let b = 1.3 - 0.9. Sort b, 0.5, -1 in increasing order.
-1, b, 0.5
Let v = -0.2625 - 1.7375. Let g(l) = 4*l. Let r(w) = -9*w + 1. Let t(u) = -14*g(u) - 6*r(u). Let n be t(-5). Sort n, v, -0.2.
v, -0.2, n