k + k + 2. Let p be -4 + 0 + k + 6. Sort 3, 2, p in descending order.
3, 2, p
Let u(z) = -5*z - 19. Let g be u(-4). Sort g, -3, 3, 31.
-3, g, 3, 31
Let q be ((-4)/3)/(4/(-6)). Suppose 5*v = 9*v + 16. Let m = 1 + -1. Put v, q, m in ascending order.
v, m, q
Suppose 0 = -6*s + 133 + 245. Suppose t = -8*t + s. Sort -3, t, 1, 5 in descending order.
t, 5, 1, -3
Suppose 4*x + r = -r + 26, -4*x = 5*r - 35. Let q(m) = -5*m - 11 - 5 - 5. Let l be q(-4). Sort x, l, 0 in descending order.
x, 0, l
Let l = 3.3 + -3.1. Let x = 2.2 - l. Let b be 310/70 - 1*4. Sort b, x, 0.5 in decreasing order.
x, 0.5, b
Let a = 19 + -18.9. Let k = 11.9 + -14. Let w = a + k. Sort 3/2, -3, w in increasing order.
-3, w, 3/2
Let q = 9/25 + -13/175. Let v = -6868 - -6867.5. Put q, -4, v in ascending order.
-4, v, q
Let v(q) = q**3 - 21*q**2 + 95*q + 16. Let m be v(8). Put -1, m, -5 in decreasing order.
-1, -5, m
Let w(b) = -2*b**2 - b. Let z be w(1). Put 2, z, 3, 5 in decreasing order.
5, 3, 2, z
Let n be -3 - 0 - (-2)/2. Suppose -z = 3*l - 5*z + 1, -4*l + 5*z - 1 = 0. Suppose h - u + 2 = 7, -5*h - u + l = 0. Put 3, n, h in ascending order.
n, h, 3
Let p = 41 - 85.5. Let u = p - -44. Put -3, -1/3, u, 3 in descending order.
3, -1/3, u, -3
Let p = -32 - -32.26. Let f = p - -0.54. Let x = 0.5 - f. Sort 0.14, 2, x in decreasing order.
2, 0.14, x
Suppose 103*f - 145 = 98*f. Suppose -5*c - 1 = 2*d + f, -4*d - 24 = c. Let u be -2 + (1 + -2 - -3). Sort 3, u, d in descending order.
3, u, d
Let p = 2 - 0. Let f = -11/70 + 379/630. Sort -1, f, p, -5 in increasing order.
-5, -1, f, p
Suppose -2*r + 5*r - 42 = 0. Let j be r/(-4) - 3/(-6). Let x be ((-45)/(-6))/(-3)*-2 - 5. Put j, 3, x in descending order.
3, x, j
Let g(p) = -14*p - 6. Let h be g(0). Sort h, 3, 3/5, 4 in decreasing order.
4, 3, 3/5, h
Let t be (-119)/(-2) + 2/4. Sort -4, -1, t in descending order.
t, -1, -4
Suppose 3*r - 4 = 8. Let b be 0 - (-42)/((-6)/(-2)). Let x be b/(-35) + (-33)/30. Sort -0.4, r, x in decreasing order.
r, -0.4, x
Suppose 4*b - 3*f + 2*f + 7 = 0, -2*b - 5*f = -13. Let p be (-10)/4*(-1 - -3). Suppose 23*a = -13*a. Sort p, a, b in decreasing order.
a, b, p
Let f = 8 - 13. Suppose -3*v = -60 + 48. Let n be 8*(36/(-8) + v). Put n, f, 3 in decreasing order.
3, n, f
Suppose -u - 3*u - 4 = -2*k, 0 = k - 4*u - 8. Put k, -3, -52 in descending order.
-3, k, -52
Let s = 11 + 22. Let x = s - 29. Suppose 3*n = -2 - 1. Put n, x, 3 in decreasing order.
x, 3, n
Let v = 0.081 - 5.081. Let i = 10.15 + -0.15. Let r = v + i. Sort 0.1, -1, r in descending order.
r, 0.1, -1
Let g be 0 + (-2 + -2)/2. Sort 0, g, -1/2 in ascending order.
g, -1/2, 0
Let t = -2 + 4. Put 8, 6, t in descending order.
8, 6, t
Let o = -5.3 - -0.3. Suppose 2*k - 5*k - 33 = 3*b, 0 = -5*k - 3*b - 55. Let r = -0.2 + 0.2. Sort k, o, r.
k, o, r
Suppose 0 = -2*l + 5*l + 3*g - 21, 0 = -l + 2*g - 8. Let r = 6 - l. Put r, 1, 0 in descending order.
r, 1, 0
Let n = -1.321 + -0.679. Sort -3, -5, -1/6, n in ascending order.
-5, -3, n, -1/6
Let l = -1644 + 1643.79. Put -2, 3, -4/5, l in descending order.
3, l, -4/5, -2
Let q = 128 - 133.5. Let x = q + 10.5. Sort x, 3, -3, 2.
-3, 2, 3, x
Let w be 19/3 + 3/(-9)*1. Let u be 3/18*-2*w/10. Sort 2/7, u, -2/5, 4 in increasing order.
-2/5, u, 2/7, 4
Let j be (-134)/6*-3 + -4. Suppose -4 = -j*g + 62*g. Suppose 3 = 2*y - 5*q - 27, -y = 4*q + 11. Sort -2/3, y, g.
-2/3, g, y
Let u(b) = b**2 + 8*b. Let o be u(-8). Let z(p) = -p. Let n be z(-9). Suppose 0 = 4*r - 9*r + 15, 4*v + r = -n. Put v, -5, o in ascending order.
-5, v, o
Let q = 0 + -1. Let i = -4858 + 4856. Put i, -7, q, 0 in descending order.
0, q, i, -7
Let k = 20.5 - 2.6. Let g = -20 + k. Let s = -2.2 - g. Put 0.4, 3, s in increasing order.
s, 0.4, 3
Let m = -21207/11 - -1931. Put m, -4, -0.1 in descending order.
m, -0.1, -4
Let f = -25.9 + 25.74. Sort 0.1, f, 5/3 in decreasing order.
5/3, 0.1, f
Let o = -2/267 + -787/1869. Sort o, -0.2, 0 in increasing order.
o, -0.2, 0
Let c = -1/40 + -9/40. Let p = -5.3 + 5. Put p, c, 2/11 in descending order.
2/11, c, p
Suppose 4 = j - 1. Let k = 541 - 544. Sort 41, k, j in decreasing order.
41, j, k
Let v = -5 + 5.7. Let j = -0.9 - -0.7. Let a = v + j. Sort -0.2, a, 5 in descending order.
5, a, -0.2
Let o = -0.2 + 0.1. Let t be 3*1*(6 + -8). Let v be (-1 - 33/(-42))*8/t. Sort 5, v, o in increasing order.
o, v, 5
Let u(v) = -v**3 - 35*v**2 - 285*v + 27. Let x be u(-22). Put x, 1, -0.3, 0.3 in decreasing order.
x, 1, 0.3, -0.3
Suppose 0 = 2*n - u - 7, -2*n - n = 4*u + 6. Sort 4, -2, -3, n.
-3, -2, n, 4
Let a = 232 - 237. Put -4, 1, 52, a in decreasing order.
52, 1, -4, a
Let g(c) = 3*c - 18. Let w be g(11). Suppose 0*o + 2*o = -3*x + w, -5*x + o = -25. Sort x, -4, -6 in ascending order.
-6, -4, x
Let h = -5634.5 - -5634. Let g = 11 - 16. Put 1/3, h, g, -4 in descending order.
1/3, h, -4, g
Let v = 55 - 48. Suppose -5*t = 2*i + v, t + t + 5*i = 14. Sort -2, t, 3 in descending order.
3, -2, t
Let s be (-15)/9*(53 - 5). Let r be 5/4 - 60/s. Suppose -l - r*l = 9. Put 3, l, 2 in ascending order.
l, 2, 3
Let u = 3 + -5. Let s(t) = t. Let d(c) = c. Let i(m) = -d(m) - 4*s(m). Let g be i(1). Sort g, 1, u in decreasing order.
1, u, g
Suppose 5*s - 10 = 2*w, 3*s - 19 + 13 = w. Put w, -1, -3, 0.3 in descending order.
0.3, w, -1, -3
Let d = 36 - -56. Let a = d - 87.3. Let l = 6.8 - a. Sort -4, 2, l.
-4, 2, l
Suppose -5 + 3 = i. Suppose -41*y + 1 = -163. Put -5, -3, i, y in decreasing order.
y, i, -3, -5
Let a = -10 + 10. Let o(b) = b**3 + b - 4. Let m be o(a). Sort 3, 5, m, -11 in increasing order.
-11, m, 3, 5
Suppose -10 = -i - 5. Suppose -12 - 30 = 42*m. Suppose 5*k + 12 = 9*k. Sort m, i, k.
m, k, i
Let x = 363 + -396. Put 4, 0.2, x in descending order.
4, 0.2, x
Let c be (1 - 1)*2/(-2). Suppose -3*p - 3*p + 492 = 0. Let m be 3 - c - p/26. Sort 0.2, -2/5, m in descending order.
0.2, m, -2/5
Let w(d) = -26*d - 77. Let u be w(-3). Sort u, 6, -2 in ascending order.
-2, u, 6
Let j(w) = -2*w**2 + 14*w - 15. Suppose 5*q - 29 = 4*n, -4*q - 8 + 31 = -3*n. Let d be j(q). Put 0.2, -4, d, 7 in increasing order.
-4, 0.2, d, 7
Let g(o) = 11*o + 47. Let c be g(-4). Put c, 1, -5, -82 in increasing order.
-82, -5, 1, c
Let z be -2 + -1 - (-4 + (6 - 8)). Let o be 3 - (z + -5) - 2. Sort 0, -3, o, -10.
-10, -3, 0, o
Let d(k) = 7*k - 19. Let v be d(3). Put v, -8, 4 in decreasing order.
4, v, -8
Let l(r) = -r + 5. Let u be l(6). Let m(b) = b**3 - 5*b**2 + 4*b - 5. Let k be m(4). Sort u, k, -2 in decreasing order.
u, -2, k
Suppose 5*y = -2*t - 76, -y + 0*t + 4*t - 2 = 0. Let p(d) = d + 9. Let c be p(y). Put -3, c, -7 in increasing order.
-7, c, -3
Suppose -7*l - 203 = -182. Put 0, 5, 4, l in decreasing order.
5, 4, 0, l
Let l = 2293 - 13753/6. Put l, 4, -2/3, 0.2 in increasing order.
-2/3, 0.2, l, 4
Let z = -0.5 + -1.5. Let g = -15 + 15.5. Let m = 71.5 + -72. Put z, g, m in ascending order.
z, m, g
Suppose -3*w - 6 = 3*v, 24 = -5*v + 3*w - w. Put 5, 4, v, 0 in decreasing order.
5, 4, 0, v
Let a(d) be the third derivative of d**6/120 - 7*d**5/30 + d**4/2 + 5*d**3/3 - 13*d**2. Let x be a(13). Sort 0, x, 8 in increasing order.
x, 0, 8
Suppose 1 = 2*y - 9. Suppose -4*z = y*l - 22, -2*z = 3*z + l - 17. Sort z, -13, 0, -4 in descending order.
z, 0, -4, -13
Let j(s) = -2*s**2 - 2*s + 1. Let m be j(-2). Suppose 0*z = 3*z + 4*k - 2, 5*k + 15 = 5*z. Sort 3, z, m.
m, z, 3
Let q(s) = s**3 - 29*s**2 + 3*s - 87. Let b be q(29). Suppose -5*y + y = 2*w - 2, -4*w - 2*y = 8. Put b, w, 8 in ascending order.
w, b, 8
Suppose -4*r - 6 = -2. Let c(m) = -7*m + 0 - 4*m + 5*m - m**2 + 1. Let i be c(-6). Put -5, i, r in decreasing order.
i, r, -5
Let c be 24/(-32) + (-1)/4. Suppose 0 = 4*w + 3*x - 94, -5*w + 135 + 0 = -5*x. Suppose 2*i = 3*q - 4, -2*i = 5*q + i + w. Sort q, 1, c in ascending order.
q, c, 1
Let u(q) = -q - 10. Let h be u(-17). Suppose 4*r + h - 3 = 0. Put -5, r, 2 in increasing order.
-5, r, 2
Let t be 1/3*6/(-18)*0. Sort 2, -2, t, -3 in increasing order.
-3, -2, t, 2
Let m = -123 - -65. Let h = -58 - m. Sort -3, 4, -0.3, h in decreasing order.
4, h, -0.3, -3
Suppose 3*r = 4*r + 3. Let u = -11 + 10. Put 0, u, r, -0.1 in descending order.
0, -0.1, u, r
Suppose 17 = 5*n + 7. Let f be 1/((-4)/24*n). Put 0.4, f, 2/9 in ascending order.
f, 2/9, 0.4
Let h = 0.578 + -0.878. Sort