-12. Let a = o + h. Sort -2/5, a, 5 in ascending order.
a, -2/5, 5
Suppose 5*c = -2*v, -4*v - c = c - 16. Suppose v = -2*u + 15. Suppose 10*a - u*a - 10 = 0. Sort a, 0.1, -1 in decreasing order.
a, 0.1, -1
Let d = 0.1 - 0. Let g = -24 - -22. Sort g, 0.4, d in descending order.
0.4, d, g
Let x = -0.06 + 0.36. Let c = 42 - 42. Let r be 1*-2*1/(-8). Sort x, c, r in increasing order.
c, r, x
Let q = 1 - -1. Let j = -4 + q. Sort 3, j, -5 in increasing order.
-5, j, 3
Suppose -61 = 6*g - 91. Put 4, g, 17 in ascending order.
4, g, 17
Let s = -0.029 + 0.071. Put s, -1/6, 2/7 in descending order.
2/7, s, -1/6
Let y be (-10)/2 + 3/(27/18). Suppose 4*p + 7 = -1. Put y, 0, p in descending order.
0, p, y
Let g = -201 + 1811/9. Suppose 0*c = c - 3. Sort c, 0.2, g.
0.2, g, c
Let h = -5 - -8. Sort h, -8, 5 in decreasing order.
5, h, -8
Let j = -5.6 - -3.6. Sort -0.19, -0.2, j in descending order.
-0.19, -0.2, j
Let f = 13 + -11. Sort -12, f, -1 in decreasing order.
f, -1, -12
Let r = 1 - 1.5. Let x = 0.3 + -0.2. Let d = r + x. Put 5, d, -5 in descending order.
5, d, -5
Let p = -11 + 13. Let m(z) = z**2 - 4. Let s(i) = -2*i**3 + i**2 - i - 1. Let c be s(-1). Let o be m(c). Sort o, 4, p in decreasing order.
o, 4, p
Let o be (4/4)/((-4)/12). Suppose -50 = 3*d + 2*d. Let l be (-8)/d + (-2)/(-10). Put o, -1, l in descending order.
l, -1, o
Suppose 5*h - 23 = 2*x, 4*h - 30 = -h - 5*x. Let u = 3 + 0. Put u, h, 2 in decreasing order.
h, u, 2
Let x(g) = -g**2 + 6*g - 2. Let h be x(5). Suppose -h + 2 = j. Suppose 4*s + 2*k = -20, s - 3 = -3*k - 13. Sort s, 1, j in descending order.
1, j, s
Let a = -0.03 - 0.02. Let r = -0.13 - a. Let s = -4.92 + r. Put -0.4, s, -4 in decreasing order.
-0.4, -4, s
Let k be 1/(3 - (-8)/(-4)) + -1. Sort 5, 4, 3, k in increasing order.
k, 3, 4, 5
Let f = -4 - -3.6. Let z = 0.5 + f. Let o = -3.9 - z. Sort -3/7, o, -0.2.
o, -3/7, -0.2
Let t = -12 - -11. Put -3/4, t, 0.1 in ascending order.
t, -3/4, 0.1
Let g be ((-12)/(-8))/(1*-3). Let j = -1 + 1. Sort 3, j, g.
g, j, 3
Let h = -6.71 + -272.29. Let x = h - -281.03. Let p = -0.03 + x. Put -2/17, p, 3/2 in decreasing order.
p, 3/2, -2/17
Suppose 10*b - 4 = 66. Sort -2, 1, b in descending order.
b, 1, -2
Let h = -0.4 - -0.6. Sort -0.5, 3/8, h, 1 in descending order.
1, 3/8, h, -0.5
Let y = 20 - 30. Let l be y/8 - 1/(-4). Let c be 3 + (0 + 3)/3. Put -2, l, c in ascending order.
-2, l, c
Let g(l) = l**3 - 7*l**2 + 3*l + 4. Let s be g(6). Let k be s/(-3)*(-18)/(-12). Sort 5, k, 2 in decreasing order.
k, 5, 2
Let p(z) = -z**2 - 6*z - 3. Let b be p(-5). Suppose -7 = -3*t + 2*a, 0*t + b*a + 9 = 5*t. Suppose 4*y + t = 5. Put 3, y, 0 in ascending order.
0, y, 3
Let o = -6 + 2. Let f(b) = -10*b + 151. Let a be f(15). Let z be 2*(10/4 - 1). Put a, z, o in ascending order.
o, a, z
Let n = 11.8 - 12. Put 5, -1, n in descending order.
5, n, -1
Let x = -23.8 + 28. Let c = -4 + x. Sort -2/13, c, -0.2 in increasing order.
-0.2, -2/13, c
Let g be (102/(-7))/((-66)/(-32)). Let o = -84/11 - g. Put o, -0.5, 2 in descending order.
2, -0.5, o
Suppose -4*y - 12 = -8*y. Sort 1, -2, -6, y in ascending order.
-6, -2, 1, y
Let x = -3.3 + 3. Let t(c) = -c**3 - 4*c**2 + 3*c + 2. Let v be t(-4). Let g be v/15 + (-1)/(-2). Sort x, 2, g in descending order.
2, g, x
Let x(w) = -w**2 - 11*w - 15. Let u be x(-10). Sort 3, 6, u in descending order.
6, 3, u
Let r be ((-15)/(-6))/((-10)/(-8)). Sort -1, -2, r, 3 in descending order.
3, r, -1, -2
Let i be (-3)/2*(-2)/(-1). Suppose 71*q - 2 = 73*q. Sort 0, q, i in ascending order.
i, q, 0
Let o(j) be the third derivative of -1/60*j**5 + 0*j + 1/6*j**4 - 1/6*j**3 + 0 + 2*j**2. Let r be o(2). Sort 0, 2, r.
0, 2, r
Let f = 5 - -4. Suppose 0 = -2*n + 3*n. Suppose -2*s + f - 1 = n. Put -4, 3, s in ascending order.
-4, 3, s
Suppose 0 = -2*k - 2*k - 16. Suppose 10 = 3*o + 4*z, z = 3*z - 8. Sort -1, k, o.
k, o, -1
Let o = 4 - 9. Let n(v) = -v - 1. Let z(f) = 2*f + 7. Let r(k) = 3*n(k) + z(k). Let w be r(7). Sort o, w, -2 in ascending order.
o, w, -2
Let y = 22.7 - 23. Put 1/2, 0.2, y in ascending order.
y, 0.2, 1/2
Let y(u) = u - 4. Let f be y(11). Let s be -2*(33/2)/(-3). Let w = s - f. Sort w, -5, -1 in decreasing order.
w, -1, -5
Let s be 3/42*66 - (-4)/14. Sort 2, -8, -4, s.
-8, -4, 2, s
Suppose 2*l = 6, -2*c - 2*c + 2*l - 2 = 0. Let r(m) = 5*m. Let x be r(c). Sort x, 4, 0 in decreasing order.
x, 4, 0
Let z = 0.13 - 0.15. Put z, -0.3, 0.5 in increasing order.
-0.3, z, 0.5
Let u be (4/(-20))/(-1*1). Let y = -0.5 + 0. Let v = -3.8 - -3.4. Sort u, y, v in decreasing order.
u, v, y
Let k = -0.02 + 6.02. Let j = k + -6.4. Put 0.5, 3, j in decreasing order.
3, 0.5, j
Suppose 5*q = -67 + 82. Put -15, q, -2/5 in ascending order.
-15, -2/5, q
Let x be ((-32)/12 + 4)*-3. Put x, -5, -19 in decreasing order.
x, -5, -19
Let k be 18/(-12) + (-7)/(-2). Let c be ((-8)/(-6))/(2/(-6)). Sort c, k, -5.
-5, c, k
Let x be -2 - (-1 - 3694/6714). Let n = 2/373 + x. Let k = -79.3 + 79. Put -0.1, n, k in increasing order.
n, k, -0.1
Suppose 0 = 4*i - 2*g - 10 - 2, -4*g + 16 = 0. Suppose -4*v + 11 + 1 = 0. Suppose 4*d - 20 = 4*w, 0*d + i*d + 7 = -v*w. Sort -3, -4/5, d in increasing order.
-3, -4/5, d
Let h = -9 - -6. Suppose 2*s = 2 + 4. Sort h, 0, s in descending order.
s, 0, h
Suppose 2*z - 7*z = -100. Suppose 2*l + z = 7*l - 5*o, l - 3*o - 8 = 0. Sort 0, 5, l.
0, l, 5
Let r be (-1)/((-1 - -2) + -2). Let j = -1 - 3. Put r, j, -5 in ascending order.
-5, j, r
Let f(n) = -n**2 - 7*n + 4. Let q be f(-4). Put 5, q, -3, -5 in decreasing order.
q, 5, -3, -5
Let p(g) = 2*g**2 - g - 2. Let z(s) = 3*s**2 - 2*s - 3. Let c(h) = -5*p(h) + 3*z(h). Let l be c(-1). Suppose l = -3*f - 8. Sort 5, -2/9, f in decreasing order.
5, -2/9, f
Suppose -3*z + 1 = -s + 4, -s = -5*z - 3. Let r = 0 + z. Put r, -3, 2 in descending order.
2, r, -3
Let x(q) = 12*q**2 - 5*q - 4 - 1 - 11*q**2. Let i be x(5). Suppose 0 = -0*m - 2*m + 5*l + 26, 0 = m - 2*l - 11. Sort 4, i, m.
i, m, 4
Let o = 35.82 + -29.7. Let f = o + -0.12. Let m = f - 7. Sort -3, -4, m in increasing order.
-4, -3, m
Let i(g) = g**3 - 10*g**2 - 2*g + 22. Let t be i(10). Let q = 3 - 3. Suppose 3*d + 27 = 4*s, 5*s + 5*d + 6 + 4 = q. Sort s, t, -4.
-4, t, s
Let q = 0.58 - 0.6. Let o = 4/7 + -39/56. Sort -0.4, o, q in descending order.
q, o, -0.4
Suppose -71*b + 320 = -66*b. Put -1/2, -0.3, b in ascending order.
-1/2, -0.3, b
Let u(l) = -l**3 - 5*l**2 + 5*l - 12. Let p be u(-6). Let z be (p/(-2) - 2) + -1. Put -4, z, -5 in increasing order.
-5, -4, z
Let b(v) = -v - 8. Let u be b(-5). Let y = 27 - 19. Let h(f) = f**2 - 7*f - 6. Let i be h(y). Sort i, -4, u.
-4, u, i
Suppose -90 = 5*m + 2*r + 128, -3*m - 4*r - 142 = 0. Let b be (-5)/((-75)/m) - -3. Sort -5, b, 5 in increasing order.
-5, b, 5
Let t be (-4)/(-2) + -3 + 8. Let u = 11 - t. Sort u, 5, -1 in ascending order.
-1, u, 5
Let i be ((-2)/(-6))/(6/12). Sort 0, -4, i in decreasing order.
i, 0, -4
Let x = 0.49 + -0.61. Put -2, 2, x, 1 in ascending order.
-2, x, 1, 2
Let p = 11 + -14. Sort p, 4, 1 in descending order.
4, 1, p
Let z = -0.32 + -3.68. Let s = 3.2 + 0.8. Put 0, s, z in descending order.
s, 0, z
Let f = 6 + -11. Let o = -0.04 - -0.14. Let l = -6 - -10. Put f, o, l in decreasing order.
l, o, f
Let s = -1.02 - -0.02. Let n = s + 5. Let v = 4.1 - n. Put -0.5, v, 1 in increasing order.
-0.5, v, 1
Let n = 13 - 11. Sort -2/11, -0.4, n.
-0.4, -2/11, n
Suppose -5*a + 17 = 3*w, -3*w = 5*a - 4*w - 1. Sort a, 0, -0.1 in ascending order.
-0.1, 0, a
Let s be (-22)/(-6) + 14/(-21). Suppose y = -5*c - 4, 0 = s*c - 0 + 3. Suppose -g - 3*l - 6 = 0, 2*g = -0*g + 4*l + 18. Sort -2, g, y in increasing order.
-2, y, g
Suppose -5*d - a = 21, 4*d + 44 - 8 = 4*a. Suppose 3*f = -f + 4. Let t be 1/(f - 8/6). Put t, d, 2 in decreasing order.
2, t, d
Let c = -0.95 + -0.05. Let t = 1.3 + c. Sort t, 0.1, -0.3 in descending order.
t, 0.1, -0.3
Let n be 2/9 - 1158/27. Let a = 43 + n. Put a, 4, -1/5 in descending order.
4, a, -1/5
Suppose -4*m = 6 - 66. Let w be 69/m + 4/10. Suppose 0 = 5*r + 15, 2*p - 5*r - 2 = 17. Sort w, 3, p in ascending order.
p, 3, w
Let v(g) = g**3 - 3*g**2 + 3*g - 5. Let r be v(2). Sort 5, r, -12, 0.
-12, r, 0, 5
Let r = 0.69 - -0.31. Suppose -9*k + 4*k - 4*b = 10, 5*b + 35 = 5*k. Sort k, r, 2/23 in descending order.
k, r, 2/23