) = g**3 + g - 2. Let c be z(n). Let u be 1*c/6*-3. Sort -3, 4, u in decreasing order.
4, u, -3
Suppose 0 = -7*n + 2*n + 25. Suppose -w - 2*y - 3 = 0, -1 + 16 = -5*w + 3*y. Let i(q) = q**2 + 6*q + 5. Let z be i(-5). Sort n, z, w in descending order.
n, z, w
Suppose 5*g + 34 = 99. Suppose 4*h + g + 3 = 0. Let k(a) = a**3 + 6*a**2 - 2*a - 7. Let p be k(-6). Sort p, 1, h.
h, 1, p
Let r = 26 - 24. Sort -0.07, 2/11, r, 5.
-0.07, 2/11, r, 5
Let u be 4/(-18) - (-16)/72. Let p be (-3 - u)*(-11 + 12). Suppose -3*s + 32 = 5*r + 4, r - 5*s = 0. Sort r, 3, p in ascending order.
p, 3, r
Let d = 61 + -58. Sort 4/5, -2/3, d, -4/3 in decreasing order.
d, 4/5, -2/3, -4/3
Let p be (-1236)/(-7) - (-9 - -10). Let w = -176 + p. Sort w, 0.1, -0.1 in ascending order.
w, -0.1, 0.1
Let l = -19 + 29. Let a = -10.5 + l. Sort -1/5, a, -4/3 in increasing order.
-4/3, a, -1/5
Let s = 7 + -7.3. Let q = -5.01 + 0.01. Put -2, s, q in increasing order.
q, -2, s
Let a(n) = n**2 + 9*n - 12. Let o be a(-10). Let d be 3 + -1 - 0 - 7. Put 2, d, o in increasing order.
d, o, 2
Let y be (20/(-6))/(6/9). Sort y, -1, -4 in increasing order.
y, -4, -1
Let b = -6 - -4. Let w be 6/(b + 14/4). Suppose 8*c - w*c = 0. Sort -5, c, -2 in ascending order.
-5, -2, c
Let l be 2/(-4 + 2)*3. Let m = -1 - -3. Suppose -4*g + 14 = m. Put -4, l, g in decreasing order.
g, l, -4
Let x be 2*-2*4/2. Let h be 4/6 - x/(-10). Let r be 14/(-7)*2/(-12). Put 0.5, r, h in descending order.
0.5, r, h
Let h = 29 + -30.1. Let x = -1.2 - h. Sort x, 1/3, -4/3 in decreasing order.
1/3, x, -4/3
Let a be (-4)/(-6)*(-18)/(-3). Suppose -5 = -a*s + 7. Sort s, -5, -1.
-5, -1, s
Suppose 6 = 6*b - 4*b. Sort -4, -2, b in increasing order.
-4, -2, b
Let x be (-160)/(-9) + 2/9. Let m be x/9*10/(-4). Sort 0, m, 2 in ascending order.
m, 0, 2
Let b = 1.3 - 1.5. Sort -1, b, 5 in increasing order.
-1, b, 5
Suppose -4*u - 5*o = 7, -3*o - 7 = 2. Let l(t) = -t**3 + 6*t**2 - 2*t - 4. Let q be l(5). Put q, -1, u in descending order.
q, u, -1
Let l = -8 + 38. Let t = l + -20. Suppose 5*a - t = -2*s + a, 3*s = 3*a + 6. Put -4/5, -1, s in descending order.
s, -4/5, -1
Let t = 0 - -3. Let j = t + -2. Put -5, -1, j in descending order.
j, -1, -5
Let k = 24 + -25. Sort -2, k, 1.
-2, k, 1
Let s = -10 - -6. Let r(b) = b**2 - 3*b - 6. Let q be r(5). Put s, 5, q in descending order.
5, q, s
Let w = 66 + -63. Put 0, 5, w, -1 in increasing order.
-1, 0, w, 5
Suppose -6*k + 7*k + 4 = 0. Let l be 3/(-3)*8/(-2). Suppose 0 = -l*g + 7 + 5. Put k, g, 0 in ascending order.
k, 0, g
Let m = -24 - -23.7. Sort 5/3, 3/7, m in decreasing order.
5/3, 3/7, m
Let v be (-17)/(-45) - (3 - 29/9). Let m = -1 - -1. Sort -2/15, v, m.
-2/15, m, v
Suppose 5*i - v - 38 = 0, -4*i - 5*v = -7*i + 14. Suppose 3*b + 4*f = 4, -3*b + i*b + 5 = 5*f. Sort -1, 4, b in descending order.
4, b, -1
Suppose -5*w - 10 = -c, 0 = -3*w + 4*c - c - 6. Sort 3, w, 2 in descending order.
3, 2, w
Let v = -50/77 - -4/11. Let g = 119/473 - 3/43. Sort 4, g, v in ascending order.
v, g, 4
Let y = -1 - -6. Let u = -15 + 8. Let j be 1 - (-1)/5*u. Sort j, -1, y.
-1, j, y
Let n(z) = 2*z + 2. Let v be n(-3). Put 2, -3, v in descending order.
2, -3, v
Let h = -4/25 - -83/50. Let o be 0 - (-5)/(15/2). Put 0, o, h in decreasing order.
h, o, 0
Suppose 2*y - 3 = 5*y. Let r(d) = -d + 11. Let n be r(8). Sort n, y, -5 in decreasing order.
n, y, -5
Let u be (1 - 2/(-2)) + 0. Suppose 0 = j - 3 - u. Put -4, j, -2 in increasing order.
-4, -2, j
Let a be (7 + -3)*(-3)/(-4). Let t be (-14)/(-3) + (-2)/(-6). Let u = 124 - 124. Sort u, a, t.
u, a, t
Let z(w) = w**3 + 3*w**2 - 3*w - 4. Let r be z(-3). Put -2, 2, r in descending order.
r, 2, -2
Let g be 1/(-5) + 8/(-10). Let w = -3 - -5. Let a = w + g. Put 2/13, a, 0 in decreasing order.
a, 2/13, 0
Let b = 0.2 - 0.1. Put b, -4/3, -0.6 in ascending order.
-4/3, -0.6, b
Suppose -3*r = 5*p - 0*p - 43, -2*r + 2 = 0. Let y(k) = 2*k**2 + 3*k - 4. Let o be y(-4). Suppose 5*u + p = -2*a, -3*a - 3*u + 4 = o. Sort -2, a, 0.
a, -2, 0
Let b be (-4)/(-2) - (-7)/(-1). Let n(x) = -x + 11. Let q(d) = 1. Let i(g) = -n(g) + 6*q(g). Let v be i(6). Put b, v, -2 in decreasing order.
v, -2, b
Suppose 0 = -2*f + 5*m - 30 + 9, 5*f - 4*m + 10 = 0. Suppose f*k + 2 = -2*k + 2*y, 4*y = -12. Put -5, 3, k in ascending order.
-5, k, 3
Let j = -8.2 - -8. Let s be (-118)/(-70) - (2 + -1). Let h = -2/5 + s. Put -4, j, h in descending order.
h, j, -4
Let k = 36.4 - 36. Sort -14, k, -4, -3 in ascending order.
-14, -4, -3, k
Let m(u) = -u**3 - 5*u**2 + 2*u. Let k be m(-5). Put k, 0, -7 in descending order.
0, -7, k
Let i be (-2)/(-6)*0/(-6). Suppose 27 = -3*p - i. Let t be (3/p)/((-5)/3). Sort 0.1, t, 0 in increasing order.
0, 0.1, t
Let r(g) = g + 11. Let o be r(-8). Let i be 4/(-2*(-4 - -3)). Put i, o, -17 in ascending order.
-17, i, o
Suppose 0 = 4*a + 7 + 25. Let s = a - -6. Suppose 3*l = -4*c - 10, -2*c - 2*c - 5*l = 14. Put 0, s, c in increasing order.
s, c, 0
Let f = -19 - -11. Let m = f - -4. Let q(k) = k**3 + 5*k**2 + 5*k + 5. Let i be q(-4). Sort m, 4, i in increasing order.
m, i, 4
Let n = -8/13 - -66/65. Sort 1, 4, n in ascending order.
n, 1, 4
Let w = 45 - 49.92. Let c = 0.08 - w. Let j = -8/15 + 49/120. Put j, c, -6 in decreasing order.
c, j, -6
Suppose -3 = -3*h - r, -h + 1 = r - 0*r. Let d be ((0 - 0) + h)*5. Let b = -1296 + 1298. Sort d, b, -4.
-4, b, d
Suppose -6*u + u = 15. Let f be 1 - u/(-2)*-2. Put 3, f, -2 in descending order.
f, 3, -2
Let w = -13 + 17. Let c be 3/6 + (-5)/(-2). Let n be 1*c/(-9)*-6. Put -5, n, w in descending order.
w, n, -5
Let q = -125/642 - -3/107. Let f be (-7)/6 + 2/4. Sort q, 0.06, f in descending order.
0.06, q, f
Let o = 15 - 20. Sort o, -1, -2.
o, -2, -1
Let j = 42 + -39. Sort j, 2.3, -0.5 in increasing order.
-0.5, 2.3, j
Let k be (0 - 0)/((-4)/(-2)). Suppose x + 4*d = -8, 4*x + 0*d + 12 = 4*d. Let j be (x/8)/(1/2). Put j, k, 4 in increasing order.
j, k, 4
Let x be (0 - 1)/(1/(-3)). Sort 0, 13, x in descending order.
13, x, 0
Let f be 180/(-42) + 5 + -1. Put -0.1, 0.3, f in decreasing order.
0.3, -0.1, f
Suppose j - 4*w - 1 = -28, 0 = 5*j - w + 97. Sort j, -4, -1/7 in decreasing order.
-1/7, -4, j
Suppose 4*c + 3 + 1 = -4*k, 2*c = -5*k - 5. Let m(q) = q**3 + 13*q**2 - 13*q + 19. Let j be m(-14). Let a(y) = 2*y - 1. Let d be a(-2). Sort d, j, c.
d, c, j
Suppose -2 + 17 = 5*i. Let w be i/((-7)/(112/12)). Sort w, 5, 7 in decreasing order.
7, 5, w
Let k be 58/130 + 10/65. Put k, -5, 4 in descending order.
4, k, -5
Let t be (-28)/20 - 2/(-5). Let n = -1 + -2. Sort 5, t, n in ascending order.
n, t, 5
Let i = 4.133 + -0.133. Put 2, -2, i, -5 in increasing order.
-5, -2, 2, i
Suppose 5*b - 5 + 0 = 0. Let i be 1/(-5) + 4*1/20. Put b, i, -1 in descending order.
b, i, -1
Let f = -2.9 + 5.9. Sort -1/6, -1, f.
-1, -1/6, f
Suppose 0 = -3*d + 2*d. Let k be -3 - ((-1)/1 + 51/17). Sort k, -1, d in ascending order.
k, -1, d
Let i(h) = h - 5. Let j be i(5). Let k be 1/((-3 - -2)*1). Let d be (-10)/5 - 0/k. Put j, d, -5 in decreasing order.
j, d, -5
Let b = 1 - -5.5. Let t = b - 5. Let l = t + -0.5. Put l, -1, 2/5 in descending order.
l, 2/5, -1
Let m = -12.4 + 12.7. Put m, -4/5, -7 in descending order.
m, -4/5, -7
Suppose 2*a = -2, 0 = -5*y - a - 1 - 5. Let x be (-4)/5*(0 - 5). Suppose 6 = x*c + 14. Sort c, y, 3.
c, y, 3
Let w = 13.919 + -0.119. Let x = -14 + w. Sort 1/3, 4, x.
x, 1/3, 4
Let b(x) = -x + 3. Let i be b(0). Let p(c) = -2*c**2 - 9*c - 3. Let v be p(-4). Put v, 2, i in increasing order.
v, 2, i
Let m = 51/143 - 7/13. Let z = 315 + -313. Sort 4, m, z in descending order.
4, z, m
Let g be 3 + (4 - (-81)/(-12)). Sort 4, 0.5, -1, g.
-1, g, 0.5, 4
Let w(n) = n**3 + 5*n**2 - 7*n - 9. Suppose -3*i - 16 = -c, -14 = 4*i + 3*c - 8*c. Let z be w(i). Put -1, z, 0 in increasing order.
z, -1, 0
Let o(s) be the first derivative of -s**3/3 - s**2 - s - 1. Let q be o(-2). Let i = 0.9 - 0.4. Put i, 2/7, q in ascending order.
q, 2/7, i
Let w = 12 + -11.7. Let c be -1 + 2*9/6. Sort 1/3, w, c.
w, 1/3, c
Let f(s) = 3*s + 22. Let o be f(-7). Put 0, 0.6, o, -0.4 in ascending order.
-0.4, 0, 0.6, o
Suppose 0 = u + 3*u + 2*d - 14, 4*d = 3*u - 16. Suppose 0 = -u*r + 3*r - 4. Let b(a) = -a**2 - 4*a + 4. Let h be b(r). Sort h, -1/4, -2/15 in increasing order.
-1/4, -2/15, h
Let x be ((-4)/20)/(