 12. Sort n, k, b.
b, n, k
Let g = 3 - 4. Let l be (-32)/12*3/2. Let p be (2/6)/(l/(-8) - 2). Sort g, 0.2, p in ascending order.
g, p, 0.2
Let c be ((-22)/3)/((-2)/15*5). Put -5, 5, c, 2 in ascending order.
-5, 2, 5, c
Let m be 13/(-34) + 24/(-204). Sort -86, -2/5, m in descending order.
-2/5, m, -86
Let z = 128/15 - 46/5. Let q = -127 + 126.68. Let p = -0.08 + q. Sort z, 1/7, p.
z, p, 1/7
Let r = 317 - 321. Sort 28, 1, r in descending order.
28, 1, r
Let c = -41.1 + 45.1. Put 2/45, -2/7, c in ascending order.
-2/7, 2/45, c
Let u be -5 + 95/20 + 30/(-8). Suppose 6*z - 3 = 9*z. Let l be z*(-2 - (1 - -2)). Put -2, l, u in ascending order.
u, -2, l
Let p = 295 - 253. Sort 3, p, -0.5, 0.2.
-0.5, 0.2, 3, p
Let b = 451 + -309. Let c = b - 145. Sort -0.5, c, -4, 0 in ascending order.
-4, c, -0.5, 0
Let z be 3*(-2 - (-10)/3). Let u = 1 + z. Let i be (-11 - 7/((-196)/287))/((-9)/(-2)). Sort i, -4, u.
-4, i, u
Let n be ((-2)/(-6))/(5/(-255)). Let j = n + 13. Let k be ((-14)/j - 4)*28. Sort -3, 5, k in decreasing order.
5, -3, k
Let p = -0.7 + -0.3. Suppose -5*i - 20 + 5 = -5*v, -4*i = 4*v - 52. Let c be 10/(-55) + 1/(22/v). Put c, 0, p in ascending order.
p, 0, c
Let y = 42 - 40. Suppose y*j + 3 = 5. Sort -4, 9, j in decreasing order.
9, j, -4
Let g = 16320.6 + -16321. Let w(j) = -j - 8. Let x be w(-6). Sort 2/23, g, x, -4/3 in decreasing order.
2/23, g, -4/3, x
Let w be 2*(-2)/4 - (91 + -3). Let l = -92 - w. Sort l, -2, -5, 0 in ascending order.
-5, l, -2, 0
Suppose 13*t = 3*t - 1440. Let l be -5*(0 + 1)*t/(-40). Sort l, -2, -3 in descending order.
-2, -3, l
Suppose -2*r + 7 = 39. Suppose -4*f + 10 = 2. Let j be (f*-1)/(r/8). Sort -5, -9, j in descending order.
j, -5, -9
Let a(x) = 14*x - 14. Let i be a(6). Suppose 75*l + 10 = i*l. Let r(w) = w**2 - 4. Let o be r(-3). Sort 2, o, l in ascending order.
l, 2, o
Suppose -2*n - 4 = -4*b - 4*n, 3*b - 2*n = -4. Suppose b = 4*y - 13*y + 18. Sort y, -8, -2 in increasing order.
-8, -2, y
Let z(x) = 7*x - 82. Let j be z(11). Let y = 14 - 11. Sort 18, 0, y, j in ascending order.
j, 0, y, 18
Let o = -60 - -52. Let j = o - -6. Sort -14, j, 5 in ascending order.
-14, j, 5
Suppose -4112*i + 4117*i = 80. Sort 0, i, -8 in descending order.
i, 0, -8
Suppose -5 = -u - 3*o, 9*u = 11*u - 5*o + 23. Let h = -0.09 + -0.61. Let x = 4.7 + h. Put u, -5, x in decreasing order.
x, u, -5
Let y = -8 + 14. Let a = y - 3. Let v = -20 - -25. Put v, a, 1/7 in descending order.
v, a, 1/7
Suppose m - 5 = -0. Suppose -10 = 11*b - 6*b. Sort 3/7, b, m.
b, 3/7, m
Let o = 17 - 1. Let m = -15.7 + o. Sort -1, -2, m.
-2, -1, m
Suppose -12*f + 143 = -457. Let c = f + -54. Sort 4, -2, c in descending order.
4, -2, c
Let n be (-1)/(-2) - 15/10. Let r be 1 + 1/2*n. Suppose -5*a - 30 = 5*j, -2*j = -3*a - 12 - 1. Sort 2/11, j, r.
j, 2/11, r
Suppose -i = -15*i - 6*i. Sort 5, 100, i in decreasing order.
100, 5, i
Let h(i) = -i**3 + 7*i**2 - 9*i + 6. Let u be h(6). Let c = -7 - u. Let b = 9 + -8. Sort 0, b, c in increasing order.
0, b, c
Suppose 5 = 4*f + 25. Let l = 2 + f. Suppose -34*u = -31*u - 3. Put l, 0, u in increasing order.
l, 0, u
Let i = -4 - -8. Let q = -2.07 + 2.17. Sort -10, i, q, -5 in decreasing order.
i, q, -5, -10
Let x be (-2 - 1)/(-1 - 0). Suppose -23*b = -29*b - 12. Let m be (-3 + 62/21)/(b/12). Put -2/5, x, m in ascending order.
-2/5, m, x
Suppose -35 = -5*v + 5*g, -3*v - 5*g + 11 = 6. Let x(z) be the second derivative of z**5/20 + z**4/6 - z**3/3 - z**2/2 + z. Let r be x(-2). Sort -1, r, v.
-1, r, v
Let o(p) = p**3 - 7*p**2 + p - 3. Let d be o(7). Suppose 0 = -m - d*r - 21, -6*r + 2*r = -4*m - 4. Put -0.3, 0.3, 1.3, m in ascending order.
m, -0.3, 0.3, 1.3
Let i be ((-2)/(-14))/(6/(-642)). Let b = 15 + i. Let s = 3 + -3.2. Sort 5/4, s, b.
b, s, 5/4
Let y be (0/(-1))/((-6)/(-2)). Let v be ((-26)/(-3))/((-2)/3). Sort v, -3, y.
v, -3, y
Let q(s) = s**3 + 7*s**2 + 6*s. Let y be q(-6). Suppose 3*b - 15 = -y*b. Suppose 0 = 4*m + 9 - 1. Put m, b, -1 in decreasing order.
b, -1, m
Let v = -386/5 - -77. Let b = -0.8 - -1. Let u = 0.011 + 0.489. Put v, b, u in decreasing order.
u, b, v
Suppose 261*o - 253*o = 8. Sort 5, -1, 322, o.
-1, o, 5, 322
Let w = -114 + 109. Sort 3/5, w, -1.5 in decreasing order.
3/5, -1.5, w
Let c be ((-161)/21 - -8)*0. Suppose 3*a + 0 = 6. Suppose -n + 3*j = 14, c = 4*n - a*n - j + 8. Sort -1, 1, n in descending order.
1, -1, n
Let g = 37.1 + -39. Let j = g - -2. Let h = -4 + 4.4. Put h, -3/5, j in ascending order.
-3/5, j, h
Let c = -19.5 - -0.5. Let m = 17.4 + c. Let j = m + -3.4. Sort j, 5, 0.5.
j, 0.5, 5
Let w = 45 + -48.1. Let g = w + 8.1. Sort 6, -1, g in descending order.
6, g, -1
Let w = -0.0432 + 0.0432. Put -5, 4, -0.025, w in ascending order.
-5, -0.025, w, 4
Let s be -7*(-42)/245*(-5)/2. Let i = s + 1. Sort -0.5, i, 2/13, -3 in decreasing order.
2/13, -0.5, i, -3
Let n be (-4)/5*66/(-88). Sort -2/9, 3/7, n, -3/22 in ascending order.
-2/9, -3/22, 3/7, n
Let w be 5340/28 + 3/(-7). Let h = -190 + w. Put 0.02, -5, 5, h in descending order.
5, h, 0.02, -5
Let m(c) = -c**2 + c**3 + 9*c**2 - 2 + c - 4*c**2 - 2. Let q be m(-3). Suppose 4*t - 12 = -0*t. Sort t, q, 1/4 in descending order.
t, q, 1/4
Let j = -195 - -208. Sort j, 0, 3 in decreasing order.
j, 3, 0
Let y = 1061 - 1060.6. Put y, -4/5, 3 in ascending order.
-4/5, y, 3
Suppose 15 = -5*l, -32*y + 9 = -29*y + 3*l. Sort -8, y, -3 in decreasing order.
y, -3, -8
Let a(n) = -n - 5. Let w be a(5). Suppose -c + 5*f - f = 11, -3*f + 22 = 2*c. Let b = c + w. Put 5, b, 4 in decreasing order.
5, 4, b
Let p = 1140 - 1138. Let z = 3 - 3.04. Let x = -2.96 + z. Put p, x, -2 in descending order.
p, -2, x
Let p(n) = -n**3 - 10*n**2 + n + 11. Suppose -4*d + 2*o = -2*o + 28, 52 = -4*d - 4*o. Let s be p(d). Let b = -2 + s. Sort 5, 4, b.
b, 4, 5
Let g = -4/71 + 312/497. Sort g, 3/29, 2.
3/29, g, 2
Suppose -13 = -5*s + 22. Suppose s + 2 = -3*y. Let d = 9510 - 9523. Put 3, y, d in descending order.
3, y, d
Let s = 480 - 482. Let p = -4/73 - 110/657. Sort s, -0.3, -3, p.
-3, s, -0.3, p
Suppose 5*n - 49 = -2*n. Suppose 38 = -n*p - 11. Put p, 0, -1, -3 in decreasing order.
0, -1, -3, p
Suppose -34*p + 48 = -31*p. Let n = -20 + p. Sort -3, n, 2, -5 in increasing order.
-5, n, -3, 2
Let v = -358 - -493. Sort v, -1, -5.
-5, -1, v
Let c = -752.2 - -691. Let d = c + 61. Put -7/4, -0.1, d in descending order.
-0.1, d, -7/4
Let w = 3.4 + -0.4. Let u = 67 - 70. Sort -4, w, u, -2/13 in decreasing order.
w, -2/13, u, -4
Let r be (4 + (-7 - 0))*(-96)/(-72). Put r, 144, 5 in increasing order.
r, 5, 144
Let o be (-4 + (-2 - -5))*0. Suppose 3*u - 32 = -5*u. Sort 2, o, u.
o, 2, u
Let q(c) = -41*c - 36. Let w be q(-1). Sort w, 1, 223, -3 in increasing order.
-3, 1, w, 223
Let d be (-4)/(-3)*376/(-16). Let u = d - -31. Suppose -5*q + 9 - 34 = 0. Put q, u, 1 in descending order.
1, u, q
Let w = 0.1487 + 0.5513. Put -0.6, 0.3, w in increasing order.
-0.6, 0.3, w
Suppose h + 3 = 2*n, 5*n - 3*n + 7 = -h. Sort 1, h, 0.
h, 0, 1
Let b be ((-4)/12)/(-4 + (-76)/(-20)). Put -0.028, b, -3 in increasing order.
-3, -0.028, b
Let h = 26035/33 + -789. Let o = 0.55 + 258.45. Let t = -259 + o. Put h, t, -2/7 in decreasing order.
t, h, -2/7
Let g = 5 - 7. Suppose 5*a = u - 34, 0*u - 70 = -5*u + 5*a. Let n be 1/(-9)*11 - (-2)/u. Put g, 1, n in ascending order.
g, n, 1
Let i = 25 - 42. Let u = -18 - i. Let c = -8.7 - -4.7. Put -3, c, u in increasing order.
c, -3, u
Let k be 32/10 + -3 - (-6)/(-5). Put -7, k, 4, -4 in descending order.
4, k, -4, -7
Suppose 0 = 4*s - 17*s. Sort 4, s, 21.
s, 4, 21
Let m = 56 + -109. Put -5, m, -2 in increasing order.
m, -5, -2
Let t be 6/(-2) - -6 - 9. Let a be (-40)/t + 4/(-6). Let v be (-4*(-3)/a)/1. Put 5, -1, v in increasing order.
-1, v, 5
Let c = -182 - -180.02. Let q = c - 0.02. Let s = 380 - 384. Sort -1/7, q, s.
s, q, -1/7
Let j be 3 - (1/(-2))/(68/(-416)). Let w = 21/68 + j. Sort 2/5, w, -8/3.
-8/3, w, 2/5
Let u(m) = m + 6. Let c be u(-3). Suppose 6 = -c*q - 3*q. Sort -4, 22, q in ascending order.
-4, q, 22
Let n = -0.2 - -0.5. Let x = n + -1. Let k = -0.2 - x. Sort -2, 5, k.
-2, k, 5
Let o = 221.2 - 256. Let k = o + 35. Put k, -1/4, -6/13 in increasing order.
-6/13, -1/4, k
Let i = -124 + 1241/10. Put 0.2, -7, i in descending order.
0.2, i, -7
Suppose 2*x = g + 5, 2*x + 4*g 