-6*k + 99 - 27 = 0. Let j = -11 + k. Let t be a(j). Put -5, t, 1 in descending order.
1, t, -5
Suppose 5*l + 4*b - 55 = 55, 2*l + 2*b = 42. Put -1, -3, -5, l in descending order.
l, -1, -3, -5
Let r be ((-130)/(-39))/((-6)/9). Put r, 6, 2, 5 in descending order.
6, 5, 2, r
Let k be (1/(-3 - 0))/(18/(-486)). Suppose k*o = 11*o + 22. Sort -2, o, 2, -3 in ascending order.
o, -3, -2, 2
Let w = -12.5 + 0.5. Let l = -0.085 - -11.985. Let h = l + w. Sort h, -2, 0.
-2, h, 0
Suppose 6 = 3*z + 4*r - 3*r, 0 = 4*z - 2*r + 2. Sort -0.4, z, 1/2, -4.
-4, -0.4, 1/2, z
Let p = 14814/77 - 1306/7. Let w = 1055/187 - p. Put 4, 0.3, w in decreasing order.
4, 0.3, w
Let a = 7 - 7.026. Let l = a + 8.026. Put 0, -0.2, l in descending order.
l, 0, -0.2
Let b be (-2)/(-6)*3 + -7. Let i = b + 1. Put -4, i, 0 in decreasing order.
0, -4, i
Let a = 21 - 20.9. Suppose 0 = -7*h - 2*h - 45. Sort h, a, -0.1.
h, -0.1, a
Suppose -5 + 1 = -h. Suppose 5*v = j - 2, 0*j = -5*v - j + 2. Suppose 0*c = c + 5*q + 15, -5*c - 4*q - 33 = v. Sort 2, c, h.
c, 2, h
Let l be (-6)/(-10) + 12/5 + -5. Put 4, l, 35, 5 in increasing order.
l, 4, 5, 35
Suppose 0 = 9*v - 6*v - 3*h - 15, -v = -5*h - 25. Put v, 4, 7 in increasing order.
v, 4, 7
Let o(h) = -5*h - 27. Let j be o(-10). Suppose -49 = j*v - 3. Sort 0.5, 4, v, -4/3.
v, -4/3, 0.5, 4
Let y = 6 - 11. Let w = -4.1 + 1.1. Let p = -2.7 - w. Put 2/7, y, p in ascending order.
y, 2/7, p
Let o = -0.3 - -0.3. Let g = 10 + -9.6. Let w = 87.5 + -88. Sort o, w, g.
w, o, g
Let z = 0.3036 + -1.3036. Put 5, 2, 1.3, z in increasing order.
z, 1.3, 2, 5
Let f = 4.71 + 1.29. Put 0.1, f, 2.2 in decreasing order.
f, 2.2, 0.1
Suppose -3*p - 5*w = -12 - 12, 4*p + 5*w = 27. Suppose -2*t + p*l + 6 = 0, 0 = -t - 0*t - 2*l + 3. Let i be (-15)/36 + 2/t. Sort -3, 4, i in descending order.
4, i, -3
Suppose 2 = 4*v + k, 4*k + 9 = -3*v + 4*v. Let w be ((-104)/(-16))/(v/2). Suppose -3*g - r + 25 = -5*r, r + w = 3*g. Sort g, 1, -1 in increasing order.
-1, 1, g
Suppose 0 = -3*x + 2*x. Let o = 62 - 59. Put x, -1/12, o in descending order.
o, x, -1/12
Let q = 1 - 2. Let i be (-7)/5*(-2844)/21. Let y = i - 189. Sort -1/2, y, q.
q, -1/2, y
Let q = 0 + -3. Let j = -0.022 - -38.022. Let f = -37.8 + j. Sort -8, q, f.
-8, q, f
Let u = 0.03 + 11.97. Let d = 9 - u. Suppose -3*h + 16 = -z, -12 + 5 = -h + 2*z. Put d, -2, h in decreasing order.
h, -2, d
Let i = 11148/25 + -446. Put -2, 5, i in decreasing order.
5, i, -2
Let j(t) = 11*t - 121. Let w be j(11). Sort w, -3, 3 in decreasing order.
3, w, -3
Let b = -3.01 + 3. Let g = 88.6815 - -0.2185. Let h = 89 - g. Put b, -0.5, h in descending order.
h, b, -0.5
Let d = 137.4 - 140. Sort 6, -1/6, d in ascending order.
d, -1/6, 6
Let s = 9 - 12. Sort s, 2/7, 0.07.
s, 0.07, 2/7
Let t = -0.6 + 0.48. Put t, 1/2, -0.5 in decreasing order.
1/2, t, -0.5
Let i = 6 - 1. Suppose -2*s = i*t + 3 + 16, 0 = -t + 5*s - 20. Let l(c) = -c**2 + 4*c + 6. Let p be l(5). Sort p, -1, t in ascending order.
t, -1, p
Let q(c) = 14*c + 447. Let f be q(-32). Put -9, -15, f in decreasing order.
f, -9, -15
Let z be 405/406 + 42/(-28). Let p = z + -2/29. Let u = 911/9 - 101. Sort p, -1, u in decreasing order.
u, p, -1
Suppose -4 = -4*z + 60. Suppose m + z = -0*m - 4*j, 20 = -5*j. Let c be (-52)/(-14) + (-2)/(-7). Put -3, c, m in decreasing order.
c, m, -3
Let p be 104/14 + -4 - (-7 - -10). Suppose 5*x = -4 - 11. Sort -4, x, 2/11, p.
-4, x, 2/11, p
Suppose -10*d = -7 + 257. Let s = 1 - -2. Put -0.4, s, d in descending order.
s, -0.4, d
Suppose 3*m - 5*m = 18. Let g be m/36*(1 + -1). Sort -2/3, g, 1 in ascending order.
-2/3, g, 1
Let o = 219 - 205. Put 0, -0.3, o, 5 in descending order.
o, 5, 0, -0.3
Let c(i) = 2*i**3 - 11*i**2 - 7*i + 9. Let v be c(6). Suppose 3*w = -v*x - 33, 5*x + 2*w - 3*w + 55 = 0. Let u = x - -6. Sort u, 1, 0 in ascending order.
u, 0, 1
Let p = -33 - -37. Suppose -4 + 21 = -a - p*h, 4*a + 4*h = -8. Suppose 0 = 4*r + t - 3*t + 8, -3*r - 15 = 3*t. Sort 0.1, a, r in descending order.
a, 0.1, r
Let s = -321.9 - -396. Let b = -74 + s. Put -3/7, 1, b in descending order.
1, b, -3/7
Let g(b) = -b**2 + 3*b + 4. Let s be g(4). Suppose s = 10*n - 8*n - 8. Sort -2, -4, n.
-4, -2, n
Let d be 1/(-3*3/(-117)). Suppose 0 = -5*r + 5*y + 3 + 2, r - d = 5*y. Sort 3, 0, r in increasing order.
r, 0, 3
Let r = -59 + 56. Let p = 90.6 - 91. Sort 1/5, r, 2/3, p in decreasing order.
2/3, 1/5, p, r
Suppose 2*g + g + 9 = 0. Let u = -14 - -13.98. Let o = u + 1.02. Put o, g, 1/2 in descending order.
o, 1/2, g
Let j be (-8)/(-1) + (-2 + -4 - -1). Sort 2, j, 7 in increasing order.
2, j, 7
Let z be (-88)/(-24) + 4/(-6). Suppose 3*v = -r + 2, z*v + r = 4*r - 6. Put -1, v, 4 in descending order.
4, v, -1
Suppose 0 = c - 5 + 2. Suppose 15 = 4*n + c. Suppose 6*f = f + 5. Put f, 2, n in ascending order.
f, 2, n
Suppose 0 = j - 3*m - 7, -m - 11 = 5*j + 18. Suppose 0*g = 2*v + g - 4, g = 4*v + 4. Suppose -6*k + 27 = -3*k. Sort k, j, v in decreasing order.
k, v, j
Let l = -9 - -33. Suppose l = 3*z + 15. Sort z, -4, 4.
-4, z, 4
Let d = -345 - -344. Put 245, 4, d in decreasing order.
245, 4, d
Let v = 3 + -1. Let r(d) = d**2 + 35*d + 301. Let i be r(-19). Sort v, -8, 3, i in increasing order.
-8, i, v, 3
Suppose -q - r = -4*q - 6, -4*q + 4*r - 16 = 0. Sort 6, q, 5 in increasing order.
q, 5, 6
Let k be 20/6 + 8 + (-88)/12. Sort -3, -1, k, 5.
-3, -1, k, 5
Let y(x) = -x - 2. Let p be y(3). Suppose t - 5*o = 6*t, -2*t = -5*o - 28. Sort p, t, 3, -3 in decreasing order.
t, 3, -3, p
Let a = 287 + -283. Sort 26, 5, a.
a, 5, 26
Suppose -h + 6*h = 0. Let u be ((-5)/4)/(-6 - 75/(-12)). Let r(o) = 3*o + 7. Let k be r(-3). Sort h, k, u in increasing order.
u, k, h
Let x = -11 + 6. Let u = -2 - x. Let y = -0.7136 - -0.2136. Sort u, y, -12 in descending order.
u, y, -12
Let o(m) be the second derivative of m**3/6 - 7*m**2 - 8*m. Let a be o(12). Sort -4, 1, 5, a.
-4, a, 1, 5
Let q be (-1 - 7/(-3))*3. Let v be (-402)/(-24) - (-1)/4. Suppose -v + 2 = 5*s. Sort -1, q, s in ascending order.
s, -1, q
Let h be 3*1*2/(-42). Let n be (1/(-15))/(1/(-12)). Let x = 0.6 - 0.3. Sort n, x, h in decreasing order.
n, x, h
Suppose -6 = 4*v - 7*v. Sort -51, 3, 1, v in descending order.
3, v, 1, -51
Let v = -9 - -6. Let u be 24/(-60) + 23/(-5). Sort 0.2, u, v.
u, v, 0.2
Suppose -322*b = -286*b + 1404. Put -2, 1, 4, b in decreasing order.
4, 1, -2, b
Suppose -z - 2*j - 4 = 4, j + 3 = 0. Let g(w) = -w**2 - 30*w - 143. Let b be g(-6). Sort 10, z, 3, b.
z, b, 3, 10
Let x(z) = -z**3 + 10*z**2 - 19*z - 9. Let r be x(7). Sort 139, r, -1 in descending order.
139, r, -1
Let q(x) = -x**2 + x + 5. Let d be q(0). Suppose -d*t + 4*t - 2 = 0. Let p be -1 - (0 + t) - 0. Put 0, p, -1 in decreasing order.
p, 0, -1
Let t = -11 + 9. Suppose -12*p = -7*p - 15. Let y be 2 + p + -1 + -3. Put t, 4, y in decreasing order.
4, y, t
Suppose -5*y - 3*w = -2 - 5, -5*y + w - 9 = 0. Sort 8, y, -2, -4.
-4, -2, y, 8
Let q = 9/38 + -139/266. Sort 1/6, q, -2/5 in ascending order.
-2/5, q, 1/6
Suppose -344*f = -321*f + 92. Put -25, f, -35 in descending order.
f, -25, -35
Let n(d) = -d**2 + 22*d - 116. Let q be n(14). Put 55, 5, q in ascending order.
q, 5, 55
Let n = -31 - -36. Suppose 0*d - d - 5*c - 22 = 0, -d = -n*c - 18. Put 5, d, 1 in decreasing order.
5, 1, d
Suppose 5*r - 7 = 8. Suppose 5*s + j + 125 = -0*s, -5*s + r*j - 125 = 0. Let l be (-20)/s*(-5)/2. Sort l, 2, 0.
l, 0, 2
Let p = -52 - -23. Let o = p - -24. Sort o, -2, 1 in descending order.
1, -2, o
Let d = -15 - -12. Let c(g) = -11*g - 239. Let w be c(-22). Sort -1, w, d.
d, -1, w
Suppose 0 = -19*o + 167 + 23. Sort o, 2/9, 1, 0.
0, 2/9, 1, o
Let a(p) = 2*p**2 + p + 4. Let y be a(0). Suppose -u + 123 = -y*h, 5*h + 142 = 2*u - 14. Let l be h/70*(-1)/(-1). Sort 4, l, -2/3.
-2/3, l, 4
Let d = 21 + -17. Suppose 5*t - 5*f = t + 8, -2*t = -f - 4. Put d, t, 0 in increasing order.
0, t, d
Let b = 34 + -21. Let a = -9 + b. Suppose 0*o - a*o = -4. Sort 2, o, -4 in descending order.
2, o, -4
Let o = 0.65 - 4.45. Let k = -3.7 - o. Sort -0.4, -2, k, -5 in increasing order.
-5, -2, -0.4, k
Let x = 158 + -158. Put 0.1, x, 47, 4 in descending order.
47, 4, 0.1, x
Suppose -8*v - 190 = 650. Let k be (-327)/v + -3 + 10/35. Let g = 10 - 10.8. Put k, g, 0.3 in decreasing order.
k, 0.3, g
Let y be 0*-2*(-3)/(-12). Let q