= 10 - 4*k + 6 + 3*k - k. Let l be o(7). Sort l, 3, 0 in decreasing order.
3, l, 0
Suppose 46*p = 41*p - 20. Let m = 0.035 + 4.665. Let x = 0.3 + m. Put p, x, -2/7 in decreasing order.
x, -2/7, p
Suppose -3 = 5*l + 2. Let s be 6/(((-429)/22)/13). Sort 4, s, -9, l in descending order.
4, l, s, -9
Suppose -4*z + 2*p = 24, -23*p + 24 = -4*z - 26*p. Put -9, z, 3 in decreasing order.
3, z, -9
Let g be 0/(-6 - (-10 - -1)). Sort 1, g, -11 in increasing order.
-11, g, 1
Let b be (-3)/(-9) - (-2)/(-4). Let w = 0.303 + -0.32. Let s = 3.983 - w. Put s, b, -3 in ascending order.
-3, b, s
Let z(s) = s + 2. Let j be z(0). Let p be j*((-14)/(-4) - 2). Suppose -4*t - p*x + x = 6, -2*t + 4*x - 18 = 0. Sort -13, t, -5 in ascending order.
-13, -5, t
Let d = 653 - 725. Sort 1/3, -0.1, d, -3/5 in decreasing order.
1/3, -0.1, -3/5, d
Let c be -5*(0 - 0 - -1). Suppose -7*i + i - 54 = 0. Sort 5, i, c in increasing order.
i, c, 5
Let v = -1/33 - 59/231. Let g = -4.8138 + -0.1862. Put g, v, 3/5, -3 in decreasing order.
3/5, v, -3, g
Let a(h) = -h - 2. Let b be a(-5). Let i = -704 - -703.3. Sort b, 2, i in descending order.
b, 2, i
Let z be 7/(-3) - (7 - 114/18). Suppose 2*u - 7 = -1. Sort 6, u, z in decreasing order.
6, u, z
Let s = 1154819372439151 - 7204917975551362671/6239. Let q = -14280574 + s. Let v = 2/367 + q. Sort 2/7, -1, v.
-1, v, 2/7
Let w be (-150)/20 - (-6)/1. Sort 2/5, w, 3, 6 in increasing order.
w, 2/5, 3, 6
Let f(m) = 13*m + 103. Let d be f(-8). Suppose 0 = j + 6. Put j, d, -4 in descending order.
d, -4, j
Let n be (-1)/3*111/407. Sort 1, -2, 19, n in ascending order.
-2, n, 1, 19
Let m(i) = -10 + 11*i - 2*i - 9*i - 2*i. Let b be m(-6). Let o(f) = 3*f**2 - 2*f + 1. Let n be o(2). Sort 0, b, n in descending order.
n, b, 0
Let s be -6*(120/45 - (1 + 2)). Sort s, -4, 0.25 in descending order.
s, 0.25, -4
Let l = -901 - -902. Let x(f) = -f**2 + 5*f. Let n be x(4). Put -5, l, -4, n in descending order.
n, l, -4, -5
Suppose -37*o + 40 = -33*o. Suppose -3*g - o = q, -5*q - g + 2*g - 18 = 0. Sort -5, 1, q, -9 in ascending order.
-9, -5, q, 1
Let k = 1.3 - -0.7. Let c = k + -1.7. Let y = -2.1 - -4.1. Put c, y, 0.2 in increasing order.
0.2, c, y
Let m = -732 + 728. Sort -202, -3, 0.4, m in decreasing order.
0.4, -3, m, -202
Let m = 754 + -755. Put 13, 4/3, m in descending order.
13, 4/3, m
Let n = 3 - 1. Let q = 92 + -92.043. Let t = q - 2.957. Sort n, t, -1.
t, -1, n
Let k be (-4)/(-2)*225/(-50). Let u = 3 + -8. Let l = k - u. Sort -2, 0, l in increasing order.
l, -2, 0
Let j(p) = p**3 + 2*p**2 - 2*p. Let z be j(-3). Sort 4, 0, 5, z.
z, 0, 4, 5
Let a(w) = -2*w - 4. Let g(u) be the second derivative of -u**3/6 - u**2/2 + 5*u. Let t(k) = -a(k) + g(k). Let q be t(0). Sort 2, q, -4.
-4, 2, q
Suppose s = -2*s + 15. Suppose 5*n = -2*n + 21. Sort s, n, -1 in decreasing order.
s, n, -1
Let l be 1 - (-198)/51 - (-2 + 7). Let a = -0.1 - -0.3. Put 2, l, a in decreasing order.
2, a, l
Let f be 10*(-24)/1080 + 25/(-9). Let m(n) = -n - 6. Let c be m(-4). Let h = c - -1. Sort 2, f, h.
f, h, 2
Let y = -88 + 195. Let m = y - 107. Sort -3, m, -4, 23.
-4, -3, m, 23
Suppose -a + 10 = -3*j, a + 14 = 5*j - 8*j. Let o = 0 + -3. Sort 5, o, j.
j, o, 5
Let z be (-18)/(-21)*(1 - (10 + -2)). Let y be (4 + (-282)/75)/(z/(-15)). Put 3, y, 6 in increasing order.
y, 3, 6
Suppose 0 = 5*a - 3 - 12. Suppose 5*w + 12 = 2*s, a*w - 4 = s + 3*s. Let k = -102 + 105. Sort w, k, -5 in descending order.
k, w, -5
Let a = -1190 + 1193. Sort -2, -2/9, 17, a in descending order.
17, a, -2/9, -2
Let n = -82 + 83. Let a = -4.7 - -2.7. Sort n, 1/9, 0.4, a in decreasing order.
n, 0.4, 1/9, a
Let c = 170.7 + -174.7. Let k = 11 + -7. Sort c, 1, k in decreasing order.
k, 1, c
Suppose 348 = -7*c - 9. Put c, 3, 4 in increasing order.
c, 3, 4
Let h = -58 + 55.7. Let a = h - -0.3. Let y be (-170)/425*(-1 - (-10)/4). Put y, -4, a in decreasing order.
y, a, -4
Let w(o) = 3*o - 13. Let s be w(6). Suppose -s*n + l + 22 = 0, 0*n - 5*l = n + 6. Let k = -14 + 24. Sort k, -5, n in decreasing order.
k, n, -5
Let v = 166 + -155. Put -1, v, 5, -2 in descending order.
v, 5, -1, -2
Let c = 4882 + -4884. Let z = -1 + -4. Put -1, c, z in increasing order.
z, c, -1
Let s = -10.4 + 6.4. Let i = 6.003 + -0.003. Sort 0.3, s, 0.2, i.
s, 0.2, 0.3, i
Let n be -4*(-5)/(-60)*0. Sort -39, n, -2, 1.
-39, -2, n, 1
Let g be 117/(-26) - (-1)/((-4)/6). Let v be 4 - (-123)/189*g. Sort -1/3, v, -5 in descending order.
v, -1/3, -5
Let w = -2 + -6. Let q = -450196/49 + 9187. Let u = 1/147 + q. Sort u, -3, w in decreasing order.
u, -3, w
Let z(n) = 7*n**2 + 7*n**2 + 3 - 5*n**3 + 4*n**3. Let q be z(14). Let r(l) = l - 14. Let w be r(10). Put w, -5, q in decreasing order.
q, w, -5
Let i = -32.987 + -0.013. Let s = -23 - i. Let u = 12697.5 + -12697. Sort u, -5, s in descending order.
s, u, -5
Suppose 3 = 3*f, 72 - 78 = -3*c + 3*f. Put -3, c, 4, -5 in decreasing order.
4, c, -3, -5
Let v(h) = -h**3 + h**2 + 2. Let p be v(4). Let g = p + 51. Sort 0.5, g, 0.4 in decreasing order.
g, 0.5, 0.4
Suppose 0 = -4*b, 5*p + b = 4*b - 5. Let c(j) = -j**3 - 10*j**2 - 9*j. Let q be c(-9). Let n be q - (0 - 3/1). Put -2, n, p in decreasing order.
n, p, -2
Let p(f) = -10*f + 20. Let q be p(2). Sort 2, q, -6 in decreasing order.
2, q, -6
Let w = -40 - -39. Let c = 5 - 10. Put 4, w, c in descending order.
4, w, c
Let f = -696 - -692. Put -0.3, 1, f, -0.1 in decreasing order.
1, -0.1, -0.3, f
Let o = 60.2 + -61.2. Put -3/10, o, 3, 0.3 in descending order.
3, 0.3, -3/10, o
Let n = -1 + 1.1. Let l = 5401 - 5400. Put l, n, -8, 4 in decreasing order.
4, l, n, -8
Let r(u) = -71*u - 776. Let q be r(-11). Put -2/9, 130, q in decreasing order.
130, q, -2/9
Let b be (-2)/(-5) - (-7)/(-5). Let q(u) = 93*u - 834. Let v be q(9). Put b, 0, v in descending order.
v, 0, b
Let m = -178 + 178.4. Let d = 0 + 7. Put d, m, -0.4 in increasing order.
-0.4, m, d
Suppose 5*x + 5*d = 25, -6*d + 14 = 2*x - 3*d. Sort -2, 23, x.
-2, x, 23
Suppose 1 = -x + 4, -2*x = -4*g - 2. Sort g, 0, 6.
0, g, 6
Suppose -2*z + 1 = g + 4, 0 = -3*g - 3*z - 9. Sort -69, 3, g.
-69, g, 3
Let d = -141 + 142. Put d, 3/7, -108 in descending order.
d, 3/7, -108
Suppose 4*q = 3*l - 26, -4*l + 9*l - 10 = 0. Let u be ((-2)/(-4))/((-93)/744). Put u, -3, q, -6 in increasing order.
-6, q, u, -3
Let f = 5 - 9. Let u(p) = -p - 16. Let z be u(10). Let l be z/8 - 2/(-8). Sort 0.1, f, l in ascending order.
f, l, 0.1
Let u be 33 - 1 - 0/(-1). Suppose 3*d + 4*m = -4, 0 = -5*d + 2*m + m + u. Suppose 3*v - 2*v + v = 0. Sort v, 1, d in descending order.
d, 1, v
Let y = 21.92 + -19. Let u = -0.066 - -0.146. Let z = u + y. Sort -3, z, 0.1 in increasing order.
-3, 0.1, z
Let t = -0.61 - 1.19. Let u = t + 6.8. Put u, -5, 3, 1/5 in descending order.
u, 3, 1/5, -5
Let o = 856 - 2609/3. Let i = 43/3 + o. Sort 0.5, -4/7, 5, i in descending order.
5, i, 0.5, -4/7
Let z = 1 - 3. Let o = 541 + -545. Sort 3, z, 2, o in descending order.
3, 2, z, o
Let v = -1.58 - 4.54. Let c = 7 + v. Let y = c - -0.12. Put -0.07, y, 0 in ascending order.
-0.07, 0, y
Let g = 45 - 45.2. Let x = -4 + -1. Sort x, 3, g in increasing order.
x, g, 3
Let d(i) = 3*i**3 + i**2 - i - 1. Let b be d(-1). Let k be (-5 - 46/(-8))*(14 + -2). Let c be b/k + 32/144. Put -15, 2, c in decreasing order.
2, c, -15
Let q = -0.75 + -130.25. Let o = -122.96 - q. Let y = 0.04 - o. Put y, -2/19, -5 in increasing order.
y, -5, -2/19
Let p = 1.47 + -4.47. Let k = 0.35 + 0.05. Sort k, p, 4/3, 4.
p, k, 4/3, 4
Let j = 0.4 - 0.8. Suppose -20 = 7*z + 15. Put z, j, 2/15 in descending order.
2/15, j, z
Let t(z) = 44*z + 12. Let q be t(2). Let g = -95 + q. Let p = -11 + -14. Put 0, g, p in increasing order.
p, 0, g
Let i(p) = 2 - 13*p**2 + 1 + 13*p + 5 + 11*p**2. Let f be i(4). Sort 0.4, f, -4.
-4, 0.4, f
Let n = -0.03 - -4.03. Let l = -45 + 45.018. Let t = -4.982 - l. Sort n, t, 2 in descending order.
n, 2, t
Let g = -0.293 - -0.093. Sort 5, g, 0, 2/17 in decreasing order.
5, 2/17, 0, g
Let f(m) = 2*m**2 - 12*m - 3. Let b be f(9). Let i = b - 252/5. Sort -2/7, i, -0.3 in descending order.
i, -2/7, -0.3
Let u = 310 - 312. Put -4, 1, u, -6 in increasing order.
-6, -4, u, 1
Suppose -5*a - 7 = -r, 4*r = 4*a - 0 - 4. Let g(x) = x**3 + 5*x**2 - 3*x + 14. Let f be g(-6). Let k be f - (6 + r + -6). Sort 4, k