.
9, 4, b
Let j = 0.15 + -0.25. Let n = 937.01 - 929. Let c = 0.01 - n. Sort c, -2/3, j.
c, -2/3, j
Let y = 3 + 2. Let f = 4 - y. Let v = 3.7 + 1.3. Sort f, v, -3/11.
f, -3/11, v
Let g = -18 + -61. Let b = g + 76. Sort -0.3, b, 4/7 in increasing order.
b, -0.3, 4/7
Let i(o) = o**3 + 18*o**2 - 86*o + 45. Let v be i(-22). Put -3, 40, v in descending order.
40, v, -3
Suppose -58*d + 37*d + 42 = 0. Suppose r - 2*r = -1. Sort -7, 5, d, r.
-7, r, d, 5
Let m(k) = -2*k + 12. Let l be m(4). Suppose 63 = -5*b - 217. Let a be 7/b + 62/(-16). Sort l, a, -5.
-5, a, l
Let l be (9/6)/((-3)/(-10)). Suppose -l*n - 5 = -10*n. Let v(b) = b**3 + 14*b**2 + 12*b - 17. Let a be v(-13). Sort n, -6, a in ascending order.
-6, a, n
Let k = -7.7 - 1.3. Let a = 740 + -730.7. Let n = a + k. Put 0.4, -0.4, n in ascending order.
-0.4, n, 0.4
Let z = -407 + 406. Put 0.4, z, -1/21 in descending order.
0.4, -1/21, z
Let u be (-6 - 104/(-20))/(1 + 1). Let w = -30/19 + 128/57. Sort 1/3, u, -1, w in descending order.
w, 1/3, u, -1
Suppose -27 = -82*w + 73*w. Sort -2, 1, 17, w in decreasing order.
17, w, 1, -2
Let c = -0.7 - 0.3. Let q = -182 + 185. Put c, -0.5, 0.22, q in descending order.
q, 0.22, -0.5, c
Suppose u = -h + 5, 3*u = -u + 3*h + 13. Suppose 5 = -u*j - 0*j + t, -5*t + 25 = 4*j. Sort -4, j, -1 in ascending order.
-4, -1, j
Let c be 136 + -129 - (11 + -1 + -2). Let q = -199/2 + 97. Sort q, 0.5, c in increasing order.
q, c, 0.5
Suppose 0 = c + 4*s - 88, 5*s = -5*c + 7*s + 440. Put c, 5, 0 in descending order.
c, 5, 0
Suppose -x = 5*b - 6*x - 85, -95 = -4*b - 5*x. Let g be b/3 + -4*4/24. Put g, 3, 5, 1 in decreasing order.
g, 5, 3, 1
Let q = -2258 - -2255. Suppose -3*z = -z - 2. Sort 5, z, q in decreasing order.
5, z, q
Let i = 13 - 12.8. Let x = -305/7 - -44. Let h = 0.08 + -5.08. Sort i, x, h.
h, i, x
Let h be 0 + -3 + -1 + 6. Suppose 8*z - 14 = -5*k + 5*z, k = -2*z. Put 5, h, k, -2 in increasing order.
-2, h, k, 5
Let i = -2340 + 2317. Put i, -1, -2/15, 2/13 in increasing order.
i, -1, -2/15, 2/13
Let o = 974 + -933.7. Let p = o - 40. Sort p, 1/3, -0.2.
-0.2, p, 1/3
Suppose 43*y - 16*y - 54 = 0. Sort 1, y, -279 in descending order.
y, 1, -279
Let u(r) = 3*r**2 - 3*r. Let y be u(2). Let h(l) = l**3 - 6*l**2 + l - 8. Let i be h(y). Sort 1, 2, i in ascending order.
i, 1, 2
Let z = -1.57 - 0.03. Let b = -0.1 - z. Let g = -3.5 - b. Put g, -2, -0.2 in increasing order.
g, -2, -0.2
Let t = -6 + 16/3. Let c = -0.1 - -0.21. Let x = c + -0.41. Put t, 4, x in increasing order.
t, x, 4
Let a = -133 - -130. Let n = 13 + -13. Sort a, 0.13, n in descending order.
0.13, n, a
Suppose 0 = -2*j + 10*j - 32. Let f(w) = w**2 - 6*w - 3. Let a be f(6). Put j, 0, a in increasing order.
a, 0, j
Let a(m) = -m**2 + 4*m + 1. Let f be a(3). Let z(n) = n + 6. Let o be z(9). Let p be ((-9)/2)/(o/20). Put -4, p, f in decreasing order.
f, -4, p
Suppose -5*a + 5*r + 22 = -2*a, 3*a + 4*r + 23 = 0. Let s be 3 - a/(4/(-20)). Put -1/2, s, -0.3 in decreasing order.
-0.3, -1/2, s
Let m = 298 + -303. Sort m, -1/2, 61, -1/5.
m, -1/2, -1/5, 61
Suppose 3*s = -4*z - 31, 17 = -3*z - 26*s + 25*s. Sort 1, -2, 5, z.
z, -2, 1, 5
Let q(t) = -4*t + 19. Let v be q(-8). Let s = v + -30. Suppose 4*o + s - 9 = 0. Sort 0.1, -0.7, o in descending order.
0.1, -0.7, o
Let p(v) be the first derivative of -v**2/2 - 12*v - 1. Let n be p(-16). Let i = 0.2 - 0.4. Put i, n, 0.2 in ascending order.
i, 0.2, n
Suppose 0 = d + 5*o + 12, -d = 2*d + 5*o + 16. Let j(i) = -i**3 + 2*i**2 - i. Let t be j(1). Sort t, 2, d, 0.5 in ascending order.
d, t, 0.5, 2
Let k = 1.1557 + -0.1357. Put 1/4, k, -3 in descending order.
k, 1/4, -3
Suppose -5*r + 26 = -2*m, r - 5*m - 2 = -3*m. Suppose -7 = r*x + x. Let y(w) = -w**2 - 6*w + 5. Let t be y(-6). Put x, -5, t in decreasing order.
t, x, -5
Let h = 14.998 - 0.298. Let g = -0.3 - h. Let d = -12 - g. Put d, -3/2, 0.6 in decreasing order.
d, 0.6, -3/2
Let a = -391.14 - -391. Sort 2/5, a, -2, 1/9.
-2, a, 1/9, 2/5
Let r be 1 + 2/(-5) + (-13)/5. Let p = -662/5 - -132. Put 0.3, r, p in decreasing order.
0.3, p, r
Let r = 217 + -214. Sort 1, -4, -2, r in decreasing order.
r, 1, -2, -4
Let h = -3.16 + 2.96. Put -2/3, h, -0.3, 2 in decreasing order.
2, h, -0.3, -2/3
Let q(g) = g**2 + 65*g - 62. Let w be q(-66). Put 2, -5, w, -8 in decreasing order.
w, 2, -5, -8
Let l(o) = -1 - 1 + 0 + 15*o**3 + 3*o - 2*o**2. Let y be l(1). Suppose -6*k + y = k. Sort 5, -5, k in increasing order.
-5, k, 5
Let k be (-2 - -2)/1 - 0. Suppose 0*b + b + 4 = k. Suppose 5*z - n = 3*n - 50, -10 = z - 4*n. Put b, z, 5 in increasing order.
z, b, 5
Let m = -18 - -80. Let y = -27 + m. Sort 3/8, -5, y in descending order.
y, 3/8, -5
Let u be 2/3*((-344)/80 - -4). Sort u, -1, 4 in descending order.
4, u, -1
Suppose 2560 = -14*v + 2532. Put -32, 4, v, -4 in increasing order.
-32, -4, v, 4
Let a(f) = -f**2 + 12*f - 33. Let b be a(6). Sort -2, 6, b.
-2, b, 6
Let a = 0 + -0.1. Let l = -0.1 - a. Let m = 3.559 - 0.559. Sort -3/7, l, m in decreasing order.
m, l, -3/7
Suppose -24*w + 16 = -8*w. Suppose 5*i + 32 = i. Let p = 5 + -5. Sort w, i, p in decreasing order.
w, p, i
Let b be 4/(-10) + (-3)/(60/(-68)). Suppose b + 3 = n - 5*m, -m = -4*n + 5. Put 5, n, 0 in decreasing order.
5, n, 0
Suppose 8 = 4*n - 3*q, 0 = -n + 2*n + q - 2. Put n, -5, 34 in increasing order.
-5, n, 34
Let q = -95 + 97. Put q, -2/21, 5/4 in descending order.
q, 5/4, -2/21
Let d = -1058 + 1057.8. Put 28, -2/7, d, 0.1 in descending order.
28, 0.1, d, -2/7
Suppose 0*c - 5*c + 3 = -4*i, 2*i = 3*c - 3. Sort c, 9, 33 in descending order.
33, 9, c
Let m = 25 + -28. Put m, 2, 11 in descending order.
11, 2, m
Let j be ((-26)/(-273))/((-44)/(-77)). Sort -26, 2, j, 0 in ascending order.
-26, 0, j, 2
Let n(s) = s - 54. Let z be n(53). Sort -9, -5, z in decreasing order.
z, -5, -9
Let z = 254 - 261. Put z, 1, 2 in increasing order.
z, 1, 2
Let r(d) = -5*d**2 + 4*d - 3. Let i(j) = -25*j**2 + 19*j - 14. Let s(o) = -2*i(o) + 11*r(o). Let g be s(1). Put g, 1, 4, -2 in decreasing order.
4, 1, -2, g
Let l(k) = -k**2 - 4*k + 15. Let a be l(-6). Suppose -a - 3 = -2*h. Sort 6, -3, h, 5.
-3, h, 5, 6
Let k = -3 - 0. Let h = -0.035 - -0.435. Sort 2/9, k, h, -0.6 in ascending order.
k, -0.6, 2/9, h
Let q = 2.6 - 30. Sort 0.5, q, 1/4.
q, 1/4, 0.5
Let y be (-12)/4 + 0 + -1. Let w be (6/y)/(19/(-114)). Sort 1, w, 0 in decreasing order.
w, 1, 0
Let z(r) = -4*r + 17. Let m be z(7). Let f = m + 14. Suppose -2 = -f*o - 5. Sort 1/6, -0.1, o.
o, -0.1, 1/6
Suppose 4*i + 20 = 0, -7*o + 4*o - 5*i - 16 = 0. Put o, -2, 0, 4 in increasing order.
-2, 0, o, 4
Let s(h) = -h**2 + 5*h + 1. Let d be s(4). Suppose 0 = 2*b - 6*g + 5*g + 9, -2*g - 2 = 0. Let u(z) = -3*z**3 - z. Let v be u(-1). Sort b, v, d.
b, v, d
Suppose 2*c + 188 = -m + 5*m, -25 = -m - 5*c. Let p be (18/m)/((-42)/10). Let d = -363/7 + 52. Sort -3, d, p in ascending order.
-3, p, d
Let h = -1.3 + -6.7. Let q = -3 + -2. Let k = h - q. Sort k, -5, -1/2.
-5, k, -1/2
Let w = -228559201516005 - -221976925071567314969/971201. Let s = 24/12613 + w. Let c = -158/7 + s. Put 0.4, -0.4, c in increasing order.
-0.4, c, 0.4
Let q = 8.7 - 9. Let n = -0.0289 + -24.9711. Put 4, q, n in decreasing order.
4, q, n
Let t(r) = r**3 + 3*r**2 - 2*r + 7. Let o be t(-4). Let h(q) = -q - 9. Let i be h(-9). Put -4, i, o, 3 in increasing order.
-4, o, i, 3
Let k = 1892.5 + -1892. Sort k, -0.5, 2/51, -2/5 in decreasing order.
k, 2/51, -2/5, -0.5
Let o(b) = 2*b**2 - 3*b - 9. Let l be o(6). Suppose -5*k + l = -5*j, -2*k - 32 = 6*j - 3*j. Sort 0, -4, j in increasing order.
j, -4, 0
Suppose 3*x - 25 + 4 = 0. Let n = 8 - x. Let z be 2/(0 + (-2 - -1)). Sort z, n, -4 in decreasing order.
n, z, -4
Let x = 2203/2 - 1101. Let w = 7.98 - -0.02. Suppose -3*d - 8 = v, -4*d - 3*v - 29 = -10. Sort x, d, w in decreasing order.
w, x, d
Let p = -0.02 + -0.02. Let l = p - -0.7. Let u = l - 0.26. Put 4, 5, u in decreasing order.
5, 4, u
Let h = -10 + 26. Let r be -3 + 4 + h/(-28). Let o be 2/(16/10) + -2. Sort r, -1, o in descending order.
r, o, -1
Let i(l) = -3*l + 6. Let w be i(2). Let k be (2 + -3)/(2/6). Let n be -1 + w + (-1 - k). Put n, -2, -3 in descending order.
n, -2, -3
Let r = -43 - -46. Suppose 2*n = -4*s - 18, r*s - 3*n - n + 8 = 0. Suppose 2*m - 4*q - 20 = 0, -5*m - 4*q + 25 = -9*q. Sort