2*a + 8 = -f. Let i(o) = -o**3 + 4*o**2 - 3*o + 3. Let j be i(3). Put f, 5, j in ascending order.
j, f, 5
Suppose 3 = -3*y - 2*x + 1, -y - 4*x = 4. Sort -4, y, -1 in increasing order.
-4, -1, y
Let x = 6.973 + 0.027. Let p = 0.3 + -0.8. Sort p, -3, x.
-3, p, x
Let v = -31 - -157/5. Put 4, v, -1/5 in descending order.
4, v, -1/5
Suppose 0 = 2*u - 2*w - 0 - 8, 0 = -5*u - w + 20. Suppose -4*k + u = -p + 3*p, 5*k = -2*p + 7. Suppose y - 4 = z, 0*z - 2 = 3*y + 4*z. Sort 0, k, y.
0, y, k
Let u = 10 - -32. Let v = u + -41.67. Let j = v - 0.03. Put j, 0.4, -5 in descending order.
0.4, j, -5
Let n be 4/(-6) - 2/(-6). Let r = -3 - -6. Let k = 0.7 + -1.7. Put r, n, k in decreasing order.
r, n, k
Let g = 2 - -3. Put 1, -1, g in ascending order.
-1, 1, g
Let y = -121 + 607/5. Let x = 2.1 - 0.1. Put -3, y, x in descending order.
x, y, -3
Suppose 0*w - 14 = -3*w + 5*r, 3*r = -3. Let u be 3*w/(-3)*1. Sort -1, u, 3 in descending order.
3, -1, u
Let a be -2 + 0/(-1) - 3. Put -2, -3, a in increasing order.
a, -3, -2
Let c(v) = -v**3 + 10*v**2 - 2. Let g be c(10). Put -4, g, 21 in increasing order.
-4, g, 21
Suppose -14 = 2*v + 3*d, 5*v + 5*d + 28 = d. Put 5, 2, v, -1 in decreasing order.
5, 2, -1, v
Let i(a) = 2*a + 1. Let d be i(0). Sort 4, d, -4, 6.
-4, d, 4, 6
Suppose -3*s - 2*a + 16 = 0, -4*s + 2*a - 4*a + 18 = 0. Let b = 1 + s. Put b, 1, -3 in increasing order.
-3, 1, b
Let d = 0 - -4. Let s = -6 + d. Put 3/2, 2/5, s in ascending order.
s, 2/5, 3/2
Suppose -3*o + 10 + 2 = 0. Let q = 25 + -20. Sort q, o, -1 in descending order.
q, o, -1
Let x = 261057/109 + -2395. Let l = x + 97/654. Sort 1/7, l, 0 in descending order.
l, 1/7, 0
Let z = -42 + 203/5. Put -3, z, 0.4 in decreasing order.
0.4, z, -3
Let s be -6*(-1)/(-6)*21/56. Put s, -0.4, 1/4, 3 in descending order.
3, 1/4, s, -0.4
Suppose p - 5*p - 3*d + 16 = 0, d = 2*p - 18. Let f = -8 + p. Suppose -30 = 5*x + 3*y, 12 = 3*x - 2*x - 3*y. Sort x, f, 2 in descending order.
2, f, x
Let m(k) = -k**2 + 9*k - 3. Let o be m(6). Let r = o + -8. Let f = r + -2. Sort 2, f, 1 in descending order.
f, 2, 1
Let n be 5 + -2 + 2 - 2. Suppose -3*o + 17 = 2. Let g = 2 - o. Sort -5, n, g.
-5, g, n
Let r = 6.9 - -0.1. Let m = 4 - r. Let k = m + -2. Put 0.5, -0.3, k in increasing order.
k, -0.3, 0.5
Let d be (-2)/(-6) - (-8)/12. Suppose -4*n + 15 = -n. Sort n, d, -5 in decreasing order.
n, d, -5
Let z = -0.04 - -5.04. Let a = -0.43 - -0.03. Sort z, a, 2 in decreasing order.
z, 2, a
Let z = 7 - 4. Suppose -3*b + 21 = -3*j - 2*b, -29 = 4*j - b. Let d = -8 - j. Sort z, 4, d in increasing order.
d, z, 4
Suppose -4*n + 10 = 2*l, 3*l + 3*n = -0*l + 6. Let h = -11 + 25. Let j = 9 - h. Put j, l, 0 in decreasing order.
0, l, j
Suppose -3*r - 5*l = -3*l - 14, -4*r + 28 = -2*l. Suppose 5*s - 14 = -2*i, 5*s - r = -2*i + 4*i. Sort i, 0, -4 in descending order.
i, 0, -4
Suppose 2*v = 3*v - 3. Sort v, 0, -1 in ascending order.
-1, 0, v
Let h = 1.38 - 1.5. Let s = 3.88 - h. Let u(p) = -p**2 - 2*p - 3. Let v be u(-2). Put v, s, 0 in decreasing order.
s, 0, v
Let w(y) = -y**2 - 6*y - 3. Let l be w(-5). Let u = 5 - l. Suppose -4*d - s - 4 = u*s, 4*d - 4 = -2*s. Sort d, -4, -2.
-4, -2, d
Let p(t) = t**3 + 8*t**2 + 2. Let k be p(-8). Suppose z + 20 = -3*z - 3*q, 5*z + 14 = -q. Let f = k - z. Put -3, f, -4 in descending order.
f, -3, -4
Let i(v) = 2*v + 4. Let r be i(-5). Let w(k) be the third derivative of -k**4/12 + 11*k**3/3 + 6*k**2. Let l be w(11). Sort r, l, 4.
r, l, 4
Let h = -0.08 + -4.92. Let n = -31 - -24. Put -0.5, h, n in decreasing order.
-0.5, h, n
Suppose 0 = 2*s - 3*s + 1. Suppose 0*c + s = c. Suppose 0*g - 3*g + c = -2*y, 5*g + 2*y + 25 = 0. Sort g, 4, 0.
g, 0, 4
Suppose p + 0 + 1 = 0. Put p, 5, 12 in increasing order.
p, 5, 12
Let b be (-1)/6 + (-5)/(-30). Let c be (2 - 4)/(4/(-6)). Suppose -r = -3, 1 = -2*t + 2*r - 1. Put t, c, b in decreasing order.
c, t, b
Let h be (-2)/4 - 1/(-2). Suppose h - 4 = -j. Put 0, j, -5 in increasing order.
-5, 0, j
Let f(g) = g**2 + 3*g - 5. Let y be f(-5). Let u = 105 - 109. Sort y, u, 1 in decreasing order.
y, 1, u
Let u = 4.9 - 1.9. Put 2, u, -2 in descending order.
u, 2, -2
Suppose 0 = -k + 1 + 18. Let m be -1 - ((-59)/k + 2). Let q = 0.036 + 0.164. Sort 1/2, q, m.
m, q, 1/2
Suppose 2*p + 1 - 7 = 0. Let b be (-1 + 3 - 9) + p. Put 0, b, 2 in ascending order.
b, 0, 2
Suppose 5 = -d + 1. Let m be 8/d - -1*7. Suppose -m = 4*j + 11. Put 2, 3, j in ascending order.
j, 2, 3
Let w = 3 - -2. Let z(k) = k**2 + 2*k - 4. Let l be z(-4). Suppose l*g + 6 + 10 = 0. Sort 3, w, g in ascending order.
g, 3, w
Let j(o) = o**2 - 7*o - 3. Let q be j(7). Put q, 6, -2, 5 in increasing order.
q, -2, 5, 6
Let p = 0.16 - 1.06. Let u = -3.1 + p. Sort 0.2, u, -5.
-5, u, 0.2
Let r be 3 + -2 - (-22)/2. Suppose -r = 5*p - 32. Suppose -3*u - 2 = -p*u. Sort u, -3, 2/7 in increasing order.
-3, 2/7, u
Let z = -2.99 - 0.01. Let k = z - 1. Let w = 1.2 + -1.4. Put k, 2/9, w in decreasing order.
2/9, w, k
Let c(v) = -2*v + 16. Let g be c(6). Sort g, 0, 2 in increasing order.
0, 2, g
Let n = -10 - -8.9. Let g = -8.9 + n. Sort g, -2/13, -5 in decreasing order.
-2/13, -5, g
Let a be (-1 - -2)/(1/(-2)). Let j be 2 + -2 + 4 + a. Suppose j*l - 6 = -l. Sort -3, 3, l.
-3, l, 3
Let z be ((-3)/(-2))/((-9)/12). Sort -4, 4, z.
-4, z, 4
Let d = -0.37 + -0.03. Put d, -0.3, 2/23 in descending order.
2/23, -0.3, d
Suppose 2*x + g + 1 = -0*g, 4*g = -4*x - 4. Put x, 1, -5 in ascending order.
-5, x, 1
Suppose -2*w - 13 = 3*t, 5*w - 2*t + 24 = -t. Let s be w/13*10/25. Let o be 2/20*(-5)/(-2). Put s, o, -1/4 in increasing order.
-1/4, s, o
Suppose -3*l + 4*l + o - 3 = 0, -5*o + 5 = -5*l. Suppose -g = -0 - l. Sort 3, -4, g in increasing order.
-4, g, 3
Let z be 9/12*8/12. Sort -4, z, 2 in descending order.
2, z, -4
Let f(z) = -z**3 + 16*z**2 + 16*z + 20. Let j be f(17). Sort -3, j, 1 in decreasing order.
j, 1, -3
Let a = -1.051 + 0.051. Let k = 2 - 2. Sort -3, a, k in descending order.
k, a, -3
Suppose x - 1 = 1. Let t be -21*x*(-3)/18. Let k = t + -11. Sort 4, 2, k in ascending order.
k, 2, 4
Suppose -25 = -5*j, -3*n = 2*n + 5*j - 30. Suppose 7 = 2*g - n. Suppose -2*w - g = 2. Sort 5, w, 0.
w, 0, 5
Let g(w) = w**3 + 4*w**2 + 7*w + 6. Let o be g(-4). Let p be 4/o + 265/(-55). Suppose 0 = -4*f + 4. Sort p, -1, f in descending order.
f, -1, p
Suppose 0 = -6*z + z - i + 15, 0 = 5*z - 2*i. Sort 0, z, -1, -4 in descending order.
z, 0, -1, -4
Suppose 2*n - 5*r = -2, 0 = -2*n + 4*n - 4*r + 2. Let m(u) = 0*u - 2*u + 1 + u. Let o be m(-4). Sort -5, o, n in descending order.
o, n, -5
Let f(k) = -k + 3*k - 3 - 1. Let l be f(4). Let v = -18 - -23. Sort l, v, -4 in descending order.
v, l, -4
Let c = -1.4 + 1. Let q = -19 - 9. Let f be 2/5 - q/(-245). Sort f, 1, c.
c, f, 1
Let w be (-3)/(-5) - (-8)/(-20). Let l = 1 + -2. Put w, l, -3/8 in increasing order.
l, -3/8, w
Let s be 6/4 - (14 - 4)/5. Sort -5, 19, s, 3 in descending order.
19, 3, s, -5
Let o be -1 - -1 - (-10 + 2). Let w = 5 - o. Let q(y) = y**2 + y - 56. Let v be q(7). Sort v, 1, w in decreasing order.
1, v, w
Let q be (-18)/9*(-10)/4. Suppose -b - q*t - 3 = 10, -2 = 5*b + 4*t. Put b, -4, 0 in increasing order.
-4, 0, b
Let a be ((-1 - -6) + 0)/1. Let q be (-6)/(-4)*(-1 + -27). Let o be (-4)/(-6) - (-4)/q. Put o, 1, a in ascending order.
o, 1, a
Let l = 0.504 + -0.004. Let q = -2 + 3. Sort -5, l, q in ascending order.
-5, l, q
Suppose 0 = -5*z, 0 = 5*j + 2*z - 2 - 13. Let x be (9 - (-57)/(-6)) + (-2)/4. Sort j, 0, x in descending order.
j, 0, x
Let j = -0.2 + 0.18. Let u = 2.02 + j. Let n = 0 - u. Sort -1/2, n, 5 in increasing order.
n, -1/2, 5
Suppose v = 5*v. Sort v, 8, 1 in descending order.
8, 1, v
Suppose -3*z = -0*z + d + 18, -4*z - 25 = d. Put z, -4, 2/13 in ascending order.
z, -4, 2/13
Let o = -142/35 - -4. Put 4/5, 0.5, o in ascending order.
o, 0.5, 4/5
Let o = 4.6 - 0.6. Let j = -0.06 + 0.56. Put o, 0.1, j in increasing order.
0.1, j, o
Let t(m) = 5*m**2 + 10*m + 2. Let j be t(-2). Sort 13, -1, j in descending order.
13, j, -1
Let q(g) = g**2 + 4*g. Let d be q(-3). Let j = d - -1. Let x = -178.7 - -179. Sort -4, x, j in decreasing order.
x, j, -4
Let u = -0.412 + 0.002. Let k = 0.11 + u. Let b = -0.1 - 0.9. Sort b, 1, k in decreasing order.
1, k, b
Suppose 3*s - 5 = 8*s. Sort 5, 3, s in ascending o