 = u + 73. Suppose 2*n + 5*g = s, -4*n + 2*g - 1 = -9. Put 0, 5, n in decreasing order.
5, n, 0
Suppose -4*g + g = -3*h + 3, -h + 4*g + 13 = 0. Let n be (h/(-3))/(-3)*-15. Put n, -0.1, 0.4 in decreasing order.
n, 0.4, -0.1
Let h be (-1)/(-1 + (-1 - -3)). Let w be (-56)/12 - 4/(-6). Suppose -5 + 3 = -2*t. Sort t, w, h in decreasing order.
t, h, w
Let w = -8 - -8.4. Put 0.05, -2/5, w in ascending order.
-2/5, 0.05, w
Let c = 11/217 + -6/31. Let q = -1/73 - 211/584. Let f = -59/200 - q. Sort f, -4/3, c in ascending order.
-4/3, c, f
Let q = 1.8 + 6.2. Let c = q - 13. Suppose -2*v + a + 12 = -6*v, -3*a + 8 = v. Sort v, -2/9, c in descending order.
-2/9, v, c
Suppose 6 = 2*i, -3*i = 5*z - 25 - 14. Let p be (6/18)/(2/z). Put -2, p, -4 in descending order.
p, -2, -4
Suppose 0 = q + 7 - 2. Suppose g + 3*w = -10, -3*g - 4*w = 2*g + 6. Suppose -4*f + 11 = -3*j, -5*f + 9 = -3*j - g*f. Sort j, 2, q in ascending order.
q, j, 2
Suppose -a = -0*a + 4. Suppose -4*x + 16 = 4*q, q + 1 = -4*x + 5. Put a, x, 5 in descending order.
5, x, a
Let u = -39/2 - -19. Put u, 2/11, 0.3 in decreasing order.
0.3, 2/11, u
Suppose 48*m - 12 = 44*m. Suppose 3*c + 0*c + z + 10 = 0, 0 = c + z. Sort m, c, -4.
c, -4, m
Suppose -3*j - 8*j = 66. Put j, 2, -7, -5 in increasing order.
-7, j, -5, 2
Let a = -0.04 + -0.26. Let t = -13 - -16. Sort t, a, 2/3.
a, 2/3, t
Suppose 34*s + w + 14 = 29*s, 2*w - 5 = s. Suppose 3*p - 15 = c, 0 = 3*p + p - 4*c - 20. Put p, s, 4 in descending order.
p, 4, s
Let n be (-14)/3 + 2/(-6). Put n, -4, 4, 5 in decreasing order.
5, 4, -4, n
Let u = 203 + -1011/5. Let t = u - 11/20. Sort 8, -3/4, t in descending order.
8, t, -3/4
Let h be 3 + 1/1 + 2. Let a = h + -3. Suppose 5*j + 5 = 0, -3*y + y - 5*j - 9 = 0. Put 5, a, y in descending order.
5, a, y
Let i be 25/30 - (-39)/18. Sort -4, i, 35 in increasing order.
-4, i, 35
Let n be (-12)/8 - 18/(-8)*2. Sort -5, n, -0.5, -13 in decreasing order.
n, -0.5, -5, -13
Let t = -2 - -2. Let f = 2 + -14. Let y be 12/f + (-2)/2. Sort t, 5, y in decreasing order.
5, t, y
Suppose 3*z - 11 = -h, 0*h - 3*z = 3*h - 15. Put 6, h, 1 in descending order.
6, h, 1
Let w(q) = q**3 - 3*q**2 + 1. Let n be w(2). Suppose -l + z = 0, -5*l + 3*z = -4*l. Suppose 2*j + 0 = -5*b + 2, -b = l. Sort 3, j, n in descending order.
3, j, n
Let z(w) = -w**3 - 14*w**2 + 14*w - 17. Let c be z(-15). Sort -4, c, 1 in ascending order.
-4, c, 1
Let v = -51 + 49. Put -4, v, 4, 3 in decreasing order.
4, 3, v, -4
Suppose -3*t = 5*o - 3 - 50, 0 = 4*o - t - 56. Let y = o + -9. Put -11, 1, y in decreasing order.
y, 1, -11
Suppose 31*s = 38*s - 7. Sort 5, -5, -3, s.
-5, -3, s, 5
Let f = 0.63 + -6.23. Let o = -6 - f. Let y = -2.96 - 0.04. Put o, -0.5, y in increasing order.
y, -0.5, o
Let d be (-3)/(9*3/18). Put d, 3, 2, -5 in ascending order.
-5, d, 2, 3
Let z(o) = o**2 - 8*o - 7. Let c be z(9). Let r(d) = -9 - d**2 + d**3 + 7 - 5*d**c. Let n be r(6). Put 2, n, -1 in increasing order.
n, -1, 2
Suppose 8*g = 4*g. Suppose g = -10*s + 5*s - 10. Sort 1, -5, s.
-5, s, 1
Let u = 0.2 + -0.1. Let a = -0.09 + 4.09. Sort 3, u, a in decreasing order.
a, 3, u
Let h = -13 + 14. Sort 2, h, 5 in ascending order.
h, 2, 5
Let o = 24.2 + -24. Put 3, -1, o in decreasing order.
3, o, -1
Suppose -t = -s - 5, 0 = 2*t - s - 12. Sort t, -3, -1/3 in increasing order.
-3, -1/3, t
Let h = 0.3 - 0.8. Let w = 13 + -3. Let j = 14 - w. Put h, 0.2, j in descending order.
j, 0.2, h
Suppose 2 = s - 1. Let i(z) = -3*z + 1 + 0 + 0*z**2 + s + z**2. Let r be i(3). Sort -6, r, 0.
-6, 0, r
Let c be 6/9*3/2. Let d = c + -3. Let h be d/7 + 60/14. Sort h, 0.3, 2/7 in decreasing order.
h, 0.3, 2/7
Suppose 4*m - 2*q = 6, 0 = 2*m + 4*q - 2*q - 18. Suppose 0 = 2*r - m. Suppose 0*o = 5*o - 15. Put 5, o, r in decreasing order.
5, o, r
Let p(j) = -2*j + 8. Let w be p(6). Put 5, w, 0 in descending order.
5, 0, w
Suppose 0 = -2*o - c - 3*c - 6, -3*o = -2*c - 15. Put -3, 4, o in descending order.
4, o, -3
Let b = 15857/1495 + -2/299. Let d = 10 - b. Sort -0.1, 3/5, d in descending order.
3/5, -0.1, d
Let q = 49.9 + -50. Put -6, -4, 3, q in descending order.
3, q, -4, -6
Suppose 0 = -3*p - 1 - 2. Let m = 12 + -21. Let n = 4 + m. Sort n, 2, p in descending order.
2, p, n
Let a = -1 + -1. Put 4, a, -6 in increasing order.
-6, a, 4
Let o(w) = 2*w**3 + 2*w**2 - 3*w - 3. Let v be o(-2). Let a be 9*((-2)/6 + 1). Let i = 5 - a. Put i, v, 3 in descending order.
3, i, v
Suppose 0 = 4*r + 2*c - 10, -5*c = -3*c - 2. Suppose -3*j + 17 = 5*v, 4*j + 3*v - 12 = -v. Sort -3, j, r.
-3, j, r
Let s be (-3)/(-3 + 6)*4. Let b = -0.013 - 0.387. Put 0.03, b, s in descending order.
0.03, b, s
Suppose 0*n - 15 = 2*n + 5*i, 5*n + i + 26 = 0. Sort n, 4, 1 in increasing order.
n, 1, 4
Suppose 3*t - 2*r = 12 - 2, -5*t = -5*r - 15. Let c(n) = n**3 + 6*n**2 - 6*n + 5. Suppose -4 = 2*j + 10. Let f be c(j). Sort t, 5, f in ascending order.
f, t, 5
Suppose 2*z = 4*t + t - 15, -2*z + 4*t - 12 = 0. Suppose z = -3*i + 2 + 4. Let k(f) = f**3 - 6*f**2 + 7*f - 6. Let m be k(5). Sort -1, i, m in decreasing order.
m, i, -1
Let p(r) = -r**3 + 12*r**2 - 21*r + 6. Let a be p(10). Put -3, a, 4 in decreasing order.
4, -3, a
Let p = -1.2 + 1.2. Sort -2/9, 0.2, p in ascending order.
-2/9, p, 0.2
Let f = 29 + -11. Suppose 5*s = -j - 4*j + 15, f = 4*j - 2*s. Sort -2, j, -5 in increasing order.
-5, -2, j
Let r = 2379 + -18150. Let y be (-4)/(-18) - r/108. Let p = y + -147. Sort p, 3, 0.1 in ascending order.
p, 0.1, 3
Let h be 7/(-6) + 1 + 0. Let z = -5 - -5.3. Sort h, z, 0.2 in ascending order.
h, 0.2, z
Let t be (-3291)/(-21) - (-1 + 1). Let s = t - 157. Let b be 1/(-2) + (-3)/(-30). Sort b, s, 1/2 in decreasing order.
1/2, s, b
Let m = 3 + -3.1. Let c = -4 - -7. Suppose 4*y = 0, -3*y - 7 = c*p - 1. Sort 3/7, p, m in decreasing order.
3/7, m, p
Let x = 6.4 + 2.5. Let p = 9 - x. Put -3, p, 1 in ascending order.
-3, p, 1
Suppose -2*w + 4*w + 224 = 0. Let p be 4/22 - w/(-132). Let z be 14/(-49) + (-8)/(-77). Put p, -1/4, z in decreasing order.
z, -1/4, p
Let i = 297 + -444. Let j = 732/5 + i. Let y = -3 + 2.7. Sort -5, y, j.
-5, j, y
Let v = -6 - -4. Let h be 0/v + 3/5. Let r = 20.8 + -21. Sort r, h, 2 in increasing order.
r, h, 2
Let b be (-6)/4*48/18. Put b, -2, -5 in decreasing order.
-2, b, -5
Let t(a) = 3*a**2 + 2*a - 3. Let p be t(-3). Suppose -3*x = -2*n + 2*x + p, 0 = -5*n + 4*x + 11. Let h be (-6 - -3)*(n - -2). Put h, 0, 1 in ascending order.
h, 0, 1
Let t = 165 - 161. Sort -1, t, 0 in descending order.
t, 0, -1
Let p = -72 + 78.9. Let y = -0.9 - 6.1. Let g = p + y. Sort g, -1/3, 4.
-1/3, g, 4
Suppose -3*j - 2*z = -5*z - 36, 4*j = 5*z + 47. Let b = 8 - j. Suppose 4*i + 6 = -10. Put i, b, 1 in decreasing order.
1, i, b
Let r be (-2 - -3) + 1 + -6. Suppose 6 = -2*n, -3 + 9 = -3*t + 3*n. Let w = -2 - t. Sort w, r, -1 in decreasing order.
w, -1, r
Let g = 11.92 + -12. Let n = 5.08 + g. Put n, 3, 0.4 in decreasing order.
n, 3, 0.4
Let v = -5 + 1. Suppose -2*g - 16 = -4*j + 2*g, -3*g = 0. Suppose -5*s + 4*h = 9, -h = 4*s - 1 + j. Sort v, 3/5, s in descending order.
3/5, s, v
Suppose 0 = x - 0*x. Suppose x = 2*s + 2*s - 8. Suppose 0 = -s*r + 5*r - 12. Sort -1, r, -3 in ascending order.
-3, -1, r
Suppose -2 - 7 = -9*z. Put z, 5, 6 in descending order.
6, 5, z
Suppose 0 = 3*w + 1 + 5. Sort -0.3, 2, w in ascending order.
w, -0.3, 2
Let k = 48 - 46. Sort 0.3, 3, k in descending order.
3, k, 0.3
Let s = -15 + 10. Let x = -181 - -186. Sort s, 3, x.
s, 3, x
Let d = 3 - 1. Let a(r) = r**3 + 10*r**2 - 2. Let g = 16 - 26. Let x be a(g). Put d, x, -3 in ascending order.
-3, x, d
Let f = 17 - 22. Let x = 3 + -4. Put 1, x, f in decreasing order.
1, x, f
Suppose 5*a + 3*s = 6 - 45, -3*a - 33 = 5*s. Let p = 7 + a. Put -0.2, p, 2/11 in increasing order.
-0.2, 2/11, p
Suppose 3*c - 2 = -2*i + i, 0 = 5*c - 5. Let j = -6 + 10. Sort j, i, 3 in increasing order.
i, 3, j
Let s(z) = z - 2. Let y be s(2). Suppose -b = -y*b - 5. Suppose -d = -b, -2*n - 16 = -5*d + 13. Put n, 0, -1 in ascending order.
n, -1, 0
Let v = -3.993 + -0.007. Put -2/7, 4, v, -0.5 in ascending order.
v, -0.5, -2/7, 4
Let t = 167/7 - 170/7. Put 4, t, -0.3 in decreasing order.
4, -0.3, t
Let m be 1/(-1) - -1 - -4. Let n = m - -1. Put -5, n, 2 in decreasing order.
n, 2, -5
Suppose -3*i = -8*i + 20. Let o = 23 + -1