 = -5*i + 9*i + 4*y - 8, 0 = 2*y - 2. Sort -423, 0, i.
-423, 0, i
Suppose -5*x + x + 2*w = -34, 0 = 3*x + w - 18. Let t = 2 - x. Let g = 2280 - 2280.3. Put g, t, 1 in descending order.
1, g, t
Suppose 4*l + 4*o - 4 = 0, 0 = 85*l - 89*l - 5*o + 2. Sort -6, 1, -3, 0, l in descending order.
l, 1, 0, -3, -6
Let w = -0.818 - -0.718. Suppose -9*l + 12*l + 3 = 0. Sort -1/3, 1/2, l, w in decreasing order.
1/2, w, -1/3, l
Let w = -809.1 + 856. Let c = -47.3 + w. Sort -3/8, -0.3, c in ascending order.
c, -3/8, -0.3
Let m(u) = 2*u**2 + 14*u + 8. Let n be m(-6). Let c(s) = 4*s**3 - 57*s**2 + 15*s - 11. Let w be c(14). Sort -47, n, w, 4 in decreasing order.
4, w, n, -47
Let f = -0.1609 + 0.1919. Put -0.3, f, 7 in decreasing order.
7, f, -0.3
Let m = 4.96 - 0.96. Put -259, -4/7, m in descending order.
m, -4/7, -259
Let o be -8 + (10 - 1) + (-21)/15. Put 52, 0.3, o, 0.03 in ascending order.
o, 0.03, 0.3, 52
Let l(o) = -12*o**2 - 155*o + 14. Let t be l(-13). Let q = 39 - 27. Let v = q + -8. Sort v, 0, -2, t.
-2, 0, t, v
Suppose x + 2*x = -15. Suppose -152 = 73*r - 298. Let i(a) = -a - 1. Let n be i(-7). Sort 3, x, r, n in decreasing order.
n, 3, r, x
Let t = -31 - 71. Let u = -102.1 - t. Sort u, -3, 2, 5 in increasing order.
-3, u, 2, 5
Let b be ((-30)/(-4))/3 + (-1496)/272. Put b, -7, -2, 8.6 in descending order.
8.6, -2, b, -7
Let m = -25350 - -25349.9. Put m, 0.36, -4/13, 3 in decreasing order.
3, 0.36, m, -4/13
Let b = -4/907 - -1826/2721. Sort -8, -3/4, 5/6, b in ascending order.
-8, -3/4, b, 5/6
Let y(u) = -u**2 - 24*u + 561. Let a be y(17). Sort 3/5, -3, a in descending order.
3/5, -3, a
Let x be ((-1014)/(-65))/(-26) + (-2)/5. Sort 3, 10, x in increasing order.
x, 3, 10
Suppose -3*c + 8 - 2 = 0. Let l(a) = -11*a - 66. Let b be l(-6). Suppose b = -5*x - 2*y - 17, -2*y + 3 = -3*x + 4*x. Put c, -7, x in increasing order.
-7, x, c
Let t be (15/(-6) + 4)*1/(-2). Let w = -137.7 + 100.7. Put 1/6, t, w in descending order.
1/6, t, w
Let n = -131 - -129. Let w be (-15)/(-105) + n/(-14). Sort w, 9/2, 2, 1.
w, 1, 2, 9/2
Let y(l) = l**3 - 9*l**2 - 6. Let g be y(9). Suppose 0 = 5*z - 5, -i + 8*z - 2 = 9*z. Sort i, g, -4, 3 in descending order.
3, i, -4, g
Suppose 2*v = -1 + 3. Let f be 6*69/(-46) - -12. Suppose -5*n + 7 = -5*p - 4*n, -2*p + 2 = 2*n. Sort p, v, 2, f in ascending order.
p, v, 2, f
Suppose 6 = 2*p - 0, -1 = 2*f + p. Suppose -z + 5*k + 29 = -4, -5*z + 77 = -3*k. Suppose -z*h + 32 = 97. Put h, 6, f in descending order.
6, f, h
Let a = 23 - 27. Let l be (140/(-21))/(-5)*3. Put -5, a, l, 5 in descending order.
5, l, a, -5
Let z(f) = f**3 + 34*f**2 - 81*f - 326. Let k be z(-36). Sort k, 222, -3.
-3, k, 222
Let d = -1.993 + 12.993. Let u = -294 - -304. Sort 3, u, d in increasing order.
3, u, d
Let v = 1295 + -1301. Let i(a) be the first derivative of -a**3/3 - 9*a**2/2 - 13*a - 4. Let w be i(v). Put w, 2, 12 in descending order.
12, w, 2
Suppose 84*l = 70*l. Suppose l = 20*z - 23*z - 6. Suppose 7 = 5*i - 8. Sort z, 0, -4, i.
-4, z, 0, i
Let t = -1.53 + 0.53. Suppose -x - 4*x + 5 = 0, -4*u - x = 399. Sort t, u, -5 in decreasing order.
t, -5, u
Suppose -3*p - 8*l - 18 = -11*l, -32 = 6*p - 2*l. Let y be 9/(-6)*48/9. Let k be (0/5 + 0)*(0 + -1). Sort k, y, -3, p in descending order.
k, -3, p, y
Let u = -23980 + 23981. Put u, 5, -946 in decreasing order.
5, u, -946
Let u(n) = -2*n**3 + 33*n**2 + 19*n - 32. Let f be u(17). Suppose 25 = 5*h, -2*g + 3*g - f*h = -8. Sort 0, 1, g in ascending order.
0, 1, g
Let v = -0.2756 + 19.2756. Put v, 4, 5, 0.1 in decreasing order.
v, 5, 4, 0.1
Let z be (112/6 + 2)*2286/1524. Sort 12, 4, z in increasing order.
4, 12, z
Let y be (3/(-15))/(-3 - -8 - 1111/220). Put -173, 5, y, -2 in descending order.
5, y, -2, -173
Let d be ((10 + 1)*66/(-121))/(-6). Put 440, 4, d in ascending order.
d, 4, 440
Let t(c) = -3*c + 10. Let x be t(3). Let y(k) = -k**3 - 26*k**2 - 24*k + 28. Let o be y(-25). Let g = -2 - o. Put 5, x, g in increasing order.
g, x, 5
Let q = 79 + -80. Let d = 2357 + -2359. Put 2, d, q, 0 in increasing order.
d, q, 0, 2
Let o(h) = -2*h**2 - 149*h - 291. Let i be o(-2). Sort -266, 10, 0, i in descending order.
10, 0, i, -266
Let h = 20 - 5. Suppose -5*d = z - 5, h*d - 17*d - 5*z + 25 = 0. Sort d, 2, 1, -9.
-9, d, 1, 2
Suppose u = -4*b - 463, 2*u + 584 = -5*b + 6*u. Let f = -576/5 - b. Let k = -26 - -29. Sort f, 3/7, k.
3/7, f, k
Let l(t) = t**3 - 2*t**2 + 2*t - 1. Let g be l(2). Suppose -c + 3*r + 1 = 7, 3*r - 15 = 0. Suppose -c*y + 15 = -6*y. Put y, g, -5, -1 in descending order.
y, g, -1, -5
Let h = -6 + 5. Let q = 456093/2 - 228046. Sort q, 4, 3, h in ascending order.
h, q, 3, 4
Let v = 4566 + -4560. Let p = -58 - -57. Sort p, 20, v in decreasing order.
20, v, p
Let q = 1.88804 - 1.38804. Let z = 0.27 + 0.03. Put q, z, 0.4 in descending order.
q, 0.4, z
Let p(y) be the first derivative of -3*y**2 + 24*y + 20. Let j be p(9). Let q = j + 30. Sort 1, -11, q in increasing order.
-11, q, 1
Let j be (-8)/(-36) + 7/9. Let u be ((-2)/7)/(12/(-28)). Let c = -291369 - -582733/2. Put c, j, u in increasing order.
c, u, j
Suppose 2*d - 7*w = -2*w + 2, -6 = 3*w. Let u = 83 + -11. Let x = u - 67. Sort d, -2, x.
d, -2, x
Let a(w) = w**3 + 61*w**2 - 127*w - 60. Let r be a(-63). Put r, 0.4, -2, -6/43 in descending order.
r, 0.4, -6/43, -2
Suppose 3*n - 12 = 0, 0 = 3*t - 5*n + 21 + 5. Let o(u) be the first derivative of -u**2 + 14*u - 5. Let j be o(5). Sort t, j, -1 in ascending order.
t, -1, j
Let g be 506/(-552) - (-3)/(-36). Put 0, g, 44, 5 in ascending order.
g, 0, 5, 44
Let j = -4717 - -23574/5. Sort 82, j, -4 in increasing order.
-4, j, 82
Let u = 7.7054 - 7.7554. Suppose -2*d - 3*d - 25 = 0. Sort -2/3, d, u, 0.3 in descending order.
0.3, u, -2/3, d
Let o = 654 - 435. Let y = o + -327. Let t = y + 107.98. Put -4, t, -0.1 in descending order.
t, -0.1, -4
Let d be ((-34)/(-85))/((-13)/((-26)/(-4))). Sort 2/5, 4, d, -1.4, -4.
-4, -1.4, d, 2/5, 4
Let b = 7.698 + -5.698. Sort 2/35, 3/5, b, 0.3 in descending order.
b, 3/5, 0.3, 2/35
Let f(o) = -2*o**3 - 13*o**2 + 7*o + 5. Let i be f(-7). Suppose n + 23 = l, -l - i*n - 19 = -2*l. Suppose 4*k = 84 - 100. Put -1, k, -3, l in decreasing order.
l, -1, -3, k
Let t = -1.7 + 0.7. Let v = -1463 - -1460. Put v, t, -0.4, -5/6 in decreasing order.
-0.4, -5/6, t, v
Let g = -1.89 + -1.136. Let r = g - 0.074. Let k = -3.5 - r. Sort 4/7, 5, k in increasing order.
k, 4/7, 5
Suppose -547*l - 1007 - 715 = -90 + 1103. Let m(b) = -b + 5. Let g be m(0). Suppose -5*j - 15 = g. Sort j, l, 3 in ascending order.
l, j, 3
Let c(t) = -t**3 + 7*t**2 - 10*t + 4. Let u be c(5). Suppose 3*d + 15 = -i, -63 + 31 = u*i + 5*d. Put 18, -2/11, i, 2/13 in increasing order.
i, -2/11, 2/13, 18
Let b = -3043 - -3047. Sort -49, b, -2/9, 3 in descending order.
b, 3, -2/9, -49
Let k be (517/(-78) - -5) + ((-80)/(-12) - 5). Put -0.046, k, 3, 1/3 in ascending order.
-0.046, k, 1/3, 3
Let t(f) = -6*f + 63. Let x be t(10). Let p(q) = -q**3 + 6*q**2 - 7*q + 5. Let m be p(x). Put 3, m, 6 in descending order.
m, 6, 3
Suppose 0 = 30*c + 989 - 1109. Suppose 4*i = 3*i + k + 3, 0 = -4*i + 3*k + 12. Sort 2, c, -1, i in increasing order.
-1, 2, i, c
Let z = 69.63 + -74.63. Sort z, 0.02, -8.1 in descending order.
0.02, z, -8.1
Suppose -346*j + 91*j = 0. Let r be (-1182)/21 - (-2)/7. Let d be r/35 + (-6)/(-10). Put 3, j, d, 4 in descending order.
4, 3, j, d
Let l = 8 + -5. Let r = 141 - 149.9. Let n = 9 + r. Sort l, -1/2, n in descending order.
l, n, -1/2
Let l(u) = u**3 - 9*u**2 + 7*u + 12. Let c = -65 + 141. Suppose -68 = a - c. Let x be l(a). Put x, 2, 5, -1 in decreasing order.
5, x, 2, -1
Let j(u) = 9*u - 66. Let q be j(6). Let x(r) = -r**3 - 10*r**2 + 23*r - 13. Let i be x(q). Put 24, 1/3, i in decreasing order.
24, 1/3, i
Let t(a) = 2*a**2 + 68*a + 81. Let f be t(-33). Put 6, -3, 1, f in increasing order.
-3, 1, 6, f
Let r = -641 + 5767/9. Let l = 0.34 + -0.2. Let p = 5.5 - 5.6. Sort p, r, l, -2.
-2, r, p, l
Suppose 0 = -t + l - 5, l = 5*t - 7*t + 5. Suppose -264 = 3*y + y. Sort 2, y, t in increasing order.
y, t, 2
Suppose 12 - 33 = -3*m. Suppose 10 + m = -3*g - 4*r, -2*g = -4*r - 2. Let s(j) = -j + 2. Let v be s(-2). Sort 5, v, 1, g.
g, 1, v, 5
Let t = -12 - -16. Let s(z) = -2*z**3 - 5*z**2 + 19*z + 6. Let k be s(5). Let m = -272 - k. 