7719. Sort r, -3, 0, f in decreasing order.
f, 0, -3, r
Let j(k) = -2*k - 1. Let z be j(-12). Suppose 0 = -24*g + z*g. Let f = 30 - 26. Put -3, 3, f, g in descending order.
f, 3, g, -3
Let g be (-12)/(-78) - 22*1010/(-65). Suppose 330 = 6*z + g. Sort z, 14, 6.
z, 6, 14
Let o = -0.00324 + 0.30324. Sort -13/2, 5, -1, o.
-13/2, -1, o, 5
Let m = 11.8 + 3.4. Let o = 12.2 - m. Put o, -23, 2/5 in descending order.
2/5, o, -23
Suppose 4*y + i = 6*i - 64, -y = 5*i - 9. Let r(d) = -3*d - 8. Let j(o) = -o - 3. Let f(k) = y*j(k) + 4*r(k). Let u be f(3). Sort 0, u, 1 in descending order.
1, 0, u
Let b = -3002.2 + 3002. Let o = -5.3 - -1.3. Sort 0.3, -24, o, b in ascending order.
-24, o, b, 0.3
Suppose 0 = -131*n - 138*n - 10491. Sort 5, -10, n.
n, -10, 5
Suppose 2*i - 6 = 0, -4*i = 3*h - 92 + 5. Let l be h/10 - (4 + -3). Let b(x) = -5*x - 1. Let r be b(-3). Put r, -2/9, l in ascending order.
-2/9, l, r
Let p = -2888 + 2887.6. Sort p, 3, -3/8, 2 in descending order.
3, 2, -3/8, p
Let z be (-4 - (-58)/14)/(11/77). Let h be (-5)/((-5)/12) - 2. Sort z, h, -1/11 in descending order.
h, z, -1/11
Let w = -0.1248 - 1.8752. Let c(h) = -2*h**2 - 23*h - 11. Let x be c(-11). Put x, -3, w, -5 in ascending order.
-5, -3, w, x
Let s = -288.0573 - -0.0573. Let p = s - -289. Sort p, -7/9, 5.
-7/9, p, 5
Let m be (116/28 - 1)/(297/2079). Let w be -1 + ((-22)/14 - -2). Sort w, -2/3, m in descending order.
m, w, -2/3
Let m = -1.2873 + 1.2173. Put -646, m, 0 in increasing order.
-646, m, 0
Let n(h) = 139*h + 102. Let p be n(-2). Let z = p + 177. Sort z, -5, -3, -39 in descending order.
z, -3, -5, -39
Let t = -1352 - -764. Let c = -590 - t. Sort 1, -1/7, 1/6, c in increasing order.
c, -1/7, 1/6, 1
Let u = -233 - -236. Let w be 10 - (u + -2) - (-57)/19. Sort -1, w, -4 in decreasing order.
w, -1, -4
Suppose -12 = -3*s - s. Let b be 4 - (-4 + 0 + 2 + 7). Sort s, b, -4, -17 in descending order.
s, b, -4, -17
Let w = 97.58 + -97.48. Sort -4824/11, w, 3/7 in ascending order.
-4824/11, w, 3/7
Let m be 14/(-2) - 3 - -4. Let t = -3 + 3. Let c be (1 - t)/(m/(6 + 0)). Sort c, 5, 2, 3 in descending order.
5, 3, 2, c
Let y = 122.8881 + 1.8419. Let n = 124 - y. Let l = n + -0.27. Sort 3, -3/4, -0.36, l in increasing order.
l, -3/4, -0.36, 3
Let f be 6/(-9)*3 - 2. Suppose 3962 = 172*q - 854. Sort -3, f, q in increasing order.
f, -3, q
Suppose 3*q = 5*a + 14, 0 = -3*a + 47*q - 43*q - 15. Sort a, -122, -5, 5, 2.
-122, -5, a, 2, 5
Let g be (-60)/16*16/(-744). Let w = -12 + 8. Sort -1/3, w, g in decreasing order.
g, -1/3, w
Let v be (-10)/(-12)*2/5. Suppose 93*i - 144 = 129*i. Suppose m + 6 = -2*t - 1, 0 = -2*m + t + 11. Put m, 1/2, v, i in descending order.
m, 1/2, v, i
Let t = 86.92 + -87.12. Sort t, -0.1, -8, 1/9 in ascending order.
-8, t, -0.1, 1/9
Let m = -11.5 - -11.1. Let z = 5.025 + -0.025. Put 4, z, m, 0 in ascending order.
m, 0, 4, z
Let j be (-42)/(((-9)/(-6))/(-1)). Let f = 588 + -568. Suppose 5*b + f = 0, -5*b - j = 2*u - b. Sort 5, u, -1, 4 in descending order.
5, 4, -1, u
Let b = 13022 - 13023. Put 0, -6, 1, b, 143 in descending order.
143, 1, 0, b, -6
Let i = 1.18 + 4.19. Let f = i + 0.03. Let d = -5 + f. Sort 5, -2/3, d.
-2/3, d, 5
Let j be (-2)/(-4) - (-765)/(-18). Let l be (-24)/j + -1 + (-17)/(-7). Let g(x) = -x + 1. Let r be g(3). Sort l, 3, r in descending order.
3, l, r
Let i = -1893 + 1893. Let h be (1 + (-20)/12)*(-6)/2. Suppose -4*y + 4*x = 24, -4*y = x + x + 12. Sort i, y, h in ascending order.
y, i, h
Let d(a) = -43*a**2 + 27*a - 2. Let w be d(1). Put 38, -3, 3, 2, w in descending order.
38, 3, 2, -3, w
Let x = 506 - 504. Let a be (x/8)/((-17)/340). Let q be -8*((-54)/28 - -2). Sort q, -1/8, a, 2/3 in decreasing order.
2/3, -1/8, q, a
Let r(q) = 412*q - 4121. Let p be r(10). Put 5, p, 0, 8, 7 in ascending order.
p, 0, 5, 7, 8
Let k be 33/(-1155)*-14 - 0. Let l be ((-2)/(-6))/(22/(-12)). Sort k, 38, l in decreasing order.
38, k, l
Let z be (-16)/2 + 168/21. Sort 5, 2, z, -2, -3 in descending order.
5, 2, z, -2, -3
Let p be (2 - 18/8) + (-42)/(-8). Let z(k) = 17*k + 81. Let w be z(-5). Let q(h) = -h**3 - 8*h**2 - 6*h + 4. Let c be q(-7). Put p, w, c in descending order.
p, c, w
Let z be (4/(-6))/((-18)/81). Let w be (-12)/16 - (5 + 365/20). Let g be (-23 - w)/((-13)/(-2)). Put g, 5, z in descending order.
5, z, g
Let x be 8/(-14)*35/(-10). Suppose 0 = -h + 33*m - 36*m - 11, -5*h = -4*m - 40. Let l be -8 + 0 + 4 + 1 + 1. Sort l, -1, x, h in increasing order.
l, -1, x, h
Let t(c) = -2*c**3 - 10*c**2 - 10*c. Let u be t(-4). Let l = 4 - u. Let i(g) = g**2 + 2*g - 7. Let a be i(l). Sort 2, a, 0, 3 in descending order.
3, 2, a, 0
Suppose 0 = -21*d - 35 + 119. Put d, 1, 3, -222 in descending order.
d, 3, 1, -222
Let x be (-6)/51 - (-361)/323. Sort 17, x, -1, -2, -4 in decreasing order.
17, x, -1, -2, -4
Suppose 63*m - 16249 = -16375. Sort -3, 5, -9, 7, m in decreasing order.
7, 5, m, -3, -9
Suppose -4*a - 13 = -1. Let b(d) = -11*d - 8. Let o be b(-1). Suppose -15 = 8*h - 7*h + 2*s, -5*h = o*s + 40. Put 2, a, h, 1 in decreasing order.
2, 1, a, h
Suppose -t = -a - 9, 2*a - 3 = -3*t - a. Let o be (1 - -2) + -60 + 54. Sort o, t, 1.
o, 1, t
Suppose -5 = 4*v - j, 2*v = -j - 4*j + 25. Suppose v = -4*t + 5*r - 15, 4*t - 2*r + 22 = -4*r. Sort -10, -1, t in increasing order.
-10, t, -1
Let v = 6.545 + -6.725. Put 0.1, v, 0.15 in descending order.
0.15, 0.1, v
Let l = -46 - -38. Let a(t) = -3*t - 3. Let v be a(l). Let z = v + -25. Sort 3, z, 6 in ascending order.
z, 3, 6
Let g be (-1)/(-1) - 0 - -9. Let u(o) = o**3 + 6*o**2 - 1. Let p = -229 - -223. Let k be u(p). Sort g, k, 2, -2 in descending order.
g, 2, k, -2
Let t = 29 - 26.8. Let i = t + -1.6. Let u = -587/3 - -194. Put u, i, -0.3 in decreasing order.
i, -0.3, u
Suppose -121 = 25*g + 4. Let w = 582 - 579. Put g, w, 122 in decreasing order.
122, w, g
Let g = -0.00588 - -2.00588. Sort -4905, -0.5, g in increasing order.
-4905, -0.5, g
Let i be -4*(-30)/(-20) - (3 - 5). Put -1, -48, -2, i, -3 in increasing order.
-48, i, -3, -2, -1
Let f = -7951.5833 + 7952. Let a = -0.0167 + f. Sort a, 1/2, 13/3 in ascending order.
a, 1/2, 13/3
Suppose j + 37 = -b - 2, j = -3*b - 109. Let s = 63 + b. Let h be 6*(s/6)/7. Put 1/4, -0.3, h, -1/6 in ascending order.
-0.3, -1/6, 1/4, h
Let s(m) be the third derivative of -m**5/60 - 5*m**4/4 + m**3/3 + 145*m**2. Let c be s(0). Let h be (1/2)/(2/(-20)). Put h, -4, c, 3 in descending order.
3, c, -4, h
Suppose 943 = -3*w + 931. Sort -86, w, -3 in decreasing order.
-3, w, -86
Suppose 2*l - 3*l = 0. Suppose l = 2*a - 2*y + 12, 18 = -a + y + 4*y. Let t be (-8)/8*(-2)/(-10)*0. Sort 4, t, a, -4.
-4, a, t, 4
Suppose -l - 86*c + 82*c = 225, -3*l - 5*c = 612. Put 7, l, 2 in decreasing order.
7, 2, l
Let n = 0 - -3. Let j = -1464 + 5855/4. Sort 9, n, j in descending order.
9, n, j
Let l = 154.7 - 148. Let s = l + -7. Suppose 452*u = t + 450*u - 15, u - 15 = -4*t. Sort s, -2, t, -1 in increasing order.
-2, -1, s, t
Let s(o) = -o**2 - 7*o + 57. Let x be s(-12). Let m be (-1)/(x/4*(-500)/(-30)). Sort -1, m, 3, 1/3 in decreasing order.
3, 1/3, m, -1
Let m(r) = r**2 - 11*r - 14. Let f = -99 + 95. Let w be -1 + f/(-1) + 8. Let n be m(w). Sort 5, n, 2 in decreasing order.
5, 2, n
Let g = -47 - -330/7. Suppose 0 = q - 5*o - 11, q + 3*o = -6 + 1. Put 61, q, g in decreasing order.
61, q, g
Suppose -4*q = -0*q. Let x(j) be the second derivative of -j**5/20 - j**4/12 - j**3/6 - 2*j**2 + 126*j. Let w be x(q). Sort -5, w, 8 in descending order.
8, w, -5
Let v = -3526 - -3511. Put 17, 2, -5, 1, v in decreasing order.
17, 2, 1, -5, v
Let c = -1 - -5. Let i be 29/(-85) + c/10. Let f = 477 - 476.7. Put i, 2, f in descending order.
2, f, i
Suppose 55 = 23*j + 9. Suppose -3*q = c + 23, -j*c = -3*q - 19 + 2. Sort -13, -1, 1, q.
-13, q, -1, 1
Let t = -440/579 - -18/193. Put 3/2, -0.5, t, 7/5, 5/6 in decreasing order.
3/2, 7/5, 5/6, -0.5, t
Let i = 0.18 - 0.12. Let u = i + 0.94. Let x = 517 - 521. Put x, u, -2/7 in increasing order.
x, -2/7, u
Let b = 5 + -5. Let g(w) = -w**2 - 128*w - 1101. Let p be g(-9). Put p, 0.2, b, -1/4 in ascending order.
p, -1/4, b, 0.2
Let y(j) = j + 11. Let a be y(-9). Suppose 0 = 2*l + 3*b - 13, -a*l + 5 = -3*b + 22. Let i be ((-6)/4)/((285/(-19))/90) - 4. Put -9, i, l in ascending order.
-9, l, i
Let z be (