(2). Sort 0, s, i.
i, 0, s
Let b = 1 - 1. Let t = 12 + -10.9. Let w = -5.1 + t. Sort b, -2/13, w in decreasing order.
b, -2/13, w
Let v(o) = 2*o - 1. Let r be v(5). Suppose -12 = -r*s + 6*s. Let a be -1*2*1/(-2). Sort a, -2, s in decreasing order.
s, a, -2
Let h be (-13)/104 - 52/96. Let y = 0.6 + -1.5. Put h, y, -1 in descending order.
h, y, -1
Let h = 0.075 + -0.075. Sort -2, -3/4, 0.4, h in decreasing order.
0.4, h, -3/4, -2
Let z(p) = p + 3. Let m(w) = w + 3. Let d(i) = 2*m(i) - 3*z(i). Let o be d(2). Put -4, o, -3 in ascending order.
o, -4, -3
Let t = 0.0245 - 4.0845. Let k = t + 0.06. Let b = k - -1. Sort b, 0.1, 5 in decreasing order.
5, 0.1, b
Let h(m) = -m - 1. Let f be h(-2). Sort 0, 5, f.
0, f, 5
Let a = 1/206 + 26159/618. Let r(z) = 2*z**3 - z**2 - z + 1. Let o be r(3). Let t = o - a. Put -4/5, -0.1, t in descending order.
t, -0.1, -4/5
Suppose -6 = 6*v - 3*v. Put v, 0, 3 in decreasing order.
3, 0, v
Let n = -188/7 + 27. Put -0.5, -2, n, 3 in decreasing order.
3, n, -0.5, -2
Suppose -2*m - 2*m + 20 = -4*b, 5*b + 21 = 3*m. Suppose -q = -5*d - 3*q - 31, 4*d - q = -17. Put 0, d, m in increasing order.
d, 0, m
Let x(s) = 11 - 1 + 0*s**2 - 5*s - s**2. Let k be x(-7). Sort k, -2, -4/9 in decreasing order.
-4/9, -2, k
Let i(t) = -t**2 - 8*t + 10. Let l be i(-9). Sort 2, 4, l in ascending order.
l, 2, 4
Suppose -2*m + 7 + 1 = 0. Let d(u) be the third derivative of u**5/60 - u**4/4 + u**3/6 - 3*u**2. Let p be d(5). Sort m, p, 2 in descending order.
m, 2, p
Let u = -0.12 + -2.88. Let r = -0.3 - -0.28. Sort r, -2/15, u in ascending order.
u, -2/15, r
Suppose 0 = -i - 0*i + 5. Suppose 3*f = -8*j + 3*j - 9, 0 = -i*f + j + 13. Let p(x) = -2*x**3 + 3*x**2 + x - 2. Let l be p(f). Put 1, l, -3 in descending order.
1, -3, l
Let l = -0.23 - -0.3. Let w = l - -0.43. Sort w, -1, 0.2.
-1, 0.2, w
Let s = -2.06 - -0.06. Sort s, 2/15, -1 in ascending order.
s, -1, 2/15
Let v = -12 + 6. Let p = 16 + v. Suppose p = 2*c + c - z, -z + 15 = 2*c. Sort c, 2, -4 in descending order.
c, 2, -4
Suppose q = -b + 2*q - 8, q = -2*b - 10. Let g be (b/(-4))/(117/12). Sort g, -0.3, 1 in ascending order.
-0.3, g, 1
Let t be (-1)/(-4) + (-3238)/(-8). Let g = t + -6077/15. Put g, 2/5, -1/4 in descending order.
2/5, g, -1/4
Let z be (-4 + 1 + 2 + -3)/(-2). Sort z, 6, 4 in ascending order.
z, 4, 6
Suppose 0 = b - 0*b + 2. Let i(u) = u**3 + 3*u**2 - 1. Let g be i(-3). Put g, 1, b in decreasing order.
1, g, b
Let q be (-70)/(-55)*10/(-24). Let d = q + -3/22. Sort -0.1, d, 3/5 in increasing order.
d, -0.1, 3/5
Let l = 7 - 4. Let x = -2.85 - 0.35. Let w = x + l. Sort 1/9, w, -4/5 in ascending order.
-4/5, w, 1/9
Let v be (28/(-16))/((-1)/(-12)). Let x be 6/v + (-2)/(-7). Put -2, x, 1 in descending order.
1, x, -2
Let p(c) = c - 1. Let z be p(-2). Suppose -2*g + g = 0. Sort g, z, 3 in decreasing order.
3, g, z
Let r be (4*6)/3 + -4. Sort -5, r, -1 in ascending order.
-5, -1, r
Let k be 6/27 - (-20)/72. Let z = -0.02 - 0.98. Sort k, z, 1.
z, k, 1
Let i = 6 - 1. Let f = -3.9 + -0.1. Let t = f - -4. Sort t, -5/2, i in descending order.
i, t, -5/2
Let t be ((-16)/56)/((-15)/7). Let a = 0.03 - 0.23. Put t, a, 2/5 in increasing order.
a, t, 2/5
Let n = 10 - 7. Sort n, 5, -4 in increasing order.
-4, n, 5
Let b = -16 + 10. Let r be (b/28)/((-2)/4). Let v = -815/4 + 204. Sort v, r, 2 in increasing order.
v, r, 2
Suppose 19*d - 21*d + 42 = 0. Put d, -3, 2 in increasing order.
-3, 2, d
Let y = 26 + -21. Let b(v) = -4*v**3 + v - 1. Let q be b(1). Let z be (-56)/26 + (-2 - q). Sort z, y, 0.2 in descending order.
y, 0.2, z
Suppose -3*x = 7 + 2. Let i = -28 + 43. Let p = i - 10. Sort p, 2/15, x.
x, 2/15, p
Let u(t) = -t**3 + 8*t**2 + 9*t + 7. Let s be u(9). Suppose 5*z - 11 = -d, -4*z + s*z + 4*d = 10. Suppose -3 = -o + z. Sort 2, o, -4.
-4, 2, o
Let j = -5.86 + -0.14. Let h = j + 1. Sort -1/9, h, 0.6 in increasing order.
h, -1/9, 0.6
Let d = 11 - 8. Let s = 8 - -5. Suppose 4*c + s = 3*c - 3*g, -3*c + 4*g + 26 = 0. Put d, c, 5 in decreasing order.
5, d, c
Let t(u) = -10 + u**2 + 6*u + 0*u**2 + 15. Let s be t(-4). Put s, 0, -5 in ascending order.
-5, s, 0
Suppose -r - 13 = -3*j, -3*r + r = -4*j + 20. Let o = r - -2. Let l = 11 + -6. Sort l, o, -5 in ascending order.
-5, o, l
Suppose 2*n + 24 = 26. Let v be ((-10)/(-6))/(1/(-3)). Sort v, 5, n in ascending order.
v, n, 5
Let m(j) = -j**2 - 5*j + 9. Let f be m(-7). Suppose 0 = -3*d - 2*d. Sort f, d, 2 in descending order.
2, d, f
Let a = -27/10 - -5/2. Sort -3/2, -1, a in decreasing order.
a, -1, -3/2
Let c = 9 - 11. Let x = 0.2 - -0.3. Sort 9, x, c.
c, x, 9
Let m(t) = -t**3 - t**2 - t. Let o be m(-1). Let s = 42 + 21. Let j be s/(-45) + (-3)/5. Sort 2, j, o.
j, o, 2
Let z = -0.21 + 10.21. Let v = z + -9.9. Put 4, v, -0.3 in descending order.
4, v, -0.3
Suppose -h - 1 = 3. Suppose 0 = -18*i - 3 + 39. Sort h, 5, i in increasing order.
h, i, 5
Let p = 3.3 - 3. Let h = 14.88 - 15. Let t = 0.08 - h. Sort 2/11, t, p in descending order.
p, t, 2/11
Let m be (-24)/108 + 184/18. Let v = -8 + m. Sort 5, v, -1 in decreasing order.
5, v, -1
Suppose -5*g = 2*j - 18, -2*j = g + j - 1. Let k be (32/(-12))/g*-3. Let l = -3 - -2. Put 2/19, k, l in descending order.
k, 2/19, l
Let i(t) = t**2 + 6*t + 4. Let m be i(-2). Sort -2, 2, m in descending order.
2, -2, m
Let d = -14 + 29. Put -3, d, -0.1 in descending order.
d, -0.1, -3
Let x be ((-4)/5)/((-8)/20). Let n(f) = -f**3 + 4*f**2 + 4*f + 7. Let o be n(5). Suppose -4*z - o = 2. Sort 3, z, x in decreasing order.
3, x, z
Let t = 7.13 - 0.13. Let g = 6.7 - t. Let x = 0.4 + g. Put 5, -0.2, x in decreasing order.
5, x, -0.2
Let w be 53/5 + 2/5. Let b be (2 - w/5)/1. Let m be 1*(-2 + (-17)/(-8)). Sort m, b, 3/2 in decreasing order.
3/2, m, b
Let x = 0.02 + 0.48. Sort 1/5, -7, 2, x.
-7, 1/5, x, 2
Let x(z) = z**3 - 5*z**2 + 5*z + 1. Let t be x(4). Let h = t + -6. Suppose -3*s - q + 25 = 2*s, -2*s = 2*q - 10. Sort 3, s, h in ascending order.
h, 3, s
Let c(i) = -i**2 + 6*i - 9. Let l be c(2). Put -2, 2, l in descending order.
2, l, -2
Let a = 127/36 + -15/4. Let h = 23 - 26. Put -0.4, a, h in decreasing order.
a, -0.4, h
Let x = -16 - -14. Sort -3, x, -6 in decreasing order.
x, -3, -6
Let n = -7.1 + 7.2. Sort n, 0.4, 2/13, -1/10 in descending order.
0.4, 2/13, n, -1/10
Let i be 1/2 - 940/(-88). Let a = -11 + i. Let v = 3 + -2.7. Sort a, v, -0.3 in ascending order.
-0.3, a, v
Let m be 1 + (3 - (4 - 2)). Suppose m*u + u - 6 = 0. Sort u, 4, 1 in ascending order.
1, u, 4
Suppose 0 = j + 1. Let t be (j/(-2))/((-2)/8). Put -1, 0, t in descending order.
0, -1, t
Suppose 18 = 5*p - 7. Let a be (8/(-3))/((-6)/9). Sort 3, a, p in descending order.
p, a, 3
Let m(a) = 3*a - 9. Let v be m(4). Let c = -18 - -18. Sort 5, c, v in decreasing order.
5, v, c
Suppose -3*p + 5 + 1 = 0. Suppose 3*i = -p*i + 15. Let d(q) = -q + 16. Let r be d(12). Put r, i, 0 in descending order.
r, i, 0
Let s be 9 + (-4)/((-1)/(2 - 3)). Suppose -4*f = r - 17 - 0, -3*f = 3*r - 24. Put -3, f, s in descending order.
s, f, -3
Let q = 216339/128 + -10141/6. Let z = 7123/128 - q. Let l = z - 55. Sort -5, l, 1/10 in decreasing order.
l, 1/10, -5
Let i = 2.2 + -1.7. Put 3, 8/3, -1, i in descending order.
3, 8/3, i, -1
Let w be 6 - 4/(2 - 1). Put w, -0.1, 5 in decreasing order.
5, w, -0.1
Let t be (24/(-18))/(1/3). Sort -1, -2, t.
t, -2, -1
Let v = -0.3 + 0.5. Put v, -0.3, 5 in ascending order.
-0.3, v, 5
Suppose u - 860 = 6*u. Let p = 2922/17 + u. Let q = -0.05 - -0.35. Sort 0, p, q in decreasing order.
q, 0, p
Let c be -3 + (-4)/(0 - 4). Put 4, c, 3 in ascending order.
c, 3, 4
Suppose 5*x = 3*u - 15, -3 = -2*x + 3*x - 5*u. Suppose 0 = 5*d + 11 + 9. Sort d, x, 1 in decreasing order.
1, x, d
Let j(y) = -y**3 - 2*y**2 - 2*y - 1. Let k be j(-1). Suppose k = 6*n - n + 5. Suppose q - 6*q = 0. Sort -2, n, q in descending order.
q, n, -2
Let j = -286 + 289. Let r = -19 - -37/2. Sort j, r, -0.7 in ascending order.
-0.7, r, j
Suppose 0 = 4*i - 6*i - 5*a + 11, a + 2 = i. Suppose 18 - 6 = -3*w. Put w, 2, i in descending order.
i, 2, w
Suppose 0 = 3*t - 2*r + r - 3, 0 = -3*t - 5*r + 3. Suppose -2*h - 4 + 0 = 0, -5*x - 12 = h. Let l = -5 - -9. Sort t, x, l.
x, t, l
Let c be ((-3 + 9)/3)/1. Suppose -3*v + 5 = -c*v. Suppose -2*b = -3 + 11. Sort v, b, -5.
-5, b, v
Let f(j) = -j**3 + 