= -z - 2. Let o be h(7). Let j = 9 + o. Suppose -4 + j = 4*n. Sort 5, n, 4 in decreasing order.
5, 4, n
Let t = 3.4 - 3. Suppose -5*a - 30 = a. Sort t, a, -1/2.
a, -1/2, t
Let a(l) = l**2 - 5*l - 5. Let y be a(5). Let n(k) = -3*k**2 - 4*k + 3. Let i be n(1). Sort y, -7, i in decreasing order.
i, y, -7
Suppose -3*p = -9 - 6. Let s = 8 - p. Put 0, s, 4 in descending order.
4, s, 0
Let c(t) = -t**2 - 5*t - 1. Let w be c(-4). Let k be (-3)/(-6)*6*-1. Put w, k, 4 in ascending order.
k, w, 4
Let d be 4 + (8/(-16) - 6/4). Put d, 10, -1 in ascending order.
-1, d, 10
Let g = 0.01 - -1.99. Let x = g - 3. Let a = 1.4 + x. Put 0.3, a, -1/7 in decreasing order.
a, 0.3, -1/7
Let j = 2.589 - -0.411. Let i = 0.3 + -0.2. Sort i, 3/2, j in decreasing order.
j, 3/2, i
Suppose 0 = -2*h - 5*q - 2, -h = h - 5*q - 18. Let g = h + 0. Suppose 5*p = -0*u - u + 12, -g*p + u = -6. Sort 5, p, -1 in descending order.
5, p, -1
Suppose n + 1 = 5*n + a, -4*a = 5*n - 15. Let f(v) = v + 3*v**3 + 7*v**2 + 3*v**3 - 9*v**2. Let x be f(1). Put x, n, 3 in ascending order.
n, 3, x
Let w(m) = -1 + m + m**3 + 0*m - 3*m**2 + 2*m. Let r be w(2). Let n(l) = -5*l**3 + l**2 + 2*l + 1. Let p be n(-1). Sort p, 2, r in ascending order.
r, 2, p
Suppose -3*t - q = -8*t + 12, -t - 9 = -4*q. Put t, 0, 2 in increasing order.
0, 2, t
Suppose v = -5*z - 16, -3*v = -2*v + 3*z + 10. Let q = 4.1 + 0.9. Sort v, q, 3/7 in increasing order.
v, 3/7, q
Suppose 3*w - 8 - 7 = 0. Suppose -4*f = -u + 2, 3*f - 8*f + 2*u = 4. Sort w, -0.1, f in ascending order.
-0.1, f, w
Suppose -4*h + 2 = -2. Suppose -3*m = 5*c + 6, c + 3 = -3*c - 3*m. Put c, h, 0 in increasing order.
c, 0, h
Let r be -3 - ((-3)/(-3) + -3) - -3. Put 16, 3, 1, r in descending order.
16, 3, r, 1
Let p = 3.1 - 2.7. Put p, 0.2, -5 in ascending order.
-5, 0.2, p
Let i = 10788/19 - 568. Sort -0.5, i, -1/10 in ascending order.
-0.5, i, -1/10
Let t be (-6 + 7)/(1/(-5)). Sort t, -2, 4.
t, -2, 4
Let w = 0.4 - -4.6. Let b = 4.7 - w. Let j = 3 + -8. Put -3, b, j in increasing order.
j, -3, b
Let p = 254 + -257. Let y be 4/16*(3 - -1). Suppose 0 = -4*f - 0*f - 16, 0 = 4*k - 4*f - 28. Sort k, p, y in descending order.
k, y, p
Let y be 3 - -3*(-64)/60. Suppose 3 = -5*g - 2. Sort y, g, 0.5 in descending order.
0.5, y, g
Let w = -0.9 - -2.9. Suppose 4*b - 5*b = 0. Sort w, 0.2, b in ascending order.
b, 0.2, w
Let f = 1 + -1.2. Sort -4/9, -1/3, f in descending order.
f, -1/3, -4/9
Let d = -0.4 + -0.6. Let y = 2 - d. Put -1/6, y, 0.1 in decreasing order.
y, 0.1, -1/6
Let k = -1.12 + 0.12. Put k, -0.5, -11 in decreasing order.
-0.5, k, -11
Let b be 496/(-15) - (-2)/(-6). Let n = -33 - b. Put n, -2, -2/5 in descending order.
n, -2/5, -2
Let d be 30/(-18)*(-3 + 0). Suppose l + d - 7 = 0. Sort l, -6, 4 in descending order.
4, l, -6
Let j = -0.34 + -4.56. Let d = j - 0.1. Sort d, -4, 4 in decreasing order.
4, -4, d
Let c(y) be the third derivative of y**6/24 - y**4/12 + y**3/6 - 3*y**2. Let f be c(1). Sort 5, 0, f in descending order.
5, f, 0
Let x = -6 + 13/2. Let a(w) = -w**2 + w + 3. Let u be a(3). Put x, -0.4, u in descending order.
x, -0.4, u
Let b(n) = 3*n - 1. Let a be b(-1). Let x = 25 + -24. Put a, x, -2 in ascending order.
a, -2, x
Let q = -4.4 - 0.6. Let f = -81 + 80.6. Put f, -0.7, q in descending order.
f, -0.7, q
Suppose 40 = 4*t + 5*y, -2*y = -2*t + t + 10. Let a(f) = -f**2 + 10*f + 2. Let i be a(t). Sort -3, i, -5 in decreasing order.
i, -3, -5
Let w = -7.9 - -7.91. Let u = -42 - -41.49. Let r = w + u. Put 5, r, -0.2 in increasing order.
r, -0.2, 5
Let j = 0.267 - 0.047. Sort j, -1/4, 1/4 in descending order.
1/4, j, -1/4
Let k = -0.044 + -0.156. Sort 27, k, -2 in increasing order.
-2, k, 27
Let b = -14 + 25. Let j be (1/3*(-10 - -10))/3. Sort j, b, -4/3.
-4/3, j, b
Let k be -4 - 2/2*0. Suppose 2*w + 4*w = -6. Put k, w, -5 in decreasing order.
w, k, -5
Let h = -11 - -15. Let c(j) = -j**3 + 8*j**2 - j + 10. Let p be c(8). Suppose 4*g - 7 = -z, -p = -2*z - g + 5. Put z, -3, h in ascending order.
-3, z, h
Let w = -46.3 - -46. Sort -8, w, 1/11 in descending order.
1/11, w, -8
Suppose -2*w + 5 = -5. Suppose 3 = w*f - 2. Suppose -4 = -2*x + 2. Put x, f, -5 in ascending order.
-5, f, x
Suppose 0 = -4*j + 4*n - 28 + 88, 0 = 3*j - 4*n - 40. Suppose -6*x + j = -x. Sort -2, 5, x in descending order.
5, x, -2
Suppose 2*t + 3*q - 25 = 0, -3*t + 2*q = -2*t + 5. Sort t, 4, 2, 0.
0, 2, 4, t
Let k = -35 - -35.3. Sort -2/17, k, 0.4, 1/4 in descending order.
0.4, k, 1/4, -2/17
Let t be 3*(3 + -4) + (-4 - -2). Sort 1, -20, 3, t in ascending order.
-20, t, 1, 3
Let v = 7 - 8.4. Let u = v + 2.4. Let k = -11 - -6. Sort 0.5, u, k in ascending order.
k, 0.5, u
Let j = -70.7 + 71. Sort -2, j, 0.09 in decreasing order.
j, 0.09, -2
Let y be (-2*1)/(16/40). Let z(i) = -i**3 + 6*i**2 + i - 4. Let k be z(6). Sort y, -3, k in ascending order.
y, -3, k
Let g = 5.217 + 0.083. Let k = 0.3 - g. Let t = 4 + k. Sort t, 4, -3/5 in decreasing order.
4, -3/5, t
Let h(p) = -4*p + 19. Let i be h(5). Put -6, i, 4 in decreasing order.
4, i, -6
Let l(f) be the third derivative of -f**6/120 + f**5/12 + f**4/24 - 4*f**2. Let y be l(5). Sort 3, y, -0.3 in decreasing order.
y, 3, -0.3
Let g(y) = y**3 + 5*y**2 - y + 5. Let m be g(-5). Let r(b) = b - 7. Let s be r(m). Sort -3, 4, s in descending order.
4, s, -3
Let r(q) = -q**2 + 6*q - 1. Let i be r(6). Suppose 0 = -4*u + 9 + 11. Suppose 2*l + 9 = u*l. Sort l, i, -5 in ascending order.
-5, i, l
Suppose 8*p + 11 + 29 = 0. Put 3, -3, p in descending order.
3, -3, p
Let c(r) = -r - 17. Let p be c(-13). Let j(v) = -v - 3. Let d(h) = -1. Let f(i) = 9*d(i) - 4*j(i). Let n be f(-2). Put p, -1, n in increasing order.
n, p, -1
Let j = -1 - -4. Let l be -1 + 1 + 0/(-1). Suppose -10 = -2*d + 3*r, 4*d = -0*r - 5*r + 20. Sort d, j, l in ascending order.
l, j, d
Let j = 1 + -0.8. Let i = 6 - 6.5. Let r = i + 0.6. Sort r, j, 2/13.
r, 2/13, j
Suppose -5*q - 15 = 5*f, 0 = q - 3*f - 0*f - 17. Put -3, 0, 1, q in ascending order.
-3, 0, 1, q
Suppose 5*k = 2*n - 10 - 4, 6 = -4*k - n. Let p(u) = -2*u - 3. Let i be p(-4). Suppose 4*q = -z + 1, -6*z + z + i = q. Sort q, k, 3 in descending order.
3, q, k
Let h = 18 - 17. Sort -4, 5, h.
-4, h, 5
Let v be ((-2)/5)/(1/10). Let c(d) = d**3 + 2*d**2 - 7*d + 5. Let r(s) = s**3 + s**2 - 7*s + 5. Let y(j) = -5*c(j) + 6*r(j). Let t be y(5). Sort t, v, 3.
t, v, 3
Let s(d) = -d**2 + 5*d + 3. Let k be s(5). Let v(i) = 11 - i + k*i - i. Let b be v(-10). Sort 3, 5, b.
b, 3, 5
Let r(w) = -w + 4. Let u be r(10). Put u, 1, 0.1 in decreasing order.
1, 0.1, u
Let o(m) = m + 4. Let u be o(-7). Let i = 3 + u. Suppose 6*k - 3*q - 14 = 2*k, 0 = -k - 3*q - 4. Put k, -4, i in descending order.
k, i, -4
Suppose 7 = w + 4. Put -5, 1, w in descending order.
w, 1, -5
Let o be (-21)/27 - 10/45. Sort o, -11, 4 in increasing order.
-11, o, 4
Let p = -74.4 - -76. Sort 0.2, p, -3 in descending order.
p, 0.2, -3
Let h = -0.01 - -0.01. Let i = h - 0.5. Put -0.4, i, 0.1 in descending order.
0.1, -0.4, i
Let q = 7 + -13. Suppose 15 = -3*g + 2*p, 1 = -2*g - 4*p + 7. Let o = g - q. Put o, 1, 5 in decreasing order.
5, o, 1
Suppose -10*n + 5*n - 60 = 0. Let j = n + 9. Put -1, -5, j in decreasing order.
-1, j, -5
Let n = -445/6 - -74. Let c = -0.004 - 0.296. Put n, 2, c in decreasing order.
2, n, c
Let a = 17 + -22. Let q = 4.7 + a. Let p(l) = l - 1. Let y be p(0). Put y, 1, q in ascending order.
y, q, 1
Let u = -2.4 + 2. Suppose 0 = -0*q + 3*q. Put q, u, -5 in ascending order.
-5, u, q
Let u = 13 + -8. Suppose -w - 4 = -2*w. Sort -5, w, u in increasing order.
-5, w, u
Let s = -0.005 - 5.995. Sort 5, s, -2/11.
s, -2/11, 5
Let k be 5 + -1 - (1 + -1). Let m(d) = 3*d**2 + 7*d + 3. Let j be m(-2). Sort j, -2, k in decreasing order.
k, j, -2
Suppose 0 = 3*m - 13 - 17. Let i = m - 8. Put -1, -15, i in descending order.
i, -1, -15
Let o(u) = -u**3 - 5*u**2 - 7*u - 1. Let a be o(-3). Put 5, 9, 3, a in descending order.
9, 5, 3, a
Let w = 12 + -8. Let a = 1 - -3. Suppose 5*j = a*j. Put w, 2, j in increasing order.
j, 2, w
Let u = 6 + -4. Sort -8, u, 0 in descending order.
u, 0, -8
Let w be -3 + (2 + -2)/(-3). Sort w, 3, -0.4, -4 in ascending order.
-4, w, -0.4, 3
Let l = 8 + -4. Let x = l - 5. Put x, -2/5, -5 in descending order.
-2/5, x, -5
Suppose -2*i = -0*f + f + 6, -2*i 