.
u, 1, 6
Let x(n) = -4*n**3 - 4*n**2 - 2*n + 2. Suppose -u + 5*u + 12 = -2*r, 5*r - 5*u = 0. Let d be x(r). Let k = 23 - d. Sort k, 5, -3 in descending order.
5, k, -3
Suppose 2*u + 2*u - 8 = 0. Suppose -u*g + 5 + 3 = 0. Let j be (2/g)/((-1)/(-6)). Put j, 1, -3 in ascending order.
-3, 1, j
Let w = 10828 - 53868/5. Let f = w + -54. Put 14, f, 1 in descending order.
14, 1, f
Let i = -30 - -17. Let j be 2/(-2) + i/((-26)/8). Sort j, 0, -1 in descending order.
j, 0, -1
Let w(r) = -118*r**3 - 3*r**2 + 2*r. Let c be w(1). Let f = c - -114. Put f, -4, 0, -0.2 in descending order.
0, -0.2, -4, f
Let x = 95 - -47. Let f = x + -139. Suppose t - 3*t + 4 = 0. Put t, -17, f in ascending order.
-17, t, f
Suppose 12*h + 12 = 12. Put -4, 1, 2, h in ascending order.
-4, h, 1, 2
Suppose 8 - 11 = -f, 0 = d - 3*f + 24. Let v be -1 + 3 + 1/1. Put d, v, -4 in decreasing order.
v, -4, d
Let i = -854 - -853.4. Sort 8, i, 0.3 in decreasing order.
8, 0.3, i
Let x = 7 - 6.995. Let s be 3/15 + (-161)/105. Put x, 2/5, s in descending order.
2/5, x, s
Suppose 5 = 4*s + s. Suppose 2*y - 94 = 72. Let l = y - 80. Put -2, s, l in descending order.
l, s, -2
Let f = 9.06 + -8.96. Put f, 1.2, -13/2 in descending order.
1.2, f, -13/2
Let d(s) be the second derivative of -s**3/3 + 29*s**2/2 - 8*s. Let g be d(15). Sort -2, g, -5 in descending order.
g, -2, -5
Let x = 12 - 12.4. Let d = -0.15 + -6.45. Let i = -0.4 + d. Sort -2, x, i in decreasing order.
x, -2, i
Let r be (-46)/10 + 6/(-15). Let g be ((-18)/(-8))/(-1 + 15/12). Let y = g + r. Put -1, y, -4 in increasing order.
-4, -1, y
Let w be 10/4*(60/(-25))/2. Put 4, -6, w in increasing order.
-6, w, 4
Suppose -3*x - 8 = -5*d - 35, -2*x = -8. Sort d, 2, -2, 5 in decreasing order.
5, 2, -2, d
Let k = -0.01 - -5.01. Let z = k + -1. Let s = 0 + z. Sort 0, 1/2, s in decreasing order.
s, 1/2, 0
Let a = -14963 + 14967. Let u = 2 - 3. Let f be 0 + (u - -3) + 1. Put a, -5, f in decreasing order.
a, f, -5
Let n = -221 - -222.1. Sort -2/7, n, -4/7.
-4/7, -2/7, n
Suppose 0 = -5*d - 8 - 2. Suppose a + g - 15 = -3*g, 3*a - 3 = 2*g. Suppose 5*r + i + 10 = 0, 3*i + 1 + 17 = -a*r. Put r, d, -6 in ascending order.
-6, d, r
Suppose -u = -0*u - 3. Let p be u/15 + 1094/30. Let y = p + -36. Put 0.4, 2/17, y in decreasing order.
y, 0.4, 2/17
Suppose p - 4 = -2*a, 4*a - 15 = -p - 5. Sort p, 5, 46.
p, 5, 46
Let o = 260.6 - 261. Sort o, 16, 2 in increasing order.
o, 2, 16
Let o = -8.9 - -8. Let k = o + 3.9. Let u = 8 - 8.4. Sort u, k, 4.
u, k, 4
Let c be ((-6321)/(-90))/((-109)/9). Let k = c - 1/1090. Let d = k + 77/15. Put d, 4, 7 in descending order.
7, 4, d
Let k = 9 - 9. Let p = k - -0.4. Let r = p + -0.4. Sort r, -0.3, -0.4 in descending order.
r, -0.3, -0.4
Let j be 0/1 - (-2)/(-11). Let h = 5.019 - 1.019. Sort h, j, 0.1 in increasing order.
j, 0.1, h
Let v be 49/(-315) - (-17)/306. Put v, -91, 2 in ascending order.
-91, v, 2
Let i(f) = -3*f - 1. Let y be i(-5). Suppose -30 = 9*r - y*r. Suppose 0 = -r*u + 8*u - 4. Sort u, -1, -3 in descending order.
u, -1, -3
Let q be (-78)/18 + 2/(-3). Suppose 0 = -m + 11*m - 40. Put q, 2, 7, m in descending order.
7, m, 2, q
Let w(b) = b**2 + 8*b + 7. Let q be w(-7). Suppose 0 = -2*s - 5*t - 86, -4*t - 24 - 19 = s. Let j = s + 47. Sort q, -1, j in descending order.
j, q, -1
Suppose -3 = -2*d + 7. Let m = -2688 + 2686. Sort d, m, -5 in decreasing order.
d, m, -5
Suppose h - 9 = -4*d, -2*d + 2 = 5*h - 7. Suppose -106*z - 1 = 3*p - 104*z, -2*z = -p - 3. Sort -6, p, h in descending order.
h, p, -6
Let r = -256 + 260. Put r, 5, -1, -5 in decreasing order.
5, r, -1, -5
Let x = -0.61 - -0.31. Let g = 106/3 - 36. Put 2/15, 0.5, x, g in increasing order.
g, x, 2/15, 0.5
Let y(o) = -28*o + 23. Let t be y(1). Sort 5, t, -1/4 in increasing order.
t, -1/4, 5
Suppose -2*h - 10 = 6*p - 2*p, 0 = -2*p. Let a = -0.1 - 21.9. Let d = a - -23. Sort 0, d, h in decreasing order.
d, 0, h
Let d = -18 - -23. Suppose 2*z = d*z + 9. Let i be (-2 + 2)*(-5)/(-10). Sort z, i, -5 in decreasing order.
i, z, -5
Let o(d) = -2 - 3 + d + 2 + 6. Let h be o(2). Suppose -2*f = -0*f - 4. Sort 4, h, f in decreasing order.
h, 4, f
Let z(d) = d**3 - d**2 + 3*d - 4. Let i be z(3). Suppose b = 35 - i. Let f = -0.7 + -2.3. Sort -4, f, b.
-4, f, b
Suppose 2*b + 15 = 3*d + b, -5*d - 5*b = -25. Suppose -43*g = -44*g. Put d, -5, -2, g in decreasing order.
d, g, -2, -5
Let o = 2 + 1. Let l be 2/3*9/(-2). Put -1, l, 1, o in ascending order.
l, -1, 1, o
Suppose 2*k - 42 = 23*k. Sort 14, 0, k, 3 in decreasing order.
14, 3, 0, k
Suppose -11 = 4*g - 5*r, 0 = 3*r + 12 + 3. Let n = -1084 + 1089. Sort 1, g, n in decreasing order.
n, 1, g
Let n = -720 + 720.4. Sort -3, n, 0.5, -0.363 in ascending order.
-3, -0.363, n, 0.5
Let u = 10713 + -10712.8. Let d = -12 + 21. Put u, -2, d, 3 in ascending order.
-2, u, 3, d
Let s = 114 - 108. Let z be s/45 + 411/(-45) + 2. Sort -2, z, 4, -3.
z, -3, -2, 4
Let r be (-220)/85 + 4 + -6 - -4. Sort 14, 5, r in descending order.
14, 5, r
Let p(x) = -x - 3. Let u(q) = -q + 2. Let b be u(7). Let r be p(b). Let j(f) = -f**3 + 4*f**2 - 5*f + 3. Let t be j(1). Put -5, t, r in descending order.
r, t, -5
Let k(w) = w**2 + 4*w - 8. Let q be k(-6). Let d be (-3)/(30/20) - -4. Put 3, q, 0, d in descending order.
q, 3, d, 0
Suppose 3*w + 0*w = -12. Let s be w/26 + 162/39. Let m(c) = c**3 + 12*c**2 - c - 4. Let t be m(-12). Sort 2, s, t in ascending order.
2, s, t
Let x = 6 + -3. Let j be (0 + 36/x)*-1. Put 4, 0, j, -3 in decreasing order.
4, 0, -3, j
Suppose -2*w + 5*w = -84. Let o = w - -33. Sort o, -2, -5 in descending order.
o, -2, -5
Let j = 121 - 124. Put 0, j, 10 in ascending order.
j, 0, 10
Let m = 331 + -326. Sort -3/20, 3, m in decreasing order.
m, 3, -3/20
Let n = 2.52 + -2.42. Sort -0.1, 0.9, -5, n.
-5, -0.1, n, 0.9
Suppose 6*i - 600 = -0*i. Suppose 2*n + i + 20 = 0. Let x be (12/n)/(8/15). Sort 5, -3/7, x.
-3/7, x, 5
Let a = 1394 - 1389. Sort a, -3/19, -0.5 in decreasing order.
a, -3/19, -0.5
Let s = 5 + -4. Let w be (-26 + 2)/(-6) + 34. Put w, s, 3 in decreasing order.
w, 3, s
Suppose 4*s - 5 = 11. Put -6, -5, s, 3 in ascending order.
-6, -5, 3, s
Let s = 14.951 + 0.049. Let t = -16 + s. Sort t, -4, -5, -3/2.
-5, -4, -3/2, t
Let m = -43 + 39. Put -0.2, -0.83, m in descending order.
-0.2, -0.83, m
Let x(r) = -r**2 + 5*r - 2. Let f be x(5). Let a(z) = z**3 - 21*z**2 + 21*z - 17. Let h = 68 + -48. Let c be a(h). Put f, 1, c in descending order.
c, 1, f
Suppose 113*m - 110*m = -9. Let f = 0 + 4. Suppose -d + 0*a - 12 = 4*a, -3*a = f*d + 9. Sort d, -4, m.
-4, m, d
Let w be -3*(2 - (-1 - -2)). Let i = 8 + 180. Let r = i - 3950/21. Sort w, -5, r in decreasing order.
r, w, -5
Let v = 0.2 + -0.3. Let c = -27 + 46. Suppose 0 = -2*j + 7*g - 2*g - c, -j - 17 = -5*g. Put -7, j, v in increasing order.
-7, j, v
Let z(i) = -i**3 - 4*i**2 - 5*i - 2. Let t be z(-3). Suppose j - 3 + 2 = 0. Let n be j/(-2) - (-22)/4. Sort -2, t, n.
-2, t, n
Let t(d) = d**3 - 11*d**2 - 5*d + 54. Let l be t(11). Sort -10, l, -3 in increasing order.
-10, -3, l
Let h be (-87)/9*3/(-45). Let x = -22/45 - -23/45. Let f = x + h. Sort -2, f, -4 in ascending order.
-4, -2, f
Let d be (-160)/(-26) - 34/221. Sort 3, 52, d.
3, d, 52
Let z = 0.16 + -4.16. Put -11, 1/6, -1/14, z in descending order.
1/6, -1/14, z, -11
Let c(r) = -r**2 + 3*r + 1. Let a be c(3). Let u = 0.09 + -2.09. Let d = 32.9 + -31.8. Sort u, a, d.
u, a, d
Let r be 1/(-7) + (-24)/28. Let f be (1 + -1)/r*1. Put f, 4, 1, 11 in decreasing order.
11, 4, 1, f
Let o = 184 + -180. Sort -1/11, o, 5, -0.3 in descending order.
5, o, -1/11, -0.3
Suppose o - 46 = -8. Let u = -192/5 + o. Sort -1, u, 5, 0 in increasing order.
-1, u, 0, 5
Suppose -29 = 5*c + 4*i - 0*i, 0 = 5*i - 20. Put c, -3, -1 in decreasing order.
-1, -3, c
Suppose 2*a - 2*i + 0*i = -2, -i = 2. Let v = a - -3. Suppose 4*j + v*j = -8. Put 4, 0, j in decreasing order.
4, 0, j
Suppose 0 = -s + 3, 2*s = -4*w - s - 7. Let v = -96 - -94. Sort w, 7, v.
w, v, 7
Let i = 831/4 + -207. Put -42, 0.4, -4, i in ascending order.
-42, -4, 0.4, i
Let s = -187/72 + 19/8. Sort 12, s, 0.2 in descending order.
12, 0.2, s
Let v = -2594 - -2593. Put -19, -9, v in ascending order.
-19, -9, v
Let t = -3 + 3.1. Let b = 20.1 + -21. Let i = b + -0.1. Sort -0.4, t, i.
i, -0.4, t
Let j(d) = 