a(3). Suppose -2*r + 4*r + 2*o + 18 = 0, -3*r + 2*o = 7. Sort 1, h, r.
r, 1, h
Let s = 92 - 462/5. Let h = -2865 + 2862. Sort s, h, -5, 0 in descending order.
0, s, h, -5
Let m be (-2265)/255 + 5 - 4/34. Sort 6, -5, -8, m in decreasing order.
6, m, -5, -8
Suppose 311 = 4*v + 303. Put 5, 4, 12, v in ascending order.
v, 4, 5, 12
Let b be 52/14 - 44/77*7. Put b, 0.5, -5, -21 in increasing order.
-21, -5, b, 0.5
Suppose -4*r - 21 + 9 = 4*n, 3 = 4*n - r. Sort 1, n, 20, -0.2 in ascending order.
-0.2, n, 1, 20
Let v = 5 - 9. Let u = -2 - v. Suppose -4*o + r = -7, u*o - 4*o - 5*r = 13. Sort 3, 4, o in decreasing order.
4, 3, o
Let w be (8/9)/((192/108)/8). Sort -5, 0.3, -28, w in decreasing order.
w, 0.3, -5, -28
Suppose -4*m + 80 - 64 = 0. Suppose 0*l = -2*l - 4*z + 18, -3*l = z - 2. Sort m, l, -4 in descending order.
m, l, -4
Let u(f) = -7*f + 3. Suppose -6 = 3*i - 18. Let a be u(i). Let k = -29 - a. Sort k, -3, 3 in decreasing order.
3, -3, k
Let h be (1 - 1) + (-3 - 0). Let x(u) = 28*u - 1. Let o be x(h). Let r = o - -421/5. Sort -2/7, r, -0.2 in decreasing order.
-0.2, -2/7, r
Let x = -24 - -21. Let d be (6/(-3))/(x + 2). Put 3, d, 5 in ascending order.
d, 3, 5
Suppose -51 = -12*p + 9. Sort p, -3, -23.
-23, -3, p
Suppose n + n = -8. Suppose -4*c + u + 19 = 0, -2 = 51*u - 53*u. Sort c, 0, -5, n.
-5, n, 0, c
Let h = 204 - 207. Let s(v) = v**2 - 4*v - 6. Let p be s(5). Let f(i) = i - 3. Let d be f(4). Put p, h, d in increasing order.
h, p, d
Suppose -2 = -4*j + 5*t, -6 = 2*j + 2*t + 2. Let f = 422 - 426. Sort j, 5, f in decreasing order.
5, j, f
Let z be (0 - -1) + 6/(-7). Suppose -11*d + 52 = -3. Suppose -m - 2*a = 1, -4*m + 2*a - 14 = d*a. Sort 1/3, m, z in descending order.
1/3, z, m
Suppose 0 = 2*x - x - 4*r, x = -3*r - 7. Let n be (-9)/(180/8) - (-194)/10. Let a = -15 + n. Sort 0, a, x.
x, 0, a
Let r = -666/5 + 132. Let n be 19/38*(-32)/28. Sort n, r, -0.3.
r, n, -0.3
Let p = 0.3 + 0.7. Let j(b) = 34*b - 55. Let h(x) = 11*x - 19. Let l(d) = -7*h(d) + 2*j(d). Let v be l(3). Sort p, v, -0.3 in decreasing order.
p, -0.3, v
Let k(u) = u**3 + 2*u**2 - 5*u - 4. Let w be k(-3). Let x be 3 + ((-1441)/33 - 4/(-6)). Let d be ((-21)/84)/(2/x). Put d, -3, w in decreasing order.
d, w, -3
Let j = 5.8 - -4.7. Let v = j + -10.1. Let b = -1/77 + 23/77. Sort 1/2, b, v in ascending order.
b, v, 1/2
Let k be 46/(-14) + 2/7. Suppose 54*o = 347 + 328 + 135. Sort k, -5, o, 3 in ascending order.
-5, k, 3, o
Suppose -6 + 0 = -3*f. Let q(l) be the third derivative of l**6/120 - l**4/8 + l**3/2 - 2*l**2 - 195*l. Let t be q(f). Put -5, t, 2 in increasing order.
-5, 2, t
Let c = -32.069 + 0.069. Let f = 12.68 - -0.32. Let g = c + f. Put 1, -1/6, g in descending order.
1, -1/6, g
Let p = -139 + 142. Sort 4/5, -1, 10, p in ascending order.
-1, 4/5, p, 10
Let m = 0.7 + -0.2. Let r = 618 + -615. Sort m, -2/13, r in descending order.
r, m, -2/13
Suppose 5*v + 16 = 7*v. Let s be 3*(1 - v/12). Let z be -2 + 3 + (-28)/4. Sort z, -3, s in decreasing order.
s, -3, z
Suppose 191*u = 183*u - 184. Let v = 5 + 0. Put -5, v, u in ascending order.
u, -5, v
Let u = -0.0026 + 21.0026. Sort -1, u, 4.
-1, 4, u
Let i = 0.3 - 0.1. Let r be 3/216*(-2085)/35. Let b = -20/21 - r. Sort i, b, 12.
b, i, 12
Let o = -5 - -5.3. Let y be (-3 + (-2)/(-4))/(1/2). Let i be 3 + (-1 - 60/35). Sort y, o, i in descending order.
o, i, y
Let y be (-1)/(-6)*3*-10. Suppose 7 = 3*p + 10. Sort p, y, 3 in ascending order.
y, p, 3
Let k(p) = -p**3 - 6*p**2 - 4*p + 2. Let g be k(-5). Let i be (g/(-3))/((-2)/4). Sort 6, -1, i in increasing order.
i, -1, 6
Let r be (-254)/(-2667) + (638/(-84) - 1). Put -0.1, r, 5 in ascending order.
r, -0.1, 5
Let x be (4/3)/(5/3). Let b = 1.11 + -1.75. Let z = b - 1.36. Sort -1, x, z.
z, -1, x
Let k = -0.06 - -0.46. Let p = 0.08 - 0.15. Put p, -0.5, k in descending order.
k, p, -0.5
Suppose 5*u = -4*k + 40, -3*k + 2*k - 7 = -3*u. Let o be -2 - (4 - (11 + -7)). Sort -1, o, k in increasing order.
o, -1, k
Suppose 5*u - 22 - 38 = 0. Suppose -z - u = -5*z - 3*m, -2*z - 3*m + 6 = 0. Suppose -2*d + 3*d + 14 = 4*o, -o - 3 = z*d. Put d, -3, 0 in ascending order.
-3, d, 0
Let k = 198.974 + 0.026. Let y = 203 - k. Let d = -0.3 - -0.29. Sort -4, y, d.
-4, d, y
Let z be (-2)/(-3)*57/(-247). Sort z, 5/4, -0.3, 4 in ascending order.
-0.3, z, 5/4, 4
Let n be 8/(-28) + 19/(-7). Let w(d) = -d**3 - 2*d**2 + 3*d. Let b be w(n). Let q = 15 - 10. Sort q, 1/3, b in decreasing order.
q, 1/3, b
Suppose 2*a + 4*g = 4, -2*a + g = 3*g. Put a, -3, -23, 2 in decreasing order.
2, a, -3, -23
Let a = 5.6 + -4.6. Put a, -0.04, 5/7 in ascending order.
-0.04, 5/7, a
Suppose 0 = -4*l - 5*v - 2, -3*l + 2*l + 3*v + 8 = 0. Suppose -10 - 1 = -3*s + j, 4*j = l*s - 24. Put 4, -9, -4, s in ascending order.
-9, -4, s, 4
Let p = 11/21 - 145/357. Put p, 0.6, 1/6, -0.2 in descending order.
0.6, 1/6, p, -0.2
Suppose -160*o - 5 = -159*o - z, -19 = 5*o - 3*z. Let w = -6 + 11. Sort o, w, -21 in decreasing order.
w, o, -21
Let j(o) = o - 1. Let m be j(4). Let t be (m*1)/(153/(-6)). Suppose 4*c = 8*g - 3*g + 5, 2*g = -10. Sort 4, c, t in ascending order.
c, t, 4
Suppose -3*m = -0 - 6. Let y be 972/(-246) + 54/(-1107). Put m, 10, y in decreasing order.
10, m, y
Let i(z) = -46 + 49 - z + 5*z. Let l be i(-2). Put l, 2, -1, 5 in ascending order.
l, -1, 2, 5
Let a be 24/(-9)*3/(-2). Let o = 31.9 + -32. Let i = -0.5 - o. Sort i, a, 0.5.
i, 0.5, a
Let s be 5/(-20*2/(-16)). Put 0, s, 139 in decreasing order.
139, s, 0
Let h = -0.05 + 0.45. Let q be 18/(-12) - (1942/60 - -1). Let y = 35 + q. Sort y, 5, h in ascending order.
y, h, 5
Let u = 3/18377 + 1065761/643195. Let i be (-2 + (-23)/(-10))*6. Let m = i - u. Sort m, -0.1, 1 in decreasing order.
1, m, -0.1
Let h be 1*2 - 9*(-7)/21. Sort -9, -1, h, 4.
-9, -1, 4, h
Suppose -3*r + 4*z - 20 = -7*r, 2*r - 2*z - 30 = 0. Let a = -1 + -1. Sort a, r, 1, -1 in increasing order.
a, -1, 1, r
Let i(h) = h**2 + 27*h - 192. Let d be i(-31). Sort 0, d, -3 in decreasing order.
0, -3, d
Suppose -2*p + 6*o = 2*o - 2, 14 = 5*p - o. Suppose -p*s = -4*v - 20, s - 10 = -3*v - 3*s. Put v, 5, 4 in increasing order.
v, 4, 5
Suppose -13*q = 5*m - 10*q, 4*m - 13 = -5*q. Put 10, 0, 5, m in descending order.
10, 5, 0, m
Let j(f) = f + 4. Let k be j(-6). Let h be -2 - (k + 12/(-4)). Suppose 0 = 3*c - 3*u, -h*c + 20 = -c + 2*u. Sort -4, 1, c in increasing order.
-4, 1, c
Suppose 3*u + 3 = 2*p, 3*u = -3*p - 4 + 1. Let i be -1*(10/2 - p). Put i, 4, 2 in decreasing order.
4, 2, i
Let t be 0 + (2/2)/(-3). Let q = 959 + -959. Put t, -1, q, -4/9 in descending order.
q, t, -4/9, -1
Let j(b) = b**3 + 3*b**2 - 3*b + 1. Let u be j(-4). Suppose -4*a = 4*c - 32, 5*a = -0*a + 2*c + 68. Put a, 0, u in descending order.
a, 0, u
Suppose -w = 3*u + 2*w + 135, 5*u + 270 = 4*w. Let s be (-1)/(-5) + (-590)/u. Let j = -11 + s. Sort 0, j, -4.
-4, 0, j
Let v = -23 + 254/11. Sort -2, v, 2/29 in descending order.
v, 2/29, -2
Let o = -2369 + 2401. Put 1/4, -3, o in descending order.
o, 1/4, -3
Let m be (-2)/(((-1)/47)/((-3)/(-15))). Let a = -19 + m. Sort 3, -0.4, a, 2 in decreasing order.
3, 2, a, -0.4
Let m(h) = h**2 - 5*h - 11. Let a be m(6). Put -3, a, 23 in decreasing order.
23, -3, a
Let a = -1/135 - -287/2295. Let d = -5893 - -5895. Sort a, 5/2, d in descending order.
5/2, d, a
Let w = 145 + -144. Sort -5, w, 0 in increasing order.
-5, 0, w
Let m(u) = 17*u + 55. Let g be m(-3). Sort 0, g, 14.
0, g, 14
Suppose 4*c + 8 - 2 = 5*x, -4*x + 8 = 0. Suppose 0 = -2*f + f - 2*h + 5, -4*h = 3*f - 7. Put 0, c, f, -11 in decreasing order.
c, 0, f, -11
Let r = 7 + -6. Let y(c) = -c - 11. Let g = 1 - 9. Let b be y(g). Sort 4, r, b in decreasing order.
4, r, b
Let p(t) = -t**3 - 44*t**2 + 1. Let u be p(-44). Put -1, -2, u, 33 in ascending order.
-2, -1, u, 33
Let z be 3/9 + 1848/(-36). Sort z, 4, -1.
z, -1, 4
Let w be (4 + 120/(-25))/((-1)/(-80)). Let b = w - -61. Put b, -1/6, 3, -2/3 in decreasing order.
3, -1/6, -2/3, b
Let r = 4 + -1. Suppose -r + 13 = -5*j. Let m be (3 - (-14)/(-4))*0. Sort j, m, -3 in descending order.
m, j, -3
Suppose -l = -5*p - 18, -14 = 4*p + 2*l - 3*l. Suppose -o = -2*b - 9, 19 = 4*o + b + 28. Sort o, 4, p in descending order.
4, o, p
Let z(n) = -n**3 - 12*n**2 - 25*n + 16. Let y be z(-9). Put -5, 1, 3, y in ascending order.
-5, y, 