der.
s, -0.01, 2
Let u = 8820 + -8834. Let d be (-9)/(-12) - 2/(-8). Sort u, -1, 3, d in increasing order.
u, -1, d, 3
Let t = 524.8 + -580.8. Put t, -0.033, -1 in ascending order.
t, -1, -0.033
Let n = -146.6 - -171. Let t = -21.4 + n. Put 5/2, t, -3 in descending order.
t, 5/2, -3
Let d(p) = -p**2 + 43*p - 5. Let q be ((-86)/(-6))/((-5)/(-15)). Let t be d(q). Sort -3, 0, 3, t in descending order.
3, 0, -3, t
Let f be ((-29)/5 + 4/(-20))*(-112)/3024. Let j = 0.03 - 10.03. Sort j, 8, f.
j, f, 8
Suppose 2*q + 3*t - 23 = 0, 9*t = 3*q + 4*t + 13. Suppose q*r - 11 = 1. Suppose -4*x = -r*c - c + 24, -2*c + 9 = x. Put x, 0, 5 in descending order.
5, 0, x
Let c = -16 - -19. Suppose 0 = c*y + 14 - 11. Let k(n) = 6*n - 1. Let l be k(1). Sort l, -4, y, 2.
-4, y, 2, l
Let a be (3 + -1)*(-1)/(-2). Let p be 30/(-4)*a/(-12). Let q be (-11)/198*(-8 - -38). Sort 3/5, q, p in descending order.
p, 3/5, q
Let v = -47 - -50. Suppose -3*l - 9 = -v. Let f(t) = t**3 - 7*t**2 + 6*t - 1. Let d be f(6). Sort l, d, 0.4 in increasing order.
l, d, 0.4
Let r be (-9 - -3)/(6/4). Suppose 28*w = 34*w - 120. Suppose -6*f - w = -3*x - f, -x + 4 = f. Sort -2, r, x, 4 in descending order.
x, 4, -2, r
Let b = -23 - -27. Let u = 6 - 1. Put -4, b, 2, u in increasing order.
-4, 2, b, u
Suppose y - 2 = t, 26*y - 3*t = 22*y + 10. Let d be (-4)/(-9) + (y - 85/9). Sort d, 1, 251 in increasing order.
d, 1, 251
Suppose 120*i + 92 = -76 + 48. Put 81, i, -2, 2, 4 in decreasing order.
81, 4, 2, i, -2
Let n = -0.783 - 883.217. Let a = n + 882. Sort 3/10, -4, a.
-4, a, 3/10
Suppose -5*c = 5*i + 558 + 122, -3*c = i + 416. Let f = 139 + c. Sort 3, 2, f in decreasing order.
3, 2, f
Let l be 3*-23 - (3 + -4). Let c = -63 - l. Sort c, -4, 3, -7.
-7, -4, 3, c
Suppose 13*z = -33539 + 34046. Sort -7, 4, z, -3.
-7, -3, 4, z
Let h be -6 + 1 + 2 - -5. Let f be 2 - ((-2)/(-6) - (-100)/15). Suppose 6*k = 18 - 42. Put k, f, h, -6 in descending order.
h, k, f, -6
Let o = -12 - -11.6. Let s = -6125 - -6130. Sort s, o, 0.5, 8/7.
o, 0.5, 8/7, s
Let p = -4.03 - -0.03. Let v = -496461/4 + 124115. Sort v, -2, p, 1/4 in decreasing order.
1/4, v, -2, p
Let g(d) = 5*d**2 - 1. Let r be g(-1). Suppose -2*z - 4*p - 364 = 0, z + 2*p - 718 = 5*z. Let u = 1262/7 + z. Put r, 5, u in decreasing order.
5, r, u
Let w be (-22)/6 + (9 - 5). Suppose 2*v - 5*v = 0. Sort w, v, 1/5.
v, 1/5, w
Suppose -51*w + 936 = -45*w. Let b = 158 - w. Let u = 1 + -0.6. Put u, b, -2, 3 in descending order.
3, b, u, -2
Let k = -7317 + 7320. Let w = -4/21 + 1/42. Sort k, w, -3 in decreasing order.
k, w, -3
Let r(l) = 6*l**3 + 78*l**2 - 86*l - 34. Let i be r(-14). Put -2, 272, i in ascending order.
i, -2, 272
Suppose 13*g - 22*g + 8433 = 0. Let v = g + -940. Sort v, -4, -0.04, -4/3 in descending order.
-0.04, -4/3, v, -4
Suppose -251 = 4*z - 23. Let n = 65 + z. Suppose -u = 4*l - 11, -l + 0 = -u + 1. Put n, 5, u in ascending order.
u, 5, n
Let j = 8744 - 8743. Sort 7, 2, 134, j in increasing order.
j, 2, 7, 134
Let p be (-38)/8 + (-792)/(-288). Sort -4, 10, 14, p, -5 in increasing order.
-5, -4, p, 10, 14
Let r = 49/36 - 10/9. Let l = 8.76 + -139.76. Sort 0.5, l, 5, r in descending order.
5, 0.5, r, l
Let j = -24673 + 74021/3. Let t = 5 + -8. Sort -21, j, t in decreasing order.
j, t, -21
Let k = -3686/25753 - -1/3679. Sort -16, -2/11, 1, k, -13 in increasing order.
-16, -13, -2/11, k, 1
Suppose 4*r = -882*j + 879*j - 1775, 5*r + 5*j + 2225 = 0. Put 4, 3, 1, r, -5 in ascending order.
r, -5, 1, 3, 4
Let d = 5.3 - 6. Let h be (58 + (-11172)/190)*(-1)/(14/(-5)). Put 4, d, 0, h in ascending order.
d, h, 0, 4
Let u = -4916.93 - -4917. Put u, 1, -23.8 in ascending order.
-23.8, u, 1
Let t = -14462.1 + 14462. Put 0.3, 34, -0.4, 2, t in decreasing order.
34, 2, 0.3, t, -0.4
Let s = -3079 - -3083. Sort -4, 5, s, -5, -10 in decreasing order.
5, s, -4, -5, -10
Let u = 357 + -338.8. Let z = 17.8 - u. Let o = -1 + 3. Sort -6, o, z.
-6, z, o
Let z be 4/6 + (-7)/(-3). Suppose -17*c = 8*c - c. Suppose 4*t + 5*o - 7 = c, 5*o + 16 = -t + 29. Sort t, 5, z in ascending order.
t, z, 5
Let s = 395 - 467. Let x = s - -70. Put 2, -4, 6/11, x in decreasing order.
2, 6/11, x, -4
Let m(i) = -i**2 + 2*i + 64. Let x be m(-7). Let w = -0.83 + 0.63. Let g be (2/(-12))/((-3)/(-4)). Sort w, g, x.
g, w, x
Let c = -108.4614 + -0.0386. Let w = -120 - c. Let y = w - -15.5. Put y, 5, 2, 0 in ascending order.
0, 2, y, 5
Suppose 89*z - 78 - 104 = -4. Put -2, -44, -3, z in decreasing order.
z, -2, -3, -44
Let f(v) = -2*v**3 + 59*v**2 + 33*v - 88. Let l be f(30). Suppose 4 = l*n + 4*p, -4*n - 3*p - 23 + 16 = 0. Sort -1, 5, n, -5 in decreasing order.
5, -1, n, -5
Let c = 28 - 25. Let p = -10 - -8. Let v = 259 - 257. Sort p, c, -3, v in descending order.
c, v, p, -3
Let t be (-9 + 1)/(-1)*((-74)/2)/74. Put -3, 2, 1, 53, t in ascending order.
t, -3, 1, 2, 53
Let a be (-3 + (-90)/(-27))/((-4)/24). Let z(m) = -m + 2. Let f be z(-3). Suppose f*t - 1 = 14. Sort t, -12, a, -3 in decreasing order.
t, a, -3, -12
Let q(b) = -b**3 + 6*b**2 + 6*b + 9. Let r be q(7). Let z be ((-2)/1*5)/2. Suppose 3*g + 0*g - 15 = 0. Sort 3, r, g, z in increasing order.
z, r, 3, g
Let b = 1069/4 - 267. Sort -5, 0, b, -4 in decreasing order.
b, 0, -4, -5
Let b = 877 - 874. Put -3, b, 1, -2 in descending order.
b, 1, -2, -3
Let b = -0.166 - 82.834. Let w = b + 110. Let j = -29 + w. Put j, 4, 3 in ascending order.
j, 3, 4
Let r = 123.838 + -124. Let x = r + 0.062. Let y = -3.4 - -3. Sort x, -4, y in descending order.
x, y, -4
Let j = -5805 + 5810. Sort j, -6, 0, 4 in decreasing order.
j, 4, 0, -6
Let i be -1 - ((-364)/(-21) - (-7)/(-21)) - -7. Let q(l) = -l**3 + 2*l**2 - 3*l + 2. Let h be q(3). Put h, -2, i in ascending order.
h, i, -2
Let b = -1.335 - -1.3. Let h = 28.9768 + -23.9768. Put h, 2, 1, b in decreasing order.
h, 2, 1, b
Let h be (72/21 + -4)*-1*7. Suppose -l - 3*q = -1 - 7, -h*q + 12 = 0. Let y be (l/(-3) + -3 + 3)*1. Put 3/14, -3, y in descending order.
y, 3/14, -3
Let k = 4 + -2. Let q = 2786 - 679781/244. Let l = q + -569/6588. Put l, k, -5 in descending order.
k, l, -5
Let p = -1.0401 + 0.1401. Let q = 0.07 + -6.07. Put q, p, 0.1 in decreasing order.
0.1, p, q
Let x = -0.03 - -0.13. Let t = 2845/77 + -258/7. Sort -0.3, -1/5, t, x in ascending order.
-0.3, -1/5, t, x
Let m = 0.382 + -0.082. Let g = -3.579 + -0.421. Sort 6, -1/3, m, g in decreasing order.
6, m, -1/3, g
Let r = 182.7 + -182.5. Let v = -35 + 22. Sort r, v, 3, -0.3 in decreasing order.
3, r, -0.3, v
Let j = 208.02 - 208. Let h = -2/23 - -64/207. Sort h, j, -7.
-7, j, h
Let g = -28 - -25. Let n be -1 + ((-55)/(-5) - 9). Put g, 5, -16, n in ascending order.
-16, g, n, 5
Let z = -376.32 - -378.46. Sort z, 0, 1.8, 5.
0, 1.8, z, 5
Let n = -0.201 + -1.951. Let s = -2.122 - n. Let j = 4 - 2. Sort j, s, -2/11, -2/17 in increasing order.
-2/11, -2/17, s, j
Suppose 0 = 2*p - 2, -4*i - 5*p + 25 = i. Suppose 4*t - 5*t = -0*t. Suppose t = 3*l - 2 + 17. Put -0.1, -3/2, l, i in increasing order.
l, -3/2, -0.1, i
Let y(n) be the third derivative of n**5/30 - 11*n**4/6 - 23*n**3/6 + 2*n**2 + 4*n. Let k be y(20). Sort -2, k, 4.
k, -2, 4
Suppose 133*v + 309 + 90 = 0. Sort 2, 4, v, -14 in descending order.
4, 2, v, -14
Let i(g) = 1715*g**2 + 23*g + 5. Let q be i(-1). Sort q, -2, 3.
-2, 3, q
Let v(m) = -m**2 - 3*m - 1. Let c be v(-3). Let a = -34311 - -34310.75. Put -0.2, c, a in decreasing order.
-0.2, a, c
Let w = -167 + -377. Let r = 548 + w. Sort 8, 0, r in decreasing order.
8, r, 0
Let j(h) = -822*h + 7394. Let c be j(9). Let v(m) = -m**2 - m + 2. Let o be v(-2). Sort o, -1, c, 7 in increasing order.
c, -1, o, 7
Let b = -105.91 + 2.01. Sort 3, b, -1 in descending order.
3, -1, b
Let x = 37.6348 + 0.3652. Let v = -40 - -41. Put -2, v, x in decreasing order.
x, v, -2
Let k = -0.8322 + -0.1678. Sort -0.002, -2/9, 0.3, k in increasing order.
k, -2/9, -0.002, 0.3
Let v be 0 + (36 - 12) + 7. Let n = -88 - -89. Put v, n, 5 in decreasing order.
v, 5, n
Let t = -62.892 - -145.818. Let y = t - -0.074. Let i = -81 + y. Sort -4, i, 37 in descending order.
37, i, -4
Suppose 12*s - 11 = 4*o + 13*s, 0 = -3*o - 3*s - 24. Sort o, 2/1611, 3 in ascending order.
o, 2/1611, 3
Suppose 45 = 10*y - y. Let d(q) = -q**2 + 7*q - 4. Let x be d(y). Suppose 12*s = x + 42. Put s, 26, -4 in 