) = t**3 - 7*t**2 - t - 63. Let l be b(9). Suppose l*v + 66 = 79*v. Sort 0, v, -5, 3 in descending order.
3, 0, -5, v
Let j(r) be the third derivative of -r**6/120 + r**5/20 + r**4/4 - 2*r**3/3 + r**2. Let w be j(4). Let h be 36/(-30)*(-110)/(-33). Sort h, -2, w.
h, -2, w
Suppose 25309*u - 25294*u - 15 = 0. Let h(b) = -b**2 + 4*b + 3. Let f be h(4). Sort -6, -4, u, f in decreasing order.
f, u, -4, -6
Let w = 0.888 + -1.188. Sort -0.9, 0.03, 2, w in increasing order.
-0.9, w, 0.03, 2
Let k = -551 - -4964/9. Let l = k + -47/117. Put l, 0, 12 in increasing order.
0, l, 12
Suppose 4*r - 7*r = -9. Suppose i - 4*i = r*j + 21, -i - 22 = 4*j. Let q be (4 + -2)*(-6)/4. Sort q, j, 5.
j, q, 5
Suppose -q + 131 = 4*b, -5*b + 0*q = 2*q - 160. Suppose 105*g = -156*g + 29*g. Suppose -k = 2*a + k - 2, 2*a + 1 = -k. Sort b, a, g in descending order.
b, g, a
Let m = 0.0337 + -118.0337. Let c = m + 189. Put 5, c, -2 in increasing order.
-2, 5, c
Let m = 54 - 27. Let l be 2*1 - m/12. Let f = 1578/8921 - -4/811. Sort l, 2/9, f in decreasing order.
2/9, f, l
Let g = 1191 + -1188. Let c(m) = -3*m - 5. Let b be c(-2). Sort -22, g, b.
-22, b, g
Let a = 73.5 - 476.5. Let x = -406 - a. Sort 19, 3, x in descending order.
19, 3, x
Let r = 1350.1 + -1352.1. Put 4, 5, r, 13 in descending order.
13, 5, 4, r
Let z = -546 - -551. Let j be 2/6*(25 + -26). Put j, z, -0.3, 4 in ascending order.
j, -0.3, 4, z
Suppose 4*p - 84 - 52 = 0. Suppose -5*n + p = 9. Let q be (-4)/1*(-51)/(-41 - -92). Sort n, -2, q, -4.
-4, -2, q, n
Let v be ((-297)/(-55) - 6)/((-10)/(-25)). Put v, 0.099, 1, 4 in increasing order.
v, 0.099, 1, 4
Suppose -4*z - 20 - 20 = 0. Let k = z + 6. Let v be 1/(-12 + (-305)/(-25)). Sort k, v, 0 in decreasing order.
v, 0, k
Let x be (1/3)/(4*(-4)/(-48)). Suppose -l - 2*l = 0. Let r be 2 - (l + 4 + 0). Put -5, x, r, -1 in descending order.
x, -1, r, -5
Let d(z) = -46*z - 226. Let u be d(-5). Let l(i) = 15*i - 10. Let x be l(-8). Let a = -652/5 - x. Sort -3, -1/3, u, a in decreasing order.
u, -1/3, a, -3
Let n = 13886 - 13882. Sort 793, 2, n.
2, n, 793
Let n(w) = w**3 - 2*w**2 + 2*w - 2. Let c be n(2). Let g = 732 - 510. Let m = -225 + g. Put c, 3, m in ascending order.
m, c, 3
Let w = 9 + -4. Suppose -p - 4*s + 6*s + 5 = 0, 3*p = -w*s - 7. Let j = 23.17 - 23.57. Put 2/3, j, p, 0.08 in decreasing order.
p, 2/3, 0.08, j
Let m = 37.342 - 15.342. Sort -1, -6, m.
-6, -1, m
Let o = 4003 - 4008. Sort 420, o, 2.
o, 2, 420
Let n(j) be the third derivative of 0 - 5*j**2 - 3/20*j**5 - 1/2*j**4 + 0*j + 2*j**3 + 1/120*j**6. Let z be n(10). Sort z, -2, -3.
z, -3, -2
Let t = 25144 - 25144. Sort -5, t, -23, 65 in increasing order.
-23, -5, t, 65
Let y be -22*(2/(-4) - (-285)/(-30)). Suppose -37*q = 7*q - y. Put q, -19, 9 in decreasing order.
9, q, -19
Let k = -19/36 - -7/9. Let j be (-92582)/136 + (1 - 0 - -2). Let c = j - -682. Put -0.2, k, c in descending order.
c, k, -0.2
Suppose 0 = 10*y + 1058 + 15022. Put -5, y, 1 in decreasing order.
1, -5, y
Suppose 5*o + 54*n - 59*n + 15 = 0, -19 = 3*o - 5*n. Put o, 0, -158, -2 in increasing order.
-158, -2, 0, o
Let g = 80.348 - 80. Let m = -0.152 - g. Put -0.1, 69, 2/7, m in ascending order.
m, -0.1, 2/7, 69
Let k = -214 + 227.1. Let q = k - 23.1. Put 1/5, -4, q in ascending order.
q, -4, 1/5
Let v = -557 + 557.22. Sort -3, v, -1 in decreasing order.
v, -1, -3
Suppose -4*i = -4*v + 1288, -3*v + 1 = 16. Let l = i + 323. Sort 0, -32, l in descending order.
0, l, -32
Let w = 1052 + -1052.7. Put w, -0.02, 5/4 in decreasing order.
5/4, -0.02, w
Suppose -118*l + 12*l = 178 + 246. Put 1, l, 5, 4, -24 in increasing order.
-24, l, 1, 4, 5
Let j(r) = -r**2 + 8*r - 13. Let h be j(6). Suppose 5*c - 4*p - 18 = 26, -3*c - p + 6 = 0. Put h, -26, c in decreasing order.
c, h, -26
Let y = -62467/12 + 15619/3. Let w(d) = -d - 5. Let m be w(-3). Sort -3, 0.4, y, m in decreasing order.
y, 0.4, m, -3
Let w be -3*(-4)/60*-207. Let a = w - -41. Let m = -1.28 + 1.48. Put a, 0.03, m, 0.3 in decreasing order.
0.3, m, 0.03, a
Let h(u) = -u**3 + u**2 + 9*u - 11. Let n be h(3). Let a = -201 - -205. Put a, 1, n in increasing order.
n, 1, a
Suppose 2*c + 14*c - 2*d - 326 = 0, 0 = -5*c - 3*d + 91. Put 1, -2, c, 8 in increasing order.
-2, 1, 8, c
Let w = 2650 - 2646. Sort -28/9, w, -1.
-28/9, -1, w
Suppose -5*q + 25 = 0, 30 = 4*p + p + 3*q. Sort -1, 2, p, 0 in decreasing order.
p, 2, 0, -1
Suppose -14*f + 125*f = -156*f - 801. Put 5, 6/265, -4, f in descending order.
5, 6/265, f, -4
Let f = -46 - -46. Suppose 5*s = 5*b - f*s - 15, b + 4*s = 13. Let r be 12/18*((-18)/(-4))/(-3). Sort r, b, -5, 1 in increasing order.
-5, r, 1, b
Let k = -23 + 21. Let q be -10*(2 - -1)/(60/8). Suppose 24 = 16*s + 8*s. Put s, 4, q, k in increasing order.
q, k, s, 4
Let s = 10968.4 + -10968. Put -1/66, s, 4, 5 in decreasing order.
5, 4, s, -1/66
Suppose 39*z = -336 + 219. Suppose 6*j - 3*j - 6 = 0. Sort 0, j, z, -1 in decreasing order.
j, 0, -1, z
Let s be 20/2 - (13 + -9 + 2). Sort -20, 504, s in ascending order.
-20, s, 504
Let f be 184/10 - (-6)/(-15). Let o = f - 37/2. Let i = -256822.32 - -256822. Sort -5, i, o in descending order.
i, o, -5
Let b be (-2796)/16065 - 0 - (-4)/18. Let l = b + -1/35. Let k = l + 95/357. Sort 0.2, k, 0.4, -5.
-5, 0.2, k, 0.4
Let l be 2/(-1 - 1)*(-5)/5. Let v = 604 + -594. Sort v, l, 5, 4.
l, 4, 5, v
Suppose -379*t + 591 = -2*d - 378*t, 4*d = 4*t - 1176. Sort -2, -24, d.
d, -24, -2
Let m = 5 - 0. Let c(a) = a - 1. Let z(w) = -5*w + 58. Let u(s) = 3*c(s) + z(s). Let j be u(26). Sort m, j, -3, 1.
-3, 1, j, m
Let d = -1186 + 1190. Sort 3, -228, d, 5.
-228, 3, d, 5
Let s be 1*(-2 + 1) - -1. Let m = -488.37 + 491. Let l = -2.53 + m. Sort l, 2, s, -3 in descending order.
2, l, s, -3
Let y = -27 - -27. Let d(o) = 5*o**2 - 10*o + 15. Let p(w) = -2*w**2 + 5*w - 7. Let n(t) = -3*d(t) - 7*p(t). Let q be n(-6). Sort -4, y, q.
-4, q, y
Let n = -134 + 125. Let t be (n/(-5))/(-3)*7/21. Sort t, -3/5, -0.1.
-3/5, t, -0.1
Suppose 10*q - 68 = 14*q. Let n be 2 + -1 - (-28 + 2). Suppose n = 5*w + 2*t, -t + 26 = 2*w + 3*w. Put -3, q, -2, w in decreasing order.
w, -2, -3, q
Suppose -7*z - 20 = -3*z. Let x = 9 + -3. Let a be (x - 7) + 4 + -2. Sort -1, a, 4, z in ascending order.
z, -1, a, 4
Let o = -28598 + 4146693/145. Let l = o + 15/29. Put 0.3, l, -18 in decreasing order.
l, 0.3, -18
Let l(v) = v**3 - 22*v**2 + v - 17. Let p(s) = -s**3 - 22*s**2 + 22*s - 1. Let g be p(-23). Let y be l(g). Let u = 10 - 9.5. Sort u, y, -0.5.
-0.5, u, y
Let t be (-16)/12*8/(32/(-6)). Suppose 10 = 3*d + 3*w - 11, 4*d - 30 = -2*w. Suppose 3*f - t = -m + d, 3*f - 6 = -3*m. Sort m, -3, 0, 3 in descending order.
3, 0, m, -3
Let f be (8/12)/(45/(-30)). Put 3, 4, -19, f in increasing order.
-19, f, 3, 4
Let u be (-1)/1 - (-24)/3. Let p(o) = o**3 - 6*o**2 - 6*o - 8. Let f be p(u). Let c = -8002/95 - -1608/19. Sort f, 2/9, -9, c in descending order.
c, 2/9, f, -9
Let s be (-92 - -35)*((152 - -2) + -6). Sort s, 5, -1 in decreasing order.
5, -1, s
Let g = -5356 + 5357. Let s = 9 + -5. Let d = 4 + -8. Put s, g, 0, d in decreasing order.
s, g, 0, d
Let y(z) be the first derivative of -z**3/3 - z - 6. Let m be y(-1). Suppose 0 = -154*c + 115*c - 195. Sort 27, m, c in decreasing order.
27, m, c
Let q be (6*(-2)/(-4))/(-16 - (-180)/12). Sort q, 0.2, -377.
-377, q, 0.2
Suppose 21*y = 12 + 93. Put -4, y, -1, 11 in descending order.
11, y, -1, -4
Let i = 568.406 + -569. Let d = 0.294 + i. Sort 2/9, d, -2/31 in decreasing order.
2/9, -2/31, d
Let i(t) = 2*t**3 + 6*t**2 - 143*t - 296. Let p be i(-2). Put p, -435, -5, -3 in ascending order.
-435, -5, -3, p
Suppose 120*s - 741 = 159*s. Sort -1, 4, 0, s in ascending order.
s, -1, 0, 4
Suppose 2*y = -3*y. Let s(g) = -8*g**2 + 8*g + 4. Let n be s(-3). Let l = -91 - n. Put l, 3, -1, y in increasing order.
-1, y, l, 3
Let c(s) = 2*s**2 - 24*s. Let m be c(17). Let z = -173 + m. Sort z, 0, 7 in ascending order.
z, 0, 7
Suppose -429*l = -431*l + 594. Let i = -294 + l. Put -7, i, 5 in decreasing order.
5, i, -7
Let x be 2 + (-2)/(4/(-2)). Suppose 6 + 3 = -x*d. Let u be (3/(-27))/(-22*(-16)/3168). Sort 4, u, d, 1 in decreasing order.
4, 1, u, d
Let h be ((-3 - (7 + -2)) + 3)*(5 + -4). Sort -0.6, 7, 1, -0.1, h in descending order.
7, 1, -0.1, -0.6, h
Let b be -14 + 0 - 260/(-20). Sort