z + 14 - 6. Put f, -5, z in descending order.
f, z, -5
Let y = -0.1 + -0.4. Let o = y + 3.5. Let t(r) = r**2 + 4*r + 1. Let p be t(-2). Sort p, o, -0.3 in ascending order.
p, -0.3, o
Suppose 9 = 5*p - 16. Suppose -2 = -y - y + o, -3*y - p*o = 23. Put y, -5, 4 in ascending order.
-5, y, 4
Suppose -4*b + 0*b = -16. Let o be 15/b*1/(-5). Put o, 0.5, -2/7 in increasing order.
o, -2/7, 0.5
Let c = -32.624 + -10.546. Let p = c + 43. Let n = -0.07 - p. Sort 2/3, -2/21, n in decreasing order.
2/3, n, -2/21
Let h = 71/354 + -2/59. Let t = 0 + -0.3. Sort h, t, 2 in increasing order.
t, h, 2
Let h = -6 + 11. Suppose -2*l - 10 = j, -25 = h*l + j + j. Suppose 5*i + 5 = 3*i + k, -i = -3*k + 5. Sort i, 3, l in descending order.
3, i, l
Let j = 0 + 0. Suppose 3*x + 5 = -x + 3*s, -5*x - s - 30 = j. Suppose -15 = 4*g - 19. Put 3, x, g in increasing order.
x, g, 3
Suppose u - 3*s + 0*s + 5 = 0, 4*u + 20 = s. Let w be ((-9)/u + -1)*-5. Suppose 0 = z + 4*t - 5 - 2, 0 = -5*z + t - 7. Put w, z, 0 in increasing order.
w, z, 0
Let d = -25 - -25.5. Let y = -0.3 + 0.2. Sort -6, d, y in increasing order.
-6, y, d
Suppose -3*b - b = -4. Suppose 4*r + 3 = 23. Let v be r/(0 - b - -2). Sort -1, -3, v.
-3, -1, v
Let g = 1.86 - 1.5. Let p = g + -0.06. Sort -0.3, 0, p.
-0.3, 0, p
Let c = 0.8 - 0.5. Let o = -1.7 - c. Let s = o - -1. Put s, 0.4, 1/3 in descending order.
0.4, 1/3, s
Let d be (9/6)/(-3)*-4. Put -2, 4, d in descending order.
4, d, -2
Suppose 0 = x + x + 8. Put 0, 2, x in descending order.
2, 0, x
Let h = 1 + -5. Suppose 5*n - 4*s - 21 = 0, 5*n + 3*s = 3*n - 10. Sort h, n, -1.
h, -1, n
Let o = 92 + -91.7. Let q = 2 + -2. Sort q, 5, o in ascending order.
q, o, 5
Let v(s) = -s**2 + 2*s + 1. Let h be v(4). Sort h, 0, 4 in increasing order.
h, 0, 4
Let i = 58 + -60. Sort -4, 4, 2, i in decreasing order.
4, 2, i, -4
Let r = 1 + 1. Let z be (2 + -1)/((-1)/3). Let w(q) = q**2 + 3*q + 1. Let s be w(z). Put s, r, 0 in descending order.
r, s, 0
Suppose -3*x + 16 = x. Suppose g = 1 - x. Let h(w) = w**3 - 8*w**2 + 8*w - 8. Let r be h(7). Sort r, 4, g in decreasing order.
4, r, g
Let m = -2 + 3. Let f = 2 + m. Sort f, -2, 0 in increasing order.
-2, 0, f
Let h = 8 + -8. Put -4, 2, h in descending order.
2, h, -4
Suppose 0 = -2*k + 1 + 1. Suppose -5*i = -8 - 37. Suppose 5*t - 2*t = -i. Sort -4, t, k in ascending order.
-4, t, k
Let m = 659/9 - 73. Let h = 6.476 + -0.076. Let n = -6 + h. Put n, -4, m in ascending order.
-4, m, n
Let l be (-183)/15 - (-1)/5. Let x be (-24)/9*(-3)/l. Sort -3, 0.2, x.
-3, x, 0.2
Let f = 5/6 - 7/3. Sort f, 0.1, -0.5, 0.7 in descending order.
0.7, 0.1, -0.5, f
Let a = -1.058 + 0.058. Sort 0.2, a, -4 in descending order.
0.2, a, -4
Let k be 2/10 + 24/30. Suppose 1 + k = -v. Put v, 6, 3 in descending order.
6, 3, v
Let b = 1 + 3. Let g = -3.6 + b. Let o be 0/1 - 0/(-1). Put o, g, 3 in descending order.
3, g, o
Let g(p) = -p + 6. Suppose -12 = -0*f - 2*f. Let j be g(f). Suppose -2*s + 5*c + 9 = 0, -3*s + 5 = -4*c + 2. Sort -2, s, j in increasing order.
s, -2, j
Let l = -32 + 32.2. Put 3, 0.3, 1, l in descending order.
3, 1, 0.3, l
Let v be 4 - ((-3 - -4) + 0). Let o be (-15)/(-2)*60/75. Put v, o, -5 in increasing order.
-5, v, o
Suppose 3*s = 4*w - 28, 36 = -2*w + 6*w - 5*s. Let v = -110.95 + 114. Let n = 0.05 - v. Sort n, w, -4 in decreasing order.
w, n, -4
Suppose 0 = 4*j - 0*j - 20. Let z(o) = 2*o - j - o + 10. Let r be z(-4). Put -5, -4, r in increasing order.
-5, -4, r
Suppose -2 = -2*j - 0. Suppose -4*f - 8*n + 24 = -4*n, 1 = n. Let m be 48/(-22) + 4/22. Sort f, j, m in descending order.
f, j, m
Let a = -92 + 97. Sort -37, -1, a in ascending order.
-37, -1, a
Suppose -5*t - 5*n = -50, 0 = 5*n - 0*n - 25. Sort 0, -5, t, -4 in increasing order.
-5, -4, 0, t
Let g = -978/5 + 195. Suppose -3*o = 3*w - 54, 2*o + 69 = 7*o - 2*w. Let b be (-7)/o - 12/(-18). Sort -3, b, g in decreasing order.
b, g, -3
Let q(t) = -t**3 + 8*t**2 - 6*t - 7. Let n be q(7). Suppose m + 2*w + 2 = n, 5*m + 3*w = -16 - 1. Put -2, -1, m in increasing order.
m, -2, -1
Let j = -0.3 + 0.4. Sort -2, j, 3/5 in increasing order.
-2, j, 3/5
Suppose 2*l - 5 = 2*i + 1, -5*l + 15 = -3*i. Sort 4, i, 1.
i, 1, 4
Suppose 2*r + 10 - 4 = 0, y = -4*r - 9. Suppose -y*s + c = -2 + 1, 9 = 5*s + 2*c. Sort 4, -2, s in increasing order.
-2, s, 4
Let h = 27/8 + -313/24. Let r = h - -139/15. Let q be 2 - (3/(-7) + 2). Put q, r, 2 in descending order.
2, q, r
Let b = 67 - 64. Let u be 6/(-4) + 1/1. Sort b, 4, u in increasing order.
u, b, 4
Let m = 0.62 + -0.12. Suppose -4*j = t + 6, 0 = j - 2*j - 1. Sort m, 0, t in descending order.
m, 0, t
Suppose -5 = 4*h + 15. Suppose 1 = a - 4*r + 2*r, 0 = -4*a - r + 4. Sort a, 3, h in descending order.
3, a, h
Let w = 0 + -3. Let o = w - -2.7. Let g = -289.9 - -290. Sort 0.4, o, g in ascending order.
o, g, 0.4
Let g = 0.038 - 0.038. Sort -1, -17, g, 5 in ascending order.
-17, -1, g, 5
Let p be -6 + 10 - 22/5. Sort 1, 3/4, 0, p in descending order.
1, 3/4, 0, p
Let w be 3*(-1 + 10/6). Suppose w*p - 3*p = -1. Sort -5, -4, p in decreasing order.
p, -4, -5
Let l be (2/(-3)*3)/(-4). Let a = -138 + 140. Put a, l, -0.2 in descending order.
a, l, -0.2
Let v be (30/(-9))/(8/(-12)). Let o(j) = -j - 7. Let b be o(-5). Sort b, v, -3 in descending order.
v, b, -3
Let t = 29/264 - -1/66. Let x = -1/200 - -19/50. Sort x, t, 3 in descending order.
3, x, t
Let b(i) = i**2 + 11*i + 5. Let j be b(-11). Sort -8, -5, j in descending order.
j, -5, -8
Suppose -1 = -c + 2*l + 7, l + 14 = 3*c. Suppose 2*k = 5*y + 2 - 14, c*y - 6 = -2*k. Suppose 5*m = y*m. Put -4, 2, m in decreasing order.
2, m, -4
Let f be 1/(-24)*-44 + 2/12. Let r(c) = -c**2 - 4*c + 1. Let d be r(-3). Suppose 3 = d*t - 1. Put t, f, 4 in increasing order.
t, f, 4
Let j = 2 - 0. Sort 1, j, 0 in decreasing order.
j, 1, 0
Let r = -0.65 - -0.15. Sort -1/8, -1/3, r in ascending order.
r, -1/3, -1/8
Let t = 23 - 23.9. Let v = -3.993 - 0.007. Put t, v, -4/5 in decreasing order.
-4/5, t, v
Let v = 1 - 5. Sort 5, 2, v in decreasing order.
5, 2, v
Suppose -8 - 5 = -q + w, 2*q + 4*w - 38 = 0. Suppose -s + 5*g = -2*s - q, 5*g = s - 15. Put -4, s, 1 in increasing order.
-4, s, 1
Let g = -3 + 7. Suppose -4*i = -2*u + 2, 2*i - 3*i - 17 = 5*u. Put u, g, 0 in decreasing order.
g, 0, u
Let y(z) = -z + 1. Suppose 2*o - 8 - 34 = 0. Suppose 3 = 2*b + 3*f - 0, -2*f = -5*b - o. Let d be y(b). Sort 5, d, -5 in increasing order.
-5, d, 5
Let o be ((-3)/2)/((-3)/20). Let p = o - 7. Let l = 0 - 3. Put p, l, -5 in ascending order.
-5, l, p
Let n = -11 + 6. Let u(p) = -2*p**3 - p**2 + 1. Let t be u(-1). Suppose 0*f + 18 = 4*s - f, 3*s = -5*f + 25. Put s, t, n in decreasing order.
s, t, n
Let l = -0.7 - 0.1. Let f = l + 2.1. Let g = f - -3.7. Sort -4, g, 1/5 in increasing order.
-4, 1/5, g
Let h be 1 - ((-2)/1 + 2). Let u = h - 2. Suppose 30 = -4*s - 6*s. Sort 0, s, u in ascending order.
s, u, 0
Suppose 5*w + 11 = -3*i - 3, -4*i + 16 = -2*w. Suppose -i*c + 21 = 5*x, 5*c - 4*c = -x + 3. Put x, 3, 0 in ascending order.
0, 3, x
Let h = -0.6 - -1. Let a = -278 + 282.79. Let s = a + 0.21. Put h, -5, s in decreasing order.
s, h, -5
Suppose -3*k - 4 = -4*p + 2, p = -5*k + 13. Suppose 5*z + k = -8. Put z, -3, 0 in descending order.
0, z, -3
Suppose -4*m + 3*m - 4 = 0. Suppose 5*p - 24 = 4*p + 5*d, 3*p - 5*d - 32 = 0. Let t = 20 - 17. Sort t, p, m in descending order.
p, t, m
Let w(b) = -b**2 - 9*b - 13. Let h be w(-7). Let n = -10 - -9. Put 2, h, n in ascending order.
n, h, 2
Suppose -7 = -3*v + 23. Suppose 0 = l - 2*o + 7, 0 = 2*l - 0*l - 2*o + v. Put l, 3, 1 in decreasing order.
3, 1, l
Suppose -4*r + w + 9 = -0*w, -5*r + 10 = -w. Let o(l) = -5*l**3 + l**2 + l - 1. Let d be o(r). Put 1, d, -1 in descending order.
1, -1, d
Let b be (-53)/11 - -2 - 6/33. Sort 2, b, -4 in increasing order.
-4, b, 2
Suppose -5 = -w - 2. Suppose -2*j - w*s = 5, -5 = -j - 5*s - 4. Suppose -p = 5*l + 9, 0 = -2*l - 2*l - 2*p - 12. Sort -5, l, j.
-5, j, l
Let c be 5/((-15)/4)*3. Suppose 0 = -x - 0*x + 20. Suppose 5*i + x = 0, 2*b + 0*i + 8 = -i. Sort b, c, 2 in decreasing order.
2, b, c
Let l be 4/5 + 68/(-60). Put 0.5, 1, l in ascending order.
l, 0.5, 1
Let u = 0.5 + 0. Sort u, 17, 1/5, 2 in increasing order.
1/5, u, 2, 17
Suppose -4*l - 9 = 15. Let x(d) = d**3 + 5*d**2 - 6*d - 3. Let