 2. Suppose -w - 4*j - 18 = 4*w, -w + 4 = -3*j. Put -4, u, w in decreasing order.
u, w, -4
Let c(v) = v**3 - 6*v**2 - 8*v + 2. Let w be c(7). Sort 4, w, -0.2 in descending order.
4, -0.2, w
Let n(p) = -4*p + 2*p**3 - 7*p**3 + 6*p**3 + 4 - 2*p**2 - 3. Let b be n(3). Put b, 4, 2 in descending order.
4, 2, b
Let u(k) = k**2 + 2*k + 1. Let v be u(-3). Suppose v*f = 2*f - 5*l, 0 = -5*f + 5*l. Let m be 0*-1*(f + 1). Put m, 5, 4 in increasing order.
m, 4, 5
Let j be (5 - 7)*1/2. Sort j, 4, -3 in decreasing order.
4, j, -3
Suppose -2*c + 2 = 3*a, a + 4*c + 28 = 3*a. Suppose 0 = -4*o + 4*z + 12, 4 = a*o - z + 1. Sort -4, 3, o in increasing order.
-4, o, 3
Let b = -0.368 + 0.068. Put 1/2, b, 1, -6/5 in descending order.
1, 1/2, b, -6/5
Suppose -2*n + 16 = -6*i + 3*i, 2*n = 2*i + 12. Let h be 0/(4 + (0 - n)). Let o be (-32)/6 - (-2)/6. Sort h, -4, o in descending order.
h, -4, o
Let i = 0.06 + 8.94. Let v = i - 8. Let x = -1.1 + v. Put x, -4, -5 in descending order.
x, -4, -5
Let h(y) = y**2 + 7*y + 3. Let d be h(-7). Suppose -12*l - 36 = 24. Sort -2, l, d.
l, -2, d
Suppose -m = -4*m + 9. Suppose -5*k = -m*x - 0*k + 29, x - k - 7 = 0. Sort -2, -4, x.
-4, -2, x
Suppose -2*t = -3 + 5. Let g be -2 + 2 + 0 + -4. Let p be ((-2)/(-8) + t)*g. Sort 0, p, -3.
-3, 0, p
Let u = -0.05 - 0.75. Let k = -0.9 - u. Put k, 2/5, 2 in ascending order.
k, 2/5, 2
Suppose 3 = 3*v - 3. Suppose 0 = -3*s + v*s - 4. Let l(m) = -m**3 - 17*m**2 + 39*m + 22. Let c be l(-19). Sort s, 5, c.
s, c, 5
Let o(i) = -i**3 + 3*i**2 + 6*i - 4. Let u be o(4). Let k = -113 + 1015/9. Sort -0.1, k, u in decreasing order.
u, -0.1, k
Let r(s) = 14*s + 40. Let g be r(-3). Let d(o) = o - 5. Let b be d(0). Put -0.1, g, b in descending order.
-0.1, g, b
Suppose 8 + 1 = 2*r + n, 5 = 5*n. Suppose 0 = r*m - 4. Let i = -8 - -8.3. Put m, 0.1, i in decreasing order.
m, i, 0.1
Suppose -2*m - 23 = -3*l, 0 = -2*l + 4*l - m - 14. Let y = 6 - l. Let p = 3 - -1. Sort 5, y, p in increasing order.
y, p, 5
Let s = -23 - -41. Let l be 3/s*13 + -2. Let f = 6 - 4. Sort f, 2/15, l in decreasing order.
f, l, 2/15
Let n be ((-4)/(-6))/(8/(-84)). Let z = 4 + n. Let x be 1/((-3)/(-12)*1). Put x, -5, z in decreasing order.
x, z, -5
Suppose -d - 5 = 4*d. Sort 2, -3, d in descending order.
2, d, -3
Let j be -1 + (10/1)/(-2). Let c be ((-4)/(-39))/(j/(-9)). Let q = -1.1 - -1. Sort -3, q, c in increasing order.
-3, q, c
Let p = 4 + -4. Suppose p = 4*s + y - 10, -5*y + 1 - 20 = -3*s. Sort 2, 1, s in increasing order.
1, 2, s
Let r = -118 + 125. Put r, -0.4, 0.1, 0.01 in decreasing order.
r, 0.1, 0.01, -0.4
Suppose n = 2*a, -2 = 3*a - 4*n + 3. Sort -4, 6, -3, a.
-4, -3, a, 6
Let a(w) = w + 12. Let c be a(-15). Suppose 0 = -4*k - 5*z + 19, 3*k - 4*z + 3*z - 38 = 0. Suppose 3*v - 4 - k = 0. Sort 4, c, v.
c, 4, v
Let m = 489945/13 + -37618. Let k = -70 + m. Let l = k - -19/91. Sort -2, -1, l in descending order.
l, -1, -2
Suppose 12 = 6*n - 12. Sort -4, n, -1, -2 in increasing order.
-4, -2, -1, n
Let y be (-3)/(-18) + 14/(-12). Let v(g) = -4*g**3 + 2*g**2 - 1. Let i be v(y). Sort -4, 3, i in decreasing order.
i, 3, -4
Let i = 24 + -27. Sort 3, -5, i in descending order.
3, i, -5
Let v = -11 - -16. Let o = -5.3 - -5. Sort v, o, -5 in decreasing order.
v, o, -5
Let u be (-323)/765 + (-4)/(-18). Put 4, 3/4, 0.08, u in descending order.
4, 3/4, 0.08, u
Let z = -0.52 - -0.02. Let x = 8 - 3. Put x, 1, z in decreasing order.
x, 1, z
Let d be (-16)/16 + 0 + 0. Put 1, d, 5 in decreasing order.
5, 1, d
Let a = -6 - -6.16. Let z = 0.2 - a. Let x = -1.96 - z. Sort x, 2/3, 0 in decreasing order.
2/3, 0, x
Let m(a) = -a**3 - 1. Let h be m(-1). Let t = -5 + 9. Put h, t, 1 in descending order.
t, 1, h
Suppose -4*f = k + 9, -5*f - 4*k - 13 = -k. Suppose 5*q - 9*q - 20 = 0. Sort -9, q, f.
-9, q, f
Let d be -17*(-5 + 1 - -3). Suppose 5*o + 8 + d = 4*r, 0 = -5*o - 4*r + 15. Sort o, 1, -4 in decreasing order.
1, o, -4
Let v = -17 + 12. Let c = 0.57 + -2.87. Let w = -2 - c. Sort w, v, -1 in increasing order.
v, -1, w
Let q(n) = 3*n - 2. Let p(u) = 2*u**2 + 3*u. Let j be p(-2). Let o be q(j). Suppose 3*w - 5*t = -32, o*w - 12 = 4*t - 44. Put -2, w, 2 in descending order.
2, -2, w
Suppose -y = -0*y + 2*p + 9, 20 = -4*y - 4*p. Let s be (2/1 + -2)*y. Suppose -55*t = -56*t - 2. Sort s, t, 4 in decreasing order.
4, s, t
Let j be ((-2)/(-21))/((-1)/3). Let a be 9/4 + 3/4. Suppose 0 = -b + 4 - a. Sort b, 3, j.
j, b, 3
Let s = 0.11 - -7.89. Let b = s + -7.7. Put 0.1, b, -4/7 in increasing order.
-4/7, 0.1, b
Let q(u) = 3*u**3 + 2*u**2 + 2*u. Let z be q(-1). Put z, 0.5, 1 in ascending order.
z, 0.5, 1
Let r(v) = -3*v - 4. Let a be r(-3). Let s(l) = l**3 - 5*l**2 - l + 6. Let q be s(a). Let g be (10/(-3))/(12/18). Put g, -4, q in ascending order.
g, -4, q
Suppose -4*x - 3 = -5*w, w = 2*w - 3. Suppose -8 = -2*q - 10. Suppose 0 = -0*s + 4*s - 8. Put q, s, x in decreasing order.
x, s, q
Suppose 2*k + 1 - 13 = 0. Suppose -s + k*s + 15 = 0. Let y be 10/15*s/1. Put y, 5, -1/5 in decreasing order.
5, -1/5, y
Let s = -11 + 18. Let x = s + -10. Put x, -0.5, -0.4 in descending order.
-0.4, -0.5, x
Let u = 0.2 + -0.3. Let x = u - 0.4. Suppose -5*z = 4*i - 1 + 11, -4*z = 4*i + 8. Sort 3/5, x, z in decreasing order.
3/5, x, z
Let u = -2.9 + 19.9. Let v = u + -12. Suppose -7*c - 3*o = -6*c, -4*c = -5*o. Sort 2, v, c.
c, 2, v
Let m be 8*((-3)/2 - -2). Let y = 7958 + -32241/4. Let f = y + 103. Sort 0, m, f in ascending order.
0, f, m
Let o = 1.7 + -6.7. Sort -16, -2/7, -0.3, o in decreasing order.
-2/7, -0.3, o, -16
Let u = -78.4 - -65. Let p = u + 13. Sort 5/6, -3, p in decreasing order.
5/6, p, -3
Let q = 174 + -171. Put q, 20, 5 in decreasing order.
20, 5, q
Let h be 2/2 - 1/3. Let k = 4 - 23. Let d = k - -19.3. Sort h, -0.4, d in decreasing order.
h, d, -0.4
Let s = 4 - 4.2. Let y(g) = -g**3 - 5*g**2 - 6*g - 4. Let f be y(-4). Let x = -9 + f. Put s, x, 3/2 in decreasing order.
3/2, s, x
Let f be (4 + 30)*1/2. Suppose -3*v + 13 + f = 0. Suppose 5 = 5*z, -3 = 4*j - 5*z + v. Sort j, -1, -5 in decreasing order.
-1, j, -5
Let w be (5/(-15))/((-2)/(-18)). Sort 5, w, -1, -2 in descending order.
5, -1, -2, w
Let d = 2 - 6. Let t = d - -1. Let b be 4*-1*(-2)/(-14). Sort 0.5, t, b.
t, b, 0.5
Let s = -12 - -10. Suppose -3*m - 2*m = 0. Sort m, 0.5, s.
s, m, 0.5
Let o = -1.17 - -1.1. Sort 0.4, 2, o in ascending order.
o, 0.4, 2
Let b(c) = c**2 - 4*c - 1. Let w be b(2). Let j be 32/(-12)*3/(-2). Suppose p - 3*p + 3 = t, -j*t = 20. Sort 5, p, w in increasing order.
w, p, 5
Let d = -1.3 - 9.7. Let g = -10 - d. Let l = -2 - -5. Sort -0.4, g, l in ascending order.
-0.4, g, l
Suppose -3*l = 15, -4*l - 20 = -y - 0*y. Suppose 3*n - 4*r = 5, y*n + 3*r + 3 = 3*n. Let t = -1 + -4. Sort n, t, -3.
t, -3, n
Suppose -3*p + 52 = 3*v + 16, -v + 60 = 5*p. Let d = 10 - p. Put -4, 2, d in increasing order.
-4, d, 2
Suppose -3*a - 2 = -2*g - 6, -4*g = 4*a + 8. Sort -1, a, -0.4, -0.3 in descending order.
a, -0.3, -0.4, -1
Let r(z) = -z**3 + 2*z**2 - 3*z + 3. Let t be r(2). Let n be 4*(t + 201/66). Put n, 2/3, -2/13 in decreasing order.
2/3, n, -2/13
Let x = -5.93 + -0.07. Let w = x - -6.1. Put w, 0, -1/6 in increasing order.
-1/6, 0, w
Let j = 114/7 + -16. Put 2, j, 1/3 in increasing order.
j, 1/3, 2
Suppose 3*i - 1 = -n, 5*i + 4 + 0 = 4*n. Put i, 1/4, -1/3 in decreasing order.
1/4, i, -1/3
Let j be 2/(-4) + 15/54. Sort 2/5, j, -0.1 in descending order.
2/5, -0.1, j
Let p = -0.08 - 2.92. Let x = -1 - p. Let m = -0.3 + -2.7. Put m, x, 2/19 in descending order.
x, 2/19, m
Let l(y) = -y - 1. Let i(n) = 2*n + 1. Let a(z) = -i(z) - l(z). Let j be a(-3). Put 0, j, 1 in decreasing order.
j, 1, 0
Let c = 0 - -7. Suppose -4*q + c - 27 = 0. Put -3, q, -1 in decreasing order.
-1, -3, q
Let p = 6 + -9. Let w be p/6*8/(-14). Let q = 598/5 + -120. Put q, w, 2/9 in increasing order.
q, 2/9, w
Let g = 0.592 - 0.092. Put -3, g, -0.5, -4 in descending order.
g, -0.5, -3, -4
Let v = 8.4 + -8. Let d be 1/(-3) + (-25400)/(-105). Let r = 241 - d. Sort 0.3, r, v in decreasing order.
v, 0.3, r
Suppose -m = -a - 6*m + 39, 2*a = -4*m + 48. Suppose 0 = i + 1 - a. Suppose 0*v - 2*v = -2*z - 10, z + 5*v = i. Sort z, 1, -4 in descending order.
1, z, -4
Let x(k) = -k**3 + 5*k**2 - 5*k + 2. Let n be x(4). Let j be 1/n + (-5)/(-10). Suppose 