pose -5*b - 3*q = -22, -b = -0*b - 2*q - 7. Let r be 76/(-437)*(-3)/(-6). Put 0.4, b, r in descending order.
b, 0.4, r
Suppose a + 3*r - 19 = 0, 2*r + 2*r - 20 = 0. Let h = a - 9. Sort 6, 4, h in ascending order.
h, 4, 6
Let j(h) = 5*h + 2. Let t be j(0). Suppose -i = -4*n - 4*i + 14, 2*i - 11 = -3*n. Sort 4, t, n in descending order.
n, 4, t
Let i = 38 + -37. Sort i, -3, 3 in descending order.
3, i, -3
Suppose 5*m = 23 - 8. Let x = 138 + -141. Sort x, m, -1.
x, -1, m
Let h be (8/(-3))/(-4) + 9 + -9. Put h, -0.5, -4/3, -0.13 in descending order.
h, -0.13, -0.5, -4/3
Let n be (-3)/(6 - 21/4). Put n, -11, 2 in descending order.
2, n, -11
Let m(l) = -2*l - 41. Let z be m(-24). Put z, 0, 4 in descending order.
z, 4, 0
Let y = -153 + 153. Suppose n + 0*n - 10 = 2*m, -n = -4*m - 16. Sort n, 1, y in ascending order.
y, 1, n
Suppose -25 = 4*a - 9. Let d = -10 + 10. Sort -3, a, d.
a, -3, d
Let b(o) = -o - 5. Let h be b(-5). Let s(a) = -8*a + 2*a**3 + 3*a + 2*a + a**2 + 4 - a**3. Let t be s(-3). Sort 5, t, h in decreasing order.
5, h, t
Let k(x) = x**2 - 2. Let r be k(-2). Suppose 0 = 3*q - r*q. Let h be 2/7 + (-5)/(-7). Put q, h, -2 in descending order.
h, q, -2
Suppose 52 = -4*s + 4*d, 2*s - 2*d + 30 = 2*d. Let t = -8 - s. Sort t, 8, -1 in descending order.
8, t, -1
Let d = -23 + 19. Suppose 2*a - 5*a - 6 = 0. Let v be (0/a)/(4/(-2)). Sort -2, d, v in increasing order.
d, -2, v
Suppose -12*k - 20 = -22*k. Put 5, k, -3 in descending order.
5, k, -3
Let c(v) = v**3 - 13*v**2 + 13*v - 12. Let j be c(12). Let i be 0 + (j + 1)/1. Let z be 1 + -1 + -1 + -4. Sort i, z, 4 in descending order.
4, i, z
Suppose -h - 6*h = -14. Put h, 0, 1, -4 in ascending order.
-4, 0, 1, h
Let a = 0.6 + 1.4. Let p = a - -3. Sort -5, -1, p.
-5, -1, p
Let d(r) = -r**2 + r. Let l be d(-1). Let c be (-4 - -6)*10/(-4). Sort c, l, 2.
c, l, 2
Suppose 2*g = 3*z - 0*z + 18, -2*z + 3*g = 17. Put 3, z, 0.1, -1 in increasing order.
z, -1, 0.1, 3
Let h = 3 + -2.8. Let o = -6 - -6.4. Sort h, o, 4.
h, o, 4
Let b = 3 - 7. Let t = 6 + -6. Put t, -2, b in descending order.
t, -2, b
Let i = -140/3 + 47. Let g = 0.1 + 0.4. Sort i, g, 3.
i, g, 3
Suppose -11 = -5*t - 1. Let h = 9 - 9. Sort t, h, 1/4.
h, 1/4, t
Let g(s) = -s**3 - 14*s**2 + 14*s - 17. Let o be g(-15). Put -3, -5, o in ascending order.
-5, -3, o
Let w be 231/(-15) + 2/5. Let r be (2/3)/((-2)/w). Suppose 0 = -r*v - 3 - 7. Sort -5, 1, v in decreasing order.
1, v, -5
Suppose 15 = -5*u + 2*g, -2*u + 4*g - 5 = 1. Let q = 0.3 + -0.3. Sort u, q, -2 in decreasing order.
q, -2, u
Let d = 3.9 + -2.9. Let l = 0.1 + 3.9. Sort d, l, 3 in descending order.
l, 3, d
Let t be 1*2 + 180/(-75). Suppose -2*b = -4*m + 13 - 5, 12 = 3*b. Let s(f) = -f + 1. Let g be s(m). Sort g, -2, t in descending order.
t, -2, g
Let s be (-2 + 4)/(-2) - -2. Let p = 8 - s. Let r be p/(-60) + (-1)/(-4). Sort r, 0.2, 3/8 in descending order.
3/8, 0.2, r
Let f = 3 - 2. Let i = -1.2 - -0.2. Sort f, i, 4 in increasing order.
i, f, 4
Let d = 10 + -5. Let t = 44 + 36. Let b be (t/(-42) + 2)*6. Put -0.5, d, b in descending order.
d, b, -0.5
Let u = 6 + -1. Put 6, u, 4 in ascending order.
4, u, 6
Let d = -141/4 + 35. Let r = -337.13 + 340. Let s = r - -0.13. Sort d, 2, s in descending order.
s, 2, d
Let d = 0 - 2. Let g be 1/(-2)*2 + -3. Put d, 0, g in descending order.
0, d, g
Suppose -20 + 8 = -3*d. Sort 1, -3, d in ascending order.
-3, 1, d
Let v = -0.65 + 2.64. Let p = -0.01 - v. Let g = -17 - -17.2. Sort p, g, -5 in ascending order.
-5, p, g
Let n = -13 - -18. Put 4, -4, n, -1 in decreasing order.
n, 4, -1, -4
Let z = -4 + 4. Let r be -4*(-1 - (-30)/28). Sort z, r, 2/3.
r, z, 2/3
Let y = -180 - -167.7. Let m = y + 13. Let u = m + 2.3. Sort u, -0.1, -3 in ascending order.
-3, -0.1, u
Let b(o) = -o**3 + 8*o**2 - 2*o - 7. Let u be b(7). Let t be 12/u*(-4)/6. Sort 4, t, 0.5 in descending order.
4, 0.5, t
Let o = -4/81 - 142/405. Put o, -7, -0.3 in increasing order.
-7, o, -0.3
Suppose 2*a = -3*f + 4, f + 3*a - 10 = 3. Put 5, f, -1 in ascending order.
f, -1, 5
Suppose 0 = -0*j + j. Suppose -3*w + w = j. Suppose v - 2*l = 2*v - 6, w = -4*v - 5*l + 15. Put v, -4, 4 in descending order.
4, v, -4
Let r be (-4)/(-2) - -62 - -1. Let h be r/100 + (-1)/4. Put 2, h, 3 in decreasing order.
3, 2, h
Let y(h) = -10*h - 63. Let v be y(-6). Let s = 6 - 1. Sort 3, s, v.
v, 3, s
Suppose 0 = -l + 3*l + 6. Let b(i) = i**3 + 3*i**2 + 3*i + 4. Let m be b(-3). Let d = 7 + -11. Sort m, l, d in descending order.
l, d, m
Suppose 151 = 2*k - 59. Let d be 48/(-70) - (-30)/k. Put -0.3, -4, d in descending order.
-0.3, d, -4
Let b = 69 - -26. Let d = b - 91.11. Let j = 0.11 + d. Sort j, -3, -5.
-5, -3, j
Let q(h) = -h**3 + 6*h**2 - 7. Let l be q(6). Sort -1/3, l, 2/7 in decreasing order.
2/7, -1/3, l
Let c(m) = -6*m**2 - 12*m + 3. Let y(j) = j**2 + j. Let g(o) = c(o) + 5*y(o). Let h be g(-8). Put h, -2, 5 in ascending order.
h, -2, 5
Let o = 4 - 7. Let j = 2.8 + o. Let g = -0.8 + 0.5. Sort g, -2, j.
-2, g, j
Let d(q) = -2*q - 6. Let i be d(-4). Let m = -29 + 32. Put m, i, 5 in decreasing order.
5, m, i
Let l(w) be the second derivative of -5*w**3/6 - 9*w**2/2 + 2*w. Let g(f) = 14*f + 26. Let d(c) = 6*g(c) + 17*l(c). Let a be d(6). Sort 1, a, -2.
a, -2, 1
Let q = -28 + 26. Sort 2/13, q, 5 in increasing order.
q, 2/13, 5
Let c = 34 - 14. Let b = c + -17. Sort b, -4, 0.5 in ascending order.
-4, 0.5, b
Let s = 12 + -9. Let o = -6 - -11. Sort 1, s, o in decreasing order.
o, s, 1
Let j = -18 + 17. Sort j, -0.4, -0.1 in decreasing order.
-0.1, -0.4, j
Let v be ((-6)/9)/(1/6). Let y be -2*(-2 - (1 + -1)). Sort 1, y, v in decreasing order.
y, 1, v
Let c = -6 - -2. Let w be (-5)/((-105)/6) + 32/(-14). Sort w, c, 10 in descending order.
10, w, c
Let d be (3/9)/(5/15). Suppose -16 = 3*t - d. Sort t, 1, -4 in ascending order.
t, -4, 1
Let d = 6 - 8. Let m = 6.3 - 6. Let c be ((-1)/2)/(1/(-2)). Put c, d, m in ascending order.
d, m, c
Let y = -10 + 15. Sort -2, -1, y in descending order.
y, -1, -2
Let a = 0.112 + -0.812. Sort a, -2/11, 1 in increasing order.
a, -2/11, 1
Let m = 8 - 0. Sort 0, -0.4, m in ascending order.
-0.4, 0, m
Let v = -16/3 + 5. Suppose 0 = -5*l + 4*z + 4, 0 = 2*l - 3*z - 3 + 7. Suppose -5*i + 16 + l = 0. Put -2, i, v in descending order.
i, v, -2
Let n = -15.4 + 14. Let o = n + -3.3. Let l = o - -5. Put l, 4, -0.5 in increasing order.
-0.5, l, 4
Let m(t) = -t**2 - 16*t. Let u be m(-16). Sort 3, u, 57.
u, 3, 57
Let l = -9 - -6. Suppose -4*w + f + 18 = 0, w - 5*f = 13 + 1. Sort w, 5, l.
l, w, 5
Suppose 0 = 7*r - 3*r + 16. Suppose 2 = 2*u + 10, -4*q - 3*u - 24 = 0. Let k = -72 - -75. Sort k, r, q in decreasing order.
k, q, r
Let j = 126 - 102. Sort j, -1/4, -1.
-1, -1/4, j
Let u = -1 + -2. Let c = 7 + u. Let l(y) = -y**3 + 3*y**2 + 6*y - 6. Let k be l(c). Sort k, 3, 1 in increasing order.
1, k, 3
Let l be (-3 - 216/(-80))*(-10)/(-24). Put 4, 2/9, l in descending order.
4, 2/9, l
Let f = 0.3 + -0.1. Suppose o - 205 = -5*p, -2*p + 4*o = 3*o - 75. Suppose -5*h - 5*y + 5 + p = 0, -4*h + 4*y - 4 = 0. Put h, f, -3 in ascending order.
-3, f, h
Let f(m) be the third derivative of -m**6/120 - 11*m**5/60 - 11*m**4/24 + m**3/3 - 4*m**2. Let v be f(-10). Suppose -3*j - 3 = v. Sort -1, 4, j.
j, -1, 4
Let t be 14/(-7) - (1 + 2). Sort -10, 4, t, 0 in increasing order.
-10, t, 0, 4
Suppose d + 7*g = 4*g - 5, g = -2*d - 10. Let a(q) = q**3 + 7*q**2 + 5*q - 3. Let s be a(-6). Sort s, 1, d in descending order.
s, 1, d
Let r = 27 + -15. Suppose -4*g + r = -8. Suppose -m + 10 = -3*m. Put 4, g, m in decreasing order.
g, 4, m
Let v = 2.2 + 2.8. Sort v, 2/3, 2 in decreasing order.
v, 2, 2/3
Suppose -63*z + 50 = -13*z. Let t be 2/(-6) - 4/6. Sort z, t, 4 in increasing order.
t, z, 4
Let q = -0.15 + 0.25. Put -0.1, q, -1 in descending order.
q, -0.1, -1
Suppose -6*t = -t + 15. Let s = t - -5. Sort s, 5, 3 in descending order.
5, 3, s
Suppose 0*h = 2*h + 2*j - 2, 3*h - j = -5. Let f(k) = k**2 - 7*k + 3. Suppose 0 = u + 5*a - 21, -a = a - 6. Let t be f(u). Sort t, -4, h.
-4, t, h
Let s = -21 + 20.6. Put -11, -3, s in descending order.
s, -3, -11
Let s = -22.05 - -22. Let o = -0.11 - 0.04. Let m = s - o. Sort 5, m, 4 in decreasing order.
5, 4, m
Let b(q) = -q**3 + 8*q**2 + 10*q - 11. Let x be b(9). Let f be x/6 - 14/(-24). Put 0, 