 13 - 12. Suppose 0*m - 21 = -4*m - a*f, -2*f - 18 = -5*m. Sort -2, m, 3 in descending order.
m, 3, -2
Let p = -0.8 + 0.3. Sort -4/5, 1/2, p in ascending order.
-4/5, p, 1/2
Let g = 11 + -7. Suppose r = s + 4 - 0, -r - 3*s + g = 0. Put -2, r, -5 in increasing order.
-5, -2, r
Let c be 6/12 - 3/(-6). Let t = 9 - 5. Put c, -4, t in decreasing order.
t, c, -4
Suppose 3*z + 8 = z. Let k(p) = p**2 + 5*p + 3. Let v be k(-4). Let j(y) = y**2 + 2*y - 3. Let l be j(-4). Put v, z, l in descending order.
l, v, z
Let f = 6 + -1. Let j = -4 + 7. Sort j, -1/5, f.
-1/5, j, f
Let c be (-2841)/(-3366) + 1/2. Let g = c - 2/187. Sort -1/4, g, 3/2 in descending order.
3/2, g, -1/4
Let d = 447.8 - 448. Let g = 0.06 + 2.94. Let s = g - 6. Put s, d, -2 in ascending order.
s, -2, d
Let b = 9 + -9.2. Let t = b - -0.7. Sort 5, 2/15, t in descending order.
5, t, 2/15
Let n(g) = 3*g**3 - g**2 + 1. Let a be n(1). Suppose -6*x + 2*x + a*m - 20 = 0, -5*x = -5*m + 25. Sort x, 2, -2.
x, -2, 2
Suppose 4*i + 2734 + 966 = 0. Let g be 3/12 - i/(-4). Let f = -1614/7 - g. Sort 2, 5, f.
f, 2, 5
Let j = -50 - -50. Put -5, -9, j in decreasing order.
j, -5, -9
Let d(t) = 2*t**2 + 43*t - 27. Let i be d(-22). Let f(n) = -n**2 + 5*n - 2. Let q be f(3). Put q, i, 0.3 in descending order.
q, 0.3, i
Suppose d + 6 = 4*d - s, -2*d = -3*s + 3. Sort d, 2, -2, -4 in descending order.
d, 2, -2, -4
Let l(v) = 3*v**2 + 2*v + 1. Let o be l(-1). Suppose -3*s - 4*f = -25, o*f = 2*s - 4*s + 14. Sort s, 0, -4.
-4, 0, s
Suppose -5*v = -15 - 5. Put 5, v, -1 in increasing order.
-1, v, 5
Let r = -1244 - -6289/5. Let z = r - 473/35. Let c = -9 - -9.5. Sort c, z, -0.3 in decreasing order.
c, z, -0.3
Suppose 28 = -18*x + 14*x. Sort x, -5, -2.
x, -5, -2
Let s(o) = -7*o + 7. Let f(b) = -8*b + 7. Let r(u) = 5*f(u) - 6*s(u). Let n be (-1)/((-2)/6)*2. Let q be r(n). Sort q, 2, 0 in decreasing order.
q, 2, 0
Let u be 26/(-8) - (-54)/(-72). Sort 2, -5, -3, u in descending order.
2, -3, u, -5
Let r(f) = -4 - 6*f**2 - 6*f - f - 1 + f**3. Let w be r(7). Put 5, -4, w in decreasing order.
5, -4, w
Let v(t) be the second derivative of t**3/3 + 7*t**2 - 5*t. Let b be v(-7). Put 2, -2, b in ascending order.
-2, b, 2
Let v = 2 - 2. Suppose v = 3*u - 4*u. Suppose -s = -u*s. Sort 3, s, -5 in ascending order.
-5, s, 3
Let r be ((-21)/(-6))/((-2)/4). Let y = r - -10. Let x be ((-1)/(-2))/(y/24). Put -4, 0.4, x in ascending order.
-4, 0.4, x
Let b be (8/(-20))/((-4)/(-30)). Suppose 5*p + 10 = -5*u, 3*p = 2*u + u. Sort p, 4, b in descending order.
4, p, b
Suppose -5*j = -10*j + 10. Suppose -3*b + 5*s + 25 = -0, -b + 3*s + 11 = 0. Suppose 5 + 0 = -b*z. Sort -4, z, j in descending order.
j, z, -4
Let a = 3.003 + -0.003. Put a, 2, 2/5 in descending order.
a, 2, 2/5
Let s(t) = -t - 43. Let i be s(-38). Let z = -2 + 7. Let m(o) = o**2 - 5*o + 4. Let n be m(z). Put n, -4, i in decreasing order.
n, -4, i
Let t be (-7)/(-84)*-4 + (-2)/(-6). Sort -5, t, -2, -3 in decreasing order.
t, -2, -3, -5
Let v(s) = s. Let q be v(5). Suppose 0*y - 25 = -q*y. Let t(c) = -c**2 + 6*c + 1. Let k be t(6). Put 4, k, y in decreasing order.
y, 4, k
Let k(p) = -3*p**2 + 12*p + 2. Let g be k(4). Let l be 2*(-2)/(-3)*3. Suppose g = -l*f - 6. Sort 3, f, -4 in ascending order.
-4, f, 3
Let j = 7 - 7.12. Let y = -0.08 + j. Let o be (1/4)/((-5)/(-4)). Put o, 3, y in ascending order.
y, o, 3
Let k = -0.5 + 4.5. Let j = 10 - 5. Let g = -7 + j. Put 1, g, k in ascending order.
g, 1, k
Let t = 3 + -4. Let m = t - -5. Suppose 0 = -m*f + 7 + 13. Put 1/6, f, -5 in decreasing order.
f, 1/6, -5
Let h = 0 + -2. Let a be 22/7 + (-3)/21. Sort h, 2, a in descending order.
a, 2, h
Let q = -23.4 + 23. Suppose 0 = 5*d - 19 - 1. Sort q, d, 4/3 in decreasing order.
d, 4/3, q
Suppose 0 = 4*v - 5*d + 10, 0 = 3*d + 6. Suppose 4*q = 4*x - 7 + 15, -4*x - 5*q - 26 = 0. Let m be (0 + 4/x)*-2. Sort m, -2, v in decreasing order.
m, -2, v
Let s = -5.06 + 5. Let l = -7.94 - -8. Let b = s + l. Sort b, -0.3, 0.5 in decreasing order.
0.5, b, -0.3
Let r = 4 + -6. Let i be 6/(-9) - 17/(-3). Sort r, -7, i in increasing order.
-7, r, i
Let q be (-6 + 12)*(-2)/(-4). Suppose 5*w = q + 7. Let p be (-14)/4 + (-1)/w. Put 1, 0, p in descending order.
1, 0, p
Suppose 0 = 2*d - 42 - 6. Let x = d + -145/6. Suppose 3*z + o = 2*o - 4, 5*z + 4*o - 16 = 0. Sort z, -1/2, x in descending order.
z, x, -1/2
Suppose 0 = 3*j + 3*j + 12. Let l = 0.2 - 0. Let a = -3 + 2.9. Put j, a, l in ascending order.
j, a, l
Let s be 1*9/((-6)/(-2)). Suppose 0 = -5*o - 4*f - 1 - 6, 0 = 2*o + s*f. Put -5, 1/6, o in decreasing order.
1/6, o, -5
Let n be ((-16 + 0)/2)/2. Let o be -1 + -1*2/2. Sort -1, n, o in decreasing order.
-1, o, n
Let f be (-20)/6*24/(-20). Suppose -5*s + 4*h + 99 = 35, 2*s + f*h - 20 = 0. Let i(b) = b**3 - 12*b**2 - 1. Let g be i(s). Put g, 4, -5 in descending order.
4, g, -5
Let y(m) = -m + 6. Let l be y(12). Sort -3, l, -1 in ascending order.
l, -3, -1
Let z(g) be the third derivative of -g**5/60 + g**4/3 - 5*g**3/6 - 2*g**2. Let i be z(7). Put -3, -2, i in increasing order.
-3, -2, i
Let h(g) = 2*g**2 + g - 1. Let v be h(1). Let j = -7 - -141/20. Let u = j - 3/10. Put v, 0.2, u in ascending order.
u, 0.2, v
Let g(k) = k**2 + 4*k + 3. Let f be g(-3). Sort f, 2, 3 in decreasing order.
3, 2, f
Let y = -74 - -75. Sort y, 39, -3 in decreasing order.
39, y, -3
Let w = 24 + -23. Sort -0.6, w, -0.3 in descending order.
w, -0.3, -0.6
Let g = 0.061 + 0.879. Let r = -0.06 - g. Sort r, 2, 5.
r, 2, 5
Let a be (-2 - -2) + -4 + 0. Let h be 6/(-4)*a/(-6). Let j be ((-2)/(-1*2))/h. Put j, -5, 4 in increasing order.
-5, j, 4
Let v = 3 + -3. Suppose 5*m + 7 = 3*m - 3*t, -3*m - 4*t = 10. Sort v, 5, m in increasing order.
m, v, 5
Suppose 10*g = 2*g + 32. Put 3, -4, -1, g in increasing order.
-4, -1, 3, g
Let k be (-3)/(-12) - (-13)/(-4). Suppose -3*t + 22 - 4 = 0. Suppose -2*s + 0*s = -t. Sort s, k, -1 in ascending order.
k, -1, s
Let a = -1.9 - 3.5. Let d = 69 - 69.6. Let s = a + d. Sort 0.1, 1/7, s.
s, 0.1, 1/7
Let t = 54/41 - 4724/3649. Let m = t - -65/1068. Let l = -7.9 + 10.9. Sort m, l, -3 in decreasing order.
l, m, -3
Let y = -33.3 - -33. Sort y, 2/9, -7 in descending order.
2/9, y, -7
Let l = 6 - 4. Put 1, l, 3, 0 in decreasing order.
3, l, 1, 0
Let a(s) = s + 3. Let l be a(-7). Put l, -3, -5 in decreasing order.
-3, l, -5
Let i = 57 - 400/7. Put i, 0.4, 2/3, 2/9 in increasing order.
i, 2/9, 0.4, 2/3
Suppose -12*y + 10*y - 4 = 0. Put 3, 4, y in descending order.
4, 3, y
Let j = 31.83 - 32. Sort -1/2, j, 2 in decreasing order.
2, j, -1/2
Let b = 2 - -3. Let v be (-1 - -2) + (11 - 15). Put 0, v, b in decreasing order.
b, 0, v
Let t = 4 + -3.7. Let f = t - -0.2. Let i be (4/10)/((-2)/10). Sort f, i, -0.4 in descending order.
f, -0.4, i
Let d = -11 + 6. Let u = d + 15. Suppose -3*q + u = -q. Put q, -3/8, 1 in decreasing order.
q, 1, -3/8
Suppose 0*q - q + 3*m = -41, 4*q - 5*m - 143 = 0. Let o be (-2)/6 + q/60. Sort 2/15, 4, o.
2/15, o, 4
Let l = 0.141 + 0.059. Let o(c) = -c - c**3 - 4 + 0*c**2 - c + 5*c**2. Let s be o(4). Sort 0.1, s, l.
0.1, l, s
Let t = -0.29 + -4.71. Let k = 2 - 2.2. Let b = k - -4.2. Put t, -0.2, b in descending order.
b, -0.2, t
Let r(n) = 29*n - 2. Let u be r(2). Let z be u/90 + 2/(-5). Let k = -1 + 1/2. Put 2, k, z in increasing order.
k, z, 2
Let w be 2/(-4) - (-14)/4. Suppose -w*o = p + 5, -6*o - 4*p = -o + 13. Sort o, 1/10, -5.
-5, o, 1/10
Let m(z) = z**2 - 9*z + 18. Let g be m(7). Let c = 2 + -6. Let t = 5 - 3. Sort g, c, t in increasing order.
c, t, g
Let l(x) = -x + 5. Let m be l(5). Suppose -w - 3*a + 3 = -6, -3*a + 6 = 2*w. Put -2, m, w in descending order.
m, -2, w
Suppose 0 = -3*i + 3*j + 12, 3*j + 12 = 3*i + 8*j. Suppose i*a = f - 12, -f - 3*a = -2*f + 12. Suppose -k - f = -4*k. Sort 2, -2, k in increasing order.
-2, 2, k
Let u(d) = 2*d**3 - 4*d - 4. Let w(s) = -6*s**3 + 11*s + 11. Let c(h) = 8*u(h) + 3*w(h). Let f be c(-1). Let g be 16/(-64) - 26/(-8). Sort g, -1, f.
-1, f, g
Let k = -24.8 - -25. Sort k, -3, -2 in ascending order.
-3, -2, k
Let k(t) = 3*t - 27. Let g(o) = 1. Let h(c) = -12*g(c) - k(c). Let p be h(7). Put 1, p, 3 in decreasing order.
3, 1, p
Suppose 31*l - 28*l = -15. Sort -3, l, 2 in increasing order.
l, -3, 2
Let w = 10 + -6. Let u be 0/(-2)*(-1 - 0). Suppose u = x - 0*x 