0, 1/4, k, 3 in decreasing order.
3, 1/4, k, 0
Let j(k) = 3*k**3 - 142*k**2 + 46*k + 47. Let q be j(47). Put 48, -1, 7, q in increasing order.
-1, q, 7, 48
Suppose 263 = -18*q + 317. Sort 1, -5, -13, q.
-13, -5, 1, q
Let x be (-21)/(2772/24) + (-57)/(-11). Put 1/5, x, 0, 13/6, -2 in descending order.
x, 13/6, 1/5, 0, -2
Suppose -47 = -5*m + 3*f, -31 = 2*m - 5*f - 27. Put 0, m, 5, 1 in descending order.
m, 5, 1, 0
Suppose -j + 0*j = -5*w + 78, 5*j + 54 = 4*w. Suppose -32 = 14*c - w*c. Suppose -5*p + c = -9*p. Sort 2, p, 3.
p, 2, 3
Let v = 360 + -312. Let x be v/(-160) + (-2)/10. Let q = 249/5 - 149/3. Sort q, x, -3 in decreasing order.
q, x, -3
Suppose -3*y - 3*i + 30 = 0, -352*y + 4*i = -357*y + 45. Let r be (1 + (-6)/4)*2. Put r, 1, y, 0 in increasing order.
r, 0, 1, y
Suppose 3*r + 0*f + 5*f = -24, 0 = -5*r - 2*f - 40. Let z be ((-15)/(-45))/((-2)/r*-2). Put -0.4, z, 1.4, 2/11 in descending order.
1.4, 2/11, -0.4, z
Let y = -7.2 - -7.3. Suppose 4*m = -a + 3*m - 3, -2*a + 5*m = 13. Put a, 0.022, y in increasing order.
a, 0.022, y
Let r = -29.052 + 32.052. Let m = 0 - -1. Let p = -3/5 - 0. Sort p, r, 1/6, m in descending order.
r, m, 1/6, p
Let z(d) = d**2 - 10*d + 12. Let k be z(11). Let q = 31 - k. Let g = q - 17. Sort 3, 1/4, g.
g, 1/4, 3
Let x = 232620 + -232608. Let u(h) = 4*h**3 - h**2 - h + 1. Let o be u(1). Put 0, x, 2, o in decreasing order.
x, o, 2, 0
Let n(b) = -b. Let z(h) = 4*h - 100. Let l(m) = 6*n(m) - z(m). Let p be l(10). Sort p, 8, 1 in ascending order.
p, 1, 8
Let t = 15429.8 - 15430. Sort t, -7, 2/7, -5, -3/4 in descending order.
2/7, t, -3/4, -5, -7
Let r = 615 - 613. Put -34, -4, r in ascending order.
-34, -4, r
Let f = 741.02 - 741. Let i be (-4*2/(-4))/14. Sort i, -3, -1, f.
-3, -1, f, i
Let r be (-2 + (-9)/(-3))*3. Suppose -m - 84 = r*m. Put -2, 0.2, m in increasing order.
m, -2, 0.2
Suppose 0 = 149*f - 154*f - 4*s - 45, 2*s = -20. Let x = 1 + 0. Put f, -4, x, 16 in descending order.
16, x, f, -4
Let h(p) = p**2 - 22*p + 56. Let v be h(3). Suppose 4*q = -5 + 1. Let y be q/((-6)/4)*6. Put y, 5, v in ascending order.
v, y, 5
Let r = -495 + 514. Let l = 163 - 162. Sort 4, 0, l, r in increasing order.
0, l, 4, r
Suppose 26*f - 33*f = 29*f + 3456. Sort 20, 0.3, f.
f, 0.3, 20
Let m(n) be the third derivative of -n**5/60 - 5*n**4/12 + 8*n**3/3 - 13*n**2. Let u be m(-11). Let s(i) = -i + 3. Let l be s(u). Sort 2, l, 1, 3.
l, 1, 2, 3
Let o = -13515 + 13510. Sort o, 1, -4, 5, -2 in decreasing order.
5, 1, -2, -4, o
Suppose -2*l + 35 = -9*z, -15 = -3*l + 5*z - 4*z. Sort 2, -68, 1, l.
-68, 1, 2, l
Let y(a) be the first derivative of a**2/2 - 16*a - 5. Let c be y(15). Let m(t) = t**3 - 6*t**2 + 4*t + 5. Let b be m(5). Put c, 4, b in decreasing order.
4, b, c
Let x = -0.028 - 13.972. Let m = x - -57. Let n = 39 - m. Put 2, 46, n in decreasing order.
46, 2, n
Let m(q) = q**2 + 4*q + 3. Let r be m(-4). Suppose -504 = -16*c + 4*c. Let o = c + -43. Sort 0, r, o.
o, 0, r
Let a be 0 + 2/2 - (28 + -19 + -7). Sort a, 5, -180 in decreasing order.
5, a, -180
Let p(w) = -w - 11. Suppose -2*s = l + 21, -4*s - 11 = 4*l + 41. Let g be p(s). Let f be (10/4)/(2/(-4)). Sort f, 4, g, -4 in ascending order.
f, -4, g, 4
Let b = 0.2 - 1. Let q be (0/(-2))/(151 - 155 - 9/(-1)). Put b, -5, q in decreasing order.
q, b, -5
Suppose r + 5*g - 4*g = 3, 3*r + 9 = 3*g. Let u(n) = -2*n**3 - 8*n - n**2 + 6*n**3 + 15*n - 1 - 6*n. Let j be u(1). Put r, j, 2 in increasing order.
r, 2, j
Let x = -1 - 0. Suppose 3 = -m - 5*z - 27, -2*m = 2*z + 12. Sort -6, m, x, -4 in ascending order.
-6, -4, x, m
Let i(f) = 3 + 20 + 2*f - 8. Let k be i(-6). Let c be 44/28 - 3/(-7). Sort 0, c, k in descending order.
k, c, 0
Let w = -1.49 + 1.315. Let s = w - -3.175. Sort -0.045, s, -2 in descending order.
s, -0.045, -2
Let x = 0 - -8. Suppose 5 = 2*m + 5*d, -12*m + 8 = -10*m + 4*d. Suppose -m*q + 8*q + 2 = 0. Put q, x, 4 in descending order.
x, 4, q
Let z = -15 - -11. Suppose -5*b + 158 = n, 2*n - 5*b + 121 - 422 = 0. Let a = n - 149. Sort -2/7, a, z in descending order.
a, -2/7, z
Suppose 4*m - 4*o + 7 = -49, -4*m - 2*o = 44. Put 3, m, 3/7, -15/4 in decreasing order.
3, 3/7, -15/4, m
Let s be ((-5)/((-10)/(-8)))/(-2). Let x = 331 + -330.9704. Let v = x + 0.3704. Sort -0.1, v, s in descending order.
s, v, -0.1
Let o(w) = w**3 + 4*w**2 - 6*w - 6. Let a be o(-5). Let v(x) = -29*x - 3651. Let n be v(-126). Put a, -4, 5, n in decreasing order.
5, n, a, -4
Suppose -a + 5*b = -28, 11*a = 12*a - b - 8. Put -2, 368, a, 2 in ascending order.
-2, 2, a, 368
Let o(v) = -600*v + 6765. Let h be o(11). Sort h, -2, 3, 1, 4 in decreasing order.
h, 4, 3, 1, -2
Let w = -2.5 + -7.5. Let d = w + 5.1. Let s = -4.6 - d. Put 4, s, -1/4 in increasing order.
-1/4, s, 4
Suppose -12*r - 153 = -201. Put 1, -41/5, r, 0.3 in descending order.
r, 1, 0.3, -41/5
Let m be 16*(7*(-2)/(-56) + -1). Sort -2, m, 0, 5, 1 in decreasing order.
5, 1, 0, -2, m
Let l = -38 + 50.5. Let w = 12 - l. Let c = 37 - 149/4. Put c, -0.6, w, -0.2 in decreasing order.
-0.2, c, w, -0.6
Let w be 1/2*(4 - (13 - -3)). Let s be 50/20 - w/4. Suppose 4*o - 12 = -4*p, 9 + 8 = s*p - o. Sort -1, p, -8 in descending order.
p, -1, -8
Let k(b) = -137*b + 1931. Let n be k(20). Sort -3, 1, n in increasing order.
n, -3, 1
Suppose -56*a + 672 = 28*a. Suppose 2 + 13 = 2*x - 3*m, -4*x = 2*m - 6. Suppose 5*n + 5 = -x*s - 0, 2*s + n = -a. Sort -6, s, 1 in decreasing order.
1, s, -6
Suppose -l + 7 = 3*w, 2*w - 5*l = 2 + 14. Suppose -3*i + w = -4*i. Put -4, i, 5, 1 in decreasing order.
5, 1, i, -4
Let w be ((-4)/18)/((-55)/(-1485)). Sort w, 111, 2 in descending order.
111, 2, w
Let j = -82.936 + 83. Let d = j + 0.436. Put -2, d, 3/5, -0.12 in increasing order.
-2, -0.12, d, 3/5
Let x be -5 - 4/2*-7. Let q = 16 - x. Sort q, 0, -4 in ascending order.
-4, 0, q
Let x(a) = 74*a + 2143. Let p be x(-29). Put 14, p, 0 in increasing order.
p, 0, 14
Let z(b) = 10*b - 116. Let s be z(12). Let p = -0.6 - -0.4. Let y = 117/635 + 2/127. Sort p, s, 2, y in ascending order.
p, y, 2, s
Let r = 0.07 + 0.03. Suppose z + d - 2*d = 133, -z + 142 = -4*d. Let u = z - 126. Put 1/4, u, 5, r in decreasing order.
5, u, 1/4, r
Let q(a) = 62*a - 853 + 817 + 7*a**2 - 2*a**3 - 19*a**2 + a**3. Let s be q(-16). Put s, 0, 5, -2 in descending order.
5, 0, -2, s
Let v = -45.032 - -45. Let m = v + 2.232. Let f = -2 + m. Sort -5, -2/7, 8, f in increasing order.
-5, -2/7, f, 8
Let s = -15.364 - -122.494. Let g = 141 + -248. Let z = s + g. Put -2, -4, z in ascending order.
-4, -2, z
Let y(o) = -o**3 + 2*o**2 - 3*o + 13. Let b be y(3). Let l be (9/(-2))/((-105)/14 + 6). Put b, 0, l in descending order.
l, 0, b
Suppose 178*q - 34*q + 288 = 0. Put -3, 3, -127, q, 5 in decreasing order.
5, 3, q, -3, -127
Let y(z) = -z**3 - 5*z**2 - 5*z - 5. Let q be y(-4). Suppose -4*s - 4*w - 156 = 0, 29 = -s + 5*w - 16. Let u be 2/s*55/22. Put u, 0, q in increasing order.
q, u, 0
Suppose 0 = -4*y + 8, 5*t - y = -0*t + 538. Let d = t + -111. Let p be (-1)/(-1)*-4 + -1. Sort d, p, -1 in descending order.
-1, d, p
Suppose 0 = -x + 4*k - 1 + 19, k = -4. Let m be 6*(87 + -84 + (-28)/12). Sort -1, m, x, -4.
-4, -1, x, m
Let c = -38754 + 38813. Let t = 2 + -2. Sort t, c, 5.
t, 5, c
Let b(u) = 24 - 2*u**3 + 2*u + 5 + 3*u**3 + u**2 + 12*u**2. Let y be b(-13). Suppose -5*o = -6*o + y. Put o, -20, 0 in decreasing order.
o, 0, -20
Suppose 3*y - 20*x + 6 = -21*x, -2*y = x + 5. Let o be (6/24)/(y/20). Sort o, 5, 0 in descending order.
5, 0, o
Let f be 2/10 + 1 + 220/(-475). Let t = -21/152 - f. Sort 3/7, 2, 4, t in decreasing order.
4, 2, 3/7, t
Let n(h) = -h**3 + 8*h**2 - 12*h + 9. Let b be n(4). Sort b, 4, -38, 3 in ascending order.
-38, 3, 4, b
Let g = 10 + -14. Let t = 45865 + -45866. Let l = 53/2 - 25. Put l, g, -0.5, t in descending order.
l, -0.5, t, g
Let i = -32 - -20. Let f = i - -34/3. Let q = 0.1124 + -0.2124. Sort -5, f, q.
-5, f, q
Let r = -13528 + 13525. Put 0, r, 2, 711, -2 in descending order.
711, 2, 0, -2, r
Suppose 0 = 3*f + 2*x + 28, f + 16 = 9*x - 8*x. Let g be f/(-22)*(-15)/45. Let u = 3.2 + -3. Sort 3, g, u in decreasing order.
3, u, g
Let a = 5662 - 5663. Put 427, a, -4 in increasing order.
-4, a, 427
Let v(i) = 8*i**2 - 6*i + 2. Let d be v(4). Let t = d - 105. Let m be ((-5)/(-5))/(t*1/(-2)). Put 0.5, m, 