+ 5. Sort b, z, -4.
-4, b, z
Suppose 0 = 23*c - 25*c + 5*w + 11, 3*w = -3. Suppose 0 = 6*h - 3*h - 15. Suppose 0 = 2*l - 1 + h. Put l, 2, c in decreasing order.
c, 2, l
Let x = -6 - -5. Put x, 1, 0 in decreasing order.
1, 0, x
Suppose -2*f = 3*v + 21, 0*v = -4*f + 3*v + 3. Sort 5, 1, f in decreasing order.
5, 1, f
Let t = 5 + 0. Suppose -4*z - 6 = -2*k, 4*k + 0*k - 9 = t*z. Put 2, -3, k in decreasing order.
2, k, -3
Let q = 12.7 - 13. Put 0.5, 2, q, -0.6 in ascending order.
-0.6, q, 0.5, 2
Suppose 0 = -3*l + 4 + 2. Put 1, l, 0 in increasing order.
0, 1, l
Suppose 0 = -8*c + 6*c. Let d(n) = n - 4. Let w be d(6). Sort -4, c, w in decreasing order.
w, c, -4
Let s(n) = n**3 - 4*n**2 + 3*n - 4. Let t be s(3). Sort t, -5, 5 in increasing order.
-5, t, 5
Let b = -0.01 + 0.31. Let s be -1 + -1 + 44/16. Sort 2, s, b in decreasing order.
2, s, b
Let a = -12 - -18. Let f = -7 + a. Let r = -3 + 2.5. Sort 0, r, f.
f, r, 0
Let p(h) = h + 16. Let z be p(-13). Sort -4, -2, z in ascending order.
-4, -2, z
Suppose 4*g + 2*u + 26 = -0*g, u = -g - 9. Put -2, 4, -5, g in descending order.
4, -2, g, -5
Let p = -130 - -135. Sort p, 0.5, 2, -5 in decreasing order.
p, 2, 0.5, -5
Suppose 0*n - 9 = -3*n. Let a(h) = -h**2 - 11*h - 13. Let i be a(-10). Put i, -9, n in descending order.
n, i, -9
Let a(x) = x**3 + 4*x**2 - 5*x + 4. Let p be a(-5). Let y = p - 4. Put y, 4, -3 in descending order.
4, y, -3
Let y be 4*(-7)/(112/12). Sort 1, y, -3/5.
y, -3/5, 1
Suppose 3*f = -0*f + 4*a - 1, 2*f + a = 14. Sort 1, -4, f, -3 in descending order.
f, 1, -3, -4
Suppose 3*b + 7 = 4*s + 15, b - 5*s = -1. Suppose 0*v = v - 5. Suppose 3*j = -j - 3*d + b, 0 = v*j + 4*d - 5. Put j, -1/4, -0.4 in descending order.
j, -1/4, -0.4
Let q = -18 - -17.6. Put 1, 4, q in increasing order.
q, 1, 4
Let i(r) = r + 16. Let k be i(-14). Let v(w) = -5 + 2 - 2*w**k + 1 + 1 - w. Let c be v(-1). Sort -5, 5, c in increasing order.
-5, c, 5
Let l = -13 - -14. Let u = -38609/1650 + 1143/50. Let o = 2/33 - u. Put -1, o, l in ascending order.
-1, o, l
Let l(i) = -2*i. Let s be l(-2). Suppose 0 = -s*y - 0*y + 8. Suppose -y*g = -3 - 1. Put 0.5, g, -5/2 in ascending order.
-5/2, 0.5, g
Let o = 7 - 5. Let l = -0.036 + 0.036. Sort o, -2/3, l in decreasing order.
o, l, -2/3
Suppose u + 12 = -5*k, 6*u + 4*k = 2*u - 16. Let h = -56871/5 + 11328. Let m = -46 - h. Put u, m, 0.1 in decreasing order.
m, 0.1, u
Suppose 4*d = 6*d - 4. Sort 5, d, -5 in descending order.
5, d, -5
Let d(t) = -t**3 - 8*t**2 + 10*t + 6. Let u be d(-9). Let q = 1.1 - 5.1. Put u, q, -0.3 in decreasing order.
-0.3, u, q
Suppose l - 34 = -l. Suppose -d - 2*j + 5 = -3, -4*d = 5*j - l. Sort 2, 4, d.
d, 2, 4
Let t(c) = -2*c - 1. Let b be t(2). Let h be (20/b)/((-2)/(-3)). Let w(r) = r**2 + 6*r. Let p be w(h). Put -5, p, 5 in ascending order.
-5, p, 5
Let t = 1.1 - 19.1. Let y = t + 13. Sort -0.1, -0.2, y in descending order.
-0.1, -0.2, y
Let k = -5.8 - -0.8. Let w = 0.02 - -2.98. Let y = -87.3 - -87. Put k, w, y in decreasing order.
w, y, k
Let i be 6/(-12)*(0 + -1). Sort -0.8, i, -0.2 in descending order.
i, -0.2, -0.8
Suppose g = -2*g - 3. Let r be g*(-3 + 0/3). Sort r, -4, -2 in ascending order.
-4, -2, r
Suppose 0*w - 5*w = -5. Let g = -8/7 + w. Let f = -67 + 70. Put f, g, 4/3 in decreasing order.
f, 4/3, g
Let h = -6.7 + 7. Sort 1, -5/6, h in decreasing order.
1, h, -5/6
Suppose -r = -0*r - 2. Let f(t) = t**2 + 6*t + 3. Let z be f(-6). Sort r, z, 5.
r, z, 5
Let v be (3 - (5 - (-2 + 1))) + 0. Suppose r = -4*g - 0 + 16, -r + 2*g = 8. Sort r, 1, v.
v, r, 1
Let r = -85 - -85.2. Suppose 4*l = -l + 20. Sort l, -0.5, r.
-0.5, r, l
Let a = -1.9 + 2. Let h = a + 0.9. Let m = 0.4 - 0.7. Sort h, 5, m in ascending order.
m, h, 5
Suppose -3*b - 2*b = 10. Suppose 4*l = -12, 2*v + v = -2*l - 18. Suppose a = -4*x - 9, 2*a + 4 + 1 = 5*x. Put v, b, a in increasing order.
a, v, b
Suppose 6*b = 2*b - 5*s + 30, 0 = 4*b + s - 22. Put 1, b, 2, 3 in descending order.
b, 3, 2, 1
Let r = -0.05 - 0.25. Put r, -5, -3/2 in decreasing order.
r, -3/2, -5
Let g(a) be the second derivative of a**3/6 - 5*a. Let h be g(-1). Let m = 7 + -4. Sort -4, m, h in descending order.
m, h, -4
Let r = 1 - -4. Let u = -38 - -35. Put -2, r, u in decreasing order.
r, -2, u
Let n = 7 + -2. Let z be (1 - 1 - 1)*2. Suppose 3*o - 24 = -o - 4*t, 4*o - 4*t = 0. Sort z, o, n in decreasing order.
n, o, z
Let z = -135 - -138. Let i = -0.01 - 0.39. Let y = -5721/19 - -301. Put y, z, i in descending order.
z, y, i
Suppose 2*y = 3*y. Suppose -q = n - 5, 4*n = -y*n + 3*q + 13. Suppose 0 = -3*a + n*d + 14 + 15, 24 = 3*a - 3*d. Put -2, 0, a in ascending order.
-2, 0, a
Let w be 32/12*(-18)/(-8). Let y = 11 - w. Sort -4, y, 0.2 in increasing order.
-4, 0.2, y
Let p be (6/8)/(5/(-4)). Let s = 0.1 + 0.4. Put s, p, -0.2 in ascending order.
p, -0.2, s
Let y = 12 - 13.2. Let c = y - -0.7. Put c, 4, -1/6 in decreasing order.
4, -1/6, c
Let r = 0.63 - -0.37. Let i = 15 - 11. Sort -5, r, i in ascending order.
-5, r, i
Let j = 0.03 - 0.08. Put -0.4, j, 2/19 in increasing order.
-0.4, j, 2/19
Let d = 9 - 9.1. Let b = -6 - -8. Put d, b, 1/6 in increasing order.
d, 1/6, b
Suppose 0 = -m - 2. Let f be 1/(21/(-12) - m). Let z = 1 + 2. Put f, z, -5 in ascending order.
-5, z, f
Let i be (-4 - 1)*80/(-200). Put i, 0, -6 in increasing order.
-6, 0, i
Let b be (2/3)/(4*(-2)/24). Put b, 34, 3, 0 in decreasing order.
34, 3, 0, b
Suppose 0*i + 3*i = -3*g - 9, g + 4*i = -9. Let n = g - 4. Suppose -2*w + 0*w = -8. Sort n, 1, w in increasing order.
n, 1, w
Suppose 2*n + 0*n = -4*a - 24, -4*a = 3*n + 30. Let z(i) be the first derivative of i**2/2 + 2*i + 1. Let q be z(n). Put -3, -5, q in decreasing order.
-3, q, -5
Let z = 7 + -3. Suppose 0*b - 5*o + 21 = 4*b, 15 = 4*b - o. Suppose -b*n + z = -0. Put n, 0, 3 in descending order.
3, n, 0
Suppose 4*h - 21 = -3*h. Put 4, h, -4 in descending order.
4, h, -4
Let f = 45/4 + -23/2. Sort -5, 8, -4, f.
-5, -4, f, 8
Let z = 86 - 87. Suppose 0 = -4*o - 4, 0 = -2*q - o - o - 12. Sort z, q, 0 in ascending order.
q, z, 0
Let l be 4/1 - (7 + 0). Let k = -3 + 3.5. Put -1, l, k in ascending order.
l, -1, k
Let y = -59 + 59.7. Sort y, 5, -0.5 in ascending order.
-0.5, y, 5
Let g be ((-1)/(-6) - (-125)/(-30)) + 0. Sort 1/3, 2/9, g, -0.2 in decreasing order.
1/3, 2/9, -0.2, g
Let j(f) = -f + 2. Let q be j(1). Let p = 0 - 3. Let h = -27.7 + 28. Put h, q, p in increasing order.
p, h, q
Suppose s - 3 = -0*s. Suppose -3 = -3*t - 4*n - 11, -4*n = -4. Sort 1, t, s in decreasing order.
s, 1, t
Let c = 0.01 - -0.49. Sort 5/2, 0.1, c.
0.1, c, 5/2
Let h = 70562/317037 + -2/1461. Let r = 2/31 + h. Put -0.5, -4/3, r in increasing order.
-4/3, -0.5, r
Suppose -x - x = 6, 2*b + 3*x + 13 = 0. Sort 4, -5, b, 5.
-5, b, 4, 5
Suppose -3*v - j + 9 = 0, 4*v + v - 4*j - 15 = 0. Sort v, -4, 5, 4.
-4, v, 4, 5
Let i = 121 - 850/7. Put 0.3, i, 2 in decreasing order.
2, 0.3, i
Let m be -2*(-3)/(-4)*2. Put -5, -1, m in decreasing order.
-1, m, -5
Let d be (-2 - 0)/((-2)/(-5)). Suppose -4*c + 9 = -c + 4*b, 3*c = -b + 9. Sort d, -1, c.
d, -1, c
Let a(d) = 3*d**2 - d - 2. Let h be a(2). Let g be (-3)/(-24)*h/(-6). Let s = 8/3 - 3. Put g, s, 0.2 in increasing order.
s, g, 0.2
Suppose 2*a - 9 = -a. Put a, 4, -4 in descending order.
4, a, -4
Let l = -0.04 + -11.46. Let h = 11 + l. Put 1/2, h, -2/15 in ascending order.
h, -2/15, 1/2
Let b = 57 - 60. Let y(l) = -l**2 + 5*l + 8. Let w be y(6). Put w, b, 0 in descending order.
w, 0, b
Let a = -1.1 + 0.1. Let z(w) = 2*w + 2. Let j be z(-3). Put 2/3, j, a in increasing order.
j, a, 2/3
Let k = 0.2 + 0. Let u = k + -0.7. Put -1, 0.3, u in decreasing order.
0.3, u, -1
Let n be (2 - -1) + 104/(-32). Sort 0, 5, n in descending order.
5, 0, n
Let i be (-8)/4 + (-10)/(-3) + 1. Sort 4/7, i, -1/3 in ascending order.
-1/3, 4/7, i
Suppose -6*z + z - 35 = 0. Let i = 5 + z. Suppose 5*v - 9 = 1. Sort v, i, 5.
i, v, 5
Let f = 0.027 - -0.473. Put f, 2, 2/7, 1/11 in decreasing order.
2, f, 2/7, 1/11
Let v be (3 - 5) + 0 + -1. Suppose -4*u = 11 - 31. Sort u, v, 0 in ascending order.
v, 0, u
Let t be (-46)/161 + 0/(1 + 1). Sort -6/5, 11, t, 0 in decreasing order.
11, 0, t, -6/5
Let i = 2.98 + 0.02. Suppose -4*r = -2*r. Put -5, i, r in descending order.
i, r, -5
Suppose -5*d + 47 = 4*l, -2*l - 5 + 1 = 0. Put 