2 + 9*p + 185. Let t be m(-20). Sort -5, -2, 6, t in descending order.
6, t, -2, -5
Suppose 4*j + 15 = -3*m, -20 = -53*j + 48*j + 4*m. Put j, -3, -11, 0.2 in increasing order.
-11, -3, j, 0.2
Let z = 1449.3 + -1449. Sort -56, -1/5, z in descending order.
z, -1/5, -56
Let r = 2.31 - 2.11. Put 1/12, r, -2/5, 3 in ascending order.
-2/5, 1/12, r, 3
Let w be (-72)/(-39) + 12/78. Suppose 0 = 5*t + w - 17. Suppose 0 = 2*n + 3*c - 7, 2*n - 3 = -2*c + 1. Put n, t, -2 in descending order.
t, n, -2
Let n = -19 - -22. Let y(d) = -d + 1. Let m be y(5). Let s(p) = -2*p + 9. Let v be s(-4). Put n, m, v in ascending order.
m, n, v
Let d = 0.53 - 0.534. Let g = 0.064 + d. Put g, 2, 4 in increasing order.
g, 2, 4
Let f = -1 - -1. Suppose f = 4*o - 38 + 6. Let x be (6/o)/((-3)/12). Put 1, 3, x in increasing order.
x, 1, 3
Let z = -2.9512 - 0.0488. Sort z, -0.22, 4 in ascending order.
z, -0.22, 4
Let x = 0.35 - 0.15. Put 7, 0.4, x in ascending order.
x, 0.4, 7
Suppose -13 + 3 = -10*h. Sort 3, -4, h, -29 in ascending order.
-29, -4, h, 3
Let b = 1.7 - -0.3. Let q = -0.2724 + 0.2924. Sort -5, b, q, -2/7 in descending order.
b, q, -2/7, -5
Suppose -f - l + 9 = 0, 2*f - 4*l = 5*f - 29. Let x be (f - 4) + 2 + -4. Put 2, x, -5 in decreasing order.
2, x, -5
Suppose 4 - 2 = f + 4*a, 3*f - 5*a - 6 = 0. Sort f, 1, -14, -4 in increasing order.
-14, -4, 1, f
Let u = 0.0229 - -4.9771. Sort -11/6, 3, u, 0 in ascending order.
-11/6, 0, 3, u
Let x = -0.037 - 0.963. Let p = x + 1.1. Let n be 4/30*(-1 - 2). Sort n, p, -2.
-2, n, p
Let x = -1028 + 1069. Put -3/5, x, -2 in descending order.
x, -3/5, -2
Let b(y) = y - 29. Let a be b(-7). Put -3, 2, a in increasing order.
a, -3, 2
Suppose 12 = -290*u + 286*u. Sort 1, -25, u.
-25, u, 1
Let j(p) = -p**2 - 6*p - 14. Let k(c) = c**2 - c - 1. Let r(q) = -j(q) - 2*k(q). Let t be r(10). Let i be (4/8)/(1/t). Sort 2, i, -4.
-4, i, 2
Let d be (6/15)/(3/105). Let k be 4/14 + 108/d. Let j = 359 + -358. Sort k, j, -2 in descending order.
k, j, -2
Suppose 6*v + 18 + 6 = 0. Sort v, 41, -5 in decreasing order.
41, v, -5
Let q(f) = -f**2 - 10*f - 25. Let d be q(-4). Let x be ((-10)/4 - (d - 1))*0. Sort -0.4, 2, x, -0.1.
-0.4, -0.1, x, 2
Let z be (-18)/2*3/9. Suppose -5*v - 23 - 32 = 0. Let b be (2/(-4))/(v/(-44)). Sort -6, z, b in decreasing order.
b, z, -6
Let v be 0/14 + 12 - 15. Let m = -2 - -2. Sort v, m, 0.3 in ascending order.
v, m, 0.3
Let p = -707.693 + 708. Let n = p - 0.007. Put n, -2, 9/5 in descending order.
9/5, n, -2
Let b(u) = -u**2 + 13*u. Let a be b(13). Suppose -w + 0*w + 11 = a. Suppose -10*c + w*c = -2. Put c, 3, 5 in ascending order.
c, 3, 5
Let i = 11 + -9. Suppose -b = -4 + 6, -5*p + 17 = 4*b. Put -15, p, i in increasing order.
-15, i, p
Suppose -5*b = -2*r - 42, b - 3*r - 11 = -0*r. Let l be ((-7)/4 - -2) + (-2)/b. Sort -2, -1, l.
-2, -1, l
Let j be 2/13 + 66/(-2288). Put j, 2/7, 3, -13 in increasing order.
-13, j, 2/7, 3
Let v = -198 - -201. Sort 0, -112, v in descending order.
v, 0, -112
Let i be 344/215*10/4. Put 5, i, 8 in decreasing order.
8, 5, i
Let o = -213 - -238. Put 4, 2/3, o in descending order.
o, 4, 2/3
Let q = 5 - 2. Let z = 25543 + -25542. Sort 4, -5, z, q in decreasing order.
4, q, z, -5
Let y be 4/((-32)/66 + (-2)/11). Put 1, -5, y, 5 in descending order.
5, 1, -5, y
Let t = 45 - 56. Sort t, -6, -1 in descending order.
-1, -6, t
Let y(x) = -2*x**3 - 22*x**2 + 5. Let r be y(-11). Put -8, -4, r in decreasing order.
r, -4, -8
Let k = 1419.2 + -1419. Put 36, -2/9, 4/5, k in decreasing order.
36, 4/5, k, -2/9
Suppose -16*z - 14 = -17*z. Suppose 4*a + 20 = 4*j, 0 = 2*j + a - 4*a - z. Suppose 2*t + 2*t = -20. Put -6, j, t in decreasing order.
j, t, -6
Let r = -860 - -853. Put -1, r, 2/17, 2/7 in decreasing order.
2/7, 2/17, -1, r
Let j(b) = 3*b**2 - 17*b - 4. Let i be j(6). Let d = 0 + 4. Put i, d, -23 in increasing order.
-23, i, d
Let i = -3 + 2.8. Let v = i + 2.2. Let z = 244 - 244.4. Sort 5, v, z in decreasing order.
5, v, z
Suppose 0 = -32*s - 19*s. Let c = -11 - -7. Let g = -6 - c. Put g, s, 8 in increasing order.
g, s, 8
Let y = 42 - 44. Let v = -0.3 + 0.4. Put -3, v, y, 0.5 in decreasing order.
0.5, v, y, -3
Let z be (-2 + 5)*40/(-6). Let b be (1/z)/((-1)/4). Put b, 4, 0.08 in increasing order.
0.08, b, 4
Let c = 11.9 - 30.8. Let o = 19 + c. Put 2, 1, -0.2, o in decreasing order.
2, 1, o, -0.2
Let c be (1 + -2)/(1/(-5)). Suppose 5*x = -3*y, -9*y + 7*y = -x. Sort -7, -2, x, c in decreasing order.
c, x, -2, -7
Let u = 2 + 0. Let v = 5 - u. Let s(a) = -7*a - 21. Let i be s(-3). Put 0.4, v, i in descending order.
v, 0.4, i
Suppose -r = 2*o + 9, 3*o + 4*r + 21 = -2*o. Let a be 6 + -1 + (-78)/13. Sort -3, 0, a, o in decreasing order.
0, a, -3, o
Let o(t) = 11*t**2 - 78*t + 4. Let w be o(7). Let h(m) = 4*m + 1. Let g be h(1). Put g, 2, w, -2 in decreasing order.
g, 2, -2, w
Let q(p) = -p**3 - 7*p**2 - 7*p - 8. Let h be q(-6). Let a = -7737 + 7736. Sort 2, a, h in ascending order.
h, a, 2
Suppose 0 = d + 8 + 3. Let j = -17 - d. Let o(t) = t**3 + 6*t**2 - t - 7. Let l be o(j). Sort 4, 5, l.
l, 4, 5
Let m = -125/364 + 3/52. Let w = -29 - -34. Let k = 6 - 6.2. Put k, m, w in ascending order.
m, k, w
Suppose 4*x - 36 = -4*t, 4*x = -5*t + 27 + 14. Let a = -890.2 + 890. Put a, x, -5, 2/9 in ascending order.
-5, a, 2/9, x
Let b be (-2)/4*(-24)/(-4). Let p(f) = 2*f + 3. Let m be p(b). Let x be 13/52 + 3/(-20). Put x, 2, m in increasing order.
m, x, 2
Suppose 0 = 5*d + 5*i - 10*i, 4*d - 2*i = -2. Suppose 3*m + m + 10 = -q, -5*q - 5*m = -10. Let x = q - 5. Put 3, x, d in ascending order.
d, x, 3
Let j(q) = q**2 - 15*q + 31. Let n be j(12). Sort 15, 3, n in ascending order.
n, 3, 15
Let r = 22 + -17. Sort r, 4, -13, -2 in descending order.
r, 4, -2, -13
Let n(c) = 13*c + 2*c**2 - c**2 + 20 - 29. Let s be n(-14). Put s, -5, -6 in descending order.
s, -5, -6
Let m = -59 - -42. Let o = m + 13. Sort -0.5, o, -3/5 in decreasing order.
-0.5, -3/5, o
Let s be 1/(-9) + 770/(-630). Let q = 20/9 - 187/72. Sort s, q, 0.2 in descending order.
0.2, q, s
Let p = 0.15 + -0.05. Suppose -9 = -2*b + 5*b. Let c be 3/6 + b + 3. Sort 4, p, c in ascending order.
p, c, 4
Let s = -249/2 + 120. Sort s, -6, 1/5, 0.5.
-6, s, 1/5, 0.5
Let v(w) = -w**2 + 4*w + 6. Let r be v(6). Let a = 11 + r. Suppose 0 = -a*c + 5*n + 30, 4*n + 16 = -0*n. Put c, -3, -4 in increasing order.
-4, -3, c
Suppose 2*o - 9 = -3*h, 2*h + 2 - 15 = o. Suppose -5*z + 4*c = -40, z - 5*c = -4*c + 9. Sort z, 0, o, 2 in increasing order.
o, 0, 2, z
Let z = -28 + 28.31. Let j = 0.19 + z. Sort -1/2, j, 0.1 in increasing order.
-1/2, 0.1, j
Let p be 8/6*(-5 + 2). Let m(k) = -3*k - 17. Let t be m(-5). Let q = 4 + t. Sort q, -2, p in descending order.
q, -2, p
Let r = -14 + 11. Let s be 1/(1/r*3). Put 0, s, 1 in increasing order.
s, 0, 1
Let t = -0.797 - -0.297. Sort 0, -5, -6, t.
-6, -5, t, 0
Let i(x) = -x**2 + x + 1. Let q(r) = -7*r**2 + 12*r + 43. Let c(l) = -6*i(l) + q(l). Let z be c(-5). Put 5, 1, z in descending order.
5, 1, z
Let c be 9/(-21) - (-17)/7. Suppose 2*i + 4*b - c = 0, 4*i - 4*b - 16 = -0*b. Let j be i + -34*(-3)/(-30). Put -2, j, 0.3 in increasing order.
-2, j, 0.3
Suppose -8 = -s + 2*s + 4*t, s - 24 = 4*t. Sort s, 5, 3, -5.
-5, 3, 5, s
Let a = 455 + -455.5. Put a, 2, 0.22, -0.3 in increasing order.
a, -0.3, 0.22, 2
Let f = -0.057 - -4.057. Let b = f + -7. Sort -0.3, 0.08, b in descending order.
0.08, -0.3, b
Let r = -1/244 + -2805/244. Let d = 11 + r. Sort -1, d, 1/7 in ascending order.
-1, d, 1/7
Let n = 4.7 - 0.74. Let j = n - 0.96. Sort 4/5, -5, j, -4.
-5, -4, 4/5, j
Let o be 6/(-5) - (-70)/(-25). Sort o, 19, 5, 3 in decreasing order.
19, 5, 3, o
Let o = -15.3 + 16. Let b = 36.969 - 37. Let d = -3.031 - b. Sort d, o, -0.1 in decreasing order.
o, -0.1, d
Suppose -11 = -2*u - 3*a, u - 2 - 8 = -3*a. Suppose 2*z = 3 + 7. Suppose -4*w = u - z. Sort 0, -2, w in descending order.
w, 0, -2
Let y be 5/(-15) - 4/6. Let r = -65 - -69. Put -2, y, r in descending order.
r, y, -2
Let q(x) = x**3 - 22*x**2 + 38*x - 354. Let g be q(21). Sort g, -5, -4 in increasing order.
-5, -4, g
Suppose 17 = 5*p - d, -5*d + 31 = 5*p - p. Suppose -4*v - i = 13 - 28, 0 = 3*v - 3*i - 30. Put 0, v, p in descending order.
v, p, 0
Suppose -28*u - 280 - 504 = 0. Put -3, 1, u, -2/7 in decreasing order.