. Let c be o(0). Suppose 20 = 4*h - 4*f, -4*h + 18 = -3*f - 3. Suppose -4*l - 12 = c*k, -4*k - 3*l - h = -k. Sort -2, 5, k in descending order.
5, -2, k
Suppose 4*a - 4*m = 80, -a + 5*m + 7 + 5 = 0. Sort -1, a, 0 in descending order.
a, 0, -1
Let g(r) = r**2 - 2*r - 1. Let x(s) = -s**3 + 9*s**2 - 7*s - 5. Let w be x(8). Let o be g(w). Let c be (-1)/(0 + (2 - 1)). Put o, c, 0 in ascending order.
c, 0, o
Let a = 10 - 14. Let h = -2 - a. Put h, -0.3, 0.1 in descending order.
h, 0.1, -0.3
Suppose -2*x - 4 = -4*j, 3*x - 8 = -x. Let q = 0.03 + 0.97. Suppose 1 = -z - 0*z. Sort j, z, q in decreasing order.
j, q, z
Let c = 5 - 5. Let s(b) = -b**2 + 5*b. Let v be s(4). Sort v, 2, c in ascending order.
c, 2, v
Let t = 0.5 + 1.5. Let m = -6 + t. Let u = 3.6 - 0.6. Put 0.3, u, m in decreasing order.
u, 0.3, m
Suppose -2*k = -4*k - 4. Let c be (-1)/(k*2/12). Sort c, 5, -4 in ascending order.
-4, c, 5
Let b = -301 + 299. Let z be (2*2)/(-2) + -2. Sort b, 1/3, z in decreasing order.
1/3, b, z
Let k(u) = -2*u - 4. Let g(j) = -3*j - 7. Let o(x) = -3*g(x) + 5*k(x). Let w be o(0). Put 0, w, -4 in decreasing order.
w, 0, -4
Let h = 2 + -16/9. Sort 0.4, h, 3/4 in decreasing order.
3/4, 0.4, h
Suppose 2*b = -2 - 6. Let v be (-18)/b - 1/(-2). Suppose 3*z + 2*z = 0. Put z, v, -2 in ascending order.
-2, z, v
Let q = 332/5 - 66. Sort 0.1, -0.5, q in descending order.
q, 0.1, -0.5
Let x be (-6 - -8)*7/2. Let b = 6 - x. Suppose 12 = 5*g - g, 0 = 4*n + 5*g - 35. Put n, 4, b in descending order.
n, 4, b
Let j = 0.74 + 0.06. Let w = j + -3.8. Put 0.4, w, -2 in increasing order.
w, -2, 0.4
Suppose -i = 4*f - 10, -2*i + 0*i + 2*f = 0. Suppose 0*c - c = -i. Put 5, c, 4 in increasing order.
c, 4, 5
Suppose 6*f - 3*f = 0. Sort f, 4, 2 in increasing order.
f, 2, 4
Let g = -5.8 + 0.8. Let v = 2.4 + -3. Let r = -0.6 - v. Sort r, g, -0.5 in increasing order.
g, -0.5, r
Suppose -10 = 5*b - 4*k, b - 2*k - 2 + 4 = 0. Let x be (78/65)/((-4)/(-10)). Sort 1, x, b in ascending order.
b, 1, x
Let k be (10/14 - 1) + 228/210. Sort -0.11, 0.3, k, -0.2 in descending order.
k, 0.3, -0.11, -0.2
Suppose -f + v - 1 = 0, -2*f + v = -2*v + 3. Put f, 3/4, 5 in descending order.
5, 3/4, f
Let q = -25 + 30. Suppose -5*u - 5*p = -65, 0*p = -3*u + p + 19. Sort -5, q, u.
-5, q, u
Let x be 2/1 + (0 - -2). Let m be 3 - (2/1 - 4). Let k(z) = -z - 2. Let c be k(-1). Sort c, x, m in descending order.
m, x, c
Suppose -2*v - 2*v + 4 = 0. Suppose 3*q - v = 2. Sort q, 4, -4 in descending order.
4, q, -4
Suppose 0 = -4*a + 2*a. Suppose -3*k + 8*k - 10 = a. Sort -0.1, 1/2, k in descending order.
k, 1/2, -0.1
Let o(t) = t**2 - 8*t + 6. Let x be o(5). Put -2, x, -1 in ascending order.
x, -2, -1
Suppose 0 = 4*a - 2*x - 2*x + 16, -3*x = -5*a - 12. Sort a, -5, 1 in decreasing order.
1, a, -5
Let d = -49 + 149/3. Suppose 0 = 3*a - 2*a + 12. Let j be (-9)/(-6)*(-2)/a. Sort j, 1, d in descending order.
1, d, j
Let h be 19/(-4) + (-7)/(-112)*-4. Put 46, -2, h in ascending order.
h, -2, 46
Let k = 0.05 + -0.13. Let u = 3.08 + k. Let j = u + -2.8. Sort j, 1/6, -3/8 in decreasing order.
j, 1/6, -3/8
Let p(f) = 3*f - 5. Let k be p(7). Let b = 19 - k. Put 5, 1, b in decreasing order.
5, b, 1
Let f = 1 + 0. Let g = -1.5 + f. Let x be (-14)/4 - (-2)/(-4). Sort -1, x, g.
x, -1, g
Suppose 0*m = 2*m - 24. Let w = m + -9. Put -4, w, 4 in increasing order.
-4, w, 4
Let t = -2/69 + -65/138. Put t, 3, -4 in ascending order.
-4, t, 3
Suppose -2*g - 16 = 2*v, -g - 17 + 1 = 3*v. Let t = 2 + 3. Suppose -t*m = -2*m - 15. Sort -2, g, m in increasing order.
g, -2, m
Let g(m) = 4*m - 1. Let n be g(1). Suppose -4 = n*x - x. Put x, -0.2, 1 in increasing order.
x, -0.2, 1
Let g = -32 - -34. Sort -6, g, 5.
-6, g, 5
Let w = -2.1 - -13.1. Let h = w + -9. Sort 0.4, 5, h in decreasing order.
5, h, 0.4
Let i(z) = -2*z. Let p be i(1). Let h(x) = -2*x**2 + 17*x + 25. Let o be h(10). Sort p, 0, o in increasing order.
o, p, 0
Suppose 0 = -4*o + 4*c - 12, o + 4*c + 8 = 0. Let j be 9/(-2) - 1/2. Let w be j/(-5)*(0 + -1). Put o, 5, w in decreasing order.
5, w, o
Let m = -2 - -3. Let y be 2/(-12)*(-3 - -5). Sort m, -5, y.
-5, y, m
Let c(r) = 16*r + 12. Let m be c(-1). Put m, 1, 0, 2 in decreasing order.
2, 1, 0, m
Let y = 11 - -4. Suppose -5*c = -0*c + y. Sort c, -2, 3 in increasing order.
c, -2, 3
Suppose 0 = 3*c - 3*u - 3, 4*c - 2*c + 2*u + 18 = 0. Sort c, -1, 4 in increasing order.
c, -1, 4
Let l(b) = -5*b. Let a be l(-1). Suppose 0 = -3*c + 11 + 37. Suppose -2*w = 4*j - 6*w - c, -a*j = 2*w - 20. Sort j, -2, -1 in increasing order.
-2, -1, j
Let c = -0.2 + 0.2. Let g = 0.2 - c. Let j = g + -0.1. Put -0.1, 1/5, j in decreasing order.
1/5, j, -0.1
Let k be (1 - -2)/(-21) - (-7)/49. Suppose 9 = 3*q, 4*f - 2*q = 2*q - 4. Put 0.2, k, f in increasing order.
k, 0.2, f
Let l be 245/(-150) - 6/(-45). Let z = -0.5 - -1. Sort z, l, 5 in decreasing order.
5, z, l
Let p be 26/(-8) - (-2)/8. Put -5, -1, p in descending order.
-1, p, -5
Let w = 0.39 + 0.11. Let f = -7 - -11. Put w, f, -2 in decreasing order.
f, w, -2
Suppose 2*s = -2*s + 12. Suppose 4*u - v = s*v - 16, 23 = 3*u + 4*v. Suppose 0 = -4*h - 0*h - 2*o + 26, -6 = -2*o. Put h, u, -5 in decreasing order.
h, u, -5
Let t = -12.5 - -12. Sort t, 4, 5 in descending order.
5, 4, t
Suppose 0 = 4*p - 5*p + 3. Let z be -1 + (-2 - (-2)/1). Let f = 1 + z. Sort f, p, 5 in descending order.
5, p, f
Let w = 5 + 1. Sort -1, 1, w in descending order.
w, 1, -1
Let n = 0.3 + -0.6. Put -0.2, n, 0.5 in decreasing order.
0.5, -0.2, n
Let k = 4 - 5. Let o = 0 - k. Let l = 1.4 + -1. Put o, l, -3/4 in descending order.
o, l, -3/4
Suppose -2 + 11 = 3*k + 3*l, -2*l = -5*k + 36. Put -4, k, 0 in descending order.
k, 0, -4
Let l = 1 + 3. Put -2/3, -1, l in decreasing order.
l, -2/3, -1
Let g(z) = 2*z**2 + 2*z + 1. Let b be g(-2). Let k = -19.1 + 19. Put k, -4, b in increasing order.
-4, k, b
Let g be (-6)/(-4)*(9 - 3). Let f = -8 + g. Sort f, -2, -8 in descending order.
f, -2, -8
Let x = -0.5 - -2.5. Let r = 28 - 30. Put -3, x, r in decreasing order.
x, r, -3
Let h = -2 + 4. Suppose -11 = -4*b + 2*w + 9, -3*w = -2*b + 18. Sort h, b, 5.
h, b, 5
Let s = 393 - 553. Let q be ((-4)/(-6))/((-6)/1438). Let r = q - s. Sort r, 0.5, -2/7 in increasing order.
-2/7, r, 0.5
Let s be (-11)/(-11) - (0 - -2). Suppose 8 + 7 = 3*z. Let r = -11 - -7. Put r, s, z in decreasing order.
z, s, r
Suppose 0 = -2*k - t + 12, -2*t + 6*t + 2 = 2*k. Suppose -2*d + 56 = 2*d. Put k, d, -4 in increasing order.
-4, k, d
Let w = 5 + -7. Let n = 22 + -31. Let q = n + 6. Sort q, 1/6, w in ascending order.
q, w, 1/6
Let m = 10 - 9.7. Put 2, m, 7 in descending order.
7, 2, m
Let p be ((-2)/(-40))/(4/10). Let v = -2.3 + 0.3. Let h = v - -4. Sort -0.2, h, p.
-0.2, p, h
Let m = 9 + 23. Suppose -5*c + m = -3*f, 0 = -c + 2*f - f + 8. Let k = -11 - -6. Sort 2, k, c in decreasing order.
c, 2, k
Suppose -6*h = -3*h - 21. Let n be (-2 + 1)*(5 - h). Sort -4, n, -3 in descending order.
n, -3, -4
Suppose 0 = 4*j + i, 4*j + 11 = -3*i + 3. Let m be 35/(-15) - (j + -3). Sort 0.1, -5, m in ascending order.
-5, m, 0.1
Let v = 0.01 - 0.01. Let u = 2.1 + -3. Let r = 0.4 + u. Sort r, v, -2 in descending order.
v, r, -2
Let d(j) = -j**3 - 5*j**2 - 5*j - 6. Let y be d(-4). Sort 0.4, -4, y, 0.2 in decreasing order.
0.4, 0.2, y, -4
Let c = 3 - -10. Let k = c - 9. Put -0.5, 5, k in descending order.
5, k, -0.5
Let t be 2 + -1 + -2 + 4. Suppose -t = -5*o - 5*r + 2, -o = -3*r + 11. Put 5/2, o, 0 in decreasing order.
5/2, 0, o
Let h = -0.5 + 0.9. Let y = -4/61 + -167/244. Put h, -3, y in ascending order.
-3, y, h
Let v = -23 + 70/3. Let t = 11 - 8. Suppose t = 3*l, 5*l = -i + 2*i + 8. Put i, -4, v in decreasing order.
v, i, -4
Let o(u) = u**3 + u**2 - 5*u + 6. Let l be o(2). Sort l, 3, -1 in descending order.
l, 3, -1
Suppose 0*b = -4*b + 12. Sort b, 4, 1 in descending order.
4, b, 1
Let r be (-36)/30*((-45)/6 + 0). Sort -0.3, 2/3, r.
-0.3, 2/3, r
Let f(u) = -2*u**3 - 3*u**2 - u - 1. Let y be f(-2). Sort 3, -3, y.
-3, 3, y
Let p = 208/3 - 51. Let x = p + -397/21. Sort 0.2, x, -3/2 in ascending order.
-3/2, x, 0.2
Let h be (-1 + -6)*(1 + -2). Let u = h - 7. Let r be (-3 + u)/(-6)*2. Put 5, -4, r in descending order.
5, r, -4
Suppose -2*r = -3*q + 9, 2*r - 5*q = -20 + 5. Suppose -1 = b - s, 0*b - 4*b - 5*s + 