= -391/7 - -56. Let n(v) = -v**2 - v - 1. Let t be n(7). Let y = 401/7 + t. Put m, -3/2, y in ascending order.
-3/2, m, y
Let a(v) = v + 3. Let m be a(-6). Let k = -0.3 + 0.4. Sort k, m, 4/3 in ascending order.
m, k, 4/3
Let c(d) = d**3 - 5*d**2 + 2. Let r be c(5). Suppose -4*x - 6 = r. Let u be (-1 - -2)/(3/3). Sort x, 0, u.
x, 0, u
Suppose l + 25 = 5*z - 2*l, 10 = -2*l. Suppose -2*v = -u - 18, z*v - 18 = -0*v - u. Let t be (-2)/(-3)*v/(-6). Sort -4, t, 5 in descending order.
5, t, -4
Let z = -3.2 - -3. Let d = 1.1 + -1.2. Suppose 0 = m + m - 8. Put d, z, m in increasing order.
z, d, m
Suppose 0 = -z + 2*y, 0*y - 2*y = 0. Sort z, -4, -2 in ascending order.
-4, -2, z
Let w = 61 + -66. Let f = -0.6 + 1. Put f, w, 3 in descending order.
3, f, w
Let p = -10 + 28/3. Let y = -0.42 + 0.72. Put -2/7, y, p in increasing order.
p, -2/7, y
Suppose 16*x - 5*x + 33 = 0. Sort -5, x, -2, 5.
-5, x, -2, 5
Let c = 0.6 + 1.3. Let g = c - 2.3. Sort 2/7, g, 2/3.
g, 2/7, 2/3
Suppose -6*d + 4 = -5*d. Suppose 5*z + d*q - q - 62 = 0, 4*z - 32 = 2*q. Suppose 2*w = -2*r, -w + 0*w + r = -z. Put -5, w, -1 in decreasing order.
w, -1, -5
Let i = -12 + 6. Let o = i - -8. Let p = 1 + o. Put 2/7, 3/4, p in descending order.
p, 3/4, 2/7
Let t be 0 - ((-104)/210 - (-20)/50). Put t, -4/5, 0.2 in increasing order.
-4/5, t, 0.2
Let b be (-15)/21*(-12)/(-20). Put -1, b, -2 in decreasing order.
b, -1, -2
Let j = 3 + -7. Let p be 2756/(-20) - (-2)/(-6). Let w = p + 138. Sort 4, w, j in descending order.
4, w, j
Let w be 1 + (6 - (-6)/(-3)). Let n be 1 + 0 + 3/(-3). Suppose 0 = -n*i - 3*i. Put -2, w, i in increasing order.
-2, i, w
Let i be (-40)/104*6/(-10). Let t = -17/130 + i. Let a be (-6)/(-4)*4/(-10). Sort t, a, -5.
-5, a, t
Suppose 3*q - 3 = -y, 0*q + y = -5*q + 7. Sort -1, -4, q.
-4, -1, q
Let b = 3.6 - 3.98. Let t = b + -0.02. Sort 4, t, 0 in ascending order.
t, 0, 4
Let a(b) = 3*b**3 - 4*b - 1. Let w = -11 + 6. Let r(x) = -2*x**3 + 3*x + 1. Let n(s) = w*r(s) - 4*a(s). Let k be n(1). Put 1, k, -5 in descending order.
1, k, -5
Suppose 11*l + 5 = 12*l. Sort 4, l, -13 in increasing order.
-13, 4, l
Let b = -0.01 + -0.29. Put 0.1, b, -2 in ascending order.
-2, b, 0.1
Let f = 12 - -1. Suppose -11*g - 38 = -f*g. Put -4, g, -3 in decreasing order.
g, -3, -4
Let z(t) = t + 7. Let l be z(-4). Put l, 2/9, -0.02, -4/5 in decreasing order.
l, 2/9, -0.02, -4/5
Suppose 5*o = -5*u + 5, 0 = 4*u - 0*o - o - 14. Suppose 5 = 4*c - u. Sort c, 0, -2 in descending order.
c, 0, -2
Let i = -0.69 - -0.19. Sort -4/5, i, 1 in decreasing order.
1, i, -4/5
Let g = 108 + -114. Put g, 4, -4 in descending order.
4, -4, g
Let g be 1 + (-4)/(40/(-2518)). Let q = 252 - g. Let m = -1 + 0.5. Sort -3, m, q.
-3, q, m
Suppose -4*a + 12*a - 16 = 0. Put a, 0, -3 in decreasing order.
a, 0, -3
Suppose r = 5*k + 9, 4*k + 2 = -5*r - 11. Put r, -2, 1 in descending order.
1, r, -2
Let p be (1/(-12))/(25*(-9)/(-180)). Sort -0.5, p, -1/5, -1.
-1, -0.5, -1/5, p
Let s(m) = m**3 - 5*m**2 - 7*m + 6. Let c(l) = l**3 + 5*l**2 - l + 1. Let x be c(-5). Let a be s(x). Suppose 0 = -4*p - 2 - 18. Sort -2, p, a.
p, -2, a
Let n = -17 + 11. Let y be (n/15)/((-2)/(-10)). Sort -3, -1, y.
-3, y, -1
Let v = 13 + -8. Suppose 4*j - 7 = 3*i, v*i = 4*j - 10 - 7. Let z be 0 - (-4)/(16/(-4)). Put z, 5, j in descending order.
5, z, j
Suppose w + 0 = -3*o - 16, 3*w - 2 = o. Let l be (-6 - -4) + 1/w. Suppose -2*g + 1 = -2*y - 1, 4*g - 5*y = 2. Sort -2, g, l in decreasing order.
g, -2, l
Let d = -49 + 53. Put 3, -4, d, -1 in increasing order.
-4, -1, 3, d
Let a = 0 + 2. Let m(s) = s**2 + 11*s - 19. Let i be m(-12). Sort i, a, 4.
i, a, 4
Let f = 8 - 4. Suppose p = f*h - h - 5, 3*h = -3*p + 9. Let u = 514.6 - 515. Put h, u, 1 in decreasing order.
h, 1, u
Let a be (-2)/(-8) - (-11)/4. Let i(h) = -h**2 + 7*h - 4. Let y be i(7). Sort a, 2, y in descending order.
a, 2, y
Suppose 3*v + 11 - 38 = -4*n, -4*n + 12 = 0. Let l(t) = -t**2 + 4*t. Let f be l(v). Sort 2, 4, f in decreasing order.
4, 2, f
Suppose 33 = -5*u - 32. Sort u, -0.5, -0.4.
u, -0.5, -0.4
Let x = -3 + -3. Let j be x/4*8/12. Suppose 0 = -5*w + 6 + 14. Sort w, 2, j in descending order.
w, 2, j
Let l = -4 + 5. Let m = -8.19 - -0.19. Let k = m + 3. Sort -2, l, k.
k, -2, l
Let q(s) = s**2 - 7*s + 6. Let x be q(5). Let o be (16/(-56))/(2/(-14)). Put o, 5, x in decreasing order.
5, o, x
Let h = -2 - 2. Let o = -5 - h. Sort o, 0, 1 in ascending order.
o, 0, 1
Let m = 15 - 15. Suppose m*g + 3*g = 6. Let h = -163/7 - -23. Put 1/6, g, h in descending order.
g, 1/6, h
Suppose 1 = -4*c + 3*m - 6, 4*c = m - 13. Put c, -5, 5 in descending order.
5, c, -5
Let p(x) = x**3 + 9*x**2 - 9*x + 12. Let w be p(-10). Sort w, 0, 5.
0, w, 5
Let r = 6 + -5.7. Put -5/3, r, 4 in descending order.
4, r, -5/3
Let l be 5 + 10/(-40) + (-6)/8. Put l, 0, -1 in decreasing order.
l, 0, -1
Let y be 3 + 5/(10/6). Let k(r) = -3 - 6*r - 1 + y - 1. Let q be k(1). Put 5, q, -3 in descending order.
5, -3, q
Let d(z) = z**2 + 9*z + 3. Suppose 5*g = -3*m - 46, -5*g - 4*m - 14 = 34. Let h be d(g). Put 3, h, -4 in decreasing order.
3, -4, h
Let v = 3.039 + -0.039. Sort -3, -0.8, v, 5 in increasing order.
-3, -0.8, v, 5
Suppose -4*z = 5*s, 2*s = -z - z. Let m be z*(-1 - 0 - -2). Let c(k) = -2*k**3 - 2*k**2 + 2*k. Let i be c(-2). Sort 3, i, m.
m, 3, i
Let k = 5175 + -20593/4. Let g = 27 - k. Let l = -5.8 - -6. Put g, l, 1/2 in descending order.
1/2, g, l
Let i = -3 + 10/3. Let u = 2.2 - -0.8. Let z = 6/19 + -11/95. Put i, z, u in ascending order.
z, i, u
Let g = -14 + 14.8. Let x = g + -0.3. Let n = 105/473 - 33/43. Put -3, x, n in decreasing order.
x, n, -3
Let w = -8 + 5. Sort 0.4, w, 0.2.
w, 0.2, 0.4
Let i(v) = -16*v. Let q be i(-1). Suppose 0 = 5*t - 3*l - 4, -2*t - 5*l = q + 1. Suppose -r = u - 3, -6*u - r = -2*u - 3. Sort t, u, 2 in decreasing order.
2, u, t
Let c = 8 - 6. Let f(g) = g**3 - 6*g**2 + 5*g. Let w be f(5). Sort -4, w, c in increasing order.
-4, w, c
Let u(i) = -i**3 + 3*i**2 + 6*i + 5. Suppose -2*b + 4*x - 6 = 0, 2*x = 1 + 7. Let k be u(b). Let f be 1/1 - k/(-12). Sort 1, f, -1/2.
-1/2, f, 1
Let p be (-1 + 8/24)*(-7 - -1). Put -35, p, -3 in ascending order.
-35, -3, p
Let r be 4/((9/15)/3). Suppose 3*y - 7*y = -r. Let o = -4 - 0. Sort -0.5, o, y.
o, -0.5, y
Let r = 0.31 - 0.61. Put -0.02, 1/4, r in increasing order.
r, -0.02, 1/4
Suppose t = 3*t - 3*g + 22, t + 2*g = 3. Let b = t - -10. Sort b, -1, -5.
-5, -1, b
Let w = -4 - -6. Let u be (w + -5)/9*-6. Suppose 18 - 3 = 5*k. Sort u, -1, k.
-1, u, k
Let z be (-2 + 3)*(-3 + 18). Suppose 0 = -3*o + 12 - z. Sort o, -7, -5 in decreasing order.
o, -5, -7
Let k(f) = -f**2 + 2. Let j be k(2). Let v = -0.09 + 0.04. Sort v, j, -4 in ascending order.
-4, j, v
Let k(y) = y**2 - 15*y - 20. Let g be k(16). Let w = -3 + 4. Put 3, w, g in descending order.
3, w, g
Let r(d) = -9*d**3 + d**2 + d. Let i be r(-1). Suppose 2*g + 2*t + t - 25 = 0, -t = -5*g + 37. Let m be (-3)/i + g/(-30). Sort 1/4, m, 1/8 in increasing order.
m, 1/8, 1/4
Suppose 0 + 18 = 3*s. Let b = s - 6. Suppose 0 = r - 1 - 1. Sort b, r, -5 in decreasing order.
r, b, -5
Let q be -1 + 6 - (3 - 0). Suppose -8 - q = -2*k. Sort -5, 2, k in descending order.
k, 2, -5
Let a = 23 + -28. Sort a, 1/3, 2.
a, 1/3, 2
Let s be (-3 + (-11)/(-4))/(5/8). Sort -3/2, 17, s in increasing order.
-3/2, s, 17
Suppose 4*s - 8*s = 12. Sort -2, -5, s in descending order.
-2, s, -5
Suppose -3*t = 4*w - 23, -5*w = 2*t + t - 25. Suppose 2*f + 3 = -v, 2*v + 3*f = 3 - t. Let p = 7 - 5. Sort p, v, -2/25 in decreasing order.
v, p, -2/25
Let p(y) = -2*y + 22. Let b be p(9). Put -4, 3, 0, b in ascending order.
-4, 0, 3, b
Suppose -4*g + 4*u + 12 = 0, -u + 2 = 6. Sort -4, -3, g in decreasing order.
g, -3, -4
Suppose 2*t + 19 + 7 = 3*d, -2*d - 4*t - 4 = 0. Let y(r) = r**2 - 7*r + 5. Let g be y(d). Let a be (0 - g)/(-10 - -9). Put -1/2, a, -2 in decreasing order.
-1/2, a, -2
Let a(w) = w**2 + 10*w - 1. Let j(c) = -c**2 - 9*c + 1. Let f(g) = -5*a(g) - 6*j(g). Let d be f(-4). Sort 5, 0, d in ascending order.
d, 0, 5
Let j = -2 - -2. Let z = j - -1. Let c = 1.4 - -0.6. Sort z, -0.5, c in decreasing order.
c, z, -0.5
Suppose 0 = -4*f - 0*f + 16. Let n be ((-10)/f)/5*-8. Sort -2, -1, n in increasing order.
-2, -1, n
Let a be (-14)/(-63) + (-20)/9. Put a, 5, -11 in 