Let f = w - l. Sort 4, f, -0.4.
-0.4, f, 4
Suppose 0 - 4 = 3*f - 2*k, 4*f - 3*k + 7 = 0. Suppose f*z + z + 45 = 0. Let j be ((1 - 4)/z)/1. Put -3, j, -4/3 in increasing order.
-3, -4/3, j
Suppose 2*a + 1 = 3. Suppose 2*u - u = -3*f + 4, 4 = f. Let r = 13 + u. Sort r, a, -4.
-4, a, r
Let o(u) = -u**3 + 5*u**2 - 3*u - 2. Let d = 17 - 13. Let c be o(d). Let n be (-1)/((-1)/2) - 6. Sort 1, n, c.
n, 1, c
Let d(w) = -w**3 - 13*w**2 - 11*w + 8. Let j be d(-12). Sort j, -5, 3 in increasing order.
-5, j, 3
Let y = 6.2 - 6.4. Sort -1, 2, y in descending order.
2, y, -1
Let b = -113 + 343/3. Put -2/33, 0, b in decreasing order.
b, 0, -2/33
Suppose 0 = -2*v - 2*w + w + 7, -21 = 4*v - 5*w. Sort 4, v, -5.
-5, v, 4
Suppose 2 = -3*r - 7. Let l = 2 + 0. Let d be (-5)/10 - (-5)/l. Sort d, 1, r in ascending order.
r, 1, d
Let a = -2/5 - 11/10. Sort a, -5, 4.
-5, a, 4
Suppose 0 = -4*t - 2*b - 156, -5*t + t = b + 156. Let g = t + 40. Suppose 0 = -k - 6 + 2. Put -3, k, g in decreasing order.
g, -3, k
Let t = 0.03 + -5.03. Sort 0.3, 2/9, t, 2.
t, 2/9, 0.3, 2
Let z = 4 - 7. Let q(g) = -5*g - 3. Let u be q(-3). Suppose -u = b - 4*b. Put z, -1, b in decreasing order.
b, -1, z
Let y = 0.5 - 0. Sort y, -5, 4 in descending order.
4, y, -5
Let x(u) = u**3 - 10*u**2 - 10*u - 5. Let d be x(11). Let i(q) = q**2 - 6*q - 5. Let n be i(d). Sort 0.3, n, -2/7 in descending order.
0.3, -2/7, n
Let h be (13 + -18)*(1 - 0/(-2)). Sort -19, -4, -2, h in descending order.
-2, -4, h, -19
Let d = -62 + 559/9. Let w = -10 - -13. Sort d, 2, w in increasing order.
d, 2, w
Let m(s) = 2*s - 2. Let o be m(-2). Let i = o + 7. Sort i, -2, 0.5 in descending order.
i, 0.5, -2
Let f = -3 - -3. Let u = f - 0. Let g(c) = c**2 + c + 1. Let w be g(u). Sort -4, w, 3.
-4, w, 3
Let y = 6095128 + -48650977/8. Let o = 13786 - y. Let g = 30 - o. Sort -3/7, g, 0.2 in descending order.
0.2, g, -3/7
Suppose 8*w = 4*w + 4, 4*p + w - 13 = 0. Sort 5, p, -6, 1 in increasing order.
-6, 1, p, 5
Let j be (9/(-3) - -3) + 1. Put j, -5, -3 in increasing order.
-5, -3, j
Let x = 0 + 0. Let a be (x + -1)*2/2. Sort 4, -4, a.
-4, a, 4
Let l = 27 + -27.2. Sort 1, -4/3, l in increasing order.
-4/3, l, 1
Let m be (20/(-25))/((-3)/3). Put m, 1, -5/4 in descending order.
1, m, -5/4
Let w = -2.7 + 8.2. Let b = -0.057 + 6.057. Let z = w - b. Put z, 2, 3 in increasing order.
z, 2, 3
Let s = 161/12 + -41/3. Sort s, 3, 2.
s, 2, 3
Let c = -0.1 + -1.9. Let k be (-73)/(-39) - 2/6. Let r = -93/52 + k. Sort c, r, -5 in decreasing order.
r, c, -5
Suppose -f + 9 = -4*m, f = -0*f + m + 9. Let v be 1 + (-1)/(11/f). Put -3, v, 2/5 in descending order.
2/5, v, -3
Let q be (-2)/12 - (-4)/6. Suppose -2*k - 2*k = y + 19, -4*y - 11 = 3*k. Sort q, k, -3.
k, -3, q
Suppose 10*v = 11*v - 20. Put v, -2, 2 in increasing order.
-2, 2, v
Let y be 3/(-42) + (-2)/(-4). Let a = -15 + 11. Let n be ((-8)/(-4))/(a/10). Put y, 2, n in descending order.
2, y, n
Let h = -5.06 + 0.06. Let w = 293 - 290. Sort -3, w, h in descending order.
w, -3, h
Let k = 8.3 + -8. Let n = -3.2 + 0.2. Suppose 5*p = -o - 14, 0 = -4*p + 2*p + 5*o + 16. Sort p, n, k in increasing order.
n, p, k
Suppose 0 = -l - 1 - 1. Suppose -3*w = y - 16, 5*w - 27 = -0*y - 2*y. Suppose -w*z = -z + 2*n, -4*n = 0. Put -3, z, l in decreasing order.
z, l, -3
Let k be (-7)/(-6) - -1 - 12/8. Sort -5, k, -1, -1/2 in descending order.
k, -1/2, -1, -5
Let k = 0.1 - -0.8. Let y = k + -1.1. Put -2/3, y, 0 in increasing order.
-2/3, y, 0
Let d = 25 - 28. Sort d, 1, 3 in increasing order.
d, 1, 3
Let p(n) = -4 - n - 2*n**2 - 3*n**2 - 4*n**3 + 3*n**3. Let x be p(-5). Let i be 4/(-6) + 3/(-9). Sort -4, i, x in increasing order.
-4, i, x
Let b = 89/10 - 9. Put -22, -6/7, b in ascending order.
-22, -6/7, b
Let h = 702 + -7728/11. Let y = -0.2 + 0.6. Sort y, h, -2.
-2, h, y
Let x be 1 + -6 - (-1 + 2). Let y be (-15)/(-10)*(-20)/x. Sort y, 0.3, 6/5 in descending order.
y, 6/5, 0.3
Let m = 351/2 + -155. Suppose 28 = 3*t + 91. Let y = m + t. Sort -3, 0.2, y in decreasing order.
0.2, y, -3
Let d be (-2)/(-5)*(1 - -9). Let a be (-5)/(-3) + (-14)/21. Suppose 0 = p + a. Put 0, d, p in descending order.
d, 0, p
Let z = -297629/520576 + 33/4067. Let n = z - 1/128. Let p = -6/35 - n. Sort p, -1, 3 in increasing order.
-1, p, 3
Let i(z) = z**3 + 2*z**2 - z - 1. Let q be i(-1). Let h = 0 - -3. Let s be (-15)/2*4/(-6). Put s, h, q in descending order.
s, h, q
Let n = -1.7 - -1.9. Sort 2, 0.1, n, -2 in decreasing order.
2, n, 0.1, -2
Let b = -7 - -3. Let y(t) = t**3 + t - 1. Let k(v) = 3*v**3 - 12*v**2 + 14*v - 13. Let r(f) = -k(f) + 2*y(f). Let z be r(11). Put z, b, -1 in decreasing order.
z, -1, b
Suppose -5*n = -d - 2, -3*n - 3*d - 4 - 2 = 0. Let q be 2*2/(-12)*6. Let u = 6 + q. Sort u, 5, n in decreasing order.
5, u, n
Let k(f) = -f**2 + 5*f + 2. Let n be k(5). Suppose n*c + 2*c = -5*l + 33, -c + 12 = 2*l. Let o(r) = 2*r. Let t be o(c). Put t, -3, -1 in increasing order.
-3, -1, t
Let z = -3.813 + -0.187. Let b be (-8)/(-3)*(-1)/12. Sort -5, z, b.
-5, z, b
Let x be (-16)/(-6)*6/(-4). Let y = 5 + x. Let m be y + -13*(-2)/(-30). Sort -3, m, -0.4 in descending order.
m, -0.4, -3
Let y(u) = -2*u**2 - 2*u. Let p be y(-2). Let d = -4 - -3. Put p, d, -2 in ascending order.
p, -2, d
Let n(a) = 2*a**3 + 1. Let w be n(1). Suppose -7 - 8 = 5*j + 5*d, 3*j + d + w = 0. Sort j, -2, 2 in descending order.
2, j, -2
Let a = 35 - 37. Sort 3, a, 0.5.
a, 0.5, 3
Let y(a) = 3*a - 103. Let s be y(35). Sort -9, -1, s in ascending order.
-9, -1, s
Let h(f) = f**2 - f + 2. Let m(c) = c**2 - 2*c. Let b be m(2). Let p be h(b). Sort 4, p, -5 in ascending order.
-5, p, 4
Let d = -0.11 + 6.11. Let z = d + -3. Sort z, 0, 1/4 in decreasing order.
z, 1/4, 0
Suppose 5*c = 4*r + 21, 3*r + 12 = 2*c + c. Sort 0, -1, c.
-1, 0, c
Let w = -5/18 + 71/126. Let v = 0.4 + -0.3. Let t = v - -0.3. Sort t, 1, w in increasing order.
w, t, 1
Let v be 1*15 - 0/(-3). Suppose o + v = 6*o. Let h be 0/(o/((-9)/3)). Sort h, -4, -5 in increasing order.
-5, -4, h
Suppose -d - 1 = 1. Let k = 0 + d. Sort -4, 5, k.
-4, k, 5
Suppose 4*d + d - 80 = 0. Suppose 2*c = -4*y - d, 2*c + 2*y + 0*y = -6. Suppose -c = 4*z + 6. Sort z, -0.3, 3.
z, -0.3, 3
Let p = -1 - 0. Let r = -29 - -19. Let w be (-16)/(-72) - r/36. Sort w, p, 3 in descending order.
3, w, p
Let z(r) = 3*r + 20. Let s be z(-7). Let f = -0.27 - 0.03. Sort s, 3, f in descending order.
3, f, s
Let y = -2/27 + -17/135. Put 3/11, y, 0 in descending order.
3/11, 0, y
Let x be 8/(-20) - 2/(-5). Suppose 7*o + u + 15 = 4*o, x = -5*u - 15. Let s be (-3 - o) + 0 + -2. Sort s, -3, 5 in decreasing order.
5, s, -3
Suppose -4*z + 9*z - 5*g = 35, -4*g = -3*z + 25. Put z, 4, -1 in ascending order.
-1, z, 4
Let j = 3 + -1. Let n = j + -1. Let w(a) = a**3 - 16*a**2 + 37*a + 25. Let q be w(13). Put -5, q, n in increasing order.
-5, q, n
Let w = 0.1 + -0.3. Let b = -6.3 + 4.3. Put b, -3/5, w in decreasing order.
w, -3/5, b
Let z = 0 + -3. Let n = 5.177 + -0.177. Sort -0.1, z, n in ascending order.
z, -0.1, n
Let p(w) = -w**3 + 7*w**2 - 4*w - 4. Let h be p(6). Suppose 5*j + 7 = -h. Put 5, j, -1 in decreasing order.
5, -1, j
Let j = -31 + 31. Sort -4, 5, j in ascending order.
-4, j, 5
Let v = 1.83 - -0.47. Let n = v - 2. Let x = 0 + -0.2. Sort 0.4, x, n in ascending order.
x, n, 0.4
Suppose 0 + 5 = -x. Let r be ((-4)/(-6))/((-2)/6). Sort x, r, -4.
x, -4, r
Let f be 9/7 - (5 + -3 - 1). Sort -2/5, f, 0.5, 1 in ascending order.
-2/5, f, 0.5, 1
Let r = -27 - -12. Let b = 11 + r. Let u(i) = -i**3 - i**2 - i - 3. Let n be u(-2). Put n, 1/3, b in descending order.
n, 1/3, b
Suppose -12 = -4*j - 32. Sort 2, j, 7 in decreasing order.
7, 2, j
Let p = -74 + 76. Let y be (-33)/(-9) - (-4)/(-6). Put p, y, -5 in increasing order.
-5, p, y
Let v = 1/236 + -487/3540. Sort -0.1, v, -0.3 in decreasing order.
-0.1, v, -0.3
Let b be -5*(22/(-10) + 3). Let f(a) = -a**2 + 6. Let c be f(3). Sort b, c, -5 in decreasing order.
c, b, -5
Let s be (1*(-2 + 3))/(8/32). Sort 1, -4, s in increasing order.
-4, 1, s
Let k be (5 + -4)*4/(-5). Let t = 4.17 - 0.17. Sort k, t, -1 in ascending order.
-1, k, t
Suppose -3*x - 34 = -5*f, 4*f + 5*x + 1 = 6. Suppose m = -2*m + 4*q - 2, -m - 3*q - f = 0. Put 3, m, 2 in ascending order.
m, 2, 3
Let a = 71 + -75. Put 1, 0, -24, a in decreasing ord