 6. Let b be f(5). Let t be s(b). Put 3, 4, t in descending order.
4, 3, t
Suppose 0 = 2*a + 1 - 7. Sort -4, a, 0, -2 in ascending order.
-4, -2, 0, a
Let s(z) = z**2 + 12*z - 14. Let d be s(-13). Put 0, d, 3, -5 in increasing order.
-5, d, 0, 3
Let w = 12 + -17. Put w, 2, 4 in ascending order.
w, 2, 4
Let h(i) = -3*i - 2. Let l be h(-2). Suppose 0 = -4*j - l*n, -2*j - 3*n + 5 = -0*n. Suppose 0 = -0*v - 2*v + 8. Sort v, j, 1.
j, 1, v
Let n be (-6)/(-3 - (2 + -3)). Suppose -2*z + n*z = 1. Sort -1, z, 5.
-1, z, 5
Let h be (18/(-15))/((-3)/10). Sort -2, 11, 5, h.
-2, h, 5, 11
Let j(o) = 5*o**2 + 1. Suppose -5*y = c - 10, 3*c + 1 - 15 = y. Let s be j(y). Sort 3, s, 5 in decreasing order.
s, 5, 3
Let n(u) = u**2 + 3*u - 5. Let s be n(2). Put s, -3, 4 in descending order.
s, 4, -3
Suppose 0 = g + 5*x - 73, 20 = -4*g - x + 274. Let z be 6/g + (-6)/14. Let a = 1/5 + -7/10. Sort z, 1, a in decreasing order.
1, z, a
Let l(p) = -p**3 + 4*p**2 + 7*p - 10. Let j be l(5). Sort -13, j, -4 in descending order.
j, -4, -13
Let h = 1 + 0. Let n = -26 + 24. Sort 5, h, n in descending order.
5, h, n
Let z = -144 + 137. Sort z, 3, 2 in decreasing order.
3, 2, z
Let n be ((-1)/(-3))/((-10)/15). Sort n, -0.4, 2 in decreasing order.
2, -0.4, n
Let v = -22 + 22. Let u = 6 - 6.4. Sort -1/3, v, u.
u, -1/3, v
Let j = 13.1 + -13. Let u = j + 0.2. Put u, 1/3, -0.3 in decreasing order.
1/3, u, -0.3
Let a = 0.1 - 6.1. Let p = a - -6.3. Sort p, 0.5, -1/11 in increasing order.
-1/11, p, 0.5
Let x be (-10 - -12)*6/4. Let m = 0.03 - -1.97. Sort m, -4, x in increasing order.
-4, m, x
Let k = -0.2 - -0.9. Let q = k - 1.2. Sort -3/4, q, 5 in descending order.
5, q, -3/4
Let z be (-4)/6*6/4. Let p be z/(-3) - (-5)/3. Let v be 2/(-7) + (-32)/(-210). Put v, -2, p in decreasing order.
p, v, -2
Let m(x) = 4*x + 2. Let p be m(2). Let b be (p - 1)*6/18. Sort b, -4, -3 in increasing order.
-4, -3, b
Let q = 0.02 + 0.08. Let f = q - -0.1. Sort f, -5/4, -4 in descending order.
f, -5/4, -4
Suppose z + 0*z + 6 = 0. Let a = z - -3. Put -5, a, -1/7 in ascending order.
-5, a, -1/7
Let a = -22 + 24. Sort -6, 4, a.
-6, a, 4
Let h = 17 + -17.4. Let z = -6 - -9. Sort h, z, 2/13 in ascending order.
h, 2/13, z
Let f be 1/(-2 - -1) - -1. Let d be 5*(-6)/(-15) - 4. Let j be -6 + (-3 - -7) + d. Put -1, f, j in decreasing order.
f, -1, j
Let h = 361 - 364.06. Let p = 3 + h. Let t = 0.05 + 0.05. Put t, p, -0.3 in ascending order.
-0.3, p, t
Let q(d) = d**2 - 7*d + 6. Let u(f) = -2*f**2 + 13*f - 11. Let a(b) = -5*q(b) - 2*u(b). Let g be a(7). Suppose t = 3 - g. Sort -1, t, 4 in decreasing order.
4, -1, t
Let i = -4.364 + -0.036. Let k = i - 0.6. Suppose -o = 2*f - 6, 5*f - 3*o + 0 - 15 = 0. Sort k, f, 1/2.
k, 1/2, f
Let x be (2/(-5))/((-2)/(-60)). Sort 6/5, 1, x in decreasing order.
6/5, 1, x
Let k = -0.11 + -0.29. Put k, 2/5, 5 in descending order.
5, 2/5, k
Let x = 13 + -22. Let m = x + 4. Sort 3, m, -1 in descending order.
3, -1, m
Let v = 0 - -5. Let a be (-2)/(-11) + 0/(-2). Sort a, 2, v in ascending order.
a, 2, v
Let p = -2.9 + 3. Sort -0.06, p, -5.
-5, -0.06, p
Let b = -10 + 12. Let g(i) = 4*i**2 - i. Let n be g(1). Suppose -n*a - b*a = 0. Sort -5, 5, a in increasing order.
-5, a, 5
Let d(n) = -n**3 - 13*n**2 - 14*n - 26. Let o be d(-12). Sort -4/3, -3, o, 2 in decreasing order.
2, -4/3, o, -3
Let r = -71 + 71.07. Put -5, -3, 0.2, r in increasing order.
-5, -3, r, 0.2
Let p = 5 + 19. Let b = p + -23.96. Sort -2, b, 0.
-2, 0, b
Suppose 0*c = -4*c. Put 5, 2, c in descending order.
5, 2, c
Suppose -5*q - 3*v = -2*v - 16, 5*q + 3*v - 18 = 0. Let t be (0 + 1)/(2 - 1). Suppose -5*u + t - 11 = 0. Sort 1, u, q in decreasing order.
q, 1, u
Let n = -25 - -21. Let q(v) = v**3 + 5*v**2 + 5*v + 6. Let p be q(-4). Sort p, 4, n.
n, p, 4
Let m = -23 - -47/2. Put m, 0.3, -0.2 in increasing order.
-0.2, 0.3, m
Let s = 138.9 - 149. Let c = s + 10. Sort -3/2, 3/5, c in increasing order.
-3/2, c, 3/5
Let t be 5/3*(-1 + -2). Sort t, 3, 5 in descending order.
5, 3, t
Suppose 0 = s - 8. Suppose -k = -3*k + s. Suppose 0 = 2*y - o - 1, -8 = -4*y - 3*o + 9. Sort 5, k, y in descending order.
5, k, y
Let n = -65 + 326/5. Let k = 0.22 + 0.08. Sort n, k, -2/3.
-2/3, n, k
Let a = -8 + -1. Sort a, -2/11, 0.5 in increasing order.
a, -2/11, 0.5
Let p = -4 - -3.5. Let l(y) = y - 7. Let j be l(7). Let u = 1/3 + j. Put p, -2/21, u in decreasing order.
u, -2/21, p
Let w = -3.8 - 13.2. Sort 1/3, 2/5, -4/7, w in decreasing order.
2/5, 1/3, -4/7, w
Let d be 33/27 - 2/2. Let y = -16 + 11. Let n be (3 - -1 - 1) + -7. Sort d, n, y in ascending order.
y, n, d
Let v be (-1 - (-1 + 0))/(-1). Let c be -3*(v + (-10)/3). Suppose -3*d - c = -0*d + 4*r, -2*r - 16 = -4*d. Put 1, -2, d in increasing order.
-2, 1, d
Let j be (-205)/(-20) + (-1)/4. Suppose 4*i + 6 = 3*g + i, 5*g - 4*i = j. Let z(m) = 2*m**2 - 3*m + 3. Let d be z(g). Put d, -3, 1 in increasing order.
-3, 1, d
Let d = 55 - 54.8. Let p(q) = 6*q - 1. Let j be p(-1). Let v = j - -4. Put 0.1, v, d in descending order.
d, 0.1, v
Suppose -4*h = -6*h - b - 6, -4*h + 5*b - 40 = 0. Put 4, 1, 2, h in ascending order.
h, 1, 2, 4
Suppose -9 = -2*m + 13. Sort -1, m, 2 in decreasing order.
m, 2, -1
Let f(t) = -3*t. Let m be f(1). Suppose -z = -3*z - 6. Let p = z - -7. Put m, p, -1 in descending order.
p, -1, m
Let k = 366/7 + -52. Sort 2, -0.3, k.
-0.3, k, 2
Let u be 4/14 + 8/(-28). Suppose u = -2*v + 6*v - 4. Suppose -5*q = 8 - 23. Sort q, v, -2.
-2, v, q
Let j be (-2)/(-5) - (-26)/(-40). Put j, 2/9, 0.4 in descending order.
0.4, 2/9, j
Suppose -2*c - 4 = -3*q + 26, 2*q = 4*c + 28. Let s(z) = z - 5. Let b be s(q). Sort -3, b, 4 in decreasing order.
4, b, -3
Suppose -3*r - 4*u + 9 = -u, -4*r - 3*u = -14. Sort -4, 3, r in ascending order.
-4, 3, r
Let l = 0.03 - 0.03. Let s = -3127/9 - -347. Let w = -2.92 - 0.08. Put l, s, w in decreasing order.
l, s, w
Let z = -0.11 + 0.51. Put 1, 1/3, z in descending order.
1, z, 1/3
Let t = -0.23 - 0.07. Put -1, -2/41, t in decreasing order.
-2/41, t, -1
Let p be (16/(-10))/((-2)/10). Suppose -2*j = -0*s + 4*s + 2, s + p = -2*j. Suppose 5*n = -s*y + 7, y + 4*n = 6*n - 10. Sort y, 0.5, -3/5 in ascending order.
y, -3/5, 0.5
Suppose 0 = -4*c + s + 15, -2*s + 0 - 6 = 0. Sort 4, c, 2, -5 in decreasing order.
4, c, 2, -5
Let x(v) = v**3 + 2*v**2 + v. Let f be x(-1). Let l(o) = -o**3 + 19*o**2 - 17*o - 13. Let q be l(18). Sort 1, q, f.
f, 1, q
Let b = -1.3 + 1.4. Let j = 25761248/255423 - 2/36489. Let i = j + -101. Sort i, b, 2/5 in increasing order.
i, b, 2/5
Let h = 11 - 13. Sort 4, 5, h in ascending order.
h, 4, 5
Let s = 0.3 - 0.4. Let m = -63/5 + 13. Sort s, m, 0.
s, 0, m
Suppose z = -z + 10. Let v be 56/8*8/14. Sort -3, z, v in descending order.
z, v, -3
Suppose 0 = 5*b - 4*b. Sort 4, -0.2, b in decreasing order.
4, b, -0.2
Let k = -5.0503 - -0.0403. Let g = 0.01 + k. Sort 0.2, g, 1.
g, 0.2, 1
Let x = -15 - -13. Sort -0.4, x, 6/11 in increasing order.
x, -0.4, 6/11
Let y(o) = -2*o**2 - 10*o + 4. Let j be y(-5). Put 20, j, -4, -1 in ascending order.
-4, -1, j, 20
Let x = -459/5 - -92. Put 5, 8, x in ascending order.
x, 5, 8
Suppose -2*u = 3*u. Sort u, -3, -1, 1 in ascending order.
-3, -1, u, 1
Let s be -3*(-6)/27 + 28/12. Sort -3, 2, 5, s.
-3, 2, s, 5
Let x = -21 - -8. Put 0, -1, 2, x in increasing order.
x, -1, 0, 2
Let f = 27 + -23. Suppose 4*i - 4 = -4*x, 9*i - 4*i = -2*x + 17. Let v = x + f. Sort 2, -2, v in decreasing order.
2, v, -2
Let f(i) = -i**2 - 6*i - 3. Let n be f(-5). Suppose 2*d + 3*p + 24 = 10, 0 = n*d + p + 6. Sort 5, -3, d in increasing order.
-3, d, 5
Suppose 1 - 5 = -2*k. Let v be ((-2)/(-5))/((-22)/10). Put k, 0, v in ascending order.
v, 0, k
Let p be 16/(-10)*(12 + -7). Let b be 36/p - -4 - -3. Put -0.06, b, -0.2 in decreasing order.
b, -0.06, -0.2
Suppose -80 = -2*g + 7*g. Sort -5, -1, g in descending order.
-1, -5, g
Let o = -23 - -77. Let n = -269/5 + o. Put n, 0, 3/2 in descending order.
3/2, n, 0
Let i = 10.9 + -11. Sort 2, i, -4/7 in decreasing order.
2, i, -4/7
Let a = 151787/981 + -600/109. Let r = -149 + a. Put -2/11, -0.4, r in decreasing order.
r, -2/11, -0.4
Let p = 7 + -7. Let f be (3/2)/((-1)/(-2)). Put p, 4, f in decreasing order.
4, f, p
Let m(f) = -2*f**2 + 5*f - 3. Let g be m(1). Suppose 7 = 5*l - 8. Put l, 5, g in increasing or