 12. Let m = h - -2. Sort m, -0.1, g in decreasing order.
g, -0.1, m
Let a = -19/3 + 6. Put 3, -0.12, a in ascending order.
a, -0.12, 3
Let u(t) = t - 6. Let r be u(9). Suppose s = r*s. Sort 0.4, s, -2.
-2, s, 0.4
Let z(j) = -j**3 + j**2 - 1. Let x be z(1). Let c = x + 1. Let u(d) = d**2 - 8*d - 10. Let n be u(9). Sort 1, c, n in decreasing order.
1, c, n
Let x = 64.3 - 64. Sort 8, -0.5, x, -2 in descending order.
8, x, -0.5, -2
Let o be 2/8 + 3/4. Let s be 1 + 1 + (-6)/o. Sort -1, s, 2 in descending order.
2, -1, s
Suppose -2*z + f = -1 - 6, 4*z = -2*f - 6. Let a be (-2*(-10)/(-2))/(2 + -4). Sort a, z, 4 in ascending order.
z, 4, a
Let n = -8 + 4. Let d be n/28*2*2. Sort 5, 0.4, d in descending order.
5, 0.4, d
Let u = 0.02 - 2.02. Let d = 16 - 10. Let j = -6.3 + d. Sort -5, j, u in descending order.
j, u, -5
Let v be (-4 - -5)*(-1)/1. Put v, 3, -5 in increasing order.
-5, v, 3
Let s(c) = -c - 2. Let n(t) = -t**3. Let y be n(-1). Let u = y - -2. Let m be s(u). Sort 1, m, 2 in descending order.
2, 1, m
Let q = 26.5 - 43. Let y = q - -16. Put -6, -2, y in increasing order.
-6, -2, y
Let c(n) = n**2 - 7*n + 8. Let w be c(8). Let k be (w/88)/(0 + 1). Sort 3/2, k, -3/5 in descending order.
3/2, k, -3/5
Let j = 3 + -1. Let v = j - 1.9. Let g be ((-69)/(-115))/(-1 + (-4)/(-5)). Put v, g, -0.2 in descending order.
v, -0.2, g
Let c = -38 - -33. Let o = -3 - -5. Suppose 0 = -5*k - 0 - 20, -o*n = -k - 6. Sort -3, n, c.
c, -3, n
Let m be -3 - 4*-1 - 3. Sort -5, m, -4 in increasing order.
-5, -4, m
Let z = 2.3 - 3.3. Put z, -1/4, 0.3 in increasing order.
z, -1/4, 0.3
Suppose -24 - 4 = 2*a. Let g = -10 - a. Suppose -5*j + 11 = 5*y - g, -j + 4*y + 13 = 0. Sort -3, j, 0 in decreasing order.
j, 0, -3
Suppose 6 = -y + 4*y. Let h = 1 - y. Suppose 5*k + 5 = 4*k. Sort h, k, 1 in descending order.
1, h, k
Suppose -2*v + v = 2. Let w(o) = o**2 + 4*o + 3. Let g be w(-4). Sort v, -5, g in increasing order.
-5, v, g
Let i(g) = -4*g - g**3 - 4*g**2 + 5 + 7*g + 2*g. Let f be i(-5). Let q = f + -7. Sort -2/5, 1, q.
q, -2/5, 1
Let r = 47 - 60. Sort -3, 5, r in increasing order.
r, -3, 5
Let i = 28 + -16.1. Let c = -1.9 + i. Let a = -8 + c. Sort a, 0, 0.03.
0, 0.03, a
Suppose -3 = -3*z + 4*t, 2*z - t + 5 = 12. Suppose 0*k - 2 = k. Put z, k, 0 in ascending order.
k, 0, z
Let n = -51 - -45. Put 0.5, 1, n in descending order.
1, 0.5, n
Let b = -0.46 - -0.36. Sort b, -0.3, -7/8 in decreasing order.
b, -0.3, -7/8
Let i = -0.194 - 0.006. Suppose -8*u - 15 = -3*u. Sort u, 0.03, i.
u, i, 0.03
Suppose 208 = 3*h - 5*h. Let a be 74/(-26) - (-16)/h. Put 4, a, 3 in decreasing order.
4, 3, a
Let o be (3/6)/((-5)/60). Sort -2/3, -0.2, o in descending order.
-0.2, -2/3, o
Suppose -3*v + 2 = -4. Sort -2, -1, v in descending order.
v, -1, -2
Suppose -n + 0*n = -4*t, -2*n = 5*t. Suppose 6*k - k - 2*g = 0, 5*g + 23 = k. Put k, t, -4 in descending order.
t, k, -4
Let r(f) = f**2 + 9*f + 10. Let o be r(-7). Sort -5, -1, o in ascending order.
-5, o, -1
Let q(d) = -2*d - 7. Let l be q(-5). Let n be (-24)/99*l/4. Sort -0.3, n, 2/11 in ascending order.
-0.3, n, 2/11
Let o = 2 - 1.7. Let j = -0.2 - o. Sort j, -3/8, 1 in increasing order.
j, -3/8, 1
Let t(v) = -2*v**3 - 4*v**2 - 3*v - 2. Let o be t(-2). Let h(n) = n**2 + n + 5. Let y be h(0). Suppose -13 = 4*c - y. Sort -1, o, c.
c, -1, o
Let t = -6 + 2.8. Let j = -3 - t. Sort 0.1, j, -1/7.
-1/7, 0.1, j
Let d = -37/2 - -19. Sort 2, -3/8, -10, d.
-10, -3/8, d, 2
Let m(b) = b**3 - 2*b**2 + b. Let z be m(2). Let p(f) = -3*f + 40. Let n be p(15). Put n, z, 1 in descending order.
z, 1, n
Suppose -2*r = -5*t - 8, -3*t = -2*t - 2*r + 8. Suppose 10 = -5*f - 3*d, -5*f + t*d - d = 10. Put -5, 3, f in decreasing order.
3, f, -5
Let p = -0.12 + 3.12. Let r = 1 - p. Sort r, 0.4, 2/7 in decreasing order.
0.4, 2/7, r
Suppose -5*z - 5*o = -10, -3*z + o = -2*o - 24. Sort 3, z, 1 in increasing order.
1, 3, z
Let c = -7 - -7. Suppose 5*h - 36 = 3*f, -5*h + 5*f = -c*h - 40. Let y be (-2)/((2 - 5) + h). Put y, -5, 1 in descending order.
1, y, -5
Let k(a) = a**3 + 2*a**2 - 15*a + 5. Let h be k(-5). Let i be (5/2)/((-2)/4). Put 2, i, h in increasing order.
i, 2, h
Let u = -76 + 74. Sort -5, -0.3, 5, u in increasing order.
-5, u, -0.3, 5
Let m(t) = -t**2 - 2*t. Let z be m(-3). Let n = 1 + z. Let o(u) = -u**3 - 8*u**2 - u - 5. Let s be o(-8). Put n, 2, s in descending order.
s, 2, n
Let u = 1.1 - 0.9. Sort -1/9, -0.4, u.
-0.4, -1/9, u
Let r = 3 + -3.1. Let g = 1.8 + -2.8. Put -2, g, r in decreasing order.
r, g, -2
Let d be (-28)/2*18/(-21). Let u be (-16)/30*(-9)/d. Sort u, -1, -0.3 in increasing order.
-1, -0.3, u
Let i = 32 + -27. Suppose -m + 0 + i = 0. Sort -3, m, -2 in decreasing order.
m, -2, -3
Let t = -0.09 - -0.01. Let l = -8/15 + 1/5. Sort t, l, -3 in ascending order.
-3, l, t
Let a be (4/(-2) - 0) + 9/(-3). Sort 1, -47, a.
-47, a, 1
Let j = 13 - 15. Let m(l) = -l**3 - 2*l**2. Let t be m(j). Put t, 5, -5 in descending order.
5, t, -5
Let h(a) = 3*a + 19. Let m be h(-6). Sort m, 3, -33, 0 in increasing order.
-33, 0, m, 3
Let k = -1055/12 + 88. Let y = 1 - 1. Sort k, y, -1 in descending order.
k, y, -1
Let l be (-5)/3*(0 + 3). Let n be (-11)/(-9) + (-26)/117. Sort l, n, -3.
l, -3, n
Suppose -3*i + 6 = 5*g - 3, -5*g - 47 = -4*i. Suppose -4*h - i = -h - 4*b, -3*h - 3*b = -6. Sort 1, h, -4 in decreasing order.
1, h, -4
Let o = 4 - 4. Let p = 4 - 9. Let s = 8 - 3. Sort p, s, o.
p, o, s
Let q(f) = f - 3. Let k be q(5). Let s = k + 2. Sort s, -3, 1 in descending order.
s, 1, -3
Suppose -4*m + 10 = 3*z - 10, -8 = -4*z + 4*m. Sort z, -2, 3 in increasing order.
-2, 3, z
Let t(p) = 2*p**3 - 3*p**2 - p + 3. Let q be t(2). Sort q, -1, 3, 0.
-1, 0, 3, q
Let n(h) = h**3 + 9*h**2 + 9*h + 11. Let j be n(-8). Let c be ((-5)/4)/(j/12). Sort -1, c, 1 in ascending order.
c, -1, 1
Let k(b) = -2*b**3 - 16*b**2 + 3. Let c be k(-8). Sort -5, 19, c in increasing order.
-5, c, 19
Suppose 4*o - o = 27. Let n = o + -13. Put -6, n, 4 in increasing order.
-6, n, 4
Let n = 0.3 - 21.3. Let c = -20 - n. Let o = -0.3 + 2.3. Put 0.2, o, c in increasing order.
0.2, c, o
Let d(b) = -3*b**3 - b**2 - b. Let o be d(-1). Put -1, 0.8, o in decreasing order.
o, 0.8, -1
Let p = -12 - -7. Let t = p - -5.4. Sort -5, -0.1, t.
-5, -0.1, t
Let b be (-12 - -10)*6/4. Put 1/6, b, -2/7 in descending order.
1/6, -2/7, b
Let t = -841 - -844.61. Let y = -0.71 + t. Let g = -3 + y. Sort g, -5, 5 in descending order.
5, g, -5
Suppose 0 = 4*i - 5*i - 12. Let y be (1/i)/(2/20). Let z = 4 + -9. Sort z, 0.5, y.
z, y, 0.5
Let l(t) = t**3 + 6*t**2 - 2*t - 9. Let i be l(-6). Suppose 4*o - 13 = 3. Put i, o, -3 in increasing order.
-3, i, o
Let g be 5*(2 + (-3)/5). Let z be 0 - -1 - 5/g. Sort z, -1, 5.
-1, z, 5
Let u be 1*(10 - 1 - 4). Let f be 2*-1 + 1 - 0. Sort u, f, 2.
f, 2, u
Let a be (-4)/14 + 46/14. Suppose 3*p - 7 = -4*s + 2, 0 = p - a. Suppose i - 4*i = -15. Sort s, i, -4 in decreasing order.
i, s, -4
Suppose 36*l = -103 - 5. Let t be (6/(-5))/(1/(-5)). Let n(x) = -x**2 + 6*x + 1. Let j be n(t). Sort l, -4, j in descending order.
j, l, -4
Let f = -48.9 - -49. Sort -5, -1/5, -3/2, f.
-5, -3/2, -1/5, f
Suppose -8*h = -11*h + 24. Sort h, -4, -3.
-4, -3, h
Let r be ((-3)/2)/((-39)/130). Sort r, -8, -1 in descending order.
r, -1, -8
Let k be 3 + 2/2 - 5. Sort -7, k, 2 in descending order.
2, k, -7
Let t be 16/(-4)*(-1)/2. Put 5/3, t, 6 in increasing order.
5/3, t, 6
Let v be 3/12 - (-10)/(-8). Let u be (-1 + 1)/(-3 - v). Sort 1, -1, u in decreasing order.
1, u, -1
Let z(i) = -3*i**3 + i**2 - 5*i**2 + 5*i**2 + i + 1. Let g be z(-1). Suppose 0 = 2*o - 3*m + 3, 3*o + m = g*m - 6. Sort o, 4, 2 in decreasing order.
4, 2, o
Suppose 23 = -0*l + 5*l + 2*u, l - u + 1 = 0. Put 5, l, 4 in decreasing order.
5, 4, l
Let f = 128 + -131. Sort f, -9, -5.
-9, -5, f
Suppose 6 = 4*a - 42. Suppose 5*i - 17 - 3 = -3*d, 5*d - a = -3*i. Sort d, -1, 1 in descending order.
1, d, -1
Let s = 0.9 + -0.2. Let g = s + -0.2. Let c = 2 - 7. Sort c, g, -1 in descending order.
g, -1, c
Let q = 26 - 22. Put q, 19, -4 in descending order.
19, q, -4
Let z = 5 + -10. Let v(d) = d + 6. Let x be v(-3). Sort x, z, -1.
z, -1, x
Let z = 16 + -19. Put 0, -4, z in descending order.
0, z, -4
Let i = -0.104 + -0.296. Sort i, -2/9, -1/2 in increasing order.
-1/2, i, -2/9
