3 + 4*a**3 + 6*a**2 + 0*a**3 - 4 - 8*a. Suppose 21 = -2*u - u. Let v be m(u). Sort 5, v, -2.
-2, v, 5
Suppose 2 = -4*r + 18. Put r, 50, 2 in decreasing order.
50, r, 2
Let r = 0 - -25. Suppose 0 = 2*z - 4*a + 8, -5*z + 7*a - r = 2*a. Let s be (16/(-8))/((-4)/z). Sort s, -4, 1 in decreasing order.
1, s, -4
Let l = 0.08 + 2.12. Let f = -2 + l. Sort 5/4, 4/7, f in decreasing order.
5/4, 4/7, f
Let x be -5*((-48)/(-20) + -3). Sort -4, -2, x in descending order.
x, -2, -4
Let u = -5 + 26. Let q be 2/3 - (-70)/u. Let r = -5 - -5.4. Sort r, 0.1, q in descending order.
q, r, 0.1
Let z(k) = k**2 + 9*k + 2. Let d be z(-9). Suppose -j = -2*j + d. Suppose -h + j - 7 = 0. Put h, 5, 0 in increasing order.
h, 0, 5
Let h = -0.26 - 1.74. Let c = -2.92 + -0.08. Put h, 3/5, c in decreasing order.
3/5, h, c
Let y(s) = -s**3 - 2*s**2. Let p(i) = -i**2 + 3*i - 2. Let t be p(3). Let o be y(t). Suppose -x - 3 = -o. Sort 2, x, -5 in descending order.
2, x, -5
Let t = -1.2 - -0.2. Put t, 2, 5 in descending order.
5, 2, t
Suppose 8 = 4*w + 12. Let g be (-2)/15 - 2/(-15). Sort w, g, -8 in decreasing order.
g, w, -8
Let i be 1 + 552/(-20) + 3. Let f = 29 + -53. Let c = f - i. Put 2/11, 2/13, c in increasing order.
c, 2/13, 2/11
Suppose -5*v + 3 - 8 = -3*z, 4 = -2*z - 4*v. Suppose 0 = 2*c - z*c. Let o be (-4)/(-2)*2/(-4). Sort c, o, -2 in increasing order.
-2, o, c
Let m = 31 - 28. Sort 1/8, 4/5, -1, m in ascending order.
-1, 1/8, 4/5, m
Let i(d) = d**3 + 7*d**2 + 7*d + 2. Let k be i(-6). Suppose -3*y + 8 = -2*y + 3*x, -2*y = -3*x + 11. Sort k, 4, y in decreasing order.
4, y, k
Suppose 2*t + 2*g = 8 + 4, 0 = 2*t + 5*g - 24. Suppose -t*r + r = -3. Sort -2, 5, r.
-2, r, 5
Let m = 9.2 - 9. Let j = -0.1 + 0.6. Sort j, 4, m in increasing order.
m, j, 4
Let d(s) = 10*s**2 + 1. Let y be d(1). Let v = 6 - y. Suppose -5*f - 7 = 4*g + 16, -g - 3*f - 11 = 0. Sort -3, v, g in increasing order.
v, -3, g
Let c be 2 + (1 - 2/2). Sort c, 3, -2 in decreasing order.
3, c, -2
Let q = -5.33 + 5. Let f = 0.03 + q. Sort 6, 1, f.
f, 1, 6
Let d = 12/11 - 37/44. Let x be (-12)/21 + (-20)/(-28). Put x, d, -1/2 in descending order.
d, x, -1/2
Suppose -2*a + q - 5 = 0, -4*q = -5*a - 7 + 2. Sort a, -4, 2.
a, -4, 2
Let o = 567/3601 - 1/277. Let z = 2.7 + 1.3. Let t = -3.9 + 4. Put t, o, z in decreasing order.
z, o, t
Let v = -1 + 0. Let q = 13 + -9. Let z = q + 0. Sort z, v, 1.
v, 1, z
Let k(u) = -5*u - 2. Let v be k(-1). Let t = 3 - 2. Sort 0, v, t in ascending order.
0, t, v
Let o be 15/18 - (-4)/(-8). Sort -0.7, o, -0.3 in ascending order.
-0.7, -0.3, o
Let p be -10 + 5 + (1 - -3). Sort 4, p, -9 in increasing order.
-9, p, 4
Let c = -5 - -8. Let u = 3 - 3. Sort u, c, -5 in decreasing order.
c, u, -5
Let k = -0.44 - -0.44. Put k, -0.1, 0.1, 16 in descending order.
16, 0.1, k, -0.1
Suppose 4*z = 5 - 9. Let m be z/3 - (-80)/24. Put m, 2, -1 in decreasing order.
m, 2, -1
Let d = -0.1 + 0.3. Suppose 5*w = 4*w. Suppose 5*l - 15 = -w*l. Put l, -4, d in ascending order.
-4, d, l
Let w be 8 + -11 - (2 + 2*-3). Put w, 5, -4, -5 in decreasing order.
5, w, -4, -5
Let o(d) = d**3 + d**2 - 2*d. Suppose -5 = 5*w + 5. Let u be o(w). Put u, -4, -2 in descending order.
u, -2, -4
Suppose 6*k = k + 25. Suppose s + 2*s - 5*x + 7 = 0, 5*s + 2*x - 9 = 0. Put -3, s, k in increasing order.
-3, s, k
Let a = -2 + 2.1. Let d be -1*(-2 + 1) - -3. Let f = -0.5 + 1. Sort d, f, a.
a, f, d
Suppose -6*l + 5*l + 5 = 0. Let u = 1215/2 - 588. Let w = u - 19. Sort l, -2/15, w in decreasing order.
l, w, -2/15
Let w be 262/156 + 16/104 + -2. Let n = 4 + -3.9. Put 1, w, n in ascending order.
w, n, 1
Let k = -94 - -98. Let p = -41/2 - -21. Let l = -0.8 - -1. Put k, p, l in decreasing order.
k, p, l
Suppose 0*n + 5*t = -3*n - 20, 5*n + 20 = -5*t. Put 2, -5, n, -6 in ascending order.
-6, -5, n, 2
Suppose 0 = 2*d + d - 9. Put -4, d, -5 in increasing order.
-5, -4, d
Let j = 12 - 14. Let v(d) = 3*d**2 - d - 1. Let o be v(-1). Suppose 0*c - o = c. Put 4, c, j in decreasing order.
4, j, c
Suppose -3*b - b = -20. Sort 3, -5, b in increasing order.
-5, 3, b
Let r be -2*(-3 - -6 - 7). Sort 2, 5, r in increasing order.
2, 5, r
Let t = -124618/7 - -17923. Let s = -120 + t. Let i be 6*-1*(-2)/(-4). Put i, s, 1/11 in decreasing order.
s, 1/11, i
Let o = -128 - -642/5. Suppose -3*x = 2*m - 3*m - 11, 4*m + 2 = -2*x. Sort m, 2/11, o.
m, 2/11, o
Let o be (-1)/(-3) + 70/(-21). Let q be (-2)/2*o - -2. Put q, 2, -4 in descending order.
q, 2, -4
Let r = 42 - 42. Let g = 0.05 + 1.95. Put -0.1, r, g in descending order.
g, r, -0.1
Let c be (-14)/91 - (-108)/26. Sort -1, c, -5 in decreasing order.
c, -1, -5
Let g(o) = 1 - 1 - 2*o**2 - o**3 - 3*o. Let z be g(-2). Let c = -3 + z. Put 2, -3, c in increasing order.
-3, 2, c
Let l = 0.05 - -0.25. Let g = 3 + -2.8. Let j = -3 - -3.1. Put j, l, g in descending order.
l, g, j
Let g = 3 - -1. Let r = g - 4.4. Put -3/4, 3, r in descending order.
3, r, -3/4
Let p(m) = -3*m**3 - 2*m**2 - 3*m + 4. Let f be p(2). Sort 1, f, 0.
f, 0, 1
Let y be 2/((-27)/(-21) - 1). Let w = y + 1. Let j = w - 8. Put j, -2, 3 in descending order.
3, j, -2
Let m(h) = -h**2 - 2*h + 1. Let d = -2 - -4. Suppose -8 = 2*s + d*s. Let g be m(s). Put -4, 0, g in decreasing order.
g, 0, -4
Let d(c) = c**3 - 9*c**2 - c + 11. Let f be d(9). Let o be 3*(1 + (2 - f)). Suppose -x + 3*i + 5 = 0, -2*x = 3*x - 4*i - o. Put 0, -5, x in ascending order.
-5, x, 0
Suppose -4*x - 2 - 5 = 5*z, -4*x - 1 = 3*z. Put -5, 0, z in ascending order.
-5, z, 0
Let f = 4.5 - 4. Put f, 4, -2/5, -2/11 in ascending order.
-2/5, -2/11, f, 4
Suppose 0 = -a + 5*a. Let q = -1 - a. Sort 0, -5, q in decreasing order.
0, q, -5
Let v = -13 - -9. Let r be (v/(-8))/(10/4). Let q = 5 + -4. Sort r, q, -1/6 in descending order.
q, r, -1/6
Let r = 82/3 + -27. Sort r, 18, 5.
r, 5, 18
Let p be ((-8)/(-14))/((-8)/(-56)). Suppose -p*o = o - 3*n, 5 = n. Sort -7, o, -5.
-7, -5, o
Suppose -6*p + 5*p - 2 = 0. Let v = -1 - 0. Put -4, p, v in decreasing order.
v, p, -4
Let w = -311/420 + -1/105. Put w, -2/13, 4 in descending order.
4, -2/13, w
Let c be (-1 - 14/(-10))/(1/5). Sort 0, c, -3, 4 in decreasing order.
4, c, 0, -3
Let x be (-42)/(-8) + (-3)/12. Suppose -3*k - 6 = 3*j, -29*j + 5*k = -32*j - 2. Sort x, -6, j in increasing order.
-6, j, x
Suppose q - h = -7, 4*q = h + 2*h - 26. Sort q, 5, -4.
q, -4, 5
Suppose -4 = x - 2. Sort x, -2/13, 6.
x, -2/13, 6
Suppose -7 + 23 = 2*n. Let w = n + -13. Suppose 5 = 2*c - 3. Put -1, w, c in ascending order.
w, -1, c
Let u = -1.976 - 0.024. Put 1/3, -5, -3/4, u in increasing order.
-5, u, -3/4, 1/3
Let q = 0.4 - -5.6. Put 0.2, 7, q in increasing order.
0.2, q, 7
Suppose 3*z = y + 5, 7*z - 4*z + 2*y - 8 = 0. Put 1, z, -2 in increasing order.
-2, 1, z
Let b(w) = -2*w - 1. Let p(x) = 2*x**2 - x + 1. Let t be p(1). Let o be b(t). Sort -3, o, -1 in descending order.
-1, -3, o
Let v = 7 - 6. Suppose 0 = s - d - v + 8, 2 = -2*s - 4*d. Sort 4, s, 5 in ascending order.
s, 4, 5
Let b = 174 - 173. Suppose -s - 4 = s. Sort s, -4, b.
-4, s, b
Let x be 1*2*10/(-80). Let b = -69/434 + 1/62. Put b, x, -1/5 in increasing order.
x, -1/5, b
Suppose -13 = 3*l - 5*r, 2*l + 5*r - 12 = 4*l. Put l, 1, 3 in increasing order.
l, 1, 3
Let j = -6 - -4. Let y = j - -1. Sort 0.1, y, 3 in descending order.
3, 0.1, y
Let l = 0.28 - 0.22. Sort -3, l, 3 in descending order.
3, l, -3
Let y = 14 - 16. Sort 0.06, y, 2/5.
y, 0.06, 2/5
Let b(f) = -3*f**2 + 4*f - 3. Let w(a) = a**2 - a + 1. Let d(m) = -b(m) - 4*w(m). Let p be d(3). Let z be (-14)/p + (-6)/15. Sort 0.3, 5/4, z.
0.3, z, 5/4
Suppose 2*t - 17 = -9. Suppose t*a = 25 - 1. Sort 2, 0, a.
0, 2, a
Let f = 43 - 43. Let w be 4/(-5)*(-10)/4. Sort f, w, -4 in increasing order.
-4, f, w
Suppose -3*b = -5*k + 21 + 1, -3*k = -2*b - 14. Let u(j) = -j + 6. Let x be u(0). Let h = 3 - x. Put h, b, -2 in increasing order.
b, h, -2
Let q(z) = z + 6. Let v be q(-3). Suppose 2*x - 5*t + 5 + 4 = 0, x = t - v. Let i = -5.06 - -0.06. Put x, i, -2/11 in decreasing order.
-2/11, x, i
Let s = -0.573 - 1.427. Let y = 0.3 + 0.7. Put y, 1/4, s in ascending order.
s, 1/4, y
Let f = -7 - -3. Let x(a) = a**2 + 2*a - 3. Let z be x(-4). Let w(o) = o**3 + 3*o. Let l be w(0). Sort z, f, l.
f, l, z
Let z = -5.02 + 5. Let j = 0.42 + z. Sort j, -5, 3.
-5, j, 3
Let o(t) = -t + 5