4*c. Let d be p(2). Let s = -2 - d. Suppose 4*k = -3*h + s*h + 27, 4*k = 5*h + 37. Put 2, h, -1 in decreasing order.
2, -1, h
Let h = -0.93 - -0.95. Put 0, h, -0.14 in descending order.
h, 0, -0.14
Let a = -114.99 - -115. Let b = a - -0.07. Sort 0.5, -4, b in descending order.
0.5, b, -4
Let g = -712 + 717. Suppose -i + 0*i - 6 = f, 0 = f - 4*i + 6. Put 1, g, f in descending order.
g, 1, f
Suppose -h = 4*b - 3, 0*h - 9 = -3*h - 3*b. Let u be 2 - ((4 - (3 + 1)) + -5). Put u, h, -5 in decreasing order.
u, h, -5
Suppose 8*v = 5*v - 90. Let n = v + 41. Put -5, -2, n in increasing order.
-5, -2, n
Let t = -4 - -4. Suppose t = -4*b - 3*z - 17, 6 = -b + 4*z - 3*z. Let i = 38 - 29. Put -4, i, b in decreasing order.
i, -4, b
Let q be (-1*2)/((-2)/6). Let m(t) = -t**3 + 47*t**2 + 99*t - 55. Let j be m(49). Let z be ((-3)/q)/((-3)/j). Put z, -4, -5 in decreasing order.
z, -4, -5
Let a(u) = -u**3 - 2*u**2 - u - 2. Let j be a(-2). Let m be 5 - (-2)/10*-5*0. Put -22, j, m in increasing order.
-22, j, m
Let u = 21 + -15. Let s(p) = p + 2. Let q be s(3). Suppose 0 = -0*b - b + q. Sort u, b, 4 in descending order.
u, b, 4
Let a = -37 + 38. Suppose 5*o + 3*m = 2*m + 18, -2*m = -o + 8. Let w(g) = g**3 - 9*g**2 + 16*g + 3. Let z be w(7). Sort z, o, a in descending order.
z, o, a
Let k = -3.8 - -2.8. Let r = -5 + 0. Put -1/3, k, r in descending order.
-1/3, k, r
Suppose 4*w - 19 = -7. Let o = -4 + 1. Sort w, o, 0 in decreasing order.
w, 0, o
Let c = 428 - 431. Sort c, 2, 10, -0.2 in increasing order.
c, -0.2, 2, 10
Let k = -1.35 - -1.75. Let h = 0.8 + -4.8. Let s = 5 + h. Put k, s, -5 in descending order.
s, k, -5
Let o = 2.8 + -14.8. Let m = -8 - o. Sort m, 5, 1, 3/7 in descending order.
5, m, 1, 3/7
Let l = 1.935 - -0.065. Let o = l - 1.8. Let f = -10 - -17. Sort o, f, 2 in descending order.
f, 2, o
Let j = -117.049 + 117. Let m = -0.149 - j. Suppose -22 = -5*u - 2. Put -0.5, u, m in ascending order.
-0.5, m, u
Let x(u) = -u**3 + 9*u**2 - 7*u - 9. Let m be x(8). Let b be (-72)/21 + 3 + (-20)/(-14). Sort m, b, -6 in increasing order.
-6, m, b
Let j = -6 - -9. Let c be (22/3)/((-24)/(-36)) - 6. Let q be 0 + (0 + 0 - 1). Put c, q, j in decreasing order.
c, j, q
Let g be (27/(-2))/(-3) - (-5)/(-10). Let t(v) = -v**3 + 7*v**2 - 2*v + 10. Let x be t(7). Let j = 1 - x. Put g, 1, j in increasing order.
1, g, j
Let l be (-186)/(-7) + (-15)/(-35). Suppose 5*x - 12 + l = 0. Let o(y) = -y - 1. Let j be o(1). Put 2, j, x in descending order.
2, j, x
Let l be -6 - 78/10*5/(-7). Sort l, 28, -2/5.
l, -2/5, 28
Suppose -429 = 7*a - 107. Let r = -42 - a. Put -1, r, 1 in increasing order.
-1, 1, r
Let u = 385 + -388. Suppose 9 = 3*w - 0*w. Suppose 2*h = -2, 12 = -2*j + 2*h - 4*h. Sort u, j, w.
j, u, w
Let u be (-1)/(-3)*(-1 - -2). Let n(b) = 5*b - 30. Let r be n(10). Let k be 1 + (-1)/(4/r). Put k, 1, u in decreasing order.
1, u, k
Let p(l) = -l**3 + 19*l**2 + 21*l - 25. Let b be (-40)/((6/18)/((-3)/18)). Let q be p(b). Suppose n - 4 = -2. Sort n, q, 5 in increasing order.
q, n, 5
Suppose 4*y - 4*h - 4 = 0, 2*y - 3*y - 11 = 5*h. Let p = -343 - -340. Sort p, 0, 2, y in decreasing order.
2, 0, y, p
Let i = -56 + 53.3. Let j = i + 3.1. Sort 3, -1/4, j.
-1/4, j, 3
Suppose 4 = -2*y + 14. Suppose -y*q - 1 = -11. Put 0, 4, q, -5 in descending order.
4, q, 0, -5
Let m = 23.6 - 28. Let f = 3.4 + m. Sort -4, 1/13, f in increasing order.
-4, f, 1/13
Suppose r + 12 = -2*r. Let b be r/(-6) - (-35)/(-21). Let z = -29 + 27. Put b, 5, z in ascending order.
z, b, 5
Suppose 0 = -4*m - 14 - 6. Suppose -2 = 6*q - 5*q - 4*k, 3*k = 5*q + 10. Sort -3, q, m, 5 in ascending order.
m, -3, q, 5
Let d = -219.98 - -220. Sort -5, -4, -0.5, d in decreasing order.
d, -0.5, -4, -5
Suppose -3*j - 11 - 1 = 0, p + 2*j + 9 = 0. Sort 91, -5, 3, p in ascending order.
-5, p, 3, 91
Suppose 15 = 10*t - 7*t. Let b(h) = -h**3 - 9*h**2 - 1. Let l be b(-9). Sort l, t, 0.
l, 0, t
Let f be (24/(-126))/(6/(-7)). Let y be ((-1)/3)/(3/(-27)). Suppose -3*x = -y - 12. Put x, f, -0.5 in descending order.
x, f, -0.5
Let i = -438 - -436. Put 1, 0, -1, i in ascending order.
i, -1, 0, 1
Let m be (-18)/4 + 5/(-10). Let d = 0 + 2/5. Suppose 0 = -2*u + 3*u + 3. Put d, m, u in increasing order.
m, u, d
Let v(r) = r**3 - 6*r**2 + r - 60. Let u be v(7). Put -2, u, 0.0601 in descending order.
0.0601, -2, u
Suppose -3*j + 6*j = 33. Let d(z) = z**2 - 10*z - 6. Let i be d(j). Sort -1, i, -12 in ascending order.
-12, -1, i
Let o be (4/(-5))/((-2)/(-10)). Let u = -6 - -8. Put -5, o, -8, u in decreasing order.
u, o, -5, -8
Let t = 14113 + -14116. Suppose -x - 12 = -4*x. Suppose x*o - 16 = -0*o. Put o, t, 5 in descending order.
5, o, t
Suppose -3*i = 3*y, -5*y - 2*i + 5*i + 32 = 0. Suppose -6*w + 12 = -2*w. Suppose -5*b + 2 = x, w*x = 2*b - b - 10. Sort b, y, 7 in descending order.
7, y, b
Suppose 4 = 2*s - 4*r, 4*s + 1 = -5*r + 9. Put 27, s, -1, 4 in ascending order.
-1, s, 4, 27
Let j = 1740 + -1740. Suppose 4*q - 5 = -q. Let g be 5/25 + (-14)/(-5). Sort j, g, q in ascending order.
j, q, g
Let a = 70.9 - 71. Let c = -0.14 - -2.24. Let w = a + c. Put -2/7, -0.2, w in decreasing order.
w, -0.2, -2/7
Let l = 11.5 + -18.5. Let i = -2.2 - -0.2. Put 2, i, l in descending order.
2, i, l
Let l(u) = -u + 4. Let p be l(-15). Suppose 15 = -14*o + p*o. Let q be (-27)/(-12) - 1/4. Put -2, o, q in decreasing order.
o, q, -2
Let u = 0 + 0. Let y = -536 + 534. Sort -1/2, y, u, -0.9 in decreasing order.
u, -1/2, -0.9, y
Suppose -6 = 2*h - 4*o, h + 3*h + 2*o + 2 = 0. Let k be h - (-1 + -4 - 4). Put k, 4, 1 in descending order.
k, 4, 1
Let w be 1 + -2 + -5 + 2. Let c = 33 + -35. Let b = c - -1. Put w, b, 5 in decreasing order.
5, b, w
Let z(w) = 96*w - 767. Let f be z(8). Put 0, f, 120 in descending order.
120, f, 0
Let m(f) = 12*f - 237. Let n be m(19). Suppose -15 = 3*h + 3*b, -5*b = 2*h - b + 14. Sort h, -2, n in ascending order.
n, h, -2
Let x = 31 + -371/12. Let k be (2 - 4)/(((-12)/(-5))/(-6)). Put -6, x, k, -5 in increasing order.
-6, -5, x, k
Suppose 9 = 2*i - 1. Let p be (7/3)/((-14)/(-84)). Suppose 0 = -4*s - 6 - p. Put s, 0, i in decreasing order.
i, 0, s
Let m = 341.4 - 341. Let q = -0.19 - -0.19. Sort q, -1, 2/21, m.
-1, q, 2/21, m
Suppose 0 = 3*n - 5*p, 5*n - 2 = 4*p + 11. Suppose -y - 5 = t, t + 0*y = y + 5. Put n, t, -1 in ascending order.
-1, t, n
Suppose 2*r = 2*d + r, 0 = -2*r. Let h = -47 + 48. Sort d, 3, h in descending order.
3, h, d
Let r = 497 + -494. Put -6, r, -0.5 in descending order.
r, -0.5, -6
Let m = -1015 - -1019. Let c = -0.04 + -2.96. Sort c, m, -1/6.
c, -1/6, m
Suppose -5 + 0 = r, 3*x + 3*r - 21 = 0. Let i be -2 + -1 + 1 + 2. Suppose -z = -i*z + 5. Sort x, z, -4 in decreasing order.
x, -4, z
Suppose -2*m + 7 + 13 = 0. Let k be (-27)/(-6) + 5/m. Sort k, -1, -2 in increasing order.
-2, -1, k
Let i = -5 - -5. Let a(k) = -k**3 - k**2 + k + 19. Let q be a(i). Let v be q/(-7) - 4/14. Sort 5, 2, v.
v, 2, 5
Let k(c) = -c**3 + 5*c**2 + 4*c + 14. Let b be k(6). Suppose 0 = 5*o + 9 + 11. Let n = o - -4. Sort n, -5, b in decreasing order.
b, n, -5
Suppose -8*p = -9*p + 3. Suppose p - 18 = 5*y. Let u(k) = -k + 4. Let m be u(6). Sort y, m, 0 in descending order.
0, m, y
Let n(p) = p**3 - 7*p**2 + 7*p + 5. Let r be n(6). Suppose 0 = -3*m + 1 + r. Let s = 588 + -591. Sort s, m, 1 in ascending order.
s, 1, m
Suppose 3*s = s - 2. Let l be -2 + 4 + 19 + 6. Let v = 32 - l. Sort s, v, -12.
-12, s, v
Suppose 0*l + 81 = 9*l. Suppose 2*p = 5*v + l, -v = 2*p - 0 - 3. Sort v, 3, -24 in ascending order.
-24, v, 3
Let b be (-1)/(-6) + (-12801)/(-306). Sort 0, -1, 5, b.
-1, 0, 5, b
Suppose -4*q - 3*d = 16, -16 = -5*d + 4. Sort 2, -5, q, -1.
q, -5, -1, 2
Let r(q) be the third derivative of -q**4/4 - q**3/2 - 2*q**2. Let o be r(2). Sort 4, 1, o.
o, 1, 4
Let k(h) = h**2 - 3*h + 1. Let v be k(2). Let d = -3.35 - -3.1. Let p = -0.27 - d. Sort 2/9, v, p in ascending order.
v, p, 2/9
Let u = -47 - -325/7. Let r = -2.84 + 0.24. Let z = r + 7.6. Sort z, u, 2/5 in decreasing order.
z, 2/5, u
Let p = 0.6 + 2.4. Let b = 0.2 + 0.03. Let x = -6.23 + b. Sort p, 3/4, x in decreasing order.
p, 3/4, x
Let a(z) = z**2 - 5 - z**3 - 26*z + 26*z. Let b be a(0). Suppose -2*t - 4 = -0. Sort 3, t, b in descending order.
3, t, b
Let j = -3.114 + 0.114. Sort -51, -0.4, j in decreasing