. Let o(s) = 4*a(s) - 7*b(s). Let z be o(1). Put z, 3, -2 in descending order.
3, -2, z
Suppose 3*s - 2*h - 15 + 2 = 0, -5*s - 5*h - 20 = 0. Sort -2, 7, s, 3 in increasing order.
-2, s, 3, 7
Let x(p) = 2*p - 3. Let d be x(4). Suppose -8*y + 15 = -5*y - 3*m, -4*m = -y + 11. Sort y, 0, d.
0, y, d
Let a = -73 - -66. Put 1, a, 3, 0 in decreasing order.
3, 1, 0, a
Suppose 5*a + 0*a = -4*r - 10, 3*r = 0. Let h = -0.01 + 3.01. Sort h, 1, a in descending order.
h, 1, a
Let v(z) = z + 7. Let i be v(-7). Suppose 2*m = -i*m - 2. Sort m, -5, 3 in decreasing order.
3, m, -5
Let i = 7 - 4. Let b = -0.6 - -0.5. Put 2, b, i in increasing order.
b, 2, i
Let y = 0.3 - -0.1. Let b = -3 - -4. Sort b, y, -0.2 in increasing order.
-0.2, y, b
Let q = 38 - 38.023. Put 2/5, q, 1 in ascending order.
q, 2/5, 1
Suppose g - 2 = -0*g. Let k be 2 - (-2 + g + 1). Sort 3, 0, k in decreasing order.
3, k, 0
Let w(v) = -v**2 - v + 2. Let t be w(2). Suppose 3*o + o = 24. Let r = -5 + o. Put t, -3, r in ascending order.
t, -3, r
Suppose 3*p + 4 = 2*p. Suppose -24 = 4*m - 3*c, 4*m + 21 = 2*c - 3. Let d = m - -5. Sort 0, p, d in ascending order.
p, d, 0
Let l = 4 - 5.5. Let m = -1 - l. Let a be -17*1/6 + 3. Sort -2/5, a, m in descending order.
m, a, -2/5
Let r = -453/8 - -57. Sort -1, -5, r, -1/4 in decreasing order.
r, -1/4, -1, -5
Suppose -2*m = -3*h - 14, -5*h = -m + 1 + 13. Sort 0.5, 0.02, m in descending order.
m, 0.5, 0.02
Let s be (4 - 8 - -7)*2/(-12). Suppose -3*k = -5*k - 4. Sort -4, k, s in ascending order.
-4, k, s
Let h = 28 + -31. Sort -2, -4, h in ascending order.
-4, h, -2
Suppose -9*y + 289 = 37. Put -1, 4, y in increasing order.
-1, 4, y
Let l = -35 - -25. Let n = l - -11. Sort n, 4, -0.1.
-0.1, n, 4
Suppose 0 = x - 0*o + 5*o - 17, 3*x = 4*o - 6. Let q be (-33)/(-5) - (-6)/(-10). Let a = q + -8. Sort a, x, -3 in decreasing order.
x, a, -3
Let z be -1 + 4/1 + -1. Let c = 114 + -459/4. Sort c, 3, z in descending order.
3, z, c
Let q = 6 - 6. Suppose -r - 4 + 2 = 0. Let s be ((-18)/(-15))/(r/(-5)). Sort -5, q, s in decreasing order.
s, q, -5
Suppose 0 = -2*o - 18 - 8. Let d = -13 - o. Sort d, 0.1, -0.3 in increasing order.
-0.3, d, 0.1
Let o be 1*(-2)/3*3. Let z(q) = q**2 - 4*q + 4. Let m be z(4). Suppose -3*h = -m*h - 5*f - 15, 3 = -3*h - f. Put -5, o, h in increasing order.
-5, o, h
Let d(t) = 2*t + 1. Let c be d(2). Suppose 5*y - 24 + 29 = 0. Sort c, 2, y in decreasing order.
c, 2, y
Let g(q) = -q + 4. Let k be g(0). Suppose 3*h + 1 = -2*l, -3*h - h = -2*l + 6. Put 0, l, k in ascending order.
0, l, k
Let t = 0.22 + 0.08. Let n = 0.3 - 1.3. Sort t, n, 1 in descending order.
1, t, n
Suppose 0 = -w - 5*n - 7, 5*w - 2 - 3 = -5*n. Let g(j) = -j - 6. Let z be g(-3). Sort w, z, 1.
z, 1, w
Suppose -3*n - 18 + 3 = 0. Put 5, -4, n in increasing order.
n, -4, 5
Let m(s) = s + 25. Let h be m(0). Suppose 5*y - h = 0, r - 45 = -5*y - 19. Let z be (2/8 - 1)*4. Sort r, -5, z.
-5, z, r
Let m = -895/16 + 56. Let u = 41/144 - m. Put 1/4, 1, u in ascending order.
u, 1/4, 1
Suppose 3*u - 39 = 5*o, 4*u + 0*u - 35 = o. Let d(q) = -q**2 + 6*q + 11. Let w be d(u). Sort 0.5, w, 2/11 in descending order.
0.5, 2/11, w
Let n = 1 + -4. Suppose 0 = k + k + 22. Let o = -6 - k. Sort o, -2, n in increasing order.
n, -2, o
Suppose p + 20 = -5*j, 1 = 3*j + 10. Let v = 3 + p. Sort 5, -3, v in ascending order.
-3, v, 5
Let g = 414281/10 - 41506. Let u = 78 + g. Sort u, 3, 4 in increasing order.
u, 3, 4
Let y(b) = -b - 2. Let o be y(-4). Suppose 4*t + 18 = 2*l, 0 = -4*l + 3*t + 25 + 1. Put -1, o, l in decreasing order.
l, o, -1
Let r = -22 - -23. Sort 2, r, 6 in increasing order.
r, 2, 6
Let r be (-20)/(-5)*-1 + 5. Put -4, r, 4 in descending order.
4, r, -4
Let g be ((-2)/10)/(4*2/16). Let j = -0.8 + 0.68. Put g, 0, j in increasing order.
g, j, 0
Suppose -3*h = -4*u - 21, 3 = -4*h - 0*u - 5*u. Put 17, 5, h in increasing order.
h, 5, 17
Let w be ((-555)/70)/(6/(-176)). Let g = w - 233. Sort g, 2/17, 3 in decreasing order.
3, 2/17, g
Suppose 4*f = 2*f. Put 1, -4, f in ascending order.
-4, f, 1
Let o(n) = -4*n**3 + n**2 - 1. Suppose 3*a = -3*l - 18, a = -4*l - 15 - 6. Let j be o(a). Put -5, j, 6 in descending order.
6, j, -5
Let g = 0.632 - -0.038. Let t = 0.17 - g. Put -2, 2, t in increasing order.
-2, t, 2
Let o = -8 - -6. Let y = -2.3 - o. Sort -2/9, y, -0.4.
-0.4, y, -2/9
Let y = 1 - 1.2. Let f = y - 0. Let v = 37 + -107/3. Put v, -5, f in decreasing order.
v, f, -5
Let o be (-1 - 1/(-2))*-6. Suppose 4*c + 0*q = 3*q + 16, 5*q + 8 = 2*c. Suppose -c*b = -2*z + 22, 3*z + 0*z + 2 = -b. Sort -3, o, b in increasing order.
b, -3, o
Suppose n = 3*a, -3*n + n + 3 = -3*a. Let d(b) = b + 1. Let f be d(0). Sort n, f, -4 in increasing order.
-4, f, n
Let c(i) = -2*i**3 - i**3 - 5 - 5*i**2 + 4*i**3 + i. Let s be c(5). Suppose -5*h = -s*h + 20. Sort h, -2, 1 in descending order.
1, -2, h
Let g = 2.6 - 1.6. Sort -0.2, g, 0.2 in descending order.
g, 0.2, -0.2
Suppose -4*f + 5*m = -33, -f - 4*m - 18 = -0*m. Put -4, -6, f in decreasing order.
f, -4, -6
Let a be 2 - 3 - (0 - 1). Put a, -4, -1 in descending order.
a, -1, -4
Suppose 0 = 5*h + 8 - 3. Put -5, 2, h in decreasing order.
2, h, -5
Let g = -4/79 + -122/711. Put 0.5, 6/19, 0, g in increasing order.
g, 0, 6/19, 0.5
Let m(c) = -c**2 - 8*c - 6. Let h be m(-4). Suppose -5*i + 4 - 29 = -4*z, z - h = 2*i. Let a be 3/(3 - z) - -1. Sort 1, -0.1, a in ascending order.
-0.1, 1, a
Let b be 10 + (-8 - 6) + 4 + 1. Let h = 14 + -41/3. Put b, h, 0 in descending order.
b, h, 0
Let f be (1 - 13/3)/(34/102). Put 2, -4, f, -1 in increasing order.
f, -4, -1, 2
Let p = -141/5 + 28. Let k be (5/2325)/((-1)/313). Let d = k + 1/155. Sort -2, d, p.
-2, d, p
Let y be 2/((-4)/(-2)) - 1. Sort y, 4, -5 in decreasing order.
4, y, -5
Let n = 734 + -736. Let g = -2.1 - -2. Sort 5, n, g.
n, g, 5
Suppose m - 25 = -4*m. Sort 2, m, -3 in increasing order.
-3, 2, m
Let j = -6 + 5.93. Let l = j - 0.23. Sort 1/2, l, 0.4 in descending order.
1/2, 0.4, l
Let b = -13.7 - -13. Let m = b - -0.3. Let t = m + 0.4. Sort -2/7, t, 2/5 in ascending order.
-2/7, t, 2/5
Let s(d) = 2*d**3 + d. Suppose -5 = r - 2*r. Suppose -2 = -2*i, 0 = -r*a - 0*i - 4*i + 9. Let p be s(a). Put 0, p, 4 in decreasing order.
4, p, 0
Let w be (48/(-5) - (-30)/(-75))/(-2). Put 2, w, 8 in increasing order.
2, w, 8
Suppose 48 = -3*m + 7*m. Let w = -17 + m. Let x(h) = -h**3 - 3*h**2 - h + 1. Let c be x(-2). Put w, 1, c in descending order.
1, c, w
Let j be -28*(0 - 2/4). Let f be ((-36)/j)/3 + 1. Sort f, 0.1, -3/8 in decreasing order.
f, 0.1, -3/8
Suppose 4 = 2*v + 2*r, -2*r = -4*v + 2*r - 8. Sort 4, -2, v.
-2, v, 4
Suppose 0*c + 10 = g + 5*c, 2*g = 4*c + 6. Suppose 2*a + q = a + 9, 2*q = a. Let v = a + -10. Sort g, v, 1 in decreasing order.
g, 1, v
Let o(l) = l**3 - 9*l**2 - 10*l + 3. Let n be o(10). Suppose -n + 5 = u. Sort 4, 1, u in descending order.
4, u, 1
Let p = -148 - -147. Sort p, 3, 5, 4 in decreasing order.
5, 4, 3, p
Suppose -3*z = z - 20. Suppose 0 = o + 2*l - 4*l + 8, o - 12 = -2*l. Sort o, 0, z in decreasing order.
z, o, 0
Let f = -102 - -102. Sort 4, 1, 3/2, f.
f, 1, 3/2, 4
Let h be (6 - 5)/(12/9). Let o = 259/6 - 43. Put h, 2, o in ascending order.
o, h, 2
Let l = 6.9 - 8. Let k = l - -6.1. Sort 0.5, -5, k.
-5, 0.5, k
Let k = -287/445 + 4/89. Sort 0, k, -3 in descending order.
0, k, -3
Let h = 0.63 - -0.37. Sort -3, h, 2/5.
-3, 2/5, h
Let n be 14*(6/(-7))/(-3). Sort n, -0.3, 3 in ascending order.
-0.3, 3, n
Suppose -3*h - h = 32. Let b be (-10)/h - 2/8. Put -1, -2, b in descending order.
b, -1, -2
Let h = 31 + -34. Let o(j) = -j**3 - 7*j**2 + 1. Let q be o(-7). Suppose m + i = 5*i - 4, -i = m - q. Put 2, h, m in decreasing order.
2, m, h
Suppose -4*i + 110 = i. Let n be 40/i + (-6)/(-33). Suppose n*s - 7*s + 15 = 0. Sort 5, s, -3 in decreasing order.
5, s, -3
Let g = -0.22 - -0.32. Sort g, -0.4, -0.2 in decreasing order.
g, -0.2, -0.4
Let q(c) = c + 19. Let z be q(-15). Suppose -2*s + s + 4*m = -20, -z*s - m + 12 = 0. Sort -4, s, -1 in increasing order.
-4, -1, s
Let i be 2/5 - (1 - 1). Let x = 0.57 + -0.27. Put 0, i, x in ascending order.
0, x, i
Let v = 3.898 - -0.152. Let c = -4 + v. Let z = -0.25 + c. Put z, -0.4, -2 in decreasing order.
z, -0.4, -2
Let m = -0.25 - 0.05. Put m, 1, -2/7 in ascending order.
m, -2/7, 