et n be (1 + 0)/(-1 + 0). Put b, -2, n in decreasing order.
n, -2, b
Let v(i) = -i + 9. Let c be v(5). Suppose 5*o + 2*s - s = 16, 0 = -3*o - 4*s - c. Suppose 3 = 3*q - 12. Put o, q, -4 in decreasing order.
q, o, -4
Let a = -4 + 4.4. Let n = -0.1 - a. Sort n, -0.3, -4.
-4, n, -0.3
Let s = -139 + 138. Sort 11, s, -2 in increasing order.
-2, s, 11
Let v = -56948/3 - -172340/9. Let l = -166 + v. Sort l, 2, -0.5 in descending order.
2, l, -0.5
Suppose -5 = 3*d + 4. Sort d, 1, -5.
-5, d, 1
Let b = 0.1 + -0.1. Suppose 0 = 5*u + 2*w - 80, -14 = -4*u - 4*w + 38. Suppose -2*o + u = 2*v, -3*v + 2*o = -3*o + 5. Sort b, 3, v in increasing order.
b, 3, v
Suppose 0 = -3*g - g. Let q = 88 - 92. Sort 5, g, q in increasing order.
q, g, 5
Suppose 12*j - 1 = 11*j. Put -4, j, -3 in increasing order.
-4, -3, j
Let y = 0.5 + 0.3. Let p = y + -0.4. Sort p, -2, -2/5 in decreasing order.
p, -2/5, -2
Suppose 7 = n + 4*c - 15, 4*n + 12 = 4*c. Let v = n - 1. Suppose 7 = -2*z + v. Put -1, z, -4 in decreasing order.
-1, z, -4
Suppose -o + 1 = -2*o. Let m be (-63)/35 - (-2)/(-10). Put 5, m, o in ascending order.
m, o, 5
Suppose -10 = -4*z - z. Let x = 9 + -8. Sort z, x, 3 in decreasing order.
3, z, x
Suppose 0 = -0*j + 2*j + 4*w + 2, -2*w + 4 = 0. Sort 0, -4, j, 3 in decreasing order.
3, 0, -4, j
Let p be 1 + 45/(-108) + 1/(-4). Suppose 15 = 4*b + 3. Suppose 9*q = 4*q - 15, -b*z + 5*q + 6 = 0. Put -1, p, z in decreasing order.
p, -1, z
Let k = -12 - -7. Sort 3, k, -1.
k, -1, 3
Let y = 31.5 - 31. Sort y, 5, -0.1 in increasing order.
-0.1, y, 5
Let d = 89 - 799/9. Put -4, d, 0.5 in ascending order.
-4, d, 0.5
Suppose -3*k - 10 = -2*r, -5*k - 4 = 2*r - 14. Put k, 2, -1 in ascending order.
-1, k, 2
Let o(g) = -g**2 + 8*g - 9. Let t be o(6). Let z = 7 - t. Suppose 5*c - 15 = 0, 0*j = -z*j + 5*c - 11. Sort 0, -3, j in increasing order.
-3, 0, j
Let f = -16 - -15.4. Let j = f - 0.4. Sort 0.4, 0.1, j in descending order.
0.4, 0.1, j
Let u = 1.2 + -1.6. Let n(a) = 3*a**3 + 2*a**2 - 1. Let d be n(1). Sort d, -1/2, u in ascending order.
-1/2, u, d
Let y = -0.14 + -0.26. Let w = -11 - -7. Put -3, w, y in ascending order.
w, -3, y
Suppose -q + 2 = -31. Let f = q - 67/2. Let k(b) = -b. Let r be k(3). Sort r, f, -5 in ascending order.
-5, r, f
Suppose 0 = -2*y - 2*y + 16. Suppose 3*r = 4 + 5. Sort y, r, 2 in decreasing order.
y, r, 2
Let y be ((-2)/(-145))/((-3)/105). Let g = 152/435 + y. Let v = 4.3 + -4. Put v, g, -2 in decreasing order.
v, g, -2
Suppose -r = -3*r + 4. Suppose 0 = -l + 3 - 1. Let o = 1 + l. Put r, -5, o in descending order.
o, r, -5
Let d = 4.91 - -0.09. Put 0, d, -20 in ascending order.
-20, 0, d
Let r(s) = 10*s + 4. Suppose y = o + 6, 2*y = y - 5*o. Let j be r(y). Let d be j/60 + 2/(-5). Sort -0.3, 1, d in decreasing order.
1, d, -0.3
Let m(t) = -9*t + 8. Let p be m(1). Put 1, p, -3/2, 5 in descending order.
5, 1, p, -3/2
Let d be (-4)/(-2) + 3/(-6). Suppose -k + 50 = 4*k. Let a be 8/20*k/(-14). Sort a, d, 0.5 in decreasing order.
d, 0.5, a
Let k(v) = v**3 + 6*v**2 + 5*v + 1. Let s be k(-5). Put -3, 0, s in ascending order.
-3, 0, s
Let t = 134 + -129. Put -4, t, 2.8 in descending order.
t, 2.8, -4
Let l = -0.09 - 0.91. Let v be (-1)/(-4) + 73/(-4). Let j be -1 + v/14 + 2. Sort -0.2, j, l.
l, j, -0.2
Let n = -1.1 - -1. Put 3, 2, n in decreasing order.
3, 2, n
Let t be ((-26)/91)/((-2)/14). Put t, 3, -4 in decreasing order.
3, t, -4
Let r = -2.5 + -0.5. Let m = -4 - -7. Sort m, r, -4 in descending order.
m, r, -4
Let b = -181 - -186. Sort 2, 3, -3, b in ascending order.
-3, 2, 3, b
Suppose -17 = -4*p - 5. Sort -8, p, -4, 1.
-8, -4, 1, p
Let k = 2 - 1.9. Let l(o) = o**2 - 5*o - 1. Let t be l(3). Let s be (1/t)/((-4)/8). Put k, -2, s in decreasing order.
s, k, -2
Let o(n) = n**3 + 8*n**2 + 2*n + 12. Let y be o(-8). Let z(h) = h - 3. Let s be z(5). Put y, s, 4 in descending order.
4, s, y
Let n = -16 - -11. Put -2, n, -6 in descending order.
-2, n, -6
Let d = 123 - 131. Sort -4/3, d, -0.4, 0.2 in ascending order.
d, -4/3, -0.4, 0.2
Let b be 1/(-2) - 2/(-4). Suppose b = 2*l - 3*u + 2, -4*l - u = 4*u - 18. Let h = -83 + 83. Sort l, h, -1 in ascending order.
-1, h, l
Suppose 4*z - z = -4*d - 9, -5*d + z = -3. Suppose -3*f - 2*f = 10. Sort -5, f, d.
-5, f, d
Suppose -4*k - 5*c = -3*k + 10, 0 = 3*k + 5*c + 20. Let j be (-2)/9*2/(-4). Let m(t) = -t**2 - 8*t - 9. Let r be m(-6). Sort j, r, k.
k, j, r
Suppose 5*q + r = -r, r + 5 = 0. Let m be (-6)/15 - (-7)/5. Put m, -2, q in descending order.
q, m, -2
Let d = -9 + 6. Sort d, 2/15, -3/5 in decreasing order.
2/15, -3/5, d
Suppose -2*n - 5*d - 15 = n, -4*n = 5*d + 20. Put 10, 1, n in ascending order.
n, 1, 10
Let d(y) = -y**2 + 5*y + 2. Let u be d(5). Suppose 3*c - 5*c + u = 0. Put -1, c, -3 in decreasing order.
c, -1, -3
Let s = -2 + 1.9. Put -2/13, s, 4 in increasing order.
-2/13, s, 4
Let d = 0.345 - -0.055. Sort d, -0.2, -0.3, 2 in decreasing order.
2, d, -0.2, -0.3
Let u = 0.1 + -0.1. Let i = 7 - 10. Let h = u - i. Sort 0, h, -1/2 in increasing order.
-1/2, 0, h
Let x = 26 - 25.8. Sort 2, -1/2, -4, x.
-4, -1/2, x, 2
Let l = 12 + -11.7. Sort l, -5, 2/7 in descending order.
l, 2/7, -5
Let v = -2 + 5. Put -0.2, v, 0.5 in descending order.
v, 0.5, -0.2
Let v = 215 + -1509/7. Put 5, v, -3/7 in decreasing order.
5, -3/7, v
Let v(s) = -s**3 + 4*s**2 - 4*s - 1. Let d be v(3). Sort d, 8, 2 in decreasing order.
8, 2, d
Let s = -8.9 - -0.9. Let p = s + 7.5. Sort 3, p, -2/17 in ascending order.
p, -2/17, 3
Let x be (-2)/4 - (-13)/18. Let a be (0 - -1) + (-172)/129. Let j = 2 - 3. Put a, j, x in ascending order.
j, a, x
Let j be -1 - -2 - 3 - -2. Suppose j = -c + 5*r + 10, -3*c - 2*r + r = -14. Sort c, 3, 2 in decreasing order.
c, 3, 2
Suppose -2*v = 3*v - 25. Let x = -9 - -13. Sort v, 0.1, x in descending order.
v, x, 0.1
Let o = 1 - 0.9. Let u = 0.9 + o. Put u, 1/6, 0 in descending order.
u, 1/6, 0
Suppose 3 = 2*k - 3. Suppose z - k*c = 0, 0 = 3*z + 2*c - 0*c. Suppose p + 4*p = r + 22, 2*r + 3*p - 8 = z. Sort r, 2, 0.
r, 0, 2
Let k = -31 + 21. Let p be ((-4)/2)/((-4)/14). Let q = p + k. Put 4, q, 0 in increasing order.
q, 0, 4
Let w be (30/(-20))/((-1)/(-2)). Sort 1, -5, 0, w.
-5, w, 0, 1
Suppose -15 = 5*h, -2*j + 4 + 3 = -5*h. Sort 2, j, -3.
j, -3, 2
Let j be (-2)/5 - 76/(-185). Let o = 39/185 - j. Put o, 0.5, 4 in ascending order.
o, 0.5, 4
Let v be -5*(2 - (-39)/(-15)). Suppose s = -2, -34 = -v*q - 3*s - 4. Let z = q + -7. Sort z, 2, 1 in ascending order.
1, 2, z
Let y be 16/(-3) + 2/6. Suppose 0 = -5*s + v - 11, -1 + 7 = 2*s - 3*v. Sort y, s, 4.
y, s, 4
Let g = 0.8 + 0.7. Let q = 0.53 - 0.03. Let k = g - q. Sort -2/5, 5, k in increasing order.
-2/5, k, 5
Suppose -3*q - q + 2*s - 8 = 0, -5*q = -2*s + 8. Suppose -5*c - 2*o = -9, q = 3*c - 2*o + 4 - 3. Let p = 6 - c. Sort p, 3, 4 in increasing order.
3, 4, p
Let k = 10 + 10. Sort -5, k, 0.4.
-5, 0.4, k
Let q = -1.1 - -1.28. Let f = q + 7.32. Let a = f + -7. Sort a, -1, 0 in descending order.
a, 0, -1
Suppose 5*u - 2*b - 16 = 3*u, 0 = -3*u - 2*b + 14. Let q = u + -5. Let s be q/2 - 3/(-6). Sort s, 4, -2 in descending order.
4, s, -2
Suppose 3*n - 2*h = -19, 2*n - 1 = 2*h - 15. Let j = -2 - -1. Let s = 0 - j. Sort n, s, 2 in decreasing order.
2, s, n
Suppose 13 = 3*o + 16. Let t = 1/18 - -29/126. Put 2/5, o, t in increasing order.
o, t, 2/5
Let y = -8.87 - 0.13. Put 5, y, 0.1 in ascending order.
y, 0.1, 5
Let r(h) = -h**2 - 6*h - 2. Let p be r(-6). Let j be (-3*3 + 1)/p. Put -3, j, -4 in ascending order.
-4, -3, j
Suppose 4*n = 5*n + 5. Suppose 0 = -5*s - p - 6, -5*p = s + 1 - 19. Let r be s/8 + 2/8. Put n, r, -4 in descending order.
r, -4, n
Suppose 0*a = 4*a - 4. Suppose -4*d - 6 = 2*q - 4, d - 3*q + 4 = 0. Sort 2, d, a in decreasing order.
2, a, d
Let y = 1 + -0.8. Let t be ((-2)/246)/(2/(-4)). Let h = t - -359/615. Put 3, y, h in ascending order.
y, h, 3
Suppose 0 = -2*x + 6*x. Let a = x + -1. Let g = -10 - -11. Sort 3, g, a in descending order.
3, g, a
Let l = -1.4 + 1. Let p = 0 + l. Let y = -1.2 + 0.7. Put p, y, 2/3 in increasing order.
y, p, 2/3
Let t = 2 + -3. Let r be -15 + 10 - (0 - 7). Sort t, r, 5 in increasing order.
t, r, 5
Let r = -0.1 - -1.1. Let j = -31 + 29. Put j, -4, r in ascending order.
-4, j, r
Let x = 17 + -17.19. Let w = -0.01 + x. Let b = 54/91 - 4/13. Put 