5 + 3. Let v be 2/(-4)*(18 - (27 - 9)). Sort -13, a, -4, v.
-13, -4, a, v
Let l(z) = 2*z + 121. Let m be l(3). Sort 0, 3, m, -2.
-2, 0, 3, m
Suppose -2*n = w - 141 - 0, 0 = -3*n + 3*w + 225. Sort n, -10, 2.
-10, 2, n
Let s = 21500 - 21499.7. Sort s, 7, 4, -5 in increasing order.
-5, s, 4, 7
Let d = 17.02 + -44.02. Let t = -69 - -97. Let z = d + t. Sort -0.1, z, -10 in increasing order.
-10, -0.1, z
Let x = -1517 + 1512. Sort 3, 1, -45, 4, x.
-45, x, 1, 3, 4
Let y = -33.7 + 43.4. Let i = y - 9.3. Let v be 4/(-12) + 34/66. Sort v, 5, i, -0.5.
-0.5, v, i, 5
Let i = -25.644 + 26.044. Sort -4, i, 73, 2/23, 5 in increasing order.
-4, 2/23, i, 5, 73
Let p = -7.191 - -80.291. Sort 0, p, 1 in descending order.
p, 1, 0
Suppose 0 = r - 4*b - 6, -15 = 5*r - 10*r + 5*b. Put 1, 210, 4, -5, r in ascending order.
-5, 1, r, 4, 210
Let g be (5/((-5)/12))/(1 - 2). Let z = -33 + 37. Suppose 0 = c - z, -5*o + g = 2*c - 11. Sort 4, o, 0 in decreasing order.
4, o, 0
Let d = 366 - 355. Suppose -s - d = 4*s - g, 5*g - 1 = -2*s. Sort s, 5, -10, 0 in decreasing order.
5, 0, s, -10
Let t = -0.1814 + 0.2304. Sort -2, t, -1.
-2, -1, t
Let p(a) = a**3 + 10*a**2 - 25*a - 14. Let z be p(-12). Let s be (2 - z)*-1*2/4. Sort -14, s, 2/5 in descending order.
2/5, s, -14
Let k = -10861 - -10861. Sort 2, -5, k, -77.
-77, -5, k, 2
Suppose 5*i + 3*d - 10 = 0, 4*d = 3*i + 2*d - 25. Let r be (-15)/25 + (-17)/i. Suppose w = 5*m + 5, -3*w + 15 = m + 3*m. Sort 1, r, m in decreasing order.
1, m, r
Let t be (-4)/(-26) - -22*6205/(-2431). Suppose 0 = 2*y - 6*y. Sort 1, t, y, 3.
t, y, 1, 3
Let w(z) = -z**2 + 17*z + 32. Let j be (-1534)/(-65) + 3/(-5). Let s be w(j). Let h = s + 113. Put -1/2, -5/3, h in decreasing order.
h, -1/2, -5/3
Let r be 79086/420*((-4443)/(-4452) - 1). Let i = r + 3/530. Let z = 2.8 + -3. Sort z, 1, 2, i in descending order.
2, 1, z, i
Let x(i) = 156*i**2 - 9*i - 19. Let v be x(-2). Let u = v - 615. Put u, 7, 4, -4 in decreasing order.
u, 7, 4, -4
Let h be (-746)/(-13428) + 89/18. Let o = -20 + 9. Sort -4, 0.3, o, h in decreasing order.
h, 0.3, -4, o
Let t(f) = f**2 - 3*f - 6. Let q be t(5). Let n be 2/(-14) - -58*2/224. Let p = 370.8 + -372.8. Sort q, p, n.
p, n, q
Suppose 488 + 0 = -122*t. Suppose 4 + 2 = -2*h. Sort t, -5, 5, h in increasing order.
-5, t, h, 5
Let m = 0.03051 + 4.96949. Sort -0.3, 0.5, 5/4, m, -20 in descending order.
m, 5/4, 0.5, -0.3, -20
Let i = 38 + -92. Let y = i + 55. Let d be (y/(-2))/(1/2 + 1). Put d, 0.09, 0.1 in decreasing order.
0.1, 0.09, d
Let j = -8046.5 + 8047. Sort j, 0.04, -0.4, -0.6, -1/11.
-0.6, -0.4, -1/11, 0.04, j
Let t be (-2)/(-5) + 8/180. Let n = -0.714 - -57.714. Let j = -62 + n. Sort t, j, 2/5, -0.1.
j, -0.1, 2/5, t
Let m = 181 + -145. Suppose -3*l - m = 2*i + 117, -i = 3*l + 156. Put 4, 5, l in descending order.
5, 4, l
Suppose 0*m + 2*n - 149 = -5*m, 2*m + 5*n - 47 = 0. Suppose 39 + m = -2*d. Let i = -33 - d. Sort i, -2, 2/7 in descending order.
i, 2/7, -2
Suppose -168*p - 446 + 3806 = 0. Put 3, -2, -52, p in increasing order.
-52, -2, 3, p
Let v = 18 + 26. Let k be -8 + 136/20 + 8/(-10). Sort k, v, 1 in ascending order.
k, 1, v
Let s(l) = -l**3 + 10*l**2 - l + 15. Let q be s(10). Suppose -98*w = -2*r - 94*w, -3*r - 1 = -q*w. Suppose z = -0*z - 5. Put -7, 4, z, r in descending order.
4, r, z, -7
Suppose 3*w = u + 15, 18*w + 11 = -5*u + 17*w. Suppose -11 - 1 = -4*h, 0 = 2*b + h + 1. Put u, -9, b in decreasing order.
b, u, -9
Suppose 772*o - 330 = 750*o. Put -97, o, -3 in descending order.
o, -3, -97
Let g be ((-1680)/735)/((-8)/14). Sort 3, -40, g, 20 in descending order.
20, g, 3, -40
Suppose -3*m + 11 = 5*r, 98 = 2*m + 4*r + 90. Let p be (10/3)/(6/9). Suppose -8 = -p*w + 12. Sort m, w, 0, 3 in ascending order.
0, m, 3, w
Let o = 7 + -12. Let v = 101321/20 - 5066. Sort -2, o, v in ascending order.
o, -2, v
Let a = 10412 - 10409. Suppose -3*s + 5*s - 26 = -5*j, 2*j = 8. Suppose -5*v + 4 = -s*g - 13, -16 = -3*v - 4*g. Sort v, 0, -3, a.
-3, 0, a, v
Let y(t) = 42*t**2 + 1. Let l be y(-1). Let o = l + -41. Let g be (-2 + 4)*(-7)/(-2). Sort g, -2, o.
-2, o, g
Let b(u) = u - 20. Let w be b(17). Let n = 283/2 + -845/6. Put -55/4, w, n in decreasing order.
n, w, -55/4
Suppose -4*b = -13 - 3. Suppose 14 = -b*v + 2*q - 28, -q = 3*v + 19. Sort -3, 3, v, 2 in increasing order.
v, -3, 2, 3
Let c be 3/2*8/3. Let x be (88/28)/(7/49). Put 2, x, c in descending order.
x, c, 2
Let k = -7 + 7.7. Let y = 118330 + -118330.9. Sort 0.5, k, y in ascending order.
y, 0.5, k
Suppose -4*n + 5*n = -4. Suppose -33*k = 5*r - 28*k + 25, 5*r = -4*k - 25. Put 4, r, -2, n in ascending order.
r, n, -2, 4
Let n = 56 - 40. Let s = n + -11. Let f = 896.7 + -898.7. Sort f, 2/3, 2, s.
f, 2/3, 2, s
Let o(v) = -2*v - 2. Let w be o(-2). Suppose -4*b = -x + 17, 163*x = 4*b + 158*x + 5. Sort -20, -4, w, b in increasing order.
-20, b, -4, w
Suppose 205*t - 261*t - 168 = 0. Suppose -7*w + 8*w = 3. Suppose -4*f = -2*f. Put w, f, t in decreasing order.
w, f, t
Let z = 197660 - 984917/5. Let c = 677 - z. Put c, -2, 40, 5 in ascending order.
-2, c, 5, 40
Suppose -2*u + 5*f + 6 = 0, 0 = 3*u - 3*f - 2*f + 1. Let m be 39/u + (-18)/42. Let j be (m/7)/(250/(-175)). Sort -6, j, 0.5.
-6, 0.5, j
Let i be 221/312*-4 - 2/12. Sort i, 1, -4, 0, -27 in decreasing order.
1, 0, i, -4, -27
Let w = -2 - -0.6. Let n = -1.5 - w. Let h = 90/259 - -3/37. Put 1/4, h, n in decreasing order.
h, 1/4, n
Let l be 3/4 + 2071/76 + -18. Let u = 92 - 91. Let p be ((-10)/(-6))/((-1)/3). Put p, u, l in increasing order.
p, u, l
Let a = 1669 + -1667. Sort -0.04, -4, 9, a in increasing order.
-4, -0.04, a, 9
Let r be (32/44)/4 - 336/(-88). Let o(p) = -p**2 - 17*p - 3. Let c be o(-17). Sort r, -13, c.
-13, c, r
Suppose 0 = -4*d + 5*p - 12 - 20, 19 = -5*d + p. Let u = 24 + -18. Suppose 7*y + 20 = u. Put -4, y, -5, d in descending order.
y, d, -4, -5
Let c = -1094 + 665. Let n = 425 + c. Put 57, 4, n in descending order.
57, 4, n
Let h = 5443 - 5426. Sort 2, 11, h, 4 in descending order.
h, 11, 4, 2
Let v = -0.98 - -1.48. Let i = -2.88 - -2.91. Sort -6, v, i in ascending order.
-6, i, v
Let j = 234 + -66. Let w = 185 - j. Sort -5, -2, w, 1.
-5, -2, 1, w
Let m = -16326 - -16387. Let k = -74 + 134. Let l = k - m. Sort l, 0.1, -2/17, -1/4.
l, -1/4, -2/17, 0.1
Let g(b) = -b**3 + b**2 - 3*b + 4. Let v be g(0). Suppose 4*i = 16, -40 + 2 = -3*p - 5*i. Sort p, v, -3 in ascending order.
-3, v, p
Suppose 4*y = -2*k, -3*y + 79 = -k + 74. Sort -4, -0.0444, -3, k in ascending order.
-4, -3, k, -0.0444
Suppose -7 = o - 0. Let d = 2 + -6. Suppose -3*s - 108*c - 18 = -105*c, -5*c - 30 = s. Sort s, 2, o, d in increasing order.
o, d, s, 2
Let w(o) = -o**2 - 3*o. Let d be w(-3). Let r(p) = -6*p + 254. Let y(q) = q. Let h(l) = r(l) - 3*y(l). Let g be h(29). Sort d, 2, g, 5.
g, d, 2, 5
Let d be (-71)/(923/(-39))*(-2)/(-9). Let k(l) = -l + 3. Suppose s = -0*s. Let m be k(s). Sort 2, d, m, -2/15.
-2/15, d, 2, m
Let s be 48/14 + (-102)/238. Let d(v) = v**2 - 4. Let x be d(-2). Sort 1, s, x, -1 in descending order.
s, 1, x, -1
Suppose d + 3*g - 17 = -128, 3*g = -6. Let i = d + 107. Let a = -0.2 + 0.7. Sort -5, i, a in descending order.
i, a, -5
Let s be (40/(-6) + 7)/(22/(-6)). Let w = -12 - -6. Sort -0.2, w, s, 4 in ascending order.
w, -0.2, s, 4
Let v(g) = 169*g - 13008. Let c be v(77). Sort 1, 11, -4, c, 7 in descending order.
11, 7, c, 1, -4
Let y = -4939 - -4936. Put 60, 0.06, y in increasing order.
y, 0.06, 60
Let v(l) = -3*l**2 + 150*l + 465. Let g be v(53). Sort 7, 2, g, 4 in descending order.
7, 4, 2, g
Let u = -36 + 37. Let q = -0.0696 - 0.9304. Let d be (-4)/(-6) - (-17)/(-3). Sort d, u, q.
d, q, u
Let w = -27.3 - -27.7. Sort w, -5, 3/2, 1/75 in ascending order.
-5, 1/75, w, 3/2
Let c = -7/15 + 4/15. Let m = 1.8345 - 0.0345. Suppose 2*a + a = -3*f, 2*f + 15 = -5*a. Put c, a, m in ascending order.
a, c, m
Suppose 1 - 88 = 25*z + 188. Let c = 1/9 - -5/9. Put 0.6, z, c in decreasing order.
c, 0.6, z
Let r be (18/(-24) + 1)/(14/(-8)). Put -2, -17, 0.3, r in increasing order.
-17, -2, r, 0.3
Suppose 4*o = 20, -2*a - a = -2*o - 194. Suppose f + 121 = 2*n, n - 5*f - a = -7*f. Suppose 77 - n = -5*g. Sort 4/3, -1, 0, g.
g, -1, 0, 4/3
Let n = -472 - -471.787. Let f = n + 2.213. Put -5, -3, f, 0 in ascending order.
-5, -3, 0, f
Let