 + 13. Let x(z) = -z**3 - 7*z**2 + 8*z - 5. Let j be x(-8). Sort c, j, 4.
j, 4, c
Let f = -8 - -7.9. Sort 2, f, 10 in ascending order.
f, 2, 10
Let k(z) = -z**3 + z - 1. Let y be k(2). Let u = y + 6. Let d be -2*(1 + 0)/(-1). Sort u, d, 1 in ascending order.
u, 1, d
Let s = -5 + 3. Put -4/3, -3/2, s in descending order.
-4/3, -3/2, s
Suppose -5*s - 41 = 3*u, -2*s + u + 16 = -4*s. Let x = s - -38/5. Let o = 2 + -3. Put o, -2/7, x in decreasing order.
x, -2/7, o
Let p(s) = s**2 + 5*s + 2. Let k be p(-4). Let n be ((-3)/k)/((-45)/(-4420)). Let y = -146 + n. Put y, -3, 3 in decreasing order.
3, y, -3
Suppose 0 = 4*y - l - 11 + 22, 0 = -3*l - 15. Let w be -9*4/(-6)*-1. Put w, -1, y in ascending order.
w, y, -1
Suppose -3*l - 2 + 5 = 0. Sort 0, 3, l in descending order.
3, l, 0
Let j be (15/(-3))/(1/5). Let w = -24 - j. Sort w, -3, 3 in ascending order.
-3, w, 3
Let q = 2869/34 + -169/2. Sort -0.3, -3/5, q in descending order.
q, -0.3, -3/5
Let r = 1217/3288 - -2/411. Sort r, -0.2, 3 in increasing order.
-0.2, r, 3
Let o be 5 + -3 + (1 - -1). Let p(b) = b**3 - b**2 - b - 4. Let w be p(0). Let z be (-64)/(-70) + w/(-14). Sort o, z, 2/9.
2/9, z, o
Let s = 1.2 - 1. Let r(c) = 2*c - 16. Let v be r(8). Put s, v, 0.3 in ascending order.
v, s, 0.3
Suppose d + t = 3, -5*d + 2*d + 12 = 4*t. Let n be 7/((-7)/(-4))*-1. Put n, 3, d in ascending order.
n, d, 3
Suppose 4*g - 1 = 3. Suppose -b + 10 = b, -2*z + b + 1 = 0. Sort g, -1, z in descending order.
z, g, -1
Suppose -2*j = -3*j - 11. Put j, 1, 2, -2 in ascending order.
j, -2, 1, 2
Let u = -0.1 - -0.1. Suppose -25 - 41 = -3*v. Let z = -24 + v. Put z, u, -4 in ascending order.
-4, z, u
Let h be 4 + -7 + (1 - 1). Sort -16, -2, h, 1 in increasing order.
-16, h, -2, 1
Let s be (4/(-30))/(18/(-90)). Sort -0.5, s, 1/4 in decreasing order.
s, 1/4, -0.5
Let w be 2/(-11)*(2 + -3). Let i = -4 + 3.9. Put i, w, -5 in descending order.
w, i, -5
Let n be (108/90)/((-1)/(5/2)). Suppose 4*r = -6 - 14. Put 2, r, n in descending order.
2, n, r
Let f = 0.07 - -2.33. Let d = 2 - f. Put d, 0, 2/13 in decreasing order.
2/13, 0, d
Suppose -5*v + 37 = -5*i + 2, i = -3*v + 9. Put 1, i, 2 in descending order.
2, 1, i
Let v(d) = d + 4. Let p be v(1). Put -4, -3, p, -2 in descending order.
p, -2, -3, -4
Let g be -1*(-3)/(-9)*-12. Suppose 3*h = g*h + 4. Put -1, h, -2 in increasing order.
h, -2, -1
Let z = -0.05 + 2.05. Let q = 9.1 + -9. Put -4/9, q, z in decreasing order.
z, q, -4/9
Let y be (-1)/(-2)*0/(-1). Sort 5, -1, y in decreasing order.
5, y, -1
Let c = -17 - -17.11. Let u = 3.11 - c. Let z be 8/(-3)*2/8. Put -2, u, z in descending order.
u, z, -2
Let j be -2*7/78 - (-14)/42. Sort -0.5, -2/9, j, 1.
-0.5, -2/9, j, 1
Suppose -8*l + 3*l = 0. Suppose l = -g - 3 - 0. Sort 5, g, -2 in ascending order.
g, -2, 5
Let o be ((-2)/(2/6*-2))/1. Sort 0, o, -7.
-7, 0, o
Suppose 2*q - 4*q + 2*w - 2 = 0, -3*q + 4*w - 1 = 0. Put -4, q, 5 in decreasing order.
5, q, -4
Let l = -0.522 + 4.512. Let s = 3 + -2.99. Let x = s + l. Sort x, -2/9, 1/4 in decreasing order.
x, 1/4, -2/9
Let w = 2.6 - -0.4. Let l = 14 - 11. Let v(o) = o**3 - 4*o**2 + 5*o - 4. Let p be v(l). Put w, -2, p in descending order.
w, p, -2
Let r = 76 + -79. Sort 3, r, -1/2 in decreasing order.
3, -1/2, r
Let t = 19.7 + -19. Let v = 0.6 - -0.4. Let l = t - v. Sort l, -2, 6 in descending order.
6, l, -2
Let a = -0.04 - 2.46. Let r = a + 3. Put r, -1/12, 4 in increasing order.
-1/12, r, 4
Let u be -3*(1 + 1/3). Suppose i + 4 = -3*i + 2*n, 2*i = 3*n - 10. Let o(p) = p**2 + 2*p + 3. Let j be o(-2). Put i, u, j in increasing order.
u, i, j
Let l = -2 + 1. Let y(o) = 5*o**3 + 2*o**2 + o. Let q be y(l). Let n be (-12)/(-72) - 34/(-12). Put q, n, -5 in descending order.
n, q, -5
Suppose k = 6*k - 25. Suppose -8 = -2*u, -13 = k*b - 2*u - 0*u. Sort -4, b, -1/2 in ascending order.
-4, b, -1/2
Let s = -83 - -87. Sort -2/11, -3, -2/5, s in decreasing order.
s, -2/11, -2/5, -3
Let n(m) = -2*m + 9. Let a be n(5). Let r = -4 - -8. Put a, r, -2 in descending order.
r, a, -2
Let u(x) = -x**3 + 6*x**2 + 5*x + 10. Let l be (0 - 1)/(4/(-12)). Suppose 4*s - 5*n - 3 = 5, -4*s - l*n = -40. Let i be u(s). Put i, -2, -3 in descending order.
-2, -3, i
Let y = 1/19 - 59/38. Let v = -83/12 - -20/3. Sort y, 4, v.
y, v, 4
Let q = 15 + -15.33. Let y = q - -0.03. Sort -1/7, y, -3 in increasing order.
-3, y, -1/7
Let p(i) = -i**2 - 2*i + 4. Let f be p(-3). Let b be (-3 + 1)*(0/(-1) + 2). Suppose 2*n + 6 = 4*n, -3*a - 9 = -2*n. Sort b, a, f.
b, a, f
Let v(z) = z + 12. Let i = 21 + -33. Let c be v(i). Let q(r) = -3*r**3 - r**2 - r + 1. Let j be q(1). Sort 1, c, j.
j, c, 1
Let a = 85.1 - 92. Let v = a - -7. Put v, -0.4, -5 in increasing order.
-5, -0.4, v
Let b(n) = 4*n - 19. Let g be b(4). Put 1, -1, g, 5 in increasing order.
g, -1, 1, 5
Suppose -5 = -h, -2*g + h + 2*h = 13. Let m be g/(1 + (-9)/6). Let p be 1*2 - (2 + m). Sort p, -3, 3 in increasing order.
-3, p, 3
Let l = 9.46 - 9. Let z = l - 0.06. Let v be 1/(-5) - 153/85. Sort z, v, -5.
-5, v, z
Let y = 125 - 98. Sort 4, y, -2.
-2, 4, y
Let f(h) = h**3 - 2*h**2. Let s be f(2). Suppose s = 4*c - 5 - 3. Suppose -4*i + c*i - 8 = 0. Put 2, 1, i in descending order.
2, 1, i
Let j = -2 - -3. Suppose 0 = -4*z - n + 17, -4*z = 3*n - 8 - 11. Sort j, z, 0 in increasing order.
0, j, z
Let s(f) = -5*f + 2. Let b be s(1). Put b, 4, 5 in descending order.
5, 4, b
Let h be (1/(-3 + 2))/1. Let d be 10/55 - 93/(-33). Let z = h + d. Sort -1, z, 0 in ascending order.
-1, 0, z
Let r = -46 + 45. Let g = -6 + 8. Suppose -t + 10 = -4*x, 0 = g*t - 7*t - 2*x - 38. Sort t, 4, r in decreasing order.
4, r, t
Let r(j) = -j**2 - 10*j + 2. Let c be r(-11). Put 5, 1, c, -1 in increasing order.
c, -1, 1, 5
Let x = 3/47 + 67/423. Put -2/11, x, -0.5 in increasing order.
-0.5, -2/11, x
Let c = 1.7 + -2. Let k = 0 - -2. Sort 3/7, c, k in ascending order.
c, 3/7, k
Suppose 5*b = 5*n + 70, -26 = 4*n - 0*b + 2*b. Let m = 7 + n. Put 1, 5, m in descending order.
5, 1, m
Let m = 0 + 0. Sort -2/5, m, 0.3 in decreasing order.
0.3, m, -2/5
Let h = 14.93 + -15. Let l = h + -1.93. Put l, -0.3, 2/15 in decreasing order.
2/15, -0.3, l
Let n = -7 - -13. Let w = n - 1. Let b be 11/3 + (-3)/(-9). Sort b, 0.4, w in descending order.
w, b, 0.4
Suppose 9*y = 5 + 4. Suppose 0 = 4*u + 2*s + 12, -s + 2*s + 4 = -u. Sort u, 3, y in ascending order.
u, y, 3
Let m be (22 - 24)/(4/6) - 1. Let k(r) = 3*r - 4. Let v be k(3). Sort v, -5, m in increasing order.
-5, m, v
Let j = -17 + 13. Put -0.4, j, -4/3 in descending order.
-0.4, -4/3, j
Let x be 52/12 - 1/3. Suppose -x*s + 35 = s. Let t = s - 2. Sort 2, t, -5 in descending order.
t, 2, -5
Let f be (-11 - -14) + 9/(-2). Put f, 1, 3 in ascending order.
f, 1, 3
Let d(k) = k**3 + 6*k**2 - 4. Let f be d(-6). Sort f, 0.2, -0.04 in increasing order.
f, -0.04, 0.2
Let w = 7 + -4. Let k be 3*(w - 15/9). Put k, -4, 1 in descending order.
k, 1, -4
Let o(p) = -p**3 + p**2 - 2*p - 1. Let l be o(2). Let t be -3*(1 - (-15)/l). Put t, -3, 0.3 in descending order.
t, 0.3, -3
Let v be (-8)/(-2 + -2) - 12. Let u = v - -7. Put u, 2, 5 in decreasing order.
5, 2, u
Suppose 2*x + 9 = -5*p + 1, 5*x + 20 = 2*p. Put -5, p, -3 in descending order.
p, -3, -5
Let v(d) = -d**3 + 5*d**2 - 4*d + 1. Let g be v(4). Sort g, 10, 5.
g, 5, 10
Let v be (-25)/(-10) - (-2 - -3)/2. Let k(h) = -2*h - 12. Let p be k(-8). Put -8, v, p in increasing order.
-8, v, p
Let d be -1*2/2*-5. Suppose d*l + 0*l + 25 = 0. Sort 4, 5, l in ascending order.
l, 4, 5
Suppose -5 = -5*i - 2*t, -3*t - 23 = -i + t. Suppose i*d = -2*d. Put 5, d, 2 in decreasing order.
5, 2, d
Suppose r + 11 = 12. Put 0, r, -5 in increasing order.
-5, 0, r
Let l = -8.2 + 1.2. Let j = l - -7.1. Put 5, 1/4, j in increasing order.
j, 1/4, 5
Let z(l) = l**3 - 10*l**2 + 9*l + 4. Let c be z(9). Suppose -2*s + 7 = -d, 5*d + 6 = c*s - 11. Suppose -s*q = 4*v - 5 + 22, 0 = -4*q + v - 10. Sort q, -2, -5.
-5, q, -2
Let n = 87 + -86.7. Sort 1/2, -1, 1, n.
-1, n, 1/2, 1
Let w be 4/(-3)*-3*1. Suppose w*r + 3*q = -0*q, -r = -q + 7. Let l be 2/(-1)*10/5. Put r, 3, l in decreasing order.
3, r, l
Suppose -4*s + m + 15 = -0*m, 10 = -2*s + 4*m. Let f = 0 + s. Suppose 0 = -5*l + f*h + 1 - 36, -h = 3*l + 1. Sort l, 0, -3 in decreasing order.
0, l, -3
Let l = -0.33 - 15.67. Let w 