 0. Let y = m + l. Sort 0.5, y, 4.
y, 0.5, 4
Let a be ((-72)/30)/(3/(-30)). Sort 1/2, a, 2 in decreasing order.
a, 2, 1/2
Suppose 8*l - 3*l - 2*d = 9, 4*l - 14 = 5*d. Let n = -0.6 - 0.4. Put 3/2, l, n in descending order.
3/2, l, n
Let h = -0.15 + 0.25. Put -1, h, 5 in decreasing order.
5, h, -1
Let s be (-60)/(-40)*(-4)/(-3). Put -5, 0, -4, s in ascending order.
-5, -4, 0, s
Let j be (-1)/((-15)/(-5) - -2). Suppose 0 = -4*z - 14 + 38. Suppose -m - u = 1, -2*m + u = -u + z. Put m, 4, j in descending order.
4, j, m
Let p = 1 - 0. Let v be (-14)/(-6) - 10/(-15). Suppose -m = v*m - 8. Put m, p, -2 in decreasing order.
m, p, -2
Suppose -g = g - 14. Let a = -9 + g. Put 2, a, 4 in ascending order.
a, 2, 4
Suppose 4*d - 4 + 0 = -4*c, 0 = 5*d - 4*c - 23. Suppose d*u - u = 0. Let m = 0.6 - 0.2. Sort -2, u, m in decreasing order.
m, u, -2
Let q be (-270)/4*(-12)/5. Let h = q + -1456/9. Let l = 0.05 - 5.05. Put h, 1, l in decreasing order.
1, h, l
Let b = -1 + -12.2. Let h = 13 + b. Sort h, 2, -0.4.
-0.4, h, 2
Let b be (-6)/(-9) - 22/24. Suppose -4*g + 26 = 5*j, -2*g + 5*j - 5 = -3. Let m be g/(-2)*(-2)/(-5). Sort m, -4, b in ascending order.
-4, m, b
Let x be (-2)/(1/(0 - -1)). Let s(o) = -o**3 - 4*o**2 + 2*o - 13. Let i be s(-5). Put i, 1, x in decreasing order.
i, 1, x
Suppose -4*d = -6*d + 2. Sort -1, d, -3 in increasing order.
-3, -1, d
Let l(u) = -10 + 4 - u**3 - 6*u + 7*u**2 + 0*u**3. Let r be l(6). Let w = r + 1. Sort -4, w, -3 in ascending order.
w, -4, -3
Let d = -11 + 7. Let g be (-2)/((-8)/(-6) - 2). Let f(c) = c**3 + 5*c**2 - 5*c + 1. Let a be f(-6). Sort g, d, a in increasing order.
a, d, g
Let p(n) = -5*n**2 + n - 1. Let o be p(1). Let h = 0 - -2. Suppose -5*t - h = -3*t. Sort o, t, 0.
o, t, 0
Let o be (1/3)/(21/(-27)). Put 1/3, -0.4, o, 6 in descending order.
6, 1/3, -0.4, o
Suppose -5*p - 5 = 5*s, 3*s - 7*p = -2*p + 21. Let t be 30/(-56) + 2/8. Sort t, 1, s.
t, 1, s
Let z = -448 + 444. Let n = -0.1 - -0.1. Put z, n, 5/4 in ascending order.
z, n, 5/4
Let w = 11 - 11.02. Let z = -0.38 + w. Put -0.2, -2/9, z in descending order.
-0.2, -2/9, z
Suppose 0 = -2*t - 2. Suppose a + 7 = k - 0, 4*k - 2*a = 18. Sort t, -2, k in ascending order.
-2, t, k
Let b = -24 + 23.6. Put -5, -13, b in descending order.
b, -5, -13
Let p be -1 + (2 - (-3 - -5)). Put 0, p, 3 in decreasing order.
3, 0, p
Suppose -a - h = 2, 3 = -4*h - 13. Suppose 1 = -a*z + 25. Let x be 3/(-2)*40/z. Put 2, 0, x in decreasing order.
2, 0, x
Suppose 0 = 3*m - 58 - 14. Suppose 0 = y - 2*r + 4, -2 + 7 = y + r. Suppose -5 = -y*a + 5*c, 3*c + 8 = 5*a + m. Sort a, -1, 4.
a, -1, 4
Let c = 20 + -20.1. Sort -3, -15/11, c in descending order.
c, -15/11, -3
Suppose 0 - 9 = 3*j. Let v be (-2)/((-1)/((-4)/(-1))). Suppose h + 8 = 5*k + 5*h, -2*k - v = -4*h. Put 2, j, k in increasing order.
j, k, 2
Let r be 0 + (0 - -2 - 0). Let n be r/11 + (-53)/(-11). Sort n, -2, 1 in decreasing order.
n, 1, -2
Let h be 27/(-84) - (-3)/(-12). Let i = -11 - -8. Let y = 5 + -2. Sort i, h, y in descending order.
y, h, i
Let s = -6858 - -34399/5. Let g = -23 + s. Put -3/7, -0.4, g in increasing order.
g, -3/7, -0.4
Let m(r) = -r**2 - 18*r - 20. Let l be m(-17). Sort 6, l, 0.
l, 0, 6
Let z = -7 + 11. Suppose -z*n + 14 = -86. Suppose -4*w = w + n. Sort w, 4, 2 in descending order.
4, 2, w
Let o = -1.04 + 0.6. Let c = o + -0.06. Let i = c + 0.1. Sort 3/7, -4, i in decreasing order.
3/7, i, -4
Let l = -4 + 0. Let k = -7 - -10. Suppose -5*m + k*m = 3*a + 7, -5*a = 4*m + 9. Put -1, m, l in descending order.
m, -1, l
Let s(g) = g**2 + 15*g + 36. Let h be s(-12). Put h, -4, 6 in decreasing order.
6, h, -4
Let q = 5 - 6.1. Let m = q + 0.6. Let w = 0.1 + m. Put 2, w, -3/7 in descending order.
2, w, -3/7
Suppose -5*s + 0*k - 4*k = 12, 5*s = 2*k + 6. Let p = 1 + s. Let u be (p - 1)/(-2) + 0. Sort 3, -4, u.
-4, u, 3
Let g = -11.5 - -11. Let t = 0 - -0.3. Put t, g, 4 in ascending order.
g, t, 4
Let n = 0.6 + -0.3. Let h = 0.29 - n. Let j = -1.99 + h. Put -3/5, j, -3 in decreasing order.
-3/5, j, -3
Let s be ((-2)/6)/((-1)/15). Suppose 3*n + s = -1. Sort 3, -4, n in descending order.
3, n, -4
Let z be ((-8)/(-16))/(1/10). Let o = 0.05 + 1.95. Sort o, z, -6/7 in increasing order.
-6/7, o, z
Let o(c) be the second derivative of c**3/6 - 13*c**2/2 + 3*c. Let s be o(9). Put -5, -5/3, s in increasing order.
-5, s, -5/3
Suppose -i = -2*o, 2 = 4*o - 9*o + 2*i. Suppose -2*q = 3*t - 3 + 7, -t = q. Put o, 4, t in decreasing order.
4, o, t
Let d = -273 - -272. Let x(i) = i**3 - 4*i**2 + 3*i. Let p be x(2). Let u = 2 + p. Put u, 4, d in ascending order.
d, u, 4
Let c = 0.4 - -4.6. Let j = c + -2. Put -1, j, 2 in ascending order.
-1, 2, j
Let g(i) = i**3 - 4*i**2 + i + 4. Let z be g(3). Let w(d) = -2 + 5 + 7 + d. Let y be w(-10). Sort y, -1, z in ascending order.
z, -1, y
Let a be (-4)/10 - 28/(-70). Let q be 23/7 + (-4)/14. Sort q, a, -2 in descending order.
q, a, -2
Let x = 51.77 - 52. Let q = x - -0.53. Put q, 4, -2/11 in decreasing order.
4, q, -2/11
Let m = 2 - 3. Let j = -3 + 1. Suppose 0 = -0*g + 3*g. Sort j, m, g.
j, m, g
Let j = -135 - -139. Put j, -1/6, 0.4, -2 in ascending order.
-2, -1/6, 0.4, j
Let k = -3.3 + 0.3. Put k, -4, -2/7 in decreasing order.
-2/7, k, -4
Let m(p) = -p**3 - 11*p**2 + 14*p + 19. Let i be m(-12). Sort 4, -3, 3, i in increasing order.
i, -3, 3, 4
Let y(z) = -z**2 + 11*z + 12. Let f be y(12). Put 1, 4, f, 3 in ascending order.
f, 1, 3, 4
Let j be 1/3 - 116/(-12). Let u be -2*1*j/(-4). Let w be 2/42*69 + -3. Sort u, w, 3/7.
w, 3/7, u
Let u(i) = -8*i**2 + i + 1. Let q be u(2). Let z = 144/5 + q. Sort -2, 0.5, z.
-2, z, 0.5
Let z be (8/7)/((-2)/(-7)). Let x be (-6)/z*(-8)/(-3). Sort 3, x, -1.
x, -1, 3
Suppose 3*w + 20 = -5*s, 3*s - 20 = 8*s - 5*w. Suppose 0 = -0*n + n + 2. Suppose 5*a - 4*v - 8 = 8, 0 = -3*v + 3. Sort a, n, s in decreasing order.
a, n, s
Let b = -0.77 - -0.27. Put -3, b, 2/3 in decreasing order.
2/3, b, -3
Suppose 5*p = p + 20. Let w(i) = -i**2 + i + 2. Let l be w(3). Put -3, l, p in ascending order.
l, -3, p
Let y be -1 + (-2 - 16) - (0 - 1). Sort y, -2, 5 in descending order.
5, -2, y
Let b = 20/29 - 1042/1595. Sort -0.3, b, 1/5, 4 in increasing order.
-0.3, b, 1/5, 4
Let l = 0.115 - 0.015. Put -4, l, 2/5 in decreasing order.
2/5, l, -4
Let r = 3 + 4. Let i = r - 3. Sort i, -5, 3 in descending order.
i, 3, -5
Let v(w) = 2*w**2 - 4*w + 2. Let r be v(4). Let g = r - 22. Let o = 2 + 1. Sort o, g, 5 in decreasing order.
5, o, g
Suppose -5*b + 20 = -b. Let a be (-5)/(-6)*8/20. Put -2/17, b, a in increasing order.
-2/17, a, b
Suppose 0 = -4*l + 3*l. Let f be -2*(0 + l + -1). Suppose 1 = 4*u - 4*q - 3, 2*q = u - f. Sort -1, -5, u in increasing order.
-5, -1, u
Let c = -78 + 236/3. Let z = -1.01 - -0.01. Let u = 8 - 3. Sort z, u, c in descending order.
u, c, z
Let i = -2/31 + 76/217. Let h = 1367/5 - 274. Sort i, 2/9, h in descending order.
i, 2/9, h
Suppose 0 = 6*p - p - 2*p. Sort -2, p, -6 in ascending order.
-6, -2, p
Let r be (-5)/((-70)/(-4)) + 72/(-42). Sort r, -5, 3, -3.
-5, -3, r, 3
Let d = -4 - 1. Sort d, -2/33, 0 in descending order.
0, -2/33, d
Let f(w) = -w + 9. Let c be f(5). Suppose -c*g = -6*g + 6. Let k = 2 - 1.5. Put -3, g, k in decreasing order.
g, k, -3
Let f(v) = v**3 + 7*v**2 - 9*v - 7. Let n be f(-8). Suppose w = -3 - 2. Sort n, w, 0 in descending order.
n, 0, w
Let t = 5788/13 + -445. Sort -4/3, -2, t in increasing order.
-2, -4/3, t
Let l = -3 + 0.5. Let i = l - -0.5. Put -0.4, -1, i in decreasing order.
-0.4, -1, i
Suppose -6*r = -3*r - 12. Put 1, 2, 5, r in descending order.
5, r, 2, 1
Let f(o) = -o**2 + 13*o + 1. Let p be f(13). Put p, -4, 3/4, -5 in ascending order.
-5, -4, 3/4, p
Suppose 0 = -3*r + 12, -4*p - 3*r = -0*r - 20. Suppose -p = z - 3. Put z, 5, -3 in ascending order.
-3, z, 5
Let p be (2/(-5))/(4/(-1)). Let d = -4 + 4.2. Let r = d + -0.6. Sort r, -3, p in descending order.
p, r, -3
Let c = -6 + -1. Let m = -6.5 - c. Sort -1, -3, m in decreasing order.
m, -1, -3
Suppose -v = v + 4*p, -5*v = -4*p - 14. Let r be 1 - (v - (-1 - -4)). Suppose -r*a = -5*a + 9. Sort -1/2, 2/15, a in decreasing order.
a, 2/15, -1/2
Let x = 0.7 - -0.3. Let l = 0.48 - 0.5. Let s = -0.12 - l. Put 3/5, s, x in decreasing order.
x, 3/5, s
Suppose -3 = -2*b + 2*p - 17, -3*b - 5*p + 3 = 0.