12.596. Let b be (-1 + 1/2)*4. Let t be (-3)/b + 2/(-4). Sort -2/15, t, h.
h, -2/15, t
Let v(g) = 16*g - 48. Let i be v(4). Put i, -6, 5, 1 in decreasing order.
i, 5, 1, -6
Let s be 1/(-3)*210/(-14). Suppose -v = -s*v + 4. Let z = -9 + 4. Put -2, z, v in decreasing order.
v, -2, z
Let t = 0.11 - 5.11. Let m = 8 - 7. Let j = 41 - 125/3. Put j, m, t in decreasing order.
m, j, t
Let z(r) = 5*r - 55. Let a be z(11). Suppose 5*l - 4*t - 40 = a, -3*l + 2*t + 12 = -10. Sort -2, -10, l, 2.
-10, -2, 2, l
Suppose -10*t = -25*t - 1140. Put t, 0, 3 in descending order.
3, 0, t
Let u(a) = -20*a + 444. Let l be u(22). Sort l, 0.14, 0.2 in increasing order.
0.14, 0.2, l
Let k = -421.7 + 422. Put 0.4, k, 4, 2/13 in decreasing order.
4, 0.4, k, 2/13
Let a be (-3 + 287)/(-2) - 0. Let b = a - -138. Put 4, b, 3, 5 in descending order.
5, 4, 3, b
Let f = 121.2 - 122.2. Let m = 1087/7 + -155. Sort m, f, -3, -0.3.
-3, f, -0.3, m
Let s = -31335/28 - -1119. Let j be -4 - 0 - ((0 - 17) + 8). Put -2/9, s, j in descending order.
j, s, -2/9
Let x = 1.9 + 2.1. Let u = 12 + -12. Let g = -0.5 + u. Sort x, 7, g in decreasing order.
7, x, g
Let v = -9 + 21. Let f = v + 11. Let q = f + -21. Put -2/3, q, 5/2 in increasing order.
-2/3, q, 5/2
Let n = -38/7 + 556/105. Sort n, 4, 0.4, 0.5 in increasing order.
n, 0.4, 0.5, 4
Suppose -45 + 65 = -5*i, h = -3*i - 6. Put -5, h, -4 in descending order.
h, -4, -5
Let v = -0.1 + 0.1. Let t(g) = 4*g - 82. Let w be t(21). Sort v, 3/5, w in increasing order.
v, 3/5, w
Suppose 4*u - 6*u + 4*p + 538 = 0, 5*p + 809 = 3*u. Put u, -3, 5 in descending order.
u, 5, -3
Let w = 307 + -307. Let q = -0.03 - -1.03. Sort 4, w, 0.5, q in ascending order.
w, 0.5, q, 4
Let n = 342/5 - 68. Let l be (-1)/(2/(-2))*-22. Let t be (2/l)/((-9)/18). Put n, t, -3/7 in descending order.
n, t, -3/7
Let w = -31 - -27.9. Let q = 3.3 + w. Sort q, -1/5, -1 in descending order.
q, -1/5, -1
Let v be (-267)/801 - -2*(-326)/(-12). Sort -0.3, 4, v, 1.
-0.3, 1, 4, v
Suppose 9 + 10 = -v + 5*f, 5*f = 20. Let s(p) = 3*p + 1. Let o be s(3). Suppose -2*b + 3*a + o = 0, 5*a - 15 = -0*b - 3*b. Sort 2, b, v.
v, 2, b
Let q be (27/81)/((-4)/(-36)). Sort 0, 2, 9, q in increasing order.
0, 2, q, 9
Let k = -2.36 + 2.66. Sort -1/2, k, -4/9, 0.2 in increasing order.
-1/2, -4/9, 0.2, k
Suppose -2*j + 3 = -2*v + 1, 2*v + 3 = 3*j. Suppose 6*r - 3*r = v. Sort -5, -1, r in decreasing order.
r, -1, -5
Let y = 1522 + -1524. Sort y, 0.22, 5, 4 in ascending order.
y, 0.22, 4, 5
Let g = -47/28 - -17/7. Let v be ((-5)/(-2))/(18/108). Suppose 5*i + 3*w + 25 + 15 = 0, -w + v = -4*i. Sort i, 1.4, g in increasing order.
i, g, 1.4
Let p = 0.1 - 0.3. Put 1, -4, -1, p in descending order.
1, p, -1, -4
Let m = -15 + 15.3. Sort -3/4, -0.3, -1, m.
-1, -3/4, -0.3, m
Let o be 4/(-22)*9*(-10)/(-90). Sort -4/7, 1, o, -25 in descending order.
1, o, -4/7, -25
Let v be 192/(-132) + 18/(-33). Put 0, 5, v, 23 in descending order.
23, 5, 0, v
Let w be ((-10)/15)/((-2)/3). Let k(m) = -3*m**3 - m**2 + 3*m - 2. Let r be k(w). Let j be (-13)/6 + r/(-18). Sort 5, j, -3 in decreasing order.
5, j, -3
Let j(n) = -6*n - 8. Let t be j(-2). Suppose -t*h + 9*y - 11 = 6*y, 0 = 3*h - y + 12. Sort -3/5, -0.2, h, 2/15 in decreasing order.
2/15, -0.2, -3/5, h
Suppose 14 - 1 = 5*w + b, -4*w - b + 10 = 0. Suppose -z - w*f - 87 = 2*z, -3*f = -5*z - 161. Sort 1, 3, z in descending order.
3, 1, z
Let d be (10 + 0)/((-13)/(-130)). Suppose 6*m - d = 2*m. Put -4, m, -1, 5 in descending order.
m, 5, -1, -4
Let k(r) = -r**2 + 5*r + 6. Let q be k(6). Suppose -5*m - 14 = -4*h, -11 = 4*m - m - 5*h. Sort m, 1, q in decreasing order.
1, q, m
Let v be 2/3 + 5/(-3). Let d be 0*(-2 + 2 + -1). Let o = d - v. Sort -3, -5, o.
-5, -3, o
Suppose 0 = 5*h - 2*f - 6, 2*h - 2*f - 9 + 3 = 0. Let c be 5*(-6)/(-10) + 1. Let l be 4/(((-6)/(-4))/(-3)). Put h, c, l in descending order.
c, h, l
Let c = -8 - -3. Let p be -3 - (10 - (18 - 2)). Put c, -3, 5, p in ascending order.
c, -3, p, 5
Let n(j) = -j**2 + 6*j - 1. Let d be n(6). Let o = d + 4. Sort 14, o, 0, 4.
0, o, 4, 14
Let y = -12648 + 12879.04. Let i = y - 242. Let g = -0.04 + i. Sort -0.1, -3, g.
g, -3, -0.1
Let t = 0.2918 + -0.0918. Put 25, t, 3, -3 in descending order.
25, 3, t, -3
Let t be (-115)/(-25) + 2/5. Suppose t + 4 = 3*w. Suppose 0 = -q, -2*u - 4*q - 3 = -w*u. Sort u, 2/3, -2.
-2, 2/3, u
Let q = 76 - 72. Suppose -b = 2*c + 4, -3*b + 0 = -2*c - q. Sort c, -4, 11 in decreasing order.
11, c, -4
Suppose 3*v - 2*d = -0*v + 3, -3*d = 0. Let p = -525 - -274. Let n = p + 248. Sort n, 2, v in increasing order.
n, v, 2
Let l be (-24)/42 + 72/(-21). Let q be l/(-6) + 6/(-9). Put q, -2, -4 in decreasing order.
q, -2, -4
Let g be (-2)/5 + 141/15. Let s be -26*(g/6)/(-3). Suppose 5 = -3*c - 2*c - 2*f, 2*c + s = -3*f. Sort -5, c, 2 in decreasing order.
2, c, -5
Let f(j) = 5 + 3 + 2*j - j. Let t be f(-5). Suppose -t = -5*a + 12. Sort 1, a, -3 in decreasing order.
a, 1, -3
Let i = 1.37 + 0.23. Let h = -1.5 + i. Sort 2/7, h, -3 in increasing order.
-3, h, 2/7
Let f = -54 - -21. Let c = f + 29. Sort 1/8, c, 0 in decreasing order.
1/8, 0, c
Let s(m) = -m**3 + 3*m**2 - m + 1. Let h be s(3). Let v = h - -6. Suppose v*w + 19 = 8*x - 3*x, 5*x = -3*w + 12. Sort -5, w, 5 in ascending order.
-5, w, 5
Let j(g) = 5*g + 21. Suppose -2*f + o - 30 = 5*o, 4*o = -f - 25. Let z be j(f). Sort z, -3, -2 in descending order.
-2, -3, z
Let h be 6 + (5 - (11 - 2)). Suppose -3*p - 53 = -h*y - 149, 4*y + 72 = 2*p. Put 3, p, 0 in descending order.
p, 3, 0
Let n = 5827/5 + -1165. Sort n, -1, -5, 3 in ascending order.
-5, -1, n, 3
Let n = 1.582 - 1.082. Put -0.1, n, -1/2, -1.8 in increasing order.
-1.8, -1/2, -0.1, n
Let p = -5.4 - -5. Let x = -5.997 + 6.497. Put x, -0.3, -4, p in ascending order.
-4, p, -0.3, x
Let l = -39 - -44. Suppose l*a - 3*o + 6 - 21 = 0, -9 = -3*a - o. Put 1, a, -5 in descending order.
a, 1, -5
Let r = 307.8 + -308. Sort 11, -5, 1, r in decreasing order.
11, 1, r, -5
Let j(t) = t - 11. Let x be 4 + 9 + (-1 - 2). Let s be j(x). Put s, 3, 0, -0.2 in ascending order.
s, -0.2, 0, 3
Let n = 48/11 - 1510/341. Sort 7, n, -3/2 in increasing order.
-3/2, n, 7
Let v = -423 + 24113/57. Let q = -0.508 + 0.308. Put v, q, 2/3 in ascending order.
q, v, 2/3
Suppose a - 10 = -5. Let t = 553 + -552. Put 16, t, a in decreasing order.
16, a, t
Suppose 0 = 4*q - x - 0*x + 102, -2*x = -2*q - 48. Suppose 2*m - 4 = 2*y + 6, -2*m = y - 4. Sort q, y, 5, 3 in decreasing order.
5, 3, y, q
Let k be (-4 - 2)/((-4)/1518). Let w be (-4)/22 + 612/k. Put -1/2, w, 3 in decreasing order.
3, w, -1/2
Let n = -72 - -156. Let d = n + -89. Sort -3, 10, d.
d, -3, 10
Let d = -35 - -33. Let j be ((1 + -1)/(-4))/d. Sort 5, j, 1 in descending order.
5, 1, j
Suppose 3*i = 4*j - i - 8, 4*j - 11 = 3*i. Sort j, -4, -52 in ascending order.
-52, -4, j
Suppose 17*x - 3*r = 16*x - 7, -2*r + 5 = -x. Put x, -2/7, 5, 2 in descending order.
5, 2, -2/7, x
Let a = -8 - -2. Let t be (1 - (-12)/3)*(1 - 0). Sort -2, a, t.
a, -2, t
Suppose 4*j + 0*j + 5*u - 15 = 0, -j - 5*u = 0. Suppose 0 = -5*f, -8 = -4*g - 0*g - 3*f. Suppose j*c + 3 = -g. Sort 2, c, -3 in ascending order.
-3, c, 2
Suppose 3*h = -4*a + 176, -121 = -2*a - h - 31. Sort a, -5, 4 in decreasing order.
a, 4, -5
Suppose -3*g = 5*l - 4, 2*g + 4*l = 2 + 2. Sort 4/3, -11, g, -1/3 in descending order.
4/3, -1/3, g, -11
Let u be (-52)/78 - 50/(-66). Sort -1/4, 1/5, u, 5 in increasing order.
-1/4, u, 1/5, 5
Let o = 73/33 - 17/11. Let g(c) = 3 - 1 - 6 - c. Let m be g(-5). Put o, 3, m in decreasing order.
3, m, o
Let b be 93 + 6 + (-3 - (-5 + -4)). Sort 4, b, -3, 1 in descending order.
b, 4, 1, -3
Let p be (-1)/3 + 50/15. Sort 2/17, p, -26.
-26, 2/17, p
Let t = -1.42 - -69.42. Let r = 67.9 - t. Sort -2, r, -1, 5 in descending order.
5, r, -1, -2
Let c be -4*(-5 + 1)/24. Put 10, 3, c in decreasing order.
10, 3, c
Let k be (-2)/(-5)*35/(-14). Let r(i) = i**2 - 7*i - 3. Let s be r(8). Sort s, k, 18 in descending order.
18, s, k
Let w(l) = 2*l**2 - 21*l + 8. Let t be w(10). Let y(a) = -2*a - 9. Let b be y(-6). Suppose -3*k = -b - 12. Sort t, k, -1.
t, -1, k
Let r(k) = 4*k**2 + 6*k - 4. Let p be r(-4). Let z = p - 24. Suppose 0 = -4*g + z. Put g, -4, 2 in descending order.
g, 2, -4
Let d = -0.996 + -0.004. Sort -0.05, d, -0.1.
d, -0.1