et o = 25247/7 + -3607. Put 1, 284, o in ascending order.
o, 1, 284
Let v(i) = -2*i + 4. Let o be v(4). Let b(m) = m**2 + 3*m - 22. Let x be b(7). Let t = 43 - x. Sort o, 4, t in descending order.
4, o, t
Let w(u) = -9*u - 12. Let d be w(-2). Suppose 0 = -2*q - t - 5, -3*t + d = -t. Sort q, 2, 4 in decreasing order.
4, 2, q
Let x(w) = 2 + 3 - 5 + w**3. Let h be x(0). Sort -4, h, -16 in increasing order.
-16, -4, h
Let j(g) = 2*g**2 - 97*g - 1752. Let n be j(-14). Sort 3, n, 88 in descending order.
88, 3, n
Let p = 0.15454 + 0.04546. Sort 1/6, -1/2, -7, p, -0.1 in increasing order.
-7, -1/2, -0.1, 1/6, p
Let d(k) = -k**2 - 20*k + 149. Let i be d(-26). Sort -0.3, 1/2, 0.4, i.
i, -0.3, 0.4, 1/2
Let k(g) = -2*g**2 - 34*g + 75. Let t be k(-19). Put 9, -15, 0, t, -2 in descending order.
9, 0, t, -2, -15
Let t be (-3360)/(-1140) - (10 + -7). Put 8, -1/2, t in descending order.
8, t, -1/2
Suppose 4*h - 8*c = -9*c - 2, -2*h + 4*c - 28 = 0. Put -20, 18, 4, h in increasing order.
-20, h, 4, 18
Let l be 1674/(-342) - (5 - 4)*-5. Put -1/10, l, -1, -5, 16 in ascending order.
-5, -1, -1/10, l, 16
Let t = 1.0245 - 0.8245. Sort t, 244, -2, -0.04 in descending order.
244, t, -0.04, -2
Let y(p) = 16*p - 22. Let i be y(9). Let b = -47 + i. Let v = 224/3 - b. Put -2, -4, -14, v in descending order.
v, -2, -4, -14
Let s = 41/180 - 9/20. Let z be ((-1524)/5715)/(((-4)/18)/(-1)). Sort s, 2, z, 4/5 in descending order.
2, 4/5, s, z
Let q = -747.78 + 755. Let l = -7.52 + q. Sort -5, l, 0.19 in increasing order.
-5, l, 0.19
Let p = 173151 - 173162. Suppose -4*t - 25 = 5*n + 2, n = -2*t - 9. Put p, 1, n, -0.5 in decreasing order.
1, -0.5, n, p
Let i be 9*33/36*(-8)/(-3). Suppose 0 - 8 = 2*s + 2*x, -2*s + i = -4*x. Sort -4, -3, s, -42.
-42, -4, -3, s
Let z = -5567 - -5569. Sort 5, 1, -33, -5, z in descending order.
5, z, 1, -5, -33
Let b be 3 + -6 + (-45)/(-5). Let i be (1 - b/8)/((-52)/208). Put i, 0, -2, 1 in descending order.
1, 0, i, -2
Let r = 170847 - 170847. Let o = 0.4 + -1.7. Sort -9, r, o in descending order.
r, o, -9
Let d(q) = -68*q + 147. Let i be d(3). Let z be (-684)/i - 14/2. Put 3, z, -163 in increasing order.
-163, 3, z
Suppose 4*l = -2*r - 456, 5*r - r - 331 = 3*l. Let b = 2026 + -2025.7. Sort l, b, 0.1 in decreasing order.
b, 0.1, l
Let w = -397.1 - -392.1. Sort 0, 3, w in descending order.
3, 0, w
Let u = -199/532 + -1/1064. Sort -5, 1, u, -43 in ascending order.
-43, -5, u, 1
Let s = 0 - 5. Let w = 9.1 - -23.7. Let g = w - 30.8. Sort -4/7, -1/4, s, g in descending order.
g, -1/4, -4/7, s
Let n = -1.89 + -105.11. Let h = -107.72 - n. Let t = 0.62 + h. Sort 3, 36, t in descending order.
36, 3, t
Suppose 2*b + 14 = 0, 17 = -5*u + 3*u - 3*b. Put -106, u, 4, 5, 0 in increasing order.
-106, 0, u, 4, 5
Let m = -16 + 16.15. Let f = -9352 + 9351.9. Sort f, m, 0.4, 5 in decreasing order.
5, 0.4, m, f
Let z = 6 + -2. Let q = 248.06 - 247.06. Sort 3, q, z, -7.
-7, q, 3, z
Let j = 44 - 45.09. Let m = j - -0.45. Let d = -0.36 + m. Put 9, -0.5, d in ascending order.
d, -0.5, 9
Let m = 5/28 - 83/308. Let j = 1.729 + -4.729. Sort j, m, 5 in decreasing order.
5, m, j
Let z = -209/145 + 65/29. Put z, -0.1, -0.024, 1/3 in decreasing order.
z, 1/3, -0.024, -0.1
Let g = -176.1 - -180. Let k = g - 3.7. Sort -3, 1, 0.02, k in decreasing order.
1, k, 0.02, -3
Let s = -1205.3 - -1205.6. Sort 2, 24/7, s.
s, 2, 24/7
Let f = -9 + 3. Let y(b) = 617*b - 14195. Let l be y(23). Sort 0, 8, l, f in decreasing order.
8, 0, l, f
Let s(c) = c + 15. Let v be s(12). Let n be ((-2)/6)/(36/v). Let a = -100.8 - -101. Sort -3/4, a, 0.1, n in decreasing order.
a, 0.1, n, -3/4
Suppose -4*x - 8 = 3*l, -l + x + 8 = -3*x. Suppose l = -7*o + 15 + 97. Suppose -o = -19*r + 23*r. Sort 5, r, 2 in decreasing order.
5, 2, r
Suppose -61 = 9*i - 358. Let l be 1 - (7 + -3 - i). Let d be (-1)/(-12) - 10/l. Put d, -1/6, 2/15 in decreasing order.
2/15, -1/6, d
Let h(q) = 2*q + 23. Let a(s) be the first derivative of -s**4/4 + 3*s**3 + 9*s**2/2 + s + 13. Let i be a(10). Let m be h(i). Put -4, 7, m in descending order.
7, m, -4
Let w = -7 + 10. Let d = -2.946 + 2.846. Put 12, d, -2/5, w in ascending order.
-2/5, d, w, 12
Let b = -3074 - -3077. Sort -70/11, b, -0.01 in increasing order.
-70/11, -0.01, b
Let a(x) = -45*x + 1489. Let v be a(33). Sort 14, 29, v in descending order.
29, 14, v
Let h = -4.011 + 4.081. Sort h, -0.1, 162.
-0.1, h, 162
Let i = -3404 - -3403.8. Let p = -14 + 7. Let u = p + 12. Sort 7, i, u.
i, u, 7
Suppose 9*p - 6*p = -6. Let s be -7*(-1 - p)*18/7. Put 2, s, -5 in ascending order.
s, -5, 2
Let v(j) = 2*j + 1. Let m be v(-3). Let r = -54935 + 54934. Sort 5, r, m, -4 in ascending order.
m, -4, r, 5
Suppose -2 = -x + 5. Suppose -4*z - 5 = x. Suppose 5*t = -5*u - 5, -2*t + 4*u - 4 = 4. Sort 3, t, z in decreasing order.
3, t, z
Let j = -3184 - -3185. Sort j, -3/2, -2/11, 30.
-3/2, -2/11, j, 30
Let n = -1955 - -1953. Let c = 1 - -4. Let h(i) = i**3 + 2*i**2 + 2*i + 1. Let b be h(-2). Sort n, c, b, 0.
b, n, 0, c
Let g = -3540 + 3537. Sort 0, g, -57, 2, 4 in ascending order.
-57, g, 0, 2, 4
Let b(g) = -g**2 - 16*g - 43. Let k be b(-12). Suppose 5*r - 9*r + 5*x = 0, -2*r + k*x = 0. Sort -4, r, 1/5.
-4, r, 1/5
Let z = -3677 - -3676.5. Sort z, 5, -3/8, 16 in ascending order.
z, -3/8, 5, 16
Let s = 10303 - 10279. Sort 10, -7, s, -5 in descending order.
s, 10, -5, -7
Let f(r) = 131*r - 104. Let m be f(9). Let q be 2/(-13) - m/(-650). Sort 1/12, -2, q.
-2, 1/12, q
Suppose 14 - 46 = -m. Suppose -5*p = -m*p - 81. Let q be (-46)/10 + 2/(-5). Sort -1, q, p, 0 in ascending order.
q, p, -1, 0
Let z = 553 - 556. Let t = -17 - -16. Sort t, 4, z, 42.
z, t, 4, 42
Let w = -1244/9 + 138. Let v = -0.31473 - -0.31473. Sort w, 3, v in increasing order.
w, v, 3
Suppose -177 = 94*q - 321 - 326. Let c = 0.04 - -0.06. Sort 4, q, c, 9 in decreasing order.
9, q, 4, c
Let x = -553.4 - -553.3. Put -29, -1/7, x, 1/7, -39 in descending order.
1/7, x, -1/7, -29, -39
Let g(q) = 9*q + 436. Let t be g(-48). Put 0, -16, t, 3, -4 in ascending order.
-16, -4, 0, 3, t
Let g(t) = -t**2 - 1. Let l(j) = 4*j**3 + 4*j**2 - j + 5. Let v(i) = -5*g(i) - l(i). Let o be v(-1). Let m = 423 - 422. Sort m, -5, o.
-5, m, o
Let r(s) = -9*s - 25. Let v be r(-7). Suppose v*l = 33*l - 25. Let z be -1 + -5 + (-4)/(-2). Put l, 5, z, 2 in increasing order.
l, z, 2, 5
Suppose 59*k - 51*k - 152 = 0. Sort -9, 2, -4, k in increasing order.
-9, -4, 2, k
Let v = 1759 + -1766. Sort v, -8, 1 in descending order.
1, v, -8
Let l = -17 - -22. Suppose -l*d = -0*d - m + 5, -5*d = 5*m + 35. Suppose -165 = k + 4*v - 150, 3*k = -3*v - 18. Sort d, k, 15 in decreasing order.
15, d, k
Let z be 6 - (-9)/(-6)*6. Let y = 0 + 0.06. Let t = y + -0.36. Put t, z, -0.1 in decreasing order.
-0.1, t, z
Let x = -3577 + 3576.5. Put x, 7/5, 5, 4, -0.6 in descending order.
5, 4, 7/5, x, -0.6
Let i = 5.15199 + -0.15199. Sort 0.4, -5, -3/5, i, 6 in increasing order.
-5, -3/5, 0.4, i, 6
Let g(h) = 2*h + 79. Let t be 40/(-2)*82/41. Let a be g(t). Sort a, -2, 5 in ascending order.
-2, a, 5
Suppose 24*r - 1510 = -1390. Put 2, r, -1519 in decreasing order.
r, 2, -1519
Let n = -3379.5 - -3375.5. Sort n, -0.044, -1/3 in ascending order.
n, -1/3, -0.044
Let j(v) = -v**3 - 7*v**2 + 26*v + 148. Let f be j(-8). Sort -1, 93, f in increasing order.
-1, f, 93
Let d = -408 - -404.519. Let z = d - 0.519. Sort -1/4, 1/5, z, -5.
-5, z, -1/4, 1/5
Suppose 0 = 5*c - 237 - 63. Let f be ((-15)/6)/((-265)/c - -4). Put -1, 3, f, 2 in increasing order.
-1, 2, 3, f
Let c = 7610 + -7610. Let q = 3/101 + -131/1010. Put q, -5, c in decreasing order.
c, q, -5
Suppose 0*m - 4*m + 16 = 4*b, 0 = 5*m - 4*b + 16. Let y be ((-459)/(-255))/((10/(-25))/(4/(-6))). Put y, -6, m in increasing order.
-6, m, y
Let v be -2 - 6/(-3 - -2). Suppose 0 = 3*t - v*t + 17. Suppose -t*n - 2 = -15*n. Sort n, 4, 1 in decreasing order.
4, 1, n
Let c = 296 + -902/3. Sort c, -8, 0.06 in descending order.
0.06, c, -8
Let h be 38/12 - 3 - 4694/12. Let m = 2769/7 + h. Sort m, -0.4, 0.2 in decreasing order.
m, 0.2, -0.4
Let t = 104661 + -104614. Suppose 3*o = -0*o + 15. Sort o, t, 1 in descending order.
t, o, 1
Suppose 0 = 130*j - 124 - 149 - 117. Put 42, 2, 4, j in decreasing order.
42, 4, j, 2
Let v = -0.139 - -0.199. Let d = v + -2.06. Let h = 0