= -323.63 - -327. Let l = 0.13 + x. Let f = 4 - l. Put -3/4, 1, f in decreasing order.
1, f, -3/4
Suppose i - 5*x - 8 = 0, -2*i = -x + 1 + 1. Sort 2, i, -5 in descending order.
2, i, -5
Let h be (2 - (2 - 1))*13. Put 0, 5, h in increasing order.
0, 5, h
Let k = -1 - -5. Let f = -5 + 4.7. Sort k, f, 1.
f, 1, k
Let l be 2*(0 + 2/(-4)). Let b be (1/(-2))/(l/(-2)). Suppose 3*q = 14 - 11. Put 5, q, b in descending order.
5, q, b
Let m(i) = -2*i - i**3 - 12 + 2*i**3 + 14*i - 21*i**2 + 9*i**2. Let t be m(11). Sort 1, 0, t.
t, 0, 1
Suppose a + 20 = 4*v, 5*v = 4*a + a + 40. Suppose 16 = -x + 3*x. Suppose p + x = -3*p. Sort -1, p, v in descending order.
v, -1, p
Let b = -4 - -7. Suppose 2*k + 3 = b*k. Let x be (5/(-3) - -2)*3. Sort k, -1, x in descending order.
k, x, -1
Let g = 13 - 9. Let p = 14 - 26. Let n = 17 + p. Put g, -0.1, n in increasing order.
-0.1, g, n
Let j be (-2)/6 + (-2 - 16/(-3)). Sort 0, j, -1.
-1, 0, j
Let k(a) be the third derivative of a**5/60 - a**4/2 + 4*a**3/3 + 2*a**2. Let z = 0 - -11. Let b be k(z). Sort -2, -4, b in ascending order.
-4, b, -2
Let s = -1.1 + -3.9. Let k = 168 - 167. Put s, 4/5, k in ascending order.
s, 4/5, k
Let v = 40 + -41.9. Let u = v - -1.4. Let b = -0.5 + 0.7. Sort -5, b, u in ascending order.
-5, u, b
Let v = -11 + 21. Let n be (v/(-6))/(1/3). Let j be 1 + (-1 + 0 - -3). Sort j, 4, n in decreasing order.
4, j, n
Let f = 0.02 + 0.38. Let x = -1.2 - -0.1. Let u = 0.1 + x. Sort f, 0.1, u.
u, 0.1, f
Suppose 0 = -3*j + 6 - 0. Suppose 3*v = 2*v - j. Let u(n) = n**3 + 6*n**2 - 6*n + 7. Let c be u(-7). Put -4, c, v in decreasing order.
c, v, -4
Let m = 26 - 30. Sort m, 3, 4, 5 in decreasing order.
5, 4, 3, m
Let c = 35.5 - 35. Sort 4, c, 3/4, -4 in decreasing order.
4, 3/4, c, -4
Let o(f) = f**2 + 2*f - 1. Let q be ((-6)/12)/(2/(-4)). Let h be o(q). Suppose h*r + 10 = 4*j, 0*r + 5*r + 11 = -4*j. Put r, 2, 4 in descending order.
4, 2, r
Let b = 82 - 85. Put 4, b, 0, -9 in descending order.
4, 0, b, -9
Let a = 0.2 - 0.3. Let g = -18.34 - -18. Let z = g - 0.06. Put z, 1/3, a in descending order.
1/3, a, z
Let a = 2.1 - -6.9. Let c = a - 6. Sort 0.5, c, -2 in increasing order.
-2, 0.5, c
Let b = -389/44 - -35/4. Let o = -8 - -10. Let z = -0.04 - -4.04. Put b, o, z in increasing order.
b, o, z
Let s be (2/(0 - -2))/(-3). Let r = 0 + -5. Put r, 0, s in decreasing order.
0, s, r
Suppose -k - 4 = -3*k. Let v be (-1)/((-3)/9) - 6. Sort v, -4, k in decreasing order.
k, v, -4
Let o = -20 + 25. Let t be -4 + -1*2 - -1. Sort o, 4, t.
t, 4, o
Suppose 0*w + w - 8 = 0. Let y = -82 + 92. Let n = w - y. Put 2, 0.1, n in decreasing order.
2, 0.1, n
Suppose -5*q + 5 = 0, -o + q - 21 = 4*o. Let s = 8 + -11. Let m = s - o. Sort m, -1, 5 in ascending order.
-1, m, 5
Let d be (-4)/8*0/2. Suppose -2 = -n - d. Let s = 0.13 + -0.63. Sort s, n, -0.4 in increasing order.
s, -0.4, n
Let g(a) = -a**3 - 2*a**2 + 5*a + 2. Let u be g(-3). Put -6, 3, u in ascending order.
-6, u, 3
Let d be (2 - 1) + (-26)/18. Let c = -0.22 + -8.78. Let x = c + 8.5. Sort x, d, 0.4 in descending order.
0.4, d, x
Let f = 3.9 - 3.6. Put f, 7/4, 2/11 in descending order.
7/4, f, 2/11
Let a(l) = -l**2 - 5*l + 3. Let p be a(-6). Let m be ((-25)/(-10))/(1/(-2)). Suppose 0 = 4*t - n - 19, 0*t + 4*n = 3*t - 24. Put m, p, t in decreasing order.
t, p, m
Let x = 113 + -93. Sort x, -2, -4.
-4, -2, x
Let h = 5 - 12. Let l = -10.79 - 0.21. Let j = l - h. Sort 0, j, 3 in decreasing order.
3, 0, j
Let l be 466/8*(-12)/8. Let b = 87 + l. Let c be 4/(-14)*1 - 0. Sort c, b, 0.1 in ascending order.
b, c, 0.1
Let u be 22/30 + (-8)/20. Let h = 13 + -7. Let p be h/21 + (-111)/21. Sort 1/5, p, u in decreasing order.
u, 1/5, p
Let p = 0.13 + 0.27. Put 139, 5, p in increasing order.
p, 5, 139
Let l = -0.4 + 0.3. Let n = -22 - -20.7. Let y = -0.3 - n. Put -4, l, y in increasing order.
-4, l, y
Let r be -1*(2 + -1) + (0 - -3). Sort 5, -2/11, r in decreasing order.
5, r, -2/11
Let v = -143/4 - -36. Let s = 34 - 21. Let r = s - 13.1. Put -2/7, v, r in decreasing order.
v, r, -2/7
Suppose 0 = -0*b + b + 6. Sort b, -5, 2 in descending order.
2, -5, b
Suppose 0*a - 2*a = -14. Let n(z) = -z + 8. Let o be n(a). Sort -1/4, 8, o.
-1/4, o, 8
Let r be 133/(-4) - (-1)/4. Let s be 4*(213/r)/1. Let y = s + 26. Put y, 5, -2 in descending order.
5, y, -2
Let j = -2 - -6. Suppose 5*y - 6 - 4 = 0. Put 5, y, j in descending order.
5, j, y
Let k = -0.2 - 0. Let f = k - -0.2. Let y(p) = p**2 + 7*p + 2. Let l be y(-7). Sort l, -1, f in increasing order.
-1, f, l
Let k = -5.7 + 6. Let u = 6015657 + -9396456551/1562. Let y = 3/142 + u. Sort 0.4, y, k in increasing order.
y, k, 0.4
Let r = 22.7 + -23. Put 5, r, -0.5 in decreasing order.
5, r, -0.5
Let j = -8 - -7. Let g = 0 - 0. Sort -5, g, j in decreasing order.
g, j, -5
Suppose -5*l + 3*l + 8 = 0. Let m be (-3)/5*(-15)/12. Put m, -4, l in decreasing order.
l, m, -4
Let j = 0.2 - 0.1. Let c = j + -0.3. Let z = 21 + -20.8. Put z, 6/11, c in ascending order.
c, z, 6/11
Let a(d) = d**3 + 8*d**2 - 9*d - 5. Let q be a(-9). Put q, 5, 0 in increasing order.
q, 0, 5
Suppose 0 = 5*f - 4*i + 12, 2*f - 2*i - 24 = 7*f. Let o(u) = u**2 + 3*u - 2. Let x be o(-4). Sort x, f, -5 in increasing order.
-5, f, x
Suppose 0 = 21*v - 25*v + 4. Sort 3, 0, v in increasing order.
0, v, 3
Let c = 0.2 + 0.1. Let t = 33/2 + -103/6. Sort -1, c, t in ascending order.
-1, t, c
Let l be (-32)/(-6) + (-3)/9. Suppose -4*i = 5*o + 21, l*o - i + 27 = i. Let u = o + 10. Put u, -3, 0 in ascending order.
-3, 0, u
Let a(f) = -f. Let m be a(1). Let k be (m + 0)*1 - 2. Let w = 17 - 12. Sort k, -4, w in increasing order.
-4, k, w
Let k = -1.01 + 1. Let r = k - 6.99. Let z = -6.7 - r. Put z, -1/2, -1 in decreasing order.
z, -1/2, -1
Let m be 2/(4/6) + -2. Put -1, m, 5 in descending order.
5, m, -1
Let k = -3 - 1. Suppose 1 = w - 3. Let q = 2 - 0. Sort w, k, q in descending order.
w, q, k
Let p(u) = u**3 - 3*u**2 - 4*u - 3. Let b be p(4). Let l be (-50)/(-18) - 2/(-9). Let g(f) = f**3 - 3*f**2 - 1. Let h be g(l). Sort b, h, -5 in ascending order.
-5, b, h
Let s(c) = c**2 + 1. Let h be s(3). Suppose -t - 3*b + 0*b = -h, 2*b = -4. Let x = t - 11. Put -1/2, -3, x in decreasing order.
x, -1/2, -3
Suppose 2*q = -9 + 15. Suppose 5*w + 4*p - 8 = 4*w, 2*p - 4 = -5*w. Suppose -4*k + 0*k = w. Sort q, 2, k.
k, 2, q
Let d = 19 + -16. Let h = 625/99 + -56/9. Sort h, 2, d in decreasing order.
d, 2, h
Suppose 0 = 2*p + u + 1, 5*p - u + 5*u - 2 = 0. Put p, -3, 4 in descending order.
4, p, -3
Let u = 0.093 - -2.907. Put u, -11, -2/23, -4 in ascending order.
-11, -4, -2/23, u
Suppose -3*c + 21 = -3*v, -4*c + 13 = -2*v - 7. Let s be c/4 + (-135)/36. Sort -2, s, 5 in decreasing order.
5, -2, s
Let b = 4 - 2. Suppose 0 = z + q - b, -5*q = 2*z - 2*q - 4. Let v be (z + -1)/1 - -2. Put -5, v, -1 in ascending order.
-5, -1, v
Suppose 0 = 3*j + 9. Let f = j + 3. Let t(i) = i**2 - 2. Let r be t(f). Sort r, 4, 0 in ascending order.
r, 0, 4
Let g = 2363/1965 - 1/393. Sort -7, -2/5, g in decreasing order.
g, -2/5, -7
Suppose 0 = 2*f + 2*f - 40. Let z = f + -13. Sort z, -4, 2.
-4, z, 2
Suppose -40 - 10 = 5*r. Sort -3, -4, r in decreasing order.
-3, -4, r
Let c = -21 + 23.9. Sort c, 5, 0 in ascending order.
0, c, 5
Let c = -13 + 18. Suppose -y - 4 = -2*i + 2, 4*y + c*i = 15. Sort 1, y, 3 in descending order.
3, 1, y
Let j(u) = -2*u + 8. Let s be j(5). Sort -4, 0, s.
-4, s, 0
Let c be (4/(-40))/(1/(-12)). Put 5, -0.1, c in descending order.
5, c, -0.1
Let m(f) = f**2 + 9*f - 10. Let q be m(-10). Suppose q = 3*b + 3*s + 3, 7*b + 2*s = 4*b + 2. Let a = -17/217 + -2/31. Put b, -2, a in descending order.
b, a, -2
Let r = -1 + 0.9. Let w(k) = k**2 + 8*k + 4. Let l be w(-7). Let z be 7 + ((-12)/l)/(-1). Sort r, 0.5, z in descending order.
z, 0.5, r
Let z be 0 + 1 - 20/5. Sort 5, z, 3 in ascending order.
z, 3, 5
Let n = 18 - 7. Sort -2, n, 0.1.
-2, 0.1, n
Let s be -5*2*(-2 + 1). Let m be (6/(-105))/((-2)/s). Put m, -0.5, -4 in decreasing order.
m, -0.5, -4
Let a be (0/(-2 - -1))/(-2). Suppose 2*v - 8 = -4*i, a*i - 2*v = -2*i - 2. Let d(k) = k - 7. Let h be d(5). Put h, 4, i in ascending order.
h, i, 4
Suppose 2 = -4*i + 18. Suppose k - 16 = i*q, 0*q + k = q + 7. Put q, 5, -4 in ascending order.
-4, q, 5
Let x = -21 - -22.3. Let d = 1.4 - x. Let 