= 9*a - 164. Let x be u(18). Sort x, i, p.
p, x, i
Let q(h) = -h. Let p be q(1). Let j = -41 - -41. Suppose -y - f - 4 = 0, f + 19 = -4*y - j*f. Put y, p, -4 in increasing order.
y, -4, p
Let o = 50 - 34. Let h = -15 + o. Let r be 3/4*h/3. Sort r, 0, -4.
-4, 0, r
Let r = -44 - -46. Suppose -n - 10 = 3*d, n + r = -2*d - 6. Sort -3, 0, n, 1 in ascending order.
n, -3, 0, 1
Let x = -28.928 + -0.072. Let f = -28.6 - x. Sort -1, f, 0.1.
-1, 0.1, f
Let v = -10.5 + -0.5. Let m = 7 + v. Let w be (-3)/5 - (-6)/15. Sort w, 2/11, m in increasing order.
m, w, 2/11
Suppose -3*q = 3*c + 21, -254*q + 257*q + 11 = 2*c. Let n = -2 + -2. Sort 0, 1, c, n in descending order.
1, 0, c, n
Suppose c - 4 = -b + 3*b, -5*b = -4*c + 7. Let x be (-100)/6*(-66)/(-55). Sort b, x, 2 in increasing order.
x, b, 2
Let z(l) = l**2 - 2. Let j be z(-2). Suppose -5*m = 25*f - 26*f + 20, 2*m + 20 = -2*f. Sort -4, j, -24, f.
-24, f, -4, j
Suppose -22*y = -2*y + 80. Put -1, 0, 2, y in decreasing order.
2, 0, -1, y
Let k(a) = 2*a + 1. Let x be k(6). Let r be x/3 - 3/9. Let g = 32162 + -32160. Put 5, g, r in descending order.
5, r, g
Let u = -150.3 - -150. Sort 19, u, 4 in decreasing order.
19, 4, u
Let q = -41 - -44.3. Let b = q - 6.3. Let s = -4.92 + -0.08. Sort b, s, -2 in descending order.
-2, b, s
Let z = -269 + 273. Sort z, -3/4, -5, -0.5 in increasing order.
-5, -3/4, -0.5, z
Let z be (-90)/78 + 1 + (-33)/39. Suppose 2*o - 2*k - 10 = -3*o, 3*o = 4*k + 20. Suppose 0 = 2*v - q + 2, o = -3*v + 2*q - 1. Put 5, z, v in descending order.
5, z, v
Let f(k) = 16*k**2 + 2*k + 1. Let r be f(-1). Let a be ((-1)/1)/((-5)/r). Let h(m) = -2*m + 11. Let x be h(a). Sort -2, 3, x in decreasing order.
x, 3, -2
Let x be ((-28)/(-12) - 1) + (-2 - -1). Let c = -0.05 - 0.05. Put x, c, 1 in decreasing order.
1, x, c
Suppose 0 = 4*d - 4*b + 8, -4*d + 5*b - 6 = 6. Let t(r) = -r**3 + r**2 + 6*r + 21. Let h be t(4). Sort 1, h, d, -2 in decreasing order.
d, 1, -2, h
Let w(v) = v - 5. Let i be w(8). Let h(p) = -p**2 + 9*p + 5. Let u be h(9). Suppose -4*t = u*d - 20, -d + 2*t = d - 8. Sort 5, i, d in descending order.
5, d, i
Suppose -t + 76 = -n, 4*t + 0*t - 322 = -2*n. Let m = t - 81. Suppose 0 = -3*x - 0*x + 3. Sort x, -4, m in descending order.
x, m, -4
Let m(d) = 6*d**2 + 11*d - 12. Let n be m(1). Let q = -37 - -21. Sort q, 3/2, -5/2, n in decreasing order.
n, 3/2, -5/2, q
Let i be 3 + 4 - (-7 - -9). Put 6, 1, i, 4 in increasing order.
1, 4, i, 6
Let f = -213 - -213. Put 5, f, 7 in decreasing order.
7, 5, f
Suppose 4*v - 20 = 4*a, -5*a - 4*v + 7 + 13 = 0. Suppose 0 = 4*x - 3*c - 12, -x + 2*x - 4 = c. Suppose n - 3*n + 6 = x. Put 4, n, a in decreasing order.
4, n, a
Let o = -571 + 573. Put -6, 1, -5, o in decreasing order.
o, 1, -5, -6
Let w = -6.38 + 6.13. Sort 14/9, 2/5, w in increasing order.
w, 2/5, 14/9
Let d(w) = w**3 + 3*w**2 - 2. Let u be d(-3). Suppose -5*h - 4*o = -53, 24*o = -4*h + 26*o + 58. Put 3, -4, h, u in decreasing order.
h, 3, u, -4
Let t = 0 + -5. Let p be -3 - 2 - (0 + 0). Let g be p/(-30) - (2 - 2). Put 0.4, g, t in descending order.
0.4, g, t
Let x be 2/(-4) - (270/(-4))/27. Sort x, -5, 98 in decreasing order.
98, x, -5
Let a = -0.12 + 0.02. Let c = 1.3 + -2. Let m = 0.7 + c. Put a, m, 1/4 in ascending order.
a, m, 1/4
Let l = -2 - -12. Suppose 0*c = -5*c + l. Let j be (-1)/c*(0 + 6). Put -5, j, -1 in descending order.
-1, j, -5
Let h = -620 + 624. Suppose 0 = -5*j - 4*y - 10, -2*j - 4*y = j + 6. Put -1, h, -3, j in increasing order.
-3, j, -1, h
Let j = 1180 + -1187. Sort 1, -6, j in increasing order.
j, -6, 1
Let q(z) = z**2 + 7*z + 7. Let r be q(-6). Let w = -15 + 21. Suppose w = -2*v - v. Sort v, -4, r in ascending order.
-4, v, r
Let u(t) = -35*t**2 - 2*t - 2. Let m be u(-1). Let v = -32 - m. Sort 0, v, 5 in descending order.
5, v, 0
Suppose -5*f + 4*c + 126 = 0, -3*f - 8*c + 81 = -5*c. Put 4, f, -3 in descending order.
f, 4, -3
Let q = 1807 - 12650/7. Let s = 0.2 - -0.8. Sort s, q, -1/3 in increasing order.
-1/3, q, s
Let t = 0.0828 - 3.0828. Let x = -1 + 2. Sort t, x, -1/3 in decreasing order.
x, -1/3, t
Suppose -425 = 7*t - 390. Sort t, 2, -8 in increasing order.
-8, t, 2
Suppose 17 - 16 = y. Sort 0, 4, 2, y in increasing order.
0, y, 2, 4
Let r = -0.2983 + -59.7017. Sort r, 1/10, -1/6 in descending order.
1/10, -1/6, r
Let w(x) = -x**2 - 5*x + 1. Let p be w(-4). Suppose 1 = v + p. Let a(i) = -2*i**2 + 6*i - 3. Let s be a(3). Sort s, 2, v in ascending order.
v, s, 2
Let k(d) = 4*d**2 - 3*d + 4. Let u be k(1). Sort -0.04, -2/5, u in descending order.
u, -0.04, -2/5
Let t = -0.06 - 0.44. Let c = -8.6 + 13.6. Put t, c, 5/2, 2 in decreasing order.
c, 5/2, 2, t
Suppose -m - 4*m + 5*p = -40, -4*m + 37 = -5*p. Suppose 3*q + 4 = 2*q - 3*h, 0 = -4*h - 8. Sort q, m, -1 in decreasing order.
m, q, -1
Let o(j) = -48*j + 6*j**2 - 10 - 4*j**2 + 0 + 56*j. Let b be o(-5). Suppose -z + 3*n + n = -1, -5 = -5*z - 2*n. Sort b, z, 4.
b, z, 4
Let a(p) = -96*p + 165. Let r be a(4). Sort r, 1, -5 in decreasing order.
1, -5, r
Let s = 8.9 + -5.9. Let l(g) = -g**2 - 8*g + 15. Let t be l(-8). Sort s, 1/4, t in descending order.
t, s, 1/4
Let r = 2.665 - -0.335. Let p = 4 + -3. Sort p, r, 2/9, 4 in increasing order.
2/9, p, r, 4
Let l = -4333/3 + 1444. Put -7/5, 3, l in ascending order.
-7/5, l, 3
Suppose n + 2*n = 12. Suppose -q + 5*o - 27 = 0, 8*o - 12 = q + 6*o. Sort q, 2, n in ascending order.
q, 2, n
Let y = -34 + 34. Put 44, 1, y, 5 in decreasing order.
44, 5, 1, y
Let h be (-24)/(-5) + (-5)/(-25). Suppose -4*k - 16 = 4*n, n - 2*n - 5*k = -16. Let z = n + h. Sort -0.3, z, 0.2.
z, -0.3, 0.2
Let a(v) = -8*v + 111. Let s be a(14). Sort s, -0.4, 2/5.
s, -0.4, 2/5
Suppose -10*u = -72 + 32. Sort -2, 5, u in descending order.
5, u, -2
Let h be (-398)/44 + 12 + -3. Put -5, 2, h in increasing order.
-5, h, 2
Suppose -4*y + 908 = 160. Let c = -1499/8 + y. Sort 4/3, 1/3, c, -0.5 in increasing order.
-0.5, c, 1/3, 4/3
Let j(n) = -61*n**2 + 1. Let w be j(1). Let z be 10/35 - w/(-14). Let r = 0 - z. Sort r, -4, 3 in descending order.
r, 3, -4
Suppose 0 = -2*r - 10 + 4. Let s = 28 - 28.26. Let i = s - -0.66. Sort i, r, -0.3 in decreasing order.
i, -0.3, r
Let f be -2*(0 - (-3)/2). Put -16, 0, f, -2 in ascending order.
-16, f, -2, 0
Suppose -3*f + 7 = -2*d - 13, -4*d - 30 = -f. Let r = d - -11. Sort 1, -5, r in descending order.
r, 1, -5
Let m = -23.5 + 23.6. Sort m, 0.5, -2/5 in decreasing order.
0.5, m, -2/5
Let x(j) = -4*j**2 + j - 1. Let h be x(1). Let p be 1/6 + 867/306. Sort h, p, 1, -1 in ascending order.
h, -1, 1, p
Let v = -35.6 - -35.4. Sort 0.4, 2/15, v, -2/11.
v, -2/11, 2/15, 0.4
Let z = 0.03 - -0.27. Let v = -0.0543 + -317.9457. Let q = -319 - v. Sort 2/17, z, q.
q, 2/17, z
Let b(p) = p**3 + 13*p**2 + 16*p + 14. Let w be b(-10). Let a be ((-1)/(-3))/(w/1008) - 2. Sort 2, 1/2, a, 10 in descending order.
10, 2, 1/2, a
Suppose -33*m = -37*m. Put m, -2, 3/2, 92 in increasing order.
-2, m, 3/2, 92
Let o = -35 + 39. Let w = -10/27 + -38/189. Put o, w, -6 in increasing order.
-6, w, o
Let h be 2 - ((-9)/1)/3. Suppose i = h*i. Suppose 2*b + 2 = -i*b. Sort 1, b, 4 in increasing order.
b, 1, 4
Let f = -4599/6068 + 12/1517. Let i = -0.04 + 4.04. Sort f, i, 13 in decreasing order.
13, i, f
Suppose -5*q + q - 3*v = -8, -8 = 2*v. Suppose 5*w = x - 13, -7*w + 4*w + 9 = q*x. Suppose 0 = 3*m - 6 - x. Put 17, m, -2 in ascending order.
-2, m, 17
Suppose -25*w = -18*w - 28. Sort 16, w, 2 in decreasing order.
16, w, 2
Let r = -104/21 + 14/3. Sort r, 4, 1, -3 in descending order.
4, 1, r, -3
Let q = 302 - 301.863. Let d = -3.137 + q. Sort -0.2, d, 5, -2 in increasing order.
d, -2, -0.2, 5
Let g = -155 - -159. Sort -4, -5, g in ascending order.
-5, -4, g
Let x = 1.45 - -1.79. Let l = -0.24 + x. Put 1/2, 2/7, l, 0.2 in descending order.
l, 1/2, 2/7, 0.2
Suppose 4*v = x + 1, -2*v + 3*v + 5 = -5*x. Sort 2/13, -3, x, -1/9 in decreasing order.
2/13, -1/9, x, -3
Let p(b) = -b**3 - b**2 + b - 1. Let s be p(-2). Let g = -1 + 6. Put s, g, -3 in descending order.
g, s, -3
Let g = -49 - -45. Let a = -59 + 61. Sort 2/13, g, -8, a in descending order.
a, 2/13, g, -8
Suppose 29*t + 20*t + 196 = 0. Sort t, 4, 2, 5 in increasing order.
t, 2, 4, 5
Let z = -0.03 - 1.47. Let r = 35 - 36.6. Let o = r - z. Put 0.1, 1, o in ascending order.