2 - 9*z - 12. Let i be t(11). Let q = i - 11. Put q, 0, 3 in decreasing order.
3, 0, q
Let f(m) = -m**2 - 4*m + 2. Let q be f(-5). Sort q, -5, -2 in decreasing order.
-2, q, -5
Let i(g) = g + 10. Let b be i(-9). Suppose b + 4 = -5*a. Let m = a - 3. Sort 0, 2, m in decreasing order.
2, 0, m
Let v = 540187 + -367794. Let b = v - 1550027/9. Let x = 168 - b. Sort -3, 0.1, x in ascending order.
-3, 0.1, x
Let c = -2 - -7. Let r(h) = -h + 6. Let g be r(c). Sort 5, g, 2.
g, 2, 5
Let p = -2 - 0. Let u = -0.02 - 0.04. Let f = u - -0.56. Put 2/13, p, f in decreasing order.
f, 2/13, p
Let h(w) = -9 + w**2 + 3 + 9. Let p be h(0). Put p, -1, 1 in ascending order.
-1, 1, p
Let w be (0 + 0/(-2))*(-72)/144. Sort -5, 1, -14, w in descending order.
1, w, -5, -14
Suppose 0 = -3*c - s + 20, 3*c - 5*s = 2*c - 4. Suppose 2 - c = -2*u. Suppose 0*f = f. Sort f, 4, u.
f, u, 4
Let h = 2.6 + -3. Put -10, -2/9, h in descending order.
-2/9, h, -10
Let y = -0.7 - -0.2. Let o = y - 0. Put 2/7, -5, o in decreasing order.
2/7, o, -5
Let k = 0.4 + 1.6. Let t = 6 - 3. Put k, t, -0.5 in descending order.
t, k, -0.5
Let x(a) = a**3 + 10*a**2 + 10*a + 5. Let z be x(-9). Put z, 4, -3, 2 in increasing order.
z, -3, 2, 4
Let n be 3/6*-2 - -2. Suppose -3*j = -4*h + 35, -3*j - h = -2*j. Sort j, n, -8.
-8, j, n
Let g = 27.7 - 28. Let i = g + 1.3. Sort 5/3, i, 4 in descending order.
4, 5/3, i
Suppose 3*t - t = -5*a + 2, 2*a - 4 = 0. Let n = 14.44 - 12.5. Let d = 0.06 + n. Put d, -2/19, t in increasing order.
t, -2/19, d
Let r(l) = -l**3 - 10*l**2 - 8*l + 10. Let w be r(-9). Suppose -w = -a + 2. Sort 4, 1, a in increasing order.
1, a, 4
Let h = -0.8 - 0.2. Let q = h + 1.2. Put 3, 2, q in descending order.
3, 2, q
Suppose -4*a + 20 + 0 = 0. Suppose a*q = 3*q + 2. Suppose 0 = -5*u - 5*d + 20, 4*d + 1 = 5. Sort 5, u, q in descending order.
5, u, q
Let l = -8.03 - -0.03. Let f = l + 9. Let a = 643/2853 - 1/317. Put f, -2/11, a in decreasing order.
f, a, -2/11
Let u(s) = 3*s + 3 - 5*s - s**2 - 7*s. Let o be u(-9). Let m = 0 + o. Sort m, -1/5, -5.
-5, -1/5, m
Let c(f) = -5*f + 4. Let m be c(-4). Suppose -3*i = -3*h - m, -h = -0*i - 4*i + 44. Suppose -t - t = i. Sort t, -1, 5 in descending order.
5, -1, t
Let i be (-6)/15 + (-24)/15. Let y(k) = -3*k + 1. Let l be y(-1). Suppose 0 = -3*b - c - l*c, 5*c = 5*b. Sort i, b, -5 in increasing order.
-5, i, b
Let z(a) = -a**3 - 8*a**2 - 6*a + 9. Let y = 19 - 26. Let v be z(y). Let o(c) = -c - 2. Let x be o(-2). Put 3, x, v in increasing order.
x, v, 3
Suppose 2*y + 6 = -0*y. Sort y, 2, -4 in ascending order.
-4, y, 2
Let n be 0 + ((-2)/5)/2. Let p = 96 - 96.1. Put 1, n, p in descending order.
1, p, n
Let s(f) = -f + 10. Let a be s(10). Let b = 12 + -19. Let j = b + 3. Sort a, j, -3 in increasing order.
j, -3, a
Let s(o) = -o**3 + 3*o**2 + 2*o - 1. Let v be s(3). Let q be (-1)/v*(-2 + -1). Sort q, 3, 2 in ascending order.
q, 2, 3
Let m = 47 - 42.2. Let a = -0.2 - m. Let w = 5 - 5.4. Put w, a, 3 in descending order.
3, w, a
Let r(z) = 4*z + 28. Let g be r(-9). Sort 3, 1, g, -3.
g, -3, 1, 3
Let x be (-1)/3 - (-4)/(-6). Suppose 20 = -q + 29. Put -4, q, x in descending order.
q, x, -4
Let x = 13 + -13. Sort x, -11, 1/2 in decreasing order.
1/2, x, -11
Let d = 1.3 + 3.7. Let t = d + -3. Let f = 2.4 - t. Put -2/3, -0.5, f in decreasing order.
f, -0.5, -2/3
Let i = 0.86 - 0.46. Sort i, -0.7, 0.02 in decreasing order.
i, 0.02, -0.7
Suppose -16*s = -15*s - 4. Let j be 0/1 + 0 - 2. Sort j, s, -4 in ascending order.
-4, j, s
Suppose d - 5 = 2*m, -3*d + 3*m = 2*m. Sort 1, d, -5, 5 in descending order.
5, 1, d, -5
Let m = 8 - 9. Sort -6/11, m, 5, 8 in decreasing order.
8, 5, -6/11, m
Suppose 2*v = 5*v. Let g = 15 - 15.1. Sort g, -1, v in ascending order.
-1, g, v
Let m = -3 + 5/2. Sort m, -4, 4, -0.2 in decreasing order.
4, -0.2, m, -4
Let s = -0.7 - -0.5. Let w = s + 2.2. Suppose -25 = -0*k + 5*k. Sort -1/6, k, w in descending order.
w, -1/6, k
Let g be 2*2/2 - 3. Let d = 3 - 3. Suppose 0*b - 4*b - 16 = d. Put b, 5, g in ascending order.
b, g, 5
Let l be 4*-2 + (4 + -4 - -5). Let s(a) = 2*a. Let c be s(-1). Sort l, -5, c.
-5, l, c
Suppose 0*j = 5*j + 10. Put j, 2, -4 in increasing order.
-4, j, 2
Let s = 3.7 + 16.3. Let j = s + -17. Put -2/15, 0.3, j in descending order.
j, 0.3, -2/15
Suppose -5*b = 4*m + 31, -m - 2*m = 2*b + 18. Put 5, 4, m in decreasing order.
5, 4, m
Let m be ((-10)/35)/((-2)/(-3)). Let w be (-2)/6 + (-10)/(-6). Put 4, w, m in decreasing order.
4, w, m
Let u = -34 + 33. Let s be 3*2/10*1. Sort -0.3, u, s.
u, -0.3, s
Let z = -14 - -15. Let d(n) = -6*n**2 + n. Let u be d(z). Sort 0, u, 4 in ascending order.
u, 0, 4
Suppose 0 = -4*z + 4*c - 24, 3*z + 3 = -z - 3*c. Sort 5, z, 18 in descending order.
18, 5, z
Let m = -53 + 78. Suppose 4*a = -a + m. Let h = 1 + 0. Sort h, 4, a.
h, 4, a
Suppose -4*q - 4 = 8. Suppose -l = 7*l + 16. Sort q, l, -9 in descending order.
l, q, -9
Let r = 18.5 - 13.5. Let x = 215/2 + -105. Sort x, r, -2/13 in descending order.
r, x, -2/13
Let k = -1.8 + -0.2. Let r = -0.279 - 0.031. Let v = 0.09 - r. Sort k, 2/9, v in ascending order.
k, 2/9, v
Suppose -3*z - 7 - 1 = 2*a, 2*z + 10 = a. Let v(o) = 2*o - 4. Let h be v(4). Sort a, 3, h in decreasing order.
h, 3, a
Let c = -26 - -28. Let l = -0.9 + 0.8. Put 3/4, c, l in increasing order.
l, 3/4, c
Let y = 1.02 + -0.02. Let r = 2 + 3. Let o = -5.3 + r. Sort y, o, -0.5 in descending order.
y, o, -0.5
Let f(u) = -u**2 - 6*u + 1. Let n be f(-5). Suppose -q + 4 = v, -n*q - 4*v = -q - 15. Suppose -3*r - z = -r + 5, -5 = -r - 2*z. Sort q, r, -2.
r, -2, q
Let j be 16/24 - 5/3. Put -2, 3, j in decreasing order.
3, j, -2
Suppose -2*g = -41 + 31. Let y = 0.05 + 3.95. Sort y, g, 1 in descending order.
g, y, 1
Let s = 62 - 39. Let o = s - 23.03. Sort -2/9, o, -2 in ascending order.
-2, -2/9, o
Let v be 0 + -2 + -3 + 228/44. Sort 1/6, 0.1, v, -4 in decreasing order.
v, 1/6, 0.1, -4
Let b = 6 + -16/3. Put 1, 3, b in decreasing order.
3, 1, b
Let s(u) = -u**3 + 15*u**2 - u + 15. Let w be s(15). Sort -3, 1, w in descending order.
1, w, -3
Let d be (70/(-15))/(2/(-3)). Let t = -10 + d. Let h(j) = -3*j + 4. Let k be h(3). Put t, 3, k in descending order.
3, t, k
Suppose -1 - 14 = -3*o. Let p = 8 - o. Suppose 5*l - 3*l + 2 = 0, -15 = 4*t + 3*l. Sort 2, p, t in descending order.
p, 2, t
Suppose 2*q - 6*q + 44 = -5*k, q - 5*k - 11 = 0. Suppose 2*g + g = 0. Sort g, -3, q.
-3, g, q
Let c(v) be the first derivative of -v**3/3 - v**2/2 + v + 9. Let t be c(-3). Sort -3, -2, t in decreasing order.
-2, -3, t
Let s = -176.96 - -177. Let p be 10/(-11) - (1 + -2). Put p, s, -3 in descending order.
p, s, -3
Suppose 4*z = -0 - 24. Let v be (2/21)/(z/(-9)). Sort -3, v, 0 in ascending order.
-3, 0, v
Suppose 0 = -2*y - 0*y + 8. Suppose y*z + 6 = -2*n, -z + 2*n + 1 = 5. Let r = 1 - z. Sort r, 1, 0 in descending order.
r, 1, 0
Suppose 5*t - 11 = -3*l, -3*l = t - 6*t - 1. Suppose -d - l*d = 0. Sort -3, d, -1 in increasing order.
-3, -1, d
Let q(h) = 2*h**2 - 3*h. Let y be q(2). Suppose 0 = -y*x + 6*x - 12. Sort 5, x, -0.5.
-0.5, x, 5
Let n(h) = -h**2 - 8*h + 13. Let k be n(-9). Let x be (-2 + k)*2/(-4). Sort 4, 2, x in descending order.
4, 2, x
Let m = 1.4 - 1.8. Sort -2, m, 0.01 in decreasing order.
0.01, m, -2
Suppose 2 + 13 = -3*q, 0 = -5*s + 2*q + 10. Sort 4, -14, s in increasing order.
-14, s, 4
Let g = 22.8 + -27.88. Let j = g + 0.08. Let z = 9 + j. Sort -5, 2/9, z in increasing order.
-5, 2/9, z
Let o = -10.2 + 1.2. Let b = 10 + o. Let w = b + 1. Sort -3, w, -2/15 in ascending order.
-3, -2/15, w
Let s = 0.04 - 2.04. Let a = s + 2.1. Let g = -61/205 - -4/41. Sort 0.5, g, a.
g, a, 0.5
Suppose -y + j + 1 = 0, y + j + 1 = -0*j. Let h(m) = -4 + y*m + 2*m - 1. Let r be h(5). Put 3, r, -0.4 in descending order.
r, 3, -0.4
Let c = 0 + 4. Suppose 0 = -3*x + 23 - 8. Suppose 2*d + 1 = -10*n + x*n, 0 = 3*n + 3. Sort d, -1, c.
-1, d, c
Let q = -33.5 + 33. Let h = -2 - 9. Let o = h - -15. Sort q, o, 2/5 in descending order.
o, 2/5, q
Let r(f) = f. Suppose 0*w - 2*w + 4*x = -12, 24 = -w - 4*x. Let o be r(w). Put -3, 4, o in ascending order.
o, -3, 4
Let d = 18 + -12. Let g(a) = -4*a - 1. Let h(l) = 3*l + 1. Let n(b) = 4*g(b) + 5*h(b). Let q be n(d). Sort q, 3, 1 in descending order.
3, 1, q
Let b = -0.2 + 0. Suppose -18 