 9 = 6*k. Suppose -3*x + 5*b = 2*b, 0 = 3*x + b + 16. Put k, 4, x in increasing order.
x, k, 4
Suppose -5 = -4*l - l. Let f = 7 + -11. Put 2, l, f in decreasing order.
2, l, f
Let j be (-2 - (-20)/5)/((-2)/5). Sort -4, 2, -1, j in descending order.
2, -1, -4, j
Let f = 12.5 + -13. Sort f, -0.2, 17 in descending order.
17, -0.2, f
Let i = -318 + 6680/21. Sort -3, i, -7 in ascending order.
-7, -3, i
Let x be ((-10)/6)/(1/3). Let s = x - -4. Put s, -2, 0 in decreasing order.
0, s, -2
Let s be ((-6)/8)/(9 + -6). Put s, 4, 2 in descending order.
4, 2, s
Let m be ((2 + -1)*-1)/1. Suppose -7 = -3*s - 19. Sort -3, m, s.
s, -3, m
Let r(f) = -f**3 - 7*f**2 + f + 4. Let d be -6 + 1 + (1 - 3). Let l be r(d). Put -1, l, -5 in ascending order.
-5, l, -1
Let f(o) = o - 2. Let s be f(1). Let m(t) = -t - 2. Let d be m(-13). Put s, 4, d in increasing order.
s, 4, d
Let x = -4 + 8. Let z(q) = q**3 - 4*q**2 + q - 2. Let v be z(x). Sort v, 4, -1 in descending order.
4, v, -1
Let c be (-10)/(-25) - 13/(-5). Let v be 0/1 - (-2 - c). Suppose 0*k + 2*k = 4*r + 14, v = 5*k. Put 5, r, -4 in increasing order.
-4, r, 5
Let j = -0.07 + 0.57. Sort -4, j, -0.3 in increasing order.
-4, -0.3, j
Suppose 2*s = n - 15, -4*s - n + 6*n - 45 = 0. Let y = 1.3 - 0.3. Sort s, 3, y in ascending order.
s, y, 3
Suppose 3*q + 2 = v, 4*v + 2 = 5*v. Let y = q - -5. Sort 2, y, 3.
2, 3, y
Let j be 2 + -1 + (-4)/(-4). Suppose 2*t + j = 8. Put 7, t, 2 in descending order.
7, t, 2
Let p = 343 - 5147/15. Sort -9, p, -2 in ascending order.
-9, -2, p
Let n = -2.98 + 0.98. Sort 4, n, -0.11.
n, -0.11, 4
Let q = -28 - -16. Let k = 14 + q. Sort -4, 4, k in decreasing order.
4, k, -4
Let r = -6 + 6. Suppose r = -3*x - 9 + 3. Suppose -3*n + 15 = -3*s, 2*n = 4*s + 7*n + 11. Sort s, 1, x in ascending order.
s, x, 1
Suppose 0 = m + 4*u + 11, -m - 3*u = -4*m - 3. Suppose -2*b - 4*b = 0. Suppose -c + 3*c = b. Sort c, m, -2 in descending order.
c, -2, m
Let d = -9.1 - -9. Sort -0.02, -1, d.
-1, d, -0.02
Let k be 2/6 + (-10)/3. Let h = 148 + -589/4. Sort h, 1/4, k in increasing order.
k, 1/4, h
Suppose 0 = 5*y - 4*z - 40, 0 = -3*y + z + 10 + 14. Let l be (4/(-72))/(2/y). Let o = 0.04 - 5.04. Put o, l, 3/4 in decreasing order.
3/4, l, o
Let p = -65/22 + 5/11. Put 2/9, 5, p in descending order.
5, 2/9, p
Let p(u) = u + 13. Let r be p(-5). Suppose 3*g - 5*a - 45 + r = 0, -2*g + 4*a = -28. Sort -2, -3, g in decreasing order.
g, -2, -3
Let c = 19 + -21. Let b be (c + 2)*3/6. Put 4, b, -3 in ascending order.
-3, b, 4
Let m = -7 - -10. Suppose -m*h = -g - 60, -h + 5*g = -3*h + 40. Let a be h/(-75) - 4/(-10). Sort -0.3, 3, a in descending order.
3, a, -0.3
Let r = -186/7 - -26. Let f = 2/13 + -36/65. Put f, -5, r in descending order.
f, r, -5
Suppose -x = -6*x - 10. Let m(p) = p - 2. Let r be m(4). Let i = -8 + 13. Sort r, x, i in decreasing order.
i, r, x
Let z(q) = -q**2 + 7*q + 4. Let r be z(7). Sort r, 2, 5 in decreasing order.
5, r, 2
Let a(q) = -q**3 - 6*q**2 + 8*q - 1. Let w be a(-7). Let y be -3*-2*4/w. Sort -4, y, -2 in increasing order.
-4, y, -2
Let s = -0.14 + 0.08. Let j = s + -0.44. Sort 2, j, 4 in decreasing order.
4, 2, j
Let p = 2 + -1. Suppose 4*j + 16 = 4*k + 2*j, 2*k - 3*j - 16 = 0. Suppose 5*x + 4*n + 5 = 0, -k*n - 10 = 3*x - n. Sort p, x, 5 in ascending order.
x, p, 5
Let r = 3317/15 + -221. Put r, 1/6, -2 in increasing order.
-2, r, 1/6
Suppose 5*x + 5*t + 22 = 7, -2*x + 2*t - 10 = 0. Put 5, -5, 0, x in descending order.
5, 0, x, -5
Suppose 85 = -11*s - 6*s. Put -1, 4, s, 15 in decreasing order.
15, 4, -1, s
Let f = -39/140 + -1/140. Sort f, -6, 1/5, -1/5 in descending order.
1/5, -1/5, f, -6
Suppose 5*d = -0*c + 3*c - 20, 0 = -2*c + 5*d + 15. Suppose -k - 2*l + 13 - 4 = 0, 0 = c*k + 4*l - 27. Put -5, k, 2 in ascending order.
-5, 2, k
Let y = 236/41 - -17659/287. Let o = y + -67. Sort 0.5, o, 2 in descending order.
2, 0.5, o
Let d = 0.027 + -0.027. Put d, -6, 0.4, 2/27 in decreasing order.
0.4, 2/27, d, -6
Let d(l) = -14*l**3 - 10*l**3 - 3 + 25*l**3 + 3*l**2. Let o be d(-3). Sort -4, o, 0.
-4, o, 0
Let i = -0.1 + -0.9. Let n = 2 - i. Let p = -4 + n. Sort -4, 4, p in decreasing order.
4, p, -4
Let h be ((-4)/(-10))/(7/1). Sort h, 1/4, -1/3 in decreasing order.
1/4, h, -1/3
Let i(o) = 8*o - 3 - o**2 - o - 4 + 2*o. Let c be i(8). Sort c, 3/5, 5 in decreasing order.
5, c, 3/5
Let r = -18 - -22. Suppose -r*a + 5*w = 7 - 29, 2*w + 1 = -a. Let f = -10 + 5. Sort f, -4, a in increasing order.
f, -4, a
Let u be (-1)/(91/(-28))*(-1)/2. Sort -0.3, -0.4, u.
-0.4, -0.3, u
Let q = 122 - 119. Let l be (-2)/2 - (-9)/12. Sort l, q, -2 in descending order.
q, l, -2
Let a(g) = -3*g**3 - 2*g**2 + 2*g - 1. Let t be a(1). Let w = 24 + -1. Let u = 22.6 - w. Sort 0.4, t, u in ascending order.
t, u, 0.4
Let v = -3 + 3.3. Let m(j) = j**3 - 5*j**2 - 6*j + 4. Let y be m(6). Suppose 0 = -3*g + z + z - 13, g = -y*z + 5. Put -5, g, v in ascending order.
-5, g, v
Let p(r) = -r - 6. Let c be p(-9). Suppose 5*i - 9 = -2*m, 3*m + 8 = c*i - 10. Put -3, i, 1 in increasing order.
-3, 1, i
Let q = 0.078 - -31.922. Let y = -28.2 + q. Let d = y + 1.2. Put -0.4, d, 0 in decreasing order.
d, 0, -0.4
Let t = -5.96 + 5. Let i = -0.04 + t. Let v = 2 - i. Sort 0.4, v, -3/7.
-3/7, 0.4, v
Let s(q) = -q - 4. Let k be s(-9). Let r = -1 + k. Sort r, -5, -2 in decreasing order.
r, -2, -5
Let q(l) = l**3 + 8*l**2 - l - 9. Let d be q(-8). Put -3, -5, d in decreasing order.
d, -3, -5
Suppose 5 = -0*s + s. Let h = -2 + 4. Put h, 0.3, s in increasing order.
0.3, h, s
Let i(j) = -j**3 - 6*j**2 + j + 2. Let o be i(-6). Sort 5, -1, o in decreasing order.
5, -1, o
Suppose 3*p = 3 - 0. Sort -3, -4, p.
-4, -3, p
Let h = 1.59 - 0.09. Let l = 1 - h. Sort -2/7, -1/6, l in increasing order.
l, -2/7, -1/6
Let y = 0.005 - -0.395. Sort -0.5, 3.5, y in increasing order.
-0.5, y, 3.5
Let z = 3832/105 - 182/5. Let r = 37/78 - 4/13. Put z, -2/9, r in descending order.
r, z, -2/9
Let h = 12 + -13. Put -3, h, -2 in descending order.
h, -2, -3
Let k = -44 + 43.51. Let f = -0.01 + k. Let j = -1.97 - 0.03. Put 4, j, f in decreasing order.
4, f, j
Suppose 3*d - x - 12 = 0, 2*d + 2*x = -3*x + 8. Let o = 11 + -13. Suppose 3 = 5*r - 2*r. Put o, d, r in descending order.
d, r, o
Suppose d = -5*l - d - 15, -4*d - 6 = 2*l. Suppose 0 = -4*v + 33 - 13. Let b = v - 10. Sort 3, l, b in decreasing order.
3, l, b
Let i(r) = r**3 - 7*r**2 - 6*r - 12. Let c be i(8). Put c, -7, -3 in ascending order.
-7, -3, c
Let g = 44 - 45. Let m = 4 + -2. Sort m, g, 3 in descending order.
3, m, g
Let i = 1/51 - 6/17. Sort 5, -5, i in descending order.
5, i, -5
Let j = 9.8 + -14.8. Let o = 0.07 - 0.37. Sort j, o, -0.1 in decreasing order.
-0.1, o, j
Let c = 33 - 36. Sort c, 5, 4, -4 in descending order.
5, 4, c, -4
Let q(n) be the first derivative of -n**4/4 + 3*n**3 + 9*n**2/2 + 5*n + 1. Let l be q(10). Put l, -2, 1 in decreasing order.
1, -2, l
Let i be 2 + -11*(-1)/1. Let l = i - 8. Suppose -20 = -5*q - 5*o, -l*q = -10*q + 3*o + 28. Sort q, 0, -5 in decreasing order.
q, 0, -5
Let m = 58 + -22. Let l be (-3)/7 + m/(-14). Put l, 0.2, 0.5 in ascending order.
l, 0.2, 0.5
Let s = 1 + -2. Let j = s + 4. Let a(i) = 4*i - 3. Let x be a(2). Sort -2, x, j in descending order.
x, j, -2
Suppose -4*y = y + 20. Let w(g) = -6*g. Let f be w(-1). Let x = f + -7. Sort x, 3, y in ascending order.
y, x, 3
Let a = -68 - -69. Sort 5, 4, a, -0.4 in decreasing order.
5, 4, a, -0.4
Suppose 5*w - 3*w + 1 = i, -3*w + 26 = 4*i. Let f(r) = -r**3 + 22*r**2 - 22*r + 22. Let u be f(21). Sort -4, i, u in descending order.
i, u, -4
Let s be (20/225)/(4/10). Let q = 0.2 + 2.8. Sort -5, s, q in descending order.
q, s, -5
Let x = 5.75 + -0.75. Put 0.18, -2, x in decreasing order.
x, 0.18, -2
Let j = 0 + -0.1. Let y = 5 - 4. Sort j, -1/4, y in descending order.
y, j, -1/4
Suppose -3*x = -4*x - 2*i - 10, -4*i - 20 = -2*x. Put -5, x, -3 in decreasing order.
x, -3, -5
Let d(g) = g**2 - 2*g - 4. Let m be d(-4). Suppose 0 = -5*s - 0 + m. Put 1, -4, s in ascending order.
-4, 1, s
Suppose 2*c = 5*x - 5 - 4, 3*c + 2*x = 15. Sort c, -3, 1.
-3, 1, c
Let w(h) = -h**3 + 3*h**2 + 7*h - 5. Let n be w(4). Let q be ((-8)/28)/((-1)/n). Put q, -1, -3/2 in decreasing order.
q, -1, -3/2
Let f(l) = l**2 + 11*l + 12. Let v be f(-10). Sort v, 5, 4 in decreas