+ 13. Sort 5, p, m in increasing order.
m, p, 5
Let u = 0 + 3. Let r = 0.4 - 0.3. Put u, r, -1 in decreasing order.
u, r, -1
Let a = -2 - 1. Let f(y) = y. Let v(m) = 4*m + 3. Let x(n) = 5*f(n) - v(n). Let z be x(3). Sort a, z, -0.2 in increasing order.
a, -0.2, z
Let d be (2/4)/(8/16). Suppose -4*r + 21 = 1. Let a = -2 + r. Put a, d, -4 in decreasing order.
a, d, -4
Let r(q) = -2*q + 8. Let t be r(6). Let n be (t/4)/((-2)/4). Suppose a = n - 1. Sort 0, a, -4.
-4, 0, a
Let u = 5 - 8. Let y = 2.8 + u. Sort 0.4, y, -1/7 in increasing order.
y, -1/7, 0.4
Suppose -3*a = 2*a + 5*y - 25, -3*y = 0. Let b = 17 - 25. Sort -1, b, a in increasing order.
b, -1, a
Let m be (-7 + 1 - -2)*-2. Put 4, m, 3, -2 in ascending order.
-2, 3, 4, m
Let m(t) = 2*t - 5. Let l be m(3). Sort 2, 3, l in ascending order.
l, 2, 3
Let k be ((-1)/1)/(1/7). Put k, -1/2, -2 in ascending order.
k, -2, -1/2
Suppose -3 = 3*v - 0. Sort -2, -10, 2, v in increasing order.
-10, -2, v, 2
Let r = -36 + 32. Put r, -1/2, -2 in ascending order.
r, -2, -1/2
Let i = -12 + -7. Let w be (-3)/(1 - i/2). Sort w, 1, 0.1 in decreasing order.
1, 0.1, w
Let m be (-6)/(-16)*4/6. Suppose w + 3*w = 16. Let x = -4 + 4.3. Put m, w, x in decreasing order.
w, x, m
Let t be ((-6)/(-8))/(5/(-40)). Let i be (8/t)/(6/135). Let o be 1 - (i/14)/(-3). Sort -5, -1, o in ascending order.
-5, -1, o
Suppose 4*j + 28 = -4*s - 0*j, -3*j - 35 = 5*s. Sort -5, -3, s in descending order.
-3, -5, s
Let f = 0.6 - 0.5. Let u be ((-3)/(-13))/(15/10). Put f, 0.2, u in decreasing order.
0.2, u, f
Suppose 9*d - 45 + 9 = 0. Let t be (0 - -2)/(0 + 2). Put -1, t, d in descending order.
d, t, -1
Let p = -1 + 1.5. Let k be (-268)/52 + 3 + 6/3. Sort p, k, 3.
k, p, 3
Let q(h) = h - 3. Let l be q(5). Suppose -5 = -g, 0 + 5 = -l*c + 3*g. Suppose -x = -3*x + 8. Sort x, 2, c in ascending order.
2, x, c
Let b = -59 + 62. Sort b, 2/3, -0.02.
-0.02, 2/3, b
Let p = -31/3 + 12. Suppose r + 0*r - 2 = 0. Let b be 1/16*r*6. Sort b, 2/9, p.
2/9, b, p
Suppose l = 5 - 2. Suppose -b = 2*b - 6. Suppose -4*y + b*g - 2 = 0, -2*y - g = -l*y - 1. Sort 0.6, 3, y in ascending order.
y, 0.6, 3
Let d be 0 + (-2)/((-1)/1). Let s be (-10)/6 - (d + -4). Put -5, s, -3/5 in decreasing order.
s, -3/5, -5
Let l be (-1)/(-1 - 4/(-2)). Put 3, -2, l in descending order.
3, l, -2
Let y(q) = -q**3 - 4*q**2 + q + 4. Let p be y(-4). Let v = p - 3. Suppose -2*f + 2*k + k = 1, -4*f - 3*k = -25. Sort -4, f, v.
-4, v, f
Let n = -1.699 - -29.779. Let i = n - 33. Let k = i + -0.08. Put 0.5, 5, k in increasing order.
k, 0.5, 5
Let y be (0/(-3))/(2/(-1)). Put 5, y, -2, 4 in ascending order.
-2, y, 4, 5
Let c be (2/(-6))/((-2)/(-12)). Suppose -3 = -3*v - 3*k, -5*k = -0*v - 5*v - 45. Put -0.4, c, v in descending order.
-0.4, c, v
Let a = 49 - 30. Suppose a = -5*l + 3*c, -2*l = l - 2*c + 11. Suppose 0 = d + 1. Sort 2, d, l in decreasing order.
2, d, l
Suppose 4 = 2*o + 4*j, 4*o + 2*j + 0*j - 8 = 0. Suppose -w + 17 = 5*n - 0, -o*n + 8 = w. Let a be (0 - -1)*0/1. Sort 4, a, w in descending order.
4, w, a
Suppose -4*i = -5*y - 3, 0 = y - 4*y + 3. Let q = 2 + i. Let w = -1 - q. Sort 2, 3, w.
w, 2, 3
Suppose -21 + 1 = 5*k. Let x be (6/9)/(k/(-30)). Sort -3, -4, x.
-4, -3, x
Let l be (5/4)/(-1 + 3/4). Let a(q) = q. Let o be a(5). Put -1, o, l in increasing order.
l, -1, o
Let x = 49 + -54. Suppose -u = -2*q + 10, -9 = -2*q + 2*u + 1. Put q, 3, x in ascending order.
x, 3, q
Let v(n) = -n**3 - 3*n**2 + 2*n - 3. Let l be v(-4). Sort l, 30, -4 in increasing order.
-4, l, 30
Suppose 0*n + 8 = -g - 3*n, 32 = 4*g - 4*n. Sort 0, 3, g.
0, 3, g
Let k = 0.5 + 5.5. Let d = k + -2. Sort 2/3, d, -3/5.
-3/5, 2/3, d
Let s be -2*(2 - (-1 + 2)). Let p = -0.2 - 0.3. Let a = 4.5 + p. Sort -1/2, s, a in decreasing order.
a, -1/2, s
Let k = 8437 + -168829/20. Let z = k - -26/5. Put 0.2, z, 4 in increasing order.
0.2, z, 4
Let h be (-1)/(-2) + 7/2. Let t = -0.3 - -0.4. Put t, h, -0.2 in increasing order.
-0.2, t, h
Let x = -21 + 24. Put -0.5, -3, x, -3/2 in decreasing order.
x, -0.5, -3/2, -3
Suppose 0 = -6*o + 19 + 11. Sort -21, -4, o in ascending order.
-21, -4, o
Let y = 41/24 + -15/8. Let g = 10 - 18. Let j = -8.3 - g. Put y, -2/11, j in descending order.
y, -2/11, j
Suppose -5*f - 20 = -5*k, k + 14 = -4*f - 7. Let y(m) = m + 9. Let j be y(-6). Sort -3, f, j.
f, -3, j
Let d = 0.2 - 0.3. Let c = 583 - 6407/11. Sort d, 5, c in ascending order.
d, c, 5
Suppose -3*s = 12, 4*s + 18 = -v - 0*s. Let i be (0 - v/2)/(-1). Let b(a) = -a**2 - 5*a + 11. Let q be b(-6). Put i, 2, q in increasing order.
i, 2, q
Let u(h) = h**3 + 4*h**2 + 3*h - 3. Let m be u(-3). Sort m, -0.2, 3 in ascending order.
m, -0.2, 3
Suppose 13 = 3*k - 2. Suppose 3*v = 4*y - 8, 4*y - 3 - 5 = -3*v. Sort k, v, 4 in ascending order.
v, 4, k
Suppose -3*f + 0 - 9 = 0. Suppose 5 = -0*b - 5*b. Sort -2, f, b in descending order.
b, -2, f
Suppose -5*z - 3*q - 16 = q, 2*z - 4 = q. Let u(k) = -k**3 + 6*k**2 - 5*k + 2. Let a be u(5). Put 3, z, a in descending order.
3, a, z
Let p = -0.3 - 0. Let y = 27 - 41. Let v be 156/42 + (-4)/y. Sort -1/3, p, v.
-1/3, p, v
Let d = -35 - -33. Sort d, 4, 6, 5 in decreasing order.
6, 5, 4, d
Let n = 0.025 + 0.015. Put -0.2, n, 3/5 in decreasing order.
3/5, n, -0.2
Let m = 48 + -193/4. Put m, -5, 1/5 in descending order.
1/5, m, -5
Let q = -5 + 0. Sort 0.1, q, -2/13 in ascending order.
q, -2/13, 0.1
Let g = 7 + -7.03. Let d = g - -0.43. Let l = 1.1 - 3.1. Sort -1, l, d in ascending order.
l, -1, d
Let b = 4.89 - -0.11. Suppose -2*y - 3*d - 4 = d, -4*d = -3*y + 4. Suppose 5*q + 5*i + 11 + 4 = y, -4 = i. Sort q, 2/3, b.
2/3, q, b
Let o = -4 - -4.1. Let n = 0.3 - o. Let p = -4 - 1. Sort 4, n, p in descending order.
4, n, p
Suppose 0 = 10*j - 3*j - 14. Put -4, 4, j, 0 in increasing order.
-4, 0, j, 4
Let o(j) = j - 4. Let z be o(7). Let y = 7 + -12. Put y, 5, z in descending order.
5, z, y
Suppose 3*r + 6 = -0*r. Sort r, 5, 4 in descending order.
5, 4, r
Let w = 0.2 - -4.8. Let v = -5 + w. Sort 1/2, v, -2 in increasing order.
-2, v, 1/2
Let j(g) = g**3 - g. Let i be j(1). Suppose -2*m = 4*y + 4, -3*y = 7*m - 4*m. Sort i, 1, m.
i, 1, m
Let m = 1.59 - 1.7. Let a = m + -3.89. Put a, -1, -0.4 in decreasing order.
-0.4, -1, a
Suppose 5*l - 24 = 4*l - 4*m, 3 = 2*l - m. Put l, 1, 0 in descending order.
l, 1, 0
Let l = -56 + 54. Sort 2, l, -5, -3 in decreasing order.
2, l, -3, -5
Let o = 6 - 3. Suppose -o*y - 4*b + 7 = 0, 2*y - 5*b + 3 = -0*b. Suppose -t = -3*t + 8. Sort y, t, 2 in increasing order.
y, 2, t
Suppose 13*p - 5*p + 32 = 0. Suppose -4*u - 18 = 6. Let a(d) = -d - 5. Let m be a(u). Put 3, m, p in increasing order.
p, m, 3
Suppose 2*y - z = 19, -z + 25 = -y + 3*y. Suppose -4*q = 5 + y. Put 4, q, 2 in decreasing order.
4, 2, q
Let a be 2/4*1 + 0. Let l = -4 + 3. Put 2, a, l in increasing order.
l, a, 2
Let y(r) be the second derivative of r**4/12 + 19*r**3/6 + 13*r**2/2 - 4*r. Let w be y(-18). Sort 3, -1, w.
w, -1, 3
Let n be 2/33*6/4. Let u = 79 + -305/4. Let r = u - 25/12. Put n, r, -5 in decreasing order.
r, n, -5
Suppose 2*q + 15 = -4*j - q, 3*j - 25 = 5*q. Let b(i) = -i**3 + 5*i**2 + 6*i + 1. Let r be b(6). Put j, r, 4 in decreasing order.
4, r, j
Let y = 1.98 + 0.02. Sort -2/11, -0.02, y in decreasing order.
y, -0.02, -2/11
Let w = -46 - -45.6. Put -1/5, -2, w in increasing order.
-2, w, -1/5
Let o(v) = 7*v**3 - v**2 - v - 1. Let m be o(-1). Put 4, -1, m in ascending order.
m, -1, 4
Let z be (-72)/84 + (-6)/(-14). Let i(g) = -g**3 - 4*g**2 + 5*g. Let a be i(-5). Suppose a = -2*v + v. Put 2/13, v, z in descending order.
2/13, v, z
Let i be (-3 - (-39)/12)*2*0. Put 6, i, 5 in descending order.
6, 5, i
Let x be 5/12 + 5/20. Let g = 0.1 + -0.6. Put g, x, 5 in ascending order.
g, x, 5
Let a = -17.6 + 17. Sort a, -2/13, 0.
a, -2/13, 0
Suppose i = 4*c - 8, 3*c - 2 = 4*i + 4. Suppose -k = -2*k - 5. Sort c, k, 4 in descending order.
4, c, k
Let b = -3 + 0. Suppose 0 = o - 2*d, 2*d - 6 = 4*o - 0*d. Sort b, -1/4, o.
b, o, -1/4
Let k(d) = -d**2 - 24*d - 46. Let u be k(-22). Let a = 265/3 + -87. Sort a, u, 1 in ascending order.
u, 1, a
Let i(a) = -a**3 + 4*a + 3. Let l be i(-2). Let g = -62 - -64. Sort l, -4, g in decreasing order.
l, g, -4
Suppose 5*b - 3*i = 0, 0 = b + b + 2*i. Let x(j) = -j + 5. Let h be x(0). Sort b, 4, h in asce