= 5*o + 4*p - 113. Suppose 0 = 5*u + 4*b + o, -5*b - 25 = 5*u - 0*b. Sort u, 4, 0 in descending order.
4, 0, u
Suppose g + k + 2 = 3*k, -k = -5*g + 17. Sort g, 0, 2 in increasing order.
0, 2, g
Let k(u) = -u + 4. Let a be k(0). Sort a, 3, 1, -4 in descending order.
a, 3, 1, -4
Suppose -w + 6 = -4*w. Let y be (-8)/(-20)*1*w. Put 0.4, y, 5 in decreasing order.
5, 0.4, y
Let u = 2 - 1.6. Let z = -0.16 - 0.04. Let x = -0.3 - z. Sort x, 3, u.
x, u, 3
Suppose -4*c = 12 - 28. Let m be c/(-6)*(-9)/24. Sort -0.2, m, 0.1.
-0.2, 0.1, m
Suppose -c - 3*r - 16 = c, 0 = 2*c - 4*r - 12. Put 5, c, -0.04, 0.3 in ascending order.
c, -0.04, 0.3, 5
Let q(k) = -k**3 - 5*k**2 + 3*k + 11. Let m be q(-5). Put 3, m, 5, 0 in decreasing order.
5, 3, 0, m
Suppose -5*y = -2*y - 3*m + 12, 5*y + 5*m = 20. Let q be -3 + 4 + 0 + y. Sort -1, q, 2 in descending order.
2, q, -1
Let h(a) = a - 9. Let d be h(6). Let z = -3 - d. Put -4, 3, z in decreasing order.
3, z, -4
Suppose 0 = 5*g - 14 - 1. Suppose -3*h + 63 = -q, 4*q - q + 69 = 3*h. Suppose 8*s - 18 = -2*f + 4*s, h = 5*s. Sort -3, f, g in descending order.
g, f, -3
Suppose 14*x - 4 = 18*x. Sort x, 0, 5, 3.
x, 0, 3, 5
Let a be ((-27)/15)/(1/(-5)). Let m be 1/((-3)/a) - 1. Suppose 7 = -5*w - 2*d - 0, -4*w - 5*d - 9 = 0. Sort 4, m, w in descending order.
4, w, m
Let u be (2 - -2) + (-164)/40. Let j be 13/(-11) + 2 + -1. Sort u, -4/5, j in descending order.
u, j, -4/5
Let y(i) = -i**3 - 5*i**2 - i. Let u be y(-5). Sort 3, -5, u in ascending order.
-5, 3, u
Let x be (-3)/6*(4 + -2). Sort 1, 24, x in decreasing order.
24, 1, x
Suppose -3*f + 7 = 4*l, 8 = -5*l - 17. Let n = -11 + f. Let y = 1 - 0.9. Sort y, n, 4 in descending order.
4, y, n
Let a(y) = y**3 - 4*y**2 + 4*y - 2. Let j be a(3). Let r = -5 - -5. Sort r, j, 2 in ascending order.
r, j, 2
Suppose 0*x + 4*t = -5*x - 16, x + 2 = -2*t. Sort -5, x, -1 in descending order.
-1, x, -5
Let u be 1/2 - 84/(-24). Suppose -2*c + 8 = -m, -c + 7 - 1 = -m. Sort -3, c, u.
-3, c, u
Let s = 63 - 251/4. Sort s, -2, 0.4 in decreasing order.
0.4, s, -2
Let n be -3 - (-7 - -1)*1. Suppose 0 = 2*k - n*t - 7, 14 = 4*k - 9*k - 3*t. Sort 2, k, 1.
k, 1, 2
Let g(b) = b - 8. Let l be g(8). Let w be (-11 + 12)/(l + -1). Sort -2, w, 3 in ascending order.
-2, w, 3
Suppose 0 = -u + 2*r + 24, 2*r + 16 = u + 4*r. Let w = u + -20. Put w, -3, -2 in decreasing order.
w, -2, -3
Let s = 6 - 6.02. Let c = s + 0.12. Let v = 1/130 + -53/130. Put -4, c, v in decreasing order.
c, v, -4
Let j = 2.9 + -10.94. Let q = -0.04 - j. Let p = q - 13. Sort -2/11, -0.1, p.
p, -2/11, -0.1
Let y = -303346613/45 - -6741356. Let t = y + -961/3. Let v = t - 2/45. Sort -0.2, 1/6, v in descending order.
1/6, -0.2, v
Let y(v) = 2*v + 4*v**2 + 0*v + 2*v**3 - 3*v**2 - v. Suppose 0 = -0*r - 2*r - 2. Let w be y(r). Sort 0, -1, w in descending order.
0, -1, w
Suppose -3*n - 12 = n. Suppose -5*x - 4*u = -31, 0 = 4*x - u - 2*u. Put x, 0, n in decreasing order.
x, 0, n
Let d = -0.11 - -0.41. Let x = d + -0.3. Sort 5, -2/7, x in increasing order.
-2/7, x, 5
Suppose -m - 8 = -0*m. Sort 3, m, 1.
m, 1, 3
Let f = -1 + 3. Let o = f + -1. Sort o, -1/4, 2/9.
-1/4, 2/9, o
Let m = 25.44 - 1.44. Put 0.3, -4, m, -0.5 in ascending order.
-4, -0.5, 0.3, m
Let y = -5 - -9. Let u be 62/(-6) + (-2)/3. Let q = -8 - u. Sort y, -2, q in increasing order.
-2, q, y
Let b = 7 - 7. Let i = b + -0.4. Let l = 3 - 2.9. Sort 1, i, l in decreasing order.
1, l, i
Let i be ((-6)/(-4))/(5/(-70)). Let c be 52/(-14) + 6/i. Put 3, c, -2 in decreasing order.
3, -2, c
Let u(g) = -g**2 - 5*g - 2. Let s be u(-2). Suppose -2*n = -1 - 3. Let f be n*(-3)/12*-2. Put 3, f, s in decreasing order.
s, 3, f
Let v(t) = t**2 - 4*t - 5. Let r be v(4). Sort r, 2, -2 in descending order.
2, -2, r
Suppose -5 = 5*n + 5. Sort 5, 4, n in decreasing order.
5, 4, n
Let r = 10 - 15. Let c be 12 + (2 - 2)/(-1). Suppose 4*s = -0*s + c. Sort r, -4, s in ascending order.
r, -4, s
Suppose 2*w + 3 = -3. Suppose -14*d = -17*d - 3. Sort d, 3, w in descending order.
3, d, w
Suppose -2*l - 2*l - 4 = 0. Let h = -2 - 1. Sort 2, l, h in descending order.
2, l, h
Let l be 3/15 + (-12)/(-15). Suppose -16 = -4*d - 4, -d + 9 = 2*k. Sort k, l, 0 in descending order.
k, l, 0
Let p = -74 + 75. Put 0, 4, -5, p in decreasing order.
4, p, 0, -5
Let p(h) = 11*h - 3. Let o be p(2). Let k = o + -18. Put 5, 0, k in decreasing order.
5, k, 0
Let q(a) = -a**2 + 4*a - 5. Let b be q(9). Let z be (2/5)/(10/b). Put 1, 3, z in descending order.
3, 1, z
Suppose 3*b + 11 = -61. Let m = -22 - b. Put m, 4, -3 in decreasing order.
4, m, -3
Suppose 26 = 4*f - 5*f - 4*z, -16 = 4*z. Put f, -5, 3 in decreasing order.
3, -5, f
Let w = -34 - -34.56. Let o = 0.06 - w. Let u = 4.8 - 0.8. Sort u, o, 0 in increasing order.
o, 0, u
Suppose 4*x - 3*p + 8*p = -9, 4*x - 21 = p. Let s(r) = -r**3 - 7*r**2 - r - 2. Let y be s(-7). Let a = -7 + y. Put a, x, 0 in descending order.
x, 0, a
Let u be (-30)/(-1)*(1 - 2). Let q be ((-8)/u)/((-2)/(-5)). Sort q, 4, -1 in decreasing order.
4, q, -1
Let d = -10 - -5. Let s be (-2 + 3)/(3/(-21)). Let j be (3 - 5) + s/d. Sort -1/6, -4, j in descending order.
-1/6, j, -4
Let c be 2/(-16) - (-45)/(-24). Sort c, 3, -5 in descending order.
3, c, -5
Let n(l) = l**3 - 5*l**2 + 1. Let m be n(5). Sort m, 4, 2 in descending order.
4, 2, m
Suppose -6*s + 5 = -g - 3*s, 4*g + 20 = 5*s. Put 0, g, -42 in ascending order.
-42, g, 0
Let b = 0.05 - 0.1. Let a = b + 3.05. Let y = 7.2 + -7. Put y, a, 1 in descending order.
a, 1, y
Let k(s) = s. Let t be k(-3). Let q(z) = 19*z**3 - z**2 - z - 1. Let m be q(-1). Let i be (-28)/m - 4/10. Sort t, i, 5.
t, i, 5
Let l be (5/(-105))/((-50)/(-324)). Let f = 1006/5075 + l. Let r = f + -20/29. Sort -3, 2, r in increasing order.
-3, r, 2
Suppose -3 - 67 = -5*y. Suppose 4*j = -y - 2, j = 3*q + 11. Let o be ((-4)/5)/((-4)/(-20)). Put q, 0, o in decreasing order.
0, o, q
Let x = 8 + -7.6. Sort 2, x, 1 in ascending order.
x, 1, 2
Let x = -0.1 - 0.4. Let p be (-3)/(-108) + (-4)/16. Let v = p - 10/9. Sort 0, x, v in descending order.
0, x, v
Suppose 3*n - 4*n + 5 = 0. Suppose -4*h - 17 = -n*g - 2, 4*g = 5*h + 12. Sort 0.3, h, 3.
h, 0.3, 3
Let s be (-52)/80 + (-4)/(-10). Let z be (8/6)/((-6)/(-18)). Let l be ((-6)/12)/(11/z). Put s, -0.3, l in descending order.
l, s, -0.3
Suppose 0 = -8*v + 4*v - u + 120, -5*u - 120 = -4*v. Suppose -5*l + j = -23, 3*j = -4*l - 2*j + v. Sort l, 1/4, 1 in increasing order.
1/4, 1, l
Let r = 0.6 + -1. Let y = -3 + 2. Put -0.1, r, y in ascending order.
y, r, -0.1
Let u = 1.9 + -2. Let t = 18 + -35. Let a = -13 - t. Put -2, u, a in descending order.
a, u, -2
Let p = 1 - 5. Suppose 5*s - 9 = -j, -3*j + 2 - 5 = 0. Suppose 3*x - s*y = y + 18, -4*x - 3*y + 3 = 0. Sort p, 5, x in ascending order.
p, x, 5
Suppose -55 = -k - 52. Suppose -2*b - j + 0 = 3, b = -j. Sort b, k, 2 in decreasing order.
k, 2, b
Suppose 15 + 1 = 4*q. Sort -4, -1, q in descending order.
q, -1, -4
Suppose 4*i + 28 = 8. Let s = i - -43/9. Put s, -0.2, -1/2 in descending order.
-0.2, s, -1/2
Let o = -461/2 - -6001/26. Let r(n) = -n**3 - 3*n**2 + 4*n - 5. Let l be r(-4). Sort l, 4, o in decreasing order.
4, o, l
Suppose 4*y = -3*b + b - 22, -1 = b. Let f be (-30)/(-40) - (-2)/8. Put f, -3, y in decreasing order.
f, -3, y
Let z = -51.02 + 51. Put z, 2, -4/9, 2/9 in ascending order.
-4/9, z, 2/9, 2
Let q = 13 + -14. Let o = q + -1. Sort -3, -5, o in descending order.
o, -3, -5
Let a(c) = -9*c - 3. Let w be a(-2). Let v = w - 22. Let h(i) = i**3 + 7*i**2 - 2*i - 10. Let n be h(v). Sort -1, n, -5 in ascending order.
-5, -1, n
Suppose -3*z = 4*k - 12, -1 = 4*k - 4*z - 13. Suppose 5*h + 7 = r, -k*r - 1 = 4*h - 8*h. Sort 4, -3, h in decreasing order.
4, h, -3
Let w(d) = -4 + 0*d - 21*d**2 + d + d**3 + 15*d**2. Let h be w(6). Sort 1/2, h, -1/6 in increasing order.
-1/6, 1/2, h
Let b = -0.29 - 1.71. Let w = 1 + -0.9. Let l = -2 - -1.5. Sort l, w, b in increasing order.
b, l, w
Suppose -5*w - 95 = -5*l, 3*w = -7 + 1. Sort l, 2, 5 in increasing order.
2, 5, l
Let b = 0.31 + 1.71. Let r = b + -0.02. Sort 0.2, r, 4.
0.2, r, 4
Let z be 4*(2 - (-30)/(-8)). Suppose -22 = 4*b - 6. Sort 3, z, b in increasing order.
z, b, 3
Let m be -2 + (-6)/(-9) - 0. Suppose -u + 2 = u. Put 0.3, m, u in ascending order.
m, 0.3, u
Let o = -14 - -