2). Suppose s - 3 = -l. Sort s, 4, 0 in descending order.
4, 0, s
Let p = 0.63 + 0.42. Let w = 0.05 - p. Let n = w - -1.2. Sort n, -3, 4 in decreasing order.
4, n, -3
Let z(q) = -q + 6. Suppose 2*r + r - 3*l = 30, -10 = -5*r - 5*l. Let i be z(r). Sort i, 5, 4 in ascending order.
i, 4, 5
Let v = -5.3 + -1.7. Let m = v - -7.06. Let r = m - 0.06. Put r, 0.3, -1 in decreasing order.
0.3, r, -1
Let s = -1.6 - 0.4. Let v be (-2)/(2*2/(-4)). Let u be -3*((-300)/153 + v). Sort s, -1/4, u in increasing order.
s, -1/4, u
Let u = 15 + -19. Sort u, -1, 2/5 in descending order.
2/5, -1, u
Suppose 0 = o - 4*x + 11 + 7, 2*o - 19 = -3*x. Sort o, 0, 3 in descending order.
3, o, 0
Let a = 79 - 78. Sort -6, 4, a in ascending order.
-6, a, 4
Let k = -0.19 + 0.09. Sort k, -0.08, 0.5 in descending order.
0.5, -0.08, k
Let i(p) = 2*p + 1. Let f be i(-3). Sort 2, 1, f, 5 in increasing order.
f, 1, 2, 5
Suppose -4*f - 4 = 5*c + 14, 3*c - f + 4 = 0. Sort c, -5, -3 in descending order.
c, -3, -5
Let x(p) = p**2 + 6*p + 7. Let o be x(-5). Suppose 0 = -3*i + 2 - 5, 2 = -c + o*i. Suppose 0 = -z + l - 0 - 1, 2*z = -l + 13. Sort -1, z, c in ascending order.
c, -1, z
Suppose 2*w = 5*b - 3*w + 5, 0 = -b + 3*w - 11. Let g = -9 + b. Sort -3, 2, g.
g, -3, 2
Suppose -4*z + 6 = 18. Let c be (5/(-3))/(z/9). Let q = -1 - -1. Put c, q, -4 in decreasing order.
c, q, -4
Suppose -3*b - 11*b + 210 = 0. Sort -1, b, -2 in ascending order.
-2, -1, b
Let q = -1 + -19. Let g = q + 19.7. Put g, 2, 0 in decreasing order.
2, 0, g
Let p = 0.005 - -0.135. Put -5, -0.4, p in descending order.
p, -0.4, -5
Let t(c) = -c**2 - 5*c + 4. Let i be t(-6). Let s be ((-7)/(-4) - i)*-4. Let a be 2/3 + s/9. Sort -4, -3, a.
-4, -3, a
Let k = -40 + 39.98. Put 0.2, -2, k, -4 in descending order.
0.2, k, -2, -4
Suppose 0 = -11*a + 6*a - 20. Put -3, a, 5 in decreasing order.
5, -3, a
Let u be (-23)/(-3) + (-12)/18. Put u, 3, -3 in descending order.
u, 3, -3
Let i be (-16)/(-5) + 2/(-10)*1. Suppose 4*y - 11 = -d, -y - 4*y - 2*d = -13. Suppose -y*t - 13 = 2*s, -3*s - s - 14 = 2*t. Sort i, 1, s.
s, 1, i
Let y(d) = -d + 17. Let f be y(7). Let q be 3/(-12) + f/8. Put q, -3, -1 in ascending order.
-3, -1, q
Let y(s) = -s**3 - 7*s**2 + 8*s + 5. Let k be y(-8). Let r(q) = -q**3 + 5*q**2 - q + 6. Let h be r(k). Sort 5, h, -8 in ascending order.
-8, h, 5
Suppose 0 = -4*u - 20, -5*m = u - 0*u. Let z = 13 + -8. Sort 4, m, z.
m, 4, z
Let t = 1 - -6. Suppose -6 = -y + n, 2*y - 2*n = -t*n - 9. Let m be 1 + (y - 33/9). Sort 5, -2, m.
-2, m, 5
Suppose -2*c = 3*z - 4 - 3, -69 = -4*c + 5*z. Let r be (-33 + 40)*(-4)/(-7). Sort r, c, -2 in descending order.
c, r, -2
Let k = 547 - 781. Let c = k + 1634/7. Sort -4/5, 0.2, c in descending order.
0.2, c, -4/5
Let i = -2.19 + 0.19. Suppose 0 = 3*u + 4*o - 0 - 8, -5*u - 3*o + 6 = 0. Let j be u/(0 - -4 - 2). Sort i, j, 5 in decreasing order.
5, j, i
Let x = -5 - -8. Put 4, -1, x in decreasing order.
4, x, -1
Suppose -4*s = -x - x + 4, -1 = s + 2*x. Let d be 0 + 0*3/9. Put -2, s, d in ascending order.
-2, s, d
Let u(c) = -c**2 - 9*c - 5. Let b be u(-8). Let w = 0 + 1. Put b, w, -2 in descending order.
b, w, -2
Let p = -6 - -5.7. Let m = -0.1 - 1.9. Let v(c) = c**2 + 7*c + 1. Let u be v(-6). Sort p, m, u.
u, m, p
Suppose -2*p + 0 = 6. Suppose 0 = -5*w + r - 29, -3*r + 17 = -w - 0*w. Put 4, p, w in decreasing order.
4, p, w
Let k(t) = 2*t + 6. Let l be k(-2). Sort 4, l, -1, -5 in descending order.
4, l, -1, -5
Let d(u) = -u**3 - 2*u**2 - 2. Let a be d(-2). Let x be 3/(-2)*(a + 0). Sort -2, 2, x.
-2, 2, x
Let l = 16 - 13. Sort l, 4, -4 in descending order.
4, l, -4
Let d be (80/(-24))/((-2)/(-3)). Let a be d - (-1 + -2 + 3). Put 3/7, -8/9, a in ascending order.
a, -8/9, 3/7
Suppose 4*i - 2 = 18. Suppose 0 = 3*u - 3 - 6. Sort u, i, 0.
0, u, i
Let o(t) = t**2 + 6*t + 1. Let r be o(-5). Let z = 5 - 1. Put r, -1, z in descending order.
z, -1, r
Let n = 7.1 - 7. Sort n, 5/4, 2/7.
n, 2/7, 5/4
Let t = -50 - -45. Put -0.4, t, -7 in descending order.
-0.4, t, -7
Let t(z) = 10*z**3 - z**2 - z + 1. Let r be t(1). Let l be (3/r)/(2/6). Let i be 0 - (3*-2 - -1). Put l, -1, i in decreasing order.
i, l, -1
Let j = -24 - -19. Sort j, 5, -2/3 in decreasing order.
5, -2/3, j
Let n be 1 + 2*(-1)/2. Suppose 5*p = 3 + 2. Sort 3, n, p in decreasing order.
3, p, n
Suppose 2*y = -3*c + c - 8, -3*c + 2*y = -13. Suppose r + 3 = 4. Suppose -2*h - v = -h - r, 3*h - v - 11 = 0. Put c, h, 2 in descending order.
h, 2, c
Suppose s = -3*z + 3*s - 15, -5*z - 2*s = 25. Suppose 3*d = -5*k + 7*d + 10, 37 = 2*k + 5*d. Let b be (7/35)/(k/z). Sort b, -3, 4.
-3, b, 4
Let t = -6 - -6. Sort t, 7, 3, -5 in decreasing order.
7, 3, t, -5
Let a(g) = 4*g**3 + g**2. Let b(p) = p**3 + p**2 + p - 1. Let t(l) = a(l) - 3*b(l). Let h be t(2). Put h, -1/11, -5/2 in descending order.
-1/11, -5/2, h
Let t(f) = -f**2 + 18*f - 3. Let n be t(18). Put 0, -1/2, n in descending order.
0, -1/2, n
Suppose 0 = -n - 0*n - 5*q - 5, 0 = 2*n + 2*q + 2. Sort -3, 2, n in decreasing order.
2, n, -3
Let a(s) = -2*s + 7. Let l be a(6). Let o = -0.7 - -0.7. Let x = -3 - o. Sort -0.3, x, l in descending order.
-0.3, x, l
Suppose -5*k = 4*c - 16, 0 = 5*k - c - 13 - 8. Let a be -1*(2 - (-1 - -1)). Let w be (a/(-8))/((-18)/(-32)). Sort k, 0, w in descending order.
k, w, 0
Suppose m = 3*v + 3 - 11, 3*v + 4*m + 17 = 0. Put -4, v, 3 in increasing order.
-4, v, 3
Suppose 3*q + u - 22 = -4*u, -q + 2*u = 0. Suppose -6*l + 2 = -4*l. Sort 2, l, q in decreasing order.
q, 2, l
Let s = 22 - 27. Suppose -1 = -0*p + 3*p + 4*z, 0 = 4*z + 4. Sort s, p, 0 in descending order.
p, 0, s
Let s(n) = n**2 - 6*n + 4. Let x be s(6). Suppose 0 = -2*b + 2*a - 6, -x = -2*a - 2*a. Sort -3, b, 1 in ascending order.
-3, b, 1
Suppose 4*s = -11 + 3. Suppose -3*a = -2*m + 9, -m + 2*a - 15 = 7*a. Suppose -2*n - 5 - 1 = m. Sort s, n, -1 in increasing order.
n, s, -1
Let y = -67/3 + 23. Let z be 3/((-15)/(-8)) - 2. Sort y, z, -5.
-5, z, y
Let z = 65 + -52. Sort -4, z, 3, -3 in descending order.
z, 3, -3, -4
Let c be (-2)/7 - (-76)/(-28). Let g = -6 - c. Put 3, 0, g in increasing order.
g, 0, 3
Let p be ((-2)/6)/(2 + -1). Let v = 7 - 12. Put v, p, 3 in increasing order.
v, p, 3
Let w be ((-12)/(-8))/(6/16). Suppose 4*b + 12 = -0*b, -5*b - 11 = -z. Put z, -3, w in descending order.
w, -3, z
Let i(o) = -o**2 + 2*o - 1. Let y be i(0). Let n = 1 + y. Sort -5, -2, n in increasing order.
-5, -2, n
Let x be (-45)/(-18)*(3 + -1). Sort x, 1, -10 in ascending order.
-10, 1, x
Let u = -51 - -52. Let h be (5 - (-6)/(-3))*1. Sort u, h, 2.
u, 2, h
Let l(r) = -2*r - 7. Let b(z) = 4*z**2 - 1 + 4 + 4*z**2 - z**3 - 8 - 7*z. Let j be b(7). Let o be l(j). Sort o, -4, -1.
-4, -1, o
Let t(o) = o + 8. Let x be t(-6). Suppose j = -5*l - 20 + 4, 0 = 3*j - 4*l - 28. Sort j, x, 1 in decreasing order.
j, x, 1
Suppose 0 = 5*c + 5*l, 2*c + 2*c + 2*l = 0. Sort -12, 3, -2, c in descending order.
3, c, -2, -12
Let v(x) = x - 10. Let j be v(5). Let y be 5*5/(-25) - (-5 + 1). Put y, 5, j in descending order.
5, y, j
Let q(j) = -j**2 - 8*j + 10. Let g be q(-9). Put g, 4, -5 in increasing order.
-5, g, 4
Suppose 1 = h + 5*o - 5, 4*h = -2*o - 12. Suppose -20 = 4*z, 10 = -b - z - 0*z. Let x be 27/b + 16/40. Put x, h, 1 in decreasing order.
1, h, x
Suppose 5*t + 15 = 4*x, -t = -3*x + 8*x + 3. Sort 4, x, 3, 5 in ascending order.
x, 3, 4, 5
Let q(u) = u**3 - 4*u**2 + 4*u - 3. Let a be q(3). Let p(z) = -z - 5. Let o be p(a). Put 0, -3, o in decreasing order.
0, -3, o
Let o(t) = 2*t - 9. Let l be o(4). Put l, -3, -7 in increasing order.
-7, -3, l
Let w be (-12)/(1 - 4) + -4. Put 2, w, -1 in increasing order.
-1, w, 2
Let o be -1 + 1 + 231/49 + -5. Put 1, o, -4 in increasing order.
-4, o, 1
Let i = -56.8 - -57. Suppose 4*a - 3*a - 8 = 2*n, -4*n = -4*a + 24. Let y be ((a/(-1))/1)/(-5). Put i, y, -1/3 in increasing order.
-1/3, i, y
Let y = -11 + 8. Sort 8, -1, y in decreasing order.
8, -1, y
Suppose 0*h - s = -h - 12, 40 = -3*h + 4*s. Let y be 2 + 0 - h/(-6). Sort 4, -0.5, y in decreasing order.
4, y, -0.5
Let i = -3.92 + -0.08. Let l = -13 - i. Let m = 4 + l. Sort m, -2/9, -0.2.
m, -2/9, -0.2
Let k = -2.8 - 1.2. Put -35/3, k, 2/11 in increasing order.
-35/3, k, 2/11
Let s = 6 + -8. Suppose 9*m - 21 = -30. Sort -3, s, m in increasing order.
-3, s, m
Le