2.8. Put 2/11, 3, h in descending order.
3, 2/11, h
Let i be (2 - 1)*(1 + 2). Let s(d) = -d - 6. Let g be s(-5). Let v be g - (8/(-14) - 1). Sort i, v, -3/4 in descending order.
i, v, -3/4
Suppose -3*z - 6*l + 6 = -l, -3*l + 24 = -5*z. Let i be 27/(-6)*(-2)/3. Suppose -i*b = k - 16, -2*k = -6*k + b + 12. Sort 2, z, k in decreasing order.
k, 2, z
Let d(g) = -g**2 + 9*g + 6. Let f be d(10). Let m(w) = -w**2 + 5*w + 3. Let x be m(5). Suppose -3*r = -6, p - 2*p - 3*r = -x. Put p, f, -5 in decreasing order.
p, f, -5
Let g be -4*3/(-6)*-3. Let v be g/24 - 5/(-4). Let f = v - 6. Sort f, 4, 3 in ascending order.
f, 3, 4
Let l = -0.63 - -0.13. Put -2/9, -3, l in descending order.
-2/9, l, -3
Let b = 40 + -41. Sort 4/3, -5, 3, b in ascending order.
-5, b, 4/3, 3
Suppose 0*g = -4*g + 100. Suppose 0 = 2*l + 4*h - h - g, 0 = -5*l + 3*h + 52. Suppose 9 + l = -5*k. Put k, -5, 2 in decreasing order.
2, k, -5
Let y = 192 + -190. Put -159, 3, y in descending order.
3, y, -159
Let m = -0.13 + -2.87. Let v be (-18)/(-38)*(-5)/(-210). Let r = v + -565/2926. Put r, 0.3, m in decreasing order.
0.3, r, m
Let s = -0.41 + 0.01. Let y = s + 0. Let v = -3.6 + 4. Put 4, v, y in decreasing order.
4, v, y
Let q = -1 + 6. Let l be ((-5)/(-4))/q + 0. Put -3, -0.2, l in descending order.
l, -0.2, -3
Let m = 1 - 12. Let s(o) = o**3 + 11*o**2 - 1. Let y be s(m). Sort -4, y, -3 in increasing order.
-4, -3, y
Let d = -1.95 + -0.05. Let u(i) = -i**2 - 12*i - 1. Let n be u(-12). Put n, -0.4, d in increasing order.
d, n, -0.4
Let x = -1.41 + 0.31. Let o be (1 - 0) + (-3)/2. Sort x, o, -4 in ascending order.
-4, x, o
Let d = 0.5 - 2.5. Let u = 2.3 + d. Let n = -0.5 + u. Put n, 2/9, 1/3 in decreasing order.
1/3, 2/9, n
Let n(o) = o**3 + 2*o**2 - 4*o - 1. Let b be n(5). Let x be (-6)/12 - (-3)/b. Let m = x - -10/11. Put -5, m, 0 in ascending order.
-5, 0, m
Let j = -8 + 10. Put -3, 21, j in ascending order.
-3, j, 21
Let u = -0.13 + 0.33. Sort 0.4, u, 2/7.
u, 2/7, 0.4
Let w = -667/45 + 73/5. Let k(s) = -s**2 - 7*s. Let x be k(-7). Sort 0.3, w, x.
w, x, 0.3
Suppose 19 = 4*b + 3. Put -5, -1, b in ascending order.
-5, -1, b
Let x = -2.3 + 5.2. Let k = x + 0.1. Put 2, k, -2/13 in decreasing order.
k, 2, -2/13
Let x(b) = 9*b**2. Let k be x(1). Suppose 2*a = -o - 7, 3*a + o + k = 1. Let t be -2 - a - -2 - 5. Sort -2, -5, t in increasing order.
-5, t, -2
Suppose -190 + 30 = -2*y. Let b be 12/y*(-10)/(-12). Let o = 0.7 + -0.2. Sort o, b, 2/9 in descending order.
o, 2/9, b
Let l = -1 - -3. Let d = 6.017 - 0.017. Sort l, -4, d in descending order.
d, l, -4
Let q = 1 + 0. Let c = -9 - -13. Let p = 4.3 - c. Sort p, q, -0.2 in increasing order.
-0.2, p, q
Let q = -84 - -80. Put -0.3, 5, q, 0.2 in ascending order.
q, -0.3, 0.2, 5
Let t be (5*2/5)/2 + 3. Sort 1, t, -1/4 in decreasing order.
t, 1, -1/4
Let t = 18 - 19. Let p = -0.8 - t. Put 0.02, p, -0.2 in ascending order.
-0.2, 0.02, p
Let q be 1/(2 + (-3)/3). Let l be 1/2 + -2 + (-26)/(-4). Put q, l, 2 in ascending order.
q, 2, l
Let x(z) = z**3 + 3*z**2 + z. Let q be x(-2). Suppose 5*d + 2 - 7 = 0, -u = q*d - 10. Let s = 6 - u. Sort 1, s, 0 in decreasing order.
1, 0, s
Let c = 10.86 - -0.14. Let b = c + -15. Let h = 7.7 - 8. Sort h, 0.5, b in decreasing order.
0.5, h, b
Let u = -0.8 + -0.2. Let p = u - 0. Let a be 34/(-16) - (-8)/4. Sort a, p, -3/5 in increasing order.
p, -3/5, a
Let z be (-2)/(-2 + 2 - 1). Suppose -2*l + 7 = -2*k - 3, 11 = -3*k - l. Put -5, z, k in ascending order.
-5, k, z
Let p = -4/7 - -17/42. Put p, 4/3, 2/15 in decreasing order.
4/3, 2/15, p
Let j(d) = -d**2 + 2. Let a be j(1). Put -11, a, -4 in ascending order.
-11, -4, a
Let a = 6 - 6.5. Let h = 7 + -5. Let y be h + 0 - 3/(-6). Sort y, 0.2, a.
a, 0.2, y
Let a(v) = -12*v - 8. Let u be a(-1). Sort u, -12/5, 0.3 in increasing order.
-12/5, 0.3, u
Suppose 4*j = 18 - 2. Suppose 5*a - 3*v = 1, -j*v = 4*a + v - 23. Sort -1/2, -0.2, a in increasing order.
-1/2, -0.2, a
Suppose 0 = 2*b + 3 + 7. Sort -3, -1, b.
b, -3, -1
Let b be (14 + -13)/(1/(-2)). Let q be 9 - 2/4*-2. Let t = q + -7. Put b, 0, t in descending order.
t, 0, b
Let m(y) = y - 12. Let k be m(11). Suppose 0 = 5*z - 3*b + 4 - 20, -5*z + 13 = -4*b. Put z, -4, k in decreasing order.
z, k, -4
Let x = 2 + 0. Let i be (-1)/(x/(-6)*-1). Let n = 190 + -192. Sort i, n, 4 in descending order.
4, n, i
Suppose -90*z + 6 = -93*z. Sort z, 3, -35.
-35, z, 3
Let v = 113/55 + -16/11. Put -4, 2/5, v, -6 in ascending order.
-6, -4, 2/5, v
Let m = -2.24 - -0.24. Let b = -0.8 - 0.2. Sort b, -4, m in ascending order.
-4, m, b
Let q = 17 + -21. Suppose -4*i + 2 = 2*h - 6, -3*h + 3 = 3*i. Sort q, -3, h in decreasing order.
h, -3, q
Let g(c) = -2*c - 5. Let b be g(-4). Let s(f) = f + 4. Let m be s(b). Suppose -d - 17 = -4*q, -3*d - 12 - m = -4*q. Sort -1, q, -2 in increasing order.
-2, -1, q
Let o(l) = 4*l - 8. Let d be o(9). Let f = d + -83/3. Sort -1/3, -4, f in descending order.
f, -1/3, -4
Let y = 11.5 + -11.7. Put y, -0.3, 4/9, 0.02 in descending order.
4/9, 0.02, y, -0.3
Let z be 3 - (2 + -2) - -1. Suppose -5*b + 6 = -2*b. Put b, z, -3 in descending order.
z, b, -3
Let m = -48 - -50. Let z = -1 + 4. Put m, z, 0 in decreasing order.
z, m, 0
Suppose 0 = -5*q, -2*z - z + 3*q + 3 = 0. Let c(w) = w**3 - 6*w**2 - w + 6. Let b be c(6). Sort b, -1, z in increasing order.
-1, b, z
Let r = -6.384 + -0.016. Let b = 1.6 - r. Let m = 8.2 - b. Put 0.4, 1/4, m in ascending order.
m, 1/4, 0.4
Let s = 1 + 2. Let w = -2/55 - -13/55. Sort w, -1/3, s in descending order.
s, w, -1/3
Let d = 5 + 0. Let v = d + -5. Sort 2/5, v, 4 in decreasing order.
4, 2/5, v
Let a be 2/1 - 1/1. Let v be (-20)/15*6/4. Sort 2, v, a in descending order.
2, a, v
Let x = -27 + 24. Let t(g) = -g + 7. Let f be t(5). Let p(h) = -h**3 + 4*h**2 - 4*h + 3. Let y be p(f). Put x, y, 4 in ascending order.
x, y, 4
Suppose -7*m + 2*m + 25 = 0. Suppose 0*g + 2*g + c = -2, 0 = 4*g - 2*c - 4. Sort -1, g, m in decreasing order.
m, g, -1
Let o = -10 - -13. Let i be (70/21)/((-2)/o). Sort 1, i, -3 in increasing order.
i, -3, 1
Suppose 2*b + 4 = b. Let p(w) = -w - 9. Let o be p(b). Sort 1, 0, o.
o, 0, 1
Let q = -23 - -36. Let y = 14 - q. Sort y, -4/5, 0 in descending order.
y, 0, -4/5
Suppose 2*t + 3*w = -t, -3*w - 4 = t. Let g(q) = q + 1 - 3 + 2 - t. Let d be g(4). Put 3, d, 4 in increasing order.
d, 3, 4
Suppose -3*h + 27 = 9. Suppose -4*i = -h*i. Let v = -11 - -9. Sort v, 4, i in ascending order.
v, i, 4
Suppose -4*u + z = -7, z - 1 = -2*u - 2. Let c be ((-6)/(-4) + -1)*-10. Sort u, 3, c in ascending order.
c, u, 3
Suppose b - 9 = -5*f, 2*f - b = -0*f + 5. Sort -10, -1, 0, f in descending order.
f, 0, -1, -10
Let m be 21/5 - (-8 - -13). Suppose -2*b = -b - 5. Sort m, -0.3, b in descending order.
b, -0.3, m
Let v = -16 - -4. Let a = 10 + v. Put 1, 2, a in increasing order.
a, 1, 2
Let g be (-1)/4 + (-3)/4. Let k be -2 - g/(-2 - -3). Suppose 2*y - 2*m = -10, 4*m - 5 = 5*y + 3*m. Put y, k, -3 in decreasing order.
y, k, -3
Let r = -56.2 + 56. Put r, -0.1, -0.3 in decreasing order.
-0.1, r, -0.3
Suppose -3*w = -3*l - 42, -l - l = -4*w + 56. Sort 0.1, w, 0.5 in decreasing order.
w, 0.5, 0.1
Let x = 5 - 3. Sort x, -2, -4.
-4, -2, x
Let n be (1 - (2 - -2)) + 2. Let a be (n - -1) + 1 + 1. Suppose 5*b + 7 = -c, 3 = a*c - c. Sort 1, b, 3 in decreasing order.
3, 1, b
Let u = -7 + 12. Sort -2, u, 3.
-2, 3, u
Let s = -13 - -16. Let t(l) = 7*l - 1. Let r be t(1). Let x be (-2)/r*s/(-6). Sort 0.2, x, -0.3.
-0.3, x, 0.2
Suppose -2*s + 5 + 5 = 0. Suppose 108 = -s*p + 3. Let q be (-9)/p - 30/(-28). Sort 3, -2/11, q in ascending order.
-2/11, q, 3
Let o = -0.7 - -1.5. Let q = 2.2 + o. Sort 5, 0, q.
0, q, 5
Let w = 0.75 - 1.15. Sort -0.1, w, 2/7 in decreasing order.
2/7, -0.1, w
Suppose 5*r - 8 - 37 = 0. Suppose -3*n - 3 - r = 0. Let d be -2 + 5 + (-2)/2. Sort n, -3, d in ascending order.
n, -3, d
Let l = 43 + -29. Let d = -13.8 + l. Put -0.3, 4, d in increasing order.
-0.3, d, 4
Let b(r) = r**2 + 9*r + 13. Let y be b(-8). Sort 3, 2, -2, y in increasing order.
-2, 2, 3, y
Let m = -0.07 + 1.07. Let l(o) = o**3 + 5*o**2 + 4*o + 4. Let f be l(-4). Suppose -f*y = 3*h - 2*y - 8, -h + 12 = 3*y. Sort m, h, 5.
h, m, 5
Let t be (12/(-27))/(1/(-9)). Let s = -1 + 0. Put t, 0, s in increasing order.
s, 0, t
Let t = -2.29 +