9 = -5*w, 4*w = 4*c + 9 - 1. Let m = -3 - w. Put 5, -1, m in increasing order.
m, -1, 5
Suppose 4*m - 22 = -5*c, -c = 3*m - 45 + 34. Let u = -15 + 11. Sort u, 0, c in decreasing order.
c, 0, u
Suppose 18 = -3*m - 0. Let y(d) = -2*d - 6. Let n be y(m). Suppose 0*p = 3*p + 3*s + 15, p - 5*s = 1. Put n, p, 0 in descending order.
n, 0, p
Let z be ((-5)/(-2))/((-4)/(-16)). Sort -2, 2, 5, z in increasing order.
-2, 2, 5, z
Let d be (50/(-20))/((-2)/(-4)). Sort 0, d, -0.5 in ascending order.
d, -0.5, 0
Let f = -3 - -7. Let m = f + -4. Let y = -7 - -6.8. Sort y, 0.5, m in decreasing order.
0.5, m, y
Suppose 4*v = -0*v + 4. Let s = 0.09 - -3.91. Let j = s - 4. Sort j, v, -1/5 in ascending order.
-1/5, j, v
Suppose 2*i = 2*t - 10, -i - 3*i - 25 = -5*t. Suppose 3*n - t = -3*j - 2*n, 27 = 5*j - n. Sort 0.1, j, 2 in decreasing order.
j, 2, 0.1
Let m(k) = -k**2 + k - 1. Let h be m(0). Put -4, h, 3 in decreasing order.
3, h, -4
Let t = -4.6 + -0.4. Sort -0.2, t, -2 in decreasing order.
-0.2, -2, t
Let k be (2/(-16))/((-1)/(2*-1)). Put k, -1.7, -2 in increasing order.
-2, -1.7, k
Suppose 4*b = -f + 6*f + 18, -5*f = 2*b + 6. Sort 13, b, -3 in decreasing order.
13, b, -3
Let k(v) = 2*v**2 - 21*v + 23. Let o be k(9). Let z be -1 + (-1 - (2 - 2)). Put z, o, 4 in ascending order.
o, z, 4
Let c = 0.13 + -5.13. Let z(d) = -2*d**2 + 16*d - 21. Let l be z(6). Sort 2, c, l in descending order.
l, 2, c
Let u(i) = 10*i + 45. Let b be u(-5). Sort 7, -2, b, -1.
b, -2, -1, 7
Let q = -1.95 - -2. Let d be 24/6 + -4 + (-3)/(-4). Put q, d, 4/9 in decreasing order.
d, 4/9, q
Let j = -0.025 + -2.975. Let b be ((-1)/(-3))/((-7)/3). Put -4, b, j in ascending order.
-4, j, b
Let j(q) = -4*q. Let x be j(1). Let t = -38.11 + 38. Let d = -5.89 + t. Sort d, 2/7, x in ascending order.
d, x, 2/7
Let f be (-1 - -2) + (-36)/28. Let j = -6.7 + 7. Put j, 2, f in decreasing order.
2, j, f
Let z = -63 + 57. Let a = 2.9 - 3. Sort z, -1, a.
z, -1, a
Let g = -0.4 + 0.8. Suppose -3*u + 7 = -2. Sort -0.2, u, g in descending order.
u, g, -0.2
Let u = -39627/5 - -7885. Let w = u - -40. Put w, -4, -0.3 in decreasing order.
-0.3, w, -4
Let p be -1*2 - (-10)/8. Let a(h) = h**3 + 6*h**2 + 6*h. Let x be a(-5). Let m = 3 + x. Put m, 2, p in ascending order.
m, p, 2
Suppose 0*c + 2 = -2*c. Let g be (5 - 0)*(2 + c). Put 4, g, -4 in decreasing order.
g, 4, -4
Let u = -16.1 - -11.1. Sort -1/3, u, 3, 2 in descending order.
3, 2, -1/3, u
Let f = 39/10 + -19/5. Sort -5, 0, f in ascending order.
-5, 0, f
Let t be 22*2/((-12)/(-19)). Let r(k) = k**3 - 9*k**2 - 9*k + 12. Let a be r(9). Let w = t + a. Put w, 5, 3 in decreasing order.
5, 3, w
Suppose 0*r = -2*r - x - 9, -3*x - 23 = 5*r. Sort 15, r, 5 in decreasing order.
15, 5, r
Suppose 2*a - 14 = 2*f, a - 4 = -f + 1. Suppose -2*i + a - 2 = 0. Suppose i*c = -0*c - 8. Sort c, -4/5, -0.4 in decreasing order.
-0.4, -4/5, c
Let q be ((-22)/(-44))/(6/(-20)). Put -3, 3, -0.2, q in increasing order.
-3, q, -0.2, 3
Suppose 5*v - 76 - 54 = 0. Suppose 2*n + v - 16 = 0. Sort n, -2/9, 1 in descending order.
1, -2/9, n
Let p = -18.5 + 18. Sort p, 1/10, -2 in increasing order.
-2, p, 1/10
Let v(s) = -s**2 - 28*s - 20. Let b be v(-27). Sort 5, 0, b.
0, 5, b
Suppose s + 4*l + 15 = 0, -3*s + 2*s - 2*l = 5. Let z(b) = b**2 - 5*b + 8. Let w be z(3). Sort s, 0, w in decreasing order.
s, w, 0
Let r be 8/16*(-12)/(-10). Let l(g) = -g**2 - 5*g + 5. Let f be l(-6). Put r, -0.5, f in ascending order.
f, -0.5, r
Suppose 0 = -0*m - 3*m + 12. Suppose 2*t - m*w = 0, -5 = -w - 3. Sort 1, t, -1 in decreasing order.
t, 1, -1
Let d = 0.1 - 0.3. Put -2, d, -1, 0 in increasing order.
-2, -1, d, 0
Let m = -1555/9603 - -450746/40322997. Let c = m - 1/323. Let n be (-6)/63*-2*3. Sort n, -3/2, c in ascending order.
-3/2, c, n
Suppose -4*w = -6*w - 2. Sort -3, 9, w in ascending order.
-3, w, 9
Let u = -4 + 9. Put -5, u, -4 in ascending order.
-5, -4, u
Suppose 3*v - 7 = 11. Suppose 2 = z + v. Let p be (-6 - 0)*z/(-8). Put -4, p, 3 in decreasing order.
3, p, -4
Suppose 24*b = 30*b - 12. Suppose -11 = -n + 3*m, 12 = 4*n - 2*n - 4*m. Let k be (9/(-12))/(1/n). Sort k, b, -2.
-2, b, k
Suppose 7 = -5*a - 3. Sort a, -18, 3 in ascending order.
-18, a, 3
Let c be (5/6)/((-4)/6). Let a = 1 - 1. Let o = -0.2 - a. Sort c, -5, o.
-5, c, o
Suppose -m = -5*f + 1, 0*m = 2*m - 2*f - 6. Put 5, -2, m in decreasing order.
5, m, -2
Suppose -3*p + 12 = 3. Let s = 1 - -1. Put p, s, 5 in decreasing order.
5, p, s
Let y = -10 - -40. Let t be ((-4)/y)/((-3)/5). Let w = 48 - 50. Put w, 1, t in descending order.
1, t, w
Let q = 3 + -6. Let o = 1 + -1.5. Let f = -0.8 - o. Sort -2/9, f, q in decreasing order.
-2/9, f, q
Let u be 4/16 - 297/(-12). Suppose -l + 6*l = u. Put -2, l, 1 in ascending order.
-2, 1, l
Suppose 2*h + 2*y - 2 = 0, -2*h - 3*h = -y + 25. Let v be 0*(4/8 + 0). Put v, h, -3 in ascending order.
h, -3, v
Suppose 24 = 3*z - 3*x, 4*z - 2 - 12 = -2*x. Let u = -5 + z. Sort -5, u, 4 in ascending order.
-5, u, 4
Let o = -0.66 + -0.04. Let x = 2.9 - -0.1. Sort x, -3, o.
-3, o, x
Let d(k) = k**3 + 5*k**2 + 2*k - 2. Let g be d(-4). Let j be (-38)/(-14) - g/(-21). Let t = 3 - j. Put t, 1/4, -0.3 in decreasing order.
1/4, t, -0.3
Let p(a) = 3*a**3 - 2*a**2 - 2*a - 1. Let h be p(-1). Let q = -4.4 + 4. Put h, -3, q in decreasing order.
q, -3, h
Let z be (6 - -4)/2 + -2. Sort z, -4, -2 in descending order.
z, -2, -4
Let y = -19.4 - -19. Let a = 3.6 - y. Sort 4/9, a, -0.5.
-0.5, 4/9, a
Let q = 5 - 3. Suppose -i + 7 = -4*m, -m - 2*i = -3*i - q. Let x be (-1)/m + (-11)/(-3). Sort -4/9, x, -0.1.
-4/9, -0.1, x
Let d(x) = -x**2 + 6*x + 5. Let j be d(7). Let t be (-1)/(2 - 1) - j. Suppose -5*y = -t - 9. Sort 5, -3, y in descending order.
5, y, -3
Let o(c) = c**2 - 3*c + 4. Suppose -4*h - 4*b = -b + 3, -2*b - 10 = 0. Let q be o(h). Put -0.3, q, 0 in descending order.
q, 0, -0.3
Let d = 10 - 9. Let j be d/4 + 21/12. Suppose -3*o = -4*u + 31 - 5, -4*u = j*o - 16. Put -1, u, 4 in descending order.
u, 4, -1
Let r = -12 - -16. Let p be ((-2)/r)/((-1)/(-8)). Sort 4, p, 1 in descending order.
4, 1, p
Suppose 2*k = k + 24. Let b be (2/(-4))/(2/k). Let s be b/(-10)*(-10)/(-2). Put 4, s, -2 in decreasing order.
4, s, -2
Suppose -4*y - 5*f = -25, f - 2 = 5*y + 3. Sort 6, y, -4.
-4, y, 6
Suppose -4*x = h - 2*h + 10, 0 = -4*h + 3*x - 25. Sort h, 4, 5, -4.
h, -4, 4, 5
Let j be 3 + (-24445)/(-351) + 1. Let d = j + 8/351. Let z = d - 73. Sort -2, z, -0.4 in ascending order.
-2, -0.4, z
Let p = 1.9 + -2. Let w = -15 - -25. Let u be (36/(-27))/(w/(-3)). Sort u, 2/13, p in descending order.
u, 2/13, p
Let n = 95 + -98. Put -1, n, 4, -2 in descending order.
4, -1, -2, n
Let o be (-212)/(-140)*1/(-6). Let p = o + 5/42. Sort p, -1/2, 3 in increasing order.
-1/2, p, 3
Let p = -0.5 + 1.5. Let c = 19 + -4. Let k be 2/(-10) + (-7)/c. Sort k, p, -2.
-2, k, p
Let n = -1.6 - -1.3. Sort -4, 3, n in decreasing order.
3, n, -4
Let f(y) = 4*y - 35. Let v be f(10). Put v, 1, -1, 12 in ascending order.
-1, 1, v, 12
Let y = -2.4 - -2. Let g = y + 0.2. Let n = 0.4 - -2.6. Put n, g, -0.1 in descending order.
n, -0.1, g
Let i(r) = -3*r**2 - 10*r + 1. Let w be i(-3). Suppose 0*q + 8 = -q. Put q, w, 2 in descending order.
w, 2, q
Let s = 11 - 15. Sort 4, s, 0.1 in descending order.
4, 0.1, s
Let p = 16 + 15. Suppose 2*w = 3*g - 3*w - p, 5*g = 3*w + 25. Suppose -3*f + 5 = 2*f. Sort f, -1, g in descending order.
g, f, -1
Suppose -13*q + 19*q = -54. Let i(f) = -f**2 - 7*f + 6. Let o be i(-6). Let j = o + q. Sort 4, 2, j.
2, j, 4
Let j(s) = -s**2 + 9*s + 9. Let y be j(10). Suppose -5*o - 2*v - 146 = -0*v, 2*o + 2*v = -62. Let p be o/(-15) + -1 + y. Put 0, 3, p in ascending order.
p, 0, 3
Let j be (-1 - -4)/1 + 2. Sort j, 1, 4.
1, 4, j
Let t be 19/(19/6) - (-2)/(-2). Let l = -4 + 5. Sort 0, l, t.
0, l, t
Let v(a) = 5*a**2 + 4*a - 4. Let n be v(-4). Let u be (2 - n/33)*-1. Let p = 4 - 6. Put 3, u, p in increasing order.
p, u, 3
Let o = 0.22 - 4.22. Sort o, -3, 3 in ascending order.
o, -3, 3
Suppose 1 - 5 = 2*i. Suppose 0*m - 3 = m. Sort i, m, 1 in descending order.
1, i, m
Let i be (-6)/27 + (-58)/(-18). Let j = 1 + i. Put -4, j, -3 in descending order.
j, -3, -4
Let g be 8/(-15) - 1/(-3). Let o = 0.88 - -0.12. Let a = o + 2. Put -2/7, g, a in decreasing order.
a, g, -2/7
Let j = 151