+ 2*t - 4*t + 2. Let n be c(2). Put -1/6, 2/11, v, n in descending order.
v, 2/11, -1/6, n
Suppose -5*t - 5*x = -3*x - 23, 5*x = -5. Suppose 0 = 16*r - t*r + 22. Put -1, r, 16 in decreasing order.
16, -1, r
Let d(i) = 113*i**3 - i**2 - 2*i - 4. Let q be d(-2). Let j = q - -906. Put j, 8, 0, 11 in decreasing order.
11, 8, 0, j
Let k(z) = -z**2 - z - 3. Let p be k(0). Let w = 0.6217 - 0.9217. Sort p, -0.6, w, 4/9.
p, -0.6, w, 4/9
Let t = -513 + 634.5. Let u = -121 + t. Sort 3, -0.1, 0, u in increasing order.
-0.1, 0, u, 3
Let i = 6676 - 6673. Suppose -4*b - 2 + 22 = 3*p, -4*b = -2*p. Suppose 2*l = -10, 5*l + 3 + 32 = -b*o. Put o, i, -2 in descending order.
i, -2, o
Let q(m) = -4*m + 16. Let r be q(2). Suppose 0 = -2*z - n + 1 - r, 15 = -3*n. Let x = z + 5. Sort -12, -4, x in increasing order.
-12, -4, x
Let o = -294.74 - -295.74. Suppose -7*c = -4*c - 24. Suppose 4*k + c = -4*j, -6*k - j + 6 = -k. Sort 5, k, -2, o in descending order.
5, k, o, -2
Let l = 10909 + -21821/2. Sort -1/4, 3, -35, l, -4 in ascending order.
-35, -4, l, -1/4, 3
Let m = 91/174 - 2/87. Let g(y) be the first derivative of 9*y**2/2 - 4*y - 42. Let f be g(1). Sort -0.2, m, f in decreasing order.
f, m, -0.2
Suppose -8*y + 1 = -16 + 1. Sort y, -15, -4, 3, -6 in descending order.
3, y, -4, -6, -15
Let g = -2 + -1. Let q be 8*(18/8)/(-3). Let i(w) = -2*w**2 - 11*w + 10. Let f be i(q). Put g, f, -5, -2 in ascending order.
-5, g, -2, f
Let b be 3/6 + 1/2. Suppose -16*n + 270 = 334. Suppose -14*i = -3*i + 33. Put b, i, n, 0 in ascending order.
n, i, 0, b
Let j = 66 - 11. Suppose -4*s + 15*s = -j. Sort -0.2, 2/3, -4, s in descending order.
2/3, -0.2, -4, s
Let k be (8*8/16 - 9)/(15/(-9)). Sort -76, k, 0, -1.
-76, -1, 0, k
Suppose j + 2*p = -10, -3*p - 58 + 40 = 0. Sort 1, -10, j in ascending order.
-10, 1, j
Let u be (-3 + 17)*(260/70)/13. Sort -10, -5, -1, u in decreasing order.
u, -1, -5, -10
Let z be 297/(-275) + ((-24)/(-50))/6. Let i be 200/72 - (-4)/18. Put i, 4, z, -13 in descending order.
4, i, z, -13
Suppose 4*t = -5*i - 249, -2*t - 29*i = -33*i + 92. Let l be (-7)/t*-2*(-8)/6. Let z = -5 - -4.7. Put 0.08, z, l in decreasing order.
l, 0.08, z
Suppose 0 = 4*t - 3*c + 186, -7*c = -4*t - 3*c - 184. Let k be (4/7)/(t/168). Sort 3, k, -4, 0 in increasing order.
-4, k, 0, 3
Suppose -3*f + 5 = -u + 1, -4*u - 4*f + 16 = 0. Suppose -52 - 2 = -27*m. Let p be 8 - 7 - -4 - (14 - m). Sort p, u, -4 in increasing order.
p, -4, u
Let n = -162 - -165. Suppose -28 = 5*y - 8. Sort 102, y, 0, n in decreasing order.
102, n, 0, y
Let s = -4981 + 4985. Suppose -3*w - 8 = -k, 5*k = -4*w - w - 40. Sort w, 1, s in ascending order.
w, 1, s
Suppose -5*o = 4*v + 3 + 18, 2 = -o - 3*v. Put 5, 17, o, -2, -3 in increasing order.
o, -3, -2, 5, 17
Suppose 0 = -5*c + 19 + 6. Let v(t) = -5*t**3 + 3*t**3 - 33*t**2 - 2*t**3 + 5*t**3 - 69*t - 41. Let q be v(35). Sort c, -4, q.
q, -4, c
Let g(q) = q**2 + 9*q - 6. Let y be g(-10). Suppose 3*u + 4 = y*u. Let d = 2676 + -2655. Sort u, -5, d in increasing order.
-5, u, d
Suppose -7 = 5*g - 4*h - 0*h, 0 = 3*g - h + 7. Let f be 235/188*(5 - (-105)/(-25)). Sort 2, -16, f, g.
-16, g, f, 2
Let l = -14055/2 - -7026. Sort -16, 1, l in descending order.
1, l, -16
Suppose -63 + 88 = 41*j - 180. Sort 1, 3, -4, 289, j in decreasing order.
289, j, 3, 1, -4
Let b = -1 - -2. Let r = 122 - 132. Let k(i) = -9*i - 80. Let z be k(r). Sort b, 4, z.
b, 4, z
Let x = 271 - 267. Suppose -5*l = -3*z + 10, l - z = -0*z - 4. Sort x, l, -33.
-33, l, x
Suppose 5*g + 5*d = 3*d - 15, 4*g = 3*d - 12. Let o be (0 - (-5 + 5))/1. Sort 4, 2, o, g in decreasing order.
4, 2, o, g
Let y = -8437 + 42189/5. Sort 4, -2, -0.5, 18, y in ascending order.
-2, -0.5, y, 4, 18
Let h be ((-2)/(-4))/((-3)/6). Suppose -4*a = -344 + 1248. Let i = a - -228. Sort h, i, 6 in descending order.
6, i, h
Let k = 34.963 + 0.037. Let q = k + -41. Let u = q - -6.6. Sort u, -0.3, 2, -4 in decreasing order.
2, u, -0.3, -4
Suppose 38*v = 40*v - 28. Let j be -7 - -1 - 0 - (v - 15). Sort j, 0, 5 in increasing order.
j, 0, 5
Let l = -691886.978 - -693100. Let a = -1217 + l. Let t = 0.022 - a. Put 5, -30, t in descending order.
5, t, -30
Let t be (-178 - -38) + 4*-1. Let s be 896/t - (-6 + 0). Sort -3, 3, 0.4, s.
-3, s, 0.4, 3
Let o = -14730 - -15335. Put -4, o, -5, 3 in increasing order.
-5, -4, 3, o
Let r = 15532 - 15535. Put 2/5, 2, -0.4, r, 101 in ascending order.
r, -0.4, 2/5, 2, 101
Let w be ((-1 + 1)/3)/(6 - 7). Suppose 22*x - 35 + 101 = w. Sort 0, x, -7, 33 in ascending order.
-7, x, 0, 33
Let u be (-3)/(-2)*(-30)/9. Let t(y) = -y**2 - 38*y + 258. Let j be t(-44). Put j, u, 4 in decreasing order.
4, u, j
Let q(o) = -o**3 + 39*o**2 + 171*o + 41. Let y be q(43). Sort -4, 5, -6, y, -0.1 in descending order.
5, -0.1, y, -4, -6
Suppose -27 = -6*b + b - z, -5*b - 4*z + 33 = 0. Suppose 2 - 17 = -b*q. Put 2, q, 0 in ascending order.
0, 2, q
Suppose 4*z - 15 = -7. Suppose z*l - 10 = -16. Sort 10, -4, l.
-4, l, 10
Let h be (-36)/(-30)*((-25)/(-10) - 0). Suppose -8*d + 1457 = 1417. Sort h, -26, -5, d.
-26, -5, h, d
Let i = 3.089 + -2.93. Let d = -7.841 - i. Let m be 14/78 - (-8)/(-24). Sort -1/3, 4/3, d, m.
d, -1/3, m, 4/3
Let q(o) = -6*o + 163. Let k be 1 - (1 + -27) - (-77 + 77). Let f be q(k). Sort f, 3, 5 in decreasing order.
5, 3, f
Let p be (-1)/2 + (-2)/12. Let z = 1379.2 - 1380.2. Put -8, z, p in descending order.
p, z, -8
Suppose -252*q + 1270 = 262. Sort -116, -3, q in decreasing order.
q, -3, -116
Let i(f) = -f + 11. Let j be i(16). Let k be (-48)/(-144) + 28/6. Suppose -2 = -l + 2*l. Put -3, l, k, j in descending order.
k, l, -3, j
Let c = -3156 - -3151. Let x = -0.47 - -2.37. Let u = x + -2. Sort -0.4, u, c, 2/5 in decreasing order.
2/5, u, -0.4, c
Suppose -4*y - 6 = o, -49*y - o + 10 = -53*y. Let j(s) = s**3 + 3*s**2 - 1. Let k be j(-1). Put y, -3, k, -66 in descending order.
k, y, -3, -66
Let r be 0 + (1416/(-32) - 1/(-4)). Let d be ((-32)/6)/(r/(-264)). Put -4, d, 2 in ascending order.
d, -4, 2
Let t(f) = -6*f**2 + 66*f - 21. Let o be t(11). Let w be 15/6*(-5 + o/(-5)). Put w, 5, 8 in increasing order.
w, 5, 8
Let b = 4122 + -4125. Put 29, -0.4, b in decreasing order.
29, -0.4, b
Let s = 126 + -176. Suppose 13*b = -309 - 380. Let k = s - b. Put -3, k, -5, 1 in increasing order.
-5, -3, 1, k
Let y = 994 + -593. Let a = y + -401. Put -0.4, -1/4, 39, a in increasing order.
-0.4, -1/4, a, 39
Suppose 18 + 7 = 5*w. Suppose 4*m = 7 + w. Let g = -27 - -27. Sort -2, m, g, 1 in decreasing order.
m, 1, g, -2
Let o(g) = -g**3 - 8*g**2 + 8*g - 6. Let y be o(-9). Suppose -2*s = -y*l - 7, 5*l = 3*s + l - 8. Let n = -560 + 570. Put 2, n, s in ascending order.
s, 2, n
Suppose -b - 724 = -5*r - 4*b, 0 = -2*r + 2*b + 296. Sort r, -2, 7.
-2, 7, r
Suppose -3*g = 2*n - 0*g - 1, 0 = -4*n + 5*g - 53. Let f = 0 - 5. Put n, f, 6 in descending order.
6, f, n
Let o = -4 - 1. Suppose 46 - 24 = 2*f. Suppose 0 = -8*l + f*l - 6. Sort 1, l, o in increasing order.
o, 1, l
Suppose -915 = 4*u - 891. Sort u, 4, -77, 5 in decreasing order.
5, 4, u, -77
Suppose 0 = -2*u + 216*y - 220*y + 32, -3*u + y - 1 = 0. Sort -1, -489, u, -2, -4 in ascending order.
-489, -4, -2, -1, u
Let p = 0.3 - 242.3. Let k = p - -242. Put 32, 1/6, k, -1/5 in descending order.
32, 1/6, k, -1/5
Let r be (46 + -41)/((-2)/(-2)). Sort 4, -3, -1, -28, r in decreasing order.
r, 4, -1, -3, -28
Let s be (6/(-15))/((-7)/35). Let d be ((-5)/((-70)/(-49)))/(s/(-4)). Sort -4, d, 4 in ascending order.
-4, 4, d
Let n(b) = b**2 + 5*b + 3. Let j be n(12). Let c = 1039/5 - j. Sort c, 0.01, -3/8, -0.3 in decreasing order.
c, 0.01, -0.3, -3/8
Let j be 2 + 11 + 0 + -482. Put 3, j, 0, 4 in ascending order.
j, 0, 3, 4
Suppose -4*f + 26 = 5*u + 1, -4*u + 3*f = -20. Let p be (1 + 0)*(20 + -12 + (45 - 3)). Sort u, 0, p, 4.
0, 4, u, p
Suppose -3*u + 1 = -i + 16, 0 = -3*u + 3*i - 27. Put -82, -21, 2, u in decreasing order.
2, u, -21, -82
Let j be (-4)/(-12 + 14) + (-1)/((-3)/6). Let c(s) = -s**2 + 9*s - 1. Let r be c(9). Put -5, 4, j, r in descending order.
4, j, r, -5
Let s be 87/9*((-1808)/(-44))/4. Let t = 1157/11 - s. Let j = t + -72/11. Sort 2/17, 0.05, j, 3.
j, 0.05, 2/17, 3
Suppose -4*c = 6*f - 2*f + 12, 4*f - 18 = c. Let l be (-3 + c - -4)*(3 + -1). Let a = -43 - -48. Put l, a, -3 in descending order