6. Let v be 3/g + 2/3. Sort -4, -1, v in descending order.
v, -1, -4
Suppose -2*o = 3*c + 8, 4*c - 3*o + 8*o = -13. Sort 7, 2, c.
c, 2, 7
Let o = 11 + -7. Let s = -2.4 - 2.6. Sort o, s, 0.3.
s, 0.3, o
Let t be -1*(-12)/(8/2). Sort 4, -4, t in increasing order.
-4, t, 4
Let g be 1/2*(-30)/15. Put g, -0.04, 5 in decreasing order.
5, -0.04, g
Let v be (3 + 63/(-14))/((-6)/20). Sort v, 4, -5, 1.
-5, 1, 4, v
Let a = 1.2 + -0.2. Let f = 5.8 - 18.3. Let t = f - -13. Put -1/4, a, t in increasing order.
-1/4, t, a
Let n = -3 - -5. Suppose -10 + 6 = n*j. Sort j, 4, 1 in decreasing order.
4, 1, j
Suppose 0 = -3*w + 4*h + 5, -5*h - 3 = -4*w + 4. Suppose 0 = -5*l + 5*y - 25, 4 = 4*y - 0. Sort -2, l, w in decreasing order.
w, -2, l
Let w = -2/3 + 1/3. Let r = 0.09 - -5.91. Let u = r + -6.4. Put 2/11, u, w in descending order.
2/11, w, u
Let v(x) = -x**3 - 6*x**2 - 8*x - 5. Let h be v(-5). Suppose 5*t = -h, t = -3*b + 2*b + 3. Let k = 0.45 - -0.05. Put 0.3, b, k in descending order.
b, k, 0.3
Let g(f) = -f**2 - f + 1. Let w be g(2). Let r be 3/((225/6)/w). Sort r, -4, -1 in descending order.
r, -1, -4
Let m = 0.15 + -0.25. Sort 0, m, 1 in decreasing order.
1, 0, m
Let t = 19 + -16. Suppose t*h = 3 - 12. Let w(u) = -u + 5. Let f be w(0). Put 0, f, h in increasing order.
h, 0, f
Suppose 2*d = 3*d. Suppose 2*i + 6 + d = 0. Sort i, 0, 5 in increasing order.
i, 0, 5
Suppose 6*h + 12 = -24. Let o be 5*1/2*2. Let p be 4/h + o/3. Put -1/2, 2/7, p in decreasing order.
p, 2/7, -1/2
Let x be ((-2)/6)/((-1)/3). Suppose 0 = 2*o - 10, -c + 3*c + 2*o - 24 = 0. Suppose 2*q = -2*z + 12, -2*z + 3*q + c = -0*z. Sort x, 4, z in decreasing order.
z, 4, x
Suppose 2*o - h - 22 = 2*h, o - 9 = h. Sort -17, o, -5.
-17, -5, o
Suppose -3*a = a. Put 5, a, -2 in descending order.
5, a, -2
Suppose -11*z - 8 = 14. Sort 6, z, 5, 0 in ascending order.
z, 0, 5, 6
Let g(c) = c - 8. Let z = -51 - -28. Let h = -16 - z. Let r be g(h). Sort 1, r, 3 in increasing order.
r, 1, 3
Let s be -1*1/3*3. Suppose 0*q + 10 = 2*q. Suppose h + q*m - m = 20, 2*m = -h + 10. Sort h, -5, s in increasing order.
-5, s, h
Suppose -5*h + 48 + 402 = 0. Let j be 14/63 + 16/h. Sort j, -5, -1/10 in ascending order.
-5, -1/10, j
Let i be ((-2)/8)/(9/(-12)). Let w = 10 + -18. Let a = 4 + w. Sort a, -1, i.
a, -1, i
Suppose 5*j - 15 = 2*x, 4*x - 5*j = 5*x - 30. Put 2, x, -7 in ascending order.
-7, 2, x
Let y = 6 + -1. Put 1/3, y, 0.1 in increasing order.
0.1, 1/3, y
Let l = -0.14 - 0.36. Sort -5, -3/7, l.
-5, l, -3/7
Suppose 8*a - 7*a = 5. Suppose -5 = a*r - 0*r. Put r, 0, 3 in increasing order.
r, 0, 3
Let k = 1.14 + 0.86. Let i(w) = w**3 + 2*w**2 + w + 2. Let f be i(-3). Put k, -1/8, f in decreasing order.
k, -1/8, f
Suppose -v = 4 - 8. Suppose 0*h = 5*h + 15. Let u be -4 - h - (1 + -2). Put u, -5, v in increasing order.
-5, u, v
Let l be (-1)/2*(-1 + 3). Suppose -k + 0*k + 17 = 0. Suppose -3*w + v - k = 0, w = v - 9 - 0. Sort 5, w, l in decreasing order.
5, l, w
Suppose -16 = -3*z + 7*z. Sort 4, z, -5, 0 in descending order.
4, 0, z, -5
Let r be 1 + 2 - 1 - 256/112. Put -3, -4, 1/4, r in increasing order.
-4, -3, r, 1/4
Let z = -10 + 27. Let q = z - 18. Put q, -4, -6 in decreasing order.
q, -4, -6
Let b be 6/(-5)*(-20)/(-6). Put -2, b, 0 in ascending order.
b, -2, 0
Let m(o) = -4 + 3 + 5 + o. Let u be m(-7). Put -4, 5, u in descending order.
5, u, -4
Let p(f) = -f**3 + 2*f**2 - 2*f + 10. Let k be p(3). Sort k, 14, 4 in descending order.
14, 4, k
Let r = 75.7 - 72. Let i = r + 0.3. Suppose 0 = -2*p + 4*p. Sort p, -3, i in ascending order.
-3, p, i
Let n = 15 + -34. Let f = n - -19.5. Sort -3, f, -0.3 in ascending order.
-3, -0.3, f
Let f = -27.8 - -28. Put -0.2, f, -2 in increasing order.
-2, -0.2, f
Let q(l) = l - 4. Let f be 2/10 + (-42)/(-15). Let s be f/9*3 - -2. Let h be q(s). Put -3, h, 1 in ascending order.
-3, h, 1
Suppose -2*q = 6*g - 7*g + 3, 3*q = -3*g - 9. Sort g, -2/11, -0.1.
g, -2/11, -0.1
Let a = 21 + -43/2. Let i(v) = -2*v + 8. Let f be i(6). Put -5, a, f in decreasing order.
a, f, -5
Suppose 1 - 9 = -2*y + 3*f, 4*y = -f - 12. Let v be y/4*6 - -5. Sort 4, -1, v in descending order.
4, v, -1
Let d = -4.2 - -4. Let s = -0.7 - -1. Sort d, -0.5, s in increasing order.
-0.5, d, s
Suppose 0 = -u - b + 4, -5*b = -2*u - 3*u + 20. Suppose -3*c + u*c - 1 = 0. Put -1/10, c, 3/4 in decreasing order.
c, 3/4, -1/10
Let t = 0.147 + -6.447. Let o = -6 - t. Put 0.4, o, -0.3 in ascending order.
-0.3, o, 0.4
Let w = -5 - -8. Let i be (13/117)/((-1)/3). Sort w, -3/7, i.
-3/7, i, w
Let o(f) = f**2 + 5*f - 10. Let p be o(-7). Let x(c) = -c**2 + 4*c - 2. Let v be x(p). Suppose 0 = -i - i - 6. Put i, 1, v in descending order.
1, v, i
Let l(p) = p**2 - p - 11. Let m be l(4). Sort m, -5, -6 in increasing order.
-6, -5, m
Let l = 39 - 38.9. Sort l, 1/4, 5 in descending order.
5, 1/4, l
Suppose 11 = -2*q - 1. Let d be (-15)/q + 1/(-2). Sort d, -4, 2/13.
-4, 2/13, d
Let u = 3 + -3.08. Let d = u + -0.32. Let z be (-2 - -1)/(-1*1). Put 0.2, d, z in ascending order.
d, 0.2, z
Let t = 0.52 - 29.52. Let z = t + 27. Put 2/3, 4, z in descending order.
4, 2/3, z
Let r(n) = n**2 - 2. Suppose -o - y = -0*y, 0 = 5*o + 3*y. Let j be r(o). Let l(p) = p**2 + p + 1. Let t be l(j). Sort 4, 5, t in ascending order.
t, 4, 5
Let y = 0.19 + 3.81. Sort y, 2, -4/7 in ascending order.
-4/7, 2, y
Let n = -5 + 10. Suppose -r + 1 + 9 = -3*j, r - 14 = n*j. Let d be (-2)/(-3)*(0 - 3). Sort r, 0, d in increasing order.
d, 0, r
Suppose 9 = 2*s - v - 2, -20 = -5*s + 5*v. Let q(a) = a**3 - 7*a**2 - a + 5. Let n be q(s). Put 3, 5, n in decreasing order.
5, 3, n
Suppose 0 = 4*b - 0*b - 16. Sort b, -5, 16 in decreasing order.
16, b, -5
Let d = -0.18 + 0.15. Let l = -0.07 - d. Sort l, -5, 0.
-5, l, 0
Let o(f) = f**2 - f + 1. Let m = 0 + 2. Suppose -6*j + 29 = -m*j - 5*r, 2*r = -3*j - 7. Let g be o(j). Sort 4, g, -4.
-4, g, 4
Let x = -41 - -43.3. Let z = 2 - x. Put z, 0.5, -17 in descending order.
0.5, z, -17
Let c = -0.93 + 1.46. Let l = -0.03 + c. Sort l, -2/13, 3 in ascending order.
-2/13, l, 3
Let a = 24 + -27. Sort 6, 5, a in descending order.
6, 5, a
Suppose 2*n - 2 = 2*j, -n = -5*j - 0*j + 15. Sort 3/7, 1/11, n in decreasing order.
n, 3/7, 1/11
Let t = 0.21 - -1.79. Put 1, 8, t, 5/3 in increasing order.
1, 5/3, t, 8
Suppose -h - h = 0. Let o(i) = -i**3 - 6*i**2 + 8*i + 9. Let s(b) = -b - 4. Let t be s(3). Let n be o(t). Put 1, h, n in decreasing order.
n, 1, h
Let k = 6.3 - 2.3. Put 0.4, 0.6, k in increasing order.
0.4, 0.6, k
Let l(v) = v**2 - 3*v + 2. Let q be l(3). Suppose -3*w + q + 22 = 0. Let x be (-6)/w - 1/4. Sort -3, x, -4 in descending order.
x, -3, -4
Let u(x) = -x**3 + 16*x**2 + 16*x + 22. Let v be u(17). Sort v, 1/7, 5/4.
1/7, 5/4, v
Let z(u) = u + 2. Let g be z(2). Suppose 2*l + 4*a = 3*a + 8, -a = -l + 4. Suppose 2*s + 2*s = -4*y + 4, -2*s + l*y - 28 = 0. Sort s, g, 1.
s, 1, g
Let n = 10.9 - 1.9. Let j = n - 9.4. Let o = 0.5 + -0.3. Sort o, -0.2, j.
j, -0.2, o
Suppose -5*d - 2 + 1 = 3*b, -4*b - 12 = -4*d. Let g(a) = 2*a**2 + 2*a - 1. Let o be g(-2). Sort d, o, 2 in decreasing order.
o, 2, d
Let b = 11 + -20. Let i = b + 9. Sort 1, i, 2.
i, 1, 2
Suppose 4*g + 20 = -y, -2*g + g = -2*y + 5. Let u be 3 + y*(-1 + 0). Let m(p) = -p - 1. Let a be m(u). Put a, 4, -5 in descending order.
4, a, -5
Let s = 0.29 + -0.31. Put s, 0.1, -1/9 in increasing order.
-1/9, s, 0.1
Let w = 17 + -19. Let g = -1 - -4. Sort w, 4, g in increasing order.
w, g, 4
Let r = -5 + 9. Suppose j = c + 5*j - 17, 8 = r*c + 4*j. Put c, 8, -4 in decreasing order.
8, c, -4
Suppose 0 = 3*r - 6 - 6. Let p = 2 - 7. Let v = p - -5. Put v, r, -1 in descending order.
r, v, -1
Let b = -5 - -3. Let q = b - -7. Let y be -7 + 4/(-2 - -4). Put 1, q, y in increasing order.
y, 1, q
Let a be (-4)/6 + 181/(-3). Let p = -33 - a. Suppose -3*z - 4*y + p = 0, 12 = 5*z - 2*y - 0*y. Sort z, -1, 3.
-1, 3, z
Let g = -90013/5 - -18076. Let o = -73 + g. Sort 0.5, 0.3, o in descending order.
0.5, o, 0.3
Let r be ((-20)/8)/(10/(-8)). Sort 4, -4, r in decreasing order.
4, r, -4
Let t = 67.3 - 68. Sort t, 1, 3.
t, 1, 3
Suppose 4*d = 3*z - 2 - 2, 0 = -5*z + 5*d + 5. Let o = 5 - 7. Let l be (6/(-4))/(o/(-4)). Put 1, z, l in descending order.
1, z, l
Let t be (-3)/(6/(-4)) - -11. Suppose -4*o = -s - 2*s + 2, 0 = 5*s +