). Let b(n) = n**3 - 6*n**2 - 6*n - 10. Let y be b(7). Sort y, j, -1 in decreasing order.
j, -1, y
Suppose 0 = 2*x - 0 + 10, 5*a - 5*x = 35. Let v be 6/27 + (-11)/9. Let l(g) = -5*g**3 + g**2 - 2*g + 3. Let m be l(1). Put a, v, m in decreasing order.
a, v, m
Suppose 2*k - b + 0*b = 5, 2*k - 7 = 3*b. Suppose k*x - 4 = -2. Sort x, 4, -4.
-4, x, 4
Let c = -20 + 19. Let m = 9 + -4. Suppose -u - m = 2*u - 2*g, 2*u - g = -2. Sort -4, u, c.
-4, c, u
Let p = 14 - 10. Let f = -9 + p. Let l be (3/1)/((-5)/5). Sort -1, f, l.
f, l, -1
Let t(q) = -4*q + 44. Let b be t(10). Suppose -h = -7 + 1. Let a(p) = -p**2 + 7*p - 3. Let z be a(h). Sort 1, z, b in increasing order.
1, z, b
Let l be 4/6*(-3)/2. Let d be l/(-2)*0 + 0. Let n(r) = r + 7. Let w be n(-3). Sort 0.3, w, d in increasing order.
d, 0.3, w
Let c = 0.005 + -0.105. Let m = -3 - -2.9. Let a = c + m. Put -1, a, -2/17 in decreasing order.
-2/17, a, -1
Let i = 45 - 38. Put -0.5, i, -1/3 in decreasing order.
i, -1/3, -0.5
Let z = -5 - -5.4. Let f = 19 - 12. Let t = f + -8. Sort 2, t, z in increasing order.
t, z, 2
Let p = 23 - 14. Sort 3, p, 1 in descending order.
p, 3, 1
Let g(c) = c - 6. Let f be g(2). Sort -3, 2, f in descending order.
2, -3, f
Let k(i) = -i**2 + 6*i + 3. Let o be k(7). Put 4, 1, o in descending order.
4, 1, o
Let u(o) be the first derivative of -2*o**3/3 - 2*o**2 - 2*o + 1. Let a be u(-2). Suppose 0 = -0*d - 5*d - 15. Sort d, -2/7, a in increasing order.
d, a, -2/7
Let p(m) = -m. Let b be 2/(-5) + (-2)/(-5). Let r be p(b). Let y = -12 - -13. Put -1, r, y in increasing order.
-1, r, y
Let y be -19 + 23 + (-5 - 1). Sort y, 3, 10 in decreasing order.
10, 3, y
Let r = 4 - 2. Suppose 2*o = -r*o + 4. Sort o, 3, 6 in increasing order.
o, 3, 6
Suppose 0 = 2*q + 4*t - 20, -4*q = -0*t - 2*t + 10. Sort -1, q, 3.
-1, q, 3
Let g be 66/14 - 4/(-14). Suppose -4 = -p + g. Suppose -5*j + p = -2*j. Put 5, -1, j in ascending order.
-1, j, 5
Let d = 3 - 3.02. Let a = d + 5.02. Sort -1/3, a, -1/4.
-1/3, -1/4, a
Let a(z) = -z**3 + 4*z**2 - 4*z + 3. Let m be a(2). Suppose 0 = -s - 5 + m. Sort 0, s, 4 in descending order.
4, 0, s
Let c = 50/9 + -286/45. Let i = -0.2 - -0.4. Let j = i + -0.2. Put j, c, 5 in descending order.
5, j, c
Suppose -o = -x - 2*o + 12, 5*x - 52 = -3*o. Let i = 3 - x. Put -1, i, 2 in descending order.
2, -1, i
Let y = -18.18 + 0.18. Let a = 19 + y. Sort 0.3, 2/3, a in descending order.
a, 2/3, 0.3
Let y(h) = h**2 + 2*h - h**3 + 2*h + 1 + 0*h**3. Let b be y(3). Let u = -5 + 9. Put b, u, -3 in decreasing order.
u, -3, b
Let h = -7.3 - -7. Let r = -246 - -225.4. Let c = r + 21. Put 2, h, c in increasing order.
h, c, 2
Suppose -4*c - 5*p + 19 = 0, p - 2 = -3*c + 4. Suppose 3*w - 23 = -4*g, 4*w = 3*w - 2*g + 9. Sort w, c, -1 in descending order.
w, c, -1
Let i = 4.95 + 0.05. Let t = i - 4. Let c = 0.19 - 0.59. Sort -0.5, t, c in decreasing order.
t, c, -0.5
Suppose -2*l + 6 = 4*l. Sort -3, 2, l.
-3, l, 2
Suppose 2*h + 3*i + 8 = -11, 2*i = -4*h - 26. Let o be (6/(-4) + 2)*-2. Let t = 2 + o. Put h, t, 0 in decreasing order.
t, 0, h
Let f = -0.03 + -0.07. Let b = -0.27 - 0.03. Let c = 0.6 + b. Sort -0.3, f, c in descending order.
c, f, -0.3
Suppose -r = -53 - 17. Let z = r - 1192/17. Let t = -144 - -1006/7. Sort z, -5, t.
-5, t, z
Let t(y) = y**3 - 6*y**2 + 2*y - 9. Let a be t(6). Suppose 0 = q - 5*h - 5, 0 = -2*q - a*h - h + 24. Suppose -4*z + 2*z = q. Put -4, z, 0 in ascending order.
z, -4, 0
Let v(a) = a**2 + 7*a. Suppose 8 = 3*n + 29. Let d be v(n). Suppose d = -m - 4 - 1. Put 2, m, -3 in decreasing order.
2, -3, m
Suppose 5 = o + 7. Let q = 0 + o. Sort q, -5, -1 in decreasing order.
-1, q, -5
Suppose 0 = -3*u - 5*v + 7, v + 16 = 2*u - 6. Suppose -12 = -2*j + 4*x, 12 + 9 = -4*j - x. Sort 0, j, u.
j, 0, u
Let w = 4 + -3.5. Let v = w - 0.3. Let t = v - -0.3. Put t, -4, 1 in descending order.
1, t, -4
Suppose 5*n - 7 - 16 = 4*f, -n + 5 = -f. Suppose -m = -5*x - 14, -2*x = x + 4*m + 13. Let q be -3*(-2 - x) + 0. Sort 4, n, q in ascending order.
q, n, 4
Let a(l) = l**2 + 8*l + 10. Let p be a(-7). Suppose 0 = 4*n - o + 11, -2*n + 13 = p*o + 36. Suppose 0*j = -j + 4. Sort -5, n, j in decreasing order.
j, n, -5
Let m = 55 - 55.3. Sort m, 6, -1 in decreasing order.
6, m, -1
Suppose -6*d + 3*d - 16 = -o, -25 = 5*d. Let y = o + 1. Suppose 9 = -4*a - 7. Sort y, a, 4 in descending order.
4, y, a
Let a(s) = -s**2 - s - 5. Let n be a(0). Let f = 2 + 6. Let v = -6 + f. Sort v, 4, n.
n, v, 4
Let a = -38 - -37.9. Put a, -2/7, -2/5 in descending order.
a, -2/7, -2/5
Let l be ((-10)/(-105))/((-1)/3). Put -4, -2.6, l, 2/17 in increasing order.
-4, -2.6, l, 2/17
Let x = -14 - -24. Let w = x + -5. Sort -0.4, 1, w in decreasing order.
w, 1, -0.4
Let s be -1 - 3/(-21)*11. Put s, 1/2, 4 in decreasing order.
4, s, 1/2
Let p = -22 + 18. Sort p, 0.1, -3.
p, -3, 0.1
Let z(n) = 9*n**2 - 23*n - 21. Let v(o) = -5*o**2 + 12*o + 11. Let d(h) = 11*v(h) + 6*z(h). Suppose 4*c + 0*c + 16 = 0. Let x be d(c). Sort x, 0, -2.
-2, 0, x
Let v = 3 - 2. Let q be v/(-3) + (-2)/(-6). Suppose q*z = 2*z + 4. Sort z, -3, 0 in decreasing order.
0, z, -3
Suppose -5*t = 0, -3*y + 2*t = -0*t - 15. Sort -1/5, 2, y in ascending order.
-1/5, 2, y
Let n = -2 - -4. Suppose n - 14 = -4*d + p, 4*p = -4*d + 12. Suppose 0 = -m - 5*z - 13, -5 - 12 = -4*m + 3*z. Put 0.4, m, d in ascending order.
0.4, m, d
Suppose 0 = 3*m - 3*t, -3*m = 2*t - 5 + 30. Sort 1, -3, m, 2 in ascending order.
m, -3, 1, 2
Suppose 5*o = o + 2*d + 18, -2*d = 5*o - 9. Let q = -4 - -9. Sort -4, q, o.
-4, o, q
Let x be (3 - 3) + (-3)/(-1). Suppose r = x*r + 4. Put 5, r, -5 in increasing order.
-5, r, 5
Let u = -13 - -9. Let l = -0.07 + 0.17. Let j = -0.2 - l. Put j, u, -2 in decreasing order.
j, -2, u
Let r = 2 - 5/2. Let x = 0.5 - 0.9. Sort -0.1, r, x.
r, x, -0.1
Suppose 4*u = -2*w - 34, -4*w + 6 = -u + 2. Let h be u/12 - (-2)/4. Sort -4, h, 0.5 in ascending order.
-4, h, 0.5
Let q = 1.2 - 0.2. Put -8, -2/5, q in increasing order.
-8, -2/5, q
Suppose 3*b - 14 = -2. Suppose 0 = -0*a - 4*a - b. Let q(f) = -f**3 - 6*f**2 - 2*f - 7. Let i be q(-6). Sort -4, a, i in decreasing order.
i, a, -4
Suppose 5*n - i - 5 - 20 = 0, 40 = 5*n + 2*i. Let r be ((-2)/(-3))/((-2)/(-6)). Put r, -4, n in ascending order.
-4, r, n
Let t be (1 + 1)/(1*(3 + -4)). Let j = 1 + -0.99. Let a = j - -0.05. Sort a, t, -4 in decreasing order.
a, t, -4
Let b = -10 + 10. Sort b, 5, -5 in increasing order.
-5, b, 5
Let z(d) = -d**3 + 4*d**2 + 5*d + 1. Let v be z(5). Put 5, v, -4 in descending order.
5, v, -4
Let m = 1.7 - 1.1. Put 5, -2/5, m in descending order.
5, m, -2/5
Suppose 2*y + 5 = -y + 2*w, 3*y + 2*w = 11. Let z(i) = -i**2. Let u be z(y). Sort u, -2, -5 in increasing order.
-5, -2, u
Let u = -11 + 6. Let p = 2 - 0. Suppose -2*c - 14 = 2*a, -5 = -c + 2*a - 3. Sort u, c, p in increasing order.
u, c, p
Let s = 27 - 24. Sort -6, 4, s.
-6, s, 4
Let r(s) = s**3 + 5*s**2 + 3*s + 6. Let f be r(-4). Sort 5, -1, f in ascending order.
-1, 5, f
Let y be -2 + 33/18 + (-6)/(-12). Sort -2, 0.3, 0.5, y in descending order.
0.5, y, 0.3, -2
Let t be 0/2 + (-12)/(-27). Let o = 64 + -65. Sort t, 4, o in decreasing order.
4, t, o
Let i be 1/((-8)/(-3))*(-2)/6. Sort 0, i, 1.
i, 0, 1
Let q(d) = 3*d - 3. Let h be q(2). Let p be h/(-9)*18/(-2). Sort p, 4, -4 in decreasing order.
4, p, -4
Let a be ((-3)/15)/((-20)/(-75)). Let d = -1/3 + -1/6. Sort 0.3, a, d.
a, d, 0.3
Let t = -2.8 - -12.3. Let x = t + -9. Put 5, x, 3 in descending order.
5, 3, x
Let k = 1.3 + -1.3. Let r = -1 + k. Put -3/7, -1/4, r in descending order.
-1/4, -3/7, r
Let c be (3 + -11)/(2*-1). Sort c, 6, -5 in decreasing order.
6, c, -5
Suppose -2*d + 27 = d. Let u = 14 - d. Sort u, -1, -4 in increasing order.
-4, -1, u
Let g(c) = c**3 - c**2 - 6*c - 2. Let s be g(3). Put -1/3, s, 4 in descending order.
4, -1/3, s
Suppose -3*y - 2*y - 25 = 0. Put y, 2/9, 3 in increasing order.
y, 2/9, 3
Let v = -2 - -1.6. Let a = 10 + 0. Suppose 0 = -5*w - 30 + a. Sort v, w, -1/6.
w, v, -1/6
Let c(n) be the first derivative of n**3/3 - 7*n**2/2 + 5*n - 1. Let y be c(5). Let a be (-2)/10 + (-1)/y. Sort 3, -3, a in descending order.
3, a, -3
Let p = -44 + 44. Put -2, -28, p in ascending order.
-28, -2, p
Let f(u) = 5*u. Let b be f(1). Let s = -5 + b. Put s, 1, -3 in increasing order.