et c be (2/4)/(p/(-36)). Put v, c, 4 in descending order.
4, v, c
Let f = -11 - -10. Let t be (-2)/4 + (-5)/(-2). Sort t, -3, f in ascending order.
-3, f, t
Let h = -1 - -1. Let j = -13 + 8. Put 2, j, h in ascending order.
j, h, 2
Let s(k) = -k**2 + 5*k + 1. Let l be s(4). Let p(b) = -b**2 + 6*b. Let u be p(l). Let w be (3/2)/((-1)/2). Put w, u, -2 in descending order.
u, -2, w
Let q = -1.4 + 3.5. Let z = -2 + q. Let k = 0.22 + 0.08. Sort k, 2/17, z in ascending order.
z, 2/17, k
Let y(c) = 7*c - 39. Let o be y(5). Let p(k) = k**2 - 6*k - 3. Let g be p(7). Put 2, g, o in descending order.
g, 2, o
Let d(y) = -2*y - 5. Let c be d(-6). Let s be (3 + -2)/(4/(-4)). Put s, c, -5 in decreasing order.
c, s, -5
Suppose 15 = 5*t - 10*t. Let c(s) = -s**2 + s + 5. Let i be c(0). Put t, i, 4 in decreasing order.
i, 4, t
Let d = 568/9 - 63. Let a = -71/24 - -21/8. Let t be (-3)/(-2)*(4/3)/4. Put a, d, t in descending order.
t, d, a
Let x(b) = 4*b - 21. Let u be x(7). Sort -5, u, 1 in ascending order.
-5, 1, u
Let s(f) = -2*f - 25. Let t be s(-12). Put t, 4, 3 in ascending order.
t, 3, 4
Let n = -7 + -3. Let r = 9 + n. Put r, -5, -3 in decreasing order.
r, -3, -5
Let l = -1 - -2. Suppose 3*i - p + 11 = -0*p, 4*p = i. Sort -3, i, l in ascending order.
i, -3, l
Let c = 1 - -6. Suppose -3*p + c*p - 15 = j, 3*p - 25 = -2*j. Let f be (-2)/(-10) + (-21)/5. Put j, 0, f in ascending order.
f, 0, j
Let u(h) = h**2 + 13*h + 26. Let y be u(-11). Sort y, -38, -5/3.
-38, -5/3, y
Let c(f) = -f**2 + 6*f - 5. Let m be c(4). Suppose p + 4*s = -8, m*s + 5 = -2*s. Put 0, p, -3 in descending order.
0, -3, p
Let z(l) = l - 1. Let i be z(-4). Let q = 2 - 3. Sort i, 1/2, q.
i, q, 1/2
Suppose 6 + 8 = z. Suppose f - 2*f + z = 3*l, -4*f - 2*l + 6 = 0. Put 3, f, -2 in descending order.
3, f, -2
Suppose -4*k - 2 = -2*n, 0 = -3*k - 3*n - 15 - 9. Suppose -20 = 5*r - 10*r. Put r, 3, k in increasing order.
k, 3, r
Suppose -o + 4 = 6*w - w, 3*o = -2*w + 12. Let i = 63 + -316/5. Put i, w, 2 in decreasing order.
2, w, i
Let d = -4 + 3. Let w be -1 + d + -4 + 2. Sort w, 3, 0 in decreasing order.
3, 0, w
Let j be 3/(-1)*(0 + -1) + 1. Sort 2/3, -0.3, j, 1/3 in increasing order.
-0.3, 1/3, 2/3, j
Let s(d) = -d - 11. Let w be s(11). Put w, -4, 5 in decreasing order.
5, -4, w
Let i be (-4)/(-18) - (-68)/18. Let h(x) = 8*x. Let o be h(3). Let r be ((-2)/o)/(3/(-9)). Sort -4, r, i in decreasing order.
i, r, -4
Let b = -2 + -1. Let p(m) = -m**2 - 4*m - 3. Let r be p(b). Suppose 4*u - 2 + 6 = r. Sort 3, -4, u in descending order.
3, u, -4
Let v = 10 + -5. Let f = 6 - 6. Sort v, 1, f in descending order.
v, 1, f
Suppose 1 = g + 2. Let a(t) = 3*t - 1. Let b be a(1). Let q = b + g. Put q, 0.3, 3/5 in descending order.
q, 3/5, 0.3
Suppose -1 = -4*o - 3*d, -o + 3*d - 6 = 5. Sort 1/6, 1/3, 0.2, o.
o, 1/6, 0.2, 1/3
Let c be 2/6 - (-26)/(-6). Let t = 17 - 8. Let u = -9.1 + t. Put c, -0.3, u in decreasing order.
u, -0.3, c
Suppose 2*x - 12 = 8*x. Put 1, x, -1 in ascending order.
x, -1, 1
Suppose 4*z + 3 = -3*w, 2*z - 3*z + 28 = -5*w. Let j(s) = s**3 - 6*s**2 - 7*s. Let m be j(7). Put m, z, -1 in ascending order.
-1, m, z
Let i = 26 - 28. Put -6, -4, i in descending order.
i, -4, -6
Let b(c) = 3*c**2 + c - 2. Let u be b(-4). Suppose u + 21 = 7*y. Put -1, -3, y in ascending order.
-3, -1, y
Suppose 3*s = -x + 7 + 1, -x + 2 = s. Suppose -3*m = -s*r + 3, 2*m - 25 = 5*r + 7*m. Let l = -2.3 + 2. Put l, r, -0.4 in descending order.
l, -0.4, r
Let m(p) = p + 11. Let a be m(-7). Suppose b + g - 2 = 0, g - 12 = -a*b - g. Suppose n + b = 2*n. Sort -1, n, -4 in ascending order.
-4, -1, n
Let u = 171/4 + -853/20. Sort u, -3, 2/7, 0.4 in decreasing order.
0.4, 2/7, u, -3
Let b be (100/(-18))/(-2) + -3. Sort -1/2, -0.2, b.
-1/2, b, -0.2
Let f = 128/385 - 18/35. Put f, 1, 33 in ascending order.
f, 1, 33
Let h = -17.2 - -16.8. Sort -1/2, -2, 0.4, h in descending order.
0.4, h, -1/2, -2
Let g = 2.3 - -0.7. Let l be (-7)/((-21)/156) + 1. Let z = -372/7 + l. Put z, g, -1 in descending order.
g, z, -1
Let c = 30.3 - 30. Let r = -0.03 - -5.03. Put c, r, -2/5 in descending order.
r, c, -2/5
Let a = 7/3 + -5/2. Suppose 0*g = -g + 2*y + 2, -5*g + y - 8 = 0. Let k be ((-63)/(-75) - 1)/g. Sort k, a, -2/11 in decreasing order.
k, a, -2/11
Suppose -7 = u - 7. Suppose 0 = -2*k - 0*j - 5*j + 21, -k + 9 = 2*j. Put u, -2, k in decreasing order.
k, u, -2
Let b = -15.7 + -0.3. Let m = b + 20. Put m, -4, -3 in descending order.
m, -3, -4
Let z(w) be the second derivative of w**4/12 + w**3/2 - w**2/2 - w. Suppose 5*r + 22 - 2 = 0. Let s be z(r). Sort s, 0.5, -1/10 in decreasing order.
s, 0.5, -1/10
Let w = 11 + -6. Suppose 3 - 3 = 5*o. Sort o, 2, w in increasing order.
o, 2, w
Let o = -18 - -17. Let k be 3/(-6)*-2 + -7. Sort k, 5, o in ascending order.
k, o, 5
Let v(o) = 7*o**2 - 2*o + 6. Let p be v(-5). Let s = p - 1721/9. Put -0.5, 3/7, s in decreasing order.
3/7, s, -0.5
Let q = -18 - -16. Let j(m) = m**2 + 9*m + 5. Let f be j(-8). Sort 5, q, f.
f, q, 5
Suppose -5*o + 20 = 3*g, -3*g = 4*o + 2*g - 16. Let m be (50/(-30))/(1/(-3)). Put -1, m, o in descending order.
m, o, -1
Let y(d) = 9*d - 50. Let g be y(6). Sort -5, -1, -3, g.
-5, -3, -1, g
Let o = -14 + 9. Let a = o + 6. Put -8, 2, a in increasing order.
-8, a, 2
Let q be ((-7)/(-21))/((-1)/(-12)). Sort 3, 9, 1, q in ascending order.
1, 3, q, 9
Suppose -3*u + x = 2*x + 64, 100 = -5*u - 5*x. Let i = u + 22. Put 3, -5, i in increasing order.
-5, i, 3
Let v(q) = -q**2 + 4*q - 4. Let a be (-1*(-1 + 9))/(-2). Let c be v(a). Put -3, c, 2 in decreasing order.
2, -3, c
Let c = 0.05 + 0.75. Sort 2, -1/7, c in increasing order.
-1/7, c, 2
Suppose -2*s + y = 0, -4*s + 4*y = y + 4. Suppose 3*c + 20 = -2*o, 0 = -s*c + c - 2*o - 12. Let k = -0.8 - -0.3. Put k, c, 1 in decreasing order.
1, k, c
Let s be (-19)/(-5) + (-9)/(-45). Suppose 11 = 3*f - s. Sort -4, 4, f in descending order.
f, 4, -4
Let a = -3 - -4. Let i = a + -0.6. Let p = 0.3 - i. Sort 3, 4, p in decreasing order.
4, 3, p
Suppose 181 = 5*w + 3*f - 131, 4*w - 5*f - 257 = 0. Let v be 12/(-7) + (-18)/w. Sort 0.4, v, 0.3.
v, 0.3, 0.4
Let j(c) = -c**2 - 4*c + 7. Let n be j(-5). Suppose -5*f + u = n*u + 23, 25 = -4*f - 3*u. Let b be (-2)/5 + 18/(-180)*26. Sort f, 3, b in decreasing order.
3, b, f
Let a = -6.7 + 7. Let q be (2/6)/(20/(-22)). Let t = q + 1/5. Sort a, t, -3.
-3, t, a
Suppose 7*m = 8*m + 4. Let b(a) = a**3 + 2*a**2 - 2*a + 3. Let o be b(-3). Let q(c) = -c**2 + 4*c - 1. Let w be q(3). Put o, m, w in descending order.
w, o, m
Suppose 32 = -2*f - 4*q, 4*f = 4*q - 7 - 21. Let h be ((-20)/(-75))/((-4)/f). Put 5, h, -8 in increasing order.
-8, h, 5
Let j = 2.6 + -0.6. Let w = -16.7 - -17. Sort w, j, 0 in ascending order.
0, w, j
Let u = -1078/9 + 120. Let d = 0.1 - 0.5. Sort u, -3/7, d in descending order.
u, d, -3/7
Suppose -2*s + 19 = 5*q - 0*s, 4*q - s = 23. Suppose -2*y = c - 3, -2*y + c = y - 17. Suppose 3*l + 4 = -y*g, -3*l - 5 - 3 = 5*g. Sort q, -4, l.
-4, l, q
Let f(p) = -p**2 + p - 1. Let l be f(2). Sort 0, l, 5 in descending order.
5, 0, l
Let p = 2 - 3. Let t = 0.2 - 0.5. Sort p, t, 0.3 in increasing order.
p, t, 0.3
Let q = 4 + -4.03. Let c = q - 0.17. Suppose -5*v = -2*w, -v - 3*w = w. Put c, v, 0.3 in ascending order.
c, v, 0.3
Let m = 2 + -6. Put 5, m, 0 in decreasing order.
5, 0, m
Let q = -45 + 42. Sort q, 0, -7 in ascending order.
-7, q, 0
Suppose 2*c + 4*q = -12, q + 3 = -3*c - 2*q. Suppose 2*r - 75 = 3*w - 260, -2*w - 2*r + 130 = 0. Let o be (-1)/(-4 + w/15). Put c, o, 1 in ascending order.
o, 1, c
Let k = 6.212 - -161.748. Let b = 171 - k. Let p = -0.04 + b. Sort p, -4, -5.
-5, -4, p
Let h = 0.3 - -0.1. Let d = -2 - -3. Let n = -359/455 + -1/91. Put n, d, h in ascending order.
n, h, d
Let i be (-1)/(-4) + (-34)/8. Suppose 5 = -4*p - 15. Put i, p, 1 in increasing order.
p, i, 1
Let g be (3*1)/((-6)/(-4)). Sort g, -3, 0 in decreasing order.
g, 0, -3
Let s = -1081/7 + 154. Let j(k) = -k + 4. Let f be j(8). Let y = -1 + f. Sort s, y, -4.
y, -4, s
Let l = 1 + 1. Let m = -1 + -1. Let a(b) = -2*b**2 - b. Let c be a(0). Put m, l, c in increasing order.
m, c, l
Let t = 26 + -22. Suppose -2*d = -5*i - 8, 11 = -t*i - 0*i - 3*d. Sort i, 1, -5 in increasing order.
-5, i, 1
Suppose p - 20 = -4*p. Let b(l) = l**3 - 5*l**2 - 6*l + 5. 