et x(j) = 9*j + 12. Let k be x(-1). Let n = 6 - 8. Sort k, n, a in increasing order.
n, k, a
Let f be (-2 + -1)/(2/(-2)). Suppose -13 = -5*c - f. Put 0, -5, c in decreasing order.
c, 0, -5
Let x = -52.02 + 52. Sort x, 5, 0.2, -5 in ascending order.
-5, x, 0.2, 5
Let k be (0/(1/(-1)))/1. Let y = -9 + 4. Put 4, y, k in ascending order.
y, k, 4
Suppose -5*w - f = -30, w = 3*f - 0 + 6. Let o = w - 6. Sort o, -2, -1 in decreasing order.
o, -1, -2
Let u = 0 - -4. Let a(r) = -r + 6. Let p be a(4). Sort u, p, -1.
-1, p, u
Let j = -6 + 5.97. Let d = j - -0.03. Let c = -4.9 - -5. Sort c, d, 2/3.
d, c, 2/3
Let y = 7.1 - 3.1. Sort y, -3, -2/5 in descending order.
y, -2/5, -3
Suppose 0 = u - 5*i + 2, -2*u + 5 + 4 = 3*i. Let v be u/(-6) - 2/4. Suppose -1 - 4 = p. Put p, v, -2 in descending order.
v, -2, p
Let o = 16338397/23 + -710529. Let c = o - -164. Let y = -666 - -666.3. Sort y, c, 1/4 in decreasing order.
y, 1/4, c
Let n(s) = -2*s - s**2 + 0*s + 4 - 5 - 4. Let o be n(0). Put -2, o, -3 in decreasing order.
-2, -3, o
Let g(x) = 3*x**2 + x + 1. Let t(b) = 0*b + 1 + 1 + 2 - b. Let q be t(5). Let a be g(q). Sort a, -2, -5 in decreasing order.
a, -2, -5
Let q = -14 + 23. Let d = q + -14. Let g(s) = -s**3 + 2*s**2 + 4*s + 1. Let i be g(3). Sort -2, i, d in increasing order.
d, -2, i
Suppose 0 = -2*t + 8, -29 = -2*r - 5*t - 3. Suppose -3*u - 1 = -w - 4*u, 0 = r*w + u - 1. Put -0.3, -3, w in decreasing order.
w, -0.3, -3
Let r = -8/19 - 14/57. Sort r, -7, -3 in descending order.
r, -3, -7
Suppose 3*b - b - 2 = 0. Let r be b/(2 + -3) + -3. Let p(o) = -3*o + 3. Let m be p(2). Put -2/3, m, r in increasing order.
r, m, -2/3
Let w(z) = -z**3 + 5*z**2 + 6*z - 5. Let c be w(6). Put 5, -6, c, 3 in decreasing order.
5, 3, c, -6
Suppose -6 = -3*m + 5*m. Let z be (-2)/(7/(-2) - m). Sort -5, z, -7.
-7, -5, z
Let z(g) = -4*g**3 - g. Let c be z(-1). Sort 1, c, -2, -5.
-5, -2, 1, c
Suppose -u - 2*w - 6 = 0, -3*u = -w - 2*w. Sort u, -4, 3 in increasing order.
-4, u, 3
Let b = -9 - -3. Let l be (5 + b)*(-4)/(-1). Let d(z) = -z**3 - 3*z**2 + 5*z. Let c be d(l). Sort 4, 1, c.
c, 1, 4
Suppose -5*a - 58 = 2*c, 77 = -5*a - 4*c + 11. Let h be ((-16)/a)/((-12)/(-30)). Let l = 0 - 5. Put h, l, -4 in increasing order.
l, -4, h
Let c = -6 - -3. Let o = 3.3 + -3.7. Put 2/7, o, c in increasing order.
c, o, 2/7
Let w = -5 + 2. Let t = -3 + 7. Put t, w, 2 in decreasing order.
t, 2, w
Suppose -4*z = -3*z + 1, -2*n + 3*z = -1. Sort n, 3/8, 0.5 in ascending order.
n, 3/8, 0.5
Let g = -34 - -54. Let b = 22 - g. Put b, -2, -1/2 in ascending order.
-2, -1/2, b
Let b = 15 - 20. Let u be 0 + 1 - (-117)/(-65). Sort 2, b, u in descending order.
2, u, b
Suppose -5*b = -2 - 3. Let g = 6 - b. Sort 2/13, -2/7, g in ascending order.
-2/7, 2/13, g
Suppose 18242 - 253830 = 4*u. Let r = u - -1943419/33. Let y = r + 16/3. Sort -3, 0.3, y.
-3, y, 0.3
Let i = -0.3 - -0.1. Let u = 765/7 + -109. Suppose 2*d + 87 = 87. Put u, i, d in descending order.
u, d, i
Let x be 0 - 4/(-3)*9. Suppose -z - 2*z + x = 0. Put z, -2, -8 in descending order.
z, -2, -8
Suppose -2*y = -z + 1, 3*z = -3*y + 17 + 4. Put -3, z, -35 in decreasing order.
z, -3, -35
Suppose 11 - 1 = 5*d. Put d, -7, 1 in decreasing order.
d, 1, -7
Let z = -2 - -3. Let n be (0 - 4)*(-2)/4. Put -1, z, n in increasing order.
-1, z, n
Let c be ((-24)/23 + 1)*14557. Let f = -633 - c. Sort 0.3, f, -0.5 in decreasing order.
0.3, f, -0.5
Let b(o) = -5*o**2. Let p be b(-1). Sort -1, -4, p in increasing order.
p, -4, -1
Suppose -3*o + 7 = 1. Sort 4, 1, o.
1, o, 4
Suppose -5*t - 5*m + 2 + 28 = 0, -4*t = 3*m - 23. Sort t, -5, -16.
-16, -5, t
Let x = 9 + -13. Let z(g) = -g**3 - 3*g**2 - g + 1. Let t be z(-3). Suppose -3*h = -t*i + 2, -3*h = 2*i - 0*i + 8. Put h, x, 1 in decreasing order.
1, h, x
Suppose -5*v + 27 = 7. Suppose -2*d + 3 - 1 = 0, -5*j - v*d = -4. Suppose -2*w + w + 1 = j. Sort -3, w, 2 in increasing order.
-3, w, 2
Let q = 0.18 - 1.08. Let g = -3.1 + q. Put -5, g, 1 in ascending order.
-5, g, 1
Suppose 2 = 5*q + 17. Let w = -7 - -10. Sort q, w, -2 in increasing order.
q, -2, w
Let s = 1.04 + -1.02. Sort 5, 1, s in descending order.
5, 1, s
Let z(b) = -5*b**2 + 1. Let i be 7/14 + (-3)/2. Let k be z(i). Sort k, -5, -2 in descending order.
-2, k, -5
Let j(h) = h + 1. Let w be j(-4). Let r(p) = 2*p - 1. Let l be r(-2). Put 3, w, l in decreasing order.
3, w, l
Suppose -3*m - 2 - 7 = 0. Let h(x) = x**3 + 8*x**2 + 2*x + 6. Let o be h(-8). Let k = o - -15. Sort k, 4, m in decreasing order.
k, 4, m
Let o be 1 - (2 + (-4)/2). Suppose 15 = 5*r, 2*k - 11 = -0*k - r. Sort -4, o, k in descending order.
k, o, -4
Let t be (6/(-10))/(13/(-195)). Let a(l) = l + 5. Let v be a(5). Let o = t - v. Put -2, -4, o in descending order.
o, -2, -4
Let q(h) = -h + 1. Let a be q(3). Let t be 0*-3*1/(-3). Suppose -u + t*u - 4 = 0. Put u, a, 5 in increasing order.
u, a, 5
Let y = 55/2 - 28. Let n(z) be the second derivative of -z**5/20 - z**4/4 + 2*z**3/3 - z. Let j be n(-4). Sort y, j, 2/21 in ascending order.
y, j, 2/21
Let m = 1 + -0.9. Suppose -g + 6*g = -5*c - 35, 0 = -4*c - 2*g - 18. Sort c, m, -3 in decreasing order.
m, c, -3
Let z = 5 + -12. Let w = z + 6. Let k = 6 + w. Put k, 2/13, 0.1 in decreasing order.
k, 2/13, 0.1
Let g(r) = -r**3 - 3*r**2 - 5*r - 7. Let a be g(-2). Sort -5, 5, a.
-5, a, 5
Let z(s) = 2*s - 4. Let o be z(3). Suppose 2*d + 0*d - 4 = 0. Suppose d*y = 7*y + 25. Sort y, o, -5/3 in increasing order.
y, -5/3, o
Let r = -7.4 - -7. Let j = -43/2 + 22. Sort 1, j, r in descending order.
1, j, r
Let o = -154 - -154.5. Put -1, -1/4, o in descending order.
o, -1/4, -1
Let a = -0.149 + 5.089. Let d = a + 0.06. Sort d, 0.5, -0.4 in increasing order.
-0.4, 0.5, d
Suppose -k - 3 = -5. Let n be k/8 - 14/(-8). Let w = 5 + -1. Put w, n, -2 in increasing order.
-2, n, w
Suppose 0 = -y - y - 2. Sort y, -5, 1 in increasing order.
-5, y, 1
Let w be -3 + (2 + -3)/1. Let m be 2 + 3 + 3 + w. Sort 1, 2, m in ascending order.
1, 2, m
Let s = -19 + 23. Sort s, -3, 2 in increasing order.
-3, 2, s
Let v(b) = b**2 + b - 4. Let q be v(-3). Suppose q*i + 2*i = -4. Sort i, -7, -3 in ascending order.
-7, -3, i
Let a = 5323/7 + -757. Put -0.4, 1, a in decreasing order.
a, 1, -0.4
Let c = 0.29 + -0.4. Let x = c + 0.11. Sort -3, -3/2, x in descending order.
x, -3/2, -3
Let f = 2.3 + -2. Let b = 18 - 31. Let t = -18 - b. Put f, 1, t in decreasing order.
1, f, t
Let x = -0.1 + 0.9. Let u = x + -0.4. Let v be (1/(2/(-9)))/(-3). Put v, u, 0.1 in increasing order.
0.1, u, v
Let t(c) = -c**3 + c - 2. Let s be t(1). Let j be (-12)/8 - (-2 - -1). Put j, s, -0.3 in increasing order.
s, j, -0.3
Suppose h + 4*h + 30 = 0. Let k be ((-1)/h)/(1/(-2)). Let s = 4.6 - -0.4. Sort k, s, -3/2 in increasing order.
-3/2, k, s
Suppose -5 - 19 = -4*q. Suppose -3 = -3*v + 6. Let z = q - v. Sort 5, 0.4, z in ascending order.
0.4, z, 5
Suppose 2*b - 9 = 5*h + 4, 5 = 3*h + 2*b. Sort -5, h, 8 in ascending order.
-5, h, 8
Let m(y) = y**2 + 4*y + 4. Let u be m(-2). Sort 10, 5, u in decreasing order.
10, 5, u
Let z be (-48)/(-60)*(-5)/(-2). Let x = 4 + 1. Suppose z*a - 10 = -2*d, 5*a + 0*d = d - x. Put a, 3, -5 in descending order.
3, a, -5
Let p = 2 + -1.9. Let x = -1.1 + p. Let u be 1*(23/(-9) + 3). Sort u, x, 2 in decreasing order.
2, u, x
Let q = -1 + 5. Let v = 2.1 - 4.1. Sort q, v, -1 in ascending order.
v, -1, q
Let y = 20.7 - 21. Let j be -6*((-1)/(-3) - 0). Sort y, j, -2/7 in decreasing order.
-2/7, y, j
Let t = -14/351 - -8/351. Let w = 43/234 + t. Sort w, 4, 1/5 in decreasing order.
4, 1/5, w
Let k = 0.2 + -0.2. Let h = -1 - k. Let t = h + 1. Sort t, -2/3, -1 in decreasing order.
t, -2/3, -1
Let t = 6 - 6. Put -2/3, -2/9, t in ascending order.
-2/3, -2/9, t
Let y(d) = d - 10. Let w be y(7). Suppose -s - 224 + 34 = 0. Let u = s + 947/5. Sort 0, u, w in descending order.
0, u, w
Suppose 3*p - 36 = -3*p. Put 2, 1, p in increasing order.
1, 2, p
Let g = 10.99 + -11. Let s = 0.08 + g. Sort -3/5, s, -2/5 in descending order.
s, -2/5, -3/5
Let x(v) = -v**2 - 7*v + 26. Let p be x(-9). Sort p, 1, -0.4 in decreasing order.
p, 1, -0.4
Suppose -2*h - 4 = -12. Put -5/4, 5, h in descending order.
5, h, -5/4
Let b = -7.98 + -0.02. Sort 5, -2, b.
b, -2, 5
Let o = 5 + 0. Sort o, -4, -5 in ascending order.
-5, -4, o
Suppose -4*c 