2. Sort 23, z, 3 in ascending order.
z, 3, 23
Let s = -35 + 35.3. Sort s, -0.4, 3.
-0.4, s, 3
Let l(u) = -u**3 - 7*u**2 + 2*u + 9. Let a be l(-7). Let x(w) = -w + 10. Let z be x(8). Sort z, a, 0 in decreasing order.
z, 0, a
Let u = 1.2 + -0.2. Sort u, 11, 2/9 in descending order.
11, u, 2/9
Let w = -8 + 8. Sort w, 5, 2 in descending order.
5, 2, w
Suppose -w = -7 + 4. Put 0, w, -5 in descending order.
w, 0, -5
Let y = 0.1 - 2.1. Let u be (-2)/(-8)*(-2)/3. Sort u, y, -2/9 in decreasing order.
u, -2/9, y
Let a(j) = j**3 - 7*j**2 + 6*j + 5. Let n be a(6). Put 6, -2, n in decreasing order.
6, n, -2
Suppose -4*t + 20 = -0*t. Suppose 0 = u + 2*u - 3*w - 3, -4 = -2*w. Sort u, 6, t in ascending order.
u, t, 6
Let f(n) = -3*n - 2. Let i be f(1). Let o = -6 - -3. Put -2, i, o in decreasing order.
-2, o, i
Let c(i) = -2*i - 1. Let u be c(-1). Let l = 1 - u. Put -1, -2, l in descending order.
l, -1, -2
Let z be (-9)/3 - 35/(-15). Sort z, 0, -2/17, -2/11 in decreasing order.
0, -2/17, -2/11, z
Let g = 0.37 + -0.27. Put -3, 2, 4, g in ascending order.
-3, g, 2, 4
Let q = -3 - -4. Let l(i) = -i**2 - 6*i - 3. Let m be l(-4). Suppose m*s - y - 11 = 0, -2*y - 9 = -3*s + y. Put -3, s, q in increasing order.
-3, q, s
Suppose 0 = 5*g + 14 + 1. Let u = 13 + -14. Sort g, u, 0 in decreasing order.
0, u, g
Let y(t) = t - 7. Let o be y(7). Put o, -1, -9 in decreasing order.
o, -1, -9
Let u = -43 - -44. Sort u, 4, 11.
u, 4, 11
Let p be ((-9)/6)/((-6)/8). Let g be 24/120 + 1/5*19. Sort p, -5, g in descending order.
g, p, -5
Let b = -3 + -2. Sort -2, -4, b in decreasing order.
-2, -4, b
Let u(r) = -r**2 - 5*r - 6. Suppose 4 + 6 = -3*k - 2*f, -k - 5 = -f. Let t be u(k). Put 1, -3, t in decreasing order.
1, t, -3
Let w = 0.6 + -0.2. Let q = 0.5 - 1.5. Sort w, -2, q in increasing order.
-2, q, w
Suppose -5*q - 5*a = -5, -a + 31 = -5*q + 3*a. Let c(z) = -2*z**3 + 2*z**2 + z + 1. Suppose -1 = -x + 1. Let p be c(x). Sort 5, q, p in descending order.
5, q, p
Let d = 1 - 3. Let l be ((-42)/12 - -4) + 2/4. Sort 3, l, d in increasing order.
d, l, 3
Let b be (6/(-9))/(14/6). Put b, 0.1, -0.3 in increasing order.
-0.3, b, 0.1
Suppose 4*h - 10 = -5*p, 5*p + 4 = -2*h + 14. Suppose p*z + 3*z = 0. Suppose -1 = -4*u + 3. Sort u, -4, z in increasing order.
-4, z, u
Let k be (-55)/(-3) - 28/21. Let m = -20 + k. Suppose n + 5 = -0. Put m, 1, n in descending order.
1, m, n
Let f(w) = -w**3 + 6*w**2 + w - 1. Let u be f(6). Sort 2, -2/13, u, -0.1.
-2/13, -0.1, 2, u
Let o be 27*(0 + -2)/(-6). Let x(k) = -k**2 + 9*k - 2. Let v be x(o). Sort -4, v, 4.
-4, v, 4
Let r = -4.9022 + -0.0378. Let z = -0.06 + r. Sort -3, z, 5 in decreasing order.
5, -3, z
Suppose -13*g + 33 = -6. Sort -5, 2, g, -10 in decreasing order.
g, 2, -5, -10
Let u = -0.7 - -1.2. Let w = -0.4 + u. Sort -0.1, w, 2/11 in ascending order.
-0.1, w, 2/11
Suppose 0*x + 15 = 3*x - 4*m, -2*x = -5*m - 10. Let b = 3 - 8. Put b, x, 1/2 in descending order.
x, 1/2, b
Let n = -7.6 + 8. Sort 0.3, -3, n in increasing order.
-3, 0.3, n
Let j = -5.7 - -4.74. Let w = 0.04 - j. Put 0, 3, w in increasing order.
0, w, 3
Let n = 55 + -55. Put 5, -1, n, 2/11 in ascending order.
-1, n, 2/11, 5
Let k = 7 - 4. Let c = 0.2 - 0. Let t = c - -0.1. Put k, -5, t in decreasing order.
k, t, -5
Let u(z) = z**3 + 10*z**2 + 10*z + 12. Let g be u(-9). Suppose 0 = g*o - 5*o - 2. Suppose -2 = 2*x + i, -x - 4*i + 4 = -2. Sort 0, x, o in decreasing order.
0, o, x
Let i = 30.3 + -30. Let d(j) = -j**3 + 4*j**2 - 2*j + 4. Let q be d(4). Let s be (5/q)/(2/4). Put s, 3/4, i in decreasing order.
3/4, i, s
Let q(h) = 11*h**3 - 2*h**2 - h. Let x be q(-1). Let a = -16 - x. Suppose -v - w + 2 = 5, 5*v = -w - 15. Sort v, a, 0 in ascending order.
a, v, 0
Let x = -3 + 6. Let w = -3.73 - -3.9. Let m = 0.27 - w. Sort x, m, 4 in decreasing order.
4, x, m
Let i = 144 + -146. Sort i, 5, 6 in ascending order.
i, 5, 6
Suppose 6*o = 11*o - 15. Suppose -4*y + 16 = 0, -c - y - o = -2*y. Put -4, -5, c in descending order.
c, -4, -5
Suppose -2 = q + 4*x, -3*x = 2*x + 5. Suppose 4*t = f + 3, 0 = -q*t - 0*t + 2. Let d be 2*(30/4)/(-5). Put 5, f, d in decreasing order.
5, f, d
Suppose 0 = 4*p - 6 - 10. Let v be (2/(-12))/(2/p). Put -4, -0.4, v in descending order.
v, -0.4, -4
Let w = -0.17 - 0.13. Let h(n) = -n**3 - n**2 + 2. Let b be h(0). Suppose m = -b*m. Put 2, m, w in decreasing order.
2, m, w
Suppose -11*q + 7*q = 168. Let b be ((-1)/(-3))/(14/q). Sort 0.5, b, 5/3.
b, 0.5, 5/3
Let y = -27 - -24. Put -1, y, -4 in decreasing order.
-1, y, -4
Suppose 0*z = 2*z - 8, -2*j = -2*z + 38. Let a be ((-2)/35)/(3/j). Let c = 51 + -151/3. Put c, a, 5 in descending order.
5, c, a
Let g be 2 + 2 + (-1 - 0). Let q(o) = o**3 - 2*o**2 - 2*o. Let b be q(g). Let h be (b/(-30))/((-2)/(-5)). Put -0.5, h, 4 in ascending order.
-0.5, h, 4
Let w(d) = 5*d + 2. Let k be w(0). Let b(a) = 2*a - 3. Let r be b(3). Suppose k*q - r = -q. Sort q, 5, -5 in descending order.
5, q, -5
Suppose -3 = -2*c - c. Put -1/2, 3, c, 0 in decreasing order.
3, c, 0, -1/2
Suppose 0 = -5*x - 4*f + 56 + 40, 4*f = 4*x - 84. Suppose 3*v - 5 = 4. Suppose v*l + x = -l. Put 2, l, 0 in decreasing order.
2, 0, l
Let c be (-6)/(-33) + (-46)/(-110). Sort -63, c, 2.
-63, c, 2
Suppose -5*r - 12 - 19 = -4*s, 4*s - 13 = -r. Let l be 2*r/4*2. Let j be (-3)/(-2)*(-36)/27. Sort l, j, 5 in descending order.
5, j, l
Suppose -d - q + 2 = 0, 0*q + 4*q - 8 = 3*d. Suppose d = -4*h - 207 - 21. Let y = 229/4 + h. Sort -1, y, 2 in decreasing order.
2, y, -1
Let z be 45/180*(2 + -10). Let x(d) = d**2 + 6*d + 1. Let h be x(-5). Put 1, h, z in decreasing order.
1, z, h
Let k = -0.33 - -0.22. Let t = k - -0.61. Let z = -0.5 + 0.1. Put -0.02, z, t in increasing order.
z, -0.02, t
Let p = 147 + -146.9. Let t = 6.84 + 0.16. Put t, -0.1, p in descending order.
t, p, -0.1
Let i(b) = b + 7. Let a be i(-4). Suppose 11 = v - 5*z, -5*v + 2*z = -0*v - 9. Let o be (4 - (-2 - -1)) + 0. Sort o, v, a in descending order.
o, a, v
Let o be 14/56 + 14/(-24). Sort 3, o, -2.
-2, o, 3
Let c = 45 + -41. Sort 0, -4, c.
-4, 0, c
Let o(c) = 12*c**2. Let d be o(-1). Let y be (-11)/2 - d/(-8). Let z(k) = k**3 - 5*k**2 + 4*k + 1. Let l be z(3). Put 5, y, l in increasing order.
l, y, 5
Let a = 87 - 84. Sort 10, a, -3 in descending order.
10, a, -3
Let q(m) be the first derivative of m**3/3 + 5*m + 4. Let y be q(0). Sort y, -2, -3 in decreasing order.
y, -2, -3
Let k be (4 - 1) + (-125)/40. Sort 1/4, -11, k in descending order.
1/4, k, -11
Let l = 11 - 18. Let m be 36/(-12) + 51/15. Sort m, -4, l.
l, -4, m
Let j = 4 - 7. Let y be (-40)/(-45)*6/8. Let u be 8/(-6)*6/20. Put j, u, y in ascending order.
j, u, y
Suppose -2*j + 1 = 5*r, j = r + 3 - 6. Sort -5, r, 0 in descending order.
r, 0, -5
Let h = -9 + 17. Let c = -13 + h. Let n = -4 - -6. Sort -1, n, c in ascending order.
c, -1, n
Let m = -32 - -34. Sort -1, 4, m in ascending order.
-1, m, 4
Let c be ((-10)/15)/(2/(-3)). Suppose 0 = v - y + 6, y - 1 - 6 = 2*v. Put c, 3, v in decreasing order.
3, c, v
Let u be 2 + 51/(-15) + 1. Suppose 65 + 35 = -5*t. Let h be -1*t/18 + -1. Put h, u, 5 in decreasing order.
5, h, u
Let q(i) = i**2 + 6*i - 3. Let s(c) = -c - 2. Suppose 0 = -0*v - 4*v + 20. Let l be s(v). Let b be q(l). Sort 3, 1, b in descending order.
b, 3, 1
Suppose 18 = -4*w - 2. Let b be (-6)/8*w/(-15). Sort 0, b, 0.1 in descending order.
0.1, 0, b
Let g = -1.9 - -5.9. Let i = -0.3 - -0.2. Let v = -4.9 + i. Sort v, g, -1/5 in increasing order.
v, -1/5, g
Suppose 5*z - f = -73, 5*z + 2*f + 80 = 1. Let i be 1/2 - z/10. Suppose 2*d + 4 = -i*d. Sort -4, 5, d in ascending order.
-4, d, 5
Let r(i) = 3*i - 1. Let x be r(2). Suppose 5*p + 0 = x*q + 5, -2*q = -5*p + 17. Sort q, -1, -2 in descending order.
q, -1, -2
Let w be (-2 - 15/(-10))*2. Put 8, 0, w, 1 in descending order.
8, 1, 0, w
Let j(v) = -v - 9. Let y be j(-5). Suppose -15 = -4*b + i, -i - 2*i = -15. Suppose 0 = 2*l - 1 - 1. Sort b, l, y in descending order.
b, l, y
Suppose 4*d - 30 = 14. Put 5, d, 0 in increasing order.
0, 5, d
Let y = 0.647 + 0.053. Sort 5, -0.3, y in decreasing order.
5, y, -0.3
Let m = 2.91 + 0.09. Sort -2, m, 6/7 in increasing order.
-2, 6/7, m
Let p = 0 - 3. Let r be (-20)/(-6)*6/1. Suppose 0 = 4*b + 4*w - 5*w - r, -4*w = 0. Put b, p, 4 in decreasing order.
b, 4, p
Sup