 - 13. Let y be v(-8). Sort 1, -1/2, y.
y, -1/2, 1
Let k be -1 + 4*(-4)/(-14). Let f be 8 - 11/(143/117). Put k, 1, f, 0.2 in decreasing order.
1, 0.2, k, f
Let u = 4 - 6. Let w = -2346607/57515 - 1/11503. Let k = w - -40. Put k, u, 2/13 in increasing order.
u, k, 2/13
Suppose 4*h = -12*x + 13*x + 9, 7 = 3*h - x. Put -0.4, -1, h, -5/8 in descending order.
h, -0.4, -5/8, -1
Let k = -80 - -61. Let i = 24 + k. Sort 2, 1/3, i, -5/3 in decreasing order.
i, 2, 1/3, -5/3
Let j be 0 - 4 - (8 + -6) - 0. Let q be (-1 - -5)*j/12. Put -0.5, -1, 0, q in increasing order.
q, -1, -0.5, 0
Let p = -1251 + 1250. Sort 5, 0, p, 0.3 in increasing order.
p, 0, 0.3, 5
Suppose -5*z + z + 142 = -5*m, z + m - 31 = 0. Let j be 2 - (-11)/(z/(-6)). Let g be 1*5*(-2)/5. Sort g, -3, j in decreasing order.
j, g, -3
Suppose n = 235 - 236. Let l(h) = -h + 9. Suppose 5*o = -4*s + 33, 2*s - 6*s - 7 = -3*o. Let m be l(o). Sort m, 1, n.
n, 1, m
Suppose 3*k + 3 = 3*o, -2*k = -3*o - 0 + 7. Suppose -3*u = 0, 35*t - u = 37*t + 6. Put 0.3, t, o, 1 in decreasing order.
o, 1, 0.3, t
Let f = -1.888 + -0.112. Sort f, 0.3, 2/9, 2/5 in ascending order.
f, 2/9, 0.3, 2/5
Let z(o) be the first derivative of 9*o**2 + 2*o - 7. Let q be z(3). Let a be ((-12)/q)/((-3)/2). Sort a, 3, -2/13 in descending order.
3, a, -2/13
Let d be (-39)/(-91) + 202/966. Let b = -2/69 - d. Sort b, 1/4, -6.
-6, b, 1/4
Let v = 12.87 + -13. Let o = -40.83 - -41. Let b = v - o. Sort -5, -1, b in decreasing order.
b, -1, -5
Let u be 26 - 21 - 33/7. Sort -44, 1, u in descending order.
1, u, -44
Let r(w) = -12*w - 32. Let g be r(-6). Let s be (1 - 0)/(g/24). Put 1/3, s, 5 in descending order.
5, s, 1/3
Let t be 1/(15/(-39)) - -3. Let a be 4/(-14)*(-52 - 11)/(-9). Sort -0.4, a, t, 4/7 in decreasing order.
4/7, t, -0.4, a
Let x = 409 - 409. Put -1, 83, x, 1 in ascending order.
-1, x, 1, 83
Let c = 21.6924 - -0.0076. Let d = 22 - c. Put d, 0, 2 in descending order.
2, d, 0
Let h = 6 - 3. Let t(d) = -5*d**2 + 3*d**3 - 51 + 100 - 2*d**3 - 59 + 2*d. Let k be t(5). Put -1, k, h in ascending order.
-1, k, h
Let d = -26.8 - -29. Let k = d - 4.5. Let p = -2.6 - k. Sort p, -1/4, 3 in ascending order.
p, -1/4, 3
Let k = 19 - 21. Let x = k + 7. Let c = 0.11 - -0.19. Put x, 2/5, c in descending order.
x, 2/5, c
Let p = -216 - -208. Sort 2/15, -1, p.
p, -1, 2/15
Let p be ((-32)/8 - -4)/(-5 + 2). Suppose 3*k - 3*o + 12 = 0, -3*o = 5*k - 2*o + 32. Let a(f) = f**2 + 6*f - 2. Let s be a(k). Put 9, p, s in increasing order.
s, p, 9
Let h be (28/(20/(-5)))/(-1). Let n = h + -11. Sort 16, n, 0 in descending order.
16, 0, n
Let v be (2 - (-4 - -5))*-5. Let x be 4/(16/68) + -3. Let y = x + -16. Put y, -1, v in ascending order.
v, y, -1
Let x = 1 + -1.4. Let w be 88/(-40) - (-32)/(-40). Let c = -2 + 2.01. Put x, c, w in descending order.
c, x, w
Let y = -3905 - -3909. Suppose 0 = -2*z - 3*z + 25. Put y, 3, z in increasing order.
3, y, z
Let j = 3 - 6. Let c = 4 + j. Let g = -8/35 + 3/35. Sort -3, g, c in ascending order.
-3, g, c
Suppose -100*j = -101*j - 1. Sort j, 3/7, -0.08, 0.4.
j, -0.08, 0.4, 3/7
Let v(l) = 4*l - 20. Let x be v(6). Suppose -i = 3, -4*i = -o - x*o - 8. Let u = 278/5 - 56. Sort 0, o, u in increasing order.
o, u, 0
Suppose 8*t - 155 + 147 = 0. Let m be 2 - -4 - (0 - -2). Sort t, 3, m, -13 in increasing order.
-13, t, 3, m
Suppose 4*t - 18*t - 42 = 0. Let y be 8/2*2/(-8). Sort -2/23, t, y in descending order.
-2/23, y, t
Let s(c) = 3*c**2 + 13*c + 26. Let b(j) = 10*j**2 + 39*j + 79. Let g(p) = -2*b(p) + 7*s(p). Let r be g(-11). Sort r, 0, 4, -3.
-3, 0, r, 4
Let x(h) = h - 23. Let f be x(10). Sort 0.1, -2/9, f, 4.
f, -2/9, 0.1, 4
Let p = 308 - 308. Sort -1, p, 0.4.
-1, p, 0.4
Let f = 2.75 - 2.55. Sort 0.4, 1/4, -37, f.
-37, f, 1/4, 0.4
Suppose -r - 3*r + 4*s = 56, -10 = 3*r + 5*s. Sort -1, -2, r, -5 in increasing order.
r, -5, -2, -1
Let l be (-608)/24 - (0 - -1). Let f = l + 24. Sort 2/9, f, -3/7 in descending order.
2/9, -3/7, f
Let s = 756 - 755.8. Put -2/17, s, 3/5, 36 in ascending order.
-2/17, s, 3/5, 36
Let i be 5*2/8*3/5. Let y = 4.4 - 4. Sort y, -2/13, i in increasing order.
-2/13, y, i
Let b = -89 + 74. Let u be (b/50)/(12/16). Let w = 7 + -5. Put 7, u, w in increasing order.
u, w, 7
Let d = -119 + 79. Let o = 65 + d. Sort -5, o, 5 in ascending order.
-5, 5, o
Suppose -4*o + 3*t = 9, t + 6 = -o + 3*t. Suppose 120 = -6*b - 42. Let q = 24 + b. Sort q, -5, o.
-5, q, o
Let i be 4/6 - 2/(-6). Let d be ((-1)/(-2))/(17/(-34)). Let h be (-3)/2*16/6. Sort d, i, h in increasing order.
h, d, i
Let n = 7.17 - 4.17. Let c = -3.1 + 3. Sort n, 0.3, 3/2, c in increasing order.
c, 0.3, 3/2, n
Let x = -2/103 + -91/618. Let l = -164.1 + 174. Let q = -10 + l. Sort x, 2/23, q in ascending order.
x, q, 2/23
Let h = 8 - 9. Suppose 0 = t - 2*t. Suppose t = -n + 2*n - 5. Sort n, h, 4 in ascending order.
h, 4, n
Let o(t) = -207 + 208 - 2*t**3 + 2*t - 4*t**3 + 5*t**3 - 2*t**2. Let b be o(-3). Let m = -0.06 - 4.94. Sort b, m, -4 in ascending order.
m, -4, b
Let n(h) = h**3 - 12*h**2 - 15*h + 177. Let k be n(12). Suppose 0 = l + 4*l - 20. Put 0, l, k in increasing order.
k, 0, l
Let g = -130.4 + 173.4. Sort 3/5, 1, g in decreasing order.
g, 1, 3/5
Let l = -316 + 321. Sort -5, -33/8, l in descending order.
l, -33/8, -5
Let v = -25 - -24.99. Let q = 0.21 + v. Let b = 48 + -385/8. Put b, q, -2 in descending order.
q, b, -2
Let j = -201 - -197. Put j, 4, 5 in descending order.
5, 4, j
Suppose -3*f + 8*t = 3*t + 9, 3*t = -2*f + 13. Suppose -3*i = -4*w - 3, 6*i = -f*w + i - 21. Let v be (2 - (w + 4)) + 0. Sort v, -4, 5 in decreasing order.
5, v, -4
Let f = 154 - 157. Put f, 20, 1 in decreasing order.
20, 1, f
Let f = -26160/37 - -707. Sort -5, f, 0.5 in decreasing order.
0.5, f, -5
Let a = 15.78 - -0.22. Let c = a - 20. Let s = 0.57 + -0.07. Sort c, s, -3 in descending order.
s, -3, c
Let u = 226 + -231. Sort u, 5, 29, -3 in decreasing order.
29, 5, -3, u
Let o(k) = -2*k**3 + 6*k**2 - 2*k. Let h be o(3). Let f = h - -2. Suppose -5*z = 5*u - 10, -2*u + 2*z = 4 + 4. Put 4, f, u in ascending order.
f, u, 4
Suppose 0 = -9*x - 0*x - 9. Put -0.5, x, 0.1, -0.4 in increasing order.
x, -0.5, -0.4, 0.1
Let u = -307 + 309.705. Let h = 0.005 - u. Let y = 3.7 + h. Sort y, -0.3, 3/4 in ascending order.
-0.3, 3/4, y
Let f = 196 + -197. Put -4, 3, f in increasing order.
-4, f, 3
Let z = 436 + -436.4. Sort 0.2, -2, -2/11, z in decreasing order.
0.2, -2/11, z, -2
Suppose 4 = 4*d, 2*d - 52 = s - 6*s. Suppose -5*i - s = 0, -u - i + 2 = u. Sort u, 11, 3, 4 in descending order.
11, 4, 3, u
Let x be ((-4)/3)/((-14)/(-21)). Let a be x - (1 - 10 - -3). Suppose 0 = -4*l - a, m + 5*l - 13 = 3*m. Sort -3, m, 3 in increasing order.
m, -3, 3
Let t(c) = -c**3 - 6*c**2 - 3*c + 4. Let z be t(-4). Let r = z + 17. Let h = 0.3 + -0.3. Put 0.3, r, h in increasing order.
h, 0.3, r
Let t = 726 - 725. Let v = 5 + -1. Sort v, t, 2, 0 in descending order.
v, 2, t, 0
Suppose -5*x = -52 + 7. Suppose -56 = x*k - 5*k. Let q be (2/(-4))/((-7)/k). Sort q, 1, 3 in descending order.
3, 1, q
Suppose -v - 2*v = w + 11, -4*w - 22 = v. Suppose -5*y - 1 = s - 7, 5*s + 5*y + 10 = 0. Let f = s - -3. Sort f, v, 4 in ascending order.
v, f, 4
Let b = -15.68 - -16.68. Sort -5, b, -2/2575 in ascending order.
-5, -2/2575, b
Let g be 5*((-92)/(-414))/((-10)/(-18)). Put 1/6, -0.19, g, -3 in decreasing order.
g, 1/6, -0.19, -3
Let u be 10 + -7 - (3 + 3 + -1). Put 5, u, 22, -4 in increasing order.
-4, u, 5, 22
Suppose 3*b = -2*g - 2*b + 41, -2*b + 21 = g. Suppose -4*m + 0*m - 112 = 0. Let w = m + g. Put -1, -2, w in decreasing order.
-1, -2, w
Let o = -2302.941 + 2303. Sort o, -2, 3, 1/4 in descending order.
3, 1/4, o, -2
Let k(d) = -2*d**2 + 14*d. Let j be k(7). Suppose 5*l + 21 = 2*m, -3*m + 9 = -l - m. Put l, 3, j in descending order.
3, j, l
Let m = -63 - -66. Suppose 3*w = m*p - 12, -4 = p + 2*p + w. Let u = 3.5 - 3. Put p, u, 3 in ascending order.
p, u, 3
Let d = -0.567 - -0.867. Sort -9, 18, -0.5, d in decreasing order.
18, d, -0.5, -9
Let y = 1252 + -1258. Put y, -3, 4 in decreasing order.
4, -3, y
Let c = 0.286 - 0.686. Let s = -1.3 + 3.3. Sort 2/7, s, c, 0.4 in ascending order.
c, 2/7, 0.4, s
Let u = 0.3 - -0.1. Sort u, 4, -0.023, 1/5.
-0.023, 1/5, u, 4
Suppose -3*v = -0*v. Suppose v = -2*y + y + 5. Let m(n