(6). Sort 5, o, n.
n, o, 5
Let f = 2 - 2. Suppose 3*k + k = f. Let x(c) = c**3 + 11*c**2 + 10*c - 1. Let h be x(-10). Sort 5, k, h in decreasing order.
5, k, h
Let b = 9 + -12. Let l = b + 8. Sort l, -1/6, -2/3 in decreasing order.
l, -1/6, -2/3
Let i = -8 + 13. Sort i, -1, 0.2 in ascending order.
-1, 0.2, i
Suppose d + 8 = 11. Suppose -3*s = 10 + 5. Let x = s - 0. Sort x, d, -2.
x, -2, d
Let j(g) = 2*g**2 - 11*g - 4. Let y(n) = -3*n**2 + 21*n + 9. Let q(x) = 5*j(x) + 3*y(x). Let d be q(-7). Let w = 1.3 + -1. Sort -0.5, w, d in ascending order.
-0.5, d, w
Let f = 4 + 0. Let w(i) = 2*i**3 + i**2. Let a be w(1). Put a, f, 2 in ascending order.
2, a, f
Let x = 8 - 12. Sort x, 14, 3 in ascending order.
x, 3, 14
Let r = -1012.03 - -1033. Let s = r + -21.9. Let k = 0.07 - s. Put k, 0, 2 in increasing order.
0, k, 2
Let r = -30 + 27. Let z be 4*((-7)/6 - -1). Sort z, r, 3 in increasing order.
r, z, 3
Let d = 0.2 - 0.7. Let i(s) = -s**2 + 4*s + 12. Let m be i(-9). Let w be 2/(-10) + (-66)/m. Put d, w, -3 in increasing order.
-3, d, w
Let l = 20 - 18. Suppose l*r + 2*n - 21 = -3*r, 5*n + 10 = 0. Sort r, -2, -4.
-4, -2, r
Let f be (-1*2)/(3/(-9)). Suppose -2 + f = -4*n, -2*t - 5*n + 59 = 0. Suppose 4*s = -4*c - t, -14 = 3*c + 4*s + 15. Sort -5, 1, c in ascending order.
-5, c, 1
Suppose -2*z = -7*z. Put z, -3, 4 in descending order.
4, z, -3
Suppose 2*v = 7*v + 2*s - 29, -2*s + 24 = 4*v. Let z = -14.7 + 15. Sort z, v, -3 in decreasing order.
v, z, -3
Suppose s + 2 - 3 = 0. Let m(d) = -d**3 - 5*d**2 - 3*d. Let x be m(-4). Sort x, -1, s.
x, -1, s
Let u = -60 - -55. Put u, 0.6, -0.2 in increasing order.
u, -0.2, 0.6
Suppose 0 = -a + k + 18, -2 = -3*k + k. Let x = -41/2 + a. Put 1, -2, x in ascending order.
-2, x, 1
Let y be (-1)/2*0 + 2. Suppose 0 = -2*f + 4*i - 2*i - 6, -3*f - 34 = 2*i. Let v be (2/(-4))/((-4)/f). Put y, v, -5 in descending order.
y, v, -5
Suppose -5*n = -2*x + 25, 6*n - x = n - 20. Put n, -0.2, -1 in increasing order.
n, -1, -0.2
Suppose 5*l + 5*p = 0, 2*l + 3 = -2*l - 3*p. Let c = -2 + 4. Let q = 4 - c. Put -4, l, q in descending order.
q, l, -4
Let b = 83 + -81. Sort 0.1, 0.4, -16, b in descending order.
b, 0.4, 0.1, -16
Let g be -1 - -1 - (4 - 1). Let z = 7 - 1. Let h be -1*(-1 + z)*1. Sort g, -1, h in decreasing order.
-1, g, h
Let r = -2.4 - -3. Let g = -0.1 - r. Let s = g - -0.9. Sort -1, -0.2, s.
-1, -0.2, s
Let j = 7.92 + 0.08. Let f = 5 - j. Sort -0.1, -5, f in descending order.
-0.1, f, -5
Suppose -y + 5*y = 56. Suppose -4*s + y + 10 = 0. Put 4, 1, s in decreasing order.
s, 4, 1
Let a = -7 - -32/5. Let b = 1359/5 + -271. Put a, b, -0.1 in decreasing order.
b, -0.1, a
Suppose -4*o = -8*o. Sort -5, -2, o in decreasing order.
o, -2, -5
Let z = -0.58 + -0.02. Let f = z - -2.6. Let u = -1 - -0.9. Sort -3/7, f, u in ascending order.
-3/7, u, f
Let g = 8.33 - 8.3. Sort 0.4, g, 0.1 in decreasing order.
0.4, 0.1, g
Let b be 6*(-4)/(-40) + 69/(-15). Sort -3, b, -6.
-6, b, -3
Let h = -1.9 - -3.9. Let u be (4/16)/((-3)/8). Put h, u, -2 in decreasing order.
h, u, -2
Let p be 3/27*(-3)/2. Sort 1.3, 3, p.
p, 1.3, 3
Let h(s) = 14*s + 24. Let t be h(-2). Let x(z) = -3*z - 4. Let o(w) = -2*w**2 + 3*w - 1. Let c be o(2). Let r be x(c). Put t, r, -1 in descending order.
r, -1, t
Suppose 3*f - 12 = -4*o, -2*o + 6 = 4*f - 9*f. Suppose 0 = 2*b + 4*j - 12, 10 = -0*j + 2*j. Sort b, 2, o in descending order.
o, 2, b
Let d = -0.9 - 4.1. Let c = 130 + -130.1. Let t be 8/54*(-3)/(-2). Sort c, t, d in increasing order.
d, c, t
Let s(z) = -z - 4. Let t be s(-4). Suppose -2*p + k - 3 = 0, -p + k - 3*k + 6 = t. Suppose 4*f + x = -21, 0 = 2*x + 10. Sort p, f, -3 in increasing order.
f, -3, p
Let g = -23 - -18. Sort -4, g, -3 in ascending order.
g, -4, -3
Let r = 4 + -5. Let y = r - 1. Sort y, 1/3, -3 in decreasing order.
1/3, y, -3
Let x(z) be the first derivative of z**4/4 + 5*z**3/3 + 2*z**2 + z + 4. Let i be x(-4). Sort i, 0, -2 in decreasing order.
i, 0, -2
Let u(j) = j + 7. Let x be u(-6). Suppose n - x = -0*n. Put -4, n, -1 in descending order.
n, -1, -4
Suppose g + 80 = 6*g. Suppose -g = -2*i - 2*i. Put i, -4, -1 in descending order.
i, -1, -4
Suppose 7*h = 5*h - 6. Sort -4, -2, h in ascending order.
-4, h, -2
Suppose 0 = -3*i + 4*a - 3, -i - 4*a + 15 = 0. Let l = 25 + -14. Suppose -2*j - 4*n = i*j + l, j = -5*n - 19. Sort 0, j, 2 in descending order.
2, j, 0
Suppose 4*a - 6 = a. Let z be (a - 1)*3*-1. Let b = -9 + 8. Sort -2, z, b.
z, -2, b
Let h = -2 - 0. Let g(a) = -3*a + 5. Let c be g(-4). Let w be 4/(-6) + c/3. Sort w, 4, h in increasing order.
h, 4, w
Let n = 0.09 - 3.09. Sort 1/3, n, -0.19 in descending order.
1/3, -0.19, n
Let r(b) = -b**2 - 5*b + 3. Let i be r(-4). Suppose 3*j = -1 + i. Let f(n) = n**2 - 5*n + 6. Let k be f(3). Sort k, j, 5 in decreasing order.
5, j, k
Suppose 2*o + 8 = 4. Sort 4, o, 3 in descending order.
4, 3, o
Let a = 12 - 11. Put 0.5, 2, a in descending order.
2, a, 0.5
Let d = 57/7 - 8. Let w = -0.16 + 0.12. Let x = 0.06 - w. Sort 2, d, x in increasing order.
x, d, 2
Let j = 9 - 9. Let t be 5/(-10) - (-1 - j). Let l = 3.2 - 0.2. Sort t, l, -2 in descending order.
l, t, -2
Suppose 0 = -a + 4*f - 110 + 8, 0 = 4*a + f + 408. Let q be a/(-24) + (-2)/8. Sort 0.2, 7, q.
0.2, q, 7
Suppose -3*q - 6 = -3*g, 4*q - g = -6*g - 35. Let a be (-3 - -6) + (-6)/2. Put q, -2, a in descending order.
a, -2, q
Let i be (4/6)/(2/360). Let j = i - 957/8. Let n(t) = -t**2 - 6*t + 5. Let o be n(-7). Put o, 2/17, j in decreasing order.
j, 2/17, o
Let y = 29.2 + -29. Let a = 4.4 + -0.4. Put a, y, -2 in decreasing order.
a, y, -2
Let h = 0.6 - 0.2. Let s = h + -2.4. Let i = -3 + s. Put 5, -4, i in increasing order.
i, -4, 5
Let w be 5/7 + 6/21. Let s be 2*(-2 + 1) - -6. Let o(g) = -g**3 + 2*g**2 + 4*g - 3. Let t be o(3). Sort w, s, t.
t, w, s
Let m be ((-2)/378)/(14/186). Let l = 2/49 - m. Let k = 0.4 + -0.1. Put k, l, -0.5 in increasing order.
-0.5, l, k
Suppose -4*q + 33 = 13. Put 0, q, 4 in descending order.
q, 4, 0
Let g(o) = o**3 - 2*o**2 - 2*o - 6. Let q be g(3). Sort 1, -2, 3, q.
q, -2, 1, 3
Let q = 963/5 + -192. Sort q, 0, 8 in decreasing order.
8, q, 0
Let g = 3.6 + 0.4. Let r(t) be the second derivative of t**5/20 + 5*t**4/12 + 2*t**3/3 - 5*t**2/2 - 4*t. Let d be r(-4). Sort g, -2/21, d in decreasing order.
g, -2/21, d
Suppose 0 = 4*u - 0 - 8. Put u, -4, -17 in increasing order.
-17, -4, u
Let g = 4.7 + -5. Let x be 1/3 - 3/9. Put 2/7, x, g in ascending order.
g, x, 2/7
Let k = -13 - -13. Put 3, 0.1, k in ascending order.
k, 0.1, 3
Let c be (3 + -1)*(-5)/2. Sort 1, 5, -3, c.
c, -3, 1, 5
Let m = -27.5 + 37. Let a = 10 - m. Sort 2/9, -5, a in descending order.
a, 2/9, -5
Let z be (-1 + 1 + -5)*-1. Suppose -10 = -3*d + 2*q + 4, 5*q = -d - 18. Suppose -i + 7 = -4*g - 0*g, 2*g = -6. Sort z, d, i.
i, d, z
Let s = -3.9 + 4. Let w = 0.23 - -0.17. Sort s, w, 4/3.
s, w, 4/3
Suppose j - 5*x = 22, 15 = -2*j - 4*x - 11. Sort j, -2, 2 in increasing order.
j, -2, 2
Let v(c) = -c**2 - 4*c + 7. Let l be v(-5). Put 1, l, 2/5, -1/3 in descending order.
l, 1, 2/5, -1/3
Let t = 3.3 + -1.3. Sort t, 3, 0.2.
0.2, t, 3
Let u = 8 + -7.8. Sort u, 2/7, -4.
-4, u, 2/7
Suppose 1 = 3*b - 4*a, 0*b + 2*b + 6 = a. Let h = -0.19 + 0.16. Let g = h + -0.07. Put 4/5, g, b in increasing order.
b, g, 4/5
Let c = 7 - 0. Let h be 6/4*24/9. Sort h, -5, c in decreasing order.
c, h, -5
Suppose 0 = 4*g + 10 + 10. Sort g, -3, 3, -4 in decreasing order.
3, -3, -4, g
Suppose o - 11 = -h, -3*h - 4*o + 29 = -2*o. Let z be (2/(-5))/(h/5). Put 2/7, 3, z in decreasing order.
3, 2/7, z
Let v = -22/19 - -25/38. Sort 0, -7, v in ascending order.
-7, v, 0
Suppose -5*l - 23 = -18. Sort -3, l, 3.
-3, l, 3
Let o = 1.5 + -0.5. Sort o, 0.2, 5 in ascending order.
0.2, o, 5
Let b = 5 - 3. Let r be 0 + (-2)/(-4*b). Put r, -2/3, 1/3 in increasing order.
-2/3, r, 1/3
Suppose 2*l = -0*l + 4. Suppose -d - 3*d - q + 3 = 0, 10 = -l*q. Suppose z - 1 = -5. Sort d, z, -3 in descending order.
d, -3, z
Let d = 3 + -5. Let g = d - -6. Sort 3, g, -1 in descending order.
g, 3, -1
Let b = -27.2 - -25. Let v = -1.2 - b. Put -0.4, v, -6 in descending order.
v, -0.4, -6
Let b(c) = -4*c + 2. Suppose -4*a + 5 = l, -5*a = -6*l + l. Let o be b(l). Put -1, o, 3 in increasing order.
o, -1, 3
Let m = 4.86 - -0.14. Sort m, -0.