) = -2*r**3 - 23*r**2 - 11*r - 1. Let z be l(-11). Sort z, 5, w.
w, z, 5
Suppose 0 = -2*a, 2*t + 3*a - 10 = 5*a. Sort -1, -6, t in decreasing order.
t, -1, -6
Suppose -8 = -4*v + 12. Suppose 15 = 5*a + 2*q, 2*q - 6*q + v = 5*a. Let o = -81.6 + 82. Put 3, a, o in descending order.
a, 3, o
Let u = 1 + -5. Let r be u + 4 - (-2)/(-13). Sort -1/3, r, 2.
-1/3, r, 2
Let q be 17/(-4) + (-2)/(-8). Let p = q + 7. Suppose -2 = -2*z + z. Put p, z, -3 in decreasing order.
p, z, -3
Let g = 0 - 5. Sort -0.4, 0.4, g.
g, -0.4, 0.4
Suppose -7*j = -2*j + 30. Let l(h) = -2*h - 7. Let m be l(j). Put m, 4, -3 in increasing order.
-3, 4, m
Suppose -m + 7 = -1. Let p = 34 - 29. Suppose p*a = 3*a + m. Put 5, 1, a in ascending order.
1, a, 5
Let o(b) = b**2 - 2. Let r be 2/3*(-3 - 0). Let v be o(r). Suppose -3*p - 10 = 5*z, z = 2*p - 0*z - 15. Put v, -5, p in decreasing order.
p, v, -5
Let i = -0.14 - 0.16. Let v = -5 - -4.3. Let q = v + i. Sort q, -0.4, -3.
-3, q, -0.4
Let u = 5 - 4. Let s = 6 + 4. Let b be (2 - u) + s/(-2). Sort b, 5, 4.
b, 4, 5
Suppose 0 = -14*c + 15*c + 11. Let p be (22/c)/((-2)/5). Sort p, -5, -7 in decreasing order.
p, -5, -7
Suppose -5 - 1 = -r. Let t be (2/5)/(r/15). Let l = 7 + -2. Sort -2, t, l in descending order.
l, t, -2
Let o = 22 + -17. Sort 4/3, o, -5, -0.2.
-5, -0.2, 4/3, o
Let t = -22 + 21. Put t, 3, -5 in descending order.
3, t, -5
Suppose 28 = 4*a - j, -13 + 61 = 5*a + 2*j. Suppose -3*z = z - a. Suppose 0*t = z*n + t - 13, -5*t + 10 = -n. Sort n, 4, 3 in descending order.
n, 4, 3
Suppose t + 0*t - 3 = 0. Suppose -5*g + 22 = 2, 5*v + 4*g = 26. Suppose -v*b - 1 = -3*s, 3 = 3*s - 0. Sort t, b, 5.
b, t, 5
Suppose -3*k = -4*k + 8. Let s = k - 11. Suppose 11 - 1 = 2*d. Put s, d, 1 in increasing order.
s, 1, d
Let k(w) = -w**3 - 9*w**2 - 8*w - 5. Let a be k(-8). Sort -2, -4, a in ascending order.
a, -4, -2
Let p be (-4 + 9)/(-1 - 0). Sort -1, 0, p in descending order.
0, -1, p
Let d = -1.005 + 0.105. Put 0.7, -1/2, d in ascending order.
d, -1/2, 0.7
Let y = 9.9 - 5.9. Sort 5, -0.1, y, -3 in descending order.
5, y, -0.1, -3
Let j = -1.1 - -1. Sort -2, j, -3, 0.3 in increasing order.
-3, -2, j, 0.3
Let m = 0.4 + -0.38. Let h = 0.48 + m. Put -0.06, h, 0 in descending order.
h, 0, -0.06
Let c(x) = -x**2 + x + 1. Let z be c(0). Let y be 76/18 + 8/(-36). Suppose -s = -2*r + 4, y*s - 3*r - 2*r + 4 = 0. Sort s, z, 2 in descending order.
s, 2, z
Let h = -0.12 - -5.62. Let i = 6 - h. Let z = -4.6 - -0.6. Put i, 3/2, z in increasing order.
z, i, 3/2
Let v = 11/4 - 3. Let h = -6 - -7. Sort v, -2, h.
-2, v, h
Suppose -5 = -6*p + 3*p + 2*j, -2*j + 30 = 4*p. Suppose -d + p*d = -8. Let r = -0.1 + 0. Sort d, 0.3, r in descending order.
0.3, r, d
Let a = -2.07 + 0.07. Let l = -6 - a. Sort l, 3, -3/4 in ascending order.
l, -3/4, 3
Let a(k) = -k - 18. Let p be (-101)/7 - (-27)/63. Let x be a(p). Put -3, x, 1 in decreasing order.
1, -3, x
Let a(z) = z - 3. Let w be a(8). Let c = -0.53 - -0.13. Sort 0, c, w in ascending order.
c, 0, w
Let k = 0.5 - 0.3. Let j = k + 0.8. Let c = -0.3 + -0.2. Put c, -5, j in increasing order.
-5, c, j
Let d = 40 + -71. Let o = d + 34.8. Let z = 4 - o. Sort z, -5, 4/3.
-5, z, 4/3
Let n = 0.3 - 0.25. Let g = 4.95 + n. Let x = 106/3 - 35. Sort x, g, -0.3 in ascending order.
-0.3, x, g
Let d(j) = 3*j + 15. Let h be d(-4). Sort 5, -5, h.
-5, h, 5
Let x(w) = 2*w + 0 + 1 + 2 + 5. Let t be x(-6). Let n = -5 - -6. Sort t, n, -5.
-5, t, n
Suppose 2*w + 2*b = 7*w - 20, 4*w - 3*b - 23 = 0. Put 5, w, -0.5, -3/7 in decreasing order.
5, w, -3/7, -0.5
Suppose -20 = -4*i - 0*i. Let u(z) = 0 - 3*z - 3 - i*z**2 + 4*z**2. Let k be u(-2). Put k, -4, 3 in descending order.
3, k, -4
Let n = 10 + -6. Suppose 5*g + n = -26. Let q = 7 + g. Sort q, 4, 0 in descending order.
4, q, 0
Let j = 18 + -10. Let u = -6 + j. Let x = 41/2 - 20. Sort x, u, -2/13 in decreasing order.
u, x, -2/13
Suppose 10*o - 1 = 9*o. Put 4, 0, -8, o in increasing order.
-8, 0, o, 4
Let w = -4 - -3.9. Sort -1, w, 5 in descending order.
5, w, -1
Let g(q) = -2*q**3 + q - 1. Let r be g(1). Let n = -3 + 3. Let i = 2.04 + -0.04. Put n, i, r in increasing order.
r, n, i
Let h = -151 + 141. Put h, 2, -4 in decreasing order.
2, -4, h
Let p = 0.02 - -1.98. Let q = -0.01 - 2.49. Let d = q - -3. Sort 4/7, d, p in descending order.
p, 4/7, d
Let i = 13 + -2. Sort -3, i, 4 in decreasing order.
i, 4, -3
Let r = 448/17 - 26. Let k = 73/34 + r. Let f = 0.2 - 0.1. Put k, f, -3 in descending order.
k, f, -3
Suppose -4*d - 16 = 4*z, -2*z + 7*z = 2*d + 1. Let i = -0.7 + 0.3. Put d, i, 3 in decreasing order.
3, i, d
Let o = -64 + 45. Sort o, 0.4, -4 in descending order.
0.4, -4, o
Suppose -13*m - 45 = -84. Suppose 2*v - 23 = 6*d - d, -4*d = 2*v + 22. Sort m, d, 0.
d, 0, m
Let p be -1 - ((-1 - 0) + 3). Let w = 11 - 7. Sort -2, w, p in descending order.
w, -2, p
Let l = -13 - -14. Sort l, 5, 4 in descending order.
5, 4, l
Let c(l) = 2*l - 2. Let p(y) = -y + 1. Let h(v) = -4*c(v) - 6*p(v). Let a be h(2). Put a, -1, 4 in increasing order.
a, -1, 4
Let q = 0 + 5. Suppose -2 = 2*r, 3*k + 4*r - 14 = -6. Put k, -2, q in increasing order.
-2, k, q
Suppose 4*a + 3*k + 0 = 9, -2*a - 3 = -k. Let o = 6 - 8. Sort a, -2/11, o in ascending order.
o, -2/11, a
Suppose 0 = 2*d - 4, -1 = -5*g - 4*d - 3. Let a be (-8)/g + (0 - -1). Let s(c) = c**2 - 2*c - 2. Let b be s(-1). Put 3, b, a in ascending order.
b, 3, a
Let i be (-31)/11 - (-18)/(-99). Put 4, 0, i in decreasing order.
4, 0, i
Let h = 4 - 4. Let t = -3 + h. Let z = -2 + 6. Sort t, -5, z in increasing order.
-5, t, z
Let p = 0.009 - 0.409. Let x = 0.03 + -5.03. Let g = x - -5.3. Sort -3, p, g.
-3, p, g
Suppose q = -3 + 1. Let z be q/(-6)*-1*-1. Put z, 0.2, -5 in decreasing order.
z, 0.2, -5
Let l = -0.62 - -2.62. Let i be ((-2)/5)/(9/5). Sort 2/9, i, l in descending order.
l, 2/9, i
Let g = 245/222 - 10/37. Put -3/2, 0.1, g, 1/5 in ascending order.
-3/2, 0.1, 1/5, g
Let q be 2/(4/2) - 0. Let u = -3 - q. Let m(p) = -4*p + 40. Let f be m(10). Sort u, -3, f in descending order.
f, -3, u
Suppose 4*j - 20 = -5*a - 2, 4*a + 5*j = 18. Suppose -a*m + 6 = m. Let f = -3 + m. Sort 4, f, 5 in descending order.
5, 4, f
Let n = -144.66 + 142. Let c = 4.67 + n. Let o = c + -0.01. Sort 4, o, 2/15 in descending order.
4, o, 2/15
Suppose 5 = 5*q - 15. Let x = -5 - -16. Let a = 9 - x. Put a, 3/2, q in increasing order.
a, 3/2, q
Let n = 4.6 + -0.6. Sort n, 2, -2, 12 in increasing order.
-2, 2, n, 12
Suppose 3*n = -1 + 7. Suppose n*k + 5 + 5 = 0. Sort 2, 1, k.
k, 1, 2
Let t be 224/(-38) + 2 - 52/(-13). Sort -5, 0.4, t, -0.3 in ascending order.
-5, -0.3, t, 0.4
Suppose -4*n - 4 = -3*s, -3*s - 16 - 16 = 5*n. Let h be (8 + -6)/(2/s). Sort h, 1, 5 in descending order.
5, 1, h
Let s = 2 - 2.1. Let p = -3/4 - -5/4. Put p, -6/7, s in descending order.
p, s, -6/7
Let j be 0 - (-2)/3 - 14/3. Put 4, -3, j, 3 in decreasing order.
4, 3, -3, j
Suppose 2*h - 2*k + 4 = -2, 0 = -5*h + k - 23. Let s(i) = -i + 5. Let y be s(0). Put h, -3, y in descending order.
y, -3, h
Let o be -1 + 2 + 6/(-2). Let s = -2 + 2. Sort 2, o, s.
o, s, 2
Let o = 20.9 - 20. Let b = 0.4 - o. Sort b, -1/3, -0.1 in decreasing order.
-0.1, -1/3, b
Let x(a) = a. Let o be x(-5). Let s = 4 + o. Put s, -5, -4 in decreasing order.
s, -4, -5
Let v = -21 + 28. Sort v, 1, -1/7 in descending order.
v, 1, -1/7
Let y = -0.62 - -0.6. Let f = y + -0.38. Sort -5, f, -0.5.
-5, -0.5, f
Let s = 0.01 - 0.41. Let t = s + 4.4. Put 3, 0, t in decreasing order.
t, 3, 0
Let h = 4.7 + -5. Let u = 36 + -39. Put h, 3/7, u in decreasing order.
3/7, h, u
Suppose -4*n + 5*x - 20 = 0, -n - x + 4 = -2*n. Sort 4, -5, n, -1 in decreasing order.
4, n, -1, -5
Suppose k = 5*d + 28, -2*d + 5*k = 17 + 8. Put d, 3, 14 in decreasing order.
14, 3, d
Let b = -19 - -32. Suppose -b = 5*a - 5*j + 2*j, -2*a - 3*j - 1 = 0. Sort 8, 4, a in descending order.
8, 4, a
Let j = -4 + 4.4. Let q = 0.9 - j. Put -1/4, q, -2/7 in increasing order.
-2/7, -1/4, q
Let o = 0.19 + 1.81. Sort -1, o, 4/5 in descending order.
o, 4/5, -1
Suppose 25 = -5*t, -36 = -2*o + 4*t - 0*t. Suppose 3*a = o + 7. Suppose 0 = 5*w - 2*w. Sort w, -3, a in increasing order.
-3, w, a
Let g = 12 + -8. Let v = g - 4.4. Let f = -0.9 - v. Put f, 2, -2/13 in descending order.
2, -2/13, f
Suppose -4*f + 14 + 6 = 0. 