2*w + 31, 0 = w + 4*s + 25 - 8. Suppose -2*l = -w*l + 16. Let d = -17 + l. Put 3, d, 5 in decreasing order.
5, 3, d
Let g = 2538436/21 + -120835. Let o = g + -43. Put 2/5, 0.2, 1, o in ascending order.
o, 0.2, 2/5, 1
Let i(w) = -w**3 - 7*w**2 - 5*w + 3. Let d be i(-6). Suppose -9*p = j - 4*p + 20, -5*j + 4*p = -45. Sort j, d, -4 in decreasing order.
j, d, -4
Let d = -326 + 321. Sort 3, 10, 1, d in increasing order.
d, 1, 3, 10
Let m be (-106)/(-159) + 8/(-3). Put -4, -1157, m in decreasing order.
m, -4, -1157
Let j = 73/120 - 11/15. Let k = j - 3/8. Sort k, 0.04, 2.
k, 0.04, 2
Let i(o) = o**2 - 6*o + 1. Let z be i(4). Let h(m) = m**2 + 8*m + 2. Let r be h(z). Sort -3, 14, r in descending order.
14, -3, r
Let f = -28.5 + 29.23. Put f, -0.5, -0.4 in increasing order.
-0.5, -0.4, f
Suppose 0 = 4*t - 0*t - 24. Let b be (0 + 4/14)*(5 + 2). Sort b, -4, -0.3, t in decreasing order.
t, b, -0.3, -4
Suppose -4*g - 10 = 2*d, -9*g - 5 = -3*d - 11*g. Put d, 61, 3, -1 in decreasing order.
61, d, 3, -1
Suppose 27 = 3*g + 24. Put -5, g, 3, 9 in increasing order.
-5, g, 3, 9
Let s = -0.064 + -81.936. Let v = 82.3 + s. Sort -1, 0.02, 3, v in increasing order.
-1, 0.02, v, 3
Let t(b) = b**3 + 28*b**2 + 28*b + 30. Let y be -27*(-7 + 3 - -5). Let o be t(y). Sort 7, 2, o in increasing order.
2, o, 7
Let n be -3*((-6)/(-9))/1. Let b be 3 + n - 3/1. Let u be (-4)/2 + (b - -1). Sort 2, u, -4 in increasing order.
-4, u, 2
Let s = -13 + 9. Suppose 32*b + 34 + 126 = 0. Sort 1, s, -1, b in decreasing order.
1, -1, s, b
Let o be (2/(-7))/((-4)/28). Suppose 5*u - 35 = -3*t, o*u + 2*u - 2*t = 28. Sort -4, 2, u.
-4, 2, u
Suppose -5*h - 854 = -834. Put h, -2, 3, -5 in increasing order.
-5, h, -2, 3
Suppose -4*d - d + 20 = 0. Let q = 1177 - 1179. Let i be (-15)/2 + (-1)/2. Put q, d, i in ascending order.
i, q, d
Let z be 2/9 + (-12)/297. Let m = -21 + 26. Let k = m - 9. Put k, z, 1 in ascending order.
k, z, 1
Let u = 34 - 32. Sort -3, 15, u.
-3, u, 15
Let w = 896 - 897. Put 4/3, 1, -4, w in increasing order.
-4, w, 1, 4/3
Let u be (-3 - 1)/((-6)/(-6)). Let x = -2 - u. Put 3, x, -4 in descending order.
3, x, -4
Let x = -12 - -7. Let y = 1423 + -1418. Put x, y, 0.2, 1.4 in decreasing order.
y, 1.4, 0.2, x
Let m be (-3)/(-6) + 12/(-40). Let p = 0.116 + 2.884. Put p, 0, m in descending order.
p, m, 0
Let w be 3 + ((-216)/16)/9. Sort 4, w, -30/13 in decreasing order.
4, w, -30/13
Let j = 0.11 + -5.11. Let i = j - -9. Let q = 512/45 + -58/5. Sort -0.4, i, q.
-0.4, q, i
Let n = -5/11 + 3/55. Put -1, 55, n in increasing order.
-1, n, 55
Let r(m) be the first derivative of -m**2/2 + 4*m - 36. Let y be r(1). Put 2, -1, y in ascending order.
-1, 2, y
Let n be (-6)/(-76)*20/(-15). Sort 0.1, 0.2, n in descending order.
0.2, 0.1, n
Suppose 4*v - 19 = -103. Let i be 14/v - (-14)/(-6). Sort 2, 6, i in decreasing order.
6, 2, i
Let h = 50 + -54. Let t = -11 + 10. Sort h, 2, t, 4 in increasing order.
h, t, 2, 4
Let r = 1182 - 1186. Sort r, -7, -10 in descending order.
r, -7, -10
Let j be -10 + 19 + 55/(-5). Put -20, j, 2 in ascending order.
-20, j, 2
Let c = -0.225 + -45.875. Let k = c - -46. Sort 1, 2, k in ascending order.
k, 1, 2
Suppose -21*y = -15*y - 6. Put 0, 19, y, 5 in ascending order.
0, y, 5, 19
Let a = 0.86 - -1.14. Put a, -0.1, 5, 4 in decreasing order.
5, 4, a, -0.1
Suppose -10*n - 455 = 795. Sort 2, -1, n in decreasing order.
2, -1, n
Suppose -46 = 11*g - 233. Put -2, 0, -3, g in descending order.
g, 0, -2, -3
Let y = 549 + -549. Sort 1, y, 16, 2.
y, 1, 2, 16
Suppose 9*f - 188 = -179. Put f, -1, -5, 97 in descending order.
97, f, -1, -5
Let u be (14 + -10)*(-31)/4. Let b = u + 32. Sort b, -2, 4.
-2, b, 4
Let q be (44/(-33))/((-14)/(-21)). Sort 2, -9, 8, q in ascending order.
-9, q, 2, 8
Suppose -14 = -2*m - 2*d, 5*m - d - 3*d = 17. Let u = 3 + -7. Put m, u, 3 in decreasing order.
m, 3, u
Suppose 3*p - 16 = 2*d - 3, d = p - 3. Suppose a = 5*l + 6 + p, -2*a = l + 7. Sort 3, -5, a.
-5, a, 3
Suppose -3*o = -25*o + 2*o. Let a(u) = -u**2 + u - 3. Let i be a(0). Suppose -20 = -4*s + 4*t, 0 = 4*s + 2*t - 4*t - 20. Put o, s, i in increasing order.
i, o, s
Suppose -c - 12 = -5*w, -2*w - 6 - 3 = -5*c. Suppose -t = -m + w - 9, m - 5*t + 10 = 0. Sort 4, -0.1, m in decreasing order.
4, -0.1, m
Let o be 3 + (1 + 0 - 1). Suppose -3*i + 3*k + 42 = 0, 0*i + 4*i = -5*k + 20. Suppose -g - 6 = -i. Sort 1, g, o.
1, o, g
Let n = -8/13 - -30/91. Sort 1, n, 4.3 in descending order.
4.3, 1, n
Let o be (-18)/4*(-4)/(-6). Let h = 3.66 - 3.66. Put 2/17, o, h in increasing order.
o, h, 2/17
Suppose 0 = 6*z + 25*z + 31. Sort 4, 19, z, 0.
z, 0, 4, 19
Suppose 4*b - 2*q = 12, -3*q - 7 = -b - 4. Put b, 8, 1 in increasing order.
1, b, 8
Let v(x) = -x**3 - 5*x**2 - 4*x + 14. Let p be v(-4). Put p, -7, -5 in increasing order.
-7, -5, p
Let n(f) = -f**3 - 14*f**2 - 2. Let m be n(-14). Let b = -4 - 0. Put 2, m, b in decreasing order.
2, m, b
Suppose -2*d + 2 = 0, 5*d = -61*s + 62*s + 2. Sort 112, s, 5 in ascending order.
s, 5, 112
Let c = 66.11 + -66. Let b = -0.01 + c. Let k(h) = -h**2 + 8*h - 9. Let p be k(7). Put 1, p, b in descending order.
1, b, p
Suppose -1 = a + i, -a = -0*a + 2*i + 3. Sort -3, 8, a in ascending order.
-3, a, 8
Let b = 2149/10 - 215. Put -4, b, 0.4 in increasing order.
-4, b, 0.4
Let x = -23.7 + 26.7. Let y = -0.1 + 0.4. Put y, x, -1 in increasing order.
-1, y, x
Let p(f) = 2*f + 30. Let y be p(-15). Suppose y = 3*w - w. Put -8, -1, w in decreasing order.
w, -1, -8
Suppose -30*n - 340 = -40*n. Let u = 14 + -19. Put n, u, -4 in ascending order.
u, -4, n
Let v be (-25)/2 + (-1)/(-1). Let q = 12 + v. Put q, 5, 0 in decreasing order.
5, q, 0
Let f = 0.25 + 2.65. Let z = f + -4. Let v = z + 4.1. Sort v, 4, -3 in ascending order.
-3, v, 4
Suppose -b = -y + 9, 4*y = b + b + 32. Suppose -3*k + 4 = -y*k. Suppose 0 = -42*i + 17 + 109. Sort k, i, -9 in increasing order.
-9, k, i
Let n = 0.9 + -0.3. Sort n, -2/5, 2/7 in decreasing order.
n, 2/7, -2/5
Let z = 26 + -79. Let y = 52 + z. Put -2/13, -0.1, y in ascending order.
y, -2/13, -0.1
Let b be 6/(-1 + 3) + -10 + 4. Let f be 4 + (2 - 0) - -1. Put -5, b, f in decreasing order.
f, b, -5
Let k = -19.8 - -20. Sort k, 2, -1/12, -0.1 in decreasing order.
2, k, -1/12, -0.1
Suppose v + 3 - 1 = 0. Let l = 29.1 - 2.1. Put l, -0.4, v in descending order.
l, -0.4, v
Let n = 8.5 + -8.2. Let h = 13107/77 + 1349/11. Let x = h + -294. Put 3, n, x in descending order.
3, n, x
Let t be 4*(6/(-8) + (-23)/(-46)). Put 5, 2, -23, t in increasing order.
-23, t, 2, 5
Let n(s) = s**2 + 4*s - 20. Let m = -4 + -3. Let l be n(m). Let a be 1/(-3) - (-2)/(-3). Sort a, 3, l in increasing order.
a, l, 3
Let c(o) = o**2 - 10*o - 21. Let b be c(12). Suppose -b*q = -q + 11*q. Sort 4, 1, q, 3.
q, 1, 3, 4
Let s be (9/36)/((-60)/32 - -2). Put -15, s, -4, -3 in descending order.
s, -3, -4, -15
Let w = -166 - -165. Sort w, -2, 5, 19 in increasing order.
-2, w, 5, 19
Let v(x) = 48*x + 430. Let r be v(-9). Let s = -5 - -13. Suppose 4*o - s = 4. Put r, -1, o in ascending order.
r, -1, o
Let g(r) = r**2 - 5*r + 2. Let y be g(4). Suppose 37 - 19 = 3*d + 21. Sort y, 7, d in decreasing order.
7, d, y
Let g = 72 - 74. Let f(b) = -b**3 - b**2 - b. Let t = -20 + 19. Let j be f(t). Sort g, -1, j in decreasing order.
j, -1, g
Let f = -1 + 5. Suppose 7*h + 195 = -99. Let b be 1/6 + 91/h. Put -4, f, b in descending order.
f, b, -4
Let i(p) = 2*p**3 - 3*p**2 + 9*p - 25. Let a be i(2). Sort a, -1, 77, 1 in decreasing order.
77, 1, -1, a
Let h = -11 + 3. Let z = h - -5. Suppose -5*f - 3*m = 13 + 25, 3*m = 12. Sort z, f, 0 in decreasing order.
0, z, f
Let h = -4.03 + 0.03. Let o = 8641 + -8646. Let u be ((-2)/(-10))/(0 + 1). Sort h, o, u in ascending order.
o, h, u
Let d = -4.808 + -0.092. Let c = d - 0.1. Let f(i) = i**3 + 18*i**2 - 20*i - 22. Let x be f(-19). Put c, x, -0.2 in increasing order.
c, x, -0.2
Suppose -4*o + 0*o = -4. Let i be -7 + 4/(-6)*-3. Let t be -5 - 0 - 20/i. Put t, o, -2 in descending order.
o, t, -2
Let s = -1.4 + 1.6. Let z = s - 0.3. Let w = z + 2.1. Sort w, -3/23, 5 in decreasing order.
5, w, -3/23
Let f be -6 - 15 - (6 + 0)/2. Let h(s) = -s - 28. Let c be h(f). Put 2, -1, 4, c in decreasing order.
4, 2, -1, c
Let d = 189 + -56. Put -0.2, d, 3 in increasing order.
-0.2, 3, d
Let y(c)