12. Let y = -16 + 16. Put -1/5, y, p in ascending order.
p, -1/5, y
Let d be (-4)/(-26) + (-189)/(-39). Suppose b - d = -0*b. Let w = -2.9 - -3. Sort -5, w, b in increasing order.
-5, w, b
Let d = -5.7 + 6. Let m = 7 + -5. Let j = m - -3. Put j, d, -2 in increasing order.
-2, d, j
Let l = 5 + -6. Let j be 1 + -3 + 33/12. Let z = -7/31 + 159/155. Put j, z, l in decreasing order.
z, j, l
Let t be (0*1/(-4))/2. Put t, -5, 3 in descending order.
3, t, -5
Let v = -16 + 12. Put 0.5, 0.04, -0.3, v in descending order.
0.5, 0.04, -0.3, v
Let q = 0 + 0.1. Let f = 0.1 - 0.1. Let j = 0.4 + f. Sort 0.5, q, j in descending order.
0.5, j, q
Let f = 51177/11 + -4623. Let t = 10022/341 - f. Put t, -4, 1/2 in descending order.
1/2, t, -4
Let c(i) = -6*i + 5*i - 2*i + 7 + 2*i. Let d = -10 - -16. Let r be c(d). Sort 4, 2, r in decreasing order.
4, 2, r
Let v be (-1592)/12*2/(-4). Let c = v + -67. Put c, 0.2, 0.5 in descending order.
0.5, 0.2, c
Let c = -4 + 4. Let v = c + 0. Suppose 3*z = -5*z + 24. Put -5, z, v in ascending order.
-5, v, z
Let w be (-2 - -5)*2/2. Let c = -1 + 0. Let y = c + w. Put -1, -5, y in descending order.
y, -1, -5
Let p = 2.3 + -2.3. Put 4/9, 5, p in decreasing order.
5, 4/9, p
Let m = 0.69 - 0.19. Suppose -2*g + 30 = -178. Let j be g/306 - (-6)/(-27). Put -2, j, m in ascending order.
-2, j, m
Let b = -12 + 11.6. Let w = b + 0.8. Let q = -1 - -3. Sort q, -2, w in descending order.
q, w, -2
Let x be -7 + 0 + (-32)/(-8). Sort -1, x, 5 in increasing order.
x, -1, 5
Let b = 12.03 + -0.03. Let c = b + -11.7. Sort c, -0.5, -4 in descending order.
c, -0.5, -4
Let s = -2.97 - -3. Let o = -0.23 + s. Sort 4, 6/7, o.
o, 6/7, 4
Let x be ((-1)/5)/(8/(-10)). Let c = -30 - -8. Let k be (-3)/(-6) + c/4. Sort -2, x, k in ascending order.
k, -2, x
Let i(n) = n + 10. Let l be i(-8). Sort 3, 10, l in ascending order.
l, 3, 10
Suppose -5*v = -0 + 5. Suppose 7*t = 4*t + 42. Let x = t - 12. Sort x, -4, v in descending order.
x, v, -4
Let b = 171/440 - -1/88. Put -5, 1/5, b in decreasing order.
b, 1/5, -5
Let t = 48/19 + -374/133. Let h = -4 - -5. Put -0.1, t, h in ascending order.
t, -0.1, h
Let x(s) = s**2 - 10*s - 14. Let k be x(11). Put 1, k, -4, 3 in ascending order.
-4, k, 1, 3
Let f = 5 - 3. Let r(t) = -t + 2. Let u be r(f). Sort u, 0.4, -0.4.
-0.4, u, 0.4
Let g be (0 - -3) + (-2)/(-2). Suppose 5*s - 1 = g*s. Let u be (2/(-4))/(s/(-2)). Sort 4, u, -2 in decreasing order.
4, u, -2
Let c = 5.01 + -0.01. Put 1, -0.5, c, 3/7 in increasing order.
-0.5, 3/7, 1, c
Suppose v + 5*n + 2 + 13 = 0, 0 = -5*v + n + 29. Let h = 0 - -3. Suppose 17 = -2*z - 0*s + 3*s, -5*z = -h*s + 20. Sort z, v, -2 in descending order.
v, z, -2
Suppose 6*m - 17 = 13. Sort m, -7, 0 in increasing order.
-7, 0, m
Let t be 4 + (-2)/(-4)*2. Suppose -5*i - 10 = -t*x, 0*i + 4*i = 2*x - 6. Let g = -51 - -52. Sort i, g, -6 in ascending order.
-6, i, g
Let x = -24 - -19. Put 0.3, 3, x, 1 in increasing order.
x, 0.3, 1, 3
Let i = -35 - -51. Let n = i + -8. Suppose 0*p + 2*p = n. Put p, -5, -2 in increasing order.
-5, -2, p
Let f = 32 + -14. Let p = f - 24. Put p, 2, 0.4 in descending order.
2, 0.4, p
Let k = 0 - 0.3. Let t = 0.1 - k. Let h = -5 + 7. Sort t, h, -5 in descending order.
h, t, -5
Let g(w) = -4*w. Let h be g(1). Sort 2, -1, h in descending order.
2, -1, h
Suppose -2*i + 5*h - 3*h + 4 = 0, 0 = 3*i + h - 10. Sort 1, 5, i in increasing order.
1, i, 5
Let s(m) = -m**2 + 3*m. Let j be s(4). Suppose 0 = -k - 2*k + 9. Suppose k*f + f + 4 = 0. Put 4, j, f in increasing order.
j, f, 4
Let b(q) = -q**2 + 4*q + 1. Let u be b(4). Let x be (1 - 1)/(0 + 2). Put -1, x, u in increasing order.
-1, x, u
Let r = -21 + 10. Let o = r + 16. Sort 0, o, 2 in decreasing order.
o, 2, 0
Let k = 3.6 + -4. Let p(z) = -3*z - 3. Let c be p(-4). Suppose -6*n = c + 3. Sort n, k, -2/13.
n, k, -2/13
Let w = -55 + 58. Sort 1, w, -2 in descending order.
w, 1, -2
Suppose -j = -5 - 0. Let l = -8 - -9. Let r = -10 - -5. Put l, r, j in increasing order.
r, l, j
Suppose -2*f + 5*f - 12 = 0. Suppose -i = 4*r + 9, -f*i + 2*i = r + 11. Let m be 91/(-21) + 3/9. Sort -1, i, m.
i, m, -1
Suppose 5*z = 2*z + 15. Let g be (96/(-20) + 2 - -3)/1. Put 2, z, g in ascending order.
g, 2, z
Let o be (-12)/3 - (2 + -3). Let s be 2/(-2) + o/(-1). Put 4, s, -3 in descending order.
4, s, -3
Let l = 215 + -1937/9. Let u = -47 + 46.7. Sort 2, u, l.
u, l, 2
Let g(k) = k**2 - 8*k + 20. Let l be g(4). Put -5, 2, l, 0 in decreasing order.
l, 2, 0, -5
Let t = -30 + 35. Sort t, 4, -4.
-4, 4, t
Let r = 3.1 + -8.1. Put 4, -3, r, -0.2 in increasing order.
r, -3, -0.2, 4
Let x(p) = p**2 - 5*p + 7. Let s be x(5). Suppose -2*m = -s*m + 5. Sort 2, m, 7 in decreasing order.
7, 2, m
Let f = 0.041 + -0.341. Suppose 0 = 2*s + s + 6. Sort f, -3, s in descending order.
f, s, -3
Suppose 5*a - 2 - 18 = 0. Suppose -f + j = 3*j - 8, -6 = 3*f - a*j. Let l be (-2)/(-9)*3/(-4). Sort l, f, 4/3.
l, 4/3, f
Let y = 962/7 - 138. Suppose 3*s - 55 = 5*a, 0 = -2*s - a + 53 - 12. Suppose -4*p = -0*p + s. Put p, 1/4, y in decreasing order.
1/4, y, p
Let z = 7 - 3. Let a = z + 0. Let r = a + -4. Sort r, -3, 4.
-3, r, 4
Let m be ((-5)/3 - 12/(-6))*-2. Sort m, 2/9, 4, -1/9.
m, -1/9, 2/9, 4
Let k(h) = -h**3 - 7*h**2 - 10*h - 23. Let i be k(-6). Put 3, 6, i, -3 in ascending order.
-3, i, 3, 6
Let z be 4/5 - 71/(-5). Let k = z + -20. Sort k, 1, -2 in descending order.
1, -2, k
Let s be (-7)/8*6/(-21). Put 7, s, -0.5 in decreasing order.
7, s, -0.5
Let k = 9 - 3. Let r = 14 + -13. Sort -4, r, k in increasing order.
-4, r, k
Suppose l = 5*l + q - 19, q = 4*l - 13. Let p = l - 8. Let t(i) = -i**3 - 3*i**2 + 3*i - 3. Let v be t(p). Put 2, -5, v in increasing order.
-5, v, 2
Let a = -25 + 30. Suppose f - 10 = -4*f. Sort 0, f, a in decreasing order.
a, f, 0
Let x(t) = t. Let a(i) = i**2 - 9*i. Let y(o) = a(o) + 5*x(o). Let f be y(3). Suppose 0*m = -p + 2*m - 6, -m = -4*p - 10. Put -1, f, p in decreasing order.
-1, p, f
Let p(q) = -q**2 - 11*q - 23. Let k be p(-7). Put 0, 3, k in ascending order.
0, 3, k
Suppose -3 = 2*m - 7. Suppose m*w = 2 - 0. Put 0, 2, w in decreasing order.
2, w, 0
Let p = 7 + -7.08. Let c = 78.92 - 76. Let j = c - p. Sort -3, -2/11, j in decreasing order.
j, -2/11, -3
Let x = 103 + -100. Sort -0.2, x, -1/2 in ascending order.
-1/2, -0.2, x
Let c be (-4)/14 + (-2)/(-7). Let v = 746 + -745. Sort -2, v, c in descending order.
v, c, -2
Let q = 11 + -10.7. Let p be (-48)/(-9) + 3/(-9). Put q, -5, p in ascending order.
-5, q, p
Let x = -2.2 + -1.6. Let g = 6 + -2. Let b = g + x. Put b, 5, -5 in decreasing order.
5, b, -5
Let l be 28/(-3)*3/(-2). Suppose n + 16 = 2*z - 2*n, 0 = 5*z - n - l. Suppose -4 = -p - z. Put p, 6, 5 in descending order.
6, 5, p
Let x be (-3)/(-1 - (-20)/8). Sort x, 5, 4 in ascending order.
x, 4, 5
Suppose -2*l + 2 = 6. Let i = -2 + 2.3. Let b be ((-1)/3)/(12/9). Put b, i, l in increasing order.
l, b, i
Let n be 3/2*4/10. Let s = -6354/5 - -1321. Let j = 50 - s. Sort n, -4, j.
-4, j, n
Let h = 0.019 - -0.481. Let r = -3.5 + -0.5. Put h, r, 1 in ascending order.
r, h, 1
Let v(l) = -l - 5. Let p be v(-9). Suppose -a = -p*a. Let x = 38 - 344/9. Sort a, x, -0.2 in descending order.
a, -0.2, x
Suppose 8 + 4 = 3*z. Let k(h) = -h**2 + 4*h + 2. Let b be k(z). Let m(n) = -2*n + 3. Let d be m(3). Sort d, -2, b in ascending order.
d, -2, b
Let g(k) = k**2 + 5*k - 5. Let m be g(-7). Let u = -10 + m. Sort -3, -2, u.
-3, -2, u
Let l be (-2)/(2/(-20)*-4). Put -0.5, -2, l in increasing order.
l, -2, -0.5
Let l be -2 - (-4 - (1 - 2)). Put l, -5, -1/3 in increasing order.
-5, -1/3, l
Let x(l) = -l - 4. Let o be x(-9). Suppose -8 = o*f + 2. Let h be (-5)/4*8/2. Sort f, 2, h in descending order.
2, f, h
Let p = -4 - -4. Let m = 4 - p. Let t(s) = -s**3 - 3*s**2 + 5*s + 6. Let f be t(-4). Put f, m, -2 in decreasing order.
m, f, -2
Suppose 3*p = t - p - 2, -3*p = 0. Suppose -4*s = -4*f, 4*s - 6 = t*f - f. Suppose 9 = -f*j + 5*j, -19 = 2*n - 5*j. Sort n, 2, 0.
n, 0, 2
Suppose 0 = -6*u + 3*u. Suppose 3*l + 4*q + 35 = 0, u*l + 5*l + 2*q = -35. Put 3, 1, l in decreasing order.
3, 1, l
Let l be (-2)/15 + 473/(-165). Sort 1, 2, l in increasing order.
l, 1, 2
Suppose j + 3 + 1 = 0, -3*t - 3*j = 24. Let c(p) = -p**3 - 3*p**2 + 3*p + 4. Let m be c(-3). Suppose -8*g + 22 = -18. Sort g,