uppose 6*x - r = x - 20, x + 4 = i*r. Let t be 2/4 + (-6)/(-4). Put x, 1, -1, t in decreasing order.
t, 1, -1, x
Let m be (-3)/4 - 1/4. Let i = 1331129 + -1331127. Sort -31, -3, i, m.
-31, -3, m, i
Let n(j) = 4*j**2 + 118*j + 55. Let v be n(-29). Let r be (-1)/2 - 11/(-2). Sort v, r, 62 in decreasing order.
62, r, v
Let z = 2725 + -2725.008. Put 0, -2, z in increasing order.
-2, z, 0
Let r(t) = t**2 - 11*t - 22. Let m be r(11). Let q = m - -27. Suppose -4*c + 197 = 245. Sort c, 0, q, 1 in descending order.
q, 1, 0, c
Suppose p + 2*p + 6 = 0, 15 = 5*a + 5*p. Put 8, 4, a, 1 in descending order.
8, a, 4, 1
Suppose -2*l - 11 = 3*z, 4*z + 2 = -10. Let r(g) = -g - 14. Let i be r(-17). Sort 28, i, -2, l in descending order.
28, i, l, -2
Let n = -408 + 422. Suppose -3*u + 2 + n = 4*s, -u + 3*s + 14 = 0. Sort 6, -5, u in descending order.
u, 6, -5
Suppose 4*h + 0*p = -2*p + 40, h = 3*p + 17. Suppose 14 = -2*b - 4*k, -3*b + 0*b + 2*k + h = 0. Let i = -13 + 15. Put -4, i, b in descending order.
i, b, -4
Let q be 252/(-102) + -11 - -14. Put q, -2/5, 4, 1/3 in decreasing order.
4, q, 1/3, -2/5
Suppose 0 = 4*u + 16, u - 2*u = 4*n + 20. Let h be 8/(-2) + 12 + 24/3. Sort 5, n, h in decreasing order.
h, 5, n
Suppose -2*m = 1306*y - 1309*y + 46, 2*y + 95 = -3*m. Sort 3, -1, 1, -14, m in increasing order.
m, -14, -1, 1, 3
Let j = -5 + 5.6. Let d = -86.3 - -87. Sort 3, j, d in ascending order.
j, d, 3
Let q = -4114 - -4127. Sort 22, q, 3 in decreasing order.
22, q, 3
Let t be 2/(-3) + ((-252)/(-693))/((-6)/(-11)). Sort t, 1189, 3 in increasing order.
t, 3, 1189
Let h(q) = 60*q + 44. Let z be h(-12). Let c = -4734/7 - z. Let j = 0.3 + -1.3. Put 4, j, -0.4, c in decreasing order.
4, c, -0.4, j
Let z be ((3 - 3)/((-7)/7))/(-2). Suppose -w + 0*w = -13. Sort -2, 5, z, w.
-2, z, 5, w
Suppose -43*z + 47*z - 3 = -3*m, 3*z - 5*m + 34 = 0. Sort z, -159, 6 in decreasing order.
6, z, -159
Let s = -11058 - -10731. Sort -11, -2/13, s.
s, -11, -2/13
Let d(l) = -249*l**3 + 2*l**2 + 6*l - 7. Let q be d(1). Let c = q - -242. Let k(o) = -o**2 + 6*o - 4. Let u be k(6). Put c, u, 3 in decreasing order.
3, u, c
Suppose 11 = -l - 3*h, -3*h - 22 = -l - 3. Suppose -2*o = -3*o - 1. Suppose -156*d + 420 = -184*d. Put o, l, d in descending order.
l, o, d
Suppose 0 = -6*h + 3*h - 6. Suppose 7*o = 11*q - 10*q + 10, 2*q - 3*o + 9 = 0. Put q, h, -0.02 in decreasing order.
-0.02, h, q
Let k = -1878 + 1878. Put -36, -3, k in descending order.
k, -3, -36
Let k = -183.9 - -207. Let c = 23 - k. Let b = 10 + -7. Sort b, 0.05, c in descending order.
b, 0.05, c
Let l be (-6)/4*(-13 + 1000/75). Sort 0.8, -3/5, l, -24 in descending order.
0.8, l, -3/5, -24
Let w = -557/10 + 573/10. Put -16, 2/3, 0.5, w in increasing order.
-16, 0.5, 2/3, w
Suppose -16 = 109*d - 108*d + 5*c, d = 4*c + 11. Put d, -3, 39 in decreasing order.
39, d, -3
Let j = 81597/4 - 20399. Sort -16, 5, -2, -1/3, j in descending order.
5, j, -1/3, -2, -16
Suppose -5*y - 8 = 2*k, 2*y - 16652*k + 16648*k - 40 = 0. Let t(w) = -3*w - 1. Let x be t(1). Put -11, x, y in increasing order.
-11, x, y
Let g = 0.01709 - -3.98291. Let t = 3.1 - -0.9. Let z = -3.9 + t. Sort 10, g, z, -5 in decreasing order.
10, g, z, -5
Suppose t = -2*l - 31, 0 = -t - 4*l - 23 - 16. Sort -2, 5, t, 1.
t, -2, 1, 5
Let p = 111 - 108. Let j = -370 + 367. Sort j, 2, -1, p.
j, -1, 2, p
Let b(y) = -y**3 + 22*y**2 + 29*y - 143. Let x be b(23). Sort x, -1/3, 0.083.
x, -1/3, 0.083
Let m be (5 - -1) + 1 + 0. Suppose p + 5 = -2*z, -6*z + 4*z = 5*p - m. Sort 3, z, 4 in decreasing order.
4, 3, z
Let u = -1.6 + 2.5. Let r = u - 36.9. Let h = -37 - r. Put -4, h, 3 in decreasing order.
3, h, -4
Let u(g) = 26*g**2 - 2*g + 1. Let z be u(1). Let o be (-6)/15 + (-15)/z. Let f(m) = -m - 2. Let y be f(o). Sort 4, 2, y in decreasing order.
4, 2, y
Suppose -m + 2 = -p + 3*m, 0 = -m + 1. Let n = 363.8 + 71.2. Let g = -436 + n. Put p, 0.4, 0.1, g in ascending order.
g, 0.1, 0.4, p
Suppose s = -2*s + 96. Suppose 4*i + 49 = 5*m, 4*m - s = -3*i - i. Suppose 3*c + 3 - m = 0. Sort c, -1, -4 in descending order.
c, -1, -4
Let o = -353/4 + 89. Let s be 6/(-28)*1/(60/(-35)). Sort -0.12, 0, o, s.
-0.12, 0, s, o
Let f = -168.5 - -168.7. Let s = 0 + 2. Let j be (-11)/8 + 3/s. Put j, f, -3 in increasing order.
-3, j, f
Let o(p) = -63*p + 2081. Let i be o(33). Put i, -0.5, -0.0067 in descending order.
i, -0.0067, -0.5
Let r be (39/(-3) - -8)*(-32)/(-10). Sort -2, r, -4, -3 in increasing order.
r, -4, -3, -2
Let d = 0.3 - 0.7. Let y = -41.7 + 42.1. Let p = 605 - 608. Sort 0.04, y, p, d.
p, d, 0.04, y
Let a = -0.01 - 0.39. Let j = 1312067/12 - 109339. Sort j, -2, a in ascending order.
-2, a, j
Let k = -2/81 + 275/14418. Put -5, -0.5, 2, k, 0.5 in decreasing order.
2, 0.5, k, -0.5, -5
Let c(t) = t**3 + 4*t**2 - 11*t + 14. Let h be c(-6). Suppose 35 + 77 = 28*d. Put 5, d, -1, h in ascending order.
-1, d, 5, h
Let y be 12/(-18) - 453/(-666). Let a(n) = n**3 + 7*n**2 + 13*n + 8. Let f be a(-3). Sort f, -4, y in decreasing order.
f, y, -4
Let v(j) = -21*j + 2477. Let d be v(118). Sort 13, 5, d.
d, 5, 13
Suppose 2 = 2*a, 8 = -3*s + 3*a - 28. Let b be 8 - 2 - (-10 + (138 + 5)/11). Sort -1, b, s in decreasing order.
b, -1, s
Let r = 3626.2 + -3718. Put -0.2, r, 3 in decreasing order.
3, -0.2, r
Let x = -0.21 - -0.2. Let f = x - -3.01. Let b = 1781 - 1781.4. Sort f, 1, b in ascending order.
b, 1, f
Suppose 3*y + 94 = 2*w, -7*y - 136 = -3*w - 5*y. Suppose 3*x = 5*d - 148, 0 = -4*d + 5*x + 64 + w. Put -1, d, -4, 5 in decreasing order.
d, 5, -1, -4
Let f = 0.05771 - 5.05771. Put -0.3, f, -0.5, -4.8, -2 in descending order.
-0.3, -0.5, -2, -4.8, f
Let h be ((-2)/4)/((-1)/(-2)). Let y = 3232 - 3220. Sort y, 1, h in descending order.
y, 1, h
Suppose 118*i - 117*i - 3 = 0. Put -4, i, -5, -9/2 in decreasing order.
i, -4, -9/2, -5
Let p be ((-50)/140)/(-5) - 148/112. Put -2/19, -82, p in descending order.
-2/19, p, -82
Let c(t) = -1 + 153*t**2 - 305*t**2 + 150*t**2 + 6*t + 11. Let z be c(4). Put z, -57, 2/5 in decreasing order.
z, 2/5, -57
Let x be (-38)/(-209) + (-1462)/(-187) + -1 + 5. Sort -3, 5, 65, x in decreasing order.
65, x, 5, -3
Let n = 58391/18 - 3244. Put -0.025, -2/15, 1, n, 4 in decreasing order.
4, 1, -0.025, n, -2/15
Suppose 5*x + 5*g + 4 = -26, 5*x + g + 26 = 0. Suppose y + 8*p = 11*p, 2*p = -5*y. Let h be (-4 - y) + -2 + 6 + -2. Sort x, -1, h, 4.
x, h, -1, 4
Suppose -h + 5*h = -5*f - 5, 2 = -2*f. Let q(w) = 3*w - 45. Let v be q(18). Suppose -4*a = m - v, -2*a + 4*a + 5*m = 9. Sort h, a, 3, 5 in descending order.
5, 3, a, h
Let d = 4560 - 4558. Sort -1257, d, 1 in ascending order.
-1257, 1, d
Let y(p) = -2*p**2 - 249*p + 5634. Let l be y(-143). Sort -3, l, 5 in decreasing order.
l, 5, -3
Suppose -1254*t + 165 = -1199*t. Let w = -2 + -3. Sort t, 2/5, -2/5, w in increasing order.
w, -2/5, 2/5, t
Let d(c) = c**3 - 6*c**2 + 9*c + 2. Let b be d(3). Suppose -2*f = -5*l - b - 46, 0 = -3*l - 12. Sort 3, -3, f, -1 in descending order.
f, 3, -1, -3
Suppose -d + 8 = 2*u + u, 0 = 3*u - 4*d + 17. Suppose 37*l - 2772 = 31*l. Let q be 2/5 + l/(-105). Sort 1/2, q, 0, u in decreasing order.
u, 1/2, 0, q
Let k = 16297 - 16298. Sort 1/18, -2/7, -2, 0, k in decreasing order.
1/18, 0, -2/7, k, -2
Let v = 29.93 + -29.76. Sort 1/8, 2, -3/2, v in descending order.
2, v, 1/8, -3/2
Suppose 5*z = -10, 2*u + 5 = -4*z + 19. Sort -8, u, 0.
-8, 0, u
Let d = 0.016707 - 14.016707. Let t = -1/28 + -23/140. Sort 3, 1, d, t in descending order.
3, 1, t, d
Let i = 63/5 - 13. Let f be ((-2)/4)/((-2)/40). Suppose 7*r - f = 4. Sort 1/8, -2/9, r, i in descending order.
r, 1/8, -2/9, i
Let c = 567.7 - 710. Let n = c + 142. Let k be (0 + -1 - -3)/9. Put -1/4, k, n in decreasing order.
k, -1/4, n
Let j be ((-50)/(-10) + -1)/(24/18). Suppose a = 6*a - 15. Suppose 3*b + a = -6. Put 0, j, b in ascending order.
b, 0, j
Let p be 5*(-1)/3*-3. Suppose -11*c - 672 = 17*c. Suppose -5*v - 4*f - 16 = 9, 4*f + 19 = v. Sort p, c, v.
c, v, p
Let b = -7/38 - 587/114. Let m = -0.15 - 0.05. Sort 4/7, m, b in descending order.
4/7, m, b
Suppose 0 = 5*d + 14 - 4. Let j(m) = -2*m**2 - 4*m - 4. Let b be j(d). Let i be (b/4)/((-2)/10). Sort -4, -1, i, 4 in decreasing order.
i, 4, -1, -4
Let z = -82905/86 + 964. Sort -0.1, -3, z.
-3, -0.1, z
Suppose 14*r = 2*r - 6012. Le