der.
a, 3, -1, -5, -7
Let q be (((-2706)/1287)/41)/((-74)/(-36)). Sort -5, 0.1, q in decreasing order.
0.1, q, -5
Let k(u) = u + 2. Let r be k(-6). Let g(x) = x - 3. Let m be g(0). Let a = 51 + -51. Put a, m, r in descending order.
a, m, r
Let x be (-51)/(-5340)*-402 - -4. Let q = x + 7/178. Sort -0.3, q, -11 in decreasing order.
q, -0.3, -11
Let h = 3641 - 3640.6. Sort 3/4, -2/183, -0.04, h, -0.4.
-0.4, -0.04, -2/183, h, 3/4
Let l = 27597.1 + -27597. Sort l, 0.2408, -3/7 in decreasing order.
0.2408, l, -3/7
Let a(o) = -2*o**3 + 17*o**2 - 18*o + 6. Let b be a(6). Suppose -3*m - 5*k + b - 535 = 0, -3*m = -3*k + 441. Put m, -1, 4 in decreasing order.
4, -1, m
Let k(v) = 163*v + 1476. Let a be k(-9). Let f(h) = -h - 1. Let p be f(-4). Put a, 5, p in increasing order.
p, 5, a
Let i = 123 - 140. Suppose 2*s = r + 6*s - 12, -5*s = -5*r + 10. Let c = -33 - -35. Sort r, -1, c, i in descending order.
r, c, -1, i
Let m = -0.5 + -4.5. Let x = 25961 - 25960.97. Sort m, -0.09, x.
m, -0.09, x
Let p be (-19)/((-171)/(-198)) + -12. Sort p, 7, 2 in decreasing order.
7, 2, p
Let m = 45 - 44.6. Let g = -32.13714 + -0.03286. Let u = g + 32. Sort m, 4, u.
u, m, 4
Let v = 618 + -622. Put 18, 9, v in ascending order.
v, 9, 18
Suppose 14*a + 53 + 1473 = 0. Suppose 0 = -5*l - 2*i + 3*i + 13, -2*i = 5*l - 19. Put 0.2, a, l in ascending order.
a, 0.2, l
Let b be 2/3 - (-1)/(-6). Let k = 916 + -916.2. Put 297, b, k in descending order.
297, b, k
Let f(a) = -a**3 - 2*a**2 + a + 62. Let r be f(0). Suppose 22 = 8*h + r. Let l be (-2 - -3) + 0 + -2. Sort h, l, 3 in descending order.
3, l, h
Let r(s) = -300*s + 2398. Let c be r(8). Sort 5, c, 215 in descending order.
215, 5, c
Let g = 1107 - 3389/3. Let d = 23 + g. Let n = 2391 - 2390.8. Put n, d, 0.057 in decreasing order.
d, n, 0.057
Suppose -71*m = 238 + 46. Sort -25, m, 5, -2, 1 in descending order.
5, 1, -2, m, -25
Let b = -72 + 76. Let d be (-47)/5 - (-4)/10. Let f be ((-15)/50)/(d/5). Sort b, f, 0.03 in descending order.
b, f, 0.03
Let x be (-21)/(-294)*164 + 1 + -13. Put 3, -3, x, 1/17, 1 in decreasing order.
3, 1, 1/17, x, -3
Let i = -1283 + 1275. Suppose -p + 2 = -0*p. Put -1, p, i in decreasing order.
p, -1, i
Let t be ((-11)/(-3))/(528/(-134) + 4). Let d = t - 123/2. Let i = 17 + -14. Put -3, d, i, 1 in increasing order.
-3, d, 1, i
Let a = -383 - -7279/19. Let q = -5.018 - -0.018. Put q, a, 0.08 in decreasing order.
a, 0.08, q
Let k = -5 + 14. Let g be (5 - (-10)/5) + 4 + -9. Put g, 0, k, -5 in decreasing order.
k, g, 0, -5
Let w be -39 + 43 + (1 - 6) - (11 - 2). Put -9, w, 5, 1 in ascending order.
w, -9, 1, 5
Let w be (-5)/2 - (1 + -2). Let g = -5.199 - 0.801. Put w, g, 1 in increasing order.
g, w, 1
Suppose 5 = 6*z - 1. Suppose 91*c = 87*c - 20. Put z, -1, c, -6 in increasing order.
-6, c, -1, z
Let n = -0.056 + -19.444. Let v = 16.5 + n. Sort v, 5, -0.3, 1 in decreasing order.
5, 1, -0.3, v
Suppose 6 = s - 10. Suppose 21 = -5*l + s. Let u(n) = n**3 + 7*n**2 - 9*n - 11. Let j be u(-8). Sort -2, l, j, -5.
-5, j, -2, l
Let k = 0.8 + -0.86. Let a = k + 0.06. Let w be 8*12/(-288)*-9. Sort a, w, 4 in decreasing order.
4, w, a
Let q = -800 + 798. Let x(z) = -z**3 - 7*z**2 - 5*z + 2. Let j be x(-6). Sort -168, j, q.
-168, j, q
Let u = 47253/5 - 9451. Let c = -1.1 - 3.9. Let l = 4.3 + c. Sort 0.4, l, u in descending order.
0.4, u, l
Let q(x) = 69*x**3 - 6*x**2 - 34*x + 143. Let n be q(3). Sort n, 3, 2 in ascending order.
2, 3, n
Let z be -4 + 1685/20 + 1/(-4). Suppose -17*k + 9*k + z = 0. Suppose x = -4*c + 4, -c - 7*x = -k*x + 12. Sort -5, c, -3, 1 in decreasing order.
1, c, -3, -5
Suppose 0 = 5*f - 4*x - 20, -3*x - 3 - 12 = 3*f. Let n be f*(-7)/(-28) + -1. Sort 11.9, n, 2 in decreasing order.
11.9, 2, n
Let q = -198.772 - -199. Let v = 0.103 - q. Sort v, 1, -4 in descending order.
1, v, -4
Suppose 4*l - 6*w + 8 = -w, -5*l + 4*w - 10 = 0. Sort l, -13, -6/13, -1/7 in increasing order.
-13, l, -6/13, -1/7
Let v = -3.6 - -4. Let g be (21 + 78)/11 - (-254)/50 - 14. Sort g, 0, 0.5, v in decreasing order.
0.5, v, g, 0
Let w be -2 + (-4)/(-6) + (-110)/30. Let m be (3/(-2) + 1)*4. Sort m, w, 37.
w, m, 37
Let q = 0 - 0.4. Let u = 29.062 + -0.062. Let r = u - 27. Sort 1, r, q in increasing order.
q, 1, r
Suppose 944*w - 114 = -2*b + 949*w, -2*b = -2*w - 90. Put b, -4, -10, 0, -2 in descending order.
b, 0, -2, -4, -10
Let x be (-3)/(-8) + (21573/(-376))/17. Suppose 0 = -4*n + d + 8, 4*n - 4*d = -d. Sort x, n, 62 in descending order.
62, n, x
Let u = 27 + -44. Let j(m) = -m**3 - 9*m**2 - 9*m - 6. Let d be j(-8). Let c(x) = -x**2 - 5*x. Let n be c(-4). Sort d, n, u, -4.
u, -4, d, n
Let k = -35 - -28. Sort k, -12, -6 in descending order.
-6, k, -12
Let a be (-4)/10 + (-646)/10. Let k(z) = 87*z**2 + 517*z - 29. Let y be k(-6). Put -1, y, a in descending order.
y, -1, a
Suppose 177020*m - 176824*m + 392 = 0. Let v be (-33)/(-7) + 4/14. Sort v, m, 1, 8.
m, 1, v, 8
Suppose -5*p - 10*o = -13*o - 5, -1 = -p - 4*o. Suppose 16 = 2*y - j - j, 0 = 5*y + 2*j - 75. Sort 2/3, p, 5, y in decreasing order.
y, 5, p, 2/3
Let f be 4/18 - ((-5225)/(-225) - 25). Let u be (-6)/9 - (-20)/(-6). Sort -15, 1, u, f.
-15, u, 1, f
Let p(f) = f + 4. Let s(d) = -d**2 - 6*d. Let k be s(-6). Let x be p(k). Let n(q) = -q**3 - 2*q**2 + 17*q + 5. Let t be n(-5). Sort x, 3, t.
t, 3, x
Let i = -4 - -1. Let h = 313 + -320. Let y(o) = -2*o - 27. Let g be y(h). Put i, 1, g, 0 in increasing order.
g, i, 0, 1
Let s(g) = -g**2 + 17*g - 32. Let u be s(15). Let o(b) = -b**2 - 7*b - 1. Suppose 0 = 12*m - 7 + 91. Let l be o(m). Sort -5, u, l in ascending order.
-5, u, l
Let q = 886203/211 + -4200. Let o = 5/51 + -4/561. Sort q, o, 1/6, -3 in ascending order.
-3, q, o, 1/6
Suppose -7*w - 33 = -3*b - 2*w, 0 = -4*b - 9*w - 50. Sort 2, 0, -5, 179, b in ascending order.
-5, 0, b, 2, 179
Let z be -17 + (-238 + -9)/(-19). Let x = -13 + 11. Suppose -2*r - 4 = -4*r - 4*p, 3*r - 10 = -2*p. Sort x, z, r in descending order.
r, x, z
Let t = 656 + -634. Suppose -5*w - 3*a = -38, -5*w - 4*a + t + 12 = 0. Sort 4, 3, w in increasing order.
3, 4, w
Let l(h) = -6*h**2 - 36*h + 436. Let p be l(-24). Put 3, p, -5 in descending order.
3, -5, p
Let r = 750/31 - 2281/93. Sort 2, r, 5, -33 in ascending order.
-33, r, 2, 5
Suppose 13*m - 9*m + 2*a + 22 = 0, m - 2*a + 23 = 0. Sort 8, -2, m, -10 in decreasing order.
8, -2, m, -10
Let l(i) = -i + 31. Let o be l(14). Suppose -76 + 25 = -o*b. Put -1, 2, b in descending order.
b, 2, -1
Let y = -383 + 384. Suppose -4*p + p - p = 0. Let v(h) = h - 10. Let g be v(7). Sort g, 3, p, y in decreasing order.
3, y, p, g
Let r be 1*11*(-9315)/(-621). Put 5, r, 4 in decreasing order.
r, 5, 4
Suppose 4*d = 4*q + 56, -5*q + 2*d - 63 = 4*d. Let h be (-6)/(-27) - q/(117/10). Sort -4/39, -2/3, h.
-2/3, -4/39, h
Let t = 20838 - 20837.5. Sort 16, 4, -47, t.
-47, t, 4, 16
Let r = 110 + 366. Suppose -r = 9*q + 361. Let o = -104 - q. Sort -5, 1, -1, o in decreasing order.
1, -1, -5, o
Let k(o) = -3*o**3 - 26*o**2 + 44*o + 33. Let a be k(-10). Let p(w) = w**3 - 3*w**2 - w. Let b be p(3). Put a, b, 2 in decreasing order.
2, b, a
Let k = -470 - -469.08. Let r = k - -3.92. Sort 1, r, -20 in increasing order.
-20, 1, r
Let l(y) = -y**3 - 9*y**2 - 8*y - 4. Let u be l(-8). Let o(d) = 2*d**2 + 24*d - 221. Let n be o(6). Sort 7, n, u in ascending order.
n, u, 7
Suppose 0 = -7*u + 94 - 395. Let y be 5/((-30)/16 - -2). Let n = y + u. Sort -4, 1, n in increasing order.
-4, n, 1
Suppose 15*l - 4 + 19 = 0. Let i(q) = -2*q + 6. Let d be i(5). Let j(r) = r**3 - r**2. Let n be j(1). Put l, d, n in decreasing order.
n, l, d
Let f(n) = -3*n**3 + 11*n**2 + 21*n - 15. Let t be f(10). Let u be t/4719 + 1/3. Let i = 250/1287 - u. Sort 0.4, -10, i in descending order.
0.4, i, -10
Let j be ((-78)/(-5))/((-741)/(-1235)). Sort j, 52, 3, 1, -2 in decreasing order.
52, j, 3, 1, -2
Let j = -5225 - -5231. Sort -71, 1, j in descending order.
j, 1, -71
Let p = -36471 + 36464. Put p, 2/3, 29/13, 0.3, -1 in descending order.
29/13, 2/3, 0.3, -1, p
Let q = -7 + 16. Let t(o) = o**3 + 26*o**2 - 27*o + 15. Let y be t(-27). Let k be (-13)/(-3) - (50/y)/(-5). Sort q, -2, k, -4 in descending order.
q, k, -2, -4
Suppose -5*a = -a - 28. Let n = -3148 + 3154. Sort n, 0, a in descending order.
a, n, 0
Suppose -6*i = i 