 Let s(k) = k**2 - 3*k - 3. Let a be s(4). Sort 2, y, a.
y, a, 2
Suppose -s = 3*u + 1, -2 = 2*s - 5*s - 4*u. Put -5, s, 49 in ascending order.
-5, s, 49
Let v(d) = -d**2 - 9*d + 14. Let w be v(-10). Suppose -3*c + 15 = -2*c + 5*s, -4*c + 2*s - 50 = 0. Let y = c - -7. Sort y, 2, w in increasing order.
y, 2, w
Let i = 105/4 - 55/2. Let w = 0.08 + -4.08. Let y = w + 3.9. Put y, -2/5, i in ascending order.
i, -2/5, y
Suppose 0*g + 15 = 5*g. Suppose -9 = -3*t + z, -g*z - 3 = -t - 2*z. Suppose 2*d = -5*c + 7, -4 = -5*d + t*c - 2. Sort -2, d, 2 in increasing order.
-2, d, 2
Let y = 0.03 + 0.07. Put 2, -5, y in descending order.
2, y, -5
Suppose -5*y = 9 + 1. Let n = 4 + 1. Sort -1, n, y.
y, -1, n
Let p = 55 - 28. Let y be (-16)/6 + (-9)/p. Suppose -5*b = m - 0*b + 23, -4*b = 20. Put y, m, -4 in descending order.
m, y, -4
Let h(n) = n**2 - 7*n + 11. Let i be h(5). Sort 0, -4, i in descending order.
i, 0, -4
Suppose 6 - 2 = -2*m. Let f = -4 - -2. Let z = f + m. Put z, 0.4, 1/4 in descending order.
0.4, 1/4, z
Let z = -29 - -31. Let r be (-161)/138 + z/12. Suppose 3 = -5*o - 5*i - 2, 5*o - 4*i = -23. Sort r, o, -2.
o, -2, r
Let m(a) = a**3 + 5*a**2 - a - 3. Let l be m(-5). Let g be (-9 + 7)*6/(-4). Suppose g*p - 1 = 8. Sort -2, l, p in descending order.
p, l, -2
Let v = 0.77 - 0.8. Let g = 0.07 - v. Sort -3, g, -2.
-3, -2, g
Suppose 7*q = 5*q + 18. Sort q, -4, 3/5.
-4, 3/5, q
Let a be (-2 - -1) + -1 + 4. Suppose -a = b - 3. Suppose 10 = i - 2*x, -4*i + 2*x = -i - 14. Put i, b, -1 in ascending order.
-1, b, i
Let x be 3/6*-2 + 4. Let g = x - -2. Put g, 3, 0 in decreasing order.
g, 3, 0
Suppose -4*t = -t. Suppose 0 = -t*r - r - 1. Put r, -4, 1 in ascending order.
-4, r, 1
Let a = -23 + 8. Let r be (-16)/(-10)*a/(-6). Sort r, -5, 5 in decreasing order.
5, r, -5
Let h = -3/67 - -82/335. Put -5, 1/8, h, 0.02 in decreasing order.
h, 1/8, 0.02, -5
Let n = -30 - -25. Sort -1/11, n, -1 in decreasing order.
-1/11, -1, n
Let b = 64 - 85. Put 2/3, 2/9, b in descending order.
2/3, 2/9, b
Let g be 19/(-3) + 2/6. Let r(d) = -d**2 - 9*d - 4. Let k(o) = -o**2 - 10*o - 4. Let x(f) = 2*k(f) - 3*r(f). Let w be x(g). Sort -1, 2, w in decreasing order.
2, -1, w
Let n = 65 - 69. Sort -3, 5, n in descending order.
5, -3, n
Suppose -4*y = -y. Let d = y + 0. Sort -4, d, -1 in ascending order.
-4, -1, d
Let c be -2 + -1 + (1 - 1). Let q be (-2 + 2 - 6) + 1. Let n(x) = -x. Let s be n(q). Put c, s, 4 in increasing order.
c, 4, s
Let i be 20/(-8)*(-8)/(-4). Let o(y) = -y**3 - 4*y**2 - 2*y + 3. Let a be o(-3). Let k = a + 0. Put i, k, 5 in descending order.
5, k, i
Let r(o) = o**3 - o. Let u be r(0). Suppose 2*v + 3*m + 1 = u, -2*v + 5*m = -12 + 37. Let d(t) = -t**2 + 10*t + 13. Let n be d(11). Sort v, n, -3.
v, -3, n
Let d = -0.1 - -0.1. Let n = 0.158 + -0.058. Let z = d + n. Sort -5, 2/11, z in increasing order.
-5, z, 2/11
Let m = -597/7 - -85. Put -1/3, 0.4, m, -7 in ascending order.
-7, -1/3, m, 0.4
Let a = 66 - 46. Suppose -15 = -2*v - n - 2*n, -3*v = 4*n - a. Suppose v*f - 12 = 4*l - 4*f, -9 = 2*l - 3*f. Sort 3, 1, l in increasing order.
l, 1, 3
Let p = -59/4 - -15. Put p, 2, 0.7, 2/9 in increasing order.
2/9, p, 0.7, 2
Let a(f) = f**2 + 6*f. Let m be a(-6). Let j = 36 - 52. Let h = -16.4 - j. Put m, 3, h in descending order.
3, m, h
Let y = 14 - 14. Sort 5, 2, y.
y, 2, 5
Suppose 3*s + 5*d = 2*d - 3, s - 5 = d. Suppose s*w + 3 = -9. Let j be 9/21*4/w. Put 0.5, 2, j in descending order.
2, 0.5, j
Let u(f) = f**2 - 8*f - 3. Let s be u(8). Let d = s - 2. Sort 1, d, 5.
d, 1, 5
Let i be 0 - ((-4)/2 - 0). Suppose -100 = -i*x - 2*x. Suppose a - 5*y = -25, -5*y + x = 2*a - a. Sort -1, 5, a.
-1, a, 5
Let s be (-393)/(-504) - (-1)/8 - 1. Put -6, -2/3, -5, s in increasing order.
-6, -5, -2/3, s
Suppose a = -5*t - 17, 2*a + 2*a - 12 = 0. Let c(r) = r + 4. Let x be c(t). Put 2, x, -1 in descending order.
2, x, -1
Suppose -s - 5*h - 46 = -5*s, 5*s - 5*h - 55 = 0. Suppose -b + 13 = 2*k, -5*b + 2*k + s = -2*k. Suppose 5*i + 16 = 1. Sort b, -1, i.
i, -1, b
Suppose -u + 11*u = 20. Put -4, 4, 7, u in descending order.
7, 4, u, -4
Let g(z) = -z**2 - 2*z + 5. Let p be g(2). Sort 3, p, -5 in ascending order.
-5, p, 3
Let h be (2/16)/(8/32). Put 0, h, 0.8 in increasing order.
0, h, 0.8
Let s = -4 - -1. Let n be (-18)/(-44)*6/3. Let y = 38/33 - n. Sort s, 1, y in descending order.
1, y, s
Let s be 1 + (4 - (-63)/(-12)). Put s, -2, -2/3, 0.5 in descending order.
0.5, s, -2/3, -2
Suppose -4 = -4*m - 5*j, 0 = -5*m + j + 3*j + 5. Let d be ((-8)/4 - -2)/(-2). Let h = -1 + d. Sort m, h, -3.
-3, h, m
Let k be (-1 - 3) + 3 + -4. Let n = -7 + 12. Sort k, 1, n in decreasing order.
n, 1, k
Let z = -13 + 18. Suppose -4*o - z = 11. Sort o, -2, 1 in increasing order.
o, -2, 1
Let p = 15 + -16. Put 4, p, 0.1 in increasing order.
p, 0.1, 4
Let t = 9 - 7. Sort 3, 16, t in descending order.
16, 3, t
Let c = 5 + -1. Let a = -178 + 177. Put a, c, -3 in decreasing order.
c, a, -3
Let o(l) = l**2 + 7*l - 4. Let r be o(-7). Suppose -w - 3*h - 18 = 0, 3*w - 2*w - 2*h = 2. Let x(v) = v + 8. Let s be x(w). Put 4, s, r in descending order.
4, s, r
Let o = -34 - -34.5. Sort o, -2, 3.
-2, o, 3
Let i = 0 + 0.04. Let j = 0.24 - i. Let a = 3 - 3.4. Put 3, a, j in decreasing order.
3, j, a
Let d be -4 + (-6)/(-8) - -4. Sort -1, 2, d in descending order.
2, d, -1
Let i be 1/(-3 + (-32)/(-12)). Sort i, 1, 0.
i, 0, 1
Let g be (-1)/7*(-5 - -6). Sort 4/3, -10, g.
-10, g, 4/3
Let b be (1/3)/((-32)/12). Let p = 5 - 2. Let z = -0.4 + 0. Put z, b, p in decreasing order.
p, b, z
Let r = -0.7 + 0.5. Let m = -55/3 - -391/21. Sort m, r, -0.3 in ascending order.
-0.3, r, m
Suppose -1 = j + 2*g - 0, 5 = -5*j + 2*g. Put 3, 4, j in decreasing order.
4, 3, j
Suppose -c + 8 = 3. Let n(l) = -l**2 + 4*l + 1. Let q be n(c). Suppose 7*u = 4*u. Put q, 3, u in descending order.
3, u, q
Let a = 23 - 23.5. Put a, 3, 1 in ascending order.
a, 1, 3
Let m be 0/(1 - (-2 + 1)). Let d = 2 + m. Sort 4, 3, d in decreasing order.
4, 3, d
Let f(w) = 3*w - 1. Let l be f(2). Let k(a) = 0*a + 3 - a - 9. Let c be k(-6). Put 1, c, l in decreasing order.
l, 1, c
Let c = 5.9 - 6. Let l = 0.4 + c. Sort 0.2, l, 1 in decreasing order.
1, l, 0.2
Let s = 21 + -32. Let k = s + 6. Sort -1.1, 3, k.
k, -1.1, 3
Let h be (-7 - 1) + (-58)/(-6). Let k = -0.1 + 0.2. Let v = k - 0.3. Sort v, h, 1.
v, 1, h
Let u be 3/(-15) - (-64)/(-5). Sort -3, u, 4 in decreasing order.
4, -3, u
Let w be (-2)/(-2) - (-2 + 1). Suppose 4*v + 5*y = -11, -w*y - 8 = 4*v + 6. Put 1, 5, v in increasing order.
v, 1, 5
Let d = -103 - -413/4. Put -0.1, -0.8, d in ascending order.
-0.8, -0.1, d
Let g be ((-2)/2)/(5 + -2). Put g, -0.5, -2 in ascending order.
-2, -0.5, g
Let z = 1.3 + -1. Let o = 2.6 - 3. Sort 5, o, z.
o, z, 5
Let c = 11 - 6. Let w = 11/16 + -3/16. Put w, -5, c in decreasing order.
c, w, -5
Let o be (-1)/((-20)/8 + 3). Let v be o/4 - (-11)/6. Sort v, -4, -2/5 in decreasing order.
v, -2/5, -4
Let t(z) be the third derivative of z**5/60 - z**4/3 + 4*z**3/3 - z**2. Let h be t(7). Suppose 0 = 3*o + 5 + 1. Sort -3, o, h.
-3, o, h
Let o be -2 + (-1 + 0 - -3). Let r(w) = -4*w + 7. Let s be r(1). Sort s, -1, o in descending order.
s, o, -1
Let c = 0.6 - 0.3. Suppose -9*u + 2*u - 14 = 0. Let p be (-9)/(-5) + 1*-2. Put c, p, u in descending order.
c, p, u
Let y(z) = z - 8. Let b be y(6). Suppose 2*w - 5*x = -2*w + 15, -3*w + x + 3 = 0. Sort b, w, 4 in ascending order.
b, w, 4
Suppose 4*n - 2*n - 6 = 2*q, 0 = -5*n - 3*q - 25. Let t be (n - 1)*(-3)/3. Sort 0, 5, t in decreasing order.
5, t, 0
Suppose -10 = -r - r. Let o(h) = h**3 + 10*h**2 + 9*h + 2. Let i be o(-9). Sort 4, i, r in descending order.
r, 4, i
Let a = 0.2 + -0.1. Let g = 0.1 - a. Let t be (-26)/(-6) + (-13)/39. Put g, t, 0.5 in decreasing order.
t, 0.5, g
Let j = 0.1 - 1. Let h = 1 + j. Put 0.2, 0.3, h in decreasing order.
0.3, 0.2, h
Let h(b) = -b**3 + 13*b**2 - 13*b + 10. Let c be h(12). Put c, -5, 3 in descending order.
3, c, -5
Let v = -0.7 - -1.2. Let p = 43.9 - 42. Let y = -2 + p. Sort y, v, 4.
y, v, 4
Let u = -0.04 + -0.16. Put -0.4, 0, 14, u in descending order.
14, 0, u, -0.4
Let q(g) be the third derivative of -g**4/12 - g**3/2 - 2*g**2. Let c be q(0). Put -1, 2, c in ascending order.
c, -1, 2
Let m be (12/9)/(2/(-12)). Sort 2, -4, m in 