der.
68, 5, r, -1, -3
Let i be (-3 - 13/(-5)) + (-676)/(-1665). Let b = i + 305/4662. Put b, 1/15, 1 in increasing order.
1/15, b, 1
Let t(h) = -14*h**2 + 501*h + 96. Let d be t(36). Sort -4/7, -0.1, 10, -1, d.
d, -1, -4/7, -0.1, 10
Suppose u = -0*u - 12. Let i = -152380 + 152377. Sort i, -2, u in decreasing order.
-2, i, u
Suppose 23 = 4*n + 3*d, 55*d + 19 = -3*n + 60*d. Sort -5, n, -2, -1, -251 in descending order.
n, -1, -2, -5, -251
Suppose -3*g + 3 = 12. Let n be (11 - 13) + 0 + 10. Let q be 6/4 - 6/n*-2. Sort q, g, -1 in ascending order.
g, -1, q
Let i(x) = -7*x**2 + 129*x - 49. Let s be i(18). Put -31, -0.1, s, -2/11, 0.3 in increasing order.
-31, -2/11, -0.1, 0.3, s
Let o = -52.113 - -0.113. Let g = -54 - o. Let j = -356 + 357. Sort g, -4, -2/11, j.
-4, g, -2/11, j
Let z be (-7)/(-22) + -5*(-13)/(-130). Sort -1.6, z, -37 in increasing order.
-37, -1.6, z
Let b be (-1 - 3)*(-7)/(-63). Suppose -15*h - 7 + 52 = 0. Let u be (75/40 + -2)/(1/h). Sort 3/5, b, 3, u in decreasing order.
3, 3/5, u, b
Suppose 17 - 35 = -2*p. Suppose 0 = 6*v - 3*r - 2*r - 3, p = -3*v - r. Let t = 2 + -2.2. Sort -0.8, 1, t, v in descending order.
1, t, -0.8, v
Let o = 194 + -193. Let w be (-95)/10*(o - (1 + 2)). Sort 3, w, 0 in increasing order.
0, 3, w
Suppose 4*q + 3*i = 14, -3*q + 5*q - 4*i + 4 = 0. Let l be 13/20 - q/8. Let u be 72/16 + (-18 + -3 - -17). Sort l, u, 4 in ascending order.
l, u, 4
Let z = 4/3019 - -6018/15095. Let s = 2 + -2.02. Sort 6, z, s.
s, z, 6
Let k be ((-4125)/105)/(-25) - (-6)/14. Put 5, -15.9, k, -5, -4 in descending order.
5, k, -4, -5, -15.9
Let s = -0.2 + 0.24. Let k = -279 - 77. Let a = 355.8 + k. Put -1/2, a, s, 0.1 in descending order.
0.1, s, a, -1/2
Let i(z) = -z**2 + 18*z + 41. Let h be i(20). Let w(d) = -d**2 - 17*d - 28. Let o be w(-15). Sort h, -3, -10, o in decreasing order.
o, h, -3, -10
Let y(w) = w**2 - 23*w + 100. Let t be y(17). Suppose -4*c + 11 = 3. Put 0, t, c in increasing order.
t, 0, c
Let g(y) be the second derivative of -y**5/10 - y**4 - y**3 - 11*y**2/2 + 109*y. Let k be g(-5). Put -3/2, 1, 3, k in decreasing order.
3, 1, -3/2, k
Let x(k) = -2*k**3 + k**2 - 3*k + 3. Let f be x(2). Let j be (2/5)/((-3)/f). Suppose -3*d - 14 = -u, -3*d - 12 = -3*u - 0. Sort 4, u, 3, j in descending order.
4, 3, j, u
Suppose 0 = 3*c - h + 6, -9*h - 15 = -4*h. Put 380, -0.3, -3/4, c, -6 in ascending order.
-6, c, -3/4, -0.3, 380
Suppose 37*z - 5*z - 128 = 0. Sort z, 1, -4, -38.
-38, -4, 1, z
Suppose -2*z + 15 - 9 = 0. Let x be -17 + 187/17 - (-1 - 4). Put -17, z, x in increasing order.
-17, x, z
Let m = 69 - 161. Let a = m - -93. Sort -9, a, 5 in ascending order.
-9, a, 5
Let p = -0.153918 + -0.146082. Let v = 1 + 1. Sort p, 37, v in decreasing order.
37, v, p
Let l be (-58)/(-9 + 330/44 - 2/4). Suppose -g = 2*g - 15. Suppose 3*i - 3 - 15 = 3*a, l = g*i - 4*a. Sort 3, i, 2 in ascending order.
2, 3, i
Let h = 6268 + -6275. Sort 38, 0, h, -3 in decreasing order.
38, 0, -3, h
Let i be 5 - 4 - (-4)/(2/2)*-1. Suppose 0 = 4*w - 9*w - 5. Let k be (1 + -3 - -2)/2. Sort i, w, 3, k.
i, w, k, 3
Let p = 13/126 - 7/18. Let h = 31471 + -345953/11. Let n = 1129/55 - h. Put p, -1, n in descending order.
n, p, -1
Let w be 1 + -2 + 1*-2. Suppose 29 = 3*q + 2*y, 79*y - 75*y = -5*q + 53. Sort w, 0, 6, q.
w, 0, q, 6
Let y(c) = c**2 + 6*c - 1. Let a be y(-7). Suppose -2*n = -4 - a. Let q = -0.186 + -2.814. Put q, -9, n in ascending order.
-9, q, n
Let l = 56 - 66. Let b be 12/l + 70/(-25) + 5. Put 35, b, -2 in descending order.
35, b, -2
Suppose m + 0*m - 4 = 0. Let h be ((-3)/m)/(2/(-8)). Suppose -284*q = -222*q - 124. Put -7, h, q in ascending order.
-7, q, h
Let i = -1977 + 2033. Put 4, i, -3 in decreasing order.
i, 4, -3
Let m = 1501 + -1503. Put m, 0.05, 1 in increasing order.
m, 0.05, 1
Let p = -8419 - -8416. Sort 4, 1, p, 19 in descending order.
19, 4, 1, p
Let j = 17705 + -17707. Sort -3, 36, j, 19.
-3, j, 19, 36
Let w = 17.46 + -16.96. Put -1/3, 0.3, 3, 0.05, w in increasing order.
-1/3, 0.05, 0.3, w, 3
Suppose -2*q + 8 = -c - 62, 3*q - 68 = c. Let j = 66 + c. Sort 3, j, -4, 1 in descending order.
3, 1, -4, j
Let r = 8381 + -7966. Put -5, r, -2/9 in descending order.
r, -2/9, -5
Let l = 968/2199 - -166/733. Let a = 0.38 + -0.08. Sort l, 1, -0.4, a in increasing order.
-0.4, a, l, 1
Let t = -9.81 + 10.11. Let n be 14 + -2 - 9 - 31/9. Sort t, -0.4, n, 1/3 in decreasing order.
1/3, t, -0.4, n
Suppose 9*r - 43 = 20. Suppose -r*w + 2*i + 24 = -5*w, -4*i - 8 = 0. Sort w, -3, 15 in ascending order.
-3, w, 15
Suppose -2*j - 6 = 0, 3*f + 2*f = -2*j + 1009. Let x = f + -205. Sort -12, x, 1.
-12, x, 1
Suppose h = 2*o - 3, -3*o - 85*h + 89*h - 3 = 0. Sort -2, 33, -3, o.
-3, -2, o, 33
Suppose 0 = 5*c - 5*w - 0*w - 25, c - 9 = 5*w. Suppose -3*v = -c*h + 22, -h = -5*v - 4*h - 27. Sort -5, 17, v.
v, -5, 17
Let x = -14 - -10. Let j = x - -3.6. Let p = -4.9631 - 0.0369. Sort -2/19, p, j, 1/3 in descending order.
1/3, -2/19, j, p
Suppose -20 = -3*b - 2*b. Let k = 2633/12 + -6559/36. Let t = k - 37. Put t, b, 3 in descending order.
b, 3, t
Let n be (12/(-10))/(4/(-20)). Let j = n + -1. Let k be (8 + -14)/(9/(-24)) + -3. Put k, -2, j in descending order.
k, j, -2
Let n = 15.67145 + -0.07145. Put 1, -2, 10, n in descending order.
n, 10, 1, -2
Let g = 2 + -1. Let q(f) = -f**2 - 11*f - 33. Let c(b) = b**2 - 11*b + 23. Let o be c(5). Let u be q(o). Put u, -1, g in decreasing order.
g, -1, u
Let i be (6 - 5)*1 + -16. Let u(z) = 2*z**2 + 31*z + 20. Let f be u(i). Sort -4, f, 0, 3 in decreasing order.
f, 3, 0, -4
Let z = -1 + -5. Let q = -23 + 28. Suppose 4*w = -5*o, -4*o - 3 + 44 = -q*w. Sort o, z, 3 in increasing order.
z, 3, o
Let x(o) = -o**3 - 6*o**2 + 8*o + 10. Let i be x(-7). Suppose -8*d + 19 = i. Sort -2, 5, d in descending order.
5, d, -2
Let u = -10.0218 - -0.0218. Let l = -15.35 - -15.85. Sort -1/7, l, u.
u, -1/7, l
Let y be ((-4)/6)/(10/12). Let t = -3.82571 + 5.82571. Sort 7, y, 4, t.
y, t, 4, 7
Let b = -4510 + 4509.8. Put -23, 0.3, 4, b, 144 in ascending order.
-23, b, 0.3, 4, 144
Let j be (-12)/28 + (-44)/(-70). Let l = 69.39 + -67.39. Sort j, 2/3, -3/16, l.
-3/16, j, 2/3, l
Let g(i) = i**2 + 37*i + 45. Let s be g(-36). Suppose -33 = -2*h - s*h. Sort 1, -3, h, 2.
-3, 1, 2, h
Let f = -15930 + 63719/4. Sort -0.011, f, 2 in decreasing order.
2, -0.011, f
Let x(m) = 2*m - 1. Let u be x(3). Suppose -5*b - 4*o + 20 = 0, 4*b + 25 = -b + u*o. Suppose 135*j + 89 - 34 = -78 - 2. Put 8, j, b in descending order.
8, b, j
Let f = 217.39 + -0.39. Let z = -216.7 + f. Sort 3, -3, z, -2.
-3, -2, z, 3
Let i(u) = -u**2 + 14*u + 206. Let h be i(-9). Put 3, 38, -2, h, 6 in decreasing order.
38, 6, 3, h, -2
Let a = 4 + -7. Suppose 0 = -4*p + 2*q - 0*q - 26, -p = 3*q - 4. Let g be 0 - (p - (-212)/44). Put -2, g, a in increasing order.
a, -2, g
Let w = 90386 + -90390. Let z(i) = -i**2 + 6*i - 8. Let v be z(6). Sort 2, v, w in decreasing order.
2, w, v
Suppose -302*z + 236*z + 142*z = -380. Let g = 21 - 13. Sort -2, g, z in descending order.
g, -2, z
Let h = -2129/3 - -818. Suppose 109*g - 116*g = 756. Let y = h + g. Sort y, -4, -2, 2/11 in increasing order.
-4, -2, 2/11, y
Suppose -43*o + 37 + 6 = 0. Sort -4, -5, -3, -308, o.
-308, -5, -4, -3, o
Let d(o) = 9*o**2 + 80*o + 61. Let n be d(-8). Put 9, 5, -2, n in decreasing order.
9, 5, -2, n
Let n(a) = 42*a + 1128. Let p be n(-26). Sort 5, 9, p in increasing order.
5, 9, p
Let b(g) = -g**2 + 8*g - 7. Suppose -2*o - 84 = -14*o. Let p be b(o). Suppose -3*y - 2*y + 25 = p. Sort -4, y, 0, -3 in increasing order.
-4, -3, 0, y
Let y = -108 - -111. Suppose 5*u = 2*h - 25, y*h - 11 = -h - 3*u. Sort -1/3, h, 0.3, -0.1 in decreasing order.
h, 0.3, -0.1, -1/3
Suppose -1 = -10*k - 51. Let p(r) = -2*r**3 + 42*r**2 - r + 25. Let m be p(21). Put m, -4, k, 1 in ascending order.
k, -4, 1, m
Suppose 4*r = 2*n - 38 + 52, -5*r - 4*n - 15 = 0. Put r, -13, -5, -1 in descending order.
r, -1, -5, -13
Let d = -13225 - -13226. Sort 6, d, 101 in decreasing order.
101, 6, d
Let w be (5/(-7))/((-51)/714). Put w, 58, 7 in ascending order.
7, w, 58
Let h be (-11*(-16)/88)/1. Sort -5, 0, -8, h in increasing order.
-8, -5, 0, h
Suppose 32 = -5*f + 3*f - 4*n, 3*f - 3*n = -3. Suppose -4*p + 2 = -6. Let s be ((-8)/10)/(992/(-3720)). Sort f, -5, s, p in ascending