pose 4*z + 4 = -12. Let n = -3 + 5. Let u(o) = o**2 - 1. Let h be u(n). Put h, -3, z in decreasing order.
h, -3, z
Suppose 20 = 4*l, -3*f - 2*f + 5*l = 10. Let i be (-12)/5 + 6/15. Sort -3, f, i in descending order.
f, i, -3
Suppose 16 - 1 = -3*y. Let r = 1 - 3. Sort y, 5, r.
y, r, 5
Let j = 3.2 + -3. Let h = -7.7 + 8. Sort -0.4, h, j in descending order.
h, j, -0.4
Let q be ((-3)/(-6))/((-3)/12). Let c = q - -6. Put -2, c, 1 in descending order.
c, 1, -2
Let z(h) = -h + 5. Let b be z(-5). Suppose -2*a = b + 4. Sort 5, -1, a in decreasing order.
5, -1, a
Let u = -47 + 48. Put u, 4, -1 in ascending order.
-1, u, 4
Let c = 2 - 7. Let f be -6 - (c/1 + 2). Let r be (9/(-6))/f*-10. Put r, -2, -4 in decreasing order.
-2, -4, r
Let v = 0.13 - -2.37. Let b = v - 2. Sort -5, 2/7, b in increasing order.
-5, 2/7, b
Suppose k - 7 = 2*k + 2*r, -2*r = -4*k + 22. Let w = -1 + 4. Suppose u + k*y + 9 = -w*u, 0 = 5*u + 3*y + 12. Sort -5, 2, u in decreasing order.
2, u, -5
Let s be 7 + 2/(-1) + 10 + -10. Suppose -4*j + 3 = 19. Sort 3/7, j, s in ascending order.
j, 3/7, s
Let l be (6/9)/(4/(-30)). Let m(w) = -w**3 - 5*w**2 + w + 5. Let p be m(l). Sort -0.3, -4/13, p.
-4/13, -0.3, p
Let v(g) = -5*g**3 - g**2 + g + 1. Let s be v(-1). Let a = s + -3. Let d be (2/(-6))/(a/(-6)). Sort -4, -3, d in increasing order.
-4, -3, d
Let x = 2 - -2. Suppose 4*u = 4 - 16. Sort u, x, -4 in increasing order.
-4, u, x
Let l = 1.2 - 0.2. Let c = 0.6 - l. Let p = 1.4 + c. Put 3, p, -0.3 in descending order.
3, p, -0.3
Let v = 44 + -40. Let r = -6 + 10. Let l = v - r. Sort -0.5, -3, l.
-3, -0.5, l
Suppose 0*o - 12 = -3*o. Put o, 1, -33 in decreasing order.
o, 1, -33
Let r = 6 + -6.8. Let b = -1.1 - r. Sort -2/7, 2, b in descending order.
2, -2/7, b
Suppose 4*h - h = 9, 0 = 2*r - 3*h + 11. Let w(t) = -t - 6. Let m be w(-6). Sort 1, r, m in ascending order.
r, m, 1
Let q be -7 + (-3 - 12/(-2)). Sort -1, q, -3 in ascending order.
q, -3, -1
Let g = 13453/23 - 585. Sort -1, 4, g.
-1, g, 4
Let d = 4 - 6. Suppose 4*g = -0*g. Suppose 0 = 4*w + 2 + 2. Put g, w, d in descending order.
g, w, d
Let h be ((-3)/(-6))/((-2)/8). Suppose 0 = -4*z + 2*o - 28, -2*z + 0*o - 20 = 2*o. Let s = 4 + z. Sort 1/4, s, h.
s, h, 1/4
Let w be (-2)/6 - 26/(-6). Suppose -u + w*j - 5 = 0, -8 - 29 = -4*u - 3*j. Let o = u + -4. Sort -1, 5, o in decreasing order.
5, o, -1
Suppose 4 = -x + 1. Suppose 4*k = -4*k - 32. Put k, -5, x in decreasing order.
x, k, -5
Let j = -5 + 3. Let y(a) = -a**3 - 3*a**2 - 2*a - 2. Let r be y(-3). Let u = r + -9. Put u, 4, j in decreasing order.
4, j, u
Suppose 0 = 2*k - 7*k. Sort -2/5, k, 3 in descending order.
3, k, -2/5
Suppose -4*i - 16 = -3*b, 5*b - 5*i + 2*i = 34. Let h = -10 + b. Suppose 0*f - 2 = -f. Sort f, -3, h in ascending order.
-3, h, f
Let d = -13 - -9. Let i(t) = -t**3 + 11*t**2 + 14*t - 21. Let q be i(12). Put q, 1, d in descending order.
q, 1, d
Suppose 5*v + r = 16, -v + 2*r + 2*r = 1. Let l be (-3 - 3)*(0 + 1). Let d be (-4)/3*9/l. Put d, v, -2 in ascending order.
-2, d, v
Let u = -11.15 + 0.15. Let c = u + 11.4. Sort c, 3, -1 in decreasing order.
3, c, -1
Suppose 3*x = 2*x + 8. Suppose -3*j = -4*j - 3, 0 = -s - 4*j - x. Let v(d) = d**3 - 4*d**2 + d + 4. Let y be v(3). Sort s, y, -1 in ascending order.
y, -1, s
Let z = -7 - -6.7. Let l = -41/52 + 20/13. Put l, -0.2, z in descending order.
l, -0.2, z
Let z be 0*-1*(-2)/(-6). Let g be (-9)/6*(z - 2). Suppose -5*f - 2*j = -5*j + 13, -11 = 4*f - g*j. Sort -5, f, 5.
-5, f, 5
Let v = 14 - 20. Let k = v - -2. Sort k, 3, 0.01.
k, 0.01, 3
Let z be -12*(3 + 40/(-15)). Sort -1, 1, z in ascending order.
z, -1, 1
Let q = 33/4 - 95/12. Sort q, -3/5, -1/2, 1/6 in decreasing order.
q, 1/6, -1/2, -3/5
Let k = 10.3 - 5.3. Put 3/7, k, -0.1, 1 in decreasing order.
k, 1, 3/7, -0.1
Suppose -2*a = 2*a - 16. Suppose -2*u + 4 = -4*w - 4, 2*w + 4 = -2*u. Sort u, a, 2.
u, 2, a
Let x = -13.7 + 14. Let a = 1.9 - 2. Put 4, a, x in decreasing order.
4, x, a
Let j be 2/10 + (-8)/(-10). Put -5, -3, j in decreasing order.
j, -3, -5
Suppose 7*n - 60 = 4*n. Suppose 0 = -0*j + 4*j + n. Let p = -7 - -3. Put j, p, 2 in descending order.
2, p, j
Let w be (-2)/(-3) - (-147)/9. Suppose 2*n - 4*v - w = v, 3*n + v = 0. Let b = 5 + 0. Sort b, n, -1/2 in decreasing order.
b, n, -1/2
Let r be (-28)/6 - 1/3. Let w(i) = i**2 + 4*i + 4. Let u be w(-3). Sort u, r, 3.
r, u, 3
Let i = 54 - 56. Put 5, i, -7 in increasing order.
-7, i, 5
Let n(w) = -w - 11. Let s be n(-9). Sort -5, 0, s, -3.
-5, -3, s, 0
Let b be 5/(-3)*(-18)/6. Put 0.5, 2/7, b, -0.7 in increasing order.
-0.7, 2/7, 0.5, b
Let o be 2/(-3) + (-26)/(-21). Suppose 0 = -d + b - 2*b, 0 = -4*d + 2*b - 30. Put -0.4, d, o in descending order.
o, -0.4, d
Let w = 2.87 - 0.79. Let g = w - 0.08. Sort 5, g, -2/15 in descending order.
5, g, -2/15
Suppose 0 = 5*n - f + 24, 7*f - 3*f = -5*n - 4. Let l = 0.7 + 1.3. Sort n, 3/4, l in ascending order.
n, 3/4, l
Let h = -6.3 + 6. Sort 5, 0.5, h in increasing order.
h, 0.5, 5
Let j be -6 - (-3 - (-4 + -1)). Let n be ((-2)/20)/(j/20). Let d = -0.8 + 1. Sort 2/5, d, n in increasing order.
d, n, 2/5
Suppose -2*t + 5*t = 3. Put 6, 4, t in decreasing order.
6, 4, t
Let b = 0.4 - 0.5. Let k = 4.1 + b. Let r = 6 - k. Sort r, -2/9, -5/3.
-5/3, -2/9, r
Let c(g) = -g**2 + 10*g - 15. Let h be c(8). Sort 3, 5, -8, h.
-8, h, 3, 5
Suppose 0 = 4*o - 3*z - 13, -o = 2*z - z - 5. Sort o, -4, -5, -14 in descending order.
o, -4, -5, -14
Let c = -3 - -5. Suppose -5*s + 2*s = c*r + 9, 4*s + 12 = 3*r. Suppose -w - w = -3*k + 9, -k = 3*w - 3. Sort r, k, 1 in increasing order.
r, 1, k
Let n be -15*((12/5)/(-3) - 0). Put -2, -4, n in decreasing order.
n, -2, -4
Suppose -y - 5*r = -17, 4*y - 4*r + 5 + 23 = 0. Suppose 12 = 3*t - 4*t - 3*o, 4 = -t - o. Sort t, 2, y.
y, t, 2
Suppose 4*h + 8 = 5*p + 17, -4*p - 3*h - 1 = 0. Sort 3, 13, p in increasing order.
p, 3, 13
Let x be (-3)/(-12)*(-7 + 7). Put -3, -16, x in increasing order.
-16, -3, x
Let o(n) = -5 - 7*n**2 + 3*n**2 + 3*n**2 + 5*n. Suppose 2*z + 3 = 11. Let d be o(z). Sort -3, d, 2 in decreasing order.
2, d, -3
Let b = -121 + 1091/9. Sort b, 3/5, 0 in descending order.
3/5, b, 0
Suppose 7*f = 4*f. Suppose 45 = 5*s - 3*w + 8*w, f = 4*w + 8. Suppose -2*m + 5 = -a, 5*a + 2*m = 12 + s. Put -3, a, 1 in decreasing order.
a, 1, -3
Let j = 0.7 - 0.3. Let m = 3.1 + -0.1. Put m, j, -0.5 in ascending order.
-0.5, j, m
Suppose 24*g = 6*g - 36. Sort -3, 22, g.
-3, g, 22
Let x be (-50)/(-35) + 12/(-28). Put 3, x, 15 in ascending order.
x, 3, 15
Let i be (-1)/((-120)/25 + 5). Sort -1, i, 3.
i, -1, 3
Let c = -1.4 + 0.9. Sort c, 0.2, -14 in decreasing order.
0.2, c, -14
Let f = 35 + -246/7. Sort -2/5, 1/7, f, 2/5 in descending order.
2/5, 1/7, f, -2/5
Let w = 2 + -2. Let g = -51.8 - -47. Let h = -0.2 + g. Sort h, w, -1/5 in descending order.
w, -1/5, h
Let n = 21 + -6. Suppose 0 = p + 2*p + n. Let y be (-26)/(-4) - (-12)/(-8). Put 2, y, p in descending order.
y, 2, p
Let l be (-6 - -8)/(9/(-3)). Sort 0, l, -2/13.
l, -2/13, 0
Suppose -5*y = -2*f + 15, -2*f - y + 50 = y. Let j = f - 14. Let i = -45 + 46. Put j, 3, i in descending order.
j, 3, i
Let b(r) = -2*r**2 - 16*r + 18. Let c be b(-9). Let y = 3 + -9. Let m(o) = -o**2 - 6*o + 5. Let p be m(y). Sort p, -1, c in decreasing order.
p, c, -1
Suppose -4*t + 2*t - 2*o + 38 = 0, 3*o = 15. Sort t, 1, -3.
-3, 1, t
Let k be (-15)/(-6) + 2/(-4). Suppose -3*h = -8 + 5. Suppose 4*r = -3*w - 4, -w - r = -4*w - 14. Put k, w, h in descending order.
k, h, w
Let c = 88 - 86. Sort -2, c, -0.3.
-2, -0.3, c
Suppose -5*p - 4 = -6*p. Let b = -13/6 + 5/2. Let i be (2/(-21))/((-3)/(-9)). Sort b, i, p in ascending order.
i, b, p
Suppose 5*t - 225 = 610. Let c = 6005/36 - t. Let g = -4/9 - c. Put 3, g, 0.2 in descending order.
3, 0.2, g
Let m = 75 - 73. Put 1/7, -2, -5, m in ascending order.
-5, -2, 1/7, m
Suppose 2*y = -y - 48. Let c = 21 + y. Sort 2, c, 0 in descending order.
c, 2, 0
Suppose 19 = 5*u - 6. Let g = -1 + 2. Put g, u, -3 in increasing order.
-3, g, u
Let m = -439 - -14489/33. Let w = 1057/44 - 99/4. Let a = w + m. Put 1/7, a, 0.3 in increasing order.
a, 1/7, 0.3
Suppose -30 = 22*z - 27*z. Let w = -3 + z. Sort 1, w, -3/7 in increasing order.
-3/7, 1, w
Suppose -3*t = -15 + 9. Suppose -y + 5*a = 2*y + 40, 5*a = y + 30. Let n 