.9. Let l = y - f. Put -2/7, l, 0.4 in descending order.
l, 0.4, -2/7
Let b = -431 + 863/2. Let n be (-7)/(-10) + (-2)/4. Put 5, n, b in increasing order.
n, b, 5
Let f = -5.9 + 5. Let q = 5 - 5.4. Let m = q - f. Sort -4, -2, m in decreasing order.
m, -2, -4
Let m = 15 + -14. Let h be (10/(-8))/(2/8). Put m, h, -4/3 in descending order.
m, -4/3, h
Let y = -0.037 - -0.537. Sort y, 3/7, 2 in descending order.
2, y, 3/7
Suppose 0 = -4*d + 2*d + 20. Let l be ((-6)/4)/(5/d). Let y = 2.8 - 3. Put y, l, -1 in descending order.
y, -1, l
Suppose -19 = 3*z - 16. Put 2, -5, 0, z in increasing order.
-5, z, 0, 2
Let w = 5/27 + 19/189. Let y = -8 + 3. Sort 1/4, y, w in increasing order.
y, 1/4, w
Let z(q) = 2*q**2 + 5*q + 2. Let l be z(-3). Suppose l*y = -w + 27, 0 = 5*y - 3*w - 2*w - 15. Suppose f = y*f. Sort 5, f, -2.
-2, f, 5
Let q = 0 + -1. Suppose -3*z = -j - 2*j - 27, 5*z = -2*j + 10. Put j, q, -2 in decreasing order.
q, -2, j
Let k = -19 + 37. Let s be (4/6)/(k/54). Put 3, 5, s in decreasing order.
5, 3, s
Let k be (-65)/(-25) + (-4)/(-10). Put 4, 1, k in decreasing order.
4, k, 1
Suppose -y - 4*u - 11 = 0, -y + 4*u - 22 = y. Let x = -11 - y. Sort x, 5, 4 in increasing order.
x, 4, 5
Let n be (-4 + 0)*11/4. Suppose -79*y - 6 = -73*y. Put y, n, -2 in descending order.
y, -2, n
Let s = -1 + 3. Let m be (-1 - -2) + (-2)/6. Let h = -6 + 5.8. Sort s, h, m in decreasing order.
s, m, h
Let h(y) be the second derivative of y**4/12 - 11*y**3/6 - 2*y**2 - 11*y. Let q be h(11). Put 2, 0, q in descending order.
2, 0, q
Let a(r) = r**2 - 16*r + 24. Let o be a(14). Let j(m) = -2*m**3 + m**2 - 2*m + 1. Let f be j(1). Put -5, f, o in descending order.
f, o, -5
Let a = 2 + -2.4. Let i = 7.6 + -7. Let c = a + i. Put -1/2, -5, c in descending order.
c, -1/2, -5
Suppose 5*o + 21 = -4*j, 0 = -5*o - 0*j - j - 9. Sort -2, -4, o.
-4, -2, o
Suppose 11 = -2*h - 5*r - 16, h = 5*r + 24. Put 4, h, 2 in increasing order.
h, 2, 4
Let n = -117 + 120. Suppose 0 = s - 4*t + 3, -5*s = -t + 6*t - 10. Sort -2/7, s, n.
-2/7, s, n
Let j = -10 - -14. Sort 3, j, -2.
-2, 3, j
Let d = -13 + 16. Put 4, 5, d in increasing order.
d, 4, 5
Let x = 30.2 + -32. Put -1, x, -0.2, -4 in ascending order.
-4, x, -1, -0.2
Let r = 1.9 - 1.7. Put -3/4, r, -1/9, 1/4 in decreasing order.
1/4, r, -1/9, -3/4
Suppose 5*z + 7 = 2. Let h(u) = -u**3 + u**2 + 6. Let o be h(0). Let t be (4/o)/((-65)/15). Sort t, 0.1, z in ascending order.
z, t, 0.1
Let k be (-6)/24*(-2 - 0). Put 1, k, -0.2 in decreasing order.
1, k, -0.2
Suppose -8*g = -9*g - 2. Sort -3, g, 43.
-3, g, 43
Let b = 3 + -2. Let x be ((-1)/85)/(b/(-44)). Let u = 2/17 - x. Sort u, 0.1, -4 in increasing order.
-4, u, 0.1
Suppose -2*q = -0*q. Let u = 7 + -5. Put q, u, 3 in descending order.
3, u, q
Let i = -7 + 11. Suppose 10*l - 5*l + 4*g = 33, g = -4*l + 22. Suppose 4*h = h + 5*b - 10, -2*h - 10 = -l*b. Sort 2, h, i in decreasing order.
i, 2, h
Let d = -11 - -14. Suppose 0 = -5*w - 25, 4*y + 2*w + 10 = 4*w. Put y, 1, d in increasing order.
y, 1, d
Let q = 74 - 72. Sort q, 5, -2.
-2, q, 5
Let l = -14 + 22. Sort 0, l, -1.
-1, 0, l
Let k = 2.8 + -3.8. Sort k, -2, 7 in ascending order.
-2, k, 7
Suppose 3 = 4*f - 3*h, -2*f + 3*f = h + 2. Let p be (-64)/30 - (1 + f). Let n be 12/(-42)*(-14)/8. Sort -1/3, n, p in decreasing order.
n, p, -1/3
Let s(t) = -2*t - 19. Let z be s(-13). Let a = -2 + z. Let l = -1.8 - 0.2. Sort a, 2, l in decreasing order.
a, 2, l
Let o = 70 + -69.5. Sort o, -5, 0.2, 0.4 in decreasing order.
o, 0.4, 0.2, -5
Let m be 18/153 + 38/(-34). Sort m, 6, 0.2.
m, 0.2, 6
Let y = -0.06 + 0.46. Let x = 27 - 22. Sort y, 2, x.
y, 2, x
Let a be (-4 + 1)*(-1)/(-3). Let j = 0.1 - 0. Put j, a, 2/11 in ascending order.
a, j, 2/11
Let v = -0.1 + -0.6. Let u = v + 1. Put u, 0, -2 in ascending order.
-2, 0, u
Let z = 10 + -8. Sort -4, z, -3, 5 in descending order.
5, z, -3, -4
Suppose o - z = 0, 0*o + 4*o + 3*z = 14. Suppose 0 = o*f - 18 + 6. Let r be (-4)/2 - (0 - f). Put r, 0, -3 in descending order.
r, 0, -3
Let l = 1 + -2. Let w = 0.06 + -1.56. Let p = 2 + w. Sort l, 4, p in decreasing order.
4, p, l
Let i = 18 - 13. Suppose s = 3*s - 12. Suppose 4*q + 2 = -s. Put q, -3, i in increasing order.
-3, q, i
Suppose -1 = -2*g + 5*f - 4, 0 = 4*g + 2*f - 6. Sort 0, -5, 4, g in descending order.
4, g, 0, -5
Let b = -3.1 - -3.3. Sort 5/3, b, -5.
-5, b, 5/3
Let r(t) = t**3 - 8*t**2 + 6*t + 12. Let o be r(7). Sort o, 1, -11 in increasing order.
-11, 1, o
Let s = -2 + 1. Let g be (5 + -1)/(6/3). Suppose z - g = -4. Sort s, 0, z.
z, s, 0
Suppose -24 = -4*u - 4*b, -4*u + 4*b = -17 + 1. Put 0, u, -4 in decreasing order.
u, 0, -4
Suppose -24*b - 20 = -28*b. Let x = 1.8 + -2. Put x, b, -2 in increasing order.
-2, x, b
Let u(q) = -q**2 + 7*q + 7. Let n be u(8). Put 2/11, n, -0.2, 1 in ascending order.
n, -0.2, 2/11, 1
Suppose -3*n + 78 = 2*m, 0 = -n - m - 2*m + 19. Let g be (-7)/n - 18/(-8). Suppose -a + g*h - 4 = -2*a, -5*h + 10 = a. Sort a, 5, -3 in decreasing order.
5, a, -3
Let q(f) = 2*f - 32. Let g be q(15). Let s = -4 - 1. Put -4, s, g in decreasing order.
g, -4, s
Let o = -4 - -2. Let r be o/2 + (-10)/(-12). Let c(y) = -y**3 + 4*y**2 - 2. Let a be c(4). Sort r, 5, a in decreasing order.
5, r, a
Let b = 3.03 + -0.03. Let a = -53 + 53.4. Put -4, a, b in increasing order.
-4, a, b
Suppose 0*n + 8*n + 16 = 0. Put -1, 1, -8, n in descending order.
1, -1, n, -8
Let j = 4.55 + -4. Let b = 0.05 - j. Suppose 4 = s - 5*s. Sort b, 0, s in increasing order.
s, b, 0
Suppose -2*g = -t + 12, -g - 4*t = -4 + 1. Suppose q = 2*q + 10. Let j be (-1)/(2 - (-22)/q). Sort -1, j, g.
g, -1, j
Suppose 5*u + 3*x + 12 = 0, -2*u - x = -0*x + 4. Sort 1, u, 11 in increasing order.
u, 1, 11
Let f(v) = v**3 - 22*v**2 - 1. Let t be f(22). Sort t, 0, 2, 3 in increasing order.
t, 0, 2, 3
Let r = 7 + -5. Let l = -1.8 + -2.2. Put l, r, 1/4 in descending order.
r, 1/4, l
Let b be (4 + 0)/(3 - 1). Suppose b*y + 0 = -2. Put y, 3, -5 in descending order.
3, y, -5
Suppose -2*s - 2*f = f - 2, 2*s + 2*f = 4. Sort 6, 0.2, s, -5 in decreasing order.
6, s, 0.2, -5
Let a = -96 - -92. Sort 3/4, 2, a in increasing order.
a, 3/4, 2
Suppose 3 = -4*i - 5*t - 1, 4*t + 32 = 4*i. Suppose -i*r + 0*r = 0. Suppose 0 = 3*b + 8 + 1. Sort b, r, -5.
-5, b, r
Let y be (-2)/((-16)/4 - 8). Sort 2, y, 3/2 in decreasing order.
2, 3/2, y
Suppose -5*x = -5*z - 90, 3*x = -z + 53 + 9. Let o = -20 + x. Put o, -5, 3 in descending order.
3, o, -5
Suppose -3*i = 3*v, -2*v - 5 = 2*v - i. Sort -5, 15, v in descending order.
15, v, -5
Let h(g) = 2*g - 7. Let z be h(5). Suppose 5*a - 2*s = 2, -a - 2*a - z*s = -18. Put a, -4, 1 in ascending order.
-4, 1, a
Let t = -87 + 83. Sort t, 22, -2/7 in increasing order.
t, -2/7, 22
Let g = -17.9 - -18. Put 4, 3, g in descending order.
4, 3, g
Let m = -0.36 - -15.36. Let l = 14 - m. Sort -3/2, -2, l in ascending order.
-2, -3/2, l
Let x(q) = -q**2 + 5*q + 3. Let l be x(5). Suppose -10 = -l*v + 5. Let n(h) = h - 2. Let y be n(5). Sort 1, y, v in increasing order.
1, y, v
Suppose 2*v - z + 10 = 0, v + 3*z - 9 = -0*v. Sort 0, 2, v in decreasing order.
2, 0, v
Let i be 84/20 + 1/(-5). Let m(h) = 2*h**2 + 3*h + 3. Let d be m(-2). Sort 1, i, d in increasing order.
1, i, d
Suppose 0 = 3*s - 4*f - 3 - 7, -4*f = 5*s - 6. Put -3, -4, s in decreasing order.
s, -3, -4
Let v = 4 - 2. Let q = -4 - -5. Let u = q - -2. Put v, -4, u in descending order.
u, v, -4
Let m = -33 + 37. Put 2, m, 1, 5 in descending order.
5, m, 2, 1
Let j = -9.86 + 10. Let g = j + 0.16. Let b = -1 + -2. Put -2, b, g in decreasing order.
g, -2, b
Let l = 53/48 - 7/16. Sort l, -0.4, 10 in descending order.
10, l, -0.4
Let s(p) = p**2 - 8*p + 7. Let m be s(7). Put -5, 4, m in ascending order.
-5, m, 4
Let u = 5 + 0. Let k(y) = -y**2 + 5*y - 2. Let a be k(u). Sort -4, a, -5.
-5, -4, a
Let p = -6310/19 + 332. Let k = -0.4 - -0.3. Sort -1/4, k, p.
-1/4, p, k
Let c(j) = -j**2 - 4. Let m be c(0). Let k(y) be the first derivative of y**2/2 + 2*y + 2. Let b be k(-2). Put b, m, -2 in decreasing order.
b, -2, m
Let r be 3*((-12)/9 + 1). Let q = r + 2. Suppose 1 = -3*s + 7, -2*s = -w - 2. Sort w, -3, q.
-3, q, w
Let t be 9 + -2 - (0 + 1). Let o = -9 + t. Suppose -2*h = -3*h + 2. Sort h, -5, o in descending order.
h, o, -5
Let j = -4.5 - -5. Put 2/3, j, 