 (-2)/8*-2 + 1. Let d(u) be the third derivative of -u**4/12 - 2*u**3 + u**2. Let o be d(-8). Sort o, -0.4, q in ascending order.
-0.4, q, o
Let i(y) = -8*y - 1. Let b be i(-1). Let m = -9 + b. Sort m, 3, -4.
-4, m, 3
Let x = 110 - 117.7. Let t = x + 8. Let i = -12 - -12.4. Put i, t, -0.3 in increasing order.
-0.3, t, i
Let d be 5/(-5) + 1 + -1. Put -4, d, -3 in ascending order.
-4, -3, d
Let t(c) = c**3 + 3*c**2 + 3*c + 1. Let v be t(-2). Put -4, 13, v in increasing order.
-4, v, 13
Let k = -3 - 3. Let m(z) = -z - 5. Let w be m(k). Sort -1, w, -2 in increasing order.
-2, -1, w
Let t = 233.4 - 233. Let h be (2 + -1)*4/(-1). Put h, -3, t in decreasing order.
t, -3, h
Let a = -0.18 + -0.12. Put a, -0.4, 1/6 in decreasing order.
1/6, a, -0.4
Let b(n) = -n**3 - 8*n**2 - 6*n + 7. Let k be b(-7). Let d be (-6)/42*(-2 - k). Sort d, 0.4, -0.4 in descending order.
0.4, d, -0.4
Let u be ((-15)/20)/((-2)/8). Sort 0.2, u, 3/7 in ascending order.
0.2, 3/7, u
Let l be 2/8*1/2. Suppose 0 = 2*r - 4*r + 14. Suppose -2*t = -r*t - 15. Sort t, l, -5 in descending order.
l, t, -5
Suppose 0 = 4*t + 16, 0 = 2*b - 2*t + 5*t + 2. Suppose 5*v - 15 = -60. Put 3, b, v in descending order.
b, 3, v
Let z(i) = i**3 - 7*i**2 - 9. Let l be z(7). Let r be (6/l)/(2/6). Let x(t) = -t**3 - 4*t**2 - t + 1. Let j be x(r). Put j, 2, -4 in descending order.
2, -4, j
Suppose 3*c - 4 = 7*c. Let i = 5 + -7. Let n = c + i. Put -4, 0, n in descending order.
0, n, -4
Let n(g) = -g**3 - 7*g**2 - 6*g + 2. Let a be n(-6). Let l(b) = -b**2 - 8*b + 9. Let k be l(-9). Sort a, k, 3.
k, a, 3
Let v = -2 - -3. Suppose -2 = 2*w - w. Let m be (-1 - 0)/(w/(-2)). Put v, 2, m in decreasing order.
2, v, m
Let w = 3.02 + -0.02. Let g = -2.6 + 0.6. Let m = w + g. Put 0.1, 4, m in decreasing order.
4, m, 0.1
Suppose 5 - 11 = -3*z. Put -2, z, 1 in ascending order.
-2, 1, z
Let d = 0 - 1. Let w = 0.1 - -4.9. Let i = w + d. Put -1/5, i, 0.5 in decreasing order.
i, 0.5, -1/5
Let t(h) = -21*h - 371. Let g be t(-18). Suppose -6*v = -5*b - v - 15, 2*b - v + 8 = 0. Put b, 0, g in increasing order.
b, 0, g
Let v(i) = -i**3 + 3*i**2 - 3*i. Let n be v(2). Let o = n + 6. Suppose 0 = 4*y - o - 0. Sort -3, 4, y in ascending order.
-3, y, 4
Suppose -4*j = -2*j + 4*k - 20, 3*j - 2*k - 30 = 0. Suppose 4*x = r - 23, -4*x - 15 - j = r. Let u(c) = c + 3. Let s be u(x). Sort s, -2, 1 in decreasing order.
1, -2, s
Let t = -3.3 + 3. Let d be 1/((-11)/(-9)) + -1. Put d, t, -0.2 in increasing order.
t, -0.2, d
Let w = -11 - -26. Put 4, -2, w in decreasing order.
w, 4, -2
Let n be -9 + 10 - (0 - -3 - -1). Sort n, 0.13, 2/23 in descending order.
0.13, 2/23, n
Let a be -3*1 - (305/(-60) + 2). Put a, 2, -3 in descending order.
2, a, -3
Let s(v) = -5*v**2 - 1. Let n be s(-1). Let j = -2 - n. Sort -4, 3, j.
-4, 3, j
Let o(l) = l**2 - 14*l - 11. Let m be o(15). Suppose -m = 4*n - 5*n. Sort n, -2, -5 in descending order.
n, -2, -5
Let k be 2 + (-4 - 4/(-2)). Let g(o) = 2*o - 26. Let n be g(12). Put n, k, -5 in decreasing order.
k, n, -5
Suppose -2*t - t = -6. Suppose -2*u - t*m = 8, 2*u = 6*u - 3*m - 19. Let g be -1*u + 6 + -3. Sort g, 5, 3 in descending order.
5, 3, g
Suppose 0 = w + 2*w - 2*z - 38, -4*z = 2*w - 20. Suppose 0 = -4*c - 0 + w. Sort -5, 1, c in decreasing order.
c, 1, -5
Let v = -0.9 + 0.6. Let c = 45/217 + -2/31. Sort 1, v, c in descending order.
1, c, v
Let k(c) = -c**3 + 2*c**2 + 2*c - 1. Let q be k(2). Suppose -11*d - 57 = -46. Suppose -2*j - 2*j - 35 = 5*h, 4*h - 13 = 5*j. Put h, q, d in decreasing order.
q, d, h
Suppose 3*t + 3 = 15. Let s = -3.5 + 4. Put 0.3, s, t in decreasing order.
t, s, 0.3
Suppose 0 = -2*o + 2*h + 1 + 7, o + 5*h - 10 = 0. Suppose 8 = -o*s - 17. Let k(i) = i - 8. Let w be k(5). Put -2, s, w in increasing order.
s, w, -2
Suppose -4 + 22 = 2*r. Suppose r*w - 5*w = 16. Put -6, 3, w in increasing order.
-6, 3, w
Suppose 2 = 3*y + 11. Sort 1, y, -2 in decreasing order.
1, -2, y
Suppose 3*l - 6 = -2*a + 2, -2*a - 2*l + 6 = 0. Put -5, 2, a, -2 in decreasing order.
2, a, -2, -5
Suppose 4 = 5*d - 11. Sort -2, -5, d.
-5, -2, d
Let j be (-1 + -1)*(-2)/(-1). Sort j, -2, -3/2.
j, -2, -3/2
Suppose -2*t - 1 = -19. Let l be (t/3)/((-6)/4). Sort l, -1, 3 in descending order.
3, -1, l
Let b(u) = u**3 - 5*u**2 + 5*u + 1. Let y be b(4). Put -5, 8, y in increasing order.
-5, y, 8
Let d = 0.24 + -0.64. Sort d, -2/9, 4 in descending order.
4, -2/9, d
Let f be (1 + (-3 - -1))*3/3. Sort -3, f, -4, 3 in descending order.
3, f, -3, -4
Let s be 2 + (-85)/(-40) - 4. Suppose -10 = -5*j - 0. Sort s, 3/2, j in decreasing order.
j, 3/2, s
Suppose t + 2 = -4*o + o, 2*t - 10 = o. Put t, -4, -9 in decreasing order.
t, -4, -9
Suppose 4*a + 10 = -2*b, -5*a + b + 5 = -0. Sort 4, -5, a in ascending order.
-5, a, 4
Let c = -6 + 12. Let m(b) = b**2 - 5*b - 5. Let p be m(c). Put p, 2/11, 0.03 in decreasing order.
p, 2/11, 0.03
Let x = 8 + -7.6. Suppose -289 = y - 3*y + v, -y + 128 = 5*v. Let g = y - 1289/9. Put 2/17, g, x in decreasing order.
x, 2/17, g
Let t be ((-9)/2 + 2)*2. Suppose 0 = -2*c - 0*c - 8, -11 = 5*x - c. Put x, t, 1 in decreasing order.
1, x, t
Let z be 5 - (-4 + 2)/(-2). Let h(k) = k + 3. Let u be h(-4). Sort 5, u, z in ascending order.
u, z, 5
Let d be 1/(-5) - 58/10. Let i be ((-4)/d)/((-2)/(-12)). Suppose 31 = -0*w - 4*w + 5*v, -i*w - 2*v - 10 = 0. Sort 1, w, 0.
w, 0, 1
Let i = 0.6 + -8.6. Let x = 13 + i. Suppose -5*r + 8 = -3*r. Sort -3, r, x.
-3, r, x
Suppose 0 = -3*r + 4*v + 7 + 4, -2*r - 6 = 4*v. Sort -6, r, -0.9 in increasing order.
-6, -0.9, r
Let x = 5.1 - 5. Put x, -4, -0.5 in descending order.
x, -0.5, -4
Let f be 2/(-3) + 11/3. Let v be ((-69)/27 - -1) + 2. Let j = -0.3 + 0.1. Put j, f, v in increasing order.
j, v, f
Let m(z) = -z**2 - 10*z - 11. Let h be m(-8). Suppose h*y - 2 + 12 = 0. Suppose -2*w = w + 2*n - 2, -6 = -2*w + n. Put -5, y, w in ascending order.
-5, y, w
Let v = 12 - 10. Let a = 0.1 + -0.1. Put a, v, 5 in descending order.
5, v, a
Suppose -4*d + 12 = -0. Let m be 8/3 + d/9. Put -3, m, 0 in descending order.
m, 0, -3
Let l be 1/((-1)/(-4)*-2). Let n be ((-6)/8)/(l/(-8)). Let g = 3 + -5. Put n, 0, g in decreasing order.
0, g, n
Let d = 0.5 + -5.5. Let n = -20.6 + 24. Let x = -3 + n. Sort -0.2, x, d in increasing order.
d, -0.2, x
Let d = 2.7 - 2.3. Sort 3, d, 2/13 in descending order.
3, d, 2/13
Let q = -56 - -56.2. Sort 2/17, q, -3, 1/2 in decreasing order.
1/2, q, 2/17, -3
Let h be (2/(-12))/((-4)/(-3) + -2). Let k = -1 - -2. Put h, -1, k in ascending order.
-1, h, k
Suppose l + q = -2*l - 5, 0 = -5*q + 5. Suppose -2*i - i = 5*x - 19, i - 13 = -3*x. Let y be x - (-2 + 2 - 0). Put -1, l, y in ascending order.
l, -1, y
Let m = 57/5 - 191/15. Let k = 1 + m. Put -2, -3, k in decreasing order.
k, -2, -3
Let y = 1 + -7. Let z = -10 - y. Sort -2, z, -1 in ascending order.
z, -2, -1
Let m(t) = t**3 - 5*t**2 - 7*t + 5. Let x be m(6). Let c = 65 + -60. Put x, 4, c in descending order.
c, 4, x
Let u = 1 + 2. Let a be (-1 + u)/(4 + -9). Suppose -5*v = -4*o + 10, o = 2*v + 1 + 3. Sort v, a, 2/13 in decreasing order.
2/13, a, v
Let k = 5 - 3. Let h = 0.3 - -0.7. Let l = 4 - h. Sort -2, k, l.
-2, k, l
Let f = 9.2 - -0.8. Let l = -6 + f. Sort l, 0, 3 in descending order.
l, 3, 0
Let r(k) = -k**2 - 5*k - 2. Let h = 0 + -5. Let w be r(h). Sort -5, w, -1 in decreasing order.
-1, w, -5
Let u(m) = -3*m**3 - 10*m**2 - 6*m - 19. Let j(k) = -k**3 - 3*k**2 - 2*k - 6. Let q(z) = -8*j(z) + 3*u(z). Let v be q(-6). Sort -5, v, 0.
-5, 0, v
Suppose -30 = 5*y - 5. Suppose 3*g = 4*p + 10, -4 = 4*g + 4*p - 8. Put g, 3, y in descending order.
3, g, y
Let v(l) = 1 + 3 + 2 - 2*l**2 - 2 + l - l**3. Let x be v(-2). Suppose -3*w - 1 - 14 = -3*b, 0 = 3*w - 2*b + 13. Sort x, 5, w.
w, x, 5
Let c = 53 + -264/5. Let t = 131 - 527/4. Sort -4, c, t in decreasing order.
c, t, -4
Let u = 32 + -31. Sort u, -0.5, 2 in ascending order.
-0.5, u, 2
Suppose -5 - 19 = -4*q. Sort -3, q, 1 in descending order.
q, 1, -3
Let v(r) = r**2 - 11*r + 27. Let a be v(6). Put 24, a, -0.1 in ascending order.
a, -0.1, 24
Let g = 11.9 + -12. Let z = g - -0.5. Sort 0.3, z, 4.
0.3, z, 4
Let u(k) = 3*k**3 + k**2 + 2*k + 1. Let j be u(-1). Sort 5, j, -2 in decreasing order.
5, -2, j
Let t = 0.11 - 0.31. Let w be (-114)/(-120) - 6/8. Put w, t, 3 in decreasing orde