 k be (-1 + 2)*((-2 - -6) + 9). Suppose 3*m - 40 = -5*u, -8*m = -k*m + u + 20. Sort -3, m, -4, 4.
-4, -3, 4, m
Let y = -0.24 - -0.77. Let v = -0.83 + y. Sort v, -1/11, 1, 3/4 in ascending order.
v, -1/11, 3/4, 1
Let l be -13*(12/78)/(-1). Let b be 16/20*(-10)/(-6). Put l, b, -37 in ascending order.
-37, b, l
Let x(o) = -5*o - 20. Let b be x(-4). Suppose -4*h = 5*p + 29, -p + 3*p - 3*h + 7 = b. Put 7, p, 1, 0 in increasing order.
p, 0, 1, 7
Let q(i) = -i**2 + 5*i - 2. Let b be q(4). Suppose -n + 45*j = 49*j + 4, n - 3 = 3*j. Put b, 82, n in increasing order.
n, b, 82
Let i = 6125.2 - 6126. Put 2/25, -0.22, i in decreasing order.
2/25, -0.22, i
Let i = -58 + 173.9. Let s = i + -116. Sort 2, s, 0.38 in ascending order.
s, 0.38, 2
Let t = -2 + 1. Let x = 3.302 - 3.33. Let k = x - -0.028. Put k, t, -5 in decreasing order.
k, t, -5
Let y(k) be the second derivative of k**3/2 - 9*k**2/2 - k. Suppose 6*u - 14 = 2*q + 2*u, 0 = 5*q + 2*u - 25. Let l be y(q). Sort 2, -2/3, l.
-2/3, l, 2
Let s be ((-112)/(-6) - 0)*(-525)/100. Sort 5, -1/5, -2/19, s, 0.6 in ascending order.
s, -1/5, -2/19, 0.6, 5
Let w = 625 - 614. Let d(k) be the first derivative of -k**3 + 2. Let q be d(1). Sort -1, w, q in decreasing order.
w, -1, q
Let p = 0.42702 + 2.57298. Let u = 7 - 27. Sort p, 1, -0.01, u in increasing order.
u, -0.01, 1, p
Let w = 11027 - 165407/15. Let h = -116 + 45. Sort 2, w, -2/5, h.
h, -2/5, w, 2
Let h = -5.29 + -0.11. Let v = h - -4.9. Let j = -59 + 63. Sort j, -3, 0.3, v.
-3, v, 0.3, j
Let k be 264/66 + 1 + -10. Let j be (-33)/55*5 - (0 - k). Put -4, j, 3, 2 in ascending order.
j, -4, 2, 3
Let c = 0.18852 + 0.21148. Put 349, c, -3 in ascending order.
-3, c, 349
Let n be (5 - (-114)/(-12))*-2. Suppose -a - 2*a = -n. Put 1, a, 4, -3 in increasing order.
-3, 1, a, 4
Suppose 23 = 5*x - 2*a, 2173*a + 7 = x + 2172*a. Sort x, -10, -2, -16, 1 in ascending order.
-16, -10, -2, 1, x
Let x(s) = 5*s**2 + 8*s - 8. Let u be x(-2). Suppose -2*k + 7*k = 2*k. Put k, u, 7 in descending order.
7, k, u
Let i be 2*3*(-48)/9. Let b = i - -29. Put 5, b, 0.3 in increasing order.
b, 0.3, 5
Let p = 3040 + -3035. Let g = -10.8 + 5.8. Sort -11, g, 2/17, p in decreasing order.
p, 2/17, g, -11
Suppose 0 = 26*x + 26 - 0. Sort -9, -2, -3, x.
-9, -3, -2, x
Suppose -n + 20 = 3*n. Suppose -4*a - 5*h = -28, -a + n*h - h = 14. Suppose -9 = -3*x + 5*p + a, 3 = 3*x - 3*p. Sort x, 0, 2, 1 in decreasing order.
2, 1, 0, x
Suppose 0 = -o - 5*x + 25, 0 = 5*o + 6*x - x - 245. Put o, 13, 0 in ascending order.
0, 13, o
Let q = -16.8 - -17. Let b = 65.3 - 463.2. Let u = 398 + b. Put u, 0, q, -37 in decreasing order.
q, u, 0, -37
Let w(j) = -2*j**3 - 22*j**2 + j + 12. Let z be w(-11). Let c be 48/12*(-2 + z). Sort -5, 2, 3, c in decreasing order.
3, 2, c, -5
Let q = 1336 + -1332. Suppose 3*z + x + 16 = 0, -6*x + 2*x - 4 = 0. Sort 0, q, z, -1 in ascending order.
z, -1, 0, q
Suppose 757*j = 763*j - 24. Suppose j*p + 5*h = -2, 5*p + 9*h = 11*h + 14. Put p, -5, 5, -4 in descending order.
5, p, -4, -5
Let b = -66 + 65.5. Let s be 3 + (-18)/5 + 140/25. Put s, 2/9, b, 0 in descending order.
s, 2/9, 0, b
Let k be 2/(6/(-10) - -1). Let a(m) = -m**2 + 2*m + 7. Let v be a(3). Suppose 932*t + 538 = 850 + 620. Sort v, t, -3, k in descending order.
k, v, t, -3
Suppose -5*i - 372 = -4*g, -528 = -g + 2*i - 435. Sort g, 0, -2 in ascending order.
-2, 0, g
Let b = 7181 - 7183. Put b, -3, -2/17, -115/2 in descending order.
-2/17, b, -3, -115/2
Let o = 0.0425 + -188.0425. Let u = -190 - o. Sort 0.3, 42, u in descending order.
42, 0.3, u
Let u = -3535 + 3555. Put u, -15, -5, 1/5 in decreasing order.
u, 1/5, -5, -15
Let z be (3 - 13)*(-44583)/965. Sort -3, z, 5, 2 in descending order.
z, 5, 2, -3
Let t = 7.265 + 0.755. Let n = 8 - t. Let p = 378 + -380. Sort n, p, 1/3 in descending order.
1/3, n, p
Let d be -16 + 12 + (0 - 1). Suppose 4*h - 5*l + 28 = 0, -12 = -h - 5*l + 6. Let y be ((-1)/2)/((-1)/(-12)). Sort 3, y, h, d in descending order.
3, h, d, y
Let u = -3855 + 3852. Sort -1, u, 1274.
u, -1, 1274
Let r be ((-6188)/(-13923))/(20/18). Let c(n) = -n**3 + 2*n - 1. Let y be c(-2). Sort -2, r, 2/69, y in descending order.
y, r, 2/69, -2
Suppose 3*d + 5 = 3*u - 1, 2 = d. Suppose 2*g + 16 = -u*b, 16 = -11*b + 7*b + 5*g. Put 0, 5, b in decreasing order.
5, 0, b
Let t(a) = 431*a**2 - 38*a - 36. Let h be t(-1). Put -3, h, -2 in decreasing order.
h, -2, -3
Suppose 0*m = -10*m + 20. Suppose -4*w + 28 = m*i, -4*w + w = -3*i + 15. Let j be (7 - 44/i) + 91/(-2). Sort j, 5, -2.
j, -2, 5
Suppose -10*k + 2800 = -6*k. Suppose -9*f + k = -37*f. Let c = -206/45 + 24/5. Put f, 1, 3, c in increasing order.
f, c, 1, 3
Let d be 20*(-21 + 18)/(3/1). Put -25, 0, d in decreasing order.
0, d, -25
Let o be (6/(-15))/((-1)/(-5)). Let y = -723 + 723. Suppose y = i - 5*j - 3 - 0, 5*j + 17 = -i. Put 2, 4, o, i in increasing order.
i, o, 2, 4
Let m be 7/(189/(-2)) + 0. Let t be (11 - 600/54)/((-8)/(-12)). Sort -2, m, 0.5, t.
-2, t, m, 0.5
Let m = 16429 + -16404. Put m, 5, 9 in increasing order.
5, 9, m
Let b = 15 - 7. Suppose -9*o + 37 - 73 = 0. Sort o, -2, -1, b in decreasing order.
b, -1, -2, o
Suppose 2*i = 5*m + 3, -4*m + 5 = m. Suppose -5*c - 5 = -g - 18, -28 = -i*g + 4*c. Let x be (-18)/g*4/(-6). Sort -5, x, -1, 2 in increasing order.
-5, -1, x, 2
Let o = 1 + 0. Let r = 397 + -398.82. Let c = -0.18 + r. Sort -1, o, 4, c in descending order.
4, o, -1, c
Let l = -33225127/462 - -71916. Let h = 2/77 + l. Let v = -0.2 + 0.1. Sort h, v, 0.3 in descending order.
0.3, h, v
Let m = -0.04 - 0.03. Let y = 2385.07 + -2385. Let b = y + m. Sort b, 1, 1/5 in decreasing order.
1, 1/5, b
Suppose -o = 0, -y - 3*o + 40 = 4*y. Suppose 0 = 2*t - 4*x - y, -2*t - 3*x - 2*x = 28. Suppose -4*f + 8 = 16. Sort 2, t, 0, f in descending order.
2, 0, f, t
Let l = -231.6 - -436. Let m = l - 204. Let b = 0.4 - -4.6. Sort m, b, -2, 1 in descending order.
b, 1, m, -2
Suppose -8 = 3*f + f. Let u be 8/(-20)*(30 + -175). Sort u, -5, f in ascending order.
-5, f, u
Let k(h) = 4*h**2 + 155*h - 37. Let p be k(-39). Suppose 27*d - 11*d = 176. Sort -2, d, p in descending order.
d, p, -2
Let c = 0.2 - 0.3. Suppose 5*y - 15 = 4*r, 2*r - 48 = -4*y - 36. Let i be (y/(-1))/((-21)/28). Sort 0.2, -1, i, c in decreasing order.
i, 0.2, c, -1
Suppose 11*k - 3*b = 15*k - 29, 5*b = 5*k - 10. Sort 2, k, -3, -2.
-3, -2, 2, k
Suppose 3*b + y = 58, 3*y + 39 = 2*b - 7. Suppose 0 = 5*j + b, -6*g = -7*g + 2*j + 2. Put g, -4, -1, 3 in decreasing order.
3, -1, -4, g
Let h = -1/267 - -551/4539. Let k = h - -24/85. Let c = -1410 - -1410.2. Sort k, c, 6 in increasing order.
c, k, 6
Suppose 1 - 5 = -4*k, -5*r + 5*k = 0. Let a = -188 + 129. Let d = a - -59. Sort -10, r, d, 2 in ascending order.
-10, d, r, 2
Let d be (-1 - 0)/(2/(-4)). Let j be 0 + d/16*6. Let n = 65.9 + -66.4. Put -2, j, n in decreasing order.
j, n, -2
Let h be (-2)/3 + (-19)/(-42). Let n = 27423/14 + -5878/3. Let c = h - n. Sort -0.4, c, -1/7 in decreasing order.
c, -1/7, -0.4
Let d = -3/347860 + -1540671877/7305060. Let j = -211 - d. Let p = 33998 - 33989. Sort p, 2/5, j, -0.5.
-0.5, j, 2/5, p
Let w = 12 + -20. Let g be -4 + (0 + 24/46)*(-124729)/(-10846). Put -5, w, -1, g in decreasing order.
g, -1, -5, w
Let n = 25 + 10. Let s = -45.6 + n. Let d = -5.6 - s. Sort -2, -5/3, d in descending order.
d, -5/3, -2
Let u be (-25)/(-50) - (3/6 + 2). Suppose -5*o + 3*o - 6 = 0. Let g be o/(-6) - (-54)/(-12). Put 3, g, u in descending order.
3, u, g
Let p = 203 - 200.7. Let l = p - -1.7. Sort l, -1/3, 11.
-1/3, l, 11
Let f = -108 - -121. Let s be 1*f/((-91)/(-14)). Suppose -6*r - 20 = -r. Sort 20, r, s in descending order.
20, s, r
Let h = -1405 - -1401. Suppose 0 = 3*j - j + 6. Let t be (9 - 2 - 2) + (-1 - 6). Sort h, t, j, 4 in increasing order.
h, j, t, 4
Let q = 71171 + -71171.5. Let t = -2.4 - -2. Sort t, 6/13, q, 5.
q, t, 6/13, 5
Suppose 18 = 4*c + 3*v, -2*v + 12 = 8*c - 9*c. Put 322, -8, c in descending order.
322, c, -8
Suppose -5*n = 9 + 6. Let b be (-6)/22 - 267/(-979). Sort -4, b, -1, n in decreasing order.
b, -1, n, -4
Let h = 0.1289 + -5.1289. Put h, 2, -0.02, -0.3, -1/77 in descending order.
2, -1/77, -0.02, -0.3, h
Let j be 355*(-5 + -1)*(-3)/30. Let g = j - 211. Suppose -q - q + 1 = -5*c, 11 = 4*q - c. Sort 5, g, q, -4.
-4, g, q, 5
Let 