4))/(-1). Put 0.2, a, k in increasing order.
0.2, a, k
Let s = -218 - -221. Put -14, s, 4/5, 4 in descending order.
4, s, 4/5, -14
Let j = 7 + -10. Let g be ((-1)/3)/((-2)/(-6)). Let u be 2/6*g*2. Sort j, 1/3, u.
j, u, 1/3
Let q(d) = -d**3 - 14*d**2 - 14*d - 11. Let i be q(-13). Let a(c) = c**2 + 9*c - 12. Suppose 6 = -w - 4. Let s be a(w). Put -3, s, i in descending order.
i, s, -3
Let j(o) = o - 1. Suppose 5*r + 2 = -4*f - 0*f, 0 = -2*f - 2*r - 2. Let l be j(f). Put 2, l, 4 in ascending order.
l, 2, 4
Let h = 19.93 - 20. Let s = -0.09 - -0.16. Let m = s + h. Sort -2, 2, m.
-2, m, 2
Let l be 2*(4/(-30) - 1/5). Sort l, 6/5, 0.5, -2/15 in ascending order.
l, -2/15, 0.5, 6/5
Let y = -1.5 - 1.57. Let n = -0.07 - y. Let j = 0.03 - 1.03. Sort n, j, 4 in descending order.
4, n, j
Let b be 8/(-44) - 6/(-33). Put 1, b, -1 in decreasing order.
1, b, -1
Let v = 3 + 4. Suppose 4*r + 14 = -5*o, 0 = 2*r + 5*o + 19 - v. Let f = 3 - r. Put f, -4, -2 in descending order.
f, -2, -4
Let y be -1 - (-1 - -3)/2. Let t(w) = 2*w**3 + w. Let m be t(-1). Put m, 5, y in decreasing order.
5, y, m
Let o = -9 + 4. Suppose 0 = -4*i - 7 + 3. Sort i, 1, o in ascending order.
o, i, 1
Let w = 1453/7 - 208. Let p = 24.4 - 24. Put -0.3, w, p in decreasing order.
p, -0.3, w
Let u = -3 + -1. Let g = -4.45 - -0.05. Let k = u - g. Sort -1, 3, k in increasing order.
-1, k, 3
Suppose 0*p + p - 4*u - 16 = 0, -5*p - 3*u - 35 = 0. Let g = -2 + 7. Put p, g, -1 in ascending order.
p, -1, g
Let f = 242 + -2176/9. Put -3/2, f, -0.4 in ascending order.
-3/2, -0.4, f
Let f = 34.5 + -35. Put f, -1, -0.3 in ascending order.
-1, f, -0.3
Let k be 2/4 - 55/10. Let d = -6 + 8. Suppose 3*a + y = -0*y - 10, 2*a + d*y + 4 = 0. Sort a, -2, k.
k, a, -2
Suppose 4*z - 3*g + 12 = -6*g, 2*z = -5*g - 6. Put 8, z, -5 in decreasing order.
8, z, -5
Let v be (-1)/(-1) - (-7)/(-6). Let h = -71.8 + 72. Put h, v, 1/3 in increasing order.
v, h, 1/3
Let h = -3.4 + 0.4. Sort -5, -9, h in decreasing order.
h, -5, -9
Let p(v) = -v**3 + 2*v**2 + 3*v - 1. Let g be p(3). Let m = 2 + 2. Let i = 0 + 1. Put i, m, g in increasing order.
g, i, m
Let i(g) = g**2 - 8*g + 7. Let s be i(6). Put 4, 2, s in descending order.
4, 2, s
Suppose -2*c + 5*d - 30 = 0, -4*d - d + 15 = c. Suppose l - 12 = -2*l. Let x be (16/(-14))/(-2 + l). Sort c, x, 4 in descending order.
4, x, c
Suppose -6 = -5*i - 3*u + 5*u, -u = -5*i + 8. Suppose 2*a + 0 = -i*r + 8, -10 = -5*r. Suppose -a = -g + 3. Put -3, g, -1 in decreasing order.
g, -1, -3
Suppose 3*m - 3 - 9 = 0. Suppose -i + 2 + 3 = -4*y, -4*y = 2*i + 2. Let z = i - 3. Put m, 5, z in descending order.
5, m, z
Suppose -12 = -3*n - 3*u, 4*n - 4*u + 5 + 3 = 0. Let t be 4/(-6) + 14/(-6). Let k be (-2)/(-6) - (-1)/t. Sort -4, k, n in decreasing order.
n, k, -4
Let u(d) = -d - 2. Let s be u(-10). Let m = s - 12. Sort 4, m, -2.
m, -2, 4
Let b(j) = j + 8. Let t be b(-10). Sort -5, t, 3 in decreasing order.
3, t, -5
Let j be ((5 - 2) + -3)/1. Suppose 4*d + 16 + 4 = j. Sort 3, -3, d in descending order.
3, -3, d
Suppose 0 = -4*i - 2*d + 38, -6*d + 9 = -3*d. Let r = 8 + -13. Let b = i + r. Put b, -1, 5 in decreasing order.
5, b, -1
Let v(u) = u**2 + 13*u + 4. Let s be v(-13). Suppose 5*o - o - 12 = 0. Sort 5, o, s in descending order.
5, s, o
Let k be 2/(-6) + 20/6. Suppose 2*d - 3 = 1. Suppose z = -3*w + 4, -2*z + 2*w + 6 = -d. Sort z, k, 0 in decreasing order.
z, k, 0
Let b be 10/45 - 608/(-18). Let p = b + -36. Let j be (-2)/2*2*2. Put 1, j, p in decreasing order.
1, p, j
Let x(q) = 1. Let d(j) = -j - 3. Let c(v) = d(v) + x(v). Let b be c(-4). Sort -5, b, -4 in descending order.
b, -4, -5
Suppose 0 = -k + 6*k - 50. Suppose k = 7*y - 2*y. Put 0, -2, y in increasing order.
-2, 0, y
Suppose -10 = n - 3*n. Sort 11, n, -5 in decreasing order.
11, n, -5
Suppose 8 = -2*i, 7 = -3*q - 3*i - i. Let z be (6/18)/(1/9). Suppose 0 = 2*m - 1 + z. Sort m, q, 2 in descending order.
q, 2, m
Let i = 18 - 17. Let y(k) = -k**3 - 3*k**2 + 4*k - 1. Let u be y(-4). Put i, u, 0.3 in decreasing order.
i, 0.3, u
Let m = 9 + -10. Let s be -2 + (-2 + 1 - -6). Put s, m, 2 in descending order.
s, 2, m
Let y(w) = -3*w**3 - w**2 - w - 2. Let d be y(-2). Let z be (-9)/(-4) + (-5)/d. Suppose -z*c + 3*c = 0. Sort -3, c, 1 in descending order.
1, c, -3
Suppose 3*y + 1 - 16 = 0. Put 4, -1, -16, y in increasing order.
-16, -1, 4, y
Suppose -z - 5*j + 1 = 0, -2*j + 1 + 0 = z. Put -29, -4, z in decreasing order.
z, -4, -29
Let l be 1 + 6/3 - 1. Let t = -68 - -64. Sort l, -2, t in descending order.
l, -2, t
Let m = 29 + -144/5. Let j(f) be the second derivative of 5*f**4/12 + f**3/6 + f**2/2 + f. Let k be j(-1). Put -4, k, m in descending order.
k, m, -4
Suppose -3*j + 8*p - 5*p - 21 = 0, -31 = 4*j - 5*p. Let z = 4 + -9. Suppose 3*l - 6*l = -2*d + 7, 2*l - 7 = -d. Put l, j, z in decreasing order.
l, j, z
Let x(w) = 3*w - 23. Let t be x(6). Sort 5, t, 0, -4 in ascending order.
t, -4, 0, 5
Let m = 39.4 + -39. Sort 3/8, m, -1 in descending order.
m, 3/8, -1
Let o be ((16/(-5))/(-1))/((-10)/(-25)). Sort o, 5, -4, -3 in descending order.
o, 5, -3, -4
Suppose -2*k - 4*a - 20 = 0, 0*a - 26 = 5*k + 2*a. Sort k, 4, 0 in ascending order.
k, 0, 4
Let n = 3 + -2.9. Sort 11, -2, n, -1 in decreasing order.
11, n, -1, -2
Let o = 142 + -77. Put o, -1, 0.2 in descending order.
o, 0.2, -1
Let m = 2 - 7. Let g be 3*-2*3/(-9). Put m, g, 3 in decreasing order.
3, g, m
Let i = -104 + 831/8. Suppose -3*y = 2*r + 100, 0*r - r = y + 34. Let z = 65/2 + y. Sort 0, i, z in decreasing order.
z, 0, i
Suppose f - 8*f = -21. Sort 7, f, -1 in increasing order.
-1, f, 7
Let j be (4/(-5))/(6/15). Suppose -4*z + 3 = -f - 17, 0 = -3*z - 2*f + 4. Suppose 0 = -5*b - z*c + 2, 2*b - 2*c + 7*c + 6 = 0. Sort b, j, -1.
j, -1, b
Let h = 59 + -58.8. Sort h, -4, -0.4 in descending order.
h, -0.4, -4
Let b be (-8 - -4)*(-2)/20. Let z = -5/3 - -59/39. Put b, 1, z in descending order.
1, b, z
Let l be 23/8 + (4 - 6) + -1. Sort 0.5, l, -4, 0 in decreasing order.
0.5, 0, l, -4
Suppose -3 - 5 = 2*m. Sort 2, 0, m.
m, 0, 2
Let c be 3 + 60/(-8) + 4. Put c, 17, 0.4 in decreasing order.
17, 0.4, c
Suppose 4*n = 3*b + 1 - 2, 0 = -4*b - 4*n - 36. Let y = 2 + 1. Sort b, y, -2 in descending order.
y, -2, b
Let p be 3/9 + 22/6. Let u = -13 + 9. Let z = 3.3 + -3. Put p, u, z in increasing order.
u, z, p
Let w = 21.047 + -0.047. Let d = w + -19. Let y = -0.6 + 0.1. Put 4/3, d, y in increasing order.
y, 4/3, d
Let t = -96.5 - -97. Sort -3, -2, t, -9/5 in decreasing order.
t, -9/5, -2, -3
Suppose -5*d - 23 = -4*s, 0*d = -5*s - 3*d + 1. Sort -4, s, 3 in descending order.
3, s, -4
Let n = -3/41 + 91/123. Let a = -0.1 + 0.4. Let c = 0.6 - a. Put n, 4, c in decreasing order.
4, n, c
Let u = 210 + -212. Put 2, 0, u, 1 in ascending order.
u, 0, 1, 2
Let w = -0.0909 - 3.7991. Let o = -6 - -5.89. Let p = w + o. Put p, 3, -2 in decreasing order.
3, -2, p
Let d(z) = 2*z + 13. Let c be d(-10). Put -3, 4, c in increasing order.
c, -3, 4
Let u = 10 - 7. Suppose -2*j - s - 8 = 0, 0 = 3*j - 0*j + 2*s + 11. Sort u, 4, j.
j, u, 4
Let c = 6.9 + -7. Sort c, -3/2, 3 in decreasing order.
3, c, -3/2
Let l = -25 + 24.77. Let w = l - 0.37. Sort w, 4, 5 in decreasing order.
5, 4, w
Let l = -6 + 2. Let i be -1 + (-1 - -2) + 2. Suppose i*g + 3*g = 3*q, -3*q = 0. Sort 4, l, g.
l, g, 4
Let b = 59 + -64. Suppose -3*v - 17 = -0*a + a, 3*v - 3*a = 3. Sort b, v, 2.
b, v, 2
Let y be -1 + (-3)/(-1) + -1. Put y, 3, 4 in decreasing order.
4, 3, y
Let z be 2*(-1 - (1 - 0)). Suppose 5*b + 27 = 5*j + 7, 5*j - 5 = 0. Sort b, z, 3 in increasing order.
z, b, 3
Suppose -3*i + i + 10 = b, 22 = 3*b + 4*i. Sort b, -6, -1 in ascending order.
-6, -1, b
Let m be (-20)/(-9) - (-10)/(-45). Let s = 0 + m. Sort 3, -2, s in decreasing order.
3, s, -2
Let c = -11 + 7. Sort 3/4, c, -5 in descending order.
3/4, c, -5
Let w be -1 + 2 - (-4 + 2). Sort -5, -4, w in descending order.
w, -4, -5
Let g(h) = 2*h**2 + 2*h + 1. Let w be g(-2). Suppose -4*s + 14 = -r - 2, -3*s + w*r - 5 = 0. Suppose s*p = -0*p - 25. Sort 2, 5, p in increasing order.
p, 2, 5
Let b be (-8)/(-126) - (-4)/(-14). Let q = 4 + -10. Let k = 4 + q. Sort k, -1, b.
k, -1, b
Suppose 0 = 5*t - 7*s + 2*s - 40, 0 = 3*t + 5*s. Sort -5, t, 2.
-5, 2, t
Let y = -29 + 21. Let s = y - -11. Let i = 3 - s. Put 1, i, 