 0 = 5*y - z - 15, -5*z + 12 = 4*y - 0*y. Let b(a) = -a**2 - 2*a**2 + 7*a**2 - a - y*a**2 + a**3 - 1. Let h be b(0). Put h, 5, -5 in decreasing order.
5, h, -5
Suppose 0 = -2*b - 5*n + 6, 0*b + n = -b. Suppose -3*i + 5*h - 2 = 0, 3*i - h + 18 = -4*h. Let k = -1 + i. Sort b, k, -1 in descending order.
-1, b, k
Let i = -181.5 - -182. Put i, 2/7, -1, -2 in ascending order.
-2, -1, 2/7, i
Let k = 62 + -63. Let p = 5.6 + -6. Let n be 24/(-18) + (-2)/3. Put n, p, k in descending order.
p, k, n
Suppose -l - 5*n - 22 = l, 3*l - 3*n = -54. Let g be 12/l + (-1)/4. Let s(k) = k - 2. Let h be s(3). Put -4, g, h in increasing order.
-4, g, h
Let p = 11/3 - 5. Let m = 63.2 - 63. Put 8, p, m in descending order.
8, m, p
Suppose b + 3 = 2*u, 4*u + 20 = -b + 23. Put 3, -7, -3, u in increasing order.
-7, -3, u, 3
Let p = 4.1 + 0.3. Let s = p + -4. Let l = -0.7 - -2.7. Sort -2/5, s, l in descending order.
l, s, -2/5
Let z be (2 + -2)*(-153)/(-612). Let j be (-15)/6*(-2)/1. Let t(h) = -h + 4. Let d be t(j). Sort z, d, 5.
d, z, 5
Let j = -9 + 13. Suppose 2*a + 4 = -j. Let o be (-2)/(4 - (-30)/(-9)). Sort 3, a, o in decreasing order.
3, o, a
Let r = 66.5 + -67. Sort -1/3, 0, -3, r in ascending order.
-3, r, -1/3, 0
Suppose -r + 6 = 1, 2*f = -4*r + 28. Suppose 3*j - 15 = -f*p, -4*j - j = -p - 2. Put p, -1, 8 in ascending order.
-1, p, 8
Let j be (6/4)/(14/(-168)). Let u(k) = k + 29. Let d be u(j). Sort -2, d, 3, -5 in decreasing order.
d, 3, -2, -5
Let c be (-3)/(-2) - 4/(-8). Let r = 2/241 - -460/2651. Suppose -2*q - 21*b = -20*b + 4, -q - 3*b = -3. Sort q, c, r in increasing order.
q, r, c
Let y be 3/2 - 253/22. Let q be (5/(-10) + 0)*y*1. Sort -3, 1, -4, q in decreasing order.
q, 1, -3, -4
Let m = 6.9 + 0.1. Let i = 7.03 - m. Let d = 1.97 + i. Put 1/3, d, 0.5 in decreasing order.
d, 0.5, 1/3
Let d be (11/3)/((-2)/12). Let i = -23 - d. Put 2, i, 3 in descending order.
3, 2, i
Let t = -1.4 - -1.82. Let h = 0.5 - t. Let k = h + -0.08. Sort k, -0.3, -1/8.
-0.3, -1/8, k
Let f = 4 - 18. Let s = 20 + f. Suppose -3*y = -6*y - s. Put 1/3, y, 0.1 in descending order.
1/3, 0.1, y
Let i be (4/(-5))/(5/(-25)). Let w be (-2 - 32/(-14)) + 600/(-42). Put w, 5, i in descending order.
5, i, w
Suppose -12 = -2*h - 4*o, -3*o = 3*h - 4*h - 14. Let q = -158 - -151. Sort h, q, 0 in decreasing order.
0, h, q
Let k be -2*-5*(-1)/(-2). Suppose 20 = -5*y + 85. Suppose -2*i - 3*i = -3*g + 16, -5*i + 4*g - y = 0. Sort -2, i, k.
i, -2, k
Let v(u) = -u**2 + 8*u - 11. Let c be v(4). Suppose a - 4*f - 12 = 0, 2*a - 1 = 2*f + 5. Put c, -4, a in decreasing order.
c, a, -4
Let i(z) = 2*z**3 + 46*z**2 - 4. Let f be i(-23). Put 2, 103, 0, f in decreasing order.
103, 2, 0, f
Let g be (-2)/(-12)*(-9)/2. Let u be ((-1)/21)/((-22)/132). Put -5, u, g in descending order.
u, g, -5
Let p = -0.036 - -0.246. Let a = p - -0.79. Sort -5, -3/8, a in increasing order.
-5, -3/8, a
Let m = 0.04 - 0.04. Let d = 3 - 2. Let i be d*(4 - 1 - 5). Sort i, m, -0.3 in decreasing order.
m, -0.3, i
Let o be (-2 + -1)/((-9)/30). Suppose o*x = 3*x - 49. Sort 4, -2, 1, x in decreasing order.
4, 1, -2, x
Suppose -15 = -3*i, 4*i - 49 - 51 = -5*t. Suppose -6 + t = 5*n. Suppose 5*z + 3*v + 18 = 0, n*z + v + 26 = -3*z. Sort 1, 4, z in decreasing order.
4, 1, z
Suppose 29*y = 32*y - 15. Suppose 4*r + 5*q - 23 = 0, 5*q = -r + 6*r + y. Sort r, -4, 1, 5 in decreasing order.
5, r, 1, -4
Let f(a) = -5 + 8 - 8*a + a**3 - 2*a**3 - 10*a**2 + 8. Let c be f(-9). Put 11, -2, c in decreasing order.
11, c, -2
Let t(r) = -r**3 - 7*r**2 - 5*r + 6. Let s be t(-6). Suppose s = -2*k - 0 + 2. Let q = -1.2 - -3.2. Put k, 0.4, q in descending order.
q, k, 0.4
Let w be (1 - 17)*(-5)/10. Suppose -5*n - w - 2 = 0. Let b(r) = -r**3 - r**2. Let c be b(n). Put c, -3, -11 in decreasing order.
c, -3, -11
Let x = 201.116 + -206.2. Let w = 0.084 + x. Let s = -2.88 - -3. Sort 0.3, w, s in decreasing order.
0.3, s, w
Let y be (-125)/50*(8/(-5))/2. Sort 5, y, -6 in descending order.
5, y, -6
Let b = 19 - 5. Let x = b + -10. Let f = x - 6. Put 5, -4, f in descending order.
5, f, -4
Let r be 4/8*(0 - -4). Let f = -1278 - -1281. Put r, 4, 7, f in descending order.
7, 4, f, r
Let z = -14 + 13. Let b be (-8)/140*z*7. Suppose 2*w - 7 = 3. Put w, 4, b in increasing order.
b, 4, w
Let n = -18 - -15. Let y be n + -3*(-2)/(-3). Let g(p) = -p - 7. Let v be g(-6). Sort v, y, 3 in ascending order.
y, v, 3
Suppose 0 = -o + n - 2, -4*n = -5*o - 0*n - 5. Sort 14, 5, o in ascending order.
o, 5, 14
Let h = 4725 + -4724. Let m = -7 - -7.3. Put m, h, 3/5 in increasing order.
m, 3/5, h
Let v = 18 + -19. Let n(s) = -2*s**2 - 2*s. Let f be n(v). Let k = 2 - -2. Sort f, 5, k in descending order.
5, k, f
Let n = -64 - -55.7. Let g = 1.3 + n. Let j = -11 - g. Sort 1, j, -0.1 in ascending order.
j, -0.1, 1
Let d = -31 - -49. Suppose 0 = 2*p - 3*p - 2, 5*i + 4*p + d = 0. Sort i, 1, -3, 4 in descending order.
4, 1, i, -3
Let j = -64 - -64.047. Let r = j + 0.023. Let f = -0.3 + 0.1. Put f, r, 2 in increasing order.
f, r, 2
Let o(k) = -k - 6. Let p be o(-5). Suppose 2*u - 18 = 8*u. Suppose 2*m = -0*m + 2. Put p, u, m in descending order.
m, p, u
Suppose -i = 4*d + 72, -5*i + 48 = -5*d - 67. Let p = d + 17. Let n be (-2 + -3 + 3)/p. Put n, 2, 4 in ascending order.
n, 2, 4
Let i = 1113.9 + -1114. Put i, 4/121, 2 in ascending order.
i, 4/121, 2
Let n = -36 - -34. Let s be (-10)/(-35) - (-16)/42. Put 4, n, s in ascending order.
n, s, 4
Let m = -14 + 19. Suppose 0*z = -z - m. Put 0, z, -6 in ascending order.
-6, z, 0
Let w = 0.2 - -0.1. Suppose -2*m + 48 = -2*a + a, 0 = -2*m - a + 40. Let z = 21 - m. Sort -0.1, w, z in increasing order.
z, -0.1, w
Let i(d) = -7*d + 10. Let c be i(-8). Suppose -4*f = 1 - 9, 3*f - c = 5*u. Let p be (-8)/u + (-39)/(-9). Sort p, -1, 0.5 in increasing order.
-1, 0.5, p
Let z = -39.24 + 18.98. Let k = z - -0.26. Let v = k + 18. Sort 2, -6, v in decreasing order.
2, v, -6
Let n be 17/3 - 8/12. Suppose 2*s + 3*s = 0. Suppose -5*q + s - 15 = 0. Put 4, q, n in increasing order.
q, 4, n
Suppose 6 = 6*v - 3*v. Let z be (-56)/26 + v - 0. Sort -1/5, -0.5, z.
-0.5, -1/5, z
Let i = -168 - -163. Sort 2, 38, i in descending order.
38, 2, i
Let k = -4 - 61. Let j be 2/(-5) - k/(-25). Suppose -7*z = 4*z - 55. Sort 2, z, j in increasing order.
j, 2, z
Let u(s) = 4*s**2 - 7 + 3*s**2 - 2*s - 6*s**2. Let q be u(3). Let x be 3/6 - 1/2. Put q, x, -5 in decreasing order.
x, q, -5
Let f be 5/(-30) - (-34)/(-12). Let a be 24/18*(-27)/(-2). Let k be (-9)/(-2)*12/a. Sort k, f, 1 in increasing order.
f, 1, k
Suppose -3*k = k - 16. Suppose 162*w - 4*p = 166*w + 4, -2*p = 3*w + 3. Put w, -3, k in increasing order.
-3, w, k
Let l(r) = -4*r**3 + 28*r**2 - 25*r + 11. Let j be l(6). Sort -256, j, 3.
-256, 3, j
Suppose -23 = 3*v + 2*a, -36*a + 34*a + 12 = -4*v. Put 11, -28, v, 0 in descending order.
11, 0, v, -28
Let k = -0.45 - -0.3. Let s = -0.23 - k. Let j = -3.92 + s. Sort 1, 4, j in increasing order.
j, 1, 4
Let a(l) = l**3 - 8*l**2 + 7*l + 10. Let p be a(7). Suppose -42 = -2*j - p. Suppose -j = -c - 3*c. Sort -3, 1, c in ascending order.
-3, 1, c
Let z = 1.08 - -0.02. Let x = 1 - z. Let f = 0.02 - 0.52. Sort x, 9, f in increasing order.
f, x, 9
Suppose -b = 4*b + 15. Suppose -5 = -5*c - 0. Let y = c + -2. Sort 4, b, y in descending order.
4, y, b
Suppose 15 = -a + 10. Sort 0, -1, -2, a in increasing order.
a, -2, -1, 0
Let a be -2 - (4/(-1) - -2). Let l = -32 + 33. Let u be a + l*-4 + 3. Sort 3, u, -2 in descending order.
3, u, -2
Let q(z) = -z**2 + 6*z + 3. Let p = -13 + 18. Let r be q(p). Put 4, r, 1 in descending order.
r, 4, 1
Let f be (-28)/63 - 0 - (-2)/3. Sort -1, 6, f, 1/8.
-1, 1/8, f, 6
Let f = 0.54457 + -0.14457. Let t(o) = o**3 + 2*o**2 + 4*o + 2. Let w be t(-2). Let b(v) = -v - 1. Let d be b(w). Sort 4, f, d in descending order.
d, 4, f
Suppose -3*i = -n - 1, -4*i + 0*i + 4*n = -12. Sort 15, 4, i.
i, 4, 15
Let f be 5/(20*(-4)/(-64)). Put f, 2, 7 in increasing order.
2, f, 7
Let s = 1462 - 1461.103. Let u = 0.103 + s. Let i = 1236/5 - 248. Sort 3/8, u, i in increasing order.
i, 3/8, u
Let y be 1*-5 - (-42 + 78). Put 3, 1, 5, y in increasing order.
y, 1, 3, 5
Let m be 6/(-63) - (-6)/14. Suppose 0 = -3*j + 2*a - 2, 10 = -2*j - a - 3. Put 2, m, -0.3, j in decreasing order.
2, m, -0.3, j
Le