*c**3 - 3*c**2 + 7*c + 2. Let i be v(5). Put i, d, -1 in decreasing order.
i, d, -1
Let b = 15 - 16. Let c be b + 6/(-2) - -2. Sort 2, 6, c in decreasing order.
6, 2, c
Let z be -3*1*(-8)/6. Suppose 0*w = -5*u + 2*w + 25, 3*u + w - 4 = 0. Let v be ((-1)/(-3))/(u/18). Put z, 1, v in increasing order.
1, v, z
Let w = -61 + 54. Sort w, 2, -4, -3 in decreasing order.
2, -3, -4, w
Let j = 1 - 0. Suppose 0 = -y + j - 6. Put 1, 4, y in ascending order.
y, 1, 4
Suppose -3*y = -7*y. Suppose f = -1 + 5. Sort y, -4, f.
-4, y, f
Let g = 10 + -14. Let u be 6/(1/(g/8)). Sort 3, -1, u in descending order.
3, -1, u
Suppose 0*o = 2*o. Suppose -4*g + 2*f - 16 = g, 0 = -g + 3*f + 2. Sort 5, g, o in descending order.
5, o, g
Suppose 5*i + 5*q = 30, -3*q = i + i - 17. Put i, 4, 0.2 in ascending order.
0.2, i, 4
Let f = -31/182 + -3/26. Put 1/3, f, 3/4 in increasing order.
f, 1/3, 3/4
Let j be (-4 - 10)*(-3)/2. Sort j, 0, -1 in decreasing order.
j, 0, -1
Let h = -5 + 3. Suppose 0*n + 5*m = -n + 29, 0 = -n + 4*m - 16. Put h, n, 0 in ascending order.
h, 0, n
Let a = 2.1 - 2. Put -0.3, a, 4 in decreasing order.
4, a, -0.3
Let k = 5.7 - 8.7. Sort 5/2, k, 1/8, 0.1.
k, 0.1, 1/8, 5/2
Let o = 11 - 15. Sort o, -3, -1 in decreasing order.
-1, -3, o
Let p = 2.3 + -7.3. Put p, 2, 0 in decreasing order.
2, 0, p
Let u(d) = -d**2 + 2*d**2 + 10 - 3 - 10*d + 0*d**2. Let r = -14 + 23. Let l be u(r). Put l, -4, -1 in ascending order.
-4, l, -1
Suppose 4*d = -5*r + 18, -2*d - 2*r = -11 + 3. Put d, -4, 1/5, 20 in ascending order.
-4, 1/5, d, 20
Let p = 0.7 + -3.7. Sort 3/5, -0.4, p.
p, -0.4, 3/5
Let b = -0.04 - -2.04. Let u = 610 + -605. Sort 0.01, b, u in decreasing order.
u, b, 0.01
Let o = 457/7 + -65. Put -6, -3, o in descending order.
o, -3, -6
Let r = -62 + 44. Let p = 21 + r. Sort p, -2, 1 in increasing order.
-2, 1, p
Let d = -7.46 + 0.06. Let j = d + 7. Put j, 0.3, 0.2 in increasing order.
j, 0.2, 0.3
Suppose q + 3*m = 5, -5*q - 1 = -m + 6. Sort 3, -3, q.
-3, q, 3
Let h = 25 + -30. Sort h, -1, 4.
h, -1, 4
Let n = 4 + 0. Let a = n + -2. Let x be 1/(-2) + 1/a. Sort 4/5, x, -0.1 in increasing order.
-0.1, x, 4/5
Let t be 4/(36/(-57))*-3. Suppose 5*j + 4 = t. Let o = 2 - 2. Put o, 5, j in descending order.
5, j, o
Let i = 74 - 95. Sort i, -0.5, 0.5, 4 in ascending order.
i, -0.5, 0.5, 4
Suppose -4*d - 7 = -w, 0 = -3*w + 2*w - d + 2. Suppose 0 = 5*b + 5*j, 3*j = b - 0*j + 16. Let v be 6/b*(-4)/w. Put -1, -5, v in decreasing order.
v, -1, -5
Let p = 1263/8 + -158. Put -3, -1/24, 1/7, p in descending order.
1/7, -1/24, p, -3
Let f = -1.4 + 6.4. Sort -0.2, 1/2, f in ascending order.
-0.2, 1/2, f
Let a = 63 - 69. Sort 4, 3, a, 2 in descending order.
4, 3, 2, a
Let w = 0.25 + -0.07. Let s = w + 0.12. Sort 0.4, 2/9, s in decreasing order.
0.4, s, 2/9
Let t = -0.59 - -0.09. Put 4, -1/6, t in increasing order.
t, -1/6, 4
Let d = 1 + -1.2. Suppose -5*p + 142 = -5*u - 123, -4*p + 236 = 4*u. Let x = 337/6 - p. Put 3/5, x, d in ascending order.
d, x, 3/5
Let i = 0.05 - 5.05. Let b be (-2 - -4)*1 - 2. Suppose b = -3*h + h. Sort 0.5, i, h.
i, h, 0.5
Suppose 5*w = 7 + 8. Suppose 5*k + 0*d - 2*d + 31 = 0, 4*d + w = -3*k. Sort 5, k, -2 in ascending order.
k, -2, 5
Suppose 0*y - 5*y = 5*r + 5, 0 = -2*y + 8. Let g(w) = 2*w**3 - 4*w**2 + 2*w - 1. Let t be g(2). Sort -2, r, t.
r, -2, t
Let j be 12/3 - -2 - 1. Let z = j + -8. Let u be -1 + -4 + -4 + 4. Sort 4, u, z in descending order.
4, z, u
Let y = 24.005 + -0.005. Let z = y - 23.98. Put -0.4, z, 4 in increasing order.
-0.4, z, 4
Let r = 8 - 11. Put -3/4, r, 0 in descending order.
0, -3/4, r
Suppose 0 = -4*v + 4*a - a + 11, v + 4*a = -21. Suppose -h - 1 = -3. Suppose -h*i = i - 6. Sort -3, v, i.
-3, v, i
Let x be (-4)/(-10) - ((-36)/10 + -1). Sort -4, x, 1, -2 in increasing order.
-4, -2, 1, x
Suppose -4*u - 6*u + 0*u = 0. Sort -3, u, -4.
-4, -3, u
Let k(j) = j - 3. Let x be 2 - 0 - (2 + -4). Suppose -x*d = -3 - 17. Let h be k(d). Put -5, 4, h in increasing order.
-5, h, 4
Let q be 12/(-10)*20/(-8) - 26. Put -5, q, -1 in increasing order.
q, -5, -1
Suppose -6 = l + 1. Let p be (-10 - l) + -1*2. Put 5, -4, p in increasing order.
p, -4, 5
Let c = -0.169 - -0.129. Sort -0.2, c, -0.1.
-0.2, -0.1, c
Let q = -0.3 + -2.7. Let h = 2 - q. Sort 0.1, h, -1 in increasing order.
-1, 0.1, h
Suppose 2*k = i - 0*k - 5, 3*i - 3*k - 9 = 0. Put i, 7, 0 in decreasing order.
7, i, 0
Let o = 2 - 2.4. Suppose -7*l = -5*l. Suppose l*s = -6*s. Sort -0.1, s, o in increasing order.
o, -0.1, s
Let x be -2 - 7/(147/(-48)). Put -1/4, 3, x in increasing order.
-1/4, x, 3
Let o be 2/(-3) + (-12)/(-27). Sort o, -8, 5 in descending order.
5, o, -8
Let s be (-2)/6 + 7/3. Let k(o) = 3*o - 23. Let y be k(9). Let v = -12 - -17. Sort s, y, v in descending order.
v, y, s
Let r be ((-4)/(-24))/(2/(-8*1)). Put 1/3, r, 2 in increasing order.
r, 1/3, 2
Suppose -o = 2*o + 4*c - 17, -4*o - 19 = -3*c. Let y(h) = -h - 6. Let f be y(-6). Suppose -4*v + x + 5 = f, -2*x + 3 = -3. Put o, v, -2 in increasing order.
-2, o, v
Suppose 16 = 8*u - 8. Put -8, 1, u in descending order.
u, 1, -8
Let g be 2*(84/(-8))/(-7). Put 0.5, g, -0.5 in descending order.
g, 0.5, -0.5
Let k = -0.149 - -0.138. Put -0.4, -4, k in decreasing order.
k, -0.4, -4
Suppose h - 8 = 2*h. Let a be 1 + (-14)/h + -2. Sort a, -0.1, -3/5 in descending order.
a, -0.1, -3/5
Let b = -0.419 - -0.019. Sort -1, 0.06, b, 0.4 in ascending order.
-1, b, 0.06, 0.4
Let d = 32 - 47. Let a be (-6)/(-9)*(-21)/(-7). Let g be (-13)/d - a/3. Sort -1, g, -5 in descending order.
g, -1, -5
Let b = 0.9 - -0.1. Let l = -0.6 - -0.9. Let r = l - 2.3. Put 5, r, b in ascending order.
r, b, 5
Suppose -4*m - 2*q - 14 = 0, -m + 0 - 8 = -q. Let b be 116/14 - 2/7. Suppose 0 = -4*f - j + 7, 0*j + j + b = f. Sort 2, f, m in decreasing order.
f, 2, m
Let c = -178/3 - -59. Put 3/4, 1, c, 2 in ascending order.
c, 3/4, 1, 2
Suppose 3*j - 156 = 2*m, -5*m + m = 3*j - 138. Put 3, -3, j, -0.2 in increasing order.
-3, -0.2, 3, j
Let m = -7 + 4. Sort 4, -0.2, -2/7, m.
m, -2/7, -0.2, 4
Let d(k) = k**2 - 7*k + 12. Let f be d(5). Put f, 7, 3 in increasing order.
f, 3, 7
Let s be (-2)/5*(1 + 1 + -7). Suppose -28 = -h - 3*h - 3*w, -2*h = -4*w + 8. Put h, 5, s in ascending order.
s, h, 5
Let h be (-1002)/(-30) - -4 - 3/(-5). Put h, 5, 4 in ascending order.
4, 5, h
Suppose -3*v = v - 16. Let g(w) = w - 1. Suppose -x = -0 - 4. Let f be g(x). Sort f, v, -1.
-1, f, v
Let q = 0.64 - 0.6. Let z = q - 0.14. Sort z, -0.4, 0.1 in descending order.
0.1, z, -0.4
Let f(l) = l**3 - 2*l**2 - 6*l - 5. Let h be f(4). Sort 2, -0.2, 1, h in descending order.
h, 2, 1, -0.2
Let v = -7.5 - -4.4. Let u = v - -3. Sort u, -2/11, -0.3.
-0.3, -2/11, u
Let w(d) = -2*d**2 - 27*d - 15. Let v be w(-13). Sort 1, v, 33 in decreasing order.
33, 1, v
Let f(a) = -2*a + 12. Let c be f(8). Let y = 0 + 0. Let r(g) = 3*g**2. Let u be r(-1). Put u, c, y in increasing order.
c, y, u
Suppose -3*u - 21 = -3*x, 5*x = -0*u - 5*u + 5. Suppose -4*l + 8 = 4*p, x*p - 3*p + 4 = l. Suppose -25 = 2*m + 5*y, 5*y + 40 - 15 = 3*m. Sort l, m, 4.
m, l, 4
Suppose 6*d = 2*d. Put d, 3, 10 in decreasing order.
10, 3, d
Let p(h) = 2*h + 19. Let g be p(-9). Sort g, 0.1, 0.2.
0.1, 0.2, g
Let y be 54/(-56) + 8/(-28). Put 0, y, 1/8 in ascending order.
y, 0, 1/8
Let z be (6 + -9)*28/3. Let b be 1/z + 1/(-4). Let i = 1.6 + -2. Sort 1/2, b, i.
i, b, 1/2
Let a = -0.35 - -0.3. Let h = 0.11 + a. Let g = h - -4.94. Sort g, -2, 2/9 in increasing order.
-2, 2/9, g
Let s = 5.1 - 0.1. Let j = -5.02 + 5. Let k = 0.52 + j. Sort s, k, 4.
k, 4, s
Let w = 0 + 0. Let l be 18*-4*1/(-6). Let h be (-5)/3 - 4/l. Put w, h, 1 in ascending order.
h, w, 1
Let g be (-3)/(9/(-12))*1. Suppose -r + 12 = 3*r. Suppose -r*x - 5*t = -32 + 4, -3*t = -15. Put -4, g, x in decreasing order.
g, x, -4
Let i be ((-9)/42)/((-189)/(-12)). Let r = i - -65/147. Sort 1, r, 4.
r, 1, 4
Let i be (3 + 2)*1/1. Suppose 0 = 2*c + 3*y - 6, 3*y - 1 - 11 = 0. Sort 0, i, c.
c, 0, i
Let x(k) = -k - 1. Let j be x(-4). Suppose -d = d - 28. Suppose -3*a + d = -2*w, j*w + 1 = -5*a + 18. Put -1, a, 5 in descending order.
5, a, -1
Let b = -193 - -191. Sort b, -4, 5 in descending order.
5, b, -4
Let d(r) = r. Let z be d(-1). Sort -2, -0.1, z, 2/3 in decreasing order.
2/3, -0.1, z, -2
Let d(a) = a**3 - 5*a**2