et a(v) = -v**2 + 16*v + 1535. Let f be a(48). Sort -13, -2, f, 0, 1 in decreasing order.
1, 0, f, -2, -13
Let u = 713/5 - 143. Suppose -113 = 5*z + 537. Let d = 122 + z. Sort -0.3, u, d.
d, u, -0.3
Suppose -12*u - 31 - 5 = 0. Suppose 3 - 4 = l + 2*w, 25 = 2*l - 5*w. Suppose -s + 3*s = 4. Sort l, -4, s, u in decreasing order.
l, s, u, -4
Let j be (1/(-5) + -1)/((-552)/2760). Put j, -3, -6, -1 in descending order.
j, -1, -3, -6
Let v be (6/(-15) - (-1309)/35) + (-1)/1. Sort 5, 3, v, -1, -7 in ascending order.
-7, -1, 3, 5, v
Let f be (-58 + 52)/((-4)/(-50)). Sort -4, 2, 5, 1, f in ascending order.
f, -4, 1, 2, 5
Let i be 3*((-12)/504)/((-2)/7). Put i, -5, 0.08, 0, -233 in descending order.
i, 0.08, 0, -5, -233
Let b = -324 + 319. Put 3, b, -19 in increasing order.
-19, b, 3
Suppose -118*z = 15*z - 65 - 201. Put -1, -3, z, -26 in increasing order.
-26, -3, -1, z
Let i(z) = -209*z + 1050. Let w be i(5). Sort -2, 4, 6, w, -4 in ascending order.
-4, -2, 4, w, 6
Let q = 6.9 + -1.6. Let b = 4.8 - q. Let u be 5 + -3 + (-14)/6. Put b, u, 0.2 in ascending order.
b, u, 0.2
Let g = -199969.977 + 199804. Let u = g + 166. Sort u, -1, 0.4 in decreasing order.
0.4, u, -1
Suppose 0 = 18*g - 148 - 248. Suppose 0 = u - 4*i + 2, -3*u + 7 = -3*i + g. Sort 6, u, 1, 5.
u, 1, 5, 6
Let c = -481 - -487. Let y = 0.2 - 0.24. Sort y, c, -0.1.
-0.1, y, c
Let h = -419 - -413. Sort 4, 3/7, h in increasing order.
h, 3/7, 4
Suppose 2*x - 17 = -j, 2 + 4 = -2*j + 4*x. Let s(k) = k**3 + 19*k**2 - 20*k + 4. Let g be s(-20). Suppose j*u = g + 17. Put 8, u, -4 in increasing order.
-4, u, 8
Let f = -0.181 - -0.035. Let q = 0.254 - f. Let m(t) = -t**2 + 5*t - 2. Let i be m(3). Sort i, q, -5 in decreasing order.
i, q, -5
Let j be 4/(16/(-5)) - 550/8. Put j, -16, -3 in increasing order.
j, -16, -3
Let n = -159761 + 159727. Let o = -6.3 - -1.3. Sort 0.3, o, n, -0.5 in increasing order.
n, o, -0.5, 0.3
Let w = 2 + -44. Let l = 5 - w. Let j = 57 - l. Sort 2, j, 5.
2, 5, j
Let j = -0.037 - -0.045. Let t = j + -0.008. Let z be 6 + 16/30*(-437)/38. Sort 5, t, z, 3.
z, t, 3, 5
Let y be 2 + -4 + -4 + 3 + 2. Sort -9, -2, y in ascending order.
-9, -2, y
Let j(k) = 6*k + 1. Let g(p) = 5*p + 1. Let a(c) = -3*g(c) + 4*j(c). Let x be a(7). Let m = -61 + x. Sort m, -4, 2, -3 in decreasing order.
m, 2, -3, -4
Let r = 625 + -625.479. Let l = -0.179 - r. Put 4, 3, l in ascending order.
l, 3, 4
Let n = -23 - -24. Let x = 6 + -5. Let o be x/(-5) - ((-3)/15)/n. Sort 3, o, -9, -1.
-9, -1, o, 3
Let t be (-46)/(-115) - ((-126)/(-40) + 4/16). Sort 4, 3, t, 5, -97 in descending order.
5, 4, 3, t, -97
Suppose 4 = x + x. Let v be ((-2)/x)/(8/(-16)). Let q = -17366 + 17369. Sort v, 4, q in ascending order.
v, q, 4
Let y be 1011/(-68) - (47 - 61) - 3/(-4). Let s = 10 - 9.9. Put 28, s, y in decreasing order.
28, s, y
Let d be ((-36)/32)/((17/(-372))/17). Let k = d - 410. Sort k, 0.5, -3, 2.
-3, 0.5, 2, k
Let z = 10947 + -10973. Sort z, -0.4, -0.6 in descending order.
-0.4, -0.6, z
Let r be (-68)/51*(-6)/(-4) + 17. Suppose -4*w + 124 = 3*m, r*m - 4*w - 164 = 10*m. Put -4, -2, m, -3 in decreasing order.
m, -2, -3, -4
Let l be -3 + -36 - 1*(-6)/(-2). Let y be (25/(-35))/(6/l). Sort y, -4, 3.
-4, 3, y
Let k = -6896 - -6895.6. Put -5, -53, k, 2/3 in decreasing order.
2/3, k, -5, -53
Let s = -938.8 - -941.4. Sort s, -5, -1/4, 6.
-5, -1/4, s, 6
Let k(l) = 62*l + 1111. Let r be k(-18). Let o be 45/12 - (-2)/8. Put r, o, 3, 6 in increasing order.
r, 3, o, 6
Suppose -4*n - 247 = -2*j - 277, 0 = -2*n + 8*j - 20. Sort -5, n, 0.5, -6 in descending order.
n, 0.5, -5, -6
Let p = 2021 + -2026. Put 64, p, -1 in descending order.
64, -1, p
Let i = 4893832/6734469 + 1/41829. Let g = -20/23 + i. Sort -20, g, 1 in descending order.
1, g, -20
Let c = -86 - -111. Let v = 0 + 4. Put c, v, 2, 1 in ascending order.
1, 2, v, c
Let l = -10947 - -10946.6. Sort l, 0, -5, 1/15.
-5, l, 0, 1/15
Suppose 2*c - 5*c = 12. Let o(w) = w - 4. Let a be o(3). Put a, 2, c, -5 in descending order.
2, a, c, -5
Suppose 3*f + 232 = 5*y, 26 + 134 = 4*y + 4*f. Put 5, -13, -4, y, -2 in descending order.
y, 5, -2, -4, -13
Let x = 95 + -99. Sort x, -117, 3 in descending order.
3, x, -117
Let m = -10 - -6. Let o = -0.118 - 309.882. Let n = -309 - o. Put 0.3, n, m in decreasing order.
n, 0.3, m
Let g be 6 - 3/2*(-23 - -201). Let y = 265 + g. Let n be 0 + 3/(-3)*5. Put n, y, 5 in ascending order.
n, y, 5
Suppose 4*q - 374 = -5*o, 5*q + 2*o = 2*q + 284. Let p = q - 670/7. Let d = -36.55 + 41.55. Put d, p, -7 in decreasing order.
d, p, -7
Suppose 3*c = r, r = -3*c + 16 - 28. Sort 0, -5, 3, c, 140 in descending order.
140, 3, 0, c, -5
Let x = 5076 - 5071. Put 0, x, 21, -5, 4 in decreasing order.
21, x, 4, 0, -5
Let p = -124 - -241. Let z = -120 + p. Sort 2, 2/9, z.
z, 2/9, 2
Let i = 1.66 + -0.66. Let j = -124 - -622/5. Sort 0, i, j.
0, j, i
Let x = -0.561 + -0.089. Let u = 18.35 - x. Sort u, -3, 2/21, -0.3.
-3, -0.3, 2/21, u
Let u = -6.196 - -6.596. Sort u, -15, 1, -1, -4 in descending order.
1, u, -1, -4, -15
Let v = -43/160 + 15/32. Put 1/7, -1, 4, v in decreasing order.
4, v, 1/7, -1
Let d(k) = k**3 - 6*k**2 + 10*k - 20. Let t be d(5). Sort t, -3, -52.
-52, -3, t
Let n be -5 + 14 + 245/(-28). Sort -2, n, -192 in descending order.
n, -2, -192
Suppose -67*j = -66*j - 14. Suppose -1 = 5*h + j. Let c be 0 - 2*(0 - 1). Sort h, 5, c in descending order.
5, c, h
Let x = 0.215 - -0.085. Let z(v) = -v**3 - 24*v**2 + v + 22. Let i be z(-24). Sort -2/7, x, i, -6/11 in descending order.
x, -2/7, -6/11, i
Let f(m) = -30*m**3 + 2*m**2 - 7*m + 1. Let w be f(2). Let d = w - -328. Sort -0.1, d, -1 in descending order.
d, -0.1, -1
Let z be (-102)/306 + 1 + (-75)/(-9). Sort -6, 3, z, -2, -3.
-6, -3, -2, 3, z
Let z be 2*62/(-4) - (-71 + 74). Sort -1, 4, -4, z in descending order.
4, -1, -4, z
Let r = 1.1 - 6.1. Let j = -57805 - -57803. Put r, j, -6, -3/7 in increasing order.
-6, r, j, -3/7
Let p = -134 + 244. Let x = p - 116. Suppose -1 + 1 = 5*l. Put l, x, 1/8 in increasing order.
x, l, 1/8
Let w(o) = -3*o**3 + 4*o**2 + 5*o + 4. Let p be w(-1). Let l = 25 - 30. Put 1, p, l, -1 in descending order.
p, 1, -1, l
Suppose -4*t = x + 836 - 825, -4*t + x = 13. Put -1, t, -1064 in descending order.
-1, t, -1064
Let h(n) = -n**3 - 21*n**2 + 164*n - 17. Let b be h(6). Sort 3, b, -1, -4, 28 in increasing order.
b, -4, -1, 3, 28
Let v = 7925 - 7921. Let z = -18 - -16. Sort -51, -5, z, v in descending order.
v, z, -5, -51
Let l = -34/193 + -511/386. Put 5, l, -2/5, -3 in decreasing order.
5, -2/5, l, -3
Let d be ((-32)/40)/((-4)/(-5*8)). Let n be 2 - (-3 + 11)/d. Sort -4, n, 5 in decreasing order.
5, n, -4
Suppose -w - 430 = 85*w. Sort -2, w, 0.5, 1/102 in decreasing order.
0.5, 1/102, -2, w
Let w = 409 + -177. Let z = w + -208. Put -0.04, 2, z in decreasing order.
z, 2, -0.04
Let g(k) = -2*k**3 + 1. Let y be g(-1). Suppose -l = -4*v + 18, 0*l = -2*l - 4*v - 36. Let j be 24/(-32) + l/8. Sort -0.1, y, -5, j in increasing order.
-5, j, -0.1, y
Let k(t) = t**3 - 20*t**2 - 72*t + 119. Let y be k(23). Put -20, -1, y in increasing order.
-20, -1, y
Let b = -3.9 + 4. Let u = 153.7 - 177. Let a = 23.2 + u. Put b, a, 4 in increasing order.
a, b, 4
Let z be 14/5*(-40)/(-2). Suppose 34 = -6*t - z. Let k = t - -15. Sort -1, 2, k.
-1, k, 2
Suppose 5*r - 5*w = -11 + 56, -5*r + 4*w = -42. Let s = 3.45 + -16.45. Put s, 0.1, r in ascending order.
s, 0.1, r
Let l(j) = j**3 - 12*j**2 + 22*j - 24. Suppose -180 = 10*h - 28*h. Let b be l(h). Sort -2, b, 257 in decreasing order.
257, -2, b
Let x(d) = -d**3 + 23*d**2 + 51*d - 50. Let i be x(25). Suppose -18*v - 2*z = -16*v + 18, -2*v - 3*z = 22. Sort v, i, 0.
i, v, 0
Suppose 0 = 13*y + 15*y - 112. Let s be (2/y)/((-4)/8). Suppose -2*z - 2 = -z. Sort 0, s, -3, z in decreasing order.
0, s, z, -3
Suppose -50*g = 32 + 118. Put -8, 0, g, -39 in increasing order.
-39, -8, g, 0
Let j = 36 + -39. Let p = -4.8 + 7. Let c = p - 1.5. Sort -1/2, c, j, 0.4 in increasing order.
j, -1/2, 0.4, c
Suppose 2*a + 20 = 4*a + 3*u, a + 4*u = 20. Let b = 26 - 23. Suppose l = b*l + 8. Sort a, -5, 5, l.
-5, l, a, 5
Let w = 36305/3 + -12102. Sort 10, 3, -58, w, 2/5 in descending order.
10, 3, 2/5, w, -58
Let u(r) = -r**3 - 8*r**2 - 7*r - 3. Let s be u(-7). Suppose 103*w = 115*w - 24. Put s, w, -5,