 -6*p + 4 = -2*p. Put p, -2, h in increasing order.
-2, h, p
Let h = -0.14 - -0.184. Let l = -4.644 + h. Let b = l + 5. Sort -1, -5, b in descending order.
b, -1, -5
Let h = -73 - -78. Suppose -2*r - 3 = 3. Sort 6, r, h.
r, h, 6
Let k be 1 + (-2 - -2) + -3. Sort 1, k, -3 in decreasing order.
1, k, -3
Let i(w) = w - 7. Let m be i(7). Suppose -18 = 5*a + 2. Sort -5, a, m in decreasing order.
m, a, -5
Let b = -42 - -45. Sort -3, -8, b, 2 in descending order.
b, 2, -3, -8
Let c(k) = 5*k - 7. Let d be c(2). Sort d, -14, -3.
-14, -3, d
Let p(c) = -2*c - 9. Let a be p(-6). Let t be -1*a + 0/(-2). Put 5, t, 2 in ascending order.
t, 2, 5
Let z = -2 - -3. Let g be (-145)/29 - (-26)/4. Sort z, g, 5.
z, g, 5
Let m = 116 + -105. Put -1/2, m, -1/4 in ascending order.
-1/2, -1/4, m
Let a = -118 + 117.6. Sort a, -0.5, -9/2 in increasing order.
-9/2, -0.5, a
Let q = 5 + -10. Suppose -3 = -3*l - 0. Sort -1, q, l.
q, -1, l
Let g = 0.523 + -0.023. Put 8, g, -0.4 in decreasing order.
8, g, -0.4
Let d be (-838)/(-6) - 14/(-7). Let z = -182 + 39. Let l = z + d. Sort -0.3, l, 0.3 in descending order.
0.3, -0.3, l
Let t = 8 + -7.97. Let d = t - -0.37. Sort d, 0.2, -3.
-3, 0.2, d
Let k be 0/(-2) + 11 + -1. Suppose 2*v - 3 + 17 = 0. Let p = v + k. Sort p, 1, -3 in decreasing order.
p, 1, -3
Let z(w) = -5*w - 38. Let c be z(-9). Sort c, 3, 1, 4 in ascending order.
1, 3, 4, c
Let q(j) = j - 7. Suppose 0 = -4*s + 5 + 23. Let x be q(s). Let z = x + 1. Sort -2, z, 2.
-2, z, 2
Let j(d) = 3*d - 2. Let q be j(-4). Let r = q - -10. Put 3, r, 1 in descending order.
3, 1, r
Let d(j) = -7*j**2 - 2*j - 1. Let g be d(-1). Let b = g - -11. Suppose -3*l = 4*n + 15, -5*l + 8*l - 12 = 5*n. Sort b, n, -1.
n, -1, b
Suppose 0 = -3*b + 11 - 2. Sort b, -2, 4 in decreasing order.
4, b, -2
Suppose 0 = -2*f - 3*r, 0 = f + 2*r + 2*r - 10. Let s be f/(-10) - 6/10. Sort -4, -2, s in decreasing order.
s, -2, -4
Let m = -12 + 11. Let x(i) = 3*i**3 - 1. Let v be x(m). Sort 5, 0.4, v in descending order.
5, 0.4, v
Suppose -15 - 9 = -3*g + 5*b, -2*b = 0. Sort g, 0, 5, 2 in descending order.
g, 5, 2, 0
Let y be -1*3/12 + 6/(-8). Sort y, 6, -4.
-4, y, 6
Let o(y) = y**2 - 1. Let u be o(-1). Let z be (2/4)/((-1)/(-8)). Sort z, u, 2.
u, 2, z
Let n be (-2 - 1)/(-1) + 1. Put n, 2, 5 in decreasing order.
5, n, 2
Let j be -3 + 6 + 0 + 1. Put 2, -5, 9, j in descending order.
9, j, 2, -5
Let o = 0.29 + 13.71. Let c = 16 - o. Put -0.2, c, 2/13 in descending order.
c, 2/13, -0.2
Let m = 34 + -37. Put -12, 3, m in descending order.
3, m, -12
Let q(t) = -t**3 + 5*t**2. Let z be q(5). Let n = -1 - -6. Suppose 9*j - n = 4*j. Put -1, z, j in decreasing order.
j, z, -1
Let t = -18 + 23. Put 0, t, -4 in descending order.
t, 0, -4
Let n = 14 + -8. Suppose -3 - n = -3*m. Put -1, 4, m in ascending order.
-1, m, 4
Let d(h) = h**2 + h - 1. Let a be d(0). Let f be (-26)/65 + (-14)/(-10). Put -2, a, f in ascending order.
-2, a, f
Suppose -23 = -c - 22. Put 4, -2, c in descending order.
4, c, -2
Let k(d) = -2*d + 12. Let n be k(5). Let o be n/(-3)*(-36)/8. Suppose 0 = -b + 5*m + 8, -m + 1 = 4*b + 11. Sort b, o, -4.
-4, b, o
Let v = -7 + -55. Sort 5, v, 4, -3 in decreasing order.
5, 4, -3, v
Let s(w) = 3*w**2 + w + 1. Let k be s(-1). Let p(q) = 2*q**2 + 3*q - 2. Let o be p(-2). Sort k, o, 4.
o, k, 4
Suppose -4*t - 4 = -t + 5*w, -4 = -4*w. Let g be -2 - t/(-2 + -1). Put 5, g, -1 in decreasing order.
5, -1, g
Let d = 5.1 - 32.1. Let s = -19 - d. Let o = s + -8. Put 4, o, 0.4 in increasing order.
o, 0.4, 4
Let v(p) = p**3 + 12*p**2 + 11*p - 6. Let w be (-2)/4*(-44)/(-2). Let n be v(w). Sort 2, n, 0 in descending order.
2, 0, n
Let y = -19 - -24. Let o = 4.8 - y. Sort 4, 2/15, o.
o, 2/15, 4
Let k = -3 + 0. Sort 1/9, 5, k in ascending order.
k, 1/9, 5
Let b = 9.2 + -9. Let z = -0.6 + b. Sort z, -1, 5 in descending order.
5, z, -1
Suppose w - 3 = -0. Suppose -2*s = -5*b - 19, -w*s - 10 - 14 = 3*b. Let z = 10 + -6. Sort 2/3, b, z in descending order.
z, 2/3, b
Suppose 0*m - 4*m + 48 = 0. Let p = m + -7. Suppose 2*d + 5*x - 2*x = -16, 2*d = x. Put d, p, 2 in descending order.
p, 2, d
Suppose -20 = 2*r - 4*d, 4*r - d = -2 - 3. Put -0.4, -0.1, r in ascending order.
-0.4, -0.1, r
Suppose 3 + 4 = 5*z + o, -4*o + 13 = 5*z. Let g be (z*-2)/(4/(-8)). Put 3, 1, g in decreasing order.
g, 3, 1
Let j be (-16)/5 - 7/(-35). Put -4, j, 5 in decreasing order.
5, j, -4
Let j be ((-32)/12)/((-4)/6). Sort -4, j, 2.
-4, 2, j
Let l be (-2)/(-4)*(1 - 1). Let c be (-46)/14 + (-6)/(-21). Put c, l, -1 in descending order.
l, -1, c
Let s = -12 - -10. Let y = -3 + s. Sort y, -5/4, -2.
y, -2, -5/4
Let j = 0.9 - 2.1. Put -0.2, j, -3/7 in increasing order.
j, -3/7, -0.2
Let z be 1/12*(5 + -2). Let i(o) = -o - 3. Let s be i(-5). Suppose -4*w - 16 = 2*f, -25 = 3*w + s*w. Put f, -2, z in descending order.
f, z, -2
Let r be (-4)/(-18) - (-100)/36. Suppose -2*p - 7 - 6 = 3*s, 3*p = -6. Suppose -3*j + 4*j = -2*j. Sort r, s, j.
s, j, r
Let s be -1*(-20)/8*-2. Put 3, s, 0 in increasing order.
s, 0, 3
Let w = -0.3 + -19.7. Let d = -20.5 - w. Sort 1, d, -5 in decreasing order.
1, d, -5
Let s be ((0/1)/1)/(-1). Put -1, -1/3, s in descending order.
s, -1/3, -1
Let k = 23 + -18.5. Let a = k + -5. Sort 0.1, -0.2, a in ascending order.
a, -0.2, 0.1
Let w = -85.9 + 86. Sort 3/7, w, -0.05 in increasing order.
-0.05, w, 3/7
Let d = 2 + -4. Sort -3, -1, d, -5.
-5, -3, d, -1
Let m = 13 - 15. Put 1, m, -3 in decreasing order.
1, m, -3
Suppose 2*r = -4*m + 2, 2*r - 2*m + 16 = 3*m. Suppose 4*j = -29 + 9. Put 1, j, r in decreasing order.
1, r, j
Let q(c) = c + 3. Let j be ((-8)/(-12))/(4/(-30)). Let r be q(j). Sort -4, 2, r in increasing order.
-4, r, 2
Let n = -1 - -4. Let y(c) = -c**3 - c**2 + 1. Let s(t) = 2*t**3 + 9*t**2 - 10*t + 3. Let f(j) = -s(j) - 3*y(j). Let d be f(4). Put 1, d, n in descending order.
n, d, 1
Let q = 12 + -12. Suppose -5 = l + 2*l - r, q = 3*l + 3*r + 21. Sort 2, l, -1.
l, -1, 2
Suppose 0 = -0*i + i + 5. Let j = 7 - 3. Let w be (3 - (0 - 0))*-1. Put j, w, i in decreasing order.
j, w, i
Let f = -248 - -243.06. Let c = f + 5. Let z = c + 0.34. Sort z, 0.5, 5 in ascending order.
z, 0.5, 5
Suppose 2*y = 4*v - y - 1, 4*v + 4 = 4*y. Let u = -2 + v. Sort u, -5, 5 in ascending order.
-5, u, 5
Let k(q) = -q + 4. Let h be k(6). Let p be (h/6)/(1/(-15)). Put p, -4, 3 in decreasing order.
p, 3, -4
Suppose -2*r = -7*r - 5. Let v be -1 + (1*-6)/(-2). Let k be v*(-2)/4*r. Put -2, -5, k in decreasing order.
k, -2, -5
Let k = 6 - 8. Put -5, k, -6 in decreasing order.
k, -5, -6
Let t(o) = o**3 - 4*o + 3. Let m be t(1). Sort -4, m, -7 in increasing order.
-7, -4, m
Let s be (-36)/8 + 2/(-4). Sort 1, s, -9.
-9, s, 1
Suppose -6*b + 2*b = 8. Let i = -4 - -7. Put -1, b, i in descending order.
i, -1, b
Let i be -1*(-12 - (-1 - -4)). Suppose -2*c = -c, -3*l + i = 2*c. Sort l, -5, -3.
-5, -3, l
Let m be -3*2/(-6)*1. Let p be (6 - -1) + 1 + -4. Suppose 2*v - 5 = f, 10 = -v - p*v - 2*f. Sort -2, v, m.
-2, v, m
Let z(r) = r**3 + 11*r**2 + 11*r + 8. Let d be z(-10). Put -0.4, d, 0.2, 0 in descending order.
0.2, 0, -0.4, d
Let i = 2 + 6. Let v = -5 + i. Sort v, 4, -2.
-2, v, 4
Suppose 2*x - 6*x - 16 = 0. Let b(j) be the third derivative of j**4/24 + 5*j**3/6 + j**2. Let n be b(x). Sort -3, n, 3.
-3, n, 3
Let p = 0.66 + -0.93. Let n = p + 0.07. Let g = 2 + -3. Sort 5, g, n.
g, n, 5
Let c be ((-9)/(0 - 3))/1. Suppose -3 = c*f - 0. Suppose o = 4*o + 6. Put o, -5, f in increasing order.
-5, o, f
Suppose -6 = 3*a, 30 = 3*t + 3*a + 225. Let c be (-4)/(-7) + 36/t. Sort 1, 3, c in ascending order.
c, 1, 3
Let s = 2.4 - 2.28. Let v = s - 0.62. Put -0.3, v, -1/3 in descending order.
-0.3, -1/3, v
Let h = 52 + -158/3. Let y be (-1 + -1)/(-3 - 4). Put h, 0.3, y in increasing order.
h, y, 0.3
Let x = 116.97 + -117. Sort -5, -1/6, 2/7, x in decreasing order.
2/7, x, -1/6, -5
Let v be -1*6*1/3. Put v, 4, 7 in decreasing order.
7, 4, v
Let m be (-3)/(-15) - (-2 + 42/10). Suppose -2*b = -0*b - 6. Suppose 2*t + 7 = -3. Put t, m, b in descending order.
b, m, t
Suppose -h + 2*j - 3*j + 10 = 0, -2*j - 5 = -3*h. Let u = -5.03 + 0.03. Let x = 0 - 2. Sort x, u, h in descending order.
h, x, u
Let z = 3 - 18. Let n = z - -10. Put n, -2, -1/4 in descending order.
-1/4, -2, n
Let c(j) = j**2 + 4*j + 15. Let k be c(-13)