et h be a(2). Put 5, h, k in descending order.
5, h, k
Let d(s) = -3*s**2 + s - 1. Let o be d(1). Let w = 5 + o. Let h = 7 - w. Sort -4, 4, h in descending order.
h, 4, -4
Let y be 4/2*(-3 - -5). Suppose y*n - 6 - 2 = 0. Let a = 5 - 0. Put n, 3, a in ascending order.
n, 3, a
Let w = -0.05 - 11.95. Let z = 7 + w. Sort -3, -0.1, z.
z, -3, -0.1
Let l(b) = b**3 + 4*b**2 - 3*b + 2. Let o(g) = g**2 + g - 1. Let u(c) = l(c) + 3*o(c). Let i be u(-7). Put 4, i, -4 in decreasing order.
4, i, -4
Let w = -4 + 11. Put w, 0.5, -2/11 in descending order.
w, 0.5, -2/11
Let b = 20 + -13. Let r = 6 - b. Put 5, -3, r in increasing order.
-3, r, 5
Suppose 0 = -4*v + 3*v + 4. Suppose -5*p = -v*t + 7, -18 = -3*p + 3*t - 8*t. Suppose -2*u - u = 15. Sort u, p, 4.
u, p, 4
Suppose -2*j - 4 = -3*j. Sort 5, j, -2 in increasing order.
-2, j, 5
Let v = -936/5 - -187. Put 0.6, v, 0.2 in decreasing order.
0.6, 0.2, v
Let p be (-6)/4*(-5)/15. Let s = 0.2 + -0.4. Let t = -0.2 + s. Put -3/5, p, t in ascending order.
-3/5, t, p
Let y = -17 + 16.4. Let c = -0.8 - y. Sort -2, c, 5 in decreasing order.
5, c, -2
Let u = 69 - 73. Sort 4, 1, u.
u, 1, 4
Let l = -11 + 16. Put 2, 3, l in decreasing order.
l, 3, 2
Let x = -2 + -2. Sort x, 9, -3 in decreasing order.
9, -3, x
Let f be 18/24 - (0 + 1). Put 0.5, f, 0.2 in increasing order.
f, 0.2, 0.5
Let t be 105/6 - 2/(-4). Let c = 13 - t. Let q be (-4)/(-10) + (-23)/c. Sort q, -5, 3 in ascending order.
-5, 3, q
Let q = 87 + -92. Put -12, -3, 3, q in ascending order.
-12, q, -3, 3
Let a be ((-35)/(-28))/(1/(-4)). Let r = -4 - -6. Let c be (-2)/(-3)*(-5 + r). Sort a, 0, c in descending order.
0, c, a
Let m be ((-4)/(-6))/((-6)/27). Let l be 3 + (-4 - m) + 0. Let s be 4/10 + 27/(-5). Put l, 0, s in ascending order.
s, 0, l
Let o be (8/(-8))/(1/5). Sort o, 4, -6.
-6, o, 4
Let w = -4 - -3. Let t = -236 + 2600/11. Let c = -1/33 + t. Sort -4, c, w in descending order.
c, w, -4
Let s = 10 + -10.23. Let m = 0.77 - s. Let g be 0/(-1 + (1 - 1)). Put m, g, -2 in decreasing order.
m, g, -2
Suppose -d + 4*d = -3. Put d, -3, 1 in ascending order.
-3, d, 1
Let k be ((-2)/3)/((-1)/(-3)). Let x be 3*(1 + -2) + 9. Suppose x*z + 11 = -7. Sort 2, z, k in decreasing order.
2, k, z
Let x = 59/15 - 19/5. Put x, 2/9, 5 in ascending order.
x, 2/9, 5
Let l = -8.1 - -8. Let p = -0.06 - -0.36. Suppose 2*v = 5*y - 35, 2*y + 0*y - 10 = 0. Put p, v, l in ascending order.
v, l, p
Let r = -81 - -85. Put -2/9, 0.3, -0.02, r in increasing order.
-2/9, -0.02, 0.3, r
Let k = -13.1 - -12.1. Put -1/2, k, -0.6 in descending order.
-1/2, -0.6, k
Let u be (-1 + 1)*4/(-8). Let p be u/(-2 + 2 + -1). Let k = p - 3. Put 3, k, 4 in ascending order.
k, 3, 4
Let s = 9.12 + -0.12. Let j = s + -9. Sort -0.3, -1, j.
-1, -0.3, j
Let i = 12 - 7. Sort i, 1, -5.
-5, 1, i
Let o = -5 - -8. Sort 4, 5, o in descending order.
5, 4, o
Let k = 3 - 2.62. Let b = k + -0.08. Put 1/4, b, 2/7 in descending order.
b, 2/7, 1/4
Let j = -46 + 71. Let n = -28 + j. Put 3, -5, n in descending order.
3, n, -5
Let u(q) = q - 2. Let v be u(7). Put -4, 2, v in descending order.
v, 2, -4
Suppose 4*c - 5*z = 16, c - 3 = -4*z + 1. Sort -3, -4, c.
-4, -3, c
Let a = 29 - 34. Put a, 0.1, -1, -4 in ascending order.
a, -4, -1, 0.1
Let m = 152 - 147. Sort 1, 3, m, 4 in increasing order.
1, 3, 4, m
Let u be (-3 - -1) + (-4 - -2). Suppose 0 = -2*t - 2 - 0, -23 = -5*s + 3*t. Sort u, -3, s.
u, -3, s
Let v = 35 + -244/7. Put v, -0.06, -1/3 in increasing order.
-1/3, -0.06, v
Let n = 68 - 65.1. Let z = 0.1 + n. Let t = 0.8 + 0.2. Sort z, -5, t.
-5, t, z
Let l = 0.912 - -0.088. Let k = -3.3 - -0.3. Sort k, l, -8 in decreasing order.
l, k, -8
Let k = -4 - -11. Let v(u) = u - 8. Let a be v(k). Sort -3, 3, a in increasing order.
-3, a, 3
Let q be (-10)/10*2/13. Let a be (-5 - 1)*(0 - (-2)/(-8)). Suppose -2*z + 0 + 2 = 0. Sort a, z, q in descending order.
a, z, q
Let a(c) = c**2 + 4*c + 2. Let l be a(-4). Suppose -5*v + l*k - 6*k = 15, -4*k = 0. Let y(b) = -11*b + 49. Let t be y(4). Sort v, 4, t in increasing order.
v, 4, t
Let j(y) = y**2 - 8*y - 14. Let a be j(9). Sort -2, -7, a in descending order.
-2, a, -7
Let t be 58/203*1*-1*-1. Suppose -m + i = -1, 0 = -5*m + 4*i - 0 + 4. Suppose 2*o - 7*o - 5 = m. Sort o, t, -5 in descending order.
t, o, -5
Suppose -9*d - 1 = -10*d. Suppose -2*g - 2*g - a = -26, 5*g = 4*a + 43. Let b be (-32)/14 + 2/g. Put 5, b, d in descending order.
5, d, b
Let t = -547/21 - -79/3. Put -3, 3, t in ascending order.
-3, t, 3
Let w = 83 - 163/2. Sort -0.1, w, 1/4 in decreasing order.
w, 1/4, -0.1
Let g(t) = t**2 + 7*t - 13. Let s be g(-9). Let m = -8 + s. Sort m, 2, 3 in increasing order.
m, 2, 3
Suppose 0 = 3*u + 4*b - 20, 3*u = 6*u - 4*b - 4. Suppose -5*q + 3*q + u = 0. Suppose -9 = 4*p - p + 5*j, -q*j = 3*p. Sort 3, p, 0 in decreasing order.
3, p, 0
Let s(y) = -y**2 - 2*y + 4. Let f be s(-3). Let h be (-4 - (1 - 1)) + f. Sort 2, h, -2 in ascending order.
h, -2, 2
Let i(c) = -3*c**2. Let s be i(-1). Sort -1, s, 4.
s, -1, 4
Let u = 29 + -32. Sort -5, u, -6, -2 in ascending order.
-6, -5, u, -2
Suppose -3*w + 4*d - 8 = 0, -3*d - d + 12 = -2*w. Suppose 2*m - 1 = -3*x + 1, -5*x - 1 = -m. Let y be (-4)/(-2) - (1 - x). Put -3, w, y in decreasing order.
w, y, -3
Let t(v) = v**3 + 7*v**2 + 2*v + 10. Let w be t(-7). Sort w, -5, -1/2 in descending order.
-1/2, w, -5
Suppose -3*u + 2*v + 4 = 6*v, -5*u - 4*v + 4 = 0. Suppose u = -5*y + 4 - 14. Put 0, y, -4 in increasing order.
-4, y, 0
Suppose 28 = 4*d + 2*h + 3*h, 2*h = -2*d + 12. Sort -5, -2, d in descending order.
d, -2, -5
Let p(a) = -a**2 - a + 4. Suppose -2*v - 4*r - 23 = 3*v, 4*r + 14 = -2*v. Let w be p(v). Sort w, -3, -8 in decreasing order.
w, -3, -8
Let j = 102.5 - 102. Put 5/4, -0.1, j, -1 in increasing order.
-1, -0.1, j, 5/4
Let b be 15/(-2)*2/10. Put b, 2, -5 in descending order.
2, b, -5
Let f = 1 + 1. Let v = f - 3. Let i = 159 + -157. Put 2/5, v, i in ascending order.
v, 2/5, i
Suppose -n = -q + 8, 3*q - 3 = 2*n + 18. Put q, -4, 4, -3 in increasing order.
-4, -3, 4, q
Let y = 0.04 + 0.26. Let q = 46 + -43. Let p = 0 - -2. Sort p, y, q in decreasing order.
q, p, y
Suppose -2*t + 2*a - 4 = -20, t - 6 = 3*a. Put t, 2, -2, -5 in decreasing order.
t, 2, -2, -5
Let d(t) = t**3 + 12*t**2 + 11*t + 2. Let j be d(-11). Put -4, j, 1 in descending order.
j, 1, -4
Let r = -4 + 6. Let x = -10 - -15. Suppose x*y = 3*y + r. Put -3, -2, y in ascending order.
-3, -2, y
Let r = 0.3 + -0.1. Let o = 16.2 - 15. Let y = r - o. Sort y, 5, 0 in decreasing order.
5, 0, y
Suppose 2*d + 2*d - 4*s = 36, -5*s = 20. Put 0, d, 2, -3 in increasing order.
-3, 0, 2, d
Let a = 11.9 + -12.2. Let u = -7 + 10. Sort 5, a, u.
a, u, 5
Let b = 25 - 28. Let r = 6 + b. Suppose 0*n = -3*n + 3. Sort n, 1/8, r in decreasing order.
r, n, 1/8
Let b = -6 - -16. Let v = 15 - b. Suppose -2*y + 11 = -2*r - 5*y, 5*r - 2*y = 20. Sort v, -1, r in descending order.
v, r, -1
Let y(i) = -i**2 - 8*i - 10. Let m be y(-7). Suppose 4*x - 27 - 1 = -3*d, 0 = -4*d + 4*x. Sort m, d, 1.
m, 1, d
Suppose 0 = 6*f + 2 - 2. Let g = 13 + -6. Suppose -u - g = 2*x, -3*u = 2*u + 4*x + 5. Sort -4, f, u.
-4, f, u
Suppose -j - 1 = -12. Put 2, 0, j in decreasing order.
j, 2, 0
Suppose 10 = l - 0. Suppose 0 = -2*j - 2*q - l, 3*j = -4*q + 2*q - 10. Sort 5, 0.2, j in decreasing order.
5, 0.2, j
Let m be 1*(0 - (-15)/3). Let d be (-8)/(-50)*m/6. Put d, -2/9, -3 in increasing order.
-3, -2/9, d
Let m = 0 - 0. Suppose -14 = 2*y + 2*y + 2*k, 5*k = -3*y - 7. Let f be ((-3)/4)/(1/y). Put 4, f, m in increasing order.
m, f, 4
Suppose 4*t - 5*n = 22, -n + 4 = t + t. Suppose 0 = t*r + r + 16. Sort 0, 1/5, r.
r, 0, 1/5
Let x(n) = 4*n**2 - n. Let k be x(-1). Suppose -2 - 4 = -3*p. Sort 0, k, p.
0, p, k
Let j = 22 - 18. Put j, 1, 8 in decreasing order.
8, j, 1
Let q be (-23)/3 - (-2)/3. Let s be (1 - 3) + q + -1. Let y be (-4)/12 + s/6. Sort -5, -1, y in increasing order.
-5, y, -1
Let f = 28 + -40. Let p = 12.4 + f. Put p, 0.1, -0.3 in descending order.
p, 0.1, -0.3
Let q = -21/5 + 3. Let a(p) = p**3 - 2*p**2 - 2*p - 1. Let n be a(3). Let h be (-1)/(-1*1/n). Sort h, q, 4 in ascending order.
q, h, 4
Suppose -3*n + 5*f + 45 = 2*n, 3*f + 7 = -2*n. Let g = -3 - -6. Suppose -p + n = -g*p. Sort 0, -5, p in ascending order.
-5, p, 0
Let s = 8 - 7.7. Let