 Let z(s) = s**2 - 20*s - 22. Let k be z(21). Sort a, k, -2.
-2, k, a
Let t = 47.7 + -48. Put t, 4/9, -3/5 in decreasing order.
4/9, t, -3/5
Suppose 58 = 12*z - 2. Put z, 2, 16 in decreasing order.
16, z, 2
Let j = 2 - 1.5. Let z = 0 - j. Suppose -a = -2*b + 9, 0*b - 2*b - 16 = 4*a. Put a, 1, z in ascending order.
a, z, 1
Let t(l) = -5*l + 30. Let g be t(7). Sort 1, -4, 5, g.
g, -4, 1, 5
Suppose 0 = -l + q - 1, 4*q - 4 = 5*l - 0*q. Let t be ((-8)/(-12))/((-1)/(-6)). Let d(m) = m**2 - 6*m + 3. Let w be d(t). Sort -1, l, w.
w, -1, l
Let a = -14.7 + 15. Let m = 2.8 - 3. Sort m, a, -0.1 in increasing order.
m, -0.1, a
Let m = 0.04 + -1.54. Let n = m - 8.5. Let s = n + 14. Sort -0.3, 0.4, s in descending order.
s, 0.4, -0.3
Let t(x) = -4*x - 35. Let h be t(-9). Sort -0.4, 3, h.
-0.4, h, 3
Let w = -2 - -1. Let v be (-3 - -1 - -4) + 3. Let d = -10 + 7. Sort d, w, v in descending order.
v, w, d
Suppose 0 + 5 = 5*w - o, 0 = -5*o. Let f be -1 + w + 0 + 0. Sort -2/9, -4, f in ascending order.
-4, -2/9, f
Suppose 0 = 2*y - w + 85, 2*y - w + 70 = -3*w. Put y, -3, -4 in descending order.
-3, -4, y
Let w = -0.092 - 0.308. Sort 0.1, w, -0.5, 0.09 in decreasing order.
0.1, 0.09, w, -0.5
Let x(v) = v**2 + 3*v + 1. Let n be x(-4). Let a = 4 + -3. Sort a, n, -5.
-5, a, n
Let y = -5 + 9. Let k(w) = -w - 9. Let c be k(-4). Sort c, 0, y.
c, 0, y
Let j = 0.17 + -0.37. Sort 0.5, 6, j.
j, 0.5, 6
Let g be (-1)/((-1)/(5 - 8)). Put -2, -4, 18, g in decreasing order.
18, -2, g, -4
Let p = 4 + -4. Suppose 4*c + 5*s = -18, p = c + 3*s - s + 3. Let u be -2 + c*2/(-2). Put 2, 1, u in decreasing order.
u, 2, 1
Suppose -7*c + 6 = -9*c. Sort c, 0, -4 in decreasing order.
0, c, -4
Let i = 4.07 - 0.07. Let u = -0.6 + -0.4. Suppose 0 = 4*v - 0*v. Sort v, i, u in increasing order.
u, v, i
Suppose -4*d = -5*d + 3*r + 6, 5*d = -4*r - 27. Let g be (-34)/9 - (d - 1). Let z be (-1*2)/4 - -1. Put g, 1/5, z in decreasing order.
z, g, 1/5
Let h = -39 + 118/3. Let w be 4/(-2) - -1*3. Put w, 1/5, h in descending order.
w, h, 1/5
Let t be (-10)/(-35) + (-267)/(-21). Let x be 350/91 - (-2)/t. Sort -1, 3, x in descending order.
x, 3, -1
Let f = 9 - 11. Let p be 0 - -2*(-1 + 2). Let z = p + -2. Sort z, f, 1/6.
f, z, 1/6
Let x = -241 - -170. Sort 5, x, 4.
x, 4, 5
Let d = -13 - -9. Let m = 1 + 2. Let l = -2 + m. Put 3, d, l in decreasing order.
3, l, d
Let c be (-2)/(-4)*(2 + 2). Sort c, -1, 1/11 in ascending order.
-1, 1/11, c
Let l = 0 + 4. Suppose l*n - y = 17, -8 = -3*n + 2*y + 11. Put n, -4, 2 in decreasing order.
n, 2, -4
Suppose -2*u + 3*y - 2 - 3 = 0, 3*u + 3*y = 30. Suppose 4*j - 5*j + u = 0. Put -1, j, 4 in increasing order.
-1, 4, j
Let f = -52 + 55. Sort 5, f, 0 in increasing order.
0, f, 5
Let g = 14 + -9. Suppose 6*w - g = w. Put 2, w, 0 in increasing order.
0, w, 2
Suppose -4 = l - 5. Sort 14, -5, l in ascending order.
-5, l, 14
Let b(i) = -2*i + 17. Let k be b(11). Let h = 0 + 0. Suppose -2*r + 6 + 2 = h. Sort k, -4, r in increasing order.
k, -4, r
Suppose 0*i + 5*i = 10. Put 3, i, -1 in descending order.
3, i, -1
Suppose 3*u = 7 - 4. Put 6, u, -5 in increasing order.
-5, u, 6
Suppose 12 = -r - 5*o, 0 = -0*r + r + o. Suppose -5*m = -2*m + r. Sort -5, m, 3 in ascending order.
-5, m, 3
Suppose -27 = 2*z + z + 3*w, 4*z + 26 = -2*w. Put -3, z, 2 in decreasing order.
2, -3, z
Let j = 14 + -13. Suppose 8 = -2*c - 0*c. Sort c, -5, j in ascending order.
-5, c, j
Suppose 0*t = 3*t - 9. Suppose -p - t*p = 32. Let n(f) = f + 4. Let y be n(p). Sort y, 4, -5 in ascending order.
-5, y, 4
Suppose -2*d + 3*d = 19. Suppose 0 = -2*i - b + 8, 3*i - d = 5*b - 7. Suppose 3*h = o + 9 - 1, h = -o + i. Put 2, h, 0 in descending order.
h, 2, 0
Suppose -20 = 2*x - 6*x. Let f(i) = i**2 + 2*i - 1. Let a be f(-2). Let k be -1 + (a - (-1)/1). Sort k, x, -2 in descending order.
x, k, -2
Let x = 396 - 2381/6. Let j = -234 + 229. Put j, x, 0 in decreasing order.
0, x, j
Let h = -5/8 - -3/4. Suppose 2*d = -2*v - 18, -3*v - 4*d - 35 = d. Let i be v/20 + (-7)/(-12). Sort 0, h, i in ascending order.
0, h, i
Suppose -3*c + 25 = 4*h, -4*c = 4*h - 33 + 5. Sort 0.4, h, 0.5.
0.4, 0.5, h
Suppose -v - 27 = -3*l + 4*v, 8 = -l - 4*v. Suppose 5 = -3*t - 31. Let q = 8 + t. Sort -3, l, q in descending order.
l, -3, q
Let a(x) = -x**2 + 12*x + 12. Let f(m) = 1. Let h(j) = a(j) - f(j). Let v be h(13). Suppose -8 = -7*y + 3*y. Put v, y, -4 in descending order.
y, v, -4
Let f = -2.96 + -0.04. Let o = 2.5 + f. Sort o, 3, 5.
o, 3, 5
Let l = 4 + -5. Let u be (-2 + 1)*(l - 1). Suppose j = -u*j. Put 2, -3, j in ascending order.
-3, j, 2
Suppose -5*b + 5*m = -10, 4*m = 2*b - 0*m - 2. Let p(d) = d**2 - 3*d + 1. Let f be p(3). Let z be ((-9)/12)/(f/4). Sort z, -5, b in descending order.
b, z, -5
Let k be 4/(-4) - (-6 - 2). Suppose k*i + 112 = 3*i. Let w = 109/4 + i. Sort -5/4, -1/8, w in decreasing order.
-1/8, w, -5/4
Suppose -j + 3*j - 23 = -5*v, 5*j + v = 69. Let h be (-2)/7 + 46/j. Put -3, h, -4 in decreasing order.
h, -3, -4
Let r = -23.32 + 27.3. Let x = -0.02 - r. Let j be 0/(-2 - (-1 + 1)). Sort j, x, 0.3.
x, j, 0.3
Let r = 11 + -7. Let j = 1 - r. Let i(u) = u**3 + 6*u**2 + 6*u + 1. Let g be i(-5). Put g, j, -0.1 in increasing order.
g, j, -0.1
Let q = -804/7 + 115. Sort -4, 3/7, q.
-4, q, 3/7
Let m be (9 - -2)/1 - 1. Suppose l + 5*x + 14 = -0*x, -m = -l + 3*x. Let s = -3 - 0. Put -5, l, s in descending order.
l, s, -5
Let p = -37 - -34. Sort -1, p, 0 in increasing order.
p, -1, 0
Let s be 4/(-3)*(-147)/(-14). Put s, -1, -2 in increasing order.
s, -2, -1
Let b(i) = -i**2 + i + 2. Let z be b(0). Suppose -z + 12 = -5*o. Sort 5, o, -3 in descending order.
5, o, -3
Let u(h) = -h**2 - 2*h + 0*h**2 + 3*h. Let g be u(2). Let q = -13 - -12. Put g, -3, q in descending order.
q, g, -3
Suppose 0 = 5*b + b - 24. Sort -12, b, 0 in ascending order.
-12, 0, b
Let n = 6 + -2. Let c = -0.8 + -1.2. Let f = c - 2. Sort f, -2/9, n.
f, -2/9, n
Let h = 219.95 + -225. Let t = 0.2 - 0.15. Let m = t + h. Sort 0, m, -2 in decreasing order.
0, -2, m
Let x = -6 + 6.2. Put 0.4, -4, x in increasing order.
-4, x, 0.4
Let v(m) = 12*m + 2. Suppose 3*o = -3*l, 2*l - 4*l = 4*o + 6. Let x be v(o). Let h be x/(-30) + 3/(-9). Put -2, h, 2/5 in increasing order.
-2, 2/5, h
Let t = 11 - 28. Let d = -17 - t. Let z = 0.3 - 0.1. Sort d, z, 1/4 in increasing order.
d, z, 1/4
Let r = -2 + 5. Let p be 6*1 + 4 + -5. Sort r, 1, p in decreasing order.
p, r, 1
Let y = -27 - -30. Let q(s) = -s**2 + 3. Let n be q(y). Put n, 0, -2 in increasing order.
n, -2, 0
Let d = 50.7 - 51. Sort 0, 2/11, d.
d, 0, 2/11
Let a = 103 - 102.8. Let b = -2 + 2.5. Put b, -4, a in decreasing order.
b, a, -4
Let q(r) = r + 11. Let w be q(-13). Put -1, -3, w in increasing order.
-3, w, -1
Let z = -2.7 - 0.3. Sort 3, z, 2/9 in ascending order.
z, 2/9, 3
Suppose -3*g = -4*g - 2. Put 4, g, -3 in decreasing order.
4, g, -3
Let u(n) = 2*n**2 - 2. Let z be u(2). Suppose -z = -h - h. Sort -1, 4, h in descending order.
4, h, -1
Let q(k) = -k - 5. Let j be q(-7). Let l be (3/j)/(1/2). Suppose -l*b = -b - 4. Sort 0.1, b, 1/3 in ascending order.
0.1, 1/3, b
Let z be ((-32)/112)/(3/(-7)). Put -0.01, z, 1/2, -1 in descending order.
z, 1/2, -0.01, -1
Let p = 5 - 0. Let i = p - 4. Sort i, 5, 5/2 in decreasing order.
5, 5/2, i
Let p = 36 - 32. Put p, 3, 1/3 in descending order.
p, 3, 1/3
Let d = 284/33 + -34/3. Let j be 1314/385 + 4/(-10). Let c = j + d. Sort c, 0.3, -1 in increasing order.
-1, c, 0.3
Suppose -2*j - 2*j = 0. Suppose j*d + 3*d + 9 = 0. Let f = -214 - -209. Sort -4, f, d in descending order.
d, -4, f
Let n(r) = -r**2 + 4*r + 1. Let k be n(3). Suppose 2*s + 1 - 7 = 0. Suppose s*f - 15 = -6. Put k, -1, f in descending order.
k, f, -1
Let l be 2/(-4)*2/(-1). Let c be (l + 0/(-2))/9. Sort 1/4, 0.1, c in ascending order.
0.1, c, 1/4
Let p = -17.8 - -18. Let i = -0.13 + 4.13. Sort 2, p, i in ascending order.
p, 2, i
Let v = -0.36 - 1.34. Let d = 0 - -0.3. Let f = d - v. Put 0.1, -2/5, f in decreasing order.
f, 0.1, -2/5
Let s be 4 + 2/((-8)/17). Put s, 4, 0.3 in increasing order.
s, 0.3, 4
Suppose 1 = 4*w - 0*n + 3*n, n = 4*w - 5. Sort w, -4, 3 in increasing order.
-4, w, 3
Let z = 0.2 - -0.8. Let m = -2.2 + -0.8. Put z, -0.1, m in increasing order.
m, -0.1, z
Let w be 4 + (1 - 1) - 14. Let c be (-57)/(-15) + (-