Let k(w) = 4*w + 56. Let b be k(s). Sort 1, b, 13, 5.
b, 1, 5, 13
Let f = 439 - 439. Suppose 0*d - 8 = 4*d. Sort 21, f, d.
d, f, 21
Let w be -7*((-4)/1 + 3). Suppose 2*f - 4*x + 10 = 0, 13 + w = -2*f - x. Let a = 11 + f. Sort a, 5, 7.
a, 5, 7
Let o = -8362/11 - -760. Put 4, 2.3, o in decreasing order.
4, 2.3, o
Let x = -14.8 - -2.8. Let g = -12.27 - x. Let i = -0.07 - g. Put -0.4, i, -3 in descending order.
i, -0.4, -3
Let z(i) = -i**3 - 5*i**2 - 2*i - 7. Let f be z(-5). Suppose -68*o + 41*o + 88 = 61*o. Let l = 1 - 5. Put o, f, l in descending order.
f, o, l
Let z(m) = 35*m - 618. Let c be z(15). Put -4, c, -5 in descending order.
-4, -5, c
Let x be 13/(117/(-12))*9/6. Sort x, 8, 1/5.
x, 1/5, 8
Suppose -16*x = -11*x - 130. Let t = x + -22. Sort 3, t, -3 in decreasing order.
t, 3, -3
Let f(p) = p**3 - 11*p**2 - 11*p - 8. Let a(w) = w**3 - 8*w**2 - 12*w + 8. Let j be a(9). Let i = 31 + j. Let x be f(i). Sort x, -5, 0 in decreasing order.
x, 0, -5
Let j = 0.1114 - -2.8886. Let t = 1.5 - 2. Sort 2/7, j, t.
t, 2/7, j
Let x = 0.225 + 0.005. Let o = 0.12 - x. Let d = 4.11 + o. Sort 1, d, -2 in increasing order.
-2, 1, d
Suppose -4*u + 30*u + 416 = 0. Sort -5, 0, u, -3 in ascending order.
u, -5, -3, 0
Let s be (-95)/(-35) - (-8)/28. Suppose -s = -3*n - 6. Sort n, 4, 5 in decreasing order.
5, 4, n
Let a be 5*-3*(-9)/((-540)/(-8)). Let v(r) = 4*r. Let s be v(2). Put s, a, -2 in descending order.
s, a, -2
Let u = -9.1 - -4.1. Sort u, -2/9, -1/6.
u, -2/9, -1/6
Let l = -436.3 + 436. Sort -4, 2/5, l in decreasing order.
2/5, l, -4
Suppose 0 = -130*j + 131*j - 2. Sort j, -3, 23 in decreasing order.
23, j, -3
Let q be 4 + (114/27 - 8). Let v be (15/(-20))/(6/4). Sort q, 2/3, 1/3, v in decreasing order.
2/3, 1/3, q, v
Let d = 443 - 436. Sort 10, d, 4 in increasing order.
4, d, 10
Let t = -30 - -35. Suppose g + t*y - 1 = 6*y, -7 = -2*g + 3*y. Let q = -13 - -12. Sort q, 0.3, g in ascending order.
g, q, 0.3
Let p = 0 + -2. Suppose b - v = -3*v + 11, -3*b + 27 = 3*v. Suppose 13*y - b*y = 6. Sort y, p, -3.
-3, p, y
Let q = 534/5795 + 4/305. Let m be (-4)/14 + 93/105. Sort m, -5, -3/2, q in increasing order.
-5, -3/2, q, m
Let k = 300.5 + -301. Put 1/6, 1/2, -8, k in ascending order.
-8, k, 1/6, 1/2
Let i = -39.5 + 11.9. Let c = 28 + i. Put -4, 1/12, c in decreasing order.
c, 1/12, -4
Let t be ((-13)/2 - -6)/(2/(-4)). Let d(l) = 3*l. Let a be d(t). Sort 6, a, -0.2 in ascending order.
-0.2, a, 6
Let n = -840 - -837. Suppose -8*g + 3*g - 1 = 2*m, 0 = -3*g - m. Put -5, n, g, 5 in increasing order.
-5, n, g, 5
Let v(p) = -p**3 - 16*p**2 + 4*p + 69. Let a be v(-16). Put a, 24, -5 in ascending order.
-5, a, 24
Suppose 23*m = -2 + 48. Sort 6, 7, 1, m in increasing order.
1, m, 6, 7
Let q = 62 - 66. Let i = 737.89 - 734. Let b = 0.11 + i. Put b, -0.5, q in descending order.
b, -0.5, q
Let d(a) = -49*a + 489. Let s be d(10). Sort -7, 4, s, -3.
-7, -3, s, 4
Suppose 2*m = 3*t - 40, t - 2*m = -0*t + 8. Sort -1, t, 0.
-1, 0, t
Let m be (-1)/((1 - 4)/(-153)). Let q = m - -14. Let y = q - -39. Sort y, 0, -6 in descending order.
y, 0, -6
Let m = 553.707 - 554. Let s = 0.007 - m. Sort s, 0.1, 5, 0 in descending order.
5, s, 0.1, 0
Suppose 4*q - 10 = 18. Suppose -3*t + 16 = -q*t. Let r(l) = l**2 - l - 8. Let i be r(4). Sort i, -2, t in descending order.
i, -2, t
Let r(p) = -3*p**2 - 81*p + 44. Let d be r(-27). Sort d, -3, -5, 5 in descending order.
d, 5, -3, -5
Let m be (-13)/(-11) - (3 + -2). Let c = -28.384 + 28.584. Sort -1/3, 0.4, c, m.
-1/3, m, c, 0.4
Let u = -28.2 - -27. Let l = -1.1 - -0.1. Let i = u - l. Sort 0.1, i, 1/5 in descending order.
1/5, 0.1, i
Let a = -3.11 + 0.11. Let y = 0.04 - 0.05. Let j = y - 0.29. Put a, j, 2/11 in ascending order.
a, j, 2/11
Let d = -403 + 404. Put -1, 9, -2, d in descending order.
9, d, -1, -2
Suppose 75 = -4*j + 11. Let i be (-148)/j + 2/(-8). Let u = -453 + 449. Sort -2, i, u.
u, -2, i
Let g(t) = -4*t + 21. Let k(v) = 5*v - 22. Let y(x) = 3*g(x) + 2*k(x). Let p be y(12). Put 1, 3, p, 0 in increasing order.
p, 0, 1, 3
Let d be (((-2)/(-8))/1)/((-7)/(-28)). Sort 5, 2, d.
d, 2, 5
Let d = 1570 + -1569.9. Sort d, -4/3, -0.0823 in increasing order.
-4/3, -0.0823, d
Let g(h) = -2*h**3 - 16*h**2 - 4*h + 7. Let m be g(-8). Let c = -34 + m. Sort c, 1, -4 in increasing order.
-4, 1, c
Suppose 0 = 2*d - 4*h - 31 + 5, h = -4*d + 7. Sort 2/9, 1, d, 2 in decreasing order.
d, 2, 1, 2/9
Let b(c) = -c**3 + 2*c**2 - 1. Let v be b(-1). Suppose -s - 95 = -92. Sort v, -1, s in descending order.
v, -1, s
Let f = -2/5 - -1/15. Let a be ((-1)/15)/((-29)/(-174)). Put a, f, 2/17 in descending order.
2/17, f, a
Let o(n) = -10*n - 45. Let z be o(-4). Let p = -5 + 8. Let m = p - 3. Sort z, m, -4 in increasing order.
z, -4, m
Suppose -r = -6*r + 3*g - 11, -4*r - 4*g - 28 = 0. Put 3, -2, r in decreasing order.
3, -2, r
Let b = -147 + 105. Let r = 38 + b. Put -10, -0.5, r in decreasing order.
-0.5, r, -10
Let l(j) = -48*j - 111. Let q(d) = -3*d - 7. Let k(c) = 2*l(c) - 33*q(c). Let v be k(-3). Sort -2, -5, 4, v in ascending order.
-5, -2, v, 4
Suppose 11*q - 8*q - 4*p = -24, 0 = -2*q + 2*p - 18. Sort q, 6, 2, 0 in decreasing order.
6, 2, 0, q
Let a = -7 - -12. Let o be 6 + (2 - 6)*1. Let r be o + (1 - (-18)/(-3)). Put 0, a, r in increasing order.
r, 0, a
Let j = -612 - -604. Sort 1/5, -3/5, -0.1, j in decreasing order.
1/5, -0.1, -3/5, j
Let b be (2 + (-65)/25)/(3/2). Suppose 0 = -4*n + 9 - 37. Let t be 20/n - -3*1. Sort -3, t, b in increasing order.
-3, b, t
Let a(s) = s**3 - 5*s**2 + 2*s + 7. Let x be a(4). Let g be (-4)/(-6) + 10/(-6) - x. Let k be ((-17)/3)/((-1)/(-3)). Put k, g, 3 in ascending order.
k, g, 3
Let w(y) = -y**3 - 17*y**2 + 18*y + 3. Let k be w(-18). Put k, 26, 0 in descending order.
26, k, 0
Suppose -5*m = -x + 10, -4*x = -26*m + 25*m - 21. Suppose -2*j - 3 = -5. Sort j, 3, m in increasing order.
m, j, 3
Suppose 6 = -b - 2*c, 2*b - 5 + 22 = c. Put -4, 0.5, -0.1, b in decreasing order.
0.5, -0.1, -4, b
Let r = 59 - 62. Suppose 2 = 2*u - 30. Let n = 17 - u. Sort n, 3, r.
r, n, 3
Let k = -8 - -5. Let p be ((-10)/k)/((-4)/(-6)). Put 1, p, -1 in decreasing order.
p, 1, -1
Suppose 10 + 18 = 4*b + 4*h, 4*b + 12 = 4*h. Suppose 3*z - 6 = -b*x, z - 3*z + 2*x - 6 = 0. Put 11, z, -1, 5 in decreasing order.
11, 5, z, -1
Let s = 0.7 - 1.2. Let r = 18 + -59. Let v = r - -39. Sort -0.3, v, s in increasing order.
v, s, -0.3
Suppose 2*b = 11*b - 18. Let l = -1.2 - -0.7. Sort l, 0.3, b in decreasing order.
b, 0.3, l
Suppose 5*w - 2 - 26 = n, 2*n + 3*w = 9. Let a = 80 + -76. Sort n, a, -24 in decreasing order.
a, n, -24
Let y = 17 - 22. Let p = 48 - 50. Let b(z) = z - 3. Let x be b(6). Sort p, x, y in descending order.
x, p, y
Let d = 36217 - 615686/17. Let g = 1.5 + -1. Put -5, d, g in descending order.
g, d, -5
Let v = 0.25 + -1.55. Let s = v - -0.3. Suppose g + 1 = 4. Sort g, 0.04, s.
s, 0.04, g
Let c be 6/(-75)*(-20)/8. Put 2/21, c, 2/9, -2 in decreasing order.
2/9, c, 2/21, -2
Let n(m) = 69*m - 417. Let q be n(6). Suppose 0 = -3*l + 8 + 7. Let b = l - 1. Sort b, 2, q in increasing order.
q, 2, b
Let h be (((-22)/(-4))/(-11))/2. Let c = 0.1 + -0.6. Put -2/5, c, h in descending order.
h, -2/5, c
Let m(n) = 2*n + 29. Suppose -2*d = -b - 23, -3*d = 3*b + d + 19. Let a be m(b). Put a, -3, -1 in descending order.
a, -1, -3
Let t = -203.1 - -204. Sort 6, t, -5 in decreasing order.
6, t, -5
Let b = 47 - 85. Let n = b + 37. Put 9, -0.4, n in descending order.
9, -0.4, n
Let j = -13 + 8. Let g = -1051 - -1055. Put j, -0.1, 2, g in decreasing order.
g, 2, -0.1, j
Let r = 18/19 + -233/266. Sort 0, -10, r in decreasing order.
r, 0, -10
Let s = 150.1 - 139. Let y = s + -11. Put y, 1/2, -0.1, 4/3 in descending order.
4/3, 1/2, y, -0.1
Let k be 73/4 + 5/(-20). Suppose -k = 2*h + 4*h. Sort 2, 4, h in increasing order.
h, 2, 4
Let p = -8 - -6. Let a = -7 - p. Put -0.3, -0.5, a in decreasing order.
-0.3, -0.5, a
Let j = 41 + -36. Suppose 5*c + 3*m = 7, -c = -j*m - 2 - 5. Put 14, c, 1 in decreasing order.
14, c, 1
Let u = -91 + 50. Let i = u - -122/3. Let a = 2.1 - 0.1. Sort a, -7, i.
-7, i, a
Let c = -829 - -821. Put 5, c, 0, 4 in descending order.
5, 4, 0, c
Let t = 20 - 32. Let b = t - -12. Suppose 3*w = -b*w. Sort -5, 2/17, w in decreasing order.
2/17, w, -5
Let g(n) = 57*n + 3