 p - 9 = 0. Put x, i, 0 in decreasing order.
0, x, i
Let r be 0/11*1/4. Put 2, r, -2 in increasing order.
-2, r, 2
Let k be (4/(-2))/((-36)/54). Let b be -2 + 1 + -3 + 0. Sort k, b, 6 in increasing order.
b, k, 6
Let r = -0.18 + -0.02. Put 4, r, 5 in increasing order.
r, 4, 5
Let t be 12/(-10) + 1/1. Sort 0, t, 0.2, 0.3 in ascending order.
t, 0, 0.2, 0.3
Let r(u) be the second derivative of u**5/20 + u**4/3 - u**3/2 + 7*u**2/2 + 2*u. Let a be r(-5). Let g = a + -2. Sort -3, -1, g in decreasing order.
-1, -3, g
Suppose 3 = -2*m + 7. Let y = -4 - -3. Put m, y, 0 in decreasing order.
m, 0, y
Let v = 5 + -4. Let o = v + 4. Sort -2, -1, o in decreasing order.
o, -1, -2
Let c = -0.09 - 2.41. Let g = c - -3. Sort -0.1, g, 3/4.
-0.1, g, 3/4
Suppose 26 = 3*y + 5*c, 3*y - 5*c + 12 = -y. Suppose j - 7 = -4*l, -4*l + 1 = 2*j - 5. Let z be (-2 - 3/(-6))*l. Sort y, 0, z.
z, 0, y
Suppose -3*z + 2*q - q = 54, -5*q = z + 34. Let w = z - -14. Put 5, w, -3 in increasing order.
w, -3, 5
Suppose d - 4*g = 3, 0*d - 5*g = -d + 3. Let p be 4/d - 2/6. Let s(k) = 4*k + 3. Let l be s(-2). Sort l, 0, p in ascending order.
l, 0, p
Let c = 0 - 11. Let l = c - -13. Let u = -1 - -1. Sort u, 3, l in descending order.
3, l, u
Let h be (-2)/(-2) + 0 + 1. Let r = 2 - 8. Let g be -1 - (0 - r/(-8)). Put h, g, -3 in increasing order.
-3, g, h
Let f = -0.08 - -2.08. Suppose -2*x - 2*x + 8 = 0. Let v be -3 + 2/x + 2. Put f, -0.2, v in descending order.
f, v, -0.2
Suppose 0 = -5*m + 5*o - 10, -3*o + 27 = -0*m + 4*m. Put -3, -4, 5, m in ascending order.
-4, -3, m, 5
Let t = 5 - 9. Let r = 18.2 - 18. Put r, -0.5, t in decreasing order.
r, -0.5, t
Let f = 13 + -105/8. Suppose 0 = -u - 0*u + 5. Suppose -u*g + 3 + 2 = 0. Sort f, -4, g.
-4, f, g
Suppose 10 = 8*f + 42. Suppose 2*g = 4 + 28. Suppose -5*t = -4 - g. Sort 0, f, t in decreasing order.
t, 0, f
Suppose -5*n - 4 = f, -4*f = 4*n - 10 + 26. Let p = -4 - n. Sort -3, p, 2.
p, -3, 2
Let h(g) = -g**2 - 6*g. Let f be h(-6). Let s = -5 + -1. Let k(d) = d**2 + 6*d + 5. Let b be k(s). Sort f, b, 3.
f, 3, b
Let d(c) = c**2 - 3*c. Let a be d(4). Let z(x) = x**3 - x**2 - 4*x - 1. Let v be z(3). Sort -5, v, a in increasing order.
-5, a, v
Let x = -29/78 + 7/13. Sort x, -1/12, 10 in decreasing order.
10, x, -1/12
Suppose 0 = -5*x + x - 4*x. Sort 4, 5, x, -4.
-4, x, 4, 5
Let q = -2 - -2. Let k be (1*(-2 - -2))/(-1). Let c be 0 - k - (-8)/(-12). Sort c, q, -3/2 in increasing order.
-3/2, c, q
Let v(g) = -g**2 + g - 1. Suppose 4*q = -1 + 5. Let i be v(q). Sort -3, i, -5 in decreasing order.
i, -3, -5
Let z = -5 + 4. Let u = 9.08 - 0.08. Let c = u - 5. Put z, -2/7, c in decreasing order.
c, -2/7, z
Suppose -2*q - 2 + 10 = 0. Let a(j) = j**3 - 8*j**2 - 10*j + 7. Let v be a(9). Sort -3, v, q in decreasing order.
q, v, -3
Let r be 102/(-18) - (-6)/9. Sort r, 9, -4, -2.
r, -4, -2, 9
Let f be (-3)/2 - (-21)/6. Let a = -4 - -7. Put f, -4, a in descending order.
a, f, -4
Suppose 3*a + 5 = -h - 0, 2*h = 4*a - 10. Suppose -v - 2 = 2*g + 3*g, -4*v + 2*g + 14 = a. Put 2, v, -3 in ascending order.
-3, 2, v
Let q = -0.02 + 0.02. Let k = -0.02 - -3.02. Put q, 3/2, k in ascending order.
q, 3/2, k
Let o = 0.4 - 0. Let a be (-76)/(-21)*6/20. Let d = a + -9/7. Sort -2/11, o, d in decreasing order.
o, -2/11, d
Let j be (4/4)/(2/6). Suppose -2*i + 0*i = 3*y + 6, 8 = j*i - 4*y. Sort i, -1/2, -3 in descending order.
i, -1/2, -3
Let f be 8/(-22)*(-88)/16. Sort f, -2/7, 8/11.
-2/7, 8/11, f
Let m be 0 + (-3 - (-1 + -3)*2). Put m, -5, 0, -1 in increasing order.
-5, -1, 0, m
Suppose 5*s - v + 2*v + 10 = 0, -v + 20 = -5*s. Suppose k + 16 = 5*k. Suppose 9*x - k*x = 25. Put s, x, 3 in decreasing order.
x, 3, s
Let t = -90 - -89.9. Let u(k) = 3*k**2 - 3*k - 4. Let q be u(3). Suppose o + v - 2*v - 6 = 0, 4*o = -v + q. Sort t, o, 3/8 in increasing order.
t, 3/8, o
Let g = -4 - -7. Let f = -19 - -28. Suppose 0 = f*i - 14*i. Sort g, -5, i in increasing order.
-5, i, g
Let r be (-8)/4*9/6. Sort r, -2, 1 in decreasing order.
1, -2, r
Let w = -2 + 6. Sort -2/9, -5, w in ascending order.
-5, -2/9, w
Let u(p) = -p**2 + 3*p - 5. Let a be u(3). Suppose -j + 0*j + w = 0, -4*w + 45 = 5*j. Suppose -c = -j*c - 16. Sort 2, c, a in decreasing order.
2, c, a
Let b = 23.9 + -23. Sort b, -0.5, 2/7.
-0.5, 2/7, b
Suppose -4*z + z = 12. Let q = -4 - 1. Put z, q, -2 in increasing order.
q, z, -2
Suppose -5*a + 21 = -4. Let r be 255/(-35) - 4/(-14). Let k = r - -6. Put a, k, 0 in decreasing order.
a, 0, k
Let t(g) = g**3 + g**2 - g - 1. Let y be t(0). Let w = y + 2. Suppose -3*n + 15*n = 24. Sort w, 3, n in ascending order.
w, n, 3
Let a = -38.9 - -41. Let g = -12.1 + a. Let c = -7 - g. Sort 2, -4/7, c in increasing order.
-4/7, 2, c
Let c = 3/65 - 281/455. Sort -2/9, -5, c in descending order.
-2/9, c, -5
Let p = 7.5 - 7. Let h be 2/12*(-6)/(-4). Sort p, 2, h in descending order.
2, p, h
Let r = 7 + -16. Let v be 13 + r + 1*-1. Suppose 3*p + 5*t + 7 = 0, 0 = -t + 4*t - 3. Put p, v, -2 in decreasing order.
v, -2, p
Let r(q) = -q**2 - 4*q. Let s be r(-4). Let x be 1*(0 + 1) - 2. Let a = -29 - -25. Sort a, s, x in descending order.
s, x, a
Let g be 1/(3/2 - 2). Let u be ((-1)/2)/((-5)/(-10)). Put u, g, 4 in descending order.
4, u, g
Suppose 0 = 5*g - 2*x + 19, 2*x = -4*g + 3*x - 17. Let i be (-1)/(-2 + (-15)/(-5)). Sort i, g, 5 in descending order.
5, i, g
Let r = 187 - 186.9. Put -0.14, r, -3, 0.5 in decreasing order.
0.5, r, -0.14, -3
Suppose 0 = -4*r - 0*r - 12. Let x be r/36*-26 - 2. Sort x, -0.1, 2 in decreasing order.
2, x, -0.1
Suppose -10 = 2*u - 2. Let f = 4 + u. Let x be ((-1)/2*-2)/3. Put f, x, 2 in descending order.
2, x, f
Let c be (0 - -1)*4 - 4. Put 4, c, -3 in ascending order.
-3, c, 4
Let y be (-6)/12*1*8. Let k = y + 5. Let m = -6 + 6.3. Put m, k, -2/9 in ascending order.
-2/9, m, k
Let h = 0 + -3. Sort -2, h, -4 in increasing order.
-4, h, -2
Let m be 0 - ((-76)/(-36) - 2). Sort m, -7, 2/7, 1/5.
-7, m, 1/5, 2/7
Let o(l) = -7*l - 22. Let q(u) = 3*u + 11. Let z(k) = 4*o(k) + 9*q(k). Let d be z(8). Let g = 4 - 6. Put d, g, 1 in descending order.
d, 1, g
Suppose 1 = s - 0*s. Suppose o + 2 = 1. Let l be 2/(-2) - (o - s). Put -0.2, l, -1 in descending order.
l, -0.2, -1
Suppose g - 7 + 2 = 0. Let y(f) = -f**3 + f**2 + 1. Let c be y(2). Let b = c + g. Sort b, -5, 4 in descending order.
4, b, -5
Let j be (7/(-21))/((-1)/(-15)). Sort -1, 2, j.
j, -1, 2
Suppose 0 = 4*i + u - 45 + 52, -i + 14 = -5*u. Let f be 24/(-9) + (-4)/(-6). Suppose -4 = x - 3*x. Put i, f, x in descending order.
x, i, f
Suppose -5*t + 22 = 7. Suppose t*a - 4*a = -4, 4*x - 2*a + 16 = 0. Suppose -4 - 4 = -4*d. Sort x, 5, d.
x, d, 5
Let o = 18.2 + -18. Let f = 0.3 - 0.4. Put o, f, 3 in decreasing order.
3, o, f
Let q = 61 + -85. Let f = q + 21. Sort 3, 0.01, f in increasing order.
f, 0.01, 3
Let d = -16.09 + 16. Put -1, -1/8, d in decreasing order.
d, -1/8, -1
Let p = 0 - 3. Let b be (-7 - p)/(1/1). Suppose 0 = 9*v - 4*v - 10. Sort 5, v, b in ascending order.
b, v, 5
Let i = -7 - -5. Let x = 36/11 + -39/22. Let l = -10.28 - -10.68. Sort i, l, x.
i, l, x
Let h = 14 + -14.16. Let o = -0.04 + h. Sort o, -3, 6/11 in increasing order.
-3, o, 6/11
Suppose 5*n + 32 = 2*t, 2*n + 3 = -5*t - 4. Sort 3, n, -4, -2 in increasing order.
n, -4, -2, 3
Let t = 80 + -82. Let c(n) = n + 7. Let m be c(-5). Sort t, m, 3 in ascending order.
t, m, 3
Let g(h) = h + 5. Let o be g(-4). Put -1, 3, o in increasing order.
-1, o, 3
Let m(k) = -4*k. Let p be m(-1). Suppose 2*l = 0, -p*t + 4*l + 20 = t. Sort t, -4, 5.
-4, t, 5
Suppose 0 = -4*u + 4*x - 8, 0 = -2*u + 4*x - 12. Suppose -5*w = -4*k, -5*w = -4*k - w + 4. Sort 1, k, u.
1, u, k
Let k be 3 - 1/((-1)/(-3)). Let z be k + 1/3*1. Sort -2/11, z, 3 in decreasing order.
3, z, -2/11
Let x = -10 - -10. Suppose k = -x*k + 3. Put 2, k, 0 in descending order.
k, 2, 0
Let i = 3.45 - 0.05. Let v = i - 3. Sort -0.3, v, 0 in descending order.
v, 0, -0.3
Suppose 5*x + 36 - 11 = 0. Let r(j) = 2*j - 4. Let z(f) = 2*f**2 + f - 2. Let p be z(-2). Let g be r(p). Sort x, g, 1.
x, 1, g
Let g(i) = 5*i - 5. Let w be g(0). Sort 4, w, -4, 5 in ascending order.
w, -4, 4, 5
Let q(s) = -s**2 - 9*s + 4. Suppose 0 = 2*i + i + 27. Let k be q(i). Sort k, 2, -4 in descending order.
k, 2, -4
Suppose -4*r = -0*r + 5*g, -5*r + 3*g = 37. 