*s - l. Put 0, 2, m in descending order.
2, 0, m
Let h(a) = -2*a - 4. Suppose 2 = o + 6. Let s be h(o). Suppose -x - 5*l = -2*x - 10, s = -x + 3*l. Put -2, x, 0 in decreasing order.
x, 0, -2
Suppose 2*r = 2*b - 10, 0*b + 2*b = -r - 2. Sort -1, 1/2, b, -2/13 in increasing order.
-1, -2/13, 1/2, b
Let o = 56 - 57. Suppose -3*y + 4*a + 4 = 0, a = 2*y - 3*a - 8. Sort y, -2, o.
y, -2, o
Let m = -3/26 + -70/13. Let d = -37/6 - m. Sort d, -1, -5 in ascending order.
-5, -1, d
Let d be 1 + -2 + -1*2. Suppose -13*b + 29 = -23. Put 0.5, b, d in ascending order.
d, 0.5, b
Let w = 3807 - 1016471/267. Let i = w + -524/1335. Put i, -1, -0.5 in increasing order.
-1, -0.5, i
Suppose 5*o = 5*f - 15, 3*o + 2*f + 3*f = -25. Put o, 4, -3 in ascending order.
o, -3, 4
Suppose 34 + 1 = 5*v. Let a(g) = g - 10. Let d be a(v). Sort 4, d, 0 in decreasing order.
4, 0, d
Let k = -52.91 - -53. Put 0.2, -0.5, 1, k in decreasing order.
1, 0.2, k, -0.5
Let c be (-56)/90 + (-14)/(-63). Sort 0, c, -1/2, 2.
-1/2, c, 0, 2
Let l = -9.86 + 5.12. Let x = l + -0.26. Let s = -0.01 - -0.41. Sort x, -0.3, s in decreasing order.
s, -0.3, x
Let x(n) be the first derivative of -n**3/3 - 2*n**2 + n + 4. Suppose u = -4 + 1. Let g be x(u). Sort 1, -2, g in ascending order.
-2, 1, g
Let u = 0.053 - -0.147. Let n(c) = c - 6. Let d be n(0). Let j(i) = i + 1. Let l be j(d). Put 0.4, l, u in ascending order.
l, u, 0.4
Suppose -2*u - 4*a + 2 = 0, -5*u - a = -2*a - 38. Suppose -2*z + 1 = u. Let x(q) = -q**2 - 9*q - 9. Let d be x(-7). Sort d, z, 1.
z, 1, d
Suppose 0 = -5*i - 5. Let q(g) = g**2 - 5*g + 3. Let f be q(5). Suppose 4*a + f = -x, 4*x + 2*a + 4 = -8. Sort i, 3, x.
x, i, 3
Let o = -16 - -16.1. Let c = -5 - -7. Let i = 1.9 - c. Put o, i, -1/5 in ascending order.
-1/5, i, o
Let h(v) = v + 12. Let l be h(-9). Suppose -5*u = -2*q + 31, 2*u + 2*u = q - 23. Let z = l - q. Put 2, -2, z in decreasing order.
2, z, -2
Let z = -0.3 + 2.3. Let r = -2 + -1. Let n = -3.2 - r. Put 0.5, z, n in descending order.
z, 0.5, n
Let a = 18 + -15. Let k be ((-8)/(-14))/(2/a). Put k, 1/4, -2 in decreasing order.
k, 1/4, -2
Let u = -78 - -82. Put -5, u, -2 in decreasing order.
u, -2, -5
Let n = -17.6 + 3.6. Let l = 11 + n. Let v(m) = -m**3 + 5*m**2 - 4. Let o be v(5). Sort l, -1, o in decreasing order.
-1, l, o
Let p be (1 + 0)*(-6 - -2)*-1. Let y = -2 + 2. Sort y, p, 5 in decreasing order.
5, p, y
Let k = -3 - -2. Suppose -3*p + t - 12 = 0, t + 4 = 2*p + 11. Let b = -26/3 + 8. Put p, k, b in ascending order.
p, k, b
Let b = 5 - 6. Put b, 0, -4 in decreasing order.
0, b, -4
Let p be (3/(-2))/((-1)/(-2)). Let k(o) = o**2 + 5*o + 1. Let v be k(-2). Let s = v - -3. Sort -1, s, p in descending order.
-1, s, p
Let f be 2/(-5) + (-24)/15. Let b = -1 - f. Let q = 9 + -6. Put q, b, 4 in ascending order.
b, q, 4
Let s(x) = 2*x. Let u be s(1). Suppose -3*q - 4*d + 19 = 0, -5*q + 11 = -3*q + d. Sort -4, u, q.
-4, u, q
Let g be 2/(-1) - 9/(-6). Let i = 52 + -51.9. Sort g, i, 1 in increasing order.
g, i, 1
Let b be 1*1*3*1. Let n = 18 + -16. Let m be b*(-1)/n*2. Sort -5, -4, m.
-5, -4, m
Let y(j) = -j + 5. Let c(a) = a - 5. Let o(l) = 3*c(l) + 4*y(l). Let n be 3/(1 - (-1)/(-2)). Let f be o(n). Put -4, 2, f in descending order.
2, f, -4
Let b = 0.1 - -0.1. Let x = -0.017 - 0.183. Put -4, b, x in increasing order.
-4, x, b
Let s(q) = 3*q - 1. Let c be s(-1). Put 5, c, 3 in descending order.
5, 3, c
Let q be (3 - 2)/((-2)/(-10)). Let r(g) = -g**2 + 5*g + 3. Let o be r(q). Suppose -t + o*n - 7 = 7*n, 4 = -4*t - 4*n. Sort t, -1, -0.3 in increasing order.
-1, -0.3, t
Let y be (-27)/204 + (-1)/(-4). Put -0.1, -0.4, y in ascending order.
-0.4, -0.1, y
Let r be 3 + 3/6*-4. Put -5, r, 4, -1 in descending order.
4, r, -1, -5
Suppose 5*p = 3*c - 46, 3*p = c - 6*c - 48. Suppose w - 3*j = -w + 6, 5*w = -2*j - 23. Put -2, w, p in decreasing order.
-2, w, p
Let y be (-22)/(-4) - (-2)/4. Let o be (-48)/(-18) + 2/y. Suppose -o*t + 5 = 2*t. Put t, 0, 5 in ascending order.
0, t, 5
Let q = 20 + -17. Put q, -3, 4 in increasing order.
-3, q, 4
Let d be 5/(4 - 1 - 2). Let r be d/((-1 + -1)/(-2)). Sort r, -4, 4.
-4, 4, r
Let z be (-1)/(-1*2/6). Let q be 2*(-1 - (-2 - -2)). Put z, -1, q in decreasing order.
z, -1, q
Suppose -2*s - 6 = 0, 0 = o + o + 3*s - 11. Let c = o + -7. Let b(n) = n + 1. Let k be b(c). Sort 1, 2, k in increasing order.
1, 2, k
Let w = -3 + 6. Put -1, w, 0 in increasing order.
-1, 0, w
Let i = -4 - -6. Sort 6/5, -3, i.
-3, 6/5, i
Let k be -4*((-1)/(-2) + -1). Let m be -3 + k + -2*1. Let f be 10/4*(16 - 18). Sort 1, m, f.
f, m, 1
Let y be (-8)/(-2) + 2/2. Let r = -18 + 10. Let m = y + r. Put m, 1, 3 in ascending order.
m, 1, 3
Suppose 4*t - 3*v + 32 = -t, -28 = 2*t - 5*v. Sort -3, t, 0 in increasing order.
t, -3, 0
Suppose 0 = -l - 2*l + 5*i - 19, 5*i = 25. Sort -2, 0, l in increasing order.
-2, 0, l
Suppose -15 = -z - 0. Suppose -z = -m - 4*m. Sort m, -1/9, 4 in decreasing order.
4, m, -1/9
Let o = -15 - -17. Let g(u) = -u**2 - 13*u - 5. Let w be g(-13). Sort o, 10, w in descending order.
10, o, w
Suppose 3 = -3*y + 15, -2*y = -2*v - 12. Put 3, v, -3 in increasing order.
-3, v, 3
Let p(l) = -l - 5. Let f be p(-5). Suppose -1 - 7 = -k. Suppose -t + 1 = 3*c - 12, -k = 4*c - 5*t. Put 4, f, c in decreasing order.
4, c, f
Let j be 4/(-3)*(-3)/(-2). Let x = -1 + j. Let m = x + 2. Sort -2, m, 0.
-2, m, 0
Suppose 4*w - 4*s - 8 = 2*w, -5*w + 5*s + 20 = 0. Suppose -3*r + 7 = 2*v, 0 - 6 = -2*v - w*r. Put 2, v, 1 in descending order.
v, 2, 1
Suppose 2*l = -4, 0 = -4*c - 4*l + 7*l - 14. Suppose 4*b - 2 = -10. Put b, c, -4 in ascending order.
c, -4, b
Let d(o) = o - 6. Let w be d(6). Put w, -2, 1, -1 in decreasing order.
1, w, -1, -2
Suppose y + 5*r + 7 = 0, 3*y + 4 = 4*r + 21. Let q = 4 - y. Let t(x) = x**2 + 10*x - 1. Let m be t(-10). Put m, q, 4 in decreasing order.
4, q, m
Let p = -11 - -9. Sort -3, 7, p.
-3, p, 7
Let k = -406018/7 + 57883. Let s = 119 + k. Sort s, 2, 0.4 in decreasing order.
2, 0.4, s
Suppose 2*v + 6 = -b - 22, 4*b = -2*v - 34. Let y = v - -13. Sort y, -5, 3 in increasing order.
-5, y, 3
Let f = -16/7 - -87/35. Let s = -192 + 189. Sort -1, s, f in increasing order.
s, -1, f
Let y = -16.8 + 17. Sort y, -0.5, 5.
-0.5, y, 5
Let v = 0.06 + 0.08. Let l = v - 0.06. Let r = l - -4.92. Put 0.3, -0.5, r in descending order.
r, 0.3, -0.5
Let g = -1/142 + 291/994. Suppose -3*a = -8 + 2. Suppose -10 + a = -2*q + 4*i, -3*q + 11 = -5*i. Sort q, g, -0.3 in descending order.
q, g, -0.3
Suppose 4*m + q + 22 = 3*q, -4*q = -2*m - 26. Suppose 12 = 4*j - 0. Suppose -j*i = -6*i - 6. Sort m, i, -5 in descending order.
i, m, -5
Suppose -x + 3 = 5*p + 5, -2*p = 3*x + 6. Suppose 4*h - 2 = 3*h. Suppose 0 = f + h*f + 12. Sort 0.3, f, x in ascending order.
f, x, 0.3
Let l = 202 - 202. Suppose 2*s + 2 = -p, 0 = -7*s + 3*s + 3*p - 14. Sort s, l, 1/4.
s, l, 1/4
Suppose 2*x + 12 = -2*x. Let j be 10/(-35) + 5/(-7). Put j, 3, x in decreasing order.
3, j, x
Let l = 0 + -0.4. Let c = -5/7 + 1. Sort c, -0.3, l in descending order.
c, -0.3, l
Let b be ((-11)/(-11))/((-3)/(-4))*-3. Sort b, 4, 1, -13 in increasing order.
-13, b, 1, 4
Let w = -19 + 19. Sort -3, w, 4, 2/5 in decreasing order.
4, 2/5, w, -3
Let f be 2/(-11) + 7/(308/16). Put -1/7, f, -0.5, 4 in descending order.
4, f, -1/7, -0.5
Let z be (12 - 10) + (-12 - 0). Suppose 3*k = -5*i + 45, -3*i - 21 = -0*k - 3*k. Let x be (-4)/k - 24/z. Sort 7, x, -1.
-1, x, 7
Let v(r) be the second derivative of -r**4/12 + 5*r**3/6 + 3*r**2/2 - r. Let a be v(5). Put -4, a, 0 in descending order.
a, 0, -4
Let r = -7 - -4. Sort -1/8, 1, r in descending order.
1, -1/8, r
Let f = 0.066 + 0.034. Put 2/9, 0.3, -3/8, f in increasing order.
-3/8, f, 2/9, 0.3
Let k(m) = -m**2 - 8*m - 3. Let s be k(-8). Sort 21, s, 4 in decreasing order.
21, 4, s
Let o(c) = -12*c - 3. Let u be o(5). Let g be (-2)/(-8) - u/(-60). Sort g, 3/2, -1 in ascending order.
-1, g, 3/2
Suppose 4*g = -0*g. Suppose 2*y + g = 4. Sort y, -3, -2 in descending order.
y, -2, -3
Let q(n) = -n**3 - 3*n**2 - 3*n - 2. Let w be q(-2). Suppose -3*o - 3 + 9 = w. Suppose -o*s = s - 9. Sort -4, s, -2 in descending order.
s, -2, -4
Suppose -199*z = -196*z + 6. Put 0, -3, 10, z in descending order.
10, 0, z, -3
Let n = -19 + 30. Suppose 4*l + 4 = 20. Suppose -l*u + n = -5. S