= -10*a + f. Sort -2, a, -5, 2 in descending order.
a, 2, -2, -5
Suppose 0 = -2*f + 5*i + 24, 4*i = -f - f - 12. Sort -1, 4, -58, f in ascending order.
-58, -1, f, 4
Let a = 20 + -41. Let z be (a/9 + 2)*1. Let p = -0.4 + 1.4. Sort z, 0.2, p in decreasing order.
p, 0.2, z
Let m = 0.1 - -9.9. Let s = -9.5 + m. Sort 1/8, -2/7, s in ascending order.
-2/7, 1/8, s
Let i be (-2)/(1/(5 + -12)). Sort 2, i, 5.
2, 5, i
Suppose -4*d = 3 + 1. Sort d, 4, 1, -5 in descending order.
4, 1, d, -5
Suppose -4*c = c. Let y = 1 + 4. Sort 1, y, c in decreasing order.
y, 1, c
Let l = -19 - -14. Suppose -10 = 5*x - 4*u, 3*x - 4*u + 14 = -0*x. Sort -1, x, l in decreasing order.
x, -1, l
Let n(b) = b**3 - 12*b**2 + 7*b - 1. Let f = -14 + 25. Let a be n(f). Let j be 117/a + (-3)/(-5). Put -5, j, -1 in decreasing order.
-1, j, -5
Let t be (35/(-20))/(2/(-8)). Sort t, 4, 3.
3, 4, t
Let u(w) = w**2 - 17*w + 32. Let y be u(15). Sort -3, -9, y in descending order.
y, -3, -9
Let m(z) = -5*z**3 - 2*z**2 - 3*z - 2. Let q be m(-1). Put q, 2/3, -2/15, 0.1 in descending order.
q, 2/3, 0.1, -2/15
Suppose 7 = -5*u + 17. Let m be (-8)/12 + (u - 1). Put m, 1/4, -0.5 in descending order.
m, 1/4, -0.5
Let z(l) = l**3 - 9*l**2 - 2*l + 13. Let s be z(9). Suppose 2*q + 0 = -4. Put 2, q, s in decreasing order.
2, q, s
Let r = 3 - 2.9. Let s = -7/5 + -4/15. Sort 0.3, s, r.
s, r, 0.3
Let a = 0.2 + 1.8. Let s = 0.26 + -0.06. Let x = -55/4 - -14. Put x, s, a in descending order.
a, x, s
Let n be (8/(-2) - -7) + -3. Sort n, 0.4, 0.3.
n, 0.3, 0.4
Let r = -0.17 - -7.17. Let w = 5 - r. Let x = -13 + 23/2. Sort -1, x, w in descending order.
-1, x, w
Let d be 7/(-3) + (-28)/84 + 1. Suppose 0 = -5*c, 4*i + 0*c = -3*c - 20. Let w be 2 + -2 + 2 + i. Sort -4, d, w in descending order.
d, w, -4
Let j(a) = -1 + 2*a**2 + 3*a - a**2 - 1. Let t be j(-4). Let r = -0.2 + -0.3. Put r, -3, t in ascending order.
-3, r, t
Let m = 0 + 3. Let j = 3.5 - -0.5. Put j, 1/9, m in descending order.
j, m, 1/9
Let v = -9 + 9. Let w be (0 + 0)/(-1 - v). Put -5, 3, w in descending order.
3, w, -5
Let x = 40 - 150. Let g = x - -1428/13. Let h = 2 - 5. Put -0.1, h, g in decreasing order.
-0.1, g, h
Let q = -0.22 + -5.78. Let l = q + 5.5. Sort -5/4, l, 7 in decreasing order.
7, l, -5/4
Let l(t) = -t**3 - 6*t**2 - 2*t - 18. Let z be l(-6). Sort -1, 5, z, -3 in descending order.
5, -1, -3, z
Let c = 5 + -3. Let m be (8/3)/(4/10). Let r = -7 + m. Put c, 0.4, r in ascending order.
r, 0.4, c
Let k(j) = j**3 + 7*j**2 - 2*j - 10. Let d be k(-7). Let w be d*2/(-4) - 0. Put -1, -3, w in increasing order.
-3, w, -1
Let c(j) = -j**3 - 3*j**2 + j - 2. Let f be c(-3). Let r be (1 - (-2 + 2)) + -1. Let b be r/(-1)*(-3)/(-6). Sort f, -2, b.
f, -2, b
Let f = 2/45 + 7/45. Let x be 3/(-2)*16/(-6). Let k(y) = y - 6. Let j be k(x). Sort j, f, 5.
j, f, 5
Suppose -3*p + 4 = 4. Put 3, 4/9, p, -0.5 in descending order.
3, 4/9, p, -0.5
Let w(j) = -9*j - 139. Let x be w(-15). Let n be 1 + -3*2/2. Sort x, n, -5 in descending order.
n, x, -5
Suppose -34*p - 176 = -26*p. Put -1/3, p, -1/7, -0.3 in decreasing order.
-1/7, -0.3, -1/3, p
Let j(p) = p**2 - 16*p + 6. Let k be j(16). Suppose -k = -2*f - 8. Put 0, 1, f in decreasing order.
1, 0, f
Let l = -1.2 + 0.2. Let s = -80.07 + 80. Put s, 1, l in descending order.
1, s, l
Let t = -10 - -11. Let h = 3 + -3. Sort -1, t, h in ascending order.
-1, h, t
Let p = -59 - -59.94. Let r = 0.06 + p. Let s = 0.3 - 0.1. Sort -4, s, r in descending order.
r, s, -4
Let l be -3 + ((-259)/(-4) - 3). Let n = l - 59. Sort -1/5, n, 0 in ascending order.
n, -1/5, 0
Let l = 38 - 43. Put 3, -2, -7, l in ascending order.
-7, l, -2, 3
Let w be (1120/(-75))/7 - -2. Let k = 1 + -0.9. Suppose -5*i + 17 = -m, -4*i + 12 = 2*m - 10. Put k, i, w in decreasing order.
i, k, w
Let w be 39/(-130)*5/(-1). Put -2, w, -3 in ascending order.
-3, -2, w
Let c(q) = q**2 + 7*q - 11. Let g be c(-8). Put g, -1, -7 in descending order.
-1, g, -7
Let l = 16 - 27. Let x = l + 8. Let m be (2/3)/((-20)/x). Sort 0.5, 4, m in decreasing order.
4, 0.5, m
Let i(m) = -m**2 - 7*m - 5. Let l be i(-5). Sort l, 4, 1 in ascending order.
1, 4, l
Let h = -0.8 + 1.4. Let j = h - 0.54. Let g = j + 2.94. Put 2, g, -2/3 in increasing order.
-2/3, 2, g
Let w = 455 - 2759/6. Let g = 9/2 + w. Let l(t) = t**3 + 3*t**2 - 2*t + 3. Let d be l(-4). Sort 5, d, g in descending order.
5, g, d
Let h = 7 + -21. Let a = -18 - h. Put -3, 2, a in decreasing order.
2, -3, a
Let k(r) = -r + 3. Let z be k(0). Suppose 3*i - v = -265, 2*v - 260 = z*i + 6*v. Let y be 5/i - 8/(-44). Sort -5, y, -1/5 in ascending order.
-5, -1/5, y
Let z(t) = -5*t**2 + 2*t + 1. Let w(b) = -14*b**2 + 5*b + 2. Let i(g) = 4*w(g) - 11*z(g). Let k be i(0). Sort -2, k, 1 in decreasing order.
1, -2, k
Let j = -0.66 - -8.06. Let b = -7 + j. Put -2/21, 4, b in decreasing order.
4, b, -2/21
Let g = 45 - 30. Let n be 6/g*(-2)/4. Let i = -4 - -4.1. Put n, i, 4 in decreasing order.
4, i, n
Suppose -4*h = -5*v + 53, 4*v - 5 - 35 = 3*h. Let d = 6 + h. Let l be d*(4/6 - 1). Sort -4, l, 1 in increasing order.
-4, 1, l
Suppose -5*r + g = -39, 2*g + 2*g = 4. Let b(s) = s**2 - 10*s + 12. Let q be b(r). Let k(y) = -y - 18. Let l be k(-16). Put q, -5, l in decreasing order.
l, q, -5
Suppose 0 = -d - 0*d - 3. Let h(u) = u**3 - 9*u**2 - u + 11. Let m be h(9). Let g = m - d. Put -4, -1, g in ascending order.
-4, -1, g
Suppose -6 + 2 = -4*p. Sort -4, 4, p in decreasing order.
4, p, -4
Suppose -9*s + 2 = -5*s + 5*o, -s - 6 = -2*o. Sort -10, s, -4 in descending order.
s, -4, -10
Suppose 3*r = -0 - 6. Let b(j) = -j**2 + 8*j - 3. Let g = 26 - 18. Let a be b(g). Put 3, r, a in increasing order.
a, r, 3
Let p = -49 - -344/7. Let i(o) = -o**3 - 2*o**2 + o + 3. Let u be i(-2). Sort 0.1, u, p in decreasing order.
u, p, 0.1
Let g be (2/30)/((-8)/(-16)). Sort 3, 3/5, g.
g, 3/5, 3
Let i = -0.09 - -0.2. Let q = i + -0.01. Let j = -118 + 1064/9. Put j, -1, q in ascending order.
-1, q, j
Let p = -32 + 30. Sort p, 4, 1, 6 in ascending order.
p, 1, 4, 6
Let q = 619/10 + -125/2. Sort 0.3, q, -2 in increasing order.
-2, q, 0.3
Let l(x) = -x**3 - 26*x**2 + 26*x - 34. Let p be l(-27). Sort 2, p, -2, 0 in decreasing order.
2, 0, -2, p
Suppose 0*u + 4*f = 5*u, -3*u - 3*f - 27 = 0. Suppose 23*a - 15 = 26*a. Sort -3, u, a in descending order.
-3, u, a
Let c be 0 + (-23 - 1) + -3. Let l = -134/5 - c. Put -0.3, l, -0.5 in decreasing order.
l, -0.3, -0.5
Let s = -209/4 + 53. Let f(d) = d**3 + 8*d**2 + 4. Let t be f(-8). Suppose -t*o + 5*m + 8 = 0, -m - 4*m = 2*o - 4. Put 5, o, s in increasing order.
s, o, 5
Let f = -5 + 13. Let y = -4 + f. Let r = -13 - -8. Sort r, y, 1/2.
r, 1/2, y
Suppose -l + 6 + 0 = -2*v, -l + 6 = 4*v. Suppose 3*s + l = s. Sort 4, 1, s in decreasing order.
4, 1, s
Suppose -3*p - 33 - 7 = -2*y, -3*p + 4*y = 32. Let o be 1 + -4 - 52/p. Put o, 1, 2/15 in increasing order.
2/15, o, 1
Let n(k) = k**2 - 8*k - 8. Let a be n(9). Put -5, -3, a, -7 in descending order.
a, -3, -5, -7
Let m = -49 - -49. Sort -4, m, -5.
-5, -4, m
Let l = -55 + 51. Let s = 3 - 2. Put s, l, -5 in ascending order.
-5, l, s
Let o = -24 + 35. Let p = 14 - o. Sort -2, -4, p in descending order.
p, -2, -4
Let q = -0.29 - -4.29. Put q, -2/9, 2 in ascending order.
-2/9, 2, q
Let q = -11590131 - -544708898/47. Let d = 580 + q. Let a = d + 44/141. Sort -3, -1, a in decreasing order.
a, -1, -3
Let v = -40 - -35. Put 1, v, 3 in decreasing order.
3, 1, v
Let l = -0.1 - -0.6. Let p = 0.4 - l. Let y = -0.3 - -0.1. Put y, -0.4, p in increasing order.
-0.4, y, p
Let p = 8/3 - 3. Put 0, p, 14 in descending order.
14, 0, p
Let f = -18 - -10. Let t = -2.1 - -12.1. Let v = f + t. Put 1/4, v, 2/5 in increasing order.
1/4, 2/5, v
Suppose -2 = 2*q - 2*v + v, v = 3*q + 3. Let t = -6 - -1. Sort 2, q, t.
t, q, 2
Let d = -0.1 - -0.2. Let a = 45 - 137/3. Let y = -2 - -2.2. Sort y, a, d in decreasing order.
y, d, a
Let y = -6 + 11. Let v = y + -2. Sort 4, v, 2/7 in increasing order.
2/7, v, 4
Suppose 0 = -3*s + 5*s - 2. Suppose -5*v + 5 = 3*g - 2, 5*v = -g - s. Put 3, -3, v in decreasing order.
3, v, -3
Suppose 3*n - 5 - 4 = -3*d, 2*n + 4*d - 4 = 0. Sort 0, n, 7, 3 in descending order.
7, n, 3, 0
Let i = -7 - -10. Suppose -5*o - 2*v = 15, 5*o - 23 = i*o + 5*v. Sort -4, -3, o in ascending order.
-4, -3, o