. Let p be c(-13). Put p, -1, 4 in descending order.
4, -1, p
Let l = 13 + -11. Suppose l*b + 2 - 4 = 0. Let k be 2 + (-3 - 0)*-1. Put 0, b, k in increasing order.
0, b, k
Suppose -1 + 10 = 3*k. Suppose 2*x + k*x = -3*p - 30, -2*x = 3*p + 21. Suppose -3*l - 2 = 5*a - 17, l = 0. Sort 1, a, p in ascending order.
p, 1, a
Let w = 70 + -65. Sort w, 0.01, -2/7 in decreasing order.
w, 0.01, -2/7
Let l be ((-1)/(-2))/(3/2). Let f = 8.1 + -7. Let g = 0.8 - f. Put g, -2/3, l in ascending order.
-2/3, g, l
Let n = -22 + 20. Sort n, 0, 2, -1 in increasing order.
n, -1, 0, 2
Let t be (-2)/(22/(-6) - -3). Let w be 2/(-2)*(t + -1). Put w, 5, 2 in descending order.
5, 2, w
Let c(k) = -k**3 + 6*k**2 + 4*k + 20. Let t be c(7). Let z = 13/30 - 1/10. Let s = 0.1 + 3.9. Sort z, s, t.
t, z, s
Let n = -2 - 14. Let w be ((-10)/8)/(4/n). Let j = 3 - 2.5. Sort j, w, 3 in decreasing order.
w, 3, j
Let k(q) = 7*q**3 + q**2 - 5*q - 1. Let m(x) = -8*x**3 - 2*x**2 + 5*x. Let r(a) = -7*k(a) - 6*m(a). Let w be r(6). Sort 2, -1, w in ascending order.
-1, w, 2
Let d = 3 - 1. Let o(u) = 4*u. Let n be o(1). Let a = -0.5 + 1. Sort n, d, a in increasing order.
a, d, n
Let p be (-5)/(-7) - 4/(-14). Let k = -1.1 - -4.1. Sort k, p, 1/6 in decreasing order.
k, p, 1/6
Let a = -48 - -80. Let d be (a/20)/((-4)/(-10)). Suppose -g = -d*q + 9, 0*g + 2*q = -g - 3. Put 0, g, 4 in descending order.
4, 0, g
Suppose -5*x + 5 = -0*j + 4*j, -4*x = 5*j + 5. Put -3, 2, x in increasing order.
-3, 2, x
Let q be (-2 - 74/(-35))/((-16)/(-40)). Let o = 2 - 1.5. Sort q, o, -2.
-2, q, o
Let c be 5 - (0 - -6) - 2. Sort 0, 3, c.
c, 0, 3
Let q = 24 + -14. Suppose 3*p = p + q. Suppose -6*u - 20 = -u. Sort p, u, 4 in decreasing order.
p, 4, u
Let m be ((-9)/(-2) - 4)/((-1)/(-6)). Put 1, m, -5, 2 in descending order.
m, 2, 1, -5
Let w = -7.5 - -7. Sort w, 1, -3/5 in descending order.
1, w, -3/5
Let h = 33 + -36. Sort 0, h, 25 in increasing order.
h, 0, 25
Suppose -24 = -o - 5*o. Sort -0.1, 0, 0.4, o in descending order.
o, 0.4, 0, -0.1
Let p(j) = 3*j**2. Let i be p(1). Suppose 0 = i*g + 2*g - 20. Let w = 5 - g. Put -2, -5, w in descending order.
w, -2, -5
Let l = 556/9 + -62. Suppose w + 5*t = -11, -5*t = 4 + 6. Put 0, l, w in ascending order.
w, l, 0
Let r = -2 + 2. Put 2, 4, r in descending order.
4, 2, r
Let y(b) = b - 9. Let c be y(4). Let l be (7/(-2))/(4/8). Let o = l + 12. Sort c, o, 0 in ascending order.
c, 0, o
Let r = -0.18 + 10.18. Let i = -10.4 + r. Sort 0.4, -2/3, i in decreasing order.
0.4, i, -2/3
Let w(v) be the third derivative of -v**6/60 + v**5/30 + v**4/12 - 4*v**2. Let c = 4 + -2. Let y be w(c). Put y, 3, -1 in decreasing order.
3, -1, y
Let t(m) = m**3 - 4*m**2 + m + 1. Let a be t(2). Let u be (-2)/a + (-13)/(-5). Suppose -p - 8 = -5*d - u*p, -4*p - 4 = 0. Put 1, 3, d in decreasing order.
3, d, 1
Let x = 5 + -6. Sort -0.1, 1/3, x.
x, -0.1, 1/3
Let u be 54/56 + -2 + 45/60. Sort u, -0.1, 4, 5 in increasing order.
u, -0.1, 4, 5
Suppose 0 = -3*s - 5787 - 5634. Let p be (-2)/2 - s/21. Let m = p - 180. Sort -0.3, -2, m in ascending order.
-2, -0.3, m
Suppose -3*t + 15 = -2*b - b, 0 = b - 3*t + 5. Suppose 0 = -5*w + w. Put -7, b, w in increasing order.
-7, b, w
Let f(h) = h**2 - 6*h - 15. Let q be f(8). Let v(j) = -3*j - 1. Let i be v(-2). Let m be 14/(-8) + 3/(-12). Sort q, m, i in decreasing order.
i, q, m
Let d = 2 + -4. Suppose o + 3*r = 5, -3*r = 2*o - 8 + 1. Let h = o - 3. Put 4, d, h in increasing order.
d, h, 4
Suppose 4*j = -5*a + 5, -19 + 0 = -5*j - 2*a. Put 2, -5, j in decreasing order.
j, 2, -5
Suppose 3*q + 2 = 2*q. Suppose -2*g = 3*i - i + 8, g = 4*i + 11. Let x be (g - -2) + q/1. Put x, 5, -3 in descending order.
5, x, -3
Let l = -13.5 - -14. Let w = -0.02 + 0.05. Let h = 2.97 + w. Sort h, 1/3, l in descending order.
h, l, 1/3
Let y(h) = -h - 6. Let g be y(-6). Put g, 1, 2 in ascending order.
g, 1, 2
Let h = 2/23 + 32/161. Let o = 4 + -7. Sort h, 8, o.
o, h, 8
Let y = -10 - -7. Let b be -1*(y - 0/(-3)). Let n(f) = -f - 2. Let t be n(-2). Put -5, t, b in decreasing order.
b, t, -5
Suppose -s - 4 = 0, -2*s - 7 = 5*k - 19. Let b(p) = -p**3 + 4*p**2 - p - 1. Let w be b(3). Suppose -4 = 3*y + w*q, 4*y + 10*q = 5*q - 2. Sort -1, k, y.
-1, y, k
Suppose 2*g - 15 = -g. Let a = 4 - 1. Suppose -4*q = -a*q - 3. Put q, -3, g in increasing order.
-3, q, g
Let h = 0 - -0.2. Let w = 4.11 + -0.11. Sort w, 5/4, h.
h, 5/4, w
Let s = 0.4 - -0.9. Let h = s - -0.7. Put h, 3/2, 3 in decreasing order.
3, h, 3/2
Suppose -36 = -2*k - 2*k. Let j = 4 - k. Sort -1, -3, j in increasing order.
j, -3, -1
Let v be -310 + 0/1 + -2. Let n be 2/13 + 126/v. Sort -5, n, -2 in increasing order.
-5, -2, n
Suppose -6*b + 4*b - 168 = 0. Let j = b + 254/3. Sort -5, -0.5, j in increasing order.
-5, -0.5, j
Suppose -6*p + 2*p - 40 = 0. Let g(u) = u**2 - 6. Let y be g(0). Let n = p - y. Put -1, -3, n in ascending order.
n, -3, -1
Let f(j) = j**2 + 4*j. Let m be f(-4). Suppose 14 + 9 = 5*c - 2*q, 2*c + q = 2. Suppose 3*r - 15 + 12 = 0. Sort r, m, c in descending order.
c, r, m
Let s = 14 - 14. Let r be 6/(-2)*(-5)/3. Let u = -10 + r. Sort u, -4, s in decreasing order.
s, -4, u
Suppose 3*b + u - 15 = 0, -4*u + 10 = 2*b - 0*b. Let k = 10 - b. Sort k, 3, -1.
-1, 3, k
Let h = -11.3 + 11. Sort h, -1/3, 0.2.
-1/3, h, 0.2
Let r(v) = -2*v + 1. Let p(x) = 3*x. Let g(f) = 3*p(f) + 4*r(f). Let b be g(0). Sort 0, -5, b in decreasing order.
b, 0, -5
Let b = 0.3 - 0.3. Let j = 15 + -9. Let z = -3 + j. Put -0.4, z, b in decreasing order.
z, b, -0.4
Let i be 4/(-20) - (-36)/80. Sort -3/5, i, -5 in decreasing order.
i, -3/5, -5
Let p = -6.6 + 7. Put p, -0.2, -1/3 in increasing order.
-1/3, -0.2, p
Let v = -28 - -25. Put v, -14/9, -2/5 in ascending order.
v, -14/9, -2/5
Let o = -51 + 50. Let t(s) = -s**3 + 5*s**2 - s + 1. Let n be t(5). Put -5, o, n in increasing order.
-5, n, o
Let r(g) = -5*g**3 + 8*g**2 - 3*g - 2. Let d(s) = 4*s**3 - 7*s**2 + 2*s + 2. Let q(k) = -4*d(k) - 3*r(k). Let h be q(4). Let a = 0 + 5. Sort h, 3, a.
h, 3, a
Let i be (-10)/5 + 14/6. Sort -0.2, i, 0.2 in increasing order.
-0.2, 0.2, i
Let v = 151 - 146. Put v, 4, -1 in decreasing order.
v, 4, -1
Let a(f) = -6*f**2 - 4*f - 5. Let z be a(-8). Let t = z - -5357/15. Put 4, -2/17, t in decreasing order.
4, t, -2/17
Let d be (-14031)/(-90) - (-1)/2. Let g = d - 157. Put 5, 2/27, g in ascending order.
g, 2/27, 5
Let v be 8*1*(-2)/4. Let q be v/(-2) + -2 - 2. Let j be ((-1)/2)/((-1)/4). Sort j, 0, q in increasing order.
q, 0, j
Let w = -6 + 12. Suppose -t = t - w. Let d be t*(1 + 7/(-3)). Sort d, 4, -5.
-5, d, 4
Suppose -4*v + 6 = 2*p, -4*p = 1 + 3. Suppose -v*j - 2 = -2*c, -4 = -0*j - 3*j - 4*c. Put -5, j, 3 in increasing order.
-5, j, 3
Let q = 0.23 - -3.77. Sort 13, -0.5, q in ascending order.
-0.5, q, 13
Let o(g) = -g - 6. Let b(x) = -x**3 + 5*x**2 + x + 5. Let h be b(5). Let y = 0 - h. Let a be o(y). Put 5, a, -2 in decreasing order.
5, a, -2
Let a = -91 - -89. Sort 1, -3, a, -1 in ascending order.
-3, a, -1, 1
Suppose 5*g = 2*t - 9 - 5, g - 3*t - 5 = 0. Put g, 3, 15, -5 in decreasing order.
15, 3, g, -5
Let d = 0.2 - 4.2. Put 4, -4/3, d in descending order.
4, -4/3, d
Let h = 1.16 + 0.14. Let y = -1.1 + h. Sort 1, y, -1/5 in ascending order.
-1/5, y, 1
Suppose 8*i + 10 = 10*i. Sort 2, -2, i, -5.
-5, -2, 2, i
Let q = -0.18 + 0.58. Put q, 0.3, -0.2, 6 in increasing order.
-0.2, 0.3, q, 6
Suppose 3*i - 31 = -4*j, -i - 3*i + 5*j + 31 = 0. Suppose -3*s + 3*f + 3 = 0, 5*f = -5*s + i - 34. Suppose c = -c. Sort -3, c, s in increasing order.
-3, s, c
Suppose 0 = -0*o + 5*o + 25. Suppose 2*m + 12 = 16. Put o, 0, m in decreasing order.
m, 0, o
Let y = 53 - 52.9. Put y, 0.3, 3, 5 in ascending order.
y, 0.3, 3, 5
Suppose -4*s - 3*p = -30, s - p = 3*s - 16. Let k be 30/s - (-2)/(-6). Sort 2, k, -2 in decreasing order.
k, 2, -2
Let f = 7 + -7.37. Let u = -0.03 + f. Sort 1/7, 0, u in descending order.
1/7, 0, u
Let z(w) = w**3 + 5*w**2 + 7*w + 10. Let j be z(-4). Put -1, 4, j in ascending order.
j, -1, 4
Suppose -r + 27 = -0*r. Let p be ((-6)/27)/((-3)/r). Sort 1/6, 0.4, p in ascending order.
1/6, 0.4, p
Let z = -4/3 + 26/15. Let w = 2.8 - 3. Put -0.5, z, w in ascending order.
-0.5, w, z
Let s = -2.7 + 3. Suppose -26*m + 19 + 59 = 0. Sort -0.5, m, s in increasing order.
-0.5, s, m
Let 