 = 5 - 8.9. Let i = -4 - g. Sort i, -3, d in decreasing order.
d, i, -3
Let z(u) = 3*u + 15. Let j be z(-6). Let m be (-1)/(-3)*(12 - j). Sort 1, -1, m.
-1, 1, m
Suppose 0 = -5*f + 44 - 9. Suppose -13 - f = -4*y. Put y, 0, -4 in descending order.
y, 0, -4
Suppose -25 = -5*g, n = -4*n - g. Put n, -8, -2, 4 in decreasing order.
4, n, -2, -8
Let f(a) = 3*a - 24. Let w be f(7). Sort -1, 4, w in ascending order.
w, -1, 4
Let s(z) = z + 8. Let x be s(-6). Let o = -15 + 15. Sort o, x, 3.
o, x, 3
Suppose -s + 15 = 5*w - 0, -5*s - 2*w = -29. Put 3, -4, -5, s in increasing order.
-5, -4, 3, s
Suppose j - 8 = 5*u + 8, 2*u + 10 = 0. Let i = -4 - j. Suppose -5*a = -a + 12. Sort -1, a, i.
a, -1, i
Let l(u) = u**3 - 3*u**2 - 6*u + 7. Let g be l(4). Put g, -0.3, -2/3 in decreasing order.
-0.3, -2/3, g
Suppose -3*c - 21 = -3. Sort c, -1, 4 in decreasing order.
4, -1, c
Let l(i) = -i**2 - 5*i + 2. Let c be l(-5). Suppose 3 = 4*j - r, -15 = r + 4*r. Suppose 2*s - 22 = 4*y, 0*y - 4*y - 4*s = 4. Put j, y, c in increasing order.
y, j, c
Let v = 0.16 - -0.74. Let s = v + 0.1. Let m = 3 + -3.4. Put m, -0.5, s in descending order.
s, m, -0.5
Let k = -1.6 + 3.6. Put k, -4, 2/19, 0.5 in descending order.
k, 0.5, 2/19, -4
Suppose -2*p - p - 9 = 0. Let r be (-1 - p)/(7 + -5). Put 5, r, 4 in increasing order.
r, 4, 5
Let t(g) = 9*g**2 - 19*g - 22. Let p(s) = 4*s**2 - 9*s - 11. Let x(d) = -7*p(d) + 3*t(d). Let k be x(8). Sort k, 3, -0.1 in ascending order.
k, -0.1, 3
Let j = 20 + -15. Let t = 0.5 + -0.9. Let p = 1.5 + -2. Put t, j, p in decreasing order.
j, t, p
Suppose -3*l + 3*b = 6, -2*l = -3*b + 3 + 4. Let k(c) = -c**3 - 6*c**2 - 4*c + 2. Let u = 1 - 6. Let d be k(u). Sort l, d, -5 in ascending order.
-5, d, l
Let t = 7 - 8. Sort t, -1/2, 1.
t, -1/2, 1
Let x(l) = l**3 + 4*l**2 - 14*l - 13. Let q be x(-6). Sort 2, 4, -4, q.
-4, q, 2, 4
Let z(t) = 7*t + 91. Let h be z(-13). Suppose -2 = -u + 2. Let f be (-26)/(-40) + u/(-10). Sort f, h, 2 in ascending order.
h, f, 2
Let m = -60 + 33. Let w = m + 80/3. Let g = -1.4 - -1. Sort 1, g, w in increasing order.
g, w, 1
Let r = -13.7 - -13. Let n = 3.3 - r. Let k = n - 2. Put k, -4, 4 in descending order.
4, k, -4
Suppose -3*p - 5 = -2*p + 2*j, 2*j = -5*p - 1. Let q = 4 - p. Put 2, -5, q in decreasing order.
q, 2, -5
Suppose 8 = 2*b, 2*b = 2*t - t + 6. Sort 0, 3, t, 5 in descending order.
5, 3, t, 0
Let m = 1/74 - 303/518. Let l be ((-75)/(-21) + -3)/2. Let o = l + m. Sort -0.1, o, -5.
-5, o, -0.1
Let b = 11 - 6. Sort -4, b, -2 in descending order.
b, -2, -4
Let g(y) = -y - 13. Let o be g(-10). Suppose 3*h = 3*l, -3*l - 3*h + 18 = -6. Put l, o, -5 in ascending order.
-5, o, l
Let p be 22/20 - (-2)/5. Let b = -0.66 - -0.7. Let l = -0.96 - b. Sort l, 5, p in decreasing order.
5, p, l
Let j be 18/(-5) + 20/(-50). Sort 4, 0.5, j in descending order.
4, 0.5, j
Let m(v) = -v**3 - 13*v**2 - 11*v + 15. Let i be m(-12). Let w = i + -6. Sort w, -1, 2 in decreasing order.
2, -1, w
Let l(v) = 2*v. Let i be l(-1). Let a be (-45)/12*i/10. Put -0.3, -5, a in descending order.
a, -0.3, -5
Let q be 16/5 + 1/(-5). Let s be q/(-3*(-3)/6). Suppose -x - 5*o - 15 + 39 = 0, 3*x + o = 2. Put 0, s, x in descending order.
s, 0, x
Let u = -4.66 - -1.66. Sort -5, u, 0.8 in descending order.
0.8, u, -5
Suppose -62 = -r - 4*r - 2*i, -i - 35 = -3*r. Suppose -4*p + p + r = 0. Suppose n = -3*n - p. Sort -5, 2, n.
-5, n, 2
Let m be (-1)/2 + 10/(-12). Let g = -1 - m. Suppose -3 = -s - 2*w, 5*s - 24 + 0 = -w. Sort g, s, -1 in decreasing order.
s, g, -1
Let l = 16 + -14. Suppose 6 = l*u + 16. Sort 2, 5, u in increasing order.
u, 2, 5
Let a = -3.7 + 4. Let u = 12 - 12.2. Let g = a - u. Sort g, -3, 0.1 in descending order.
g, 0.1, -3
Let l = -1.7 - -2. Sort 3/5, 2/7, l in increasing order.
2/7, l, 3/5
Let y be (-5)/((-3)/(-1 + 4)). Let d be (-1)/(-1) + (4 - y). Put d, 3, 5 in ascending order.
d, 3, 5
Let i be 28/(-8) + 2 - (-9)/2. Put 0, -1, 4, i in descending order.
4, i, 0, -1
Let k = 9 + -4. Let u(r) = r - 7. Let n be u(7). Let o = n + -4. Put o, k, -3 in increasing order.
o, -3, k
Let o = 7 - 16. Let l = -9.2 - o. Let s = -0.1 + -0.3. Put -1/4, s, l in increasing order.
s, -1/4, l
Let d = 3 - 5. Sort 0, -4, d in increasing order.
-4, d, 0
Let p(u) = -2*u + 28. Let j be p(13). Put -8, 5, j in decreasing order.
5, j, -8
Let n be ((-3)/(-9))/((-2)/(-30)). Let s be (6/(-4))/(12/(-16)). Let o = s - 7. Sort n, o, -3.
o, -3, n
Let j = -0.1 + 0.1. Let n = -0.76 + -3.24. Sort j, -2, n in descending order.
j, -2, n
Let p(v) = -v**2 - v - 4. Let u be p(0). Suppose 60 = -4*h + n, 0 = -3*h + 4*n - n - 54. Let t be 10/h - (-6)/(-21). Sort u, -5, t.
-5, u, t
Suppose -30*p + 40*p - 30 = 0. Sort p, 2, -13.
-13, 2, p
Suppose n + 3*x = 22, -3*x - 13 - 7 = -5*n. Suppose -n = -2*s - 53. Let d be (3 + s/7)*-7. Put d, 1, -5 in increasing order.
-5, 1, d
Let b(x) = x**3 + x - 3. Suppose -2*w + 3*w - 2*p = 2, 4*w - 3 = 3*p. Let f be b(w). Sort 4, f, -2 in increasing order.
f, -2, 4
Suppose -3*z = z - r + 8, 2*z + 3*r + 18 = 0. Suppose 2*i + 0 = -4*p + 6, 0 = 2*p + 4*i. Let g be -2*(p + z/3). Sort g, 1, 4 in decreasing order.
4, 1, g
Let h = -9 - -26. Let n be (1 - 1)/(-1 - -2). Suppose 16 = -4*k, n = 5*b - k + 3*k - h. Sort -5, b, -3 in ascending order.
-5, -3, b
Let f(n) = -2*n**2 + 4*n + 1. Let v be f(2). Sort -2, 73, v in descending order.
73, v, -2
Suppose -2 = -d + 2*q - 4*q, -4*d - 44 = -5*q. Put -2, 4, d in increasing order.
d, -2, 4
Suppose -2*x = 2*h - 2, -2*h - 32 = h - 4*x. Let z = 48 + -53. Put -3, z, h in increasing order.
z, h, -3
Suppose -d - 4*k - 4 = 9, -5*d - k - 8 = 0. Suppose -2*q + 11 = 3. Sort q, d, 3 in decreasing order.
q, 3, d
Let c = 114 + -1256/11. Sort 0.5, 4, -1/10, c in decreasing order.
4, 0.5, -1/10, c
Let b = 7 - 7.3. Let l = -185/1118 - -1/86. Suppose 8*n - 4*o = 3*n + 30, 3 = -n - o. Sort n, l, b.
b, l, n
Let y = 81 - 80.6. Sort y, -6, -1, 3 in increasing order.
-6, -1, y, 3
Let g = 0.1 - 0.1. Sort -1/6, 0.5, g in decreasing order.
0.5, g, -1/6
Let c = 35 + -103/3. Let d = -0.04 + 0. Sort d, 0, c.
d, 0, c
Let k = 2 + -2. Let m = 0.02 + -0.52. Sort m, 2, k in decreasing order.
2, k, m
Let y be 28/(-7) + 60/14. Let b = -5.61 - 0.79. Let x = 6 + b. Sort y, 0.3, x.
x, y, 0.3
Let m be (-8)/(-3)*48/32. Suppose 0 = 2*t + 5*u - 9, 5*t + u + m*u = 0. Sort 2, t, 3 in descending order.
3, 2, t
Let j = 2 - 6. Let k be (-972)/189*(7/2)/(-1). Sort -3, k, j.
j, -3, k
Let k be (2/1)/1 - -5. Let v = -7 + k. Sort 6, v, -1.
-1, v, 6
Let z(b) = b**2 + b - 1. Let j be z(-3). Let m be ((-3)/(-6) - 1)*(-24)/(-6). Sort m, 0, j in descending order.
j, 0, m
Let v = -0.21 + -0.09. Sort -2/15, -3, v in ascending order.
-3, v, -2/15
Let y(b) = 3*b + 29. Let g be y(-10). Sort 5, g, -12 in descending order.
5, g, -12
Suppose -5*t - 14 = r, -t = -5*r + 7 + 1. Sort r, 4, -3 in descending order.
4, r, -3
Suppose 3 = 2*v - 1. Let q be 5*(-2)/(-15)*3. Suppose b - 4*x - q = 0, b - 2*x = -0*b. Put -1/2, b, v in descending order.
v, -1/2, b
Suppose 3*j + 13 - 1 = 0. Let y = 8 + j. Sort -2, y, 0.
-2, 0, y
Let y = -17 + 19. Let r be (6/(-15))/(y/(-10)). Put -2, r, -1 in increasing order.
-2, -1, r
Let f(x) = x**3 - 7*x**2 - 8*x + 3. Let i be f(8). Let j be (-3)/2 - 12/8. Sort j, i, 4 in decreasing order.
4, i, j
Suppose n = -0*n. Let i(b) = -b**3 + 5*b**2 - 4*b + 3. Let t(j) = -j**2 + 6*j + 4. Let s be t(6). Let p be i(s). Put n, -2, p in ascending order.
-2, n, p
Let l = -53 + 476/9. Let m be 2*(6/9 + 2/(-12)). Sort m, 2/5, l in descending order.
m, 2/5, l
Let d = 8 + -7. Suppose 5*u - 4 + 9 = 0. Sort d, -3, u.
-3, u, d
Suppose 3*s = -14 - 1. Suppose 5*p + 3*i + 16 = 5*i, 5*i = -2*p - 18. Let x(b) = b - 11. Let d be x(8). Sort p, s, d in descending order.
d, p, s
Suppose -3*t + n = -n - 19, 3*t = n + 17. Let x = t + -24/5. Sort x, 4, -5 in ascending order.
-5, x, 4
Let w = -14.4 + 10.4. Let u(g) = 2*g - 1. Let k be u(-2). Sort k, w, -0.5.
k, w, -0.5
Let s be 1/2 - 18/4. Let n be 10/(-14) - 14/49. Sort 3, n, s in increasing order.
s, n, 3
Let i = -1 + 5. Let n(b) = b**3 - 5*b**2 - b + 3. Let g be n(5). Put i, 2, g in decreasing order.
i, 2, g
Suppose 2*b + 15 = -b. Sort -3/8, 0.1, b in decreasing order.
0.1, -3/8, b
Let k = -45 - -134/3. Let w = 8 + -8.02. Let o = w - 0.38. Sort 1/4, o, k i