der.
m, r, 4
Suppose 0 = 2*h + 2*u - 2, 3*h - 4*u + 5 = 8*h. Suppose 57 = 19*v - 133. Put h, v, -5 in ascending order.
-5, h, v
Let c = 2745 - 2728. Sort 8, -2, c.
-2, 8, c
Let b be 1 + (1 - (0 - -6)). Let g be 128/80 - 4/(-10). Suppose -4*u = g*u - 30. Put b, 0, u in ascending order.
b, 0, u
Let n = -9 - -6. Let u(j) = j**2 - 7*j + 2. Let l be u(7). Suppose 0 = 24993*v - 24999*v - 102. Put 3, v, l, n in descending order.
3, l, n, v
Let f = -38.7 - -38.2. Suppose 1 = 2*p + 5. Let d be 2 + p - 8/(-104). Sort 2, -5, f, d in descending order.
2, d, f, -5
Let p be (-24)/(-15) - 377/(-5). Sort 4, -5, p, 12 in decreasing order.
p, 12, 4, -5
Let k = -503 - -502.7. Put -11/4, -0.5, k in descending order.
k, -0.5, -11/4
Let f(h) = h**3 - 3*h**2 - 4*h - 1. Let i be f(4). Let r = -26976 + 26973. Sort -5, r, 2, i in increasing order.
-5, r, i, 2
Let c = 6.3 - 70.3. Let k = 0.46 + 68.54. Let t = k + c. Put t, -2/9, 13, 1/2 in descending order.
13, t, 1/2, -2/9
Let y be (-2)/(-12)*(449 + -449). Sort -4/3, y, 1, -3, 10 in decreasing order.
10, 1, y, -4/3, -3
Let p = 166/5 + -503/15. Let n = 177.075 + -177. Put 1/6, p, n in decreasing order.
1/6, n, p
Let b = 94.31 - -4.69. Put b, 0.014, 3 in descending order.
b, 3, 0.014
Let n = 6767 + -6767. Sort 1/123, -1/6, -0.1, 1, n in decreasing order.
1, 1/123, n, -0.1, -1/6
Let v(c) = -215*c + 1294. Let o be v(6). Sort 486, o, -2 in increasing order.
-2, o, 486
Let x(j) = -j**3 + 6*j**2 - 2. Let w be x(6). Let p be 34824/288 + (14/12)/(-7). Let i = p + -121. Sort i, 6, w in decreasing order.
6, i, w
Let l = -122 - -131. Suppose 24*j - 15 = l*j. Let a be -2 + 8/2 + 2. Sort j, a, 5 in increasing order.
j, a, 5
Let i be 9*(-18)/18 + 454/36. Put 2/21, -1, i in decreasing order.
i, 2/21, -1
Let o be (16/36 - 154/(-18)) + -5. Sort o, -1, 17, 1 in descending order.
17, o, 1, -1
Let y = -3 + 2. Let o be (82/369 - 236/90) + (-1 - -3). Sort -5, -0.3, o, y in decreasing order.
-0.3, o, y, -5
Let h be (1 + -1)/(5 - (1 - -2)). Let p = -0.4 - -0.3. Let b be 1/(1/4)*(-12)/84. Sort b, p, h.
b, p, h
Let q = -11.638 - -11.138. Let k = -100/153 - 2/153. Sort -0.1, k, q, -0.8 in decreasing order.
-0.1, q, k, -0.8
Let q be ((-12)/9)/((-2)/18). Let w(o) = 2*o**2 - 24*o - 1. Let l be w(q). Sort l, -4, 3 in increasing order.
-4, l, 3
Let u = -344.03 + 259.03. Sort u, 1/7, 1.
u, 1/7, 1
Suppose -24 = 12*f - 84. Suppose 3*g = -g + f*g. Suppose 3*z + g*z - 15 = 0. Put -1, -5, 6, z in increasing order.
-5, -1, z, 6
Let l = -1027.5 - -1047.48. Let s = -57 + 37. Let x = s + l. Sort 0, x, -1/6 in increasing order.
-1/6, x, 0
Suppose t + 2 + 1 = o, -2*t - 31 = 3*o. Sort 3/4, 4, -0.2, -0.08, t.
t, -0.2, -0.08, 3/4, 4
Let b = 8.103 + 4.897. Sort 35/2, b, -3/2 in ascending order.
-3/2, b, 35/2
Let k = -302 - -303. Let m(n) = -n**3 + 10*n**2 + 2*n - 10. Let c be m(10). Put -0.4, k, c in increasing order.
-0.4, k, c
Let h = 0.09467 - 0.06567. Put 3, 1/2, h in ascending order.
h, 1/2, 3
Let u(a) = a**3 + 22*a**2 + 104*a - 10. Suppose f - 4*d = -3*f - 80, -2*f = 5*d + 5. Let j be u(f). Let m = 9/10 + -83/70. Put m, j, 0.2, 0 in descending order.
j, 0.2, 0, m
Let u be ((-65)/1)/1 + 1. Let c(y) = y**2 - 4*y + 5. Let x be c(4). Suppose -11*h + 21 = 11*h - 15*h. Sort -4, u, h, x.
u, -4, h, x
Let o be -7*(60/(-70))/(-6). Suppose -2*p = -3*n - 25, n + 11 - 1 = p. Put 4, 8, o, n in descending order.
8, 4, o, n
Suppose 20 = 4*g - 4*j - 16, -18 = 4*g + 5*j. Put 18, -1, -5, g, -3 in decreasing order.
18, g, -1, -3, -5
Let w be (-7 + -10 + 14)*19/(-3). Suppose -4*u + 18 = -2*k, 3*u - 3*k = 2 + w. Let z = -0.43 - 0.07. Put -3, z, u, -1/5 in descending order.
u, -1/5, z, -3
Suppose 29 - 5 = b. Suppose -3*i = 4*k - 4, 2*k + i - b = 5*i. Let g be 1/(-3 + k)*3. Sort 29, g, -1 in increasing order.
-1, g, 29
Suppose 2*x = -208 + 206. Let f be -1 + (-7)/(-112) - x. Put -2, -3, f, -5 in increasing order.
-5, -3, -2, f
Let s be (7*4/10)/(10115/14450). Let v(u) = -u + 1. Let r be v(1). Suppose 0 = -r*n - 3*n. Put -2, -1, n, s in descending order.
s, n, -1, -2
Suppose -5*o = 3*b - b + 2, 5*b - 33 = -3*o. Suppose 0*k - b = 3*k. Let g = 2392 - 2387. Sort k, g, -1, -4.
-4, k, -1, g
Let a = -49 + 43.9. Let k = a - -5. Let d = -1364/5 - -272. Sort -0.3, 5, k, d in decreasing order.
5, k, -0.3, d
Let m = 16.27 - 11.27. Let o = 62 - 51. Sort -5/2, o, m, 4.
-5/2, 4, m, o
Let p = 16744 + -16745. Put -3, p, -16, 7 in ascending order.
-16, -3, p, 7
Let r(i) = -i**2 + 10*i - 4. Let m be r(10). Let t = -5 - -2. Let s = 0.186 + -0.086. Sort t, s, m in increasing order.
m, t, s
Suppose 5*t + 4 - 29 = 4*m, -5*m + 2*t - 10 = 0. Sort 0.1, -14/9, -1/9, m in increasing order.
-14/9, -1/9, m, 0.1
Let a = -11.524 - -15.524. Sort a, -3, -0.2, 2/215, -2/11 in decreasing order.
a, 2/215, -2/11, -0.2, -3
Suppose 5*d = -h + 4, -4*d - 26 = -2*h + 66. Sort 5, h, 2, 0 in increasing order.
0, 2, 5, h
Suppose 21*g + 36 = 8*g - 23*g. Put 16, g, 0 in descending order.
16, 0, g
Let j = -1186 - -1191. Put j, 4, 673 in decreasing order.
673, j, 4
Let y = -1306 + 1301. Put 0.1, 154, -0.4, y, -3 in ascending order.
y, -3, -0.4, 0.1, 154
Let i = 2 - 3. Let k be (-3 + 4 + -1)/(-1). Suppose -3*o + 3 = k, -7*t + 3*t = o - 1. Sort i, t, -5 in descending order.
t, i, -5
Let s be 8/(-124) + 361548/1364. Sort 4, -1/2, s in increasing order.
-1/2, 4, s
Let g = 8 - 3. Suppose 2*k - 3*w + 1 = -3, 0 = k + 2*w - g. Suppose -4*q + 2*t - 16 = 0, -2*q = -0*q + 4*t - 2. Put 2, k, q in decreasing order.
2, k, q
Let t = 1/1762 - 1767/8810. Put 5, -1/9, 1.5, t in decreasing order.
5, 1.5, -1/9, t
Let s = 115 - 118. Let t = -2.044 + 0.044. Sort -1, t, s in ascending order.
s, t, -1
Let n(v) = -2*v**2 - 3*v - 3. Let x be n(-2). Suppose 0 = -25*k + 40*k. Let a = 88 - 92. Sort a, x, 3, k in decreasing order.
3, k, a, x
Let k(x) = -x**3 - 6*x**2 - 5*x - 30. Let s be k(-6). Sort s, 2, -0.5, -6, 4.
-6, -0.5, s, 2, 4
Let i(t) = t + 10. Let d = -32 + 22. Let k be i(d). Let r(u) = -u**3 + 5*u + 5. Let h be r(3). Sort h, 2, k.
h, k, 2
Let o = 2525/7611 - -4/2537. Let v = 73280/40579 - -116/527. Let s = v - 16/11. Sort s, 1, o in decreasing order.
1, s, o
Let s = -96 - -95.7. Let c = -4.7674 + -0.0226. Let z = c + -0.21. Put 0, z, s, 2/5 in ascending order.
z, s, 0, 2/5
Let a = -1.836 + 4.836. Put -209, -5, -0.2, 1/3, a in increasing order.
-209, -5, -0.2, 1/3, a
Let q be (81 - (-2 + 4))*(-45)/15. Let f = q + 234. Put f, 1, -4, 3 in ascending order.
-4, f, 1, 3
Let u = 20 - 15. Let i = -11 + 15. Let w(r) = -6*r + 20. Let c be w(i). Sort -3, u, 6, c in increasing order.
c, -3, u, 6
Let o = 14.55 + 0.05. Let z = -14.7 + o. Put -0.3, z, 1, 50 in descending order.
50, 1, z, -0.3
Let x = 8531.451 + -8527. Let i = 0.549 + x. Let m = -0.3 - -0.8. Sort 0.04, m, i.
0.04, m, i
Suppose 2*i = -2*d, -3*d + 4*d + 12 = 5*i. Let b = 1611 + -1632. Sort i, b, 0, 4.
b, 0, i, 4
Let z = 3363 + -2395. Let l = -971 + z. Put 0, l, -47 in ascending order.
-47, l, 0
Let b = 1920 - 1919. Put 4, b, 13, 0 in descending order.
13, 4, b, 0
Let l(h) = -306*h + 5581. Let j be l(20). Sort 4, 2, j, -3 in descending order.
4, 2, -3, j
Suppose 11*f = 169*f - 818756. Put -5, -1, f in descending order.
f, -1, -5
Suppose 109*t + 151*t + 407 = -113. Sort -0.3, t, 0.2, -319 in increasing order.
-319, t, -0.3, 0.2
Let l = -3410 - -3799. Sort -1, l, 3 in decreasing order.
l, 3, -1
Suppose 2*m - i - 12 = 0, 7 = 4*m - 3*m - i. Let q = -923313/14 + 65951. Put m, q, -5, -0.4 in decreasing order.
m, q, -0.4, -5
Suppose -3*p + 5 = -4*r, -3*r = -5*p - 7*r + 19. Sort -19, 1, 8, p.
-19, 1, p, 8
Let n be (235/(-517))/(1/(-11)). Suppose -3*l + 5 - 18 = -r, 0 = -2*l + 4*r - 12. Put 115, n, l in descending order.
115, n, l
Let z be (-27)/702*116 + 6/13. Put 4, -209, z in ascending order.
-209, z, 4
Let w = 55 + -52. Let p be (1 + -2)*w*(-3)/3. Suppose -p*h = 15, 4*l - 3*h - 6 = -h. Put -0.1, -3, 0, l in descending order.
0, -0.1, l, -3
Suppose 16*s = 2*s - 70. Let g = -206 + 206. Let d be 5/20 + 13/(-4). Sort s, g, -6, d in descending order.
g, d, s, -6
Let s(f) = -f**3 - 8*f**2 - 36*f - 142. Let g be s(-6). Sort 3, -16, g, 8 in descending order.
8, 3, g, -16
Let t = 28 - 39. Let b = t + 8. Let r be b/(-15) - (-1)/(5/3). Sort r, -8, -0.4, 1/3.
-8, -0.4, 1/3, r
Suppose 1 + 863 = -4*d. Let k be 30/(d/