27/15. Let t(y) = y**2 - 4. Let x be t(3). Sort m, 8, x in decreasing order.
8, x, m
Let d be (15/(-1))/((-12)/8). Suppose 0 = 4*y + y + d. Let j be 3 + 1*(2 - 6). Put y, j, 2 in ascending order.
y, j, 2
Let s be 7/(-3)*90/(-210). Let r(x) = -x**3 + x**2. Let z be r(2). Sort -2, z, s.
z, -2, s
Let v = -54 - -50. Suppose -5 - 3 = -2*z, 0 = 3*b + 2*z - 8. Suppose b = -0*r + 2*r. Put r, -3, v in decreasing order.
r, -3, v
Let u = 62.8 - 62.7. Let w = -1.6 - 6.4. Sort -0.2, u, w in decreasing order.
u, -0.2, w
Suppose -15*k - 7 = -8*k. Sort -3, -117, k in descending order.
k, -3, -117
Let k = 231 - 227. Sort 5, -22, -2, k.
-22, -2, k, 5
Let n = 6.5 - 12.6. Let v = -11.9 + n. Put -2/9, -3, v, -4 in increasing order.
v, -4, -3, -2/9
Suppose -4*z = -z - 3. Let b be -4 - -5 - ((-14)/(-10) - z). Sort b, 4, -2 in ascending order.
-2, b, 4
Let v be -2*1*(210/20 - 10). Suppose 4*l = -20 - 0. Sort v, 10, l in decreasing order.
10, v, l
Let w = 2245 - 2246.803. Let q = -0.197 + w. Let l = -0.8 + -0.2. Put q, l, 3 in decreasing order.
3, l, q
Let p = 154.9 - 149. Let v = 2.9 - p. Sort -2/9, v, -3/5.
v, -3/5, -2/9
Suppose 0 = 7*l + 27 - 6. Put l, 9, 28 in ascending order.
l, 9, 28
Let h(n) = -9*n - 22. Let j be h(-3). Suppose -3*q - 16 = 2*g, 5*q + 26 = -j*g + 2*g. Let x = 6 - 3. Sort q, x, 1 in ascending order.
q, 1, x
Let u(q) be the third derivative of -q**6/120 - q**5/60 + q**4/8 + 2*q**3/3 + 6*q**2. Let x be u(-2). Let d = 41 + -206/5. Put -2, x, d in descending order.
x, d, -2
Let z be 1/(-3)*(-6 - -3). Suppose -3*a + 1 = -u, 2*a - 23 = -3*u - 2*a. Put u, 3, -5, z in descending order.
u, 3, z, -5
Suppose -4*t = -4*a, 3*a + 3 + 7 = t. Sort t, -4, 18, 1 in decreasing order.
18, 1, -4, t
Let z be 2/(1/1 + 8). Let m = -6.4 + 0.4. Let f = -10 - m. Put f, -4/5, z in decreasing order.
z, -4/5, f
Suppose 5*w - 4*j - 43 = -3*j, -5*w + 25 = 5*j. Suppose 4*i + 44 = w*i. Suppose -i = -7*f + 38. Put f, -1, 2 in increasing order.
-1, 2, f
Let b = 2.104 + -2.114. Sort -8, b, -3, -1 in increasing order.
-8, -3, -1, b
Suppose -2*p = -2*j - 12, 4*p - 4*j + 9*j = -21. Let i be (-3)/((-45)/(-35)) - (-4)/(-6). Put -4, p, i, 11 in decreasing order.
11, p, i, -4
Let k = 5.449 - 5.5. Let y = -3.051 - k. Suppose a + 11 = -3*n, 2*a + 4*n - 6 = 5*n. Sort y, -5, a.
-5, y, a
Let k(s) = s**2 + 23*s - 28. Suppose l + 4*r = -4, -4*l = -2*l + 4*r + 28. Let g be k(l). Put 0, 4, g in decreasing order.
4, 0, g
Let n = 9 - 9. Let q = -0.31 + 0.66. Let j = -0.05 + q. Put 4, n, j in increasing order.
n, j, 4
Let y = -3.1 + -12.9. Let g = y + 15. Let d = -2.1 + 2.1. Put 1/2, d, g in increasing order.
g, d, 1/2
Let i(o) = -o**3 + 16*o**2 - 29*o + 18. Let v be i(14). Put -5, v, -2, 8 in ascending order.
-5, -2, v, 8
Let u = 149 - 149. Let h be u - ((-9)/18 - (-5)/2). Let j be 2/(-5) + (-34)/(-10). Sort h, -4/5, j in increasing order.
h, -4/5, j
Let j be (6 + -1)/(-74 - -73). Let f be 2/4*(0 - 4). Let v = f - -7. Sort 0, j, v in descending order.
v, 0, j
Let a be (154/385)/(2/25). Let v = -3.99 + -0.01. Sort 2, -0.5, v, a in ascending order.
v, -0.5, 2, a
Let b = 7 + -2. Let z = 3.63 - -0.07. Let l = -3.8 + z. Sort -1/4, l, b.
-1/4, l, b
Let i(g) = -9*g**2 + 3 - g**3 + 5*g - 9*g - 5*g + g. Let x be i(-8). Sort 13, x, -3 in ascending order.
-3, x, 13
Let z be 12 + 924/(-91) + 2/13. Suppose -4*t + o = 70 - 25, 0 = -5*t + 5*o - 60. Put 4, z, t in ascending order.
t, z, 4
Suppose 0 = 148*u - 143*u + 35. Put 1, u, 3 in increasing order.
u, 1, 3
Let u = 0.25529 - -0.04471. Let k = -4.06 + 0.06. Let o = k + 2. Put u, o, 2/9 in decreasing order.
u, 2/9, o
Let q be 51*(0 - 7/3). Let s = -120 - q. Let d = 0.36 - 0.06. Put d, s, -1/3 in descending order.
d, -1/3, s
Suppose 0 = -2*i + 3*x + 9 + 13, -3*x = 4*i - 26. Suppose -5*d = a - i - 15, -4*a + 28 = 4*d. Let w be a/(-3) - (-12)/2. Put -1, w, 0 in ascending order.
-1, 0, w
Let g = -0.0169 - 0.0831. Sort 2, g, 0.2, -2/39 in descending order.
2, 0.2, -2/39, g
Let v = 138 - 275/2. Let s = -3.011 - -0.011. Sort v, 5, s, 3 in increasing order.
s, v, 3, 5
Suppose 0 = 3*p - 11 - 37. Suppose 3*r - p = -r + 3*b, -3*r + b = -17. Let s be 4/(-5)*(r + -2). Sort s, 5, 0.
s, 0, 5
Suppose 0 = 9*b + 13*b - 1232. Sort -3, 0, 5, b in decreasing order.
b, 5, 0, -3
Suppose 16 = 6*t + 2*c, -74*t + 69*t + 5*c + 40 = 0. Suppose 0*w + w + 4 = 0. Sort w, 12, 1, t.
w, 1, t, 12
Let d be -4 + 1 + (-450)/(-170). Sort 3, d, -1.3 in decreasing order.
3, d, -1.3
Suppose 2*b = -3 - 1. Let m(j) = -j**3 - 2*j**2 - 1. Let v be m(b). Put -3, v, 0.5 in descending order.
0.5, v, -3
Suppose -39 = 12*l - 27. Put 10, l, -3, -2 in decreasing order.
10, l, -2, -3
Let h = -34 - -36. Put h, 3, 1 in descending order.
3, h, 1
Let g be (-36)/((-4)/((-24)/9)). Let k be ((-6)/(-4))/(g/64). Suppose -15 = -3*f - 0*h - 3*h, 3*f - 4*h = 1. Sort -3, k, f in descending order.
f, -3, k
Let f = -1.3 - -0.3. Let b = -0.9 - f. Let n = -0.9437 - 15.0563. Put b, n, 3 in decreasing order.
3, b, n
Let i(h) = -134*h - 134. Let z be i(-1). Sort z, -0.1, 12/5, 0.3.
-0.1, z, 0.3, 12/5
Let p(x) = 5*x**2 - 2*x - 1. Let o be p(7). Suppose -o = l + 4*l. Sort 4, -4, l in ascending order.
l, -4, 4
Let f = -35/16 + 89/48. Let x be 2 - (2 - (-4)/(-6)). Sort x, f, -2 in descending order.
x, f, -2
Let v = -2/69 + -44/69. Let n = 1016 - 1013. Let g = 0.02 + -2.02. Sort v, n, g in decreasing order.
n, v, g
Suppose -4*j = -6 - 14. Let s = -13465 + 13468. Let a(z) = z**2 + 5*z - 3. Let c be a(-5). Sort s, c, j.
c, s, j
Suppose 19*n - 6*n - 24*n = 9*n. Suppose 0 = 4*b, 5*l - 2*l = b - 15. Sort 5, n, 16, l in descending order.
16, 5, n, l
Let a = -5 - -9. Let l be (2/4*-1)/(2/16). Sort a, l, 2.
l, 2, a
Let g = -0.425 - -1.425. Sort 5/6, -1/3, 5, g in decreasing order.
5, g, 5/6, -1/3
Let d = 1818/77 + -164/7. Put -0.4, -5, 92, d in ascending order.
-5, -0.4, d, 92
Let v = 53.004 - 53. Let c = 0.004 - v. Sort -2, -0.2, c in descending order.
c, -0.2, -2
Let w(f) = f**3 - 6*f**2 - 14*f - 19. Let x be w(8). Sort 3, 10, x, -2 in descending order.
10, 3, -2, x
Let m be ((-20)/(-25))/(0 + (-8)/(-20)). Sort m, 9, 0, -4 in decreasing order.
9, m, 0, -4
Let b = 1228 - 1231. Suppose -l = 2*w - w - 10, -5*l = -4*w - 5. Sort 0, l, b in decreasing order.
l, 0, b
Suppose 0 = -3*h - 0*h - 21. Let z be (80/(-4))/(-5) - 4. Put h, 2, z in increasing order.
h, z, 2
Suppose 97 = -2*m + 95. Put m, -8, 3, 1 in increasing order.
-8, m, 1, 3
Let p = 0.1217 - -3.8783. Put -0.5, 25, 3, p in ascending order.
-0.5, 3, p, 25
Let r = 0.14 + 7.86. Let n = 8.5 - r. Let z = 68 - 67. Sort n, z, 5.
n, z, 5
Suppose 5*b = 4*p - 10, -5*p + 29 = 4*b - 2*b. Let g = 37 + -50. Let o = 9 + g. Put 4, o, p in descending order.
p, 4, o
Suppose 12*b - 85 = 47. Suppose -4*f + b = 3*n, -4*f + 4*n = -19 - 13. Suppose 0*v - 4*h + 3 = -v, -3*h = v - 4. Put v, -2, f in increasing order.
-2, v, f
Suppose 99*j = 102*j. Sort -18, 3, j in decreasing order.
3, j, -18
Let d = 0.1 - 0.2. Let p be -4 - ((-1245)/425 - 1). Let x = 104/935 - p. Put x, d, 0 in descending order.
x, 0, d
Let u(m) = 4*m**3 + m**2 - 3*m + 3. Let a be u(1). Suppose a*s = g - 26, -4*s + 3*g - 28 = -5. Put -2, 2, s in increasing order.
s, -2, 2
Suppose -5*p = -0*p - 130. Let y be 4 + (0 - 7) - (-74)/p. Put -0.5, y, -5 in ascending order.
-5, -0.5, y
Let z = 0.052 - 0.152. Let t(w) = 2*w**2 - w + 1. Suppose -2*s + 4 = 5*k + 1, k - 3*s = 4. Let c be t(k). Put c, -0.3, z in increasing order.
-0.3, z, c
Let b be 57/6 - 10 - (-7)/2. Sort 0, -52, b in decreasing order.
b, 0, -52
Let j = 1.2 + -1. Let u = 0.1626 + -4.1626. Sort j, u, 6/5, 3/7 in ascending order.
u, j, 3/7, 6/5
Let z = 131/3 - 44. Let t(p) = -2*p**2 - 17*p + 4. Let i = 7 - 16. Let a be t(i). Put a, z, -4 in descending order.
z, -4, a
Let a = 2415.4 + -2400. Put a, -3, 1 in descending order.
a, 1, -3
Let h(s) = s**3 - 10*s**2 + 8*s - 8. Let f be h(10). Suppose 3*l + f = 3*d, -2*l = 3*d + 2*l - 86. Let k = 22 - d. Sort -5, 3/7, k.
-5, k, 3/7
Let b(l) = 17 - 9*l - l**2 + 8*l + 4*l. Let n be b(-3). Sort n, 3, -11 in increasing order.
-11, n, 3
Let f(r) = 23*r + 69. Let h be f(-3). Sort 195, h, -2/3, -1/5.
-2/3, -1/5, h, 195
Suppose -1 = -b - 8. Let p be (b/21)/((-1)/(-75)). Let i be 110/p + 6/15. Put i, 1, -1 in descending order.
1, -1, i
Suppose -5*r + 4*r - 5 = 0