-4*m + 3*k + 14 - 5, 6 = 2*m - 2*k. Suppose -4*z + m*z = -16. Put 3, z, c in decreasing order.
z, 3, c
Let c = -106 - -122.2. Let x = c + 1.8. Put x, 1/7, -1/2 in descending order.
x, 1/7, -1/2
Let a = 35/156 - -1/39. Let d(x) be the second derivative of x**4/12 + x**3 + x**2/2 + 8*x. Let q be d(-6). Sort q, -4, a.
-4, a, q
Let u = 7 + -7. Suppose -4 = 7*z - 5*z - 2*h, -2*h + 7 = z. Put u, z, -2/5 in ascending order.
-2/5, u, z
Let n(v) = v**3 + 8*v**2 - 11*v. Let l be n(-8). Suppose 5*s - 4*z + 15 = -66, 5*s = -3*z - l. Sort -2, 2, s.
s, -2, 2
Let j = -6 + 1. Suppose 0 = 2*i - 3 + 11. Put 3, i, j in ascending order.
j, i, 3
Suppose 37*v = -15 + 681. Sort -12, 3, 4, v in increasing order.
-12, 3, 4, v
Let z = 224 + -216. Sort z, 0.5, 3/5, 3 in increasing order.
0.5, 3/5, 3, z
Let m = 11.22 - 11. Let t = -0.11 + m. Let u = 0.01 - t. Put 0.5, u, -4 in descending order.
0.5, u, -4
Let d = 11 + -6. Suppose -2*r + 3*y + 12 = -y, -3*r = d*y + 37. Suppose -10*v - 53*v - 246 = 60*v. Sort 1, v, r.
r, v, 1
Suppose -x = 2*x + t + 33, -3*x - 33 = -5*t. Suppose 3*a + 50 = q, 9*a - 4*a + 78 = -q. Let b = x - a. Put -1, 3, b in decreasing order.
b, 3, -1
Let x(w) = w**3 - 6*w**2 - 14*w - 11. Let h be x(8). Suppose 4*r + h - 1 = -q, -3*r - 3 = 0. Put -3, q, -5 in descending order.
q, -3, -5
Let k = -641 - -3207/5. Put 6, k, -7 in descending order.
6, k, -7
Let z = 0.612 + -0.312. Let o = -5 + 3. Put o, -3/7, z, -2/5 in descending order.
z, -2/5, -3/7, o
Let n be -6 + 2 + 3 - (-76)/68. Put n, -0.7, 2/9 in decreasing order.
2/9, n, -0.7
Let s = -3573.87 + 3574. Let y(w) = -3*w - 3. Let n be y(-2). Put s, 0.2, n in decreasing order.
n, 0.2, s
Let i be (-7)/(-49) - (-106)/(-7). Let s be (i/(-6))/((-1)/2). Put -4, s, 0 in descending order.
0, -4, s
Let g = -330 - -330.13. Sort -0.4, 3, g in ascending order.
-0.4, g, 3
Let p(z) = -z**3 + 17*z**2 + 4*z - 73. Let t be p(17). Put t, 3, -10 in ascending order.
-10, t, 3
Suppose 2*v + 0*v + 10 = -4*i, 0 = -3*v + i - 1. Let f be 12*1 - (-4 - -1). Suppose 4*k = k - f. Sort v, -2, k.
k, -2, v
Let s be 46/(-6) + (-14)/42. Let d = 0 - -3. Sort s, -5, d.
s, -5, d
Let g(q) = -q + 1. Let o be g(-2). Suppose f - 6 = 3*f. Let z be (16 - 2)/2 + f. Sort z, 1, o in descending order.
z, o, 1
Suppose 4*s - 4*z = -8, 5*s - s = -3*z + 20. Let f be (8 + -4)/(-20)*s. Sort 0.2, -5, f, 3 in increasing order.
-5, f, 0.2, 3
Let b be -6*2/(-2 + -2). Suppose -2*v + 7*f - 3*f = 38, -15 = -5*f. Let p = 10 + v. Sort b, 2, p in ascending order.
p, 2, b
Let q = 0.1614 + 0.0386. Sort -28, q, -0.1 in increasing order.
-28, -0.1, q
Suppose -3*q + 3*g - 3 = -4*q, -6 = -2*q - 2*g. Suppose 9 = 2*p + q. Put -3, 1, 4, p in descending order.
4, p, 1, -3
Let t = 25 - 18. Suppose 0 = -0*k - 2*k - 3*x - 5, 2*k - x - 7 = 0. Let g = k - t. Put -1, 4, g in descending order.
4, -1, g
Suppose c + 3*s - 3 = 0, -6*c + 2*c + s + 12 = 0. Let q be 27/(-18) + 22/4. Let u be 2/q - 2/(-4). Put -2, c, u in decreasing order.
c, u, -2
Let j = 0.2 + -1.2. Let d = -4796 - -4796. Sort j, 5, d in descending order.
5, d, j
Let v(q) = -q**2 - 5*q + 63. Let t be v(-8). Put 1, 2, t in ascending order.
1, 2, t
Let v be 702/(-1730) - (3/15 - 0). Let r = 1/173 + v. Sort 4, r, -5.
-5, r, 4
Let g = 16 + -13. Suppose 0 = 3*a - 3*v - 3, a - 1 + 4 = g*v. Sort a, 8, -4.
-4, a, 8
Let l(h) = h - 9. Let a(t) = -t**2 + 6*t - 4. Let g be a(4). Let c be l(g). Suppose 8*j - 5 = 3*j. Sort c, j, 5 in ascending order.
c, j, 5
Suppose -2*o - 4*c = 2 - 34, -5*c + 25 = 0. Suppose 482*z - 450*z = -128. Sort 4, z, o in ascending order.
z, 4, o
Let l(p) = 60*p + 1024. Let i be l(-17). Suppose -a - 3 = 0, -g - 2*a = -6*g + 46. Sort g, -1, 3, i.
-1, 3, i, g
Let c = -12 + 12. Let s(f) = f**3 - f**2. Let a(v) = -7*v**3 + 7*v**2 + v + 1. Let k(b) = -a(b) - 6*s(b). Let l be k(0). Sort -2, c, l in increasing order.
-2, l, c
Let u(q) = q**3 - 8*q**2 + 10*q - 25. Let o be u(7). Sort o, 12, -3 in descending order.
12, -3, o
Suppose -7*n - 18 = -32. Suppose -3*i + 2*g = -5, 2*i + 3 = 4*i - g. Put i, n, -5 in decreasing order.
n, i, -5
Suppose -2*p = -4*p + 8. Let s(z) = p*z + 3 - 5*z + 5*z - 5*z. Let f be s(3). Sort -5, f, -3.
-5, -3, f
Let z = 9 + -5. Let u(q) = -q**3 + 3*q**2 + 6*q - 4. Let k be u(z). Sort -2, 2, k in ascending order.
-2, 2, k
Let q = 15 + -12.5. Let t = q + -2.3. Put -0.1, t, -1/6, 5 in decreasing order.
5, t, -0.1, -1/6
Let f(a) = -a - 1. Let u(i) = -4*i - 2. Let v(d) = 10*f(d) - 3*u(d). Let p be v(3). Let o(w) = w**2 - 2*w - 1. Let t be o(p). Sort 5, -5, t in decreasing order.
5, t, -5
Let g = 39 + -119/3. Let y = -1711 - -1711.5. Sort y, 1/6, g in descending order.
y, 1/6, g
Let g = 598 + -613. Put 0, g, 1 in descending order.
1, 0, g
Let p = -5391982/26212725 + -2/149787. Let s = 2/25 - p. Let o = 34230 + -171147/5. Sort o, 0.5, s.
s, 0.5, o
Let g = 2.9 + -3. Let v be (-39)/117*6/2*3. Put v, 2, g in ascending order.
v, g, 2
Let s(y) = -4*y + 1. Let d be s(-1). Suppose -a + 5*o = -5*a - 36, o = -d*a - 24. Sort 0, 5, a in descending order.
5, 0, a
Let k = 0.5 - -4.5. Let l be 4/5*((-13 - -3) + 5). Let a be (-2)/(-49)*(l + 11). Put k, 1/2, a in decreasing order.
k, 1/2, a
Let b = -161 - -192. Put -0.5, 0, b in descending order.
b, 0, -0.5
Suppose -29 = -4*w - 49. Suppose -4*i - i = 20. Sort -8, i, w in increasing order.
-8, w, i
Suppose -5*y + 19*o + 12 = 18*o, 0 = -2*y - 3*o - 2. Put -2, -34, y in decreasing order.
y, -2, -34
Suppose 8 + 1 = -3*s. Suppose 4*u = -0*u + 5*d + 39, 0 = 2*d - 10. Let p be (-4)/(-18)*(-12)/u. Sort s, -1/4, p.
s, -1/4, p
Let k = -0.18 - 2.82. Let p = -4 - k. Sort p, 0, -1/8 in decreasing order.
0, -1/8, p
Let n = -17.2 - 1.8. Let v = 19.2 + n. Sort 11, v, -3 in descending order.
11, v, -3
Let s be (-24)/24 + 10 + 1. Let t(i) = i - 7. Let v be t(s). Let x be (-3)/(-10)*8/(-6). Put 5, x, v in ascending order.
x, v, 5
Let n(i) = -i**2 + 0*i**2 + 4*i + 0 - 1. Let w be n(6). Let o be (-67)/w - 8/52. Sort o, -2, -4 in decreasing order.
o, -2, -4
Suppose 0 = -0*v + 5*v + 80. Let m be 5/2 - (-8)/v. Suppose 5*g - 3*b - 6 - 15 = 0, 0 = 2*g - 5*b - 16. Put -10, m, g in decreasing order.
g, m, -10
Let o = -191 - -195.6. Sort -0.4, -5/2, o, -1/3 in decreasing order.
o, -1/3, -0.4, -5/2
Let f be -6 + -2 + (1 + -2 - -4). Let x = 5/4 - 1. Sort x, f, -4 in decreasing order.
x, -4, f
Suppose -5*z + 22 = 7. Suppose 4*r + r - 22 = 3*k, 4*k - 2*r + 20 = 0. Let i be 6/5*10*3/9. Sort z, k, i.
k, z, i
Let k = -3 + 4. Let a be 6/(-21) - 23/(-7). Suppose a*y - 2*g = -3*g - 8, -4*y + 3*g - 28 = 0. Sort 5, k, y in decreasing order.
5, k, y
Let t = -5551/4 - -1395. Let x = t - 8. Let b be 2/((19/1)/(-1)). Put b, x, 6 in decreasing order.
6, b, x
Suppose 2*i + 5*z + 155 = 159, 5*z = 0. Sort i, 0.1, -34.
-34, 0.1, i
Let u = 128 + -127. Sort -34, 0, u, -3 in decreasing order.
u, 0, -3, -34
Let r = 191/9 + 460/9. Let p = -72 + r. Put p, -7, 0.1 in increasing order.
-7, 0.1, p
Let u = -7 - -6. Let t = -0.5 - -0.3. Let x be (1/3)/(5/(-45)). Sort x, u, t in descending order.
t, u, x
Let c = -126 - -118. Let l be (-4 - 1)*c/(-56)*7. Let r = 12 - 7. Sort r, 1, l in decreasing order.
r, 1, l
Let t be 6/(-21) + 36/(-21). Let n be (-1 - -1)/3 + -3. Let l = 1 - n. Put 1, l, t in decreasing order.
l, 1, t
Suppose -23*q - 106 = 30*q. Sort -2/15, -4, q, 0.5 in descending order.
0.5, -2/15, q, -4
Let p(i) = -1 + 0 + i - i - i. Let q be p(-1). Suppose 14 = 2*o + 2*x - 6*x, 4*o - 5*x - 13 = 0. Put o, -4, q in descending order.
q, o, -4
Let h be 1/(5/(-6)*-3). Let r = -1.316 + -0.684. Put r, -5, h in decreasing order.
h, r, -5
Let d = 1183.1 - 1183. Let v = -1.4 + 1. Sort 0.5, v, 5, d in descending order.
5, 0.5, d, v
Let r = -771 - -722. Sort r, -0.4, 2/9.
r, -0.4, 2/9
Let h be -1 + (-8)/(-6) + 2/(-6). Sort -2, h, -5, 16 in descending order.
16, h, -2, -5
Suppose -26 = -2*w + 5*l, -3*w + 6*w - 2*l - 17 = 0. Suppose -r + 12 = -3*o + 2*r, -w*o - 2*r + 8 = 0. Put o, 5, 3 in decreasing order.
5, 3, o
Suppose b + 0*b - 132 = 2*d, -4*b = 0. Let v = d + 96. Sort -1, -2/5, v in ascending order.
-1, -2/5, v
Let w = 0.4 - 1.8. Let b = -1.64 - w. Let l = -0.06 + b. Sort l, 1/4, 4.
l, 1/4, 4
Let o = -43 + -20. Let b = o + 67. Sort 4/3, -5, b in decreasing order.
b, 4/3, -5
Let f be ((-8)/6)/(-8 - 20/(-10)). Sort f, 2, -38.
-3