Let v(l) = l - 15. Let t(g) = 1. Let w(y) = 3*t(y) - v(y). Let d be w(9). Suppose -c = -2*x + 12, -4*x - c = -d - 3. Sort 3, 2, x in descending order.
x, 3, 2
Suppose 0 = -q + 9 - 2. Let r = q + -11. Put -3, 1, r in decreasing order.
1, -3, r
Suppose 10*o = 6*o. Let p = 6 - 2. Suppose -p*j = 5*t - 19, -2*j + t + 2*t - 7 = o. Sort 3, j, 4 in decreasing order.
4, 3, j
Let o = 20 - 16. Sort 7, 5/3, o in ascending order.
5/3, o, 7
Let j be (-10 + 15)*12/80. Let b = 56 + -614/11. Put 1/5, j, b in ascending order.
b, 1/5, j
Suppose s = 3*y - 6, -s = 5*y - 10 - 0. Let d(l) = l - 2. Let j be d(2). Let v be (-3 - (-1 - -2)) + j. Sort v, 5, s in descending order.
5, s, v
Suppose 2*j = 4*h + 16, 3*h = -5*j + 3*j + 2. Sort j, -35, -1 in increasing order.
-35, -1, j
Let b(c) = c**3 + 4*c**2 + 5*c + 4. Let m be b(-2). Suppose -7 - 8 = -5*l + 5*o, -5*o - 7 = -3*l. Sort l, 0, m in increasing order.
0, m, l
Let s = 0.3 - 6.2. Let z = s - -6. Put 1, -3, z in decreasing order.
1, z, -3
Let i be -1*4/(-2 - -1). Let p be (-1)/(-2) + 5/10. Let a = 18 - 13. Sort i, a, p in decreasing order.
a, i, p
Let u = 14 + -10. Put -3, -1, u in descending order.
u, -1, -3
Let n = 55.1 + -72. Let g = 18 + n. Sort g, -5, 4.
-5, g, 4
Let q(c) = -c**2 + 11*c + 10. Let s be q(9). Suppose -s = -3*l - l - 5*h, 5*h = -l + 22. Put l, 0, 1/4 in decreasing order.
l, 1/4, 0
Let l be 18/(-24)*(-12)/9. Sort l, 0, -3 in descending order.
l, 0, -3
Let r = -0.01 - -0.41. Put r, -5, 2/3 in decreasing order.
2/3, r, -5
Let d = -24 + 29. Let y = -3 - 0. Let z be 6/(-2)*(y + 4). Sort d, z, 1/4 in ascending order.
z, 1/4, d
Let u = 0.18 - 0.58. Sort -4, -2, u.
-4, -2, u
Let m be ((-4)/14)/(36/(-8) + 4). Sort -4, 3, -3, m in increasing order.
-4, -3, m, 3
Let c = -15 + 14. Suppose -7*h + 2*h + 25 = 0. Suppose 11 = -h*l + 36. Put l, c, 3 in decreasing order.
l, 3, c
Let g(o) = -o**2 + 7*o - 5. Let r be g(4). Suppose -3*p - 4 = -r*p. Sort -1, 2, p in descending order.
2, p, -1
Let v = 0 + -5. Suppose -3*i + 4*t + 17 = 0, -3*i = 2*t + t + 18. Let k = -10 + 15. Put i, v, k in ascending order.
v, i, k
Let a = 209/6 + -35. Let h = 4.9452 - -0.0548. Sort a, 3, h in descending order.
h, 3, a
Let c be (-21)/903*(-2)/(-5). Let z = -88/215 - c. Sort 0.1, z, 1.
z, 0.1, 1
Suppose 0*b - 4*b - 2*i = 0, -4*b + 5*i = -28. Put -3, 0, b in decreasing order.
b, 0, -3
Let u = 1 + 2. Put -3, u, 1 in decreasing order.
u, 1, -3
Let y(j) = -j + 5. Let t be y(0). Let a(u) = 2*u - 4. Let m be a(-7). Let d be (24/m)/(4/6). Sort t, d, 0.
d, 0, t
Let s = -0.154 + -0.146. Put -0.5, 5, s, 0.3 in increasing order.
-0.5, s, 0.3, 5
Let g = -1.74 + -0.26. Sort -0.5, g, -6 in ascending order.
-6, g, -0.5
Let f be 8/6*(-9)/10. Put -5, -3, f in descending order.
f, -3, -5
Let i = -6 - 14. Let r = i - -20. Let g = -0.5 - 0. Sort 3, g, r in ascending order.
g, r, 3
Let h = 11.4 - 11. Sort 3/5, -2, h, 2 in descending order.
2, 3/5, h, -2
Let l = -1.93 + 2. Let x = l + -0.57. Let p = -5/64 + 291/448. Put -4, x, p in decreasing order.
p, x, -4
Suppose 8*u - 8 = -0. Let o = -5 + 3. Sort o, -3, u.
-3, o, u
Suppose -5 = 5*p - 0. Let t be (0*(p + 0))/2. Suppose -3*l - l + 2*c = -10, 5*l + 5*c = 20. Put l, t, 4 in decreasing order.
4, l, t
Suppose -4*z = 3*f, -5*z + 23 = -5*f - 12. Sort 7, f, 3, -1 in ascending order.
f, -1, 3, 7
Let p = 4 - 5. Let z(j) = 6*j**2 + 2*j + 1. Let o be (-10)/14 + 2/(-7). Let s be z(o). Put 3, s, p in descending order.
s, 3, p
Let g = -2 + 7.4. Let k = g + -5. Let b = -3 - -8. Put b, k, 2/7 in ascending order.
2/7, k, b
Suppose -2 = 4*q + 14. Let d = -7 - q. Sort 0, d, -2.
d, -2, 0
Let p = -31 - -26. Sort 2, p, -2 in ascending order.
p, -2, 2
Let o = 0.03 - -0.37. Let u = -18 + 20. Let m = u + -1. Sort o, 5/2, m in descending order.
5/2, m, o
Let n(r) = r + 15. Let u be n(4). Put -4, 3, u in decreasing order.
u, 3, -4
Suppose 2*p + 3*p - 60 = 0. Let h = p - 8. Let m = 1 + h. Sort -4, 0, m in descending order.
m, 0, -4
Let a = -77 - -80. Let r be 7*(-1)/1 + 2. Sort r, 1, a in descending order.
a, 1, r
Suppose -17 = -n - 4*q, n + 3*q = 6*n + 7. Put 6, n, 0 in increasing order.
0, n, 6
Let p = 21 - 21.5. Sort 1, p, -0.3 in ascending order.
p, -0.3, 1
Suppose 2*g = -2*g - 28. Let j be (g + 0)/(1/(-1)). Sort 0, j, 3 in increasing order.
0, 3, j
Let v = -2 + 2.5. Let n(r) = -r - 2. Let m be n(-7). Suppose -m*j = -2*j + 3. Put 1, v, j in descending order.
1, v, j
Let l be (-3)/(-4 - -1) - 6. Put 1, l, -7 in descending order.
1, l, -7
Let i = -42 - -43. Put 5, 2, i in ascending order.
i, 2, 5
Let b = 14 + -9. Suppose -b = -0*v - v. Suppose 2*j + h + 2 = 0, -v*j = -4*h + 6*h + 3. Put 0.4, -2, j in ascending order.
-2, 0.4, j
Let l = 25 + -24.8. Sort -5, l, 5, 1.
-5, l, 1, 5
Suppose 2*m - 3 = -21. Let g = m + 9. Let s = 1 + 0. Sort 4, s, g in descending order.
4, s, g
Let n = 193/6 + -32. Let f = -4/43 + -34/559. Put -3, f, n in descending order.
n, f, -3
Suppose 0 = -9*z + 6*z. Sort z, 2, -1.
-1, z, 2
Let z = 0 + 1.2. Let v = z + -1.6. Sort v, 5, 0.3 in descending order.
5, 0.3, v
Let y = 37 - 32. Sort 24, -2, -4, y in increasing order.
-4, -2, y, 24
Let w = -146 + 141. Put w, 0.3, -0.02 in ascending order.
w, -0.02, 0.3
Let d be (-38)/8 - ((-50)/(-8) - 6). Sort d, 0, 8, 1.
d, 0, 1, 8
Suppose -3*a = -7*a + 4. Sort 5, -2, a in descending order.
5, a, -2
Let i = 8 + -12. Suppose 14*g = -3*g - 51. Put 1, g, i in descending order.
1, g, i
Let a = -37 - -41. Put -4, a, 47, -5 in descending order.
47, a, -4, -5
Suppose 2*n = -2*n + 16. Sort n, 2, 7 in ascending order.
2, n, 7
Let y = 0.8 - -4.2. Put y, 1/3, -0.5 in ascending order.
-0.5, 1/3, y
Suppose 2*h - 4 = -2. Suppose -y - 2*v = 0, -2*y + 0*v - 3*v = 0. Put -4, y, h in descending order.
h, y, -4
Suppose -n = -6*n - 3*x + 28, -24 = -4*n - 4*x. Put -16, n, -2 in ascending order.
-16, -2, n
Let j(r) = -2*r**2 + 2*r + 1. Suppose -d + 0*t - 4*t = -19, 4*t = 5*d + 25. Let h be j(d). Put -1, h, 5 in descending order.
5, -1, h
Let p = -177 - -3007/17. Let k = -0.03 - -2.03. Let i = -0.3 + 1.3. Sort p, i, k in decreasing order.
k, i, p
Let u = -5 - -1. Put 3, u, 0 in decreasing order.
3, 0, u
Suppose 0 = g - 1 - 2. Sort 9, 4, g, 2 in decreasing order.
9, 4, g, 2
Let n be -3 + 1 + 8/6. Put 2/7, 2/5, n in decreasing order.
2/5, 2/7, n
Let c = 1/9 + 2/9. Sort -0.3, c, 0.3 in ascending order.
-0.3, 0.3, c
Let y = -34 - -36. Put 0, y, -1, -3 in descending order.
y, 0, -1, -3
Let k(m) = 5*m - 18. Let j be k(3). Let h = 1 + -1. Let z = h + 0.5. Sort z, -2/5, j in increasing order.
j, -2/5, z
Let o be (-2)/(7/((-70)/(-4))). Let j be 5*(1/o - -1). Put 3, 2, j in descending order.
j, 3, 2
Let z = -0.81 + 0.01. Let u = 0.8 + z. Suppose 0 = 3*b - 4*y - 16, 2*y + 2 = 0. Put -3, u, b in increasing order.
-3, u, b
Let f be (-22)/3 + 39/13. Let h be ((-20)/(-18))/(8/(-33)). Let j = f - h. Sort -4, 0.2, j in ascending order.
-4, 0.2, j
Let r be 4/(-6) + (-32)/(-66). Put -0.1, r, 4 in decreasing order.
4, -0.1, r
Let h(u) = -u**2 - 8*u + 3. Let w be h(-8). Put w, 5, 2 in increasing order.
2, w, 5
Suppose 4*q - 9 = 7*q. Put -2, q, 0.4 in increasing order.
q, -2, 0.4
Let i = 0.82 + -0.02. Let l = i - 0.4. Let t be ((-3)/5)/(-2 + 1). Sort l, 0, t in descending order.
t, l, 0
Let j(l) = l**3 + l**2 - 5*l - 3. Let c be j(-3). Let k(p) = -p**3 - p**2 - p + 1. Let w = 0 - -1. Let q be k(w). Sort c, q, 0 in increasing order.
c, q, 0
Let a = -0.09 + -0.41. Let o be (-44)/(-117) - 10/45. Put -3, o, a in ascending order.
-3, a, o
Let p = -0.02 + 7.02. Let j = p + -3. Let q = j - 4.5. Sort 2/3, q, -2/5 in ascending order.
q, -2/5, 2/3
Let g = 22 - 23.6. Let f = 0.6 + -2.6. Let t = g - f. Sort -5, 2, t in increasing order.
-5, t, 2
Let q(r) = -r**3 - 8*r**2. Let h be q(-8). Suppose -v = 30 - 26. Put -6, h, v in decreasing order.
h, v, -6
Let k = 1.1 + -0.1. Let y = 122 - 249/2. Sort 1/14, y, k.
y, 1/14, k
Let b be (-4)/2 + 2 + 1. Let h = 45 + -37. Let t be 1/((-2)/h) - b. Put 5, t, 1 in descending order.
5, 1, t
Suppose -5*u + 2*u = -4*f - 20, f + 10 = 2*u. Let s(o) = 2*o**3 - o + 1. Let h be s(1). Sort -5, u, h.
-5, h, u
Let q = 1.1 + 4.9. Let g = q + -5.5. Suppose 0 = 3*x + 3 - 18. Put x, g, -2/13 in increasing order.
-2/13, g, x
Let w = -0.2 + 1.2. Let l = -1 - -0.97. Let g = l + 0.03. Sort g, 2, w.
g, w, 2
Le