+ 19 = 3*z. Sort 2, a, z in descending order.
z, 2, a
Let p(a) = a**3 + 9*a**2 - 9*a + 13. Let d be p(-10). Let r be (-12)/5 + 6/15. Sort d, -4, r in decreasing order.
d, r, -4
Let b(u) = u**2 + 5*u - 3. Let x be b(-6). Suppose 4*o - 4*y - 25 = 3, -3 = x*o + 3*y. Suppose -2*w - 4 = 2*w, -5*w = -o*r + 11. Sort -1, -3, r.
-3, -1, r
Let c = -18 - -10. Let p be 12/56*c/(-6). Sort 5/4, p, 0.2 in descending order.
5/4, p, 0.2
Let z(j) = j**2 + 7*j + 4. Let w be z(-6). Sort w, 8, -0.1, 0.3 in descending order.
8, 0.3, -0.1, w
Let z be 4/6*18/4. Let m(c) = -c + 14. Let q be m(18). Sort q, -2, z in descending order.
z, -2, q
Let p be -3 + 0 + (11 - (1 - -2)). Put 46, p, -3 in descending order.
46, p, -3
Suppose -j - 3*j = 16. Let k = j - -1. Put 3, 4, k in ascending order.
k, 3, 4
Let g be 13/(-11) - 1/(-1). Let k = -3 + 3.03. Let x = k + -0.53. Sort g, 0, x in decreasing order.
0, g, x
Let z(o) = 2*o + 2. Let h be z(0). Put 1, 3, -12, h in increasing order.
-12, 1, h, 3
Let d = 0.54 - 0.34. Sort d, 1/3, -2/3 in decreasing order.
1/3, d, -2/3
Suppose n - 20 = -5*g, 5*n + 5*g - 20 = 20. Let r = n + -3. Let a(i) = -i. Let l be a(-3). Put l, -2, r in decreasing order.
l, r, -2
Suppose -5*q + 15 = 0, t - 6*t - 4*q + 22 = 0. Put 6, t, 0 in descending order.
6, t, 0
Let g = -19 + 28. Let q(o) = -o**2 + 9*o - 3. Let u be q(g). Suppose 5*b + 5 - 15 = 0. Sort -4, u, b in increasing order.
-4, u, b
Let j = -80 + 71.4. Let k = j + -0.4. Put -1/2, k, -2 in descending order.
-1/2, -2, k
Let x = 25 + -27. Let a = -4 - -3.6. Put 2, x, a in descending order.
2, a, x
Suppose -4*v = -j + 4*j - 7, -2*v - 2 = -4*j. Let k be (-4)/(-16) + 50/(-8). Let p be 3/k - (-7)/2. Put p, -1, j in decreasing order.
p, j, -1
Let l = -5 + 6. Sort -3, 3, l in increasing order.
-3, l, 3
Let y be 22*5/38 - 3 - 0. Sort y, -5/6, -4 in increasing order.
-4, -5/6, y
Suppose -2*l = -4*h - 24, 4*l = -0*h + 2*h + 18. Sort -5, -1, l in ascending order.
-5, -1, l
Let s(l) = l**2 - 4*l - 7. Let f be s(6). Sort -1, f, 4 in decreasing order.
f, 4, -1
Suppose i + 0*i - 3 = d, -5 = i - 5*d. Suppose 2*w + 3 + i = 0. Sort w, 8, 4 in descending order.
8, 4, w
Let v = -15 - -14. Sort 0.4, v, 0.3 in ascending order.
v, 0.3, 0.4
Let m = 17 + -20. Put 7, 3, m, 0 in descending order.
7, 3, 0, m
Let a be (3 - 9)*3/(-63). Sort 3/7, 5, a in ascending order.
a, 3/7, 5
Let p = 17/2 - 55/6. Let c be 2 + (1 - -17) + -2. Let q be (-1)/(8/c) - -2. Sort -3, q, p.
-3, p, q
Suppose 2 = -3*p - 1. Let z(s) = 6 - s**2 - 4 + 2. Let q be z(-3). Put 5, q, p in descending order.
5, p, q
Let z(l) = -4*l + 4. Let g be z(2). Let i = g + 2. Suppose 0 = 2*f - 0 + 8. Sort 1, i, f.
f, i, 1
Suppose -13 = 5*i + 7. Sort i, 1, 4.
i, 1, 4
Let c(v) = -v**2 - 6*v - 4. Let a be c(-4). Let h = a - 5. Put 2, 1, h in descending order.
2, 1, h
Let h = -108.8 - -109. Sort 5, 0, 0.1, h in descending order.
5, h, 0.1, 0
Let t be (-2)/(0 + -4)*1. Sort t, 1/8, -1.
-1, 1/8, t
Let p = -10 - -12. Let i = -7 - -11. Put i, p, 1 in ascending order.
1, p, i
Suppose 4*m - 6 = -2. Let z(y) = -y**2 + 4*y**2 + 7*y + 0*y**2 - 2*y**2 + 7. Let w be z(-5). Sort m, w, 5 in increasing order.
w, m, 5
Let l be (-16)/7 - 4/(-14). Let m be l/(-6) + (-20)/(-3). Let b = m + -5. Sort -2, b, -3 in increasing order.
-3, -2, b
Let o be -9*(40/(-12))/(-2). Let u = o + 31/2. Suppose -t = -0*t + 2. Put u, t, -4 in decreasing order.
u, t, -4
Suppose 2*g = 928 - 318. Let z = -4577/15 + g. Sort z, -2, -4.
-4, -2, z
Let p = -4 + 7. Suppose -5*h + 35 = p*g, -3*h - 10 = -5*g + 3. Suppose -j - g = -1. Sort 4, -1, j in decreasing order.
4, -1, j
Suppose b - 6 + 23 = 5*m, 2*b - 2*m = -2. Suppose -2*v = -b - 1. Suppose -v*i = 5*x - 2 + 6, -i + 11 = -4*x. Sort 1, i, -5 in decreasing order.
i, 1, -5
Let j = 11 - 7. Suppose -14 = -j*k - 5*i, k + 5*i - 7 = 4. Sort -5, k, -2 in increasing order.
-5, -2, k
Suppose 14 = -5*b + q, -q = -5*b + q - 18. Let o be (-2*b/(-20))/1. Let m = 0.04 - -0.06. Sort m, o, 1 in decreasing order.
1, m, o
Let m = 6 + -11. Put 2/3, 4, m in descending order.
4, 2/3, m
Let d be (-30)/(-5) + -4 + -1*7. Put -2, 0, d, -4 in descending order.
0, -2, -4, d
Let p(j) = j**2 - j - 1. Let s be p(2). Suppose c + 20 = 4*l, -2*c + 1 + 9 = 2*l. Suppose -4*v - 12 = 2*g, 2*v - 1 = -l*g + 9. Sort s, -1, v.
v, -1, s
Let p be 1 + 0 - (-1)/(-1). Let z = -340 + 342. Sort p, -2, z in descending order.
z, p, -2
Let i = 41 + -39. Put -0.3, i, -2 in increasing order.
-2, -0.3, i
Let s = -2.94 + -0.06. Suppose 2*v - 4*v + 6 = 0. Let t be (1/(v/(-4)))/(-14). Sort 0.4, s, t in increasing order.
s, t, 0.4
Suppose 2*z + f + 3 = 0, 0 = 3*z + 2*z - 3*f - 9. Sort -4, 5, z in descending order.
5, z, -4
Let g(f) = -f - 2*f + 0*f**2 + 2*f + f**2. Let q be g(2). Put -5, q, 5 in increasing order.
-5, q, 5
Suppose -5*m - 3*h = 1077 - 119, 0 = m - 2*h + 202. Let x = -2912/15 - m. Sort 0.1, -0.2, x in decreasing order.
0.1, x, -0.2
Suppose -l - 8 = 2. Let s = 6 + l. Let x(o) = o**3 + 8*o**2 + 11*o - 3. Let q be x(-6). Put s, q, -3 in decreasing order.
q, -3, s
Let s be (2/6)/(1/9). Let v be 2*-6*(-3)/12. Suppose -2*h = b - h + 4, 0 = v*b + 5*h + 10. Sort b, s, -4.
b, -4, s
Let x be (20/(-6))/(3/9). Let b be 21/14 + x/4. Sort 6/11, 1, b.
b, 6/11, 1
Let d be (-1 + 1)*(1 + -2). Let x = 0.44 + 3.62. Let a = -0.06 + x. Sort 0.2, d, a.
d, 0.2, a
Suppose -u + 3 = -0*u. Let t be ((-8)/(16/4))/1. Put u, 2, t in increasing order.
t, 2, u
Let f be (-4 + 1)/((-6)/8) - 0. Let m(c) = c**3 - 4*c**2 + 4*c - 1. Let y be m(3). Sort -3, y, f in descending order.
f, y, -3
Let l be 3/44 - 4/(-22). Suppose -4*w - 2 = 3*q - 18, -3*q + 3*w = 12. Sort l, q, 1 in ascending order.
q, l, 1
Suppose -3*u = 7 - 4. Sort 6, u, -2 in increasing order.
-2, u, 6
Let o = -4.968 + -0.032. Put 2, -2, o, 4 in descending order.
4, 2, -2, o
Let y(r) be the third derivative of r**5/60 + r**4/4 + 7*r**3/6 - r**2. Suppose 25 = -3*w - 2*w. Let s be y(w). Sort -4, s, 1 in decreasing order.
s, 1, -4
Suppose 0 = 5*i + 2*n + 5, 3 = -3*i - 0*n - n. Sort 4, i, 1 in decreasing order.
4, 1, i
Let q(o) = -o**3 - 11*o**2 + 2*o + 20. Let u be q(-11). Let t be (-2)/(-13) - 162/39. Put -3, t, u in descending order.
u, -3, t
Suppose -5*v + 11 - 2 = 3*g, 0 = 4*v. Suppose -g*l + 13 = 1. Suppose -2*y + 2 = -3*y. Sort l, 0, y in descending order.
l, 0, y
Let p be 1/(-4*(-1)/16). Suppose 4*t + 16 = -s - 3*s, -4*t = -s + 1. Sort t, 0, p.
t, 0, p
Let x = 8 + -4. Sort x, -17, 1 in increasing order.
-17, 1, x
Let k = 16 + -7. Let t = 4 - k. Let u(i) = i**3 - 8*i**2 + 7*i + 2. Let h be u(7). Sort -1, h, t in decreasing order.
h, -1, t
Let y be -1 - 4/(-18) - -1. Let g = -0.31 + 0.01. Let i = 0.7 - g. Sort i, 5, y in descending order.
5, i, y
Let w = 29/5 + -111/20. Let q = 3 + -3. Let r = 13 - 9. Put q, r, w in ascending order.
q, w, r
Let r = -20 - -22. Put -46, r, 4, -1/4 in descending order.
4, r, -1/4, -46
Let w(m) = -6*m + 12. Let l be w(4). Put -4, -2, l in descending order.
-2, -4, l
Let v = -113.94 + 114. Put 5, -1/5, v in decreasing order.
5, v, -1/5
Suppose 8*g = 4*g - 8. Put g, -5, 3, -4 in descending order.
3, g, -4, -5
Suppose 0 = -4*k + 2*k + 2. Let c = 49 - 48.9. Put k, c, 0.2 in decreasing order.
k, 0.2, c
Suppose 0 = 5*n + 5 + 10. Suppose 3*m = -2*m - 25. Sort 2, n, m in increasing order.
m, n, 2
Let s be (-10)/(-4) + (-7)/((-49)/(-21)). Put 3, s, 1/3 in decreasing order.
3, 1/3, s
Let n(y) = 3*y + 13. Let j(r) = -r - 6. Let o(k) = 5*j(k) + 2*n(k). Suppose -4*a + 25 = a. Let c be o(a). Sort -1, -4, c in descending order.
c, -1, -4
Suppose -3*h = 2*d - 2, 12 = 2*h - 4*d - 0. Let a = 25 - 13. Let t be a/(-8)*10/(-3). Put -4, h, t in descending order.
t, h, -4
Let w(p) = -p**3 - 7*p**2 - 2*p - 9. Let y be w(-7). Let l(c) = 3*c**3 + c. Let i be l(1). Sort y, i, -1.
-1, i, y
Let t(k) be the first derivative of k**3/3 - k**2/2 + 2*k + 3. Let n be t(2). Put -5, 0, n in increasing order.
-5, 0, n
Let r(j) = -j**2 + 5*j - 1. Let p be r(3). Suppose 0*z = -2*v - p*z - 19, -5*z - 28 = -v. Let n = 0 - 2. Put 2, v, n in ascending order.
n, 2, v
Let b = 13 + -9. Suppose -y + c + 4 + 3 = 0, 3*y - b*c = 26. Suppose -2*r - 8 = -r + y*h, -3*h - 18 = 3*r. Sort 4, 2, r.
r, 2, 4
Let x = -32.7 - -33. Sort x, -4/3, 1/3 in increasing order.
-4/3, x, 1/3
Let k(l) = l + 10. Let d be k