 6. Let l be f(6). Let m be (-8)/12 - 33/(-9). Let z be 3 - 8/(-12)*m. Put z, -1, l in descending order.
z, l, -1
Let i = -22 + 22. Let p = 470 + -9868/21. Sort i, p, 4 in decreasing order.
4, p, i
Suppose -i - 7 = -5*z, -5*z - 5*i = -6*z + 11. Put -0.2, z, 5/3 in descending order.
5/3, z, -0.2
Suppose -t = -3*t - 8, 0 = 5*j - 3*t + 3. Sort j, 1, -1, -4 in decreasing order.
1, -1, j, -4
Let b be 6/(-44)*(-4)/(-3). Let a = 10 + -5. Sort a, b, 1/5 in increasing order.
b, 1/5, a
Let p be 1/(3 + (-48)/15). Let b = p + 1. Put b, 5, 2 in decreasing order.
5, 2, b
Let m = -9 - -5. Let x = -5 - m. Sort x, 1/2, -2 in descending order.
1/2, x, -2
Suppose -9 = -5*d + 11. Suppose 4*f + c + 6 = 0, 5*f - 2*f - 5*c - 7 = 0. Sort f, d, 1 in decreasing order.
d, 1, f
Suppose 0*j + j = 5*l - 15, 0 = 4*j. Let w be 1 - -2*l/(-2). Let g = 0.5 + -5.5. Sort 2, g, w in increasing order.
g, w, 2
Let d be 50/(-18) + 2/(-9). Let l be -1*3 - d/1. Let i = l + -2. Sort i, -4, -5 in descending order.
i, -4, -5
Let w = -0.055 + -0.045. Sort -3, w, 2 in descending order.
2, w, -3
Let p = -0.12 - 0.28. Put -0.05, p, -0.1 in ascending order.
p, -0.1, -0.05
Let s = 3 - 5. Suppose g + 20 = 5*u, 3*u - 4*g - 1 = 11. Sort s, u, -0.4 in descending order.
u, -0.4, s
Suppose m - 84 = -2*m. Let l be (-1)/m + (-1)/4. Sort -2, 0, l in decreasing order.
0, l, -2
Let l = -0.1 + 0.1. Let p = 2.96 - -0.04. Put l, -3/8, p in decreasing order.
p, l, -3/8
Let j be ((-9)/(-3))/1 + 2. Sort -1, j, -2 in ascending order.
-2, -1, j
Let u be ((-13)/39)/(-1*1)*-2. Sort u, 2, -3/4 in decreasing order.
2, u, -3/4
Let g = 0.294 - 0.004. Let s = 0.09 - g. Let u = 0.1 - 0. Put u, 4/7, s in ascending order.
s, u, 4/7
Suppose -3*h - 2*y - 4 = -8, 0 = -2*h + 5*y + 9. Suppose 0 = 2*q - 0 - h. Suppose -p + 5 = -x, 3*p - 10 = -x - p. Put x, 5, q in decreasing order.
5, q, x
Suppose 6*t - t = -5*m + 50, 3*m - 2*t - 40 = 0. Let r be (-63)/m + 2 + 3. Put r, 5, -1 in decreasing order.
5, r, -1
Suppose 0 = -3*r + 69 + 15. Suppose 3*v - 3 + r = -4*d, 5*v + 35 = -5*d. Sort -4, -1, v.
-4, v, -1
Let g = 1.1 + 2.9. Suppose 3*u - 2*y = 18, 0*u = -5*u - 3*y + 11. Let o be (-2)/(-3)*(-6)/u. Put g, 0.1, o in increasing order.
o, 0.1, g
Let j(m) = m**3 - 6*m**2 - 2*m + 7. Suppose -3*b - 13 = 2. Let w = 1 - b. Let y be j(w). Sort -3, y, -2 in decreasing order.
-2, -3, y
Let a be 2/(-1 + (-16)/(-14)). Suppose -4*m + 6 = 4*j - a, j + 4*m = 20. Let n = 2 - 0. Sort -2, n, j in increasing order.
-2, j, n
Let d(j) = j**3 + 6*j**2 + j + 7. Let n be d(-6). Let r = -1 - -1. Suppose -5*u - 2*w = -11, -3*w = -4*u + 2*w + 22. Sort r, u, n in ascending order.
r, n, u
Let x be (-2)/(-6) + 20/12. Let c = -15 - -12. Sort c, x, 4 in descending order.
4, x, c
Let l be (-30)/20*(-3 - 21/(-9)). Let s be 0 - -1 - 14/2. Sort -2, s, l in ascending order.
s, -2, l
Suppose 5*z - 5 = 0, -2 = 3*h - 2*z - 0. Let a = -1 + -2. Sort a, h, -2 in ascending order.
a, -2, h
Let n = -755/133 + 39/7. Let d = 2.1 - 1.9. Sort n, 0.1, d.
n, 0.1, d
Let s be (14/(-63))/(1/366). Let d = s + 82. Sort -1, d, -0.2.
-1, -0.2, d
Let v = 0.8 + -0.7. Sort -0.3, v, -1/10, 4 in descending order.
4, v, -1/10, -0.3
Let o = -3 + 6. Suppose -2*d - c + 6 = 0, 2*d = -2*d - 4*c + 8. Put d, o, 2 in increasing order.
2, o, d
Let v(f) = 2*f**2 + 23*f - 12. Let b be v(-12). Put 2, b, -8 in decreasing order.
2, b, -8
Let v = 16 - 14.7. Let q = v + -0.8. Put 0, q, 4 in ascending order.
0, q, 4
Let h = 10 + -5. Suppose 2*j = h*j + 6. Sort -1, -5, j in increasing order.
-5, j, -1
Let t = 0 + 0.3. Let j be (2 - 12)*(-12)/60. Put j, t, 2/11 in increasing order.
2/11, t, j
Let a(h) = 5*h + 323. Let k be a(-63). Suppose 5*o + 1 + 27 = 2*m, -4*o = 16. Put m, 5, k in descending order.
k, 5, m
Suppose r - 2 = 2. Suppose -6*u + 4 = -r*u. Let i(z) = -z**3 + 2*z**2 - 3*z + 2. Let h be i(u). Sort h, 0, 5 in decreasing order.
5, 0, h
Let g = 27 + -32. Sort 3, g, 5.
g, 3, 5
Suppose 2*p - 10 = p + m, -4*p + 8 = 4*m. Let j(l) = l**2 - 5*l - 1. Let t be j(p). Let d be (-5 + 2)/(6/(-4)). Put d, t, 4 in decreasing order.
t, 4, d
Let h be 135/60 + (-2)/8. Sort h, -2, -3 in ascending order.
-3, -2, h
Let t = -9.6 - -7. Let b = 0.6 + t. Let v = b + 2.1. Put -1, -0.1, v in decreasing order.
v, -0.1, -1
Let c(t) = 0*t**2 - 3*t**2 + 5*t**2. Let h be c(-1). Suppose -2 = -h*v, 2*s + 4*v + 9 = 3. Sort s, 2, -4 in increasing order.
s, -4, 2
Let g be (-30)/3*1/(-2). Let h = 6 - g. Suppose -2*x + 5*c = -0*c + 11, 5*x = -2*c + 16. Sort h, x, -4 in descending order.
x, h, -4
Let d = 0.13 + 1.67. Let v = -0.8 + d. Sort 0, v, 4 in increasing order.
0, v, 4
Let p = -0.02 - 2.98. Put 3, -1, p in increasing order.
p, -1, 3
Suppose j + 5*r = 17 - 2, j + 3 = 4*r. Let a = -4.04 - -0.04. Sort a, j, -3.
a, -3, j
Let d = -54 - -54.67. Let i = d + -0.3. Let j = -0.03 - i. Put 1/2, 3, j in decreasing order.
3, 1/2, j
Let m be (4*(-6)/48)/(2/16). Let v be 1 - (1 + 0 + 0). Sort m, v, -3 in descending order.
v, -3, m
Suppose 15 = 4*b + b. Suppose x - 5*u + 23 = 0, 3 = 4*x + b*u - 4*u. Let f be 1/((-4)/(5 - 1)). Put 0, f, x in descending order.
x, 0, f
Let i be (3 + -2 - 1) + 3. Suppose 2*g + 2*c - 3 = 1, 0 = i*g - 2*c + 4. Put g, -2, 4 in descending order.
4, g, -2
Let v = 51 - 23. Suppose -3*g = 2*o + 9, -5*g - 3*o - v = -4*o. Let n = -7 + 7. Put n, -3, g in increasing order.
g, -3, n
Let s = 21.8 - 25.89. Let z = -0.09 - s. Put 0.3, z, -5 in ascending order.
-5, 0.3, z
Let v(i) = -21*i - 1. Let m be v(-1). Suppose x + m = -5*o, -4*o - 8 = -4*x - 2*o. Put 4, 2, x in ascending order.
x, 2, 4
Let k(z) = -z**3 + 6*z**2 + 20*z - 27. Let m be k(8). Sort 1, -3, 0, m.
-3, 0, 1, m
Let a = 17.4 + -17. Sort 0.3, 9/5, a.
0.3, a, 9/5
Let c(n) = -n**3 - 8*n**2 - 11*n. Let o be c(-6). Suppose 3*t + 0*t + 3*q - 42 = 0, 0 = t - 3*q - 2. Let p = o + t. Put 2, p, 0 in descending order.
p, 2, 0
Suppose -2*k + 6*k = -3*q + 14, -2*k + 16 = -3*q. Suppose k*p - 3 = -28. Put p, 3, -2 in ascending order.
p, -2, 3
Let g be 2/(-6) + 3/36. Sort 2/3, 4, g in increasing order.
g, 2/3, 4
Let y = -2/91 - 263/455. Let l(s) = -10*s**3 - 2*s**2 - s. Let c be l(-1). Let f = 4 - c. Put f, y, 3 in decreasing order.
3, y, f
Let u = 0 - 0.3. Suppose 0 = -a + 2. Let g be (a/6)/(2/12). Put u, 4, g in increasing order.
u, g, 4
Let u = 0.121 - -2.879. Sort u, -4, -0.3 in decreasing order.
u, -0.3, -4
Suppose 5*c = 4*g - 23, 4*c + 3 = 7. Let f = -2 + g. Sort -1, f, 3 in descending order.
f, 3, -1
Let w = -23 + 28. Let m(n) = 2*n**2 - 4*n + 1. Let a be m(3). Suppose -5*r - 6 = -2*r - 3*g, -5*r + 4*g = a. Sort r, w, -1 in ascending order.
-1, r, w
Let d = -0.184 - -0.084. Sort 1/3, d, -0.3, -0.5 in decreasing order.
1/3, d, -0.3, -0.5
Suppose -4*t + 12 = -0*t. Suppose 0 = t*r + 10 - 1. Sort 4, r, -1.
r, -1, 4
Let q be (-2270)/90 - ((-8)/18)/2. Sort 5, 3, q in ascending order.
q, 3, 5
Let v = -54 + 161/3. Sort 0, v, -0.2, -5.
-5, v, -0.2, 0
Let q be (3/(-7))/((-408)/238). Let o = -4.6 + 5. Sort 2/7, q, o in ascending order.
q, 2/7, o
Suppose 4*j = -y + 2*j - 1, y + 9 = -4*j. Sort y, 0, 5 in ascending order.
0, 5, y
Let a(x) = -x**3 - 7*x**2 - 7*x - 10. Let g be a(-6). Sort g, -1, -5 in descending order.
-1, g, -5
Let x = 0.02 + -0.22. Let n be 3 - 0 - (-6)/(-2). Suppose n = -2*f + f. Sort f, x, -5 in increasing order.
-5, x, f
Suppose 4*u + 1 = t, 10*t + 4*u - 2 = 12*t. Let y(o) = o**2 + 6*o + 1. Let l be y(-5). Put t, 5, l in descending order.
5, t, l
Suppose -h - 4*i = 22, 0 = 4*h + 4*i + 33 - 5. Sort 4, 0, h.
h, 0, 4
Let j = -71 + 145/2. Sort -0.2, 0.1, j in descending order.
j, 0.1, -0.2
Let b(u) = -2*u**2 - 6*u - 5. Let i be b(-5). Sort 4, 3, i in descending order.
4, 3, i
Let f be -2 + (8/2)/1. Suppose 3*j - j = -x - 9, -3*j = f*x + 14. Put j, 3, 1 in descending order.
3, 1, j
Let p(n) = -n**3 - 5*n**2 + n + 6. Let r be p(-5). Let v = 1 + -4. Sort -1, v, r in descending order.
r, -1, v
Suppose -2*c = 5 + 7. Sort -2, 2, c in ascending order.
c, -2, 2
Suppose -42 = 6*c + c. Let q be -8*(2 + 9/c). Sort 6, 4, q in increasing order.
q, 4, 6
Let t = 3.9 - 4. Put t, 4, -3 in increasing order.
-3, t, 4
Let p = 32 - 223/7. Sort p, -5, 2 in ascending order.
-5, p, 2
Let a be (7 + -5)*2/4. Suppose m + 6 = -1. Let v(u) = -u**3 - 7*u**2 - u - 10. Let j be v(m). Sort -2, j, a in decreasing 