/6, f.
n, f, 1/6
Let w = 0.26 - 0.56. Let m = -2285/7 + 327. Sort 0, w, m in increasing order.
w, 0, m
Let b(v) be the second derivative of 7*v**3/6 + 4*v. Let q be b(1). Sort -2, q, 2.
-2, 2, q
Suppose 5*y = y + 3*j - 22, -5*y - 4*j = 12. Sort -1, -29, 2, y in ascending order.
-29, y, -1, 2
Let g be 3/(-10)*10/(-12). Sort g, 0.5, -2/7 in descending order.
0.5, g, -2/7
Let c = -13 - -7. Sort 3, c, -4 in ascending order.
c, -4, 3
Let u = 38 + -34. Sort 3, -5, 2/3, u in ascending order.
-5, 2/3, 3, u
Let p = 6 + -4. Let v = 3 - -18. Suppose 3*k = -5*c - 28, 2*c + v = -k - 2*c. Put p, -3, k in decreasing order.
p, k, -3
Let a(z) = z**3 + 12*z**2 - z - 16. Let r be a(-12). Sort 5, r, -2 in descending order.
5, -2, r
Let v be (-2)/(1*(16 - 1)). Let q = -12 + 11. Sort 0.3, q, v.
q, v, 0.3
Let n be 3/(-2) + 3 + -1. Put n, -4, -2 in descending order.
n, -2, -4
Suppose -b = b + 6. Put -4, b, 3 in decreasing order.
3, b, -4
Let c = 96/451 - 5/41. Sort -4, 3, c, -2 in descending order.
3, c, -2, -4
Let b = -13.4 + 16. Let w = -0.6 + b. Put 0.2, w, -0.4 in descending order.
w, 0.2, -0.4
Let z = -0.7 - -1. Let f(d) = d**2 - 4*d + 4. Let n be f(4). Suppose 0 = -0*m - 4*m - n. Put m, -0.4, z in descending order.
z, -0.4, m
Let a = -4/7 + 1/14. Put 5, 2, -5, a in decreasing order.
5, 2, a, -5
Let h = 0.42 + -0.47. Sort 2/9, -2, 4, h.
-2, h, 2/9, 4
Let x = -13 - -18. Suppose 1 - x = -b. Sort 2/7, b, 0.5 in ascending order.
2/7, 0.5, b
Let k = 0 + 0. Let v = -3 + k. Let n = v + 5. Put -4, n, 0.3 in decreasing order.
n, 0.3, -4
Let h = 0 - 5. Sort -9, -2, h in increasing order.
-9, h, -2
Let v(s) = -s - 1. Let r = -6 + 9. Suppose 4*w = 5*k - 16, w + 7 = r*k - 4. Let j be v(k). Put 0, 4, j in descending order.
4, 0, j
Let q = 2.9 - 3.1. Sort 7/4, q, 0.5, 2.
q, 0.5, 7/4, 2
Let d = 94.1 + -94. Sort 0, -1, 5, d in increasing order.
-1, 0, d, 5
Let d = 24 - 117/5. Let b = -2 - 2. Put b, 3/4, d in ascending order.
b, d, 3/4
Let v be 3/(-6) - (-3)/(-6). Let i be (2 - (-4)/(-2)) + 3. Put -4, i, v in decreasing order.
i, v, -4
Let v(a) = a**2 - 13*a - 38. Let s be v(15). Sort -1, -5, s, -3 in ascending order.
s, -5, -3, -1
Let l be -3*(-6)/27 - (-5)/(-3). Sort 4, 5, l, 2.
l, 2, 4, 5
Let l be ((-5)/(-25))/(1/5). Suppose -2*f + 5 = -v, -4*v - 19 - l = -5*f. Let h be 4/2 + (0 - 0). Sort -1, h, v in ascending order.
v, -1, h
Suppose 3*l + 5 = -4. Let f(k) = k**2 - 6*k + 4. Let t be f(5). Put 3, t, l in ascending order.
l, t, 3
Let n = 1 - -4. Suppose -5*m - 7 - 18 = 0. Let d = m - -1. Put n, 2, d in descending order.
n, 2, d
Let l be ((-4)/6)/((-2)/9). Suppose 5*a - 1 = 2*d - 8, -5*a = 15. Sort l, d, 5 in decreasing order.
5, l, d
Let n = -15 + 25. Suppose 2*c = 4*c - n. Suppose -c*l - 4*x - 11 = 0, 0 = 2*l + l + x + 1. Sort -2, l, 5.
-2, l, 5
Let h(w) = w**3 - 9*w**2 - w + 4. Let v be h(9). Suppose 7 = 3*c + 1, 0 = 2*g + 2*c - 10. Sort v, g, -3 in decreasing order.
g, -3, v
Let v be (2/10)/(2/(-4)). Put 0.3, v, -1/8 in decreasing order.
0.3, -1/8, v
Suppose -q - 4 + 0 = 0. Let c(t) = -t + 9. Let s be c(5). Sort s, q, -5 in increasing order.
-5, q, s
Let z = 30 - 33. Suppose 0 = 2*x + 2*r - 11 - 3, -3*x + 5*r = -5. Sort x, z, -0.2.
z, -0.2, x
Suppose 0 = 2*u + u + 3. Suppose 4*y + 60 = 4*p, 2*p = -0*y - y + 39. Suppose 2*r = 2*m - p, -4*r + 3*r - m + 1 = 0. Put r, u, 1 in increasing order.
r, u, 1
Let m(p) = -2*p + 16. Let j be m(7). Put -4, j, -3 in descending order.
j, -3, -4
Let r = 1 + 1. Let n(s) be the third derivative of s**6/120 - s**5/15 - 5*s**3/6 - s**2. Let l be n(4). Put l, -3, r in decreasing order.
r, -3, l
Let q = 0.1 - 4.8. Let s = -0.3 + q. Put -0.5, s, 0.3 in descending order.
0.3, -0.5, s
Let k = -9.2 - -9. Put 5, -0.3, k in decreasing order.
5, k, -0.3
Let y(a) = -a**2 - 5*a - 1. Let n be y(-4). Let u = 0.5 + -0.2. Suppose -5*m - 6*r + r = -25, 0 = 3*m + 4*r - 18. Sort u, m, n in descending order.
n, m, u
Let f = -4 + 12. Let i = f + -11. Let c = 1.8 + -1.4. Put c, i, -0.4 in decreasing order.
c, -0.4, i
Suppose 4*t - 9 = 7. Suppose 0 = 5*k + 4*l + 2 + 34, 0 = -4*l - 16. Sort t, k, 1.
k, 1, t
Let m = -7 + 7.2. Put 1/3, m, 0 in decreasing order.
1/3, m, 0
Let t be (8/12)/(2/12). Suppose -4*q - u + t*u = 13, -4*u = q + 8. Suppose -3*p - p = 0. Sort p, q, 5.
q, p, 5
Suppose 5*s = 3*c - 6 - 18, -2*c - 2*s = 0. Let o = 2.064 - 0.064. Sort c, o, -5 in increasing order.
-5, o, c
Suppose h - 3*h - 4*q - 14 = 0, 0 = 2*h - 5*q + 5. Put 1, 6, h in descending order.
6, 1, h
Let q = -0.12 + 5.12. Let z = -0.77 - 0.23. Sort z, -0.4, q.
z, -0.4, q
Let s = -9 - -6. Let k be 10/s*(-96)/20. Suppose -1 = -5*r - k. Sort r, 3, -5 in ascending order.
-5, r, 3
Let q(n) = -n**3 - 11*n**2 + n + 13. Let k be q(-11). Suppose 0 = -0*i - k*i + 2. Put 5, i, 3 in increasing order.
i, 3, 5
Suppose 0 = p + 4*l - 2, 0 = -p + 5*p - 2*l - 8. Suppose -3*h = -3*n - 9, 3*n - 5 = -4*h - 0*h. Sort p, n, -2 in ascending order.
-2, n, p
Let z = -15 + 6. Let w = 8.92 + z. Let g = 0.22 - w. Sort -2, g, -1/5 in increasing order.
-2, -1/5, g
Let y = -1946/9 - -216. Let g = 0.5 - -3.5. Put y, 1, g in descending order.
g, 1, y
Let z = -1.22 - -0.5. Let s = z + 0.02. Let b = s - -0.2. Sort 0.4, b, -1/6 in ascending order.
b, -1/6, 0.4
Let p be 0 + (-80)/44 - -2. Let g = 5 - 7. Let s be (-1 + 3)/g - -1. Sort -5, p, s.
-5, s, p
Suppose 4*n + 44 = 4*p, p = -2*n - 2*p - 17. Let r = 5 + n. Sort r, -4, 0 in ascending order.
r, -4, 0
Let b be (1/2)/((-8)/(-12)). Suppose d + 2*m + 2 = 6*d, 3*d + 2*m = -2. Sort -1, b, d in decreasing order.
b, d, -1
Suppose 57 = 5*a + 17. Let l be 37/13 - 2/(-13). Suppose 2*q + 13 = j, -l*q + 4*q - j = -a. Sort -2, 3, q in ascending order.
q, -2, 3
Let v = 0.4 + -0.4. Let j = -0.01 - -0.31. Put j, v, 3 in descending order.
3, j, v
Let k be ((-3)/15)/((-8)/(-10)). Let l = 9 - 9. Suppose l = -2*x + 5*x + 12. Put 1/2, k, x in ascending order.
x, k, 1/2
Let q(l) = l**2 - 6*l + 7. Let s be q(5). Put s, -2, -16 in ascending order.
-16, -2, s
Let a be 1/3*(2 + 31). Let i be -2*(3/3 + 0). Put a, 3, i in increasing order.
i, 3, a
Let k = -7 - -5. Let d be k/(-3) + 10/(-6). Let z = d - -1. Put z, -4, -5 in increasing order.
-5, -4, z
Let l be -2 - -2 - 1/4. Suppose -5*a + 16 = -a. Let f be a/18*(-9)/3. Put l, -4, f in decreasing order.
l, f, -4
Suppose 5 = 2*w + 13. Suppose 5*x + 17 - 17 = 0. Put x, -5, w in ascending order.
-5, w, x
Let c = 5 + 0. Sort -2/3, 1, c.
-2/3, 1, c
Let x = 11.92 + -9. Let n = x - -0.08. Let c = n - 1. Put -1/5, 3, c in increasing order.
-1/5, c, 3
Let d(p) = p**3 + 2*p**2 - 4*p. Let k be d(-3). Sort -5, k, -3.
-5, -3, k
Let y(n) = n**2 + 6*n - 5. Let h be y(-7). Let j be -2 - (h - 4)*1. Put j, 1, -3 in decreasing order.
1, j, -3
Let q = -2 + -2. Put 3, q, -9 in descending order.
3, q, -9
Suppose -3 = 7*w - 4*w. Suppose 3*y - 3 = -9. Let x(u) = -u**2 + 1. Let p be x(y). Sort 5, p, w.
p, w, 5
Suppose -5*c - 17 = -3*m, c - 5*c + 3*m = 16. Sort -4, -5, c, 0 in descending order.
0, c, -4, -5
Suppose 3*b + 3*h = 24, -2*b + 3*h - 4 + 5 = 0. Let v = 6 - 7. Sort -2, b, v in ascending order.
-2, v, b
Let c = -37 + 37. Suppose 0*x + 5*x + 2*t + 10 = 0, t = 5. Sort c, -5, x.
-5, x, c
Let s = 11 - 8. Sort -0.1, -1, s, 2 in descending order.
s, 2, -0.1, -1
Let v be (-4)/8*(-1 - (-1 - -10)). Sort -28, v, 3, -4 in ascending order.
-28, -4, 3, v
Suppose -4 + 9 = h. Sort -9, h, 4 in increasing order.
-9, 4, h
Let m = 27 + -26.4. Sort -5, -0.1, m in descending order.
m, -0.1, -5
Let i(v) = v**3 + 18*v**2 - 21*v - 33. Let g be i(-19). Sort 3, -4, g, -5 in ascending order.
-5, -4, 3, g
Let x(c) = -c + 5. Let y be x(4). Put 15, 3, y in descending order.
15, 3, y
Let l(u) = 15*u - 14. Let v(r) = 5*r - 5. Let g(i) = 4*l(i) - 11*v(i). Let j be g(1). Sort 0, -3, j in decreasing order.
j, 0, -3
Suppose 12 + 6 = 9*h. Put h, 0, 3, -4 in ascending order.
-4, 0, h, 3
Let p = 1 - 4.5. Let w = 4 + p. Let t = 26 - 31. Put 4, w, t in descending order.
4, w, t
Let w = -0.3 + -0.7. Let c = 1.3 + w. Let y = -4 + 3.6. Sort c, -2, y in decreasing order.
c, y, -2
Suppose 0 = 3*r - 5*f + 17, 8*r + 3*f = 5*r - 9. Let i(d) = 6*d**3 - d**2 + d - 1. Let w be i(1). Put w, r, 1 in increasing order.
r, 1, w
Let x(g) = 2*g**2 + 11*g + 10. Let q be x(-5). Sort -5, q, 0, 3 in descending order.
q, 3, 0, -5
L