et f(n) = n**2 + n + 1. Let x be f(-2). Let k(j) = -8*j + 53. Let d be k(6). Sort d, 1, x.
1, x, d
Let t be (-4)/10*4/20*5. Put t, -2/3, 3/8, -1 in increasing order.
-1, -2/3, t, 3/8
Suppose 0 = -3*f - 2*r + 37, 5*f - 2*r + 3 = 86. Suppose -4*m = -7*m + f. Put m, -5, 0 in decreasing order.
m, 0, -5
Let j = 9.6 - 4.6. Put 3, -2, j, -0.6 in ascending order.
-2, -0.6, 3, j
Let a(f) = f**3 - f**2 - f + 2. Let m be a(0). Let s = -2 - m. Let i = 0 - -0.3. Sort s, i, -3.
s, -3, i
Let v = -2.06 + 2. Let x = v + 3.06. Let g = -1 - -0.5. Sort 2/15, x, g in decreasing order.
x, 2/15, g
Let w(t) = -t - 4. Let u be w(-10). Suppose -u = -z - 2*z. Sort z, -2, 0 in increasing order.
-2, 0, z
Let a be ((-5)/(-4))/((-2)/8). Let w = -3.7 + 4. Sort a, w, 2/5 in descending order.
2/5, w, a
Let m(a) = a**2 + 6*a - 9. Suppose -o - 7 = 5*n, 0 = -0*o - 2*o - n - 14. Let s be m(o). Let w = 0 - 0. Put w, s, -4 in decreasing order.
w, s, -4
Let b be (-8)/(-6)*6/4. Let t be 1*(-2 + 0) + 1. Put 0, t, b in decreasing order.
b, 0, t
Let c(o) = 2*o + 1. Let z(m) = 3*m + 2. Let v(y) = -4*c(y) + 3*z(y). Let j be v(2). Suppose -5*f - 6 = j. Sort 3, f, -3 in increasing order.
-3, f, 3
Let a be (-3)/1 + (1 - -3). Sort 3, -1, a.
-1, a, 3
Let u be (-16)/(-10)*(6 + -1). Suppose -u = 3*x + x. Put x, -5, 5 in ascending order.
-5, x, 5
Suppose -3*z = -3, -3*z - z + 6 = 2*v. Suppose 2*d + 17 = 3*a, 2*a + 0*d - 12 = 2*d. Sort v, a, 0.
0, v, a
Suppose 20 = -3*v + 7*v, -4*i + 13 = v. Suppose -3*s - i*s - 40 = 0. Let l be 22/s + (-2)/8. Sort 2, 1, l in descending order.
2, 1, l
Let f = -2.4 - -0.4. Let n = -3 + f. Sort 1/8, 5, n in increasing order.
n, 1/8, 5
Let r(k) = -2*k - 4. Let f be r(-14). Let u be 6/f + (-34)/8. Sort 5, -2, u in increasing order.
u, -2, 5
Suppose 10 = 5*h + 5. Suppose -4*m + 5 = 13. Sort m, h, -4 in increasing order.
-4, m, h
Let j = -0.14 - 0.56. Let a = j + 0.7. Let n = a + 0.2. Sort 0, n, 2/3 in descending order.
2/3, n, 0
Let d = -2.96 - -3. Let p = 0.04 - d. Let l = -3 - -4. Sort p, l, 2/3 in descending order.
l, 2/3, p
Let m(n) = 2*n - 9. Let p be m(6). Let j be 0 - (p + 2 + -6). Put 5, 3, j in descending order.
5, 3, j
Let y(f) = -f**2 + 5*f - 3. Let l be y(3). Let k(q) = -2. Let g(m) = -m + 1. Let x(i) = -g(i) - k(i). Let z be x(-2). Put 1, l, z in descending order.
l, 1, z
Let h = -14 + 17. Put -4/7, h, -2 in descending order.
h, -4/7, -2
Suppose -16 = 3*c + 5. Sort 5, -3, c.
c, -3, 5
Let p = 25018418/4653221301 + -314/77713. Let a = 20930716/69996213 - p. Let v = a + -2/167. Sort 3, -3, v in increasing order.
-3, v, 3
Let h = -11.6 - 1.4. Let x = 10 + h. Let s = -127/3 + 42. Put s, x, -0.4 in ascending order.
x, -0.4, s
Suppose -2 = -0*o - 2*o - 5*j, 2*j + 4 = 4*o. Let t = -1 - o. Put t, -3, 3 in descending order.
3, t, -3
Suppose 5*q - 6*q + 3 = 0. Let w be 3/(-1)*(-4)/q. Let u(x) = -x**2 - 8*x - 8. Let j be u(-7). Put w, 0, j in ascending order.
j, 0, w
Let s be 40/66 + 0 + 0. Let t = s - 3/11. Sort -1, 3, t in increasing order.
-1, t, 3
Suppose 5*s - 95 = -5*k - 30, 5*k - 5*s = 35. Put 5, 1, k in increasing order.
1, 5, k
Let o(w) = 1 - 27*w**2 - w + 3*w + 22*w**2. Let b be o(-1). Put 0, b, 3 in increasing order.
b, 0, 3
Suppose -2*b + 3*b - 4 = 0. Let x = 2 + 1. Put x, b, -3 in decreasing order.
b, x, -3
Let r be ((-8)/(-102))/((-4)/6). Let l = 927/1274 + -30/49. Let q = l - -7/52. Sort 1, q, r.
r, q, 1
Let y = 82 - 88. Let g = 2 + -2. Put g, y, 1 in descending order.
1, g, y
Let h be -1 - (2 + -5) - -2. Suppose 3*n - 3 = -n - i, 2*n + i - 1 = 0. Put h, n, 3 in decreasing order.
h, 3, n
Let l(p) be the second derivative of p**5/20 + 5*p**4/12 - 3*p**2/2 - 7*p. Let h be l(-5). Put h, 0, 6 in ascending order.
h, 0, 6
Let k = 8 - 7.7. Suppose -5*l - o + 24 = 0, 0*l + l - 5*o + 16 = 0. Put k, 5, l in increasing order.
k, l, 5
Let o be -6*(0 + 26/(-3)). Let a = 160/3 - o. Let n(b) = b - 4. Let u be n(0). Sort a, u, -0.2.
u, -0.2, a
Let d be (-11)/((-44)/(-8))*(-2)/(-4). Let b(i) = -i**2 + 1. Let o be b(-1). Sort d, 4, o in ascending order.
d, o, 4
Suppose -2*s + 2*d = 2*s + 4, 0 = 3*d. Put 1, -6, s in decreasing order.
1, s, -6
Let q be (-1 + -1)*18/12. Sort -1, 1, q, 0.
q, -1, 0, 1
Let n(w) = -w + 1. Let d be n(5). Let v = -0.75 - -1.06. Let m = 0.09 + v. Put m, -2/11, d in decreasing order.
m, -2/11, d
Suppose 7 = -2*o + 3*o. Sort 2, o, 1 in descending order.
o, 2, 1
Let o be (-2)/(-4)*13/(-52)*-1. Let n be (-2 + 16/6)/(-4). Sort -3, n, o in decreasing order.
o, n, -3
Let u be (10/25)/((-3)/(-15)). Put 5, -4, u in decreasing order.
5, u, -4
Let i(a) = -a**2 - 5*a - 4. Let w be i(-4). Suppose -5*u - 15 + 0 = 0. Put u, -2, w in descending order.
w, -2, u
Let x = -1.3 + -3.7. Let q = 1 + 3. Sort x, q, -3 in decreasing order.
q, -3, x
Suppose h - 2*b = 3*h + 2, 3*b = 5*h + 29. Let f = -27 - -22. Sort h, f, 3 in decreasing order.
3, h, f
Let z = 0.2 - 0.1. Let s = z - -0.3. Let y = 0.3 - s. Sort -0.5, y, -4 in descending order.
y, -0.5, -4
Suppose 5*r + 51 = 4*f - 2*f, 5*r + 64 = 3*f. Let u = f + -16. Put 2, u, -2 in ascending order.
u, -2, 2
Let a = -5 + 3. Let x(s) = -s**3 + 20*s**2 + s - 16. Let c be x(20). Put -4, c, a in increasing order.
-4, a, c
Let s(d) = -d**3 + 4*d**2 - 2*d + 5. Let c be ((-16)/10)/(4/(-10)). Let q be s(c). Sort -5, 5, q in increasing order.
-5, q, 5
Let s = 0.11 - -1.09. Let p = 1.6 - s. Put -0.5, -4, p in increasing order.
-4, -0.5, p
Suppose -4*d = -0*d - 16. Sort -32, 1, d.
-32, 1, d
Let j(o) = o**2 - 3*o - 6. Let b be j(4). Put b, 0, 5 in descending order.
5, 0, b
Let o = -158 + 161. Sort 0, o, -4, 5 in decreasing order.
5, o, 0, -4
Let n be (3/(-4))/(1/4). Let r = -58 - -63. Let j be -1 + (1 - 1) + 1. Put j, r, n in increasing order.
n, j, r
Let m = -16/9 + 4/9. Let y be (-87)/(-42) - (-4)/28*-4. Sort y, -0.1, m in descending order.
y, -0.1, m
Suppose -5 = -3*l + 4*l. Sort 3, 1, l in increasing order.
l, 1, 3
Let y = -6.4 - 1.6. Let p = 7.5 + y. Put -1, p, 4 in decreasing order.
4, p, -1
Suppose -3*c - 5 = -k - 2, 9 = -5*k + 3*c. Put 2, -4/9, k in increasing order.
k, -4/9, 2
Suppose i + 4 = -1, -2*d = 2*i + 18. Let n be 3 + (200/18)/(-4). Sort 0, n, d in descending order.
n, 0, d
Let a be 39/33 - (-2)/(-11). Let z be ((-4)/(-3) - a)*3. Let c be z + 0 + (-9)/3. Put 2, c, -3 in decreasing order.
2, c, -3
Suppose -4*k = -3*i - 18, -4*i + 5*k = 3*k + 14. Put 2, 3, 0, i in increasing order.
i, 0, 2, 3
Suppose 0 = 5*d - 5*z - 0*z - 30, 2*d + 2*z = 4. Suppose 0 = -0*y - y. Suppose y = -n - 2 + 1. Put d, 2, n in decreasing order.
d, 2, n
Let v = 44310 + -1550951/35. Let g = v + 23/7. Put -0.7, g, 3 in ascending order.
-0.7, g, 3
Let z be ((-9)/6)/(3/(-6)). Suppose m + 4 = z*m. Suppose -2*d - 2*l - 14 = 0, -l - 9 = 2*d + 1. Put d, m, 5 in increasing order.
d, m, 5
Let m(f) = f**3 + 5*f**2 - 6*f + 2. Let t be m(-6). Let r = -3 + -2. Sort 1, r, t in descending order.
t, 1, r
Let y = -0.04 + 0.04. Put -2, -0.1, y in decreasing order.
y, -0.1, -2
Let n = -2 + 0. Suppose -3*k + 8 + 4 = 0. Put k, n, 1 in ascending order.
n, 1, k
Let n be ((-3)/(-6))/(3/18). Let x(v) = -6*v + 1. Let m be x(1). Sort -1, m, n in ascending order.
m, -1, n
Let a = 2 + -5/3. Suppose 2*c - 6 = -0*c. Let m be 2/(-4)*c/6. Sort -4, a, m.
-4, m, a
Let b = -13 - -16. Sort b, -0.5, -5.
-5, -0.5, b
Let i = 4 - 4.4. Let g = -59 - -63. Sort g, 0.3, i in increasing order.
i, 0.3, g
Suppose 0 = t + 4*t - 10. Let v = -5 - -6. Let h be (0/(2/2))/v. Put h, t, -1 in ascending order.
-1, h, t
Let k = 1.03 - 1.1. Let c = 3.93 - k. Let a = -6 + 2. Sort a, c, -2/11.
a, -2/11, c
Let m = -7 + 11. Suppose -4*g = m*y - 5*y, 5*g = 3*y. Put y, 3, 5 in increasing order.
y, 3, 5
Let h = -1.19 - -1.24. Sort -1, -0.5, h in ascending order.
-1, -0.5, h
Let t = -16 - -11. Let h = t - -5. Sort -1/2, h, -3 in increasing order.
-3, -1/2, h
Let q = 44 + -30. Sort 5, q, 0.2.
0.2, 5, q
Suppose -4*o = 4*s, s - 5*s + 4*o = 40. Put 1, 2/5, s in descending order.
1, 2/5, s
Let g = -2 - 2. Suppose 0 = -i + 3. Sort -2, i, g in ascending order.
g, -2, i
Suppose 0 = -0*t + 5*t - 10. Suppose r + 9 = 4*r. Suppose r*o + 14 = t. Put -3, o, 0 in descending order.
0, -3, o
Let c = 17.7 - 19. Let o = c - -1.7. Sort o, 1, 3 in increasing order.
o, 1, 3
Let c(w) = 2*w + 6. Let f be c(6). Suppose 3*j + 11 = a, -3*a