 Let x = -6 - -11. Let z(l) = l**2 - 7*l + 6. Let c be z(x). Sort o, -3, c in ascending order.
c, -3, o
Let d = -0.8364 - 0.0636. Sort -5, -0.06, d in ascending order.
-5, d, -0.06
Let j = -728 - -725. Sort 718, j, -5 in decreasing order.
718, j, -5
Let i = -22 - -19.6. Let s = -28.4 - i. Let r = s - -28. Sort 0.19, r, -3 in descending order.
r, 0.19, -3
Let k be ((-4)/62)/(-9 - (-8)/1). Put -1, k, -0.5, -4 in increasing order.
-4, -1, -0.5, k
Let c be (-4)/(-14) + 10/14. Let f(l) = l**3 - 9*l**2 + 4*l - 22. Let a be f(9). Let n be ((-54)/36)/(a/8 + -1). Sort c, n, -5.
-5, n, c
Let p(w) be the first derivative of 0*w**2 + 2*w**3 - 1/4*w**4 - 1 + 5*w. Let z be p(6). Put 1, z, -3 in increasing order.
-3, 1, z
Suppose 4*d + 12 = -116. Let y be 3/3 - d/(-8). Sort 0.5, 4/5, y in ascending order.
y, 0.5, 4/5
Let l = -1168 - -1163. Sort 1, l, 4, 3 in descending order.
4, 3, 1, l
Suppose -5*d = 3*l + 5, -l + 4 = 4*d + 1. Let b be (-3)/d + (-12)/(-8). Let q = -1 + 5. Sort 3, q, b in ascending order.
b, 3, q
Let w be 4/(-12) + 7/9. Let p = -297 + 294. Sort p, 5, w.
p, w, 5
Suppose 37*g + 9 = 38*g - 3*h, -2*g + 15 = -5*h. Let f = -1 + -13. Put 3, f, g in ascending order.
f, g, 3
Let g = 14 + -14.24. Let q = -7.85 - -3.61. Let v = g - q. Sort -4, 0.4, v in ascending order.
-4, 0.4, v
Let i be ((-249)/332)/((-6)/568). Sort 1/4, -0.1, i in descending order.
i, 1/4, -0.1
Let a(i) = -i - 4. Let b be a(-6). Let n(v) = 7 + 2*v**3 - b - 5. Let f be n(-1). Sort 2, 4, f.
f, 2, 4
Let q be (-1 + -2)/3 + 1. Let i = 4 + q. Suppose -i*c - 1 - 3 = 0. Sort -3, -0.5, c.
-3, c, -0.5
Let w be (-2)/2 - 3*166/6. Let l = -89 - w. Put -4, 5, l, 3 in decreasing order.
5, 3, -4, l
Suppose -20*h + 627 = -153. Sort 2, h, 5 in ascending order.
2, 5, h
Let x = -5.09 - -5.19. Sort x, -2.8, -4 in decreasing order.
x, -2.8, -4
Let j = 48 + -38. Suppose -8*p = -3*p - j. Sort 1, 0, -2, p in decreasing order.
p, 1, 0, -2
Let u be 4 + -2 - (4 - 2). Suppose u*k - 6*k + 6 = 0. Sort k, -1, 0.
-1, 0, k
Let a = -390 + 372. Sort a, 1, 5.
a, 1, 5
Let n = -36 - 7. Let f = n - -48. Sort -2, f, 3/2 in decreasing order.
f, 3/2, -2
Let d = 62 + -63. Let u be 1*d - 2/(-4)*6. Put -2, u, 24 in decreasing order.
24, u, -2
Let c be -1 - (-25)/(-20)*-4. Sort -23, -2, c, 0 in increasing order.
-23, -2, 0, c
Let b = 306 - 209. Sort b, -2, -1 in descending order.
b, -1, -2
Let z = -686 - -684. Sort z, -5, -54.
-54, -5, z
Let j(b) be the first derivative of -b**4/4 - 13*b**3/3 - 11*b**2/2 - 11*b + 6. Let k be j(-12). Put k, 2, -2/15 in ascending order.
k, -2/15, 2
Let n = 119/33 + -36/11. Let m = -46/9 + 488/99. Sort n, m, 3 in descending order.
3, n, m
Let t = 0.012 + -0.047. Let g = t + 0.135. Sort -1, 2/3, g in increasing order.
-1, g, 2/3
Let x = -0.142 + 1.082. Let d = -1.04 + x. Put 0.1, d, -0.13 in decreasing order.
0.1, d, -0.13
Let a be 1*(-69)/(-6) - 2/4. Suppose -a + 8 = -j. Sort j, 2, -4 in decreasing order.
j, 2, -4
Let u = 73.1 - 5.1. Let i = 70 - u. Sort -5, -3, i in ascending order.
-5, -3, i
Let v = 2429 + -2424. Suppose 0*i = -d - i + 8, 4*d = -3*i + 30. Put d, 3, v in descending order.
d, v, 3
Let a(r) = r**2 + 2*r + 11. Let y be a(-5). Let t = y + -27. Put t, -4, 1 in increasing order.
-4, t, 1
Suppose 0 = 3*y + 24 - 33. Suppose -y*w - 6*l = -2*l + 8, 5*w + 16 = -4*l. Sort w, -7, -0.2.
-7, w, -0.2
Let u = -5.3 - -6.3. Sort -0.4, -2, u, -3/35.
-2, -0.4, -3/35, u
Suppose 2*z = -2*l + 34 - 26, 0 = 5*z - l - 20. Put -80, 2/13, z, 3 in ascending order.
-80, 2/13, 3, z
Let j = -173 - -97. Let s be 382/4*(-4)/(-5). Let i = s + j. Put 3, i, -0.3 in descending order.
3, i, -0.3
Let r(f) = 5*f - 18. Let c be r(6). Suppose 3*z + 2 = 2*t + 2*t, 2*t - c = -4*z. Suppose 4*d + 9 = -3. Sort -2, t, d in decreasing order.
t, -2, d
Let f(h) = h**3 - 4*h**2 - 4*h - 2. Let k be f(5). Let q = 152 + -160.1. Let t = 8 + q. Sort t, k, 3/2 in decreasing order.
k, 3/2, t
Let j = -336 - -338. Sort j, 1, 5 in descending order.
5, j, 1
Let x = 19.96 + -17. Let g = 2.4 - x. Let r = -0.06 - g. Sort 0.2, 5/4, r in decreasing order.
5/4, r, 0.2
Let f = -7078 - -7078.1. Let r be (-4)/(0 + 2) - 5. Sort r, -3, f.
r, -3, f
Let i(z) = 2*z - 40. Let n be i(22). Sort 3, 13, 0, n in decreasing order.
13, n, 3, 0
Let j = -549 - -553. Suppose s + 0*l + 3*l + 7 = 0, s + 15 = -5*l. Put -1, s, j in increasing order.
-1, j, s
Let u(l) = 2*l**2 + 2*l - 117. Let o be u(7). Sort o, -18, 2 in descending order.
2, o, -18
Let r(h) = -h**3 + 2*h**2 - 1. Let l be r(-1). Let j be 325/(-35) + (-4)/(-14). Let q be (0 + j/3)/1. Sort -1, q, l in decreasing order.
l, -1, q
Let v = -7 - -9. Suppose p - u = -v*p + 2, -2*p - 5*u = -24. Let w be (0/3)/(6 - 7). Sort w, -2, p in descending order.
p, w, -2
Let u = 6.27 + -6.283. Put 0, -2, u, 4 in increasing order.
-2, u, 0, 4
Let k = -376 - -311. Put 5, k, -3 in increasing order.
k, -3, 5
Let q = -2.695 - -2.745. Suppose 0 = 3*d - 0*d - 15. Suppose -b + 0 = d. Sort b, q, 1 in descending order.
1, q, b
Let n(k) = 3*k**2 - 67*k + 18. Let p be n(22). Sort -22, 3, 1, p in descending order.
3, 1, p, -22
Let n(g) = -g**2 - 10*g + 40. Let t be n(-13). Suppose -3*r = -2*j + 37 - 13, r = -j - 3. Put r, 2, t in descending order.
2, t, r
Let m = 0.17 + -0.51. Let b = -2.34 - m. Put 0.1, -3/7, 4, b in descending order.
4, 0.1, -3/7, b
Suppose -4 - 65 = 23*r. Sort -7, r, 4, -2 in decreasing order.
4, -2, r, -7
Suppose -4*l - 14 = h, 5*l - 5*h + 87 - 82 = 0. Let k = -6 + 14. Sort l, k, -2 in descending order.
k, -2, l
Suppose 6*a - 3 = 5*a. Suppose 4*l - 40 = -4*v, -a*v + 16 = -0*l + l. Put l, -1, 4 in descending order.
l, 4, -1
Let w = -44 - -47. Suppose -17 - w = 4*l. Sort 0, 2, l.
l, 0, 2
Let a = 579 + -613. Put a, -5, -2/3, 2/15 in ascending order.
a, -5, -2/3, 2/15
Suppose o - 10 = -4*f - 0*o, 0 = -2*f - 3*o. Let y be (-2)/(-10)*(-120)/(-72). Put y, 6, f in descending order.
6, f, y
Suppose -18*d - 32 = -14. Sort d, 10, -2, 1 in decreasing order.
10, 1, d, -2
Let n be (-6)/24 - ((-122059)/60)/(-7). Let o = n + 291. Let z = 0 - 0. Sort o, z, -0.4 in descending order.
o, z, -0.4
Let h be (-1)/(-4) + 411/548. Put -2, h, 21, -8 in ascending order.
-8, -2, h, 21
Let c(z) = -z**3 + 15*z**2 - 13*z - 16. Let v be c(14). Let f(y) = -y**3 + 2*y**2 + y + 4. Let n be f(0). Let q be -6 + n - 3*-2. Sort 10, v, q.
v, q, 10
Suppose 0*y + 27 = -3*y. Suppose -h - 36 + 38 = 0. Sort h, y, -4 in descending order.
h, -4, y
Let h = -1469 - -1474. Sort h, -11, 7 in increasing order.
-11, h, 7
Let h = 73 + -72. Let w = 7 + -5. Sort -3, w, h, 1/3 in decreasing order.
w, h, 1/3, -3
Let p(r) = 24*r - 99. Let k be p(4). Sort k, 0, 10, 1.
k, 0, 1, 10
Let d = 1354 - 1352. Sort -3, -5, -40, d in ascending order.
-40, -5, -3, d
Let z(c) = -4*c**3 - 2*c**2 + c. Let k be z(2). Let x = k - -34. Put x, -3, 3 in descending order.
3, -3, x
Let z = 16 + -21. Let u be (2/(-6))/(1 + (-3)/9). Sort z, -4, u.
z, -4, u
Let a = -178 + 184. Sort 2, -5, a.
-5, 2, a
Let m = -13 + 89/7. Sort 0.072, 3/2, m in decreasing order.
3/2, 0.072, m
Suppose -g - 6 = -1, 25 = 5*v - 3*g. Suppose 0*t + 5*t + 10 = 0. Let o(f) = -f**3 + 9*f**2 + 70*f - 7. Let u be o(-5). Put u, v, t in decreasing order.
v, t, u
Let p be (5 - (19 + -2)) + 12. Sort p, 162, 1/5, -1/7.
-1/7, p, 1/5, 162
Let u be (1/(-2))/((-4)/(2 + 2)). Put 3/4, -1/10, -7, u in descending order.
3/4, u, -1/10, -7
Suppose 0 = u - 3*p + 3, 6*p - 20 = 4*u + 2*p. Let c be (-9)/6*u/3. Suppose -1 = j - 2*n - 6, -4*j = -5*n - 14. Sort j, -3, c in increasing order.
-3, j, c
Let k(h) = h**3 - 7*h**2 + 5*h + 7. Let b be k(6). Let z(c) = -c**3 - 2*c**2 + 2*c + 1. Let m be 72/(-33) - 6/(-33). Let a be z(m). Sort a, 4, b.
a, b, 4
Let s = 517 - 513. Sort 8, -4, 0.11, s in descending order.
8, s, 0.11, -4
Suppose 3*u + 29 = 11. Suppose 0 = 62*h - 45*h - 51. Put u, -3, h in decreasing order.
h, -3, u
Let d(p) = p**3 + 6*p**2 + p - 17. Let t be d(-5). Let m = 253 - 247.16. Let v = 0.16 + m. Sort -4, t, v in decreasing order.
v, t, -4
Let f(j) = j + 1. Let u(t) = t + 1. Let i(w) = -4*f(w) + 5*u(w). Let o be i(5). Sort o, 4, 1 in descending order.
o, 4, 1
Let u = 16.41 + -19.41. Sort -1/3, u, 0.018 in increasing order.
u, -1/3, 0.018
Suppose 4*c + 4*i - 21 + 9 = 0, 0 = -5*c - 4*i + 15. Suppose -4*n - 2*h - 36 = h, -c*n - 27 = 5*h. So