(a) = -7*a**3 + 7*a**2 + 7*a + 9. Let t(d) = -5*k(d) - 3*z(d). Let g be t(0). Put -4, 2, g in ascending order.
-4, g, 2
Let z = -4/17 - -33/68. Let x be (-5)/4 - (-3)/12. Let b be x + (20/7 - 2). Put z, b, 2 in decreasing order.
2, z, b
Suppose 4*f - y - 13 = 0, 5*f - y - 2 - 13 = 0. Suppose -3*j = -2*o + 11, f*o - j + 3 = -2*o. Let t be 20/28 - (-4)/14. Put -4, o, t in increasing order.
-4, o, t
Let v = 227 - 1592/7. Sort 4, v, 3/4.
v, 3/4, 4
Let h(d) be the second derivative of -d**3/6 + 9*d**2/2 - 5*d. Let o be h(7). Sort o, -0.2, 3 in decreasing order.
3, o, -0.2
Let p = 3 - 2. Let z(m) = m - 3. Let t be z(2). Sort p, 3, t in increasing order.
t, p, 3
Let q(w) = 2*w + 3. Let m be q(-2). Let y = 11 + -7. Let p(s) = 2*s - 3. Let j be p(y). Put j, m, 4 in decreasing order.
j, 4, m
Suppose 5 = 2*q - 0*q + g, -2*g - 2 = 0. Let s(h) = -h**2 + 5*h + 8. Let b be s(7). Let c = b + q. Sort 1, c, -2.
c, -2, 1
Let f = -31 - -30. Let a = 0.2 - 0.2. Sort f, 4, a in decreasing order.
4, a, f
Let u be (-1)/3*(-13 - 8). Let j = u + -4. Put -1, j, 4 in descending order.
4, j, -1
Let v be (-14)/(3*2/(-3)). Let l be (v + -8)/(1/2). Put l, 3, 4 in descending order.
4, 3, l
Let x = 1.3 - -3.7. Sort -4, -0.08, x.
-4, -0.08, x
Let j be (5/45)/((-1)/(-3)). Sort 5, j, -1.
-1, j, 5
Suppose -r + y = 1 - 3, -2*r = -y - 5. Sort -1, r, 2 in increasing order.
-1, 2, r
Let n be (-42)/196 + (-2)/(-4). Put -1/2, 2/5, n in descending order.
2/5, n, -1/2
Let n = -16 + 9. Let m be ((-8)/28)/((-15)/n). Let w = 1 - 1.3. Sort w, m, 0.2 in increasing order.
w, m, 0.2
Suppose 0 = 3*v - v - 8. Suppose 11 = v*r - 1. Suppose -6*t + r*t = -15. Sort -3, 1, t.
-3, 1, t
Let h = -0.37 - 0.03. Let a = 4.4 - 4. Let s = 0.03 - 4.03. Sort s, h, a in increasing order.
s, h, a
Suppose -s - 4 = -0. Sort s, 3, -0.4.
s, -0.4, 3
Suppose 3*l - 1 = 5. Sort l, 1, 0 in descending order.
l, 1, 0
Let t = 8 + -4. Let d = 528.9 - 529. Sort d, 0.08, t.
d, 0.08, t
Suppose -1 = -2*m + 5. Sort -4/7, m, -12 in descending order.
m, -4/7, -12
Let c = 0.1 + 0. Sort -5, -0.1, c in descending order.
c, -0.1, -5
Let c = -8 - -17/2. Let s = 1 - 1. Suppose 3 = m + 5. Sort m, s, c in ascending order.
m, s, c
Let l = -15 + 14.7. Put 6, l, 2 in ascending order.
l, 2, 6
Suppose 75 = 5*l - 2*l. Let q be (30 - l)*3/(-5). Let i = 1 + 2. Put q, 0, i in decreasing order.
i, 0, q
Suppose 3*o = -o + 228. Suppose k - 11 = -o. Let p be k/14 + 6/21. Sort 0, p, -5 in increasing order.
-5, p, 0
Let a = 134/21 + -20/3. Suppose -3*f - 6 + 3 = 0. Sort a, 1, f.
f, a, 1
Suppose -5*z = 4*p + 23, -2*z = 2*z - 4*p + 4. Let c(i) = i**2 + 2*i - 2. Let k be c(z). Sort 3, k, -2 in decreasing order.
3, k, -2
Let n = -97 + 97. Sort -18, -3, n in descending order.
n, -3, -18
Suppose -21*z = -24*z + 27. Sort -4, -5, -3, z.
-5, -4, -3, z
Suppose -2*l + 2 + 9 = -3*a, 0 = -a - 1. Sort 5, l, 2.
2, l, 5
Suppose -35 + 0 = -4*y + 3*z, -y - 3*z = 10. Sort 4, y, 3 in ascending order.
3, 4, y
Suppose 16*r - 18*r = -12. Sort r, 0, 3 in ascending order.
0, 3, r
Let c(x) = 2*x**3 - x**2 + 1. Let q be c(-1). Let m be q + 12/4 + -1. Let d be 2/7 - 26/(-7). Put d, m, -3 in decreasing order.
d, m, -3
Suppose 4*r + 3 = 7, 5*r - 12 = -c. Let y(u) = u - 7. Let l be y(c). Suppose -b + 6 = -4*w - 7, -2*w = b + 5. Sort l, w, -1 in descending order.
l, -1, w
Let b(u) = -u**3 + 2*u**2 - u - 1. Let l be b(2). Let i = -7 - l. Let a = -3 + 4. Sort i, -1, a in decreasing order.
a, -1, i
Let g = -12 - -17. Suppose -9*c - 18 - 18 = 0. Put -3, c, g in increasing order.
c, -3, g
Let w = 0.4 - 0.8. Let u = 55/189 + -1/189. Sort 0.5, w, u in descending order.
0.5, u, w
Let l(b) = b**3 - 2*b**2 - 7*b + 6. Let k be l(4). Suppose -c = 4*a - 2*c + 8, 31 = -5*a - 4*c. Let r be k/(-24) - (-1)/a. Put r, 0.5, -5 in increasing order.
-5, r, 0.5
Let l = 0.091 + 0.409. Sort 0, 0.4, 10, l in descending order.
10, l, 0.4, 0
Let w = 13 + -9. Sort -0.07, -0.3, w.
-0.3, -0.07, w
Let k be 4/(552/(-10))*6. Sort -4, 3, k, 5 in increasing order.
-4, k, 3, 5
Let j = 72.4 + -72. Sort -2/9, -1/5, 9, j in decreasing order.
9, j, -1/5, -2/9
Let b = -19 - -20. Sort b, 2, 5 in decreasing order.
5, 2, b
Let o(i) = -5 - i - 2*i + 2*i. Let s be o(-3). Let z be (-2)/(-7)*14/6. Sort z, 0.2, s.
s, 0.2, z
Suppose -b - 2*z - 3*z + 29 = 0, 17 = 3*b + z. Let i be 2/3 + (-22)/6. Sort -2, b, i.
i, -2, b
Let o = 0.7 - 5. Let r = 0.7 - o. Put 2, r, -6/5 in descending order.
r, 2, -6/5
Let u(x) = 10*x + 2. Let b be u(-2). Let t be b/24 + (-1)/4. Let f = 10 + -14. Sort t, f, -2 in ascending order.
f, -2, t
Let o be 5/(5/2) + 47. Let f = -145/3 + o. Sort 0.2, f, 1.
0.2, f, 1
Let d = 12.65 - 13. Let u = d - 0.15. Let o = -1 - -1.3. Sort u, 3, o.
u, o, 3
Suppose 0 = 5*t + 3*l + 3 - 1, -6 = -5*t - l. Sort t, -2, -1.
-2, -1, t
Let j = 0.3 - 1.3. Suppose 8 = 2*a - 16. Let g be (-2)/a + 6/4. Put -0.3, g, j in increasing order.
j, -0.3, g
Let t(o) = o**3 + 7*o**2 + 6*o + 2. Let q be ((-1)/1)/(2/12). Let n be t(q). Let m be 8/(-16)*0/2. Sort -2, n, m in decreasing order.
n, m, -2
Suppose -4 = -4*j - 4*k, -3*j + 2 = -k - 1. Put j, 3, 2, -1 in decreasing order.
3, 2, j, -1
Let z = 18 - 18.3. Sort z, 3, -2/25.
z, -2/25, 3
Let y be (3/99)/((-1)/(-3)). Suppose -j = -2*i - 6*j - 6, -4*i - 12 = -4*j. Put y, -6/11, i in increasing order.
i, -6/11, y
Let y(k) = k**2 - 10*k + 4. Let d be y(10). Suppose -4*q = q - 3*f + 13, q + 6 = d*f. Let b be 2 + (2/1)/(-2). Put q, b, 5 in decreasing order.
5, b, q
Let q = 0.63 - 0.13. Put 13, q, 4 in decreasing order.
13, 4, q
Suppose -2 + 20 = -6*v. Let z = 2 + -3. Sort z, 0, v.
v, z, 0
Suppose -3*c - 22 - 14 = 0. Let s = c + 14. Sort 0, -3, s.
-3, 0, s
Let g(i) = -i**2 + 6*i - 3. Let u be g(4). Let j(m) = -m**3 + 6*m**2 - 4*m - 3. Let r be j(u). Let q = 2.2 - 2. Sort r, 3/8, q.
q, 3/8, r
Let s be 9*(2/(-12))/((-2)/(-4)). Sort s, -2, -4, 1 in ascending order.
-4, s, -2, 1
Let s(l) = l**2 + 5*l + 5. Let b be s(-5). Let d(o) = -o + 4. Let m be d(b). Let t = -1 + -3. Put 4, t, m in decreasing order.
4, m, t
Let f = 0.044 - 0.004. Sort f, -0.5, 3, 2/3.
-0.5, f, 2/3, 3
Let z(n) = n**2 + 13*n - 13. Let r be z(-14). Put r, 0, 5 in descending order.
5, r, 0
Suppose 2*d + 2*d = -l + 259, 0 = -2*d + l + 137. Let y be (-2)/(-4) + d/(-84). Sort -2, 3, y in increasing order.
-2, y, 3
Let i = -42 + 41. Sort 0, i, -2/7 in decreasing order.
0, -2/7, i
Suppose -4*j + 5*v = -29, 4*j = -v - 0 - 1. Let g = -7 - -12. Let u = 2 - g. Sort -2, j, u in increasing order.
u, -2, j
Let d = -1 + 1. Suppose 5*g = -i + 11, -2*i - 10 = 2*g + 2*i. Sort g, 2, d.
d, 2, g
Let w(z) = -z**2 + 8*z + 28. Let c be w(11). Put c, -2, 5, 1 in decreasing order.
5, 1, -2, c
Let b(k) = k**3 + 10*k**2 - 9*k + 26. Let o be b(-11). Let r be 4/6*(-3)/1. Sort o, -1, r.
r, -1, o
Let s be (-4)/10*(-5)/1. Suppose o - 2*m = 0, -s*o - 5*m + 8*m - 2 = 0. Let y = -5 + 3. Put y, -3, o in descending order.
y, -3, o
Suppose -5*t = -s - 10, 5*s + 1 + 27 = 3*t. Let c = s + -6. Let f = c + 8. Sort -2, 1, f.
f, -2, 1
Let f = -13 + 15. Put f, -8, -5 in increasing order.
-8, -5, f
Let z = 9 - 8.3. Let n = -2.3 - z. Sort 0.5, n, -1 in increasing order.
n, -1, 0.5
Suppose w + 3*w = -2*q - 2, 5*w + 5*q + 10 = 0. Suppose 3*f + 2 = 2*j + 3, 5*f - 35 = -5*j. Let z be ((-5)/(-10))/(2/(-20)). Put w, z, f in decreasing order.
f, w, z
Let l(j) = -2*j + 1. Let v be l(2). Sort 2, v, 0 in ascending order.
v, 0, 2
Let m be -95*-3*3/(-9). Let q be m/(-30) + 2/(-12). Sort -2, -1, q in ascending order.
-2, -1, q
Let o = -0.086 + -0.324. Let f = o + -0.09. Put 5, f, 3 in descending order.
5, 3, f
Suppose -j + 8 = -5*j. Sort 5, j, -9 in decreasing order.
5, j, -9
Let b = 372/7 + -53. Let o = 11.7 + -10. Let k = -0.3 - o. Put k, -3, b in increasing order.
-3, k, b
Let c(k) = k**2 + 24*k - 26. Let j be c(-25). Sort -6, -4, j in decreasing order.
j, -4, -6
Let f(x) = x - 1. Let r be f(-1). Let i be (-2 + r/(-2))*-1. Let p be i/(-2*(-1)/2). Put -4, -2, p in decreasing order.
p, -2, -4
Let p(t) be the third derivative of -t**6/120 + t**5/20 - t**4/12 + t**3/6 - 2*t**2. Let i be p(1). Let h = -0.3 + 0.1. Put i, -1/4, h in decreasing order.
i, h, -1/4
Let m = 16/5 - 53/15. Sort m, -0.1, -26.
-26, m, -0.1
Suppose -w - 5 + 0 = 0. Sort -1, 19, w in descending order.
19, -1, w
Let h(r) = -r**3 - 3*r*