et n = y + -4. Put 2, n, 4 in decreasing order.
n, 4, 2
Let l = 126/5 + -129/5. Let k = -7 + 6.6. Sort 9, k, l.
l, k, 9
Let y = 0.14 - -8.86. Let b = y - 5. Put -5, b, -2 in ascending order.
-5, -2, b
Let h(l) = l**3 + l**2 - l + 2. Let f be h(0). Suppose 0*y = y - w - f, 5*w = 15. Suppose -5*j + 0*j - 10 = 0. Sort y, 4, j.
j, 4, y
Let u = 11 - 6. Let a = 6 - u. Put 5, a, 0.4 in descending order.
5, a, 0.4
Suppose -2*y - 4 = -0, 3*k - 2*y = -11. Sort 0, 1, k.
k, 0, 1
Let j be (-8)/6*(2 - -1). Sort 5, j, 1, 4.
j, 1, 4, 5
Let g be 8/(-20)*-1*20. Let u = g - 5. Sort u, 2, 0.
0, 2, u
Suppose -10 = -2*b - f, -3*b = -b - 2*f + 2. Let l(j) = -9*j + j**2 + 1 - 4 + 1. Let w be l(9). Sort -4, b, w in descending order.
b, w, -4
Let a = -13.97 + 14. Let u = a + -5.03. Sort 1/7, -0.4, u in increasing order.
u, -0.4, 1/7
Let k = 0.4 - 0.8. Let p = -1 - -1.1. Sort p, k, 4 in descending order.
4, p, k
Let z = 34 - 39. Let v = 1/3 + -1/12. Sort z, 0.5, v in increasing order.
z, v, 0.5
Let z(h) = -h**3 - 10*h**2 - h - 5. Let l be z(-10). Sort l, 4, -7 in descending order.
l, 4, -7
Let t be ((-7)/21)/(1/3). Let o be 4/(-10) + 51/15. Let h = 8 + -11. Put t, o, h in decreasing order.
o, t, h
Suppose 0*t - u - 2 = -2*t, 0 = -4*u + 8. Let v(g) = -g**3 - 7*g**2 - 7*g - 5. Let f be v(-5). Let p be (-2)/2*20/f. Sort -4, p, t in decreasing order.
t, p, -4
Let b be (-1)/(-2) - 14/4. Let k be ((-40)/(-2))/4 + -4. Sort b, k, 2 in ascending order.
b, k, 2
Let q(y) = y - 6. Let p be q(3). Suppose 0*b + 4*b = 0. Let u(m) = -m. Let v be u(5). Sort p, b, v.
v, p, b
Let y be ((-8)/3)/(8/(-12)). Suppose y*s - 5*i = 40 - 13, -9 = s + 4*i. Suppose 3*a = 9, 4*c + a - 23 = -0*a. Sort c, 2, s in ascending order.
2, s, c
Let a(g) = g**2 + 5*g - 7. Let k be a(-6). Suppose 13*q = 5*q - 40. Sort 1, k, q in descending order.
1, k, q
Let r = -0.1 + -1.1. Let k = r - -0.2. Let y = -3.7 + 4. Put -3, k, y in decreasing order.
y, k, -3
Let m = -1 - -0.2. Let h = m + 0.3. Let s = 0.08 + -3.08. Put s, h, -3/5 in descending order.
h, -3/5, s
Suppose -4*u = l - 19, l + 8 = -3*u + 22. Put u, -3, -5, 4 in ascending order.
-5, -3, 4, u
Suppose 0 = 4*r - 3*r - 6. Let h be (0 + -2)/(r/(-15)). Put h, -5, -3 in ascending order.
-5, -3, h
Let v(w) = -w**3 - 2*w**2 + 3*w - 1. Let r be v(-3). Sort -2, 1, r in ascending order.
-2, r, 1
Let r be -3*(-1 - 1) - 1. Suppose -3*k - 12 = 0, -4*i = -i + 2*k - 4. Let l(t) = -6*t - 35. Let y be l(-6). Put r, y, i in increasing order.
y, i, r
Let x(m) = m**2 + m + 1. Let h(w) = -w**2 - 1. Let r be h(-1). Let l be x(r). Put -5, 0, l in increasing order.
-5, 0, l
Let p = 3 - 0. Put -4, -2, 5, p in decreasing order.
5, p, -2, -4
Let g = -2 - -1.8. Let f = g + 1.2. Let o = f + 4. Put -4/3, o, -5 in descending order.
o, -4/3, -5
Let h be (9/108)/((-8)/(-12)). Let f = -2.5 + 0.5. Put -5, f, h in increasing order.
-5, f, h
Let k be (4*-1)/(7 + -5). Let v be k/6 + (-1)/(-3). Sort 1, v, -3.
-3, v, 1
Let w = -812 - -4088/5. Let z = -94/15 + w. Let k(h) = 15*h + 10. Let i be k(-1). Sort z, 2, i.
i, z, 2
Let k = -544 + 545. Let u be 14/(-8)*-1*4. Put u, k, 3 in increasing order.
k, 3, u
Let s = 10 + -8. Suppose -s*a + a = -2. Put -1, 4, a in decreasing order.
4, a, -1
Let z = 7.8 - -2.2. Let g = -6 + z. Let c = -11.9 - -12.1. Put -2/11, g, c in descending order.
g, c, -2/11
Let v = 60 + -63. Put -1, v, 4, 2 in decreasing order.
4, 2, -1, v
Let b = 12 - 17. Let w = -7 - b. Let k = 0 + 4. Put -0.1, k, w in descending order.
k, -0.1, w
Let z = -0.472 - -0.172. Let x be (-2)/(-8) + (-3)/(-4). Put x, -8, z in decreasing order.
x, z, -8
Let j = -23 + 21. Sort -5, 3, j, 4 in descending order.
4, 3, j, -5
Suppose -t - 1 = 0, -i + t + 2*t + 4 = 0. Let v be ((-4)/(-1) - 9) + i. Put 0, v, 1 in ascending order.
v, 0, 1
Let c = 0.1 + 0.1. Let w = 0 + c. Let t = 42 + -42.3. Sort t, -4, w in decreasing order.
w, t, -4
Let u(c) = -2*c - 3*c**2 - c**3 + 2*c + 1. Let r be u(-3). Suppose 0 = -4*o - q + 12, -2*o + 4 + 12 = 3*q. Put o, 4, r in increasing order.
r, o, 4
Let w = 0.2 + -0.3. Let y = 141/655 - 2/131. Sort 0.5, y, w.
w, y, 0.5
Let i(n) = -n. Let a be i(-1). Let r(m) = -2*m**2 - 4*m + 2. Let z be r(-3). Put z, -3, a in descending order.
a, -3, z
Let j be (3 + (-10)/4)*0. Let a be (-114)/(-22) - ((-342)/(-66) - 5). Suppose 4*i = k - 22, 3*k = 6 - 0. Put j, i, a in descending order.
a, j, i
Let h be (-2)/(-8) - (-57)/(-36). Sort -0.2, -2/7, h in ascending order.
h, -2/7, -0.2
Let v be 9/2*(-6)/(-9). Suppose -4*j + 0*j = -8. Put v, j, 1 in ascending order.
1, j, v
Let k(f) = 2*f**2 - f - 1. Let h be k(0). Put h, 5, 2 in decreasing order.
5, 2, h
Let i = -244/65 + 18/5. Sort -2, -4, i.
-4, -2, i
Let m(i) = -i - 6. Let q be m(-5). Let j(l) = l**2 + 16*l - 2. Let y be j(-16). Sort -5, y, q in descending order.
q, y, -5
Let l = 3 - 0. Let t be -2 - (l + (-1 - 9)). Let n(u) = u**2 - 4. Let c be n(0). Sort 3, c, t in increasing order.
c, 3, t
Let z = -23 - -21. Sort z, 2, -4.
-4, z, 2
Let a = -7.7 + 2.7. Sort -1, a, 1.
a, -1, 1
Let c = -496/3 - -166. Sort 5, c, 2, -2/7 in decreasing order.
5, 2, c, -2/7
Suppose -42*d = -44*d + 50. Sort d, -1, -5 in decreasing order.
d, -1, -5
Suppose 2*k + 0*k + 1 = -3*f, -f + 23 = -4*k. Let u(n) = 3*n + 12. Let l be u(-3). Sort -3, l, k in increasing order.
k, -3, l
Suppose 3*w + 2*n = -2, w = 2*n - 3*n - 1. Let c = -547/920 + -1/184. Sort w, c, 0.3.
c, w, 0.3
Let h(f) = f**2 + 13*f + 15. Let y be h(-12). Suppose 2*l = y*n + 5*l - 24, 3*n - 4*l = 3. Let o = -10 - -6. Put o, n, -3 in decreasing order.
n, -3, o
Let i be 3/5 + (-37)/(-5). Let x = i - 8. Let m be -3 + x - (-2)/2. Put -3, m, 2 in decreasing order.
2, m, -3
Let z = 0.05 - -1.45. Let k = z + -1. Let r = 6 - 4. Sort r, 0.3, k in ascending order.
0.3, k, r
Suppose 0 = 4*v + 71 - 23. Let q be (-16)/v + 4/6. Let d = -0.05 + -1.95. Put q, -0.2, d in decreasing order.
q, -0.2, d
Let g = 4 - 4.4. Let s = 0.06 - 2.06. Let x = -2.3 - s. Sort x, g, -3.
-3, g, x
Suppose 15*p = -21*p - 3*p. Suppose 0 = 3*u - 2*u. Suppose o = -u*o - 4. Put p, -0.4, o in increasing order.
o, -0.4, p
Suppose -29 = -2*n + 5*u, 2*n + 9 = -n - 3*u. Put n, -41, -5 in decreasing order.
n, -5, -41
Let t = 93 - 93.02. Put t, -4/7, -3, 2/13 in ascending order.
-3, -4/7, t, 2/13
Let a be (1 - 3)*(-20)/8. Suppose 0 = -2*u - a - 5. Sort 4, -1, u in ascending order.
u, -1, 4
Let h = 1 - 3. Let a = h + 6. Let f be (-2)/(4/3)*2. Sort 2, a, f.
f, 2, a
Let i = 1.1 - 1. Let o = 5.1 - i. Put o, -2/5, -2 in decreasing order.
o, -2/5, -2
Suppose -4*g + 8 + 8 = 0. Suppose -z + 0 = 2*y + 1, -z + g*y + 17 = 0. Sort -3, z, -1 in decreasing order.
z, -1, -3
Let y be (-12)/16 + (-3)/(-4). Suppose y = 6*h + h - 21. Sort 5, -1, h.
-1, h, 5
Let h = -15/4 - -43/12. Let o = 12 + -12.14. Let s = o - 0.06. Put h, s, 5 in ascending order.
s, h, 5
Let q = -0.41 - -0.11. Sort -3/8, 4, q in ascending order.
-3/8, q, 4
Let v = -13 - -8. Put 4, v, -3 in ascending order.
v, -3, 4
Suppose 3 = 3*f - 6. Suppose -f = u - 6. Put u, -2/11, 4 in descending order.
4, u, -2/11
Let k = 11.3 - 11. Let n be 4/(-3) - 4/(-6). Sort -1/10, n, k in ascending order.
n, -1/10, k
Let q = 0.27 + 16.23. Let c = q - 17. Sort -3, -0.01, c.
-3, c, -0.01
Let y be (3/(-4))/(18/(-24) + 1). Sort 5, y, 8 in descending order.
8, 5, y
Suppose -5*f = 4*t - 25, 2*t - 20 = -2*t. Put -0.4, f, -1, 4 in increasing order.
-1, -0.4, f, 4
Suppose -10 = t - 5*f, 5*t + f - 13 = 5*f. Sort -4, t, 4.
-4, 4, t
Let q = 4 + -8. Let c(d) = -d**2 - 6*d + 8. Let h be c(-7). Put 5, h, q in ascending order.
q, h, 5
Let v = -62 + 61.92. Sort 0, -3/4, 2, v in decreasing order.
2, 0, v, -3/4
Let a = -37 + 39. Sort -2, 0.1, a, 3/4 in ascending order.
-2, 0.1, 3/4, a
Let v = -7 + 6.7. Let w = 16 - 10. Let j be (-2)/(-4) - 11/w. Put v, j, -4 in descending order.
v, j, -4
Suppose -x - 43 = -0*x - 3*j, 2*j = 4*x + 132. Let c be (-2)/(-11) + x/(-11). Suppose -4*k - k = 5*z - 30, -5*z + 22 = -c*k. Put 1, -5, z in descending order.
z, 1, -5
Let n = -2 - -2. Let r = n - 0.4. Suppose t - 4 = -7. Put t, -5/4, r in descending order.
r, -5/4, t
Let m(y) = y**3 - 10*y**2 + y - 10. Let v be m(10). Put v, -1, -2 in decreasing order.
v, -1, -2
Let u = -79 + 79.1. Sort u, 1/2, 0.2, 5 in decreasing order.
5, 1/2, 0.2, u
Let w be (-7 - -7)*(-2)/(-