8). Put -6, -5, l in decreasing order.
l, -5, -6
Let x(g) = -g + 1. Let p be x(2). Suppose -2*i - 2*s - 2*s = -12, 2*s = 5*i - 18. Sort 5, i, p in descending order.
5, i, p
Let n(q) = 2*q**2 - 3*q + 3. Let h be n(2). Suppose 2*l - 4*s = 8, l + 2*s - 2 = 3*s. Suppose l = -m + 3 - 2. Sort h, m, 6 in decreasing order.
6, h, m
Let w be 3*20/12 + (-144)/18. Sort 0.1, -3/5, w, -2/9 in descending order.
0.1, -2/9, -3/5, w
Let t = -0.512 - -0.112. Put t, 25, -0.3 in decreasing order.
25, -0.3, t
Let k(q) = -q**2 - 19*q - 24. Let n be k(-13). Let s = n + -56. Sort -3, 1, -1, s in descending order.
1, -1, s, -3
Suppose 2*j = -2*j. Suppose -o + 3*o = -8. Sort o, j, 5 in decreasing order.
5, j, o
Suppose 0*p + 1 = -p. Suppose 7 - 1 = -2*r. Let w = r - 1. Sort p, w, -3.
w, -3, p
Let y(m) = 77*m**2 + 4*m - 16. Let f be y(3). Put 3, 4, f in descending order.
f, 4, 3
Suppose 100*o - 101*o - 1 = 0. Let u be 60/(-8)*(-2)/(-18). Sort u, 0, o, 1 in descending order.
1, 0, u, o
Let d(l) = l**2 + 2*l + 1. Suppose 2*v - 3 + 7 = 0. Let b be d(v). Sort 2/13, -2, -4, b in ascending order.
-4, -2, 2/13, b
Suppose 3*a = 14*a - 11. Sort 5, a, 4 in descending order.
5, 4, a
Let d(c) = -c**2 - 6*c - 6. Suppose -5*l + 0 + 20 = 0. Let b = -1 - l. Let z be d(b). Put -3, z, -6 in decreasing order.
z, -3, -6
Let i = 1048 - 1044. Sort 1.4, 5, 0.3, i in decreasing order.
5, i, 1.4, 0.3
Let b = -3.949 - 0.051. Let x = b - -4.11. Put 3, 0.4, x in increasing order.
x, 0.4, 3
Let z = 27.7 + -28. Let v = 18 - 5. Sort z, v, -0.1 in decreasing order.
v, -0.1, z
Let d be 2/10 - 1054/(-780). Let k = -18/13 + d. Put 3/4, k, 0.4 in decreasing order.
3/4, 0.4, k
Let j(r) be the first derivative of -r**3/3 + 7*r**2/2 + 19*r + 46. Let p be j(9). Sort -1, p, 0.29 in decreasing order.
p, 0.29, -1
Let j(g) = -g**2 - 7 - 11 - 2 + 11*g - 6. Let v be j(7). Sort 3/4, v, -0.2, -1/3 in increasing order.
-1/3, -0.2, 3/4, v
Let x = -68.74 + 0.74. Let g = 64 + x. Put -2, 2/17, g, 8 in descending order.
8, 2/17, -2, g
Let w = 2511/4160 + -3/832. Put w, -2.8, 3 in decreasing order.
3, w, -2.8
Let c(n) = 4*n**3 - 29*n**2 - 24*n + 5. Let r be c(8). Sort -3, r, 1, -103.
-103, -3, 1, r
Let b = -2645 + 2643. Sort 0, b, 466 in decreasing order.
466, 0, b
Let z(q) = -3*q - 37. Let o be z(-18). Put -2, o, 3 in descending order.
o, 3, -2
Let i = -50 - -55. Suppose m + i*z + 20 = -3*m, m + z = -5. Sort -1, 0, -26, m in decreasing order.
0, -1, m, -26
Let a = -0.15 - -0.05. Let x = -1 + 1. Sort -2/5, a, x in increasing order.
-2/5, a, x
Suppose 3 = 5*a - 4*b, 0 = -4*a + 13*b - 15*b + 18. Put 0, a, -1, 12 in descending order.
12, a, 0, -1
Let d = 74 - 74.98. Let f = d - -1.1. Let b = -0.52 + f. Put b, -3/7, 1/9 in increasing order.
-3/7, b, 1/9
Suppose -5*d - r = -19, 2*d + 3*r = -r + 4. Suppose 0 = 5*k - 2*q - 6, -5*k + 2 + 0 = -d*q. Let j = -145 + 144. Put j, k, 4 in increasing order.
j, k, 4
Let l = -135 + 141. Put -4, 5, l in increasing order.
-4, 5, l
Suppose 2*p = t + 14, 4*t = -114*p + 110*p + 16. Sort 3, p, 11 in descending order.
11, p, 3
Let v = 42 + -48. Let b be (-2 - 0)*(-3 + (-9)/v). Sort 20, b, 2, -2.
-2, 2, b, 20
Suppose -c = -3*x + 6, -10 + 4 = 3*x + 3*c. Suppose 0 = -o + 6*o - 70. Let q be (-9 + o)/(1 + -2). Sort q, 2, x in increasing order.
q, x, 2
Let j = 0.71 + -7.71. Let f = -3.4 + 3. Let v = -1 - -0.7. Sort v, j, f in ascending order.
j, f, v
Suppose 27*p - 20 = 37*p. Put 25, 1, p in decreasing order.
25, 1, p
Suppose 12*r = 11*r. Suppose r = -4*c + 63 + 13. Sort c, 5, 2.
2, 5, c
Let z = -17 - -12. Let p = -8 - -9. Let k = 12.932 + 0.068. Sort p, k, z.
z, p, k
Let v = -42/11 - -367/99. Let u = 7 - -32. Let s = 38.5 - u. Sort v, 1/8, s.
s, v, 1/8
Let n = -0.033 - 0.267. Sort -4, n, -2/9, 0 in ascending order.
-4, n, -2/9, 0
Let d = 237 - 712/3. Let t = 0.5 + -1. Sort -5, d, t in decreasing order.
d, t, -5
Let l = -0.3113 + 0.0113. Let n = -6.96 - -7. Sort 4, l, 0.3, n in descending order.
4, 0.3, n, l
Let x = 8.85 - 3.85. Let f = -3.05 - -0.05. Put x, f, 3/2 in increasing order.
f, 3/2, x
Let h = 136 + -137. Let l = -0.4 + 5.4. Sort h, l, -2 in decreasing order.
l, h, -2
Let x = 358 + -356. Put -4, x, -210, -3 in decreasing order.
x, -3, -4, -210
Let b(f) = -8*f - 92. Let g be b(-12). Let t be 4/(-10) + (-12)/(-5). Sort g, 3, t.
t, 3, g
Let p = 13.7 - -4.3. Let v = 23.009 - 0.009. Let q = v - p. Sort 2/13, q, -2/15 in increasing order.
-2/15, 2/13, q
Let r = -811 - -811. Let j = 7.4 - 0.4. Let u = j + -5. Put u, -0.4, r in increasing order.
-0.4, r, u
Let v = -199 - -108. Let s = 92 + v. Sort -1, 0, s, -4 in descending order.
s, 0, -1, -4
Let y be (3 - 9)/(1/(-2)). Suppose 15*o = 11*o - y. Sort o, -4, -2 in descending order.
-2, o, -4
Let i be (23 + -1)*(-29)/58. Sort -2/13, 0.3, -0.1, i in increasing order.
i, -2/13, -0.1, 0.3
Suppose -65*q = -63*q + 2. Let b = -0.07 - 0.43. Sort 2/15, b, q in increasing order.
q, b, 2/15
Suppose -a = 2*a - 36. Suppose -3*h + 4*g = -a, -2*h - 5*g + 7 = -1. Suppose h*p - 14 = 4*j + 14, 20 = -5*j + 2*p. Sort -5, 2, j in descending order.
2, j, -5
Suppose -k = -4*k. Sort -1, -3/14, -5/2, k in ascending order.
-5/2, -1, -3/14, k
Let f(i) = 5*i + 0*i - 5 + 0*i**3 - 4*i**2 + i**3. Let u be f(4). Suppose 1 = -4*o - u. Sort o, 5, -1.
o, -1, 5
Let i = 4.9258 - -0.0742. Sort -0.2, 0.3, i, 0.02 in ascending order.
-0.2, 0.02, 0.3, i
Suppose -2*h - 2 = 4*p, p - h = -0*p + 7. Let i be (1 - p)*2 - 0. Put -5, i, 5 in descending order.
5, i, -5
Suppose 13*p - 8*p + 5*d = 25, 0 = 3*p - 3*d - 39. Sort 5, p, -5.
-5, 5, p
Let t = 0.036 + -7.136. Let u = t + 0.1. Let s = u + 4. Sort 2/9, -2/3, s in decreasing order.
2/9, -2/3, s
Suppose 0 = -n + 4*a - 47, 0*n - 3*a = -n - 44. Let p = n - -39. Sort 1, p, -2 in increasing order.
-2, 1, p
Let j = -110 - -114. Put j, 3, -3 in decreasing order.
j, 3, -3
Let a = -756 - -761. Sort -226, -2, a in decreasing order.
a, -2, -226
Suppose 4*m - 36 = -2*u, 0 = -4*u + 5*m - 16 + 36. Let j = 11282 - 11287. Put -2, -3, j, u in ascending order.
j, -3, -2, u
Let f = 1/332 - -1319/2988. Sort 8, f, 3, 5 in decreasing order.
8, 5, 3, f
Let m(r) = r**2 + 10*r - 52. Let h be m(-12). Sort 4, 2, h, -2.
h, -2, 2, 4
Let r(u) = u**2 - 37*u + 324. Let s be r(14). Let v = 4 - 2. Let q(g) = g**3 - 2*g**2 - g. Let y be q(v). Put y, 5, s in decreasing order.
5, s, y
Suppose 2*d = p + 18, -125*p + 40 = -128*p + 4*d. Let m(x) = -2*x**2 + 4*x. Let s be m(4). Put -5, p, s in ascending order.
s, -5, p
Let b(x) = -x**2 - 2*x. Let v(g) = -g**3 + 25*g**2 - g + 24. Let c be v(25). Let d be b(c). Put d, 0, 4, -4 in increasing order.
-4, 0, d, 4
Let s = 0.05 - 1.05. Let c = 4 - s. Let t = 7 - c. Put t, -0.4, 3 in decreasing order.
3, t, -0.4
Let x = 1.3 - 0.3. Let z = 8061.89 + -7992. Let h = z - 70. Put h, -0.4, x in decreasing order.
x, h, -0.4
Let t = -2438 - -2432. Sort -17, t, 2/11 in increasing order.
-17, t, 2/11
Suppose 2*i - 40 = 22*i. Sort 19, 3, i.
i, 3, 19
Let f(t) = 4*t - 16. Let y = 33 + -29. Let l be f(y). Suppose 1 = 5*r + 6. Sort 4, l, r in descending order.
4, l, r
Let u(p) = p**3 - 14*p**2 - 31*p - 14. Let k be u(16). Sort -1, k, 1, -11 in increasing order.
-11, -1, 1, k
Let g be (15/12)/(2/8). Sort -32, g, 3 in ascending order.
-32, 3, g
Let a = 3 - 3.5. Let q be -9 + (-294)/(-35) + (-1 - -1). Sort a, 0.1, q.
q, a, 0.1
Let d = -4 - -39. Let w = 34.5 - d. Let g be (1 + -8)/(3 + 1). Put -4, g, w in ascending order.
-4, g, w
Suppose 0*m - 9 = -3*m. Suppose d - 5*p = 3*d + m, -2*d + p + 3 = 0. Sort d, -2, -11.
-11, -2, d
Let c(m) = -m**2 - 5*m + 3. Let b be c(5). Sort b, 4, 3.
b, 3, 4
Let r(p) = p**2 - 15*p - 6. Let g be 3/(-12) - (-45)/20. Suppose -2*a = -2, 4*q - g*a = 20 + 38. Let l be r(q). Put l, 3, -2 in descending order.
3, -2, l
Let a = -819 - -821. Sort 5, 0.4, a in decreasing order.
5, a, 0.4
Let y = 144 + -126.4. Let x = y + -3.6. Let d = -18 + x. Put -1/10, d, -2 in ascending order.
d, -2, -1/10
Let a be (-7)/4 - 1/4. Let q = -1076 - -1077. Sort a, q, 3.
a, q, 3
Let w = -4 - 9. Let t = -40 + 39.5. Put t, 0.1, w, -0.2 in descending order.
0.1, -0.2, t, w
Let i = 1469 - 1470. Put i, -0.4, -2/13 in descending order.
-2/13, -0.4, i
Let l = -330 - -1319/4. Sort 1/9, l, 10/3, 1/2.
l, 1/9, 1/2, 10/3
Let y = 5 + -1. Suppose l - 9 + 7 = 0. Suppose -3*k - 