 -8, 5 in decreasing order.
5, c, -8
Let l = -0.5 - -0.14. Let y = 0.04 - l. Sort y, 4, -5/2 in decreasing order.
4, y, -5/2
Let u = -18 - -5. Let t = u - -13.1. Put t, 5, 1/8 in ascending order.
t, 1/8, 5
Let y = -26 - -22. Let c be (-1 + 1/3)*3. Let b be -2 + (6 - 1) + c. Put b, -1, y in increasing order.
y, -1, b
Let g = 12 - 8. Let x = 5 - g. Sort 5, x, -4 in ascending order.
-4, x, 5
Let w = 15 + -15. Let g(m) = m**3 - 7*m**2 - m + 4. Let a be g(7). Put a, 4, w in descending order.
4, w, a
Let m = -20/39 + 166/273. Sort -1/6, m, -4 in decreasing order.
m, -1/6, -4
Let l = 11.8 - 12. Sort -2/15, 0.5, l in increasing order.
l, -2/15, 0.5
Let x = -0.8 - -0.7. Sort 0.2, x, -4/19, -3.
-3, -4/19, x, 0.2
Let u(w) = w + 4. Let d(g) be the third derivative of g**4/24 + 3*g**3/2 + g**2. Let o be d(-9). Let q be u(o). Sort -1, -5, q in increasing order.
-5, -1, q
Let k be (-26)/6 - 2/(-6). Let p = 64 + -69. Sort -3, p, k in decreasing order.
-3, k, p
Let x(p) = -p**2 + 6*p - 6. Let y be x(4). Suppose -3*r - 3*i + 9 = -4*r, -5*r + y*i = -20. Let o be 2 + 1 + r*-1. Put o, 1, 2 in increasing order.
o, 1, 2
Let v = -327/77 + 31/7. Suppose -7*h = -2*h. Let f = 0 - h. Sort 0.2, v, f in decreasing order.
0.2, v, f
Let v be 57/126 + (-2)/7. Suppose 17*h - 18*h = 4*b - 3, 4*b = -2*h + 6. Sort v, 0.2, h in ascending order.
v, 0.2, h
Let c be (1/6)/(2/(-8)). Let r be (6/(-4))/(12/(-16)). Suppose -6*u = -32 + 8. Put r, c, u in descending order.
u, r, c
Let v = -0.04 + 6.04. Let t = -1 + v. Sort -5, 2, t in increasing order.
-5, 2, t
Let m be (10 + -6)*(-2 + 4)/2. Let y = -4 + 3. Put y, m, -5 in decreasing order.
m, y, -5
Let y(m) = -m - 2. Let j be y(-6). Let k(q) = q**3 + 6*q**2 - 7*q + 2. Let g be (5 + (1 - -1))*-1. Let b be k(g). Sort b, j, -1 in decreasing order.
j, b, -1
Let p be -2 + (-39)/(-18) + 46/12. Sort p, -13, -4 in ascending order.
-13, -4, p
Let z be 6/4*(3 - 1). Let t(s) = -1 - 4*s + 7 - s**3 + 0*s**z - 6*s**2. Let o be t(-5). Sort o, -5, -4 in decreasing order.
o, -4, -5
Let w(o) = -2*o - 20. Let i be w(-21). Put -2, 5, i in descending order.
i, 5, -2
Let m = -3 + 6. Let c(n) = -n**3 - 6*n**2 + 3*n + 2. Let l be c(-7). Suppose 3*g = 15, -5*b - l = -g - 4*g. Put 0, b, m in decreasing order.
m, 0, b
Let g be (8/3)/(2/3). Suppose -h = 5*w + g, -3*w + 1 = 5*h - 1. Suppose 3*a = h + 5. Sort a, 5, -5 in ascending order.
-5, a, 5
Suppose 0 = 4*x - j - 14, -4*j - 8 = -0*x - 4*x. Suppose 4 = h + 6. Let k be (-3)/(-1) - 1 - 0. Put k, h, x in increasing order.
h, k, x
Suppose -8*a - 24 = -0*a. Put a, 1, 0, 3 in decreasing order.
3, 1, 0, a
Suppose -h = h - 4. Let g(f) = -11*f + 23. Let r be g(-11). Let z be (-5)/(-2)*r/90. Sort z, 1, h in ascending order.
1, h, z
Let d = 24 - 30. Put -3, d, -2 in decreasing order.
-2, -3, d
Let l be (-1)/4 - (1 - 1). Let b be -2 - 13/10*-46. Let w = b + -58. Sort w, l, 3.
l, w, 3
Let z = 0.5 + -0.2. Put 0.2, 1, z in descending order.
1, z, 0.2
Let j = -44 - -45. Put j, 3, 4, -0.5 in decreasing order.
4, 3, j, -0.5
Suppose -b + 0*x = -x, -2*b - x - 15 = 0. Sort 1, b, -4 in ascending order.
b, -4, 1
Suppose 16 = -4*u, -3*u + 7 = -g - 2. Let s be (-195)/g - 2/7. Suppose 5*t = -a - 11, 5*a - s = -4*t - 1. Sort a, -2, 0 in decreasing order.
a, 0, -2
Let s = 45 - 42. Put s, 4, 6, 0 in ascending order.
0, s, 4, 6
Let g be -5 - (1 + -2) - (-10 + 9). Sort -5, -1, g, 5 in ascending order.
-5, g, -1, 5
Let f = 21 + -20. Let m = f - 5. Sort m, -0.4, 5.
m, -0.4, 5
Let r = 0 + 0. Let k(c) = -c**2 - c - 3. Let u be k(r). Let y be 1/(-4) - u/(-84). Put 0.2, -5, y in increasing order.
-5, y, 0.2
Let r = 0.7 - -0.3. Let s = -4/75 - -34/75. Let q = -5/9 - -46/99. Sort r, s, q in descending order.
r, s, q
Suppose -10 = -4*v - 2*p, 3*v - p - 9 - 1 = 0. Sort -2, 4, v.
-2, v, 4
Suppose -4*v = 2*j + 18, -18 = 2*j + 2*j + 2*v. Sort j, 15/2, 3.
j, 3, 15/2
Let o = -4 - -2. Let i = 2.69 + -1.69. Sort i, o, -1 in increasing order.
o, -1, i
Let m(z) = -3*z**2 + 10*z + 5. Let y be m(4). Let i be 2/(-8) + 18/8. Suppose 0 = 2*f - i, 2*a + 2*f + 9 = 3*f. Sort a, 3, y.
a, y, 3
Let c = 6 + -3. Put 0, c, 4 in descending order.
4, c, 0
Suppose -7*s = -9*s + 2. Put -6, s, 3, 2 in decreasing order.
3, 2, s, -6
Suppose 0 = -q - 3*q - 20. Suppose 1 = -y + 2*y. Sort y, 2, q in descending order.
2, y, q
Suppose 0*b = -b + d - 1, 5*b + 5*d = 25. Let c(h) = -h**2 - h - 12. Let g be c(0). Let i be (b/(-6))/(16/g). Sort -2/5, i, 4.
-2/5, i, 4
Let p = -1 + 5. Let s(r) = r**2 - 4*r - 5. Let f = 12 - 7. Let b be s(f). Put p, b, -2 in descending order.
p, b, -2
Suppose 5*l - q = 30, 0*l + 3*l - 35 = 4*q. Sort -3, -2, l.
-3, -2, l
Let k be 4/18 - (-1)/(-9)*-43. Put -3, -5/4, -1, k in descending order.
k, -1, -5/4, -3
Let x = -5 + 1. Let q(g) = -2*g**2 - 14*g - 7. Let a be q(-6). Let w = -15 - -12. Sort a, x, w in ascending order.
x, w, a
Let t(n) = n**3 - 2*n**2 - 2*n - 1. Let b be t(3). Let z be ((-14)/21)/(3/(-18)). Suppose p - z*p + 3 = 0. Put p, -4, b in decreasing order.
b, p, -4
Let j = 45 + -68. Let g = 27 + j. Let o(u) = u**3 + 4*u**2 + 4*u + 1. Let f be o(-3). Put f, g, -3 in descending order.
g, f, -3
Let h be (-1)/(-2) + 28/(-8). Put -2, h, -1 in decreasing order.
-1, -2, h
Suppose -2*j - 6 = 0, 6*m - 4*m + 5*j = -5. Let t(z) = -z**2 - 6*z + 9. Let y be t(-7). Let d(l) = -2*l**2 + 4. Let b be d(0). Put y, b, m in decreasing order.
m, b, y
Let l be (-2)/(-3) + (-2)/(-6). Suppose 5*n = -2*q + 4*q + 20, 5*n - 40 = -2*q. Let j be 2/(-3) + (-2)/n. Put j, l, -3 in decreasing order.
l, j, -3
Let u(h) = -8*h - 3. Let k(x) = 7*x + 2. Let c(m) = 5*k(m) + 4*u(m). Let p be c(1). Sort 2, 3, p in descending order.
3, 2, p
Let m be (28/(-3))/(2/(-3)). Let s be 2/4*(m + 4). Suppose 3*i - f = -0*f - s, -4*i - f = 19. Put i, -1, -0.4 in increasing order.
i, -1, -0.4
Let c = -0.043 - -3.043. Sort c, 4, 3/2, 2.
3/2, 2, c, 4
Let t = 31/253 + -7/23. Let v = -2 + 2. Let l = v + 2. Sort t, l, -3/5.
-3/5, t, l
Let o be 0 - (-4)/28*4. Put o, -2, 2 in increasing order.
-2, o, 2
Let b be (1 - 2)*(-1)/(-1). Let z(n) = n**2 - n - 13. Let d be z(0). Let u = 8 + d. Sort b, u, -4 in descending order.
b, -4, u
Let p(t) = -t**2 + 3*t - 4. Let s be 5 - (6 - (-9)/(-3)). Let m be p(s). Put m, -3, 2 in ascending order.
-3, m, 2
Let h = 0.2 - -0.1. Let j(s) = -s**2 - 6*s - 5. Let x be j(-5). Sort x, h, -2/9 in increasing order.
-2/9, x, h
Let l = 0 - -2. Suppose 24 + 6 = -6*i. Suppose 12 = -n + 4*n. Sort l, i, n in increasing order.
i, l, n
Suppose -10 = -4*g + 2*g. Sort 4, g, -4 in ascending order.
-4, 4, g
Suppose 0*u - 20 = 4*u. Let i be 3/((-3 - 2)/5). Put i, -2, u in decreasing order.
-2, i, u
Let k be (2/(-15))/(-1 + (-8)/(-10)). Sort k, 1, 5 in decreasing order.
5, 1, k
Suppose i = -4*i - 20. Let q(r) = -6*r + 9. Let u(j) = -2*j + 3. Let z(s) = 6*q(s) - 17*u(s). Let v be z(2). Sort v, i, 0 in descending order.
0, v, i
Let n = 3 - 4. Suppose -10 = -3*u + f - 0*f, -4*u + 3*f + 10 = 0. Sort u, 5, n in ascending order.
n, u, 5
Let s = 0.5 - 1.6. Let y = -1.2 - s. Let q be 7/(-4) + 0 - -1. Sort y, -5/4, q in decreasing order.
y, q, -5/4
Let q = -0.11 - 0.29. Let l = 0.38 + -0.4. Let z = 0.02 + l. Sort z, -2, q in ascending order.
-2, q, z
Suppose 0 = 36*v - 40*v + 8. Sort 0.5, 0.1, v in increasing order.
0.1, 0.5, v
Let j = 25 + -97/4. Let p = 0.7 + 2.3. Put p, 4, j in ascending order.
j, p, 4
Let h(s) = -s**2 - 12*s - 3. Let a be h(-5). Let f be a/72 + (-4)/6. Put f, 3, -3 in descending order.
3, f, -3
Let p = 12 + -8. Suppose 2*g + p = -0*g. Sort 4, -5, g in descending order.
4, g, -5
Let q = -1.28 - -0.28. Put 1/4, q, -3 in decreasing order.
1/4, q, -3
Let s = -18.7 - -18. Let o = -0.7 - s. Suppose 0*h + 5*h - 15 = 5*r, -3*h - 1 = -r. Put r, -2/7, o in decreasing order.
o, -2/7, r
Let p = 9 - -1. Suppose -3*b - p = 5. Let j(a) = -a**2 - 6*a + 2. Let f be j(-6). Sort 5, f, b.
b, f, 5
Let t be (-48)/(-9) - 4/(-6). Suppose -4*v = -2*s + t, v + 5*s = s - 6. Let k be (10/(-4))/((-3)/(-6)). Sort -3, k, v in descending order.
v, -3, k
Suppose -2*l = 2*l - 52. Let y = 8 - l. Put -4, 2, y in ascending order.
y, -4, 2
Let r be (-2)/4*0 - (1 - -4). Sort -4, -3, r in increasing order.
r, -4, -3
Let t = 3.2 + -0.2. Put t, 0.1, 0.5 in descending order.
t, 0.5, 0.1
Let b = -5 + 3. Sort b, 0, 3.
b, 0, 3
Let 