0.08. Let t = s - 0.18. Sort -8, t, -0.2.
-8, -0.2, t
Suppose -v + 2*d + 0*d = -10, -26 = -5*v + 4*d. Put 13, v, -1 in descending order.
13, v, -1
Suppose 0 = -v + 5*t + 1 - 16, 5*v + 2*t + 21 = 0. Sort 1, v, -12.
-12, v, 1
Let q = 4 - 5. Let z be (4/2)/((-1)/q). Suppose -z = u - 0. Put u, 2, -3 in increasing order.
-3, u, 2
Let n = -0.6 - -0.1. Let d = 6 - 6. Sort d, 0.5, n.
n, d, 0.5
Let g(b) = b**3 + 5*b**2 + 3*b + 3. Let l be g(-4). Suppose 0 = -3*q + l*q - 12. Put 4, q, -1 in decreasing order.
4, q, -1
Let n = 0.1 + 0.18. Let l = -0.48 + 0.4. Let i = l + n. Sort -2/7, -3, i.
-3, -2/7, i
Let f = -30 - -28. Put f, -4, 2 in increasing order.
-4, f, 2
Let c be 3 - 1 - (-1 - -1). Sort -1, c, 1.
-1, 1, c
Let a be -4 - -2 - (-14)/8. Let o = -3 + 3.2. Put 0.5, o, a in decreasing order.
0.5, o, a
Let p = -43/3 - -14. Sort 4, p, 3 in descending order.
4, 3, p
Suppose -1 - 7 = 4*q. Let x be (-33)/(-18) - (-4)/q. Sort 4, x, -1 in descending order.
4, x, -1
Suppose 0 = -t + 4*t - 2*v + 13, 5*v - 10 = 3*t. Let c be (2 + t)/((-3)/2). Let i be ((-15)/(-6))/((-2)/(-4)). Sort c, -2, i.
-2, c, i
Let w = 0.8 - 1.6. Let m = -5.8 - w. Put 5, 0.2, m in descending order.
5, 0.2, m
Let n be 2/8 - 9/18. Sort 0.1, -3, n in ascending order.
-3, n, 0.1
Let b(x) = 2*x + 36*x**3 + 0*x - 37*x**3 + 1. Let l be b(2). Let r(f) = f. Let z be r(4). Sort z, -4, l in increasing order.
-4, l, z
Suppose 0 = 3*x - x - 5*k + 6, 0 = 5*x + 2*k + 15. Let n be 1 - (x - -1 - 0). Sort -2, 4, n.
-2, n, 4
Let r = 18.4 - 18. Sort 3, r, -1/2, 0.1 in ascending order.
-1/2, 0.1, r, 3
Suppose 24 = -5*z + h, -4*h - 8 = -2*z - 8*h. Suppose -4*k - 36 = -k. Let b be k/4 + 2/(-1). Sort b, z, 3.
b, z, 3
Let a be ((-2)/(-6) - 52/12)/7. Put a, -4, 5 in increasing order.
-4, a, 5
Let z = -0.3 - -5.3. Let a = -9 + z. Let g = a + 5. Put g, -3, -1/5 in descending order.
g, -1/5, -3
Let g be ((3 - 1)/(-76))/((-9)/(-36)). Put -2/15, g, 3, -2/9 in decreasing order.
3, g, -2/15, -2/9
Let x = 3 - -21. Let p = -22 + x. Sort 5, -1, p in ascending order.
-1, p, 5
Let f(v) = v**3 - v**2 - v + 2. Let y be f(2). Sort y, 3, -19 in ascending order.
-19, 3, y
Let l be 2*(5/(-10))/((-3)/(-6)). Sort l, -5, 3 in ascending order.
-5, l, 3
Let k(u) be the third derivative of u**4/24 + 3*u**2. Let c be k(3). Sort -1, 0.2, c in descending order.
c, 0.2, -1
Let i be ((-5)/30)/((-3)/18). Sort 2, i, -4.
-4, i, 2
Let x = 0.3 + -2.3. Let f = 38.9 - 41. Let z = x - f. Sort -1/3, -3, z in descending order.
z, -1/3, -3
Let w = 15.1 + -15. Put w, 2/5, -0.3 in increasing order.
-0.3, w, 2/5
Let c = 88.7 - 89. Put 0, c, 4, -0.15 in descending order.
4, 0, -0.15, c
Let n(v) = v - 4. Let c be n(9). Let x be 2/(-56) + c/(-20). Let k(r) = r + 4. Let u be k(-6). Put x, 2, u in decreasing order.
2, x, u
Let h = 2.2 + -2.4. Put h, 1/5, 0, 0.1 in decreasing order.
1/5, 0.1, 0, h
Suppose -3*o - 3 = -k + 6, 5*k + o = 13. Suppose -a = 4*a - 5. Suppose 2*j - 3*x = 2*x + 14, -j = -3*x - 9. Sort j, k, a.
j, a, k
Suppose 0 = 5*t - 2*o - 546 + 28, -2*t + o = -208. Let b be t/27 - (-4)/18. Sort b, -3, 1.
-3, 1, b
Suppose -a = 2*n + 9, 3*n = -a - 0*a - 11. Let o = a - -6. Sort o, 4, 0 in descending order.
4, o, 0
Let t(n) = -n**3 - 3*n**2 + 3. Let i be t(-3). Suppose 0 = -0*u - i*u + 12. Suppose 3*g + 2 = -7. Put u, -2, g in descending order.
u, -2, g
Let u be (1 - 1)*(-7 - 8/(-1)). Sort 10, u, 5, 1 in descending order.
10, 5, 1, u
Suppose -6*s - 2*v = -2*s - 18, -3*v + 15 = 0. Let x be 8/6*12/(-4). Put 0, x, s in descending order.
s, 0, x
Suppose -n + 3*n = -10. Let x be (-4)/18 - -21*3/(-81). Sort n, x, 2 in decreasing order.
2, x, n
Let b = -0.3 + -0.1. Let r = 362.5 - 363. Sort 10, b, r in descending order.
10, b, r
Let q = -83 + 85. Put q, 1, -4, -5 in ascending order.
-5, -4, 1, q
Let o be (-12)/(-56) - (-2 - (-12)/7). Sort 2/7, -3, o in ascending order.
-3, 2/7, o
Let g = 1 - 2. Suppose -m + 13 = 4*v, 0 = -4*m - 5*v - 0*v + 8. Sort g, -5, m in descending order.
g, m, -5
Suppose -3*a + 4*a = -5. Let z be (-3)/6*2 + 1. Suppose 4*f = 2*p - 6 - z, -3*p - 3*f - 9 = 0. Put a, p, 2 in descending order.
2, p, a
Let s = 7 + -11. Let w(v) = 2*v**3 - 3*v**3 + 3*v**2 - 16*v**2 + 3*v**2 - 1 + 11*v. Let p be w(-11). Put 1, s, p in increasing order.
s, p, 1
Let q = 27.8 + -14.93. Let i = q - -0.13. Sort 3, i, 1/5.
1/5, 3, i
Suppose r = -2*w - 3, -w - 6 = r + r. Sort 10, r, 2 in ascending order.
r, 2, 10
Let u(v) = -10*v**2 - v + 10. Let i(o) = o**3 - o**2 + 1. Let m(h) = i(h) + u(h). Let k be m(11). Sort -4, 1, k.
-4, k, 1
Let q = 2 - 3. Let s = 6 + -5.5. Let z = s - 0.8. Sort 3/5, q, z.
q, z, 3/5
Let o(t) = t**2 - 8*t - 2. Let k be o(7). Let l be (3/7)/(k/(-6)). Let w = -2.93 + -0.07. Put 4, l, w in descending order.
4, l, w
Let a(j) = j**2 + j + 2. Let h be a(0). Suppose -h*w - 1 = -9. Suppose -8 = 3*l + w. Sort 4, l, -2 in ascending order.
l, -2, 4
Let u = 155 + -152. Put -2, 4, 5, u in descending order.
5, 4, u, -2
Let v = -35 - -21. Let m = v - -13.9. Put m, 0.3, 5/3 in decreasing order.
5/3, 0.3, m
Let z = 16 - 21. Sort z, -0.1, -2/15 in increasing order.
z, -2/15, -0.1
Let v(o) = -o**2 - 7*o. Let n be v(-6). Suppose -10 = 4*t - 3*q - 0*q, 2*q = -t - 8. Let x = n + t. Sort 0, x, 4 in increasing order.
0, x, 4
Let t be 1*(3 + -4 + 0) - 3. Put t, -5, 1 in decreasing order.
1, t, -5
Let r(v) = -v**3 - 7*v**2 + 7*v - 10. Let g be r(-8). Put -1, g, 0 in increasing order.
g, -1, 0
Let k be (1 + -3)*4/(-16)*16. Let p = 9 + -6. Suppose 0 = -2*v - 4*q - k, p*v - 4*q - 4 = 4. Put v, 1, 5 in decreasing order.
5, 1, v
Let c = 155 - 157. Suppose 0 = -4*x - 5*j - 7, 0 = 3*x - 5*x - j - 5. Sort 6, x, c.
x, c, 6
Let h = -0.5 + 5.5. Let w be 24/(-10) + (-2)/(-1). Let c = 1/17 - 53/34. Sort c, h, w in descending order.
h, w, c
Suppose -3*c + 25 = 2*c. Let r(o) = -3*o + 16. Let w be r(5). Sort 2, c, w in increasing order.
w, 2, c
Let q(b) = 12*b**3 + b**2 - b + 1. Let n be q(1). Let d = n - 16. Sort d, -5, 5 in ascending order.
-5, d, 5
Suppose 0 = 4*o - 0*k + 4*k - 36, -k = -3*o + 11. Suppose 5*c - 618 - 107 = 0. Let i be c/(-45) + 2/9. Sort o, -5, i in increasing order.
-5, i, o
Let t = -241/42 + 39/7. Sort 1, -16, t.
-16, t, 1
Let m be 4/(-5) - (-1)/(-5). Let b(d) = -3*d**3 - d**2. Let v be b(m). Suppose 4*l + 0*f = -4*f - 16, -3*l - 2*f - 11 = 0. Sort -2, l, v.
l, -2, v
Let v be 1 + (21/(-2))/7. Sort 2.2, 2/23, v in ascending order.
v, 2/23, 2.2
Let n be (-4 - 1) + 1 + 3*2. Sort -1, -5, -3, n in increasing order.
-5, -3, -1, n
Let i(v) = -v - 6. Let s be i(-3). Put -1, -17, s in increasing order.
-17, s, -1
Let y = -15 - -23. Put 1, y, 0.2 in descending order.
y, 1, 0.2
Let w = 1507 - 1507. Let y(b) = b + 0*b + 1 + 1. Let j be y(0). Sort 3, w, j.
w, j, 3
Let s(l) = -l**2 - 7*l - 7. Let p be s(-4). Sort -3, -4, -2, p in descending order.
p, -2, -3, -4
Let l(v) = v**2 - 6*v + 4. Let n be l(5). Let p = n + 1. Let x be ((-11)/33)/((-2)/6). Sort 2, p, x in descending order.
2, x, p
Let v = -16 - -16. Let u = -4 - -2. Sort u, -3, v in ascending order.
-3, u, v
Let v(x) = x**2 - 4. Let d be v(3). Put -1/5, d, -3/2 in decreasing order.
d, -1/5, -3/2
Suppose -2*d - 26 = -30. Sort -8, -2, d in decreasing order.
d, -2, -8
Suppose -5*j + 3*j - 3*q = -1, -4 = j - 3*q. Sort j, 4, -5 in descending order.
4, j, -5
Let a = 0 + -0.1. Let x = 0.9 - 5.9. Put a, 0.5, x in decreasing order.
0.5, a, x
Let w = 12.6 + -15. Let x = w + 0.4. Let y = -2.3 - x. Sort 4, -1/5, y in descending order.
4, -1/5, y
Let z = -209 - -212. Put 0, -1, z in decreasing order.
z, 0, -1
Suppose 0 = -b + 2*b - 1. Sort b, -1, 2.
-1, b, 2
Let k = -2 + 6. Suppose f = k*f - 6. Suppose -5*u = -5 - 0. Sort u, 3, f.
u, f, 3
Let w = -55.7 - -56. Put 1/2, w, -6, -2 in decreasing order.
1/2, w, -2, -6
Suppose 0 = 2*z + 35 - 37. Sort 2, -3, z in ascending order.
-3, z, 2
Suppose 3 = -11*c + 14*c. Suppose 10 = -5*v + 2*l, 0*v + 2 = 2*v - 2*l. Put c, v, -3 in increasing order.
v, -3, c
Suppose 4*j - 2*j = 2, -5*q - 16 = -j. Suppose 0 = 3*d - 2 - 1. Let w be -3*d*(-3)/9. Put 5, w, q in decreasing order.
5, w, q
Let p be 289/30 + 2/(-3). Let j = p - 44/5. Let o be -1*(-2*1)/18. Sort -4/7, j, o in decreasing order.
j, o, -4/7
Suppose -4 = 5*a + 1. Let v = -47/90 - -3/10. Let n = -0.1 - -0.6. Put v, n, a in ascending order.
a, 