 (-19)/6. Let p be -3 + 6/3 + a. Sort 3, p, -3 in ascending order.
p, -3, 3
Suppose -1 = -5*o + 14. Sort -1, o, 5.
-1, o, 5
Let r = 2 - 3. Let c be 6/(r*3) + 6. Suppose -4*i - c*j - 16 = 0, 4*i + 6*j = 4*j - 18. Sort -4, i, 1 in increasing order.
i, -4, 1
Let b be 1/2*(5 - 1). Suppose -b = 33*v - 31*v. Sort 0, -3, v in descending order.
0, v, -3
Let f = -82.8 - -83. Sort -0.2, -2, f, 23.
-2, -0.2, f, 23
Suppose 0 = -2*y + 3*y - 1. Let n be (-14 - y)/(-1*1). Suppose -5 = -4*k + n. Put -1, 4, k in decreasing order.
k, 4, -1
Let l be ((-1 + 1)*-1)/1. Suppose -i - 3*i - u + 19 = l, -19 = i + 5*u. Suppose -i = -n + 2*s, s - 3*s = 10. Sort n, -5, 0.
-5, n, 0
Let t = -0.03 - 0.97. Let x = 2 + -6. Put -0.5, t, x in decreasing order.
-0.5, t, x
Let z be 3/6*1 + 6/(-4). Suppose 5*n = -3*l - 37, -n - 2*l = 2*l + 21. Sort n, 5, z in decreasing order.
5, z, n
Suppose -4*z = 3*z + 7. Put 2, 3, z in decreasing order.
3, 2, z
Let j = -6.04 + 11.05. Let u = -0.01 + j. Put u, -4, 0.1 in increasing order.
-4, 0.1, u
Suppose -3*q + l = -9, 5*q + l - 15 = 2*q. Put -3, -4, q in increasing order.
-4, -3, q
Suppose 3*c = -3*c. Put 2/7, c, -0.4 in increasing order.
-0.4, c, 2/7
Let u = -6 - -4. Let i = 1 + u. Sort i, -5, 0 in increasing order.
-5, i, 0
Suppose -5*c - 2 = 13. Suppose -4*o = -m + 12, -2*m + 12 = -o + 2. Suppose -5*j = -m + 14. Sort c, j, -4.
-4, c, j
Suppose 5*x - 5 = 15. Let k(w) = w**3. Let p(r) = 3*r**3 - 5*r**2 + 4*r - 1. Let a(y) = -2*k(y) + p(y). Let s be a(x). Sort 3, s, -5 in descending order.
3, s, -5
Let b = 41 - 39. Sort 1, b, 4, 5 in increasing order.
1, b, 4, 5
Let o = -6.1 + -0.9. Let p = 9 + o. Put 0.1, p, 0 in increasing order.
0, 0.1, p
Let p(u) = u**2 - 4*u + 4. Let r be p(3). Put 5, -3, r in decreasing order.
5, r, -3
Suppose -7 + 34 = 3*i. Let b = i - 5. Put b, -4, -1 in increasing order.
-4, -1, b
Let y = -2 + 0. Let o(s) = s - 6. Let v be o(6). Let n be (5 + v)*(-2 + 1). Sort 4, y, n.
n, y, 4
Let l = 6 + -8. Let v(x) = -7*x - 1. Let w be v(-1). Let t be (-14)/w*12/(-42). Sort l, t, -1/11 in ascending order.
l, -1/11, t
Suppose 0 = -2*t + 2*o - 4, -4*t = -3*t - 4*o + 14. Sort t, 1, 5 in ascending order.
1, t, 5
Let z = 6 + -1. Let w(t) = t + 8. Let h be w(-6). Let v = 4 - 3. Sort v, z, h in descending order.
z, h, v
Let l = 15 - 17. Sort l, 3, 2 in decreasing order.
3, 2, l
Let w = -4.8 - -5. Put 0.5, -2/3, w in increasing order.
-2/3, w, 0.5
Let q = 0.3 + 0.2. Let o = -18 + 23. Sort 3, q, o.
q, 3, o
Let i = 90.5 - 90. Sort 0, i, -2/9.
-2/9, 0, i
Suppose -j - 3*j - 2*v - 50 = 0, 4 = 4*v. Let g be (-3)/6*(-1 + j). Sort g, -2/11, -4 in ascending order.
-4, -2/11, g
Let f = 193/8 + -24. Put 2/21, f, 2/9 in descending order.
2/9, f, 2/21
Let j(m) = -m**3 + 6*m**2 + 7*m - 3. Let f be j(7). Let u = -12 + 22. Put f, u, 5 in increasing order.
f, 5, u
Suppose 0*q + q + 6 = 0. Let x be 2*2/q*-3. Let k be -7 - 4/(-2) - -1. Put -3, k, x in decreasing order.
x, -3, k
Let o be (-135)/25 + (-4)/(-10). Suppose v = -0*v - 2. Sort 5, v, o in increasing order.
o, v, 5
Suppose -3 = i - 2. Let p = 15 - 9. Let d = p - 10. Sort -2, i, d in descending order.
i, -2, d
Let u(g) be the second derivative of -g**3/3 + 2*g. Let m be u(1). Let z be ((-1)/m)/(44/(-8)). Sort 0.1, 5, z in descending order.
5, 0.1, z
Suppose q = -q + 14. Let w = -10 + q. Put 5, w, -1 in increasing order.
w, -1, 5
Let b(y) = 2*y**2 - 1. Let p be b(1). Let z be 64/28 - 4/14. Sort p, 4, z in increasing order.
p, z, 4
Let l(m) = -m + 4. Let z be l(4). Let f be -2 + 8 - (-2)/(-1). Put f, 5, z in ascending order.
z, f, 5
Let b be 2/3*(1 + -4). Suppose -1 + 10 = 3*u. Suppose -2*q - u*q = 20. Sort b, q, 4 in decreasing order.
4, b, q
Let h = 131 - 133. Let g = -636/5 - -128. Put g, h, -3 in increasing order.
-3, h, g
Let o(c) = -c**2 + 2*c - 1. Let f be o(1). Put -2, 2, 3, f in decreasing order.
3, 2, f, -2
Let l(g) = -g**2 - g + 11. Let f be l(3). Put 3, 0, 2, f in ascending order.
f, 0, 2, 3
Let l = 0.06 - 0.11. Sort l, 3, 2/17 in decreasing order.
3, 2/17, l
Suppose 3 = -4*g - 4*w + 11, 5*g = 2*w + 3. Let u(h) = -h**2 + 8*h + 15. Let x be u(10). Put g, -2, x in ascending order.
x, -2, g
Let q = 2 - 9. Let y(k) = k**2 + 6*k - 9. Let p be y(q). Suppose 4*h + 30 = -2*h. Sort p, h, 1 in increasing order.
h, p, 1
Let n = 236/3 + -78. Let i = 29631/31 - 956. Let h = -27/217 + i. Sort 2, h, n in increasing order.
h, n, 2
Let m be 10/3*6/(-4). Let x be (-1 + 0)*(-2)/(-2). Put -2, x, m in ascending order.
m, -2, x
Let z = 1.9 + -8.4. Let w = -7 - z. Put w, -2/5, 1/4 in ascending order.
w, -2/5, 1/4
Let d = -24 - -22. Put 2, -4, d in descending order.
2, d, -4
Suppose 0 = -5*z + 5*b, -z = -3*z + 5*b. Let j = 3 + z. Sort j, -4, -2.
-4, -2, j
Let r = 13 - 77/6. Sort r, -0.2, 0.02 in descending order.
r, 0.02, -0.2
Suppose 3*f - 12 = 5*k, 0*f = 2*f - k - 8. Put -2, -3, 5, f in descending order.
5, f, -2, -3
Suppose 0 + 2 = 2*i. Let t be -1*(2 - i) + 0. Put t, 0, 2 in descending order.
2, 0, t
Let j = -1.23 - -0.13. Let u = j + -3.9. Sort 0.3, 3, u in ascending order.
u, 0.3, 3
Let x = 16.6 + -16. Let v = x - 0.1. Put -0.1, -0.2, v in decreasing order.
v, -0.1, -0.2
Suppose 0 = l - 6 + 9. Put 1/5, l, 0 in decreasing order.
1/5, 0, l
Let c = -1.4 - 7.6. Let r = c - -14. Let q be ((-2)/(-3))/(212/477). Sort q, r, -2 in increasing order.
-2, q, r
Suppose -5*h + 16 = -h. Suppose -4*o = h + 8. Let f be 2 - 2/o*3. Sort -1/5, -2/11, f.
-1/5, -2/11, f
Let i = 0.1 + -0.1. Let v = 58.23 - 58. Let r = 0.18 - v. Sort -2/13, i, r in decreasing order.
i, r, -2/13
Let d = 0.21 + 0.19. Sort -8/7, -2, d in decreasing order.
d, -8/7, -2
Let s be 7/(-35) - (-2 - (-31)/20). Sort s, -1/7, -2/5, -4 in descending order.
s, -1/7, -2/5, -4
Let v = -5 + 9. Let q(c) = -4*c**2 + 7*c - 2. Let f(y) = -3*y**2 + 7*y - 2. Let r(t) = 3*f(t) - 2*q(t). Let k be r(7). Put 5, v, k in decreasing order.
5, v, k
Let v = 3 + 6. Let h be (4/(-6))/(2/v). Put -2/11, h, 3 in descending order.
3, -2/11, h
Suppose -4*n + 2 = 10. Sort -1, n, 0 in decreasing order.
0, -1, n
Let q be (-6*(-1)/4*1)/1. Let h = -5/18 + -37/126. Suppose -4*l = 3 - 11. Put h, q, l in descending order.
l, q, h
Let p be 2*(-1)/(-44)*6. Let r(n) = n**3 + 7*n**2 + 7*n + 8. Let i be r(-6). Put -1/7, i, p in descending order.
i, p, -1/7
Let s = -2.1 + 0.1. Let c = s - -6. Let w = -2 + 1.8. Sort c, -0.1, w in descending order.
c, -0.1, w
Suppose 0 = -7*p + 6*p. Suppose p = -0*l + l. Sort 3, l, 0.5 in decreasing order.
3, 0.5, l
Suppose 5*t - 2*c - 11 = 2*c, -c - 2 = -2*t. Suppose 5*y - 11 - 4 = 0, 0 = 4*s + 2*y - 18. Sort t, 5, s in descending order.
5, s, t
Let m = 1.42 - 0.52. Let z be 1 - -26*2/(-44). Put 2, m, z in ascending order.
z, m, 2
Suppose -d = -5*r - 14, 4 = 2*r + 10. Let p = -13.3 - -12. Let t = 4.3 + p. Put d, t, -1/3 in decreasing order.
t, -1/3, d
Suppose 0*c - 2*c = 3*m - 27, 5 = 5*m. Let s = c + -11. Sort -4, -6, s in descending order.
s, -4, -6
Suppose 3*z - 12 = 3*u, -14 = 4*u + z - 3*z. Let f(y) be the first derivative of -y**2/2 + 7*y + 5. Let l be f(8). Sort -2, u, l.
u, -2, l
Let d = -10.057 - -0.057. Put 4, d, 0, -4/5 in descending order.
4, 0, -4/5, d
Let z(k) = -3*k - 15. Let c be z(-6). Let f = -10 - -15. Sort -1, c, f.
-1, c, f
Let k = 0.02 - -0.28. Put -0.1, -5, k in descending order.
k, -0.1, -5
Let o(h) = 2*h - h - 2*h + 5. Let d be o(4). Sort -3, 5, d in ascending order.
-3, d, 5
Let k = -2/6531 - 50380/6531. Let h = 277/35 + k. Sort -3/4, h, -1.
-1, -3/4, h
Let n = -0.02 - 0.08. Let p = n - 0.1. Sort -1, p, 4 in descending order.
4, p, -1
Let k = 17 + -17. Sort -5, k, -1 in ascending order.
-5, -1, k
Let q = -43 + 44. Sort q, -2/15, 0.31 in descending order.
q, 0.31, -2/15
Suppose 0 = 6*z - 39 - 21. Put -3, 0, z in ascending order.
-3, 0, z
Let y(g) = -g - 9. Let t be y(6). Let q be 24/130*t/6. Sort -3, q, -0.1.
-3, q, -0.1
Let b(c) = c**3 - 3*c**2 + 3*c + 2. Let i be b(3). Suppose -3*t + 10 + 5 = 0. Suppose -5*f = 4*q + 1, -t*f = -i - 4. Put -5, 1, q in decreasing order.
1, q, -5
Suppose -6 = 2*k - 3*v, -k + 14 = 5*v - 9. Sort k, -4, 2 in descending order.
k, 2, -4
Let b = 12 - 16. Put b, -3, -10 in increasing order.
-10, b, -3
Let z be (-10)/((-20)/(-12) + -1). Let m be (-2 + -1)/(z/(-10)). Sort -5, 1, m.
-5, m, 1
Let i(h) be the third der