= -17 + p. Sort o, 2, 5 in descending order.
5, 2, o
Let y = -117.4 - -117. Let h be (0 + 6/3)/(-14). Put 1, y, 3, h in ascending order.
y, h, 1, 3
Let s(p) = -10 - p**3 - 4*p**3 + 8*p**2 + 6*p**3 + 4*p - 5*p. Let a be s(-8). Sort 5, a, 3 in increasing order.
a, 3, 5
Let t = -12 - -17. Let v be (-60)/50 - (-9)/(-30). Sort 0.3, t, -30, v.
-30, v, 0.3, t
Let r = -11.3 - -12. Let h = -312.2 - -313. Let d = h - r. Sort 0, d, -3.
-3, 0, d
Suppose -237*u = -235*u - 4. Let x be (0 - -10)/(2 - 1). Sort u, 4, x in descending order.
x, 4, u
Let x = 986 + -983. Put 2/5, -0.2, x, 3/14 in decreasing order.
x, 2/5, 3/14, -0.2
Let a(u) = -9*u**3 - 9*u**2 + 4*u - 17. Let l(d) = 2*d**3 + d + 1. Let n(j) = a(j) + 5*l(j). Let m be n(8). Put -1, -3, 3, m in decreasing order.
3, -1, -3, m
Suppose 5*n + 23 = 3*a - 9, -4*a = 3*n - 4. Let d be a/7 + -7 + 7. Let w = d - 40/21. Put -0.1, w, -0.3 in descending order.
-0.1, -0.3, w
Let u be 106/(-8) - (819/52)/21. Put u, 1, -4, 5 in descending order.
5, 1, -4, u
Let h = 811/165 - 71/15. Sort -2/7, 0.1, -21, h in increasing order.
-21, -2/7, 0.1, h
Let j(f) = 45*f + 496. Let y be j(-11). Put -2, y, -3, -1 in descending order.
y, -1, -2, -3
Let d(r) = r**3 - 3*r**2 - 3*r - 1. Let p be d(4). Let b be (2/(-4))/((-8)/64). Put -4, p, b in descending order.
b, p, -4
Let r = 457 - 456. Sort -3, r, 0 in decreasing order.
r, 0, -3
Let j = -5807686 - -53541058070/9219. Let c = j - -2/439. Put -2/3, 3/7, 4, c in increasing order.
-2/3, c, 3/7, 4
Let m = -77.8 + 77.4. Let i be (-2)/(-7) + (-60)/(-35). Put 0, i, m in increasing order.
m, 0, i
Let d = 1897/9 + -211. Let s = 0.05 + -5.05. Put d, s, -4/7 in ascending order.
s, -4/7, d
Let c = 61 - 63. Let v(i) = -i**3 + 7*i**2 - 2*i + 6. Let h be v(7). Let d be ((-2)/h)/((-2)/(-6)). Put c, d, 4 in descending order.
4, d, c
Let r be (-4)/3 + (-2)/3. Suppose 24*i = -7*i. Put r, i, 2, -3 in descending order.
2, i, r, -3
Let u = -191.6 - -192. Let g = -1/6 + 11/30. Sort g, 2/3, u, 1 in decreasing order.
1, 2/3, u, g
Let f = -427/858 - 1/429. Sort 6, f, 1 in decreasing order.
6, 1, f
Let a = -1.4 - -1.4. Let i = 4 + -1. Suppose g + 17 = -0*g - 4*q, i*q + 11 = g. Put a, g, 0.1 in decreasing order.
0.1, a, g
Suppose -7*r = -3*r + 80. Let u be ((-2)/(-10))/(10/r). Sort -2, -3, u.
-3, -2, u
Let u(f) = -2*f + 10. Let d be u(-5). Suppose p = 5*p - d. Let z(g) = 4*g - 2. Let i be z(2). Sort p, -3, i in descending order.
i, p, -3
Suppose -3*k + 12 = -0. Suppose s - 4*n = -8 + 1, 2*s + 6 = k*n. Sort -1, 8, s.
-1, s, 8
Let l(p) = p**3 - 7*p**2 + 3*p + 32. Let a be l(5). Put -4, a, 130 in ascending order.
-4, a, 130
Suppose 5*j = i - 22, -3*j - 3 = -2*i + 13. Let z = 1 - i. Let p = 4218 - 4216. Put -2, z, p in descending order.
p, z, -2
Suppose -2*u - 3*f + 2 = -6*u, -3*f + 8 = 2*u. Suppose -5*d + 29 - 2 = -3*w, d + w = -1. Suppose 0*g + 6 = -3*g. Sort u, d, g in ascending order.
g, u, d
Suppose -4*i + 20 = -8*i, -7*h + 9 = i. Sort -166, 4, h in decreasing order.
4, h, -166
Let q = -123 + 127. Sort -12, 3, q, 2 in increasing order.
-12, 2, 3, q
Let o(i) = -i**3 - 7*i**2 - 8*i - 6. Let w be o(-6). Let d = -3 + w. Suppose -6 = -2*f + 5*f. Put f, -1, d in increasing order.
f, -1, d
Let z = -159.96 - -165. Let u = -1.26 + 1.3. Let b = z - u. Sort 4/3, 2, b in ascending order.
4/3, 2, b
Let u be ((-4)/(-1))/(2/2). Suppose 0 = -9*b - 0*b + 27. Sort b, 0, u in descending order.
u, b, 0
Let l = -10.4 - -1.7. Let c = l - -9. Let d = -15 - -15.5. Sort d, -4/5, c.
-4/5, c, d
Let n(f) = 2*f - 2. Let c be n(-9). Sort c, -3, 9 in decreasing order.
9, -3, c
Let f = 974 - 971. Sort -0.7, f, 5, -2.
-2, -0.7, f, 5
Suppose -815 = -2*d - 843. Sort d, -11, -4, 3 in ascending order.
d, -11, -4, 3
Let k be (-2)/(-5) - 132/605. Sort k, 2, -1 in decreasing order.
2, k, -1
Let i = -1/15 + -3/5. Put 0.011, i, -0.3 in decreasing order.
0.011, -0.3, i
Let x be -5 + 0 - (8 - 10)*-10. Sort -2, x, 3 in ascending order.
x, -2, 3
Suppose 7*s = -3*f + 3*s + 56, -116 = -5*f - s. Let m = -29 + f. Suppose -4*w = -y + 8, w + 0*y + 7 = -y. Put 2, w, m in decreasing order.
2, w, m
Let s(r) = -r**2 + 14*r - 53. Let n be s(7). Let x(f) = f**3 - 5*f**2 - 5*f - 6. Let g be x(6). Sort n, -2, g.
n, -2, g
Let u = -2 - -1. Let l(x) = -6*x**2 - 2*x - 1. Let n be l(u). Suppose -t - 2*t = 2*a + 17, 0 = a + 5*t + 26. Put 1, n, a in decreasing order.
1, a, n
Let s = 150 - 153. Put s, 65, 5 in decreasing order.
65, 5, s
Let w = -2253/2 - -1128. Sort -0.3, -2/11, 2/19, w in decreasing order.
w, 2/19, -2/11, -0.3
Suppose 10*j = 747 - 437. Sort 3, j, 6.
3, 6, j
Let z be (-12)/30 + (-6)/10. Suppose 4*m + 5*k + 130 = 0, 4*k = 5*m - k + 140. Let v = m + 30. Sort -8, v, z in descending order.
v, z, -8
Suppose -5*x + 38 = 3*n, -5*x + 4*n - 3*n + 34 = 0. Suppose x*f = 3*f - 8. Put f, 0, 5 in increasing order.
f, 0, 5
Let d = -0.6 - -9.6. Let b = -14 + d. Sort 5, b, 0.2 in descending order.
5, 0.2, b
Suppose 4 = -2*y, 4 + 3 = z - 5*y. Put 5, -1, z, 9 in descending order.
9, 5, -1, z
Let m(n) = -4*n - 13. Let c be m(-5). Let k(f) = -4*f**2 + 28*f + 2. Let b be k(c). Sort b, -2, 1 in ascending order.
-2, 1, b
Let n(r) = r**3 - 3*r**2 - 6*r + 21. Let i be n(3). Suppose 3*x = 4*l + 3, -3*x + 0*x - 2*l + 3 = 0. Sort i, 5, x, -5 in increasing order.
-5, x, i, 5
Let u be (-9)/(-540)*5 - -3*118/72. Let o(j) = 3*j - 3*j - 2*j. Let y be o(2). Sort u, y, -8 in ascending order.
-8, y, u
Let q(p) = p**2 - 5*p - 9. Suppose 8*s = s - 91. Let d = s + 19. Let w be q(d). Put 0.3, w, 4 in descending order.
4, 0.3, w
Let v be 3*(-8)/(-27) + -1. Let b = -68 - -67.977. Let n = 0.033 + b. Sort v, n, 0.1 in descending order.
0.1, n, v
Let v = -0.1 + 0.2. Let p = 0.42 + 0.08. Sort 3/2, v, p in ascending order.
v, p, 3/2
Let m = 385 + -380. Sort 4, 7, m.
4, m, 7
Let m = 204.0028 + -0.0028. Put 2, 3, m in decreasing order.
m, 3, 2
Let x be 3 - ((-3)/21 + (-118)/7). Put 5, 0, x in descending order.
x, 5, 0
Let c = 3 - 3.4. Let g = -1.16 + -0.14. Let b = g - -1.2. Put b, c, 3 in ascending order.
c, b, 3
Let k = 24 + 4. Let y = k + -31. Sort y, 0.1, 4/5 in ascending order.
y, 0.1, 4/5
Suppose 155 - 14 = 47*r. Let p = 4 + -14. Sort p, r, 2/7 in decreasing order.
r, 2/7, p
Let o = 44.5 + -44.3. Put -4, o, -9.1 in descending order.
o, -4, -9.1
Let o be (5*6/(-75))/(6 - 5). Let v be -1 - (3/(-2) - -2). Let b = -8 + 7.7. Sort b, v, o in descending order.
b, o, v
Let c = 37 - 37. Suppose -4*j = 5*u + 45, -3*u = 2*u - j + 20. Sort -17, 1, c, u in increasing order.
-17, u, c, 1
Let s(v) = -6*v**2 + 2*v - 1. Let o be s(1). Put 3, 1/6, 0.4, o in ascending order.
o, 1/6, 0.4, 3
Suppose 5*i - 2 - 18 = 0. Let s = 9 - i. Put s, -3/7, 4, -3 in increasing order.
-3, -3/7, 4, s
Let t(o) = 128*o + 641. Let z be t(-5). Sort 4, 0, z, -1.
-1, 0, z, 4
Let u = -4 - -1. Let l = 25 + -24. Sort l, -4, u in descending order.
l, u, -4
Let x = -1052 + 1072. Sort 2, 0, x in increasing order.
0, 2, x
Let n = -140.5 - -140. Let l = -3 - -1. Let r(x) = 5*x**3 - x**2 + 2*x - 1. Let c be r(1). Put l, n, c in decreasing order.
c, n, l
Let v = 40 + -40. Suppose 6*y - 9 = 3*y. Let f be (-4)/1*y/6. Sort v, 3, f.
f, v, 3
Let z = -0.0294 - 7.9706. Put -2, -17, z in ascending order.
-17, z, -2
Let j = -4/9 - -5/9. Let c = -92 - -92.5. Put j, -0.11, c in decreasing order.
c, j, -0.11
Let x be -1 + (-3)/(-6) + 1. Suppose -7*u + 2*u = -4*w - 55, 0 = 2*w. Let k be u - 9 - 14/6. Sort k, -0.4, x.
-0.4, k, x
Suppose 9*n + 24 = 60. Put 16, -1, n in ascending order.
-1, n, 16
Let i = 17 + -6. Suppose -12 = -6*t + 2*t. Let m be t*((-3)/1 - -4). Put i, 4, m in ascending order.
m, 4, i
Let d be 3/2*8/6. Let o = 1817 + -1820. Put -2, o, d in decreasing order.
d, -2, o
Suppose -3*a = 4*c - 24, 4*a = -5*c + 2*a + 23. Put 45, c, 2 in ascending order.
2, c, 45
Suppose 5*s - 4*u - 88 = 0, 4*s + u = -u + 86. Suppose 5*d = -s, -3 = 2*z + d + 7. Sort 2/9, z, 3, 0.1 in increasing order.
z, 0.1, 2/9, 3
Let i(y) = -y - 3. Let n be i(-8). Suppose -20*o + 8 = -3*d - 25*o, -20 = -3*d + 2*o. Put n, 3, -3, d in decreasing order.
n, d, 3, -3
Suppose -428*d + 426*d + 8 = 0. Sort d, -1, -18, 0.1 in decreasing order.
d, 0.1, -1, -18
Suppose -21 = -4*r + 3. Let d be ((-3)/9)/(7/(-84)). Suppose -3*i = f + 11, -d = -4*f - i + 5*i. Sort f, -4, r.
-4, f, r
Let w = -22 -