 12. Let h be n(12). Suppose 11*s = 14*s - h. Let o(u) = 2*u**3 + 2*u**2 - u. Let j be o(1). Sort j, s, 0 in increasing order.
0, j, s
Let j = 16/3 - 137/24. Let k be (-55)/20 + 0/(-1). Let a = -3 - k. Put a, 3, j in descending order.
3, a, j
Let o(d) = -4*d**2 + 52*d - 12. Let k be o(13). Sort k, 3, 5 in descending order.
5, 3, k
Let k = -24.61 - -0.61. Let x = 23.9 + k. Let p(i) = -i**2 + 4. Let c be p(-3). Sort x, -4, c in decreasing order.
x, -4, c
Suppose -4*l = 2 + 14. Let i be (l/8 + 0)*-6. Let r(k) = -k - 3. Let w be r(-5). Put 4, i, w in descending order.
4, i, w
Let n(i) = -i**2 - 16*i + 19. Let s be n(-16). Let f = 15 - s. Sort f, -1/6, -2/9 in descending order.
-1/6, -2/9, f
Suppose 0*b = 5*b + 25. Let c = -23 + 29. Sort c, -1, b.
b, -1, c
Let c be 2/(-2)*(2 + -1). Let p be (-11 - (-2 + -1)) + 27 + -22. Put p, c, -1/7 in descending order.
-1/7, c, p
Let g = -6.7 + -3.3. Let r = g + 11. Put r, -0.5, 0.4 in descending order.
r, 0.4, -0.5
Let t = 3.7 - 3.6. Let a be ((-6)/15 + (-81)/(-15))*-1. Sort a, t, -1/5 in ascending order.
a, -1/5, t
Let q = 5.3 + -4. Let w = q - -0.7. Let p = 0.6 + -3.6. Sort 0.3, p, w in decreasing order.
w, 0.3, p
Let i = -15.5 - -16. Let o = 72 + -76. Put i, 0.1, -5, o in ascending order.
-5, o, 0.1, i
Let w = -1600 - -11198/7. Sort -296/5, -0.5, w in increasing order.
-296/5, -0.5, w
Let m = 1.07 + -0.997. Let d = m + 0.127. Put -1/7, d, 5 in decreasing order.
5, d, -1/7
Suppose -16 + 21 = -5*k. Let s be 3*1 - (-3 + 3). Sort -5, -3, s, k in ascending order.
-5, -3, k, s
Suppose 3*m = 4*m + 4*k + 6, 0 = -4*m - 5*k - 2. Sort -3, 12, 4, m in increasing order.
-3, m, 4, 12
Let x = 30 + -36. Let m = x - -7. Put 3, -2, m in decreasing order.
3, m, -2
Let h be 8 + 1 + -9 + -2 + 0. Put h, -5, 0 in decreasing order.
0, h, -5
Let o(z) = -z**2 - z. Let t be o(-1). Suppose -a - 3 + t = 3*h, -9 = -3*a. Let y = 8 + -3. Put h, 4, y in ascending order.
h, 4, y
Let d be 3 + 2 + -29*6/36. Put d, 29, -4/3 in decreasing order.
29, d, -4/3
Let r = -15.89 + 16. Let d = r + 0.39. Let w = -6 + 1. Put w, 3, d in descending order.
3, d, w
Let o = 15/11 + -537/418. Let g = -7/570 + o. Let p = -55 + 60. Put g, -2/11, p in decreasing order.
p, g, -2/11
Let x be 4 - (21*-3)/3. Let m be 82/(-30) - 15/x. Let h = m + 47/15. Sort 0.2, -2, h in increasing order.
-2, h, 0.2
Let g be 9/(-4)*72/(-54). Suppose 5*h - 11 = 4*d, -g*h - d = 2*h - 16. Let k = -13 - -8. Sort -0.2, h, k.
k, -0.2, h
Suppose -3*c + 2*d + 77 = 0, 0 = 5*c + d - 2*d - 140. Let i = c - 32. Sort 0.5, i, -2/17 in descending order.
0.5, -2/17, i
Let j(b) = 53*b - 208. Let z be j(4). Put z, 5, -3, -22 in ascending order.
-22, -3, z, 5
Let j = 0.59 + -1.49. Let a = 1/2 + 0. Put -0.5, a, j in increasing order.
j, -0.5, a
Let h = 18 + -17.6. Let o = -1.952 - 0.018. Let r = -0.03 + o. Put r, -5/3, h in descending order.
h, -5/3, r
Let v = 314 - 313.5. Put v, -7/3, -0.4 in descending order.
v, -0.4, -7/3
Let w = -12.9 + -13.2. Let t = 29 + w. Let u = 0.9 - t. Put u, 0.3, -0.3 in decreasing order.
0.3, -0.3, u
Let t = 33 + -33.032. Let h = t + 0.432. Let s be (-1)/(-10)*6*1. Sort -0.2, h, s in descending order.
s, h, -0.2
Let p = 0.789 - 0.089. Let d be (-15 - -19)*(-1)/22. Sort 0.5, d, p.
d, 0.5, p
Suppose -x - 2*h = -7, -3*x - 2*h - 17 + 26 = 0. Sort -4, x, -3, 4.
-4, -3, x, 4
Let r = 3.083 + -3.353. Sort 2/7, 0.4, r, 0.3 in descending order.
0.4, 0.3, 2/7, r
Let t = 11 + -6. Suppose -3*l = 3*v - 2*v + 1, 4*l = -2*v + 2. Suppose -5*u - 3*y = -8, 0 = -5*u - 4*y - 4 + 13. Put t, u, l in increasing order.
l, u, t
Suppose 70 = 5*v - 0*c - 5*c, -2*v = 2*c - 32. Sort 5, 0, v in ascending order.
0, 5, v
Let j(w) = 24*w - 116. Let d be j(5). Put -5, d, -1, 8 in increasing order.
-5, -1, d, 8
Let c(a) = -a**3 + 4*a**2 + 2*a + 20. Let x be c(5). Sort -9, -5, -2, x in decreasing order.
x, -2, -5, -9
Let p(q) = 6*q - 60. Let f be p(10). Let c(o) = -o + 14. Let w be c(11). Suppose 0 = -4*r + w*r - 4*l - 7, -3*l = 2*r + 4. Sort r, f, 1.7 in increasing order.
f, r, 1.7
Let u(b) = -231*b + 6 + 230*b - 17. Let k be u(-8). Put -1/3, k, 4 in ascending order.
k, -1/3, 4
Let p = -1838/9 - -204. Let w be (-13)/(-78) - 2/(-6). Put -2, p, w in decreasing order.
w, p, -2
Let p = 370.7 + -459. Let v = -88 - p. Let j be 14/(-12) - 1/(-2). Sort -3, v, j in decreasing order.
v, j, -3
Let r = 36 - 22. Suppose 5*m - 65 = -0*m. Let i = m - r. Sort i, 1, -3/4 in increasing order.
i, -3/4, 1
Let b = -1193 - -1199. Let h(w) = w**3 - 5*w**2 - 2 + 6 - 2*w**3 + 6*w. Let p be h(-6). Sort p, -4, b in decreasing order.
b, p, -4
Let n = -296 + 297. Sort n, -1, -3, -0.1 in decreasing order.
n, -0.1, -1, -3
Suppose -6*u = -2*u + 2*u. Suppose u = -k + 20 - 29. Sort 5, -1, k.
k, -1, 5
Let u be ((-2)/(-24) - 0)/((-2)/(-2)). Sort u, 21, 4/9 in descending order.
21, 4/9, u
Let d = 13 - 11. Suppose -5*z = 2*g + d*g + 13, 4*g = -2*z + 2. Let j be (6/4)/(21/(-28)). Put j, g, 4 in decreasing order.
4, g, j
Let r be 4 + 2 + -2 + -2. Let m(a) = -a**3 - 10*a**2 - 20*a - 28. Let z be m(-8). Sort r, z, 4/7 in decreasing order.
z, r, 4/7
Let f = -4.1 + 8.1. Sort 0.1, f, -0.5, -3/7 in increasing order.
-0.5, -3/7, 0.1, f
Suppose w + 4*z = 12, -26 = 2*w - 2*z - 0*z. Let n = -20 + 78. Let x = -56 + n. Put w, -0.4, x in increasing order.
w, -0.4, x
Suppose -4*i + 30 + 30 = 0. Let h be 6/3*-8*100/(-320). Put i, 0, h in ascending order.
0, h, i
Let f = 1.1 + -5.1. Let u = -18 + 48. Let x = -31 + u. Put x, -1/4, f in descending order.
-1/4, x, f
Let o = 10.3 + -11. Let j = 0.3 - o. Let x = j + -6. Sort 5, x, -2 in descending order.
5, -2, x
Let p = -0.4139 - 0.0861. Sort 0.03, -3, p, 0 in ascending order.
-3, p, 0, 0.03
Let j = 0.2 + 0.8. Let s = -25562 - -25566. Sort j, 2/13, 3, s in decreasing order.
s, 3, j, 2/13
Let m = -5663/17 - -333. Let k = -23/76 - -1/19. Sort -1, m, k, 7 in decreasing order.
7, m, k, -1
Let m = 349 - 349. Sort -13, 5, 3, m in increasing order.
-13, m, 3, 5
Let h = -11.5 - -19. Let b = h - 7.7. Put -0.3, 2/9, -0.5, b in increasing order.
-0.5, -0.3, b, 2/9
Suppose -3*j = 3*r - 9, -5*j + 0*r - 1 = -3*r. Let w = 152.5 - 152. Sort 2/17, w, j in ascending order.
2/17, w, j
Suppose -10 = -2*x - 12. Put x, 78, 4 in decreasing order.
78, 4, x
Let u(j) = j**2 + 7*j + 5. Let l be u(-4). Suppose -25 = -0*z - 5*z, 398 = -3*c + 4*z. Let h be (l/c)/((-1)/(-4)). Put h, -2, -0.4 in ascending order.
-2, -0.4, h
Suppose 4*q - 4*g + 5*g - 19 = 0, 2*g = 3*q - 17. Sort -5, q, -1 in increasing order.
-5, -1, q
Let h = -74 - -78. Sort -51, h, -2 in decreasing order.
h, -2, -51
Let v = 14.14 + -13.94. Sort v, -3/4, -2/3, 4.
-3/4, -2/3, v, 4
Let d be 7*((-684)/(-84) + -9). Let p be (-32)/(-14) + 4/(-14). Let u = p - 1. Sort -5, d, u.
d, -5, u
Let g be (-100)/(-24) - 48/12. Put 23, g, 0.5 in descending order.
23, 0.5, g
Let l = -22.6 + 17.6. Let a = -0.16 - 6.84. Sort a, 1/2, 0.2, l in descending order.
1/2, 0.2, l, a
Let q be (-76)/(-28) + -3 + (-95)/(-455). Put 14, 0.4, q in descending order.
14, 0.4, q
Let u be ((-10)/(-6) - 1)/((-2)/12). Let n = 1.84 + -1.64. Sort 2/13, u, n, 0.4 in descending order.
0.4, n, 2/13, u
Let s = 0.05 - -0.85. Let o = 5.6 - s. Let y = o - 5. Put 1, y, -0.5 in decreasing order.
1, y, -0.5
Let u = -1.582 - -0.092. Let q = u + 11.49. Let j = -6 - -6.3. Sort 1/7, q, j.
1/7, j, q
Let o = -152 - -151.6. Put o, 4, 3/2, -11 in descending order.
4, 3/2, o, -11
Suppose -5 = -u - 3. Suppose 14 = 4*h + 2*o, -3*o + 14 = 3*h - 5*o. Suppose -2*d - 26 = x - h*x, 4*d - 5*x + 56 = 0. Sort u, d, 5 in descending order.
5, u, d
Suppose q - 156 = -151. Sort -2, 6, q.
-2, q, 6
Let s = -2.37 - -2.47. Put -0.5, s, -1.1 in ascending order.
-1.1, -0.5, s
Let s be (25/(-5) - -3)*(-1)/5. Let t = -38 - -40. Sort t, s, 1, -3/11.
-3/11, s, 1, t
Let o(d) = d**3 + 13*d**2 - 15*d - 8. Let s be o(-14). Suppose y = 4*j + 7 - 43, 2*j = s. Let g = -19 - y. Sort g, -3, -2 in descending order.
g, -2, -3
Suppose 0 = -u + 4*f - 16, 5*f - 22 = 2*u + 10. Put u, 1, -2, 0 in increasing order.
u, -2, 0, 1
Let r = 20 + -21. Let y be -5*(r - 3/15 - -1). Sort 2, y, -4 in decreasing order.
2, y, -4
Let d(p) = p**3 - 37*p**2 - 78*p - 19. Let t be d(39). Sort -3, -4, t.
t, -4, -3
Let y = 41 + -97. Let r = 51 + y. Sort r, 0, 5, 2 in decreasing order.
5, 2, 0, r
Le