= 3*a - 19, 5 - f = a. Let u be -4*((-2)/(-2) + 0). Put j, -5, u in decreasing order.
j, u, -5
Let u be (1/(-12))/((-39)/(-104)). Put u, -7, -2/15 in descending order.
-2/15, u, -7
Suppose -4*f = -2*f - 8. Suppose -5*r + 2*u = -u - 12, 20 = -5*r - 5*u. Put f, r, 1 in increasing order.
r, 1, f
Let m be (0 + 1/(-1))*1. Sort -2, m, -14.
-14, -2, m
Let m = 2 - 1. Let y = -1 - m. Suppose 0 = 3*n + 12 - 9. Sort n, 4, y.
y, n, 4
Let b be (-4)/14*189/(-135). Sort 2/21, 1.2, b, -4 in increasing order.
-4, 2/21, b, 1.2
Let z be 3 + 3 + (2 - 4). Suppose -z*y + y = -12. Let g be (-8)/4 - (-1 - y). Sort -1, g, -3 in descending order.
g, -1, -3
Let w(p) = -4*p**2. Let k be w(1). Suppose 2*g = 2*y - 2, 0 = -g - 0*g - 4. Sort y, 1, k.
k, y, 1
Let c be (-2 - 0) + 5 - 4 - -2. Sort -5, -2, c, -23 in descending order.
c, -2, -5, -23
Let z(y) = y**3 + 12*y**2 + 13*y + 27. Let q be z(-11). Suppose -4*x + 2 = -2*k, 3*x - 2*x + 4*k = -22. Put -5, q, x in decreasing order.
q, x, -5
Let i be 4/(-22) + 260/(-143). Sort -4, 1, i in descending order.
1, i, -4
Let i(d) = d**3 + 6*d**2 + 3. Let m be i(-6). Let w be m*(-3)/(-18)*-2. Sort -2, w, 2 in descending order.
2, w, -2
Let j = 15 + -19. Sort 3/4, -0.1, j in decreasing order.
3/4, -0.1, j
Let m = 77 - 52. Sort m, -3/8, -2/7, -3/4 in descending order.
m, -2/7, -3/8, -3/4
Let r(k) = 7*k**3 - 6*k**2 - 4*k - 15. Let w(l) = 15*l**3 - 12*l**2 - 9*l - 31. Let b(x) = -13*r(x) + 6*w(x). Let d be b(6). Sort 1, d, -1.
d, -1, 1
Suppose 5*f = -3*u - 19, 0 = 2*f - u + 5*u + 2. Sort 4, f, 5, -1.
f, -1, 4, 5
Suppose 6*k = 2*k + 20. Let s(t) = -t**3 + 5*t**2 - t + 7. Let z be s(k). Let b = 1 - 3. Put -1, b, z in increasing order.
b, -1, z
Let g = 8 + -11. Let z = g + 6. Put -1/6, -3/4, z in decreasing order.
z, -1/6, -3/4
Let y(a) be the first derivative of -a**4/4 + 3*a**3 - 7*a**2/2 - 11*a - 4. Let b be y(8). Let p = 5/16 - 55/48. Sort p, 4, b in increasing order.
b, p, 4
Let d be ((-1)/(6/(-4)))/(2/(-12)). Let o = 5 + 0. Sort d, -3, o.
d, -3, o
Let h be (-1)/(4/32*-2*4). Sort -2, h, 10.
-2, h, 10
Let y = 6 + 3. Let x = 9 - y. Let d = -15 + 11. Put x, 1/2, d in decreasing order.
1/2, x, d
Let k be 2*2/(-14) + 23/7. Put -4, k, -2, 0 in increasing order.
-4, -2, 0, k
Let t = -0.18 + 4.18. Let z = -1 - -6. Put t, z, 1 in decreasing order.
z, t, 1
Let v = -19 - -17. Let y be v/(1 - (14 - -1)). Put y, -0.5, 1 in descending order.
1, y, -0.5
Let d = 15/11 - 71/44. Sort d, -1/5, 17 in decreasing order.
17, -1/5, d
Let i be (1 - 0/(-3)) + -3. Sort 4, i, -7.
-7, i, 4
Let z(t) = t - 1. Let d be z(6). Let n(r) = r**3 - 21*r**2 + 21*r - 19. Let b be n(20). Put d, -1, b in increasing order.
-1, b, d
Let q(l) = -l**2 - 7*l - 4. Let h be q(-6). Let i(g) = -g. Let k be i(h). Let f be -2 + (2 + k - 2). Sort f, 0, 1 in ascending order.
f, 0, 1
Let g = 494.91 + -492. Let o = g + 0.09. Put o, -2/9, -0.1 in decreasing order.
o, -0.1, -2/9
Let c be ((-2)/155)/((-3)/45). Let v = 55/124 - c. Put -5, v, -3 in descending order.
v, -3, -5
Let o = 1.4 - 0.4. Let r = o + -1.3. Let l(n) = n**3 - n**2 + n - 1. Let u be l(0). Sort u, -5, r in descending order.
r, u, -5
Let d(u) = 9*u - 7. Let q(y) = -4*y + 3. Let k(c) = 3*d(c) + 7*q(c). Let r be k(4). Put r, 2, -3 in descending order.
2, -3, r
Let s be ((-3)/(-48))/((-2)/(-4)). Let z be (-11)/30 + (-4)/(-10). Let j = z + -7/10. Sort s, j, 5 in increasing order.
j, s, 5
Suppose -4*k + 34 = -2*c, -k + 0*k + 16 = -2*c. Let r = -8 + k. Let p be 3/(-28)*(-3 - 1). Sort p, r, 5/4.
r, p, 5/4
Let d(p) = p**2 + p. Let t be d(-2). Let x = 2 - 1. Let z(u) = u**3 - 4*u**2 - 6*u + 5. Let a be z(5). Put t, a, x in increasing order.
a, x, t
Let z be -3*(-4)/(-24)*-10. Suppose z*q + g + 4*g = 40, 10 = 5*q - 5*g. Let f(t) = -t**3 + 4*t**2 - 4*t + 3. Let j be f(3). Sort j, -2, q in ascending order.
-2, j, q
Let z(h) be the third derivative of h**5/60 - h**4/4 - 2*h**3/3 + 3*h**2. Let x be z(6). Let g = -2 + 4. Sort 3, g, x in ascending order.
x, g, 3
Let q = 6 - 4. Let m = -9 - -12. Let k be m - 4 - (-1 + -1). Put 0, k, q in descending order.
q, k, 0
Let v be (-26)/(-7) - (-8)/28. Suppose -2*q + 6*b - 3*b - v = 0, 5*q + 23 = b. Sort 2, q, -2 in decreasing order.
2, -2, q
Suppose 2*o + 1 = 5. Let v be 48/(-9) + o/6. Sort 4, -4, v in ascending order.
v, -4, 4
Let u(t) be the first derivative of t**4/2 - t**3/3 - t**2/2 + t + 5. Let p be u(1). Sort -0.5, 0.3, p in increasing order.
-0.5, 0.3, p
Let q = -5 - -4.9. Sort q, -2/13, -4.
-4, -2/13, q
Suppose -x + 7*x + 30 = 0. Suppose -n - 12 = -2*f, 4*n = -8 - 0. Sort x, 3, f in increasing order.
x, 3, f
Let z be 4/16 + (-15)/(-36). Put 1, -0.1, z in descending order.
1, z, -0.1
Suppose 3 = 3*z + 2*g, 3*g - 8 = -5*z - 4. Put z, 4, 1 in decreasing order.
4, 1, z
Let j = -51.5 - -51. Sort j, 1, 2/3, 0.37 in ascending order.
j, 0.37, 2/3, 1
Let x be (-238)/84 - (1 + (-10)/12). Put 0.4, -5, x, 1/7 in decreasing order.
0.4, 1/7, x, -5
Suppose 0 = 6*j - j - 5*x + 20, 0 = -3*j + 2*x - 7. Let w(b) = -b - 2. Let a be w(-1). Put a, j, -5 in increasing order.
-5, a, j
Let g(z) = z + 3. Let w be g(-5). Put w, 3, -3/8 in descending order.
3, -3/8, w
Let f = -10.76 - 0.24. Let w = f + 7. Let x = -0.303 + 0.103. Sort 2, x, w in descending order.
2, x, w
Let h = 181 + -183. Sort 3, h, -3, 6.
-3, h, 3, 6
Let r = 4 + -3. Let i be 1 - (-6 - -3 - r). Sort i, -4, -2.
-4, -2, i
Let p = 169/114 + 1/57. Sort -0.3, -3, 4, p.
-3, -0.3, p, 4
Let r = -4 - -4.6. Let t = r - 0.4. Let o be (-57)/45 + (-6)/15. Put o, t, 2 in descending order.
2, t, o
Suppose 4 = -u, -5*u = -4*v - 3*u + 20. Let l be 2 - 1 - (v + -1). Let p = -4 + 8. Put 0, l, p in increasing order.
l, 0, p
Suppose w + 10 - 50 = -5*t, -37 = -3*t + 2*w. Let h be (1/t)/(1/6). Sort 5, -1/4, h in decreasing order.
5, h, -1/4
Let s = 3.2 - 19.2. Let j = 17.9 + s. Let u = -2 + j. Put 0.4, u, 5/3 in decreasing order.
5/3, 0.4, u
Let b = 2.47 - -0.03. Let i = -0.2 - -0.7. Let v = i + b. Sort v, -0.2, -1 in increasing order.
-1, -0.2, v
Suppose 10 = -5*y, -y = 5*a - a + 18. Put a, -0.3, 7 in descending order.
7, -0.3, a
Let t = -2 + 4. Suppose -t - 1 = 3*m. Let p be (-2)/(-2)*m/(-7). Put p, 2/9, 4 in descending order.
4, 2/9, p
Let j be 2 + 40/(-18) + 376/72. Sort j, 8, 0.1 in increasing order.
0.1, j, 8
Let r be (6/3 + -3)*5. Sort r, -1, -3 in ascending order.
r, -3, -1
Let u be 2 + (-2)/(-2) + 2. Suppose -3*q - 20 = -8*q - u*b, 0 = -3*q + 5*b - 28. Sort q, 2, 3 in descending order.
3, 2, q
Suppose 3*s + 1 = 10. Put s, 4, -2 in ascending order.
-2, s, 4
Suppose 2*y - 5*w - 26 = 0, -w = -7*y + 2*y + 42. Let o be (3 + (-44)/y)*-2. Let s(n) = n**3 - 2*n**2 + 2*n - 2. Let h be s(2). Put o, 1, h in ascending order.
1, h, o
Let p be 2 + (-7)/((-14)/(-12)). Suppose 0 = 2*q + 4*c + 22, 2*q + 2*c + 15 = 3. Let a = 0 - q. Sort 2, a, p in increasing order.
p, a, 2
Let a = -1071/22 + 97/2. Sort -10, 0.3, a, -1 in decreasing order.
0.3, a, -1, -10
Suppose 26*a - 8*a = -36. Put 3, -19, a in increasing order.
-19, a, 3
Let m = 2.5 + -2. Suppose -3*a - 3 = 3. Let k be 3/(-18)*6/4. Sort a, k, m.
a, k, m
Let d = -298/161 - -36/23. Sort d, 1, -3.
-3, d, 1
Let l be -3*(2 + (-4)/3). Let w(y) = -y**2 - y + 6*y**3 - y**3 + 0*y. Let u be w(-1). Sort u, l, 0 in increasing order.
u, l, 0
Suppose 0 = 4*p - 6 + 26, 45 = 5*n - 5*p. Suppose 3*y - y = -n. Sort y, 0, -4 in decreasing order.
0, y, -4
Suppose 0 = 2*h - 3*c + 12 - 2, 4*h - 12 = -2*c. Let w be (-6)/(-24) - (9/4 + 1). Let s(t) = t. Let g be s(2). Sort w, g, h in decreasing order.
g, h, w
Suppose 6 - 20 = 2*c. Let i(l) = l**3 + 8*l**2 + 6*l - 7. Let g be i(c). Suppose -2 = 4*p - 2*p - 3*y, 3*p + 5*y = 16. Put g, -1, p in descending order.
p, g, -1
Suppose -u = -5*w - 22, 4*u - 3*u = -3. Let z be (-18)/(-30) - (-23)/w. Put 0.4, z, 1 in increasing order.
z, 0.4, 1
Let g(a) = -3*a - 6. Let k be g(-5). Suppose k*f - 8*f = -1. Sort 2, f, -3 in ascending order.
-3, f, 2
Let f be (15/(-2))/((-9)/60). Let s be 4/(-10)*f/(-110). Sort 1/2, 4/5, s in decreasing order.
4/5, 1/2, s
Let d = -1.8 + 3.8. Put d, -2/7, -3/5 in descending order.
d, -2/7, -3/5
Suppose 24 = 4*z - 0*h + 4*h, 16 = 3*z + 2*h. Suppose 0 = 5*y - 10*y - z*p - 37, -3*y - 9 = -2*p. Put 0, y, 5 in decreasing order.
5, 0, y
Let j = 1 + 1. Let m = 1 - -4. Sort -4, m, j in descend