. Let u be ((-11)/k)/(2/4). Suppose 3*v = -1 + 7. Sort u, v, -3/8 in decreasing order.
v, u, -3/8
Let p(b) be the first derivative of -19*b**2/2 + b + 3. Let k be p(-3). Let h be (-15)/(-20) + k/(-88). Sort 2, 1, h in decreasing order.
2, 1, h
Let t = -22.6 - -23. Sort t, 2/7, -1 in ascending order.
-1, 2/7, t
Let n be (-15)/(-6)*2/25*5. Put 6, n, -2, 3 in ascending order.
-2, n, 3, 6
Let m(n) = n**2 + 7*n + 4. Let y be m(-7). Suppose -y*l - 5 = l. Let d = -3 - -2.8. Put 4, d, l in increasing order.
l, d, 4
Let h = -2/7 - -17/35. Sort h, 8, -2/3 in increasing order.
-2/3, h, 8
Let f be 1/(((-12)/21)/4). Let s(k) = -k**3 - 6*k**2 + 6*k - 7. Let z be s(f). Sort 1, 3, z.
z, 1, 3
Let z(k) = k - 2. Let h be z(4). Sort 0, 5, h in decreasing order.
5, h, 0
Let b = 6 - 10. Suppose 0 = -5*x + 4*x + 3. Let p be 1*x*(-20)/(-15). Put p, -2, b in ascending order.
b, -2, p
Let t be (-9)/36 + (-3)/(-12). Put t, -2, -5 in ascending order.
-5, -2, t
Let r be (7 - 4) + -6 + 4. Sort 5, 3, r, -2 in descending order.
5, 3, r, -2
Suppose 6 + 9 = -3*p. Let v(x) = 2*x + 5. Let o be v(-7). Let b be (-4)/6 - 15/o. Put 2, p, b in descending order.
2, b, p
Let p = -72 + 74. Sort -1, -2, p in decreasing order.
p, -1, -2
Suppose -10 + 1 = w. Let t be (-3)/w - (-16)/(-3). Let c(f) = f**3 + 10*f**2 + 10*f + 6. Let d be c(-9). Put 5, t, d in ascending order.
t, d, 5
Let x be -2 - 2/(-10)*9. Let d = 2/79 + -83/158. Sort d, -4, x in increasing order.
-4, d, x
Suppose -4*y + 5*x - 9 = 0, 0*x = 3*y + 3*x. Let a = y + 7. Let k = 1 - a. Sort 3/2, k, 0.3.
k, 0.3, 3/2
Suppose -4*r - 4*l - 7 = -5*l, 35 = -5*r - 4*l. Let o = 5 - 4.98. Let z = o + 1.98. Sort -5, r, z in increasing order.
-5, r, z
Let l(s) = s**2 + 5*s + 3. Let f be l(-2). Let t(v) = -v**2 - 3*v. Let p be t(f). Sort p, 1/8, -0.2 in increasing order.
-0.2, p, 1/8
Let m = -4.04 + 0.04. Let p = 1.4 - 2.3. Let d = p + -0.1. Sort m, 0, d in descending order.
0, d, m
Suppose 0 = 2*x + k + 16, k + 10 = -4*k. Suppose -3*b = -63 + 399. Let z be (-60)/b + 2/x. Put z, 1/7, 3/2 in decreasing order.
3/2, z, 1/7
Suppose -2*w - i - 4 = -4*i, -2*w = 4*i + 18. Let b = -4 + 8. Sort b, 2/3, w.
w, 2/3, b
Let j = -51 - -50.58. Let g = j + 0.02. Sort 2, g, 2/3 in decreasing order.
2, 2/3, g
Suppose 3*b = -5 + 11. Sort b, 3, -2, -3.
-3, -2, b, 3
Let r = -0.037 + -0.063. Sort r, 2/17, -0.5, 2/3 in ascending order.
-0.5, r, 2/17, 2/3
Let b = -116 - -111. Put -1, b, 1, -3 in ascending order.
b, -3, -1, 1
Let a = 0.02 - 0.32. Suppose -2*r + 5 - 1 = 0. Sort 2/5, r, a.
a, 2/5, r
Let g = 13 - 10. Sort g, 6, -0.2 in decreasing order.
6, g, -0.2
Let n = 174/5 + -35. Let y(q) = -q**2 + 13*q + 9. Let r be y(11). Let u = 95/3 - r. Put n, u, -3 in increasing order.
-3, n, u
Let j be 2 - (7 + (2 - 2)). Let q = j - -7. Let i be (2/(-18))/((-1)/q). Sort -0.2, i, -5 in decreasing order.
i, -0.2, -5
Let a(n) = 2*n + 1. Suppose -5*g + 25 = 3*w, 4*w - 1 - 14 = -3*g. Let s be a(w). Let c = -0.1 - 0. Sort c, s, 0.3 in descending order.
s, 0.3, c
Let g = 16.2 + -10. Let y = g + -6. Put -0.2, y, 2/9 in increasing order.
-0.2, y, 2/9
Suppose p + 33 = 4*x, -x + 12 = x + 4*p. Suppose 2*d - 4*d = -x. Let f = 399 + -404. Sort f, -2, d in descending order.
d, -2, f
Let n be 4 - ((-4)/(-2) + -2). Let m = n + -6. Let x = -1.4 + 0.4. Sort x, m, 0.2 in decreasing order.
0.2, x, m
Suppose 11 + 1 = -4*l. Let j be (-2)/6*(l + 0). Let y(d) = -d**3 - d - 2. Let s be y(0). Put j, s, -5 in descending order.
j, s, -5
Let q = 0.4 + -0.5. Let w be 6/(-33) + (-2)/(-11). Let l(b) = -b**3. Let x be l(w). Sort 2, x, q in decreasing order.
2, x, q
Suppose 2*u = -10, -5*y + 0*y + 190 = 4*u. Let b = -125/3 + y. Put 1, b, 3 in ascending order.
b, 1, 3
Suppose 4 - 7 = -h. Put -2, -6, h in descending order.
h, -2, -6
Suppose 13 = -3*y + 1. Put 4, 3, y in increasing order.
y, 3, 4
Let m = 0.1 - -2.9. Let h = m + -1. Put h, 0.4, 3 in descending order.
3, h, 0.4
Suppose 5*m + 11 = -w, -4*m + 2*m + 5*w + 1 = 0. Sort -3, m, -0.2 in ascending order.
-3, m, -0.2
Let z = 8.2 - 6.2. Sort 2/7, z, -4, 0.1 in decreasing order.
z, 2/7, 0.1, -4
Let o be (1 + 24/(-22))/(-1). Let x = -5531/6 + 917. Let n = x - -5. Sort 1/8, n, o in decreasing order.
n, 1/8, o
Let l be (68/(-10))/((-2)/5). Suppose l = m + 2*r, -1 = -r + 3. Suppose 23 = 3*v - 4*a, 4*a - m = -3*v - 2. Sort -3, 1, v.
-3, 1, v
Let h = 5 + -2. Let m = -46 + 46. Put m, h, -5 in increasing order.
-5, m, h
Let h(z) = 3*z - 33. Let f be h(10). Put -2, 0.2, f, -4 in decreasing order.
0.2, -2, f, -4
Suppose -3*p = -d, 0 = 2*d - 5*d - p - 10. Let x be 1/(-4) + (-17)/(-4). Suppose 0 = 3*s, -x*q - 4 = -3*q - s. Sort 4, q, d in increasing order.
q, d, 4
Let x = 2.03 + -0.03. Put 0.5, x, 2/5 in descending order.
x, 0.5, 2/5
Let j = -5 + 9. Suppose 0*p - 3 = -3*p. Let u be (-1 - 0)/(1/(-2)). Sort p, j, u in increasing order.
p, u, j
Let c be (-280)/32*(-12)/50*1. Put c, -5, -2 in decreasing order.
c, -2, -5
Suppose a + 2 = 2*a. Suppose -a*r = -6*r - 12. Sort -2, r, -4 in decreasing order.
-2, r, -4
Suppose 3*d - 27 = -2*i - 4, 0 = -3*i + 2*d + 15. Let g be (-2)/i - 8/(-77). Let v = 17 + -13. Sort v, -3, g in descending order.
v, g, -3
Let a = 44 - 44.1. Put 2/5, a, -3/2, -0.5 in descending order.
2/5, a, -0.5, -3/2
Let h be (-3)/(-6)*-2 + 4/(-6). Put -2/17, 2/3, -0.2, h in descending order.
2/3, -2/17, -0.2, h
Let z = -2.7 - -1.7. Sort z, -1/11, 0.3 in decreasing order.
0.3, -1/11, z
Let j(u) = u + 11. Let m be j(-6). Sort m, 7, 0 in increasing order.
0, m, 7
Let q(p) = p**2 - 5*p - 3. Let y be q(5). Let m be (-10)/y*12/(-10). Sort -0.1, 1, m in descending order.
1, -0.1, m
Suppose 6*n - 7*n = -3. Let t be (7/5 + -1)/(-2). Sort n, t, -5.
-5, t, n
Let r = -0.5 + 0.05. Let t = r + 0.05. Let w = 112 + -445/4. Put 0, w, t in decreasing order.
w, 0, t
Let c = 0.2 + -5.2. Let w = c - -9. Put w, -3/4, 0 in ascending order.
-3/4, 0, w
Let o = 1 - 1. Sort -2, -4, o in decreasing order.
o, -2, -4
Let g = 52 + -46. Put g, -1, 0 in ascending order.
-1, 0, g
Let o(u) = -u**2 - 2*u + 1. Suppose 9 = -6*n + 3*n. Let r be o(n). Sort 1, 4, r.
r, 1, 4
Suppose -4*i - 24 = -4*y, 0 = 4*y + 2*i + 2*i + 8. Suppose 0 = -4*m + y*m - 6. Sort -5/4, m, -0.4.
m, -5/4, -0.4
Let w = -14.1 + 14. Put 0, 1/6, w, 1 in ascending order.
w, 0, 1/6, 1
Let u = -4 - -7. Let f be 2/6 - (-2)/u. Sort -1, 0, f.
-1, 0, f
Let v = 179/846 - -1/94. Sort v, 0.1, -3/4, 2/13 in descending order.
v, 2/13, 0.1, -3/4
Let z = 3 + -3.1. Let a be (-2)/(-8) + 15/4. Suppose 6 = 2*t, a*t = -d - 0*d + 14. Sort 5, d, z in increasing order.
z, d, 5
Let t = 1 - -2. Let h = t + -2. Suppose -5*n - 15 = p, 0 = -p + 3*n + 12 + 5. Sort h, -3, p.
-3, h, p
Let x be (-3)/(-2)*(-40)/(-15). Suppose 9 = -x*d + d. Sort 2, d, -1 in decreasing order.
2, -1, d
Let c(w) = w**2 + w - 4. Let h be c(0). Put 13, -2, h, 2 in ascending order.
h, -2, 2, 13
Let j = -57 - -55. Put -0.5, 1.2, j in ascending order.
j, -0.5, 1.2
Suppose 4*l - 16 = -4*c, c = 4*c - 12. Put -4, l, -12, 1 in ascending order.
-12, -4, l, 1
Let x(f) = -f**3 - 9*f**2 - 9*f - 5. Let u be x(-8). Put 0, u, 4 in decreasing order.
4, u, 0
Suppose -h + 7 = -5*i + 36, 4*i + h - 16 = 0. Let n be 0*(2/(-2) - 0). Let w = 5 - 2. Sort n, i, w in increasing order.
n, w, i
Let n be ((-16)/16)/(-1 + 2). Sort -4, 1, n.
-4, n, 1
Let y = -1 + 3. Suppose y = -c - 0, -3*i + 21 = -3*c. Put i, -3/7, 2/7 in decreasing order.
i, 2/7, -3/7
Let c(n) be the third derivative of -n**4/12 + n**3/3 - 3*n**2. Let j be c(5). Let r be j/(-12) + (-8)/21. Sort 0.4, -1, r.
-1, r, 0.4
Let f = 34 - 37. Sort f, 1, -12 in decreasing order.
1, f, -12
Suppose 4*a - 4*s = -5 - 7, a + s - 1 = 0. Let u be (-6)/14 + 341/77. Suppose 0 = -2*z - 0*z - 4. Sort a, z, u in descending order.
u, a, z
Let k be 23/2 - (-3)/6. Suppose 4*f - 2*i + k = 0, -5*f + 5*i - 16 = 2*i. Put -3, 3, f in decreasing order.
3, f, -3
Let n(m) = -m**3 + 6*m**2 - 4*m - 4. Let w be n(5). Suppose 24 = 5*i + i. Sort -1, w, i in decreasing order.
i, w, -1
Let s = -64 - -194/3. Let i be (6/15)/(4/20). Put i, s, -3 in descending order.
i, s, -3
Let m = -2.33 - -0.33. Put m, -2/7, -3, -1/2 in increasing order.
-3, m, -1/2, -2/7
Let j = 4 + -22. Let b = -14 - j. Put -0.1, -2/7, b in decreasing order.
b, -0.1, -2/7
Let f = 81 + -60. Sort -0.5, f, -2/5 in de