= -4*p - 230, 0 = 2*p - c + 2*c + 118. Let v = -1287/20 - p. Let i = 23/5 + v. Put i, 2, 3 in descending order.
3, 2, i
Let z(p) = 5*p**2 + p. Let o be z(-1). Suppose 16 = -s - 4*x, 4*s - x = o*x + 41. Suppose -2*r - 1 = 2*i + 1, -5*i + 13 = -4*r. Sort s, r, 3.
r, 3, s
Let r = 0.1 + -0.9. Let u = -4.8 - r. Let q = -0.34 + 1.34. Put u, q, -1 in decreasing order.
q, -1, u
Let y = 198 + -148.5. Let n = y - 49. Sort -1/5, n, 3 in ascending order.
-1/5, n, 3
Let n(u) = u**2 + 10*u + 22. Let k be n(-6). Sort -12, k, -1 in descending order.
-1, k, -12
Suppose 4*a - 178 = -3*k, 3*a = 4*k - 2*a - 196. Let d = 58 - k. Put -5, -3, 1, d in increasing order.
-5, -3, 1, d
Suppose -5*m - 5*p = -8*m, 5*m + 2*p = 0. Let g = -6 - -8. Sort g, m, 7 in descending order.
7, g, m
Suppose 6*q = -2 + 14. Let s(i) = -2*i**2 + 2*i + 1. Let x be s(2). Put x, q, -2 in descending order.
q, -2, x
Suppose 0 = -c - 4*f - 22, 3*c = -5*f - 136 + 105. Sort -0.1, c, 23, -2/7 in ascending order.
c, -2/7, -0.1, 23
Suppose 7*j - 2*j = -3*z + 8, 5*j = 5*z + 40. Put z, 2, 1 in ascending order.
z, 1, 2
Let b(r) = -r**2 + 53*r - 654. Let j be b(20). Sort 3, -6, j, 1.
-6, 1, 3, j
Let y be (36/8)/(-9)*-2. Sort -2, -4, 5, y in ascending order.
-4, -2, y, 5
Let h = -422 + 407. Sort -5, h, -1 in descending order.
-1, -5, h
Let k = -8 + 5. Let f be 0 - (-9 + (-3)/k). Suppose -4*t - 16 = -f. Put 3, 0, t in descending order.
3, 0, t
Let y = 245.9 + -231. Let f = y - 14. Sort 1, 3, f in ascending order.
f, 1, 3
Suppose 4*t - 10*h + 7*h = -9, -2*h = -6. Let d = -3 - -4. Put d, -2, t in decreasing order.
d, t, -2
Let r = -273.3 - -274. Put 0.1, -2, r in descending order.
r, 0.1, -2
Suppose 0 = 13*o - 9*o - 16. Suppose -6*d + d - 2*p = 10, -o*d - 8 = -2*p. Sort 0, -13, -1, d.
-13, d, -1, 0
Suppose -3*z + 15 = -4*k - 15, -15 = -4*z - 3*k. Sort z, 4, 5 in decreasing order.
z, 5, 4
Suppose -2*v + 2*h + 3*h - 4 = 0, h + 52 = -4*v. Let i be -5 + (-68)/v + (-26)/30. Sort i, -4, -20 in descending order.
i, -4, -20
Let a be (-2)/16 + 599/(-8). Let c = -75 - a. Put c, 3, -13 in decreasing order.
3, c, -13
Suppose 4*x - 115 = -19*x. Put -5, -3, x, 8 in increasing order.
-5, -3, x, 8
Suppose 5 = 11*j + 16. Suppose 0*d = 2*d - 10. Suppose -20 + 4 = 2*u. Sort u, d, j in decreasing order.
d, j, u
Let g = -41 + 43. Let c = 2 - -3. Suppose 18 = -c*y + g*z, -y + z = 4 - 1. Put 1, y, -5 in ascending order.
-5, y, 1
Let k(b) = b**3 - 16*b**2 + 9. Let c be k(16). Sort -1, -4, c.
-4, -1, c
Suppose -4*b = -5*b - 4*p - 9, 0 = 2*b - 5*p - 8. Sort b, 4/7, -5 in ascending order.
-5, b, 4/7
Suppose 7*q = 67 - 18. Let s be 3 + q/((-252)/(-8))*9. Put 6, 0, s, 4 in descending order.
6, s, 4, 0
Let u = -8 - -4. Suppose 3*s = 2*q - 48, 3*q + 0*q - 2*s - 77 = 0. Let t = -22 + q. Put u, -3, t in decreasing order.
t, -3, u
Let l = 1823/904 - 16/113. Let a = -91/40 + l. Put a, -3, 2, -0.1 in decreasing order.
2, -0.1, a, -3
Let h(q) = q + 13. Let z be h(-11). Suppose -4*a + a + 3*u + 3 = 0, 3 = 3*a + u. Let f(j) = j + 2. Let x be f(-6). Put z, x, a in decreasing order.
z, a, x
Let h be (-8)/6*(-4 + 1). Suppose 47*z = -19*z + 59*z - 21. Sort z, h, -2, 25 in descending order.
25, h, -2, z
Let h = -334 - -336.1. Sort 6, -1/2, h in ascending order.
-1/2, h, 6
Let l = -24 + 27. Sort -15, -5, l in decreasing order.
l, -5, -15
Suppose -6 = 58*g - 56*g. Sort 4, 185, g in ascending order.
g, 4, 185
Let u(i) = i**2 + 5*i. Let l be u(-5). Let m(f) = -2*f**2 + 63*f - 492. Let a be m(14). Put l, -1, a, 4 in decreasing order.
4, l, -1, a
Let w = 0.164 - -0.336. Sort 2/5, w, 3, 5 in increasing order.
2/5, w, 3, 5
Let s be (44/(-10))/(9/90). Put s, -4, -1, 1 in descending order.
1, -1, -4, s
Let i(k) = -k - 16. Let f be i(-17). Put -5, f, 784 in increasing order.
-5, f, 784
Suppose 33*b - 36*b - 12 = 0. Put 0, 51, -5, b in increasing order.
-5, b, 0, 51
Let x(l) be the first derivative of -5*l - 4 + 7/2*l**2 + 1/4*l**4 - 7/3*l**3. Let s be x(6). Put s, 13, -2 in decreasing order.
13, s, -2
Let k = -2838 + 2825.99. Let s = 0.01 + k. Let o = 12.08 + s. Put o, -1/4, 0.1 in increasing order.
-1/4, o, 0.1
Let i = -0.05 - -1.15. Let s = -16 - -6. Let v be 2/s*(-6)/3. Put v, -0.4, i in decreasing order.
i, v, -0.4
Suppose -3*d - 2*p = d + 8, 5*p + 20 = 4*d. Sort 3, -2, d, 11 in increasing order.
-2, d, 3, 11
Let b = 504.4 - 504.5. Let p be 8/(-6)*3/(-10). Put p, b, 1, -1/11 in descending order.
1, p, -1/11, b
Suppose -11*b + 8*b + 33 = 0. Let w = -10 + b. Sort -3, -2, w.
-3, -2, w
Let f be -1 - (5 + -2 + -15). Let o = 8 - f. Put o, 5, 0 in decreasing order.
5, 0, o
Suppose 2*w = -0*w - 4*f + 24, 2*f = 5*w - 12. Let u(i) = -i**2 - 7*i - 8. Let b be u(-5). Let c = 333 + -328. Sort b, c, w in decreasing order.
c, w, b
Suppose 17 = 3*m + 2. Suppose -6*l + b = -4*l - 14, -2*l + 18 = -3*b. Suppose -2*z = l, 3*z + 4 = s - 0. Put s, m, -4 in ascending order.
s, -4, m
Let p be -1 - (1 - 0 - -12). Let w be (-2)/(-4) - (-15 - (-117)/6). Sort p, -5, 3, w in increasing order.
p, -5, w, 3
Let k = 9.7 - 9.5. Sort k, -3, -12.
-12, -3, k
Let w = 201 - 196. Let g be (-40)/(-12) - 1/3. Sort w, g, 8 in decreasing order.
8, w, g
Let t(l) = 3*l**3 + 85*l**2 + 27*l - 30. Let z be t(-28). Let y(x) = -x - 47. Let a be y(0). Put z, a, -5, 4 in ascending order.
a, -5, z, 4
Suppose -g + 6 = 2*d, 4*d = -d - 4*g + 21. Let u = 20 + -19.99. Let f = 0.21 - u. Put d, 1/2, f in decreasing order.
d, 1/2, f
Let s = -122.2 - -122. Put -0.03, s, 0.3 in descending order.
0.3, -0.03, s
Let y = 25/6 + -11/3. Let n = 13 + -10. Suppose 5*x + n*b = -b - 20, 20 = -5*x - b. Put 5, x, y in decreasing order.
5, y, x
Let p be (115/30 - 4)*-6. Let t be (-3 + p)/6 - -1. Put t, 1/4, -0.1 in ascending order.
-0.1, 1/4, t
Let y = 165 + -160. Put y, 6, -2 in decreasing order.
6, y, -2
Suppose -2*v = -9 - 3. Let a(m) = m - 3. Let s be a(5). Let h(r) = 2*r**3 + 9*r**2 + 9*r + 24. Let z be h(-4). Sort s, z, v.
s, z, v
Let o = -276 - -271. Put 5, -14, o in decreasing order.
5, o, -14
Let f = -1905/7 + 272. Put -0.4, 0.4, f, -0.5 in increasing order.
-0.5, -0.4, f, 0.4
Suppose 0 = 3*c + k - 16, -6*c - 2*k = -3*c - 17. Put 2, -6, c in increasing order.
-6, 2, c
Let q be (11/44)/((-3)/204). Sort 0.5, -0.2, q, 3 in decreasing order.
3, 0.5, -0.2, q
Let a be -5 + (-39)/(-6) + 2 - 1/2. Suppose 8*w = 3*w + 25. Suppose 6 = -5*g - 14. Put a, w, g in decreasing order.
w, a, g
Let w = 86 + -93. Let g be (-1)/(-50)*((w - -15) + -10). Sort 2/7, g, 1/4 in decreasing order.
2/7, 1/4, g
Let h be 12/(-108) + (-2)/(-18). Sort -5, h, -41 in ascending order.
-41, -5, h
Let x = 162 + -164. Suppose 0 = -4*n - 30 + 10. Sort x, -4, n, 3 in descending order.
3, x, -4, n
Let c(x) = -x**2 - 49*x + 102. Let g be c(-51). Put g, -23, 6 in decreasing order.
6, g, -23
Let a = -10 + 10.2. Let j = 343.69 + -340. Let x = j + 0.31. Sort a, x, 0.4.
a, 0.4, x
Let a = 0.009 + 0.991. Let m = -2.99 - -2.69. Sort m, -0.4, -1/2, a in ascending order.
-1/2, -0.4, m, a
Let m = 1370.6 + -1373. Put m, -1, -2 in decreasing order.
-1, -2, m
Suppose -j = -4*j + 9. Let p be (-1 - (-13)/j)*(-12)/(-8). Sort -4, p, -2, -9.
-9, -4, -2, p
Suppose -v = 3*v - 16. Let h = 7 - v. Let q(n) = n**2 + 6*n + 12. Let t be q(-4). Put h, t, 6 in descending order.
6, t, h
Let l = 16 + -8. Let o(t) = t**2 - 7*t - 6. Let z be o(l). Suppose -2 = z*k + 2. Sort -4, k, 2.
-4, k, 2
Let j = 196 + -201. Sort -2, -31, 2, j in descending order.
2, -2, j, -31
Let v(y) = y**3 - 31*y**2 + 82*y + 62. Let t be v(28). Sort t, -24, 3.
-24, 3, t
Let f(g) = -2*g + 5. Let r be f(4). Let v be -3 - 9*2/r. Let k(x) = -x + 3. Let j be k(1). Put j, 0, v in ascending order.
0, j, v
Let t = 88 - 85. Sort 5, -9, -2, t in descending order.
5, t, -2, -9
Let o = -254 - -250. Put 0, o, -52 in increasing order.
-52, o, 0
Suppose j - z = 4, -9 - 6 = -2*j - 5*z. Sort -3, -6, j in decreasing order.
j, -3, -6
Let d be -4 + ((-403)/(-117) - (-4)/(-9)). Let v = 1 - 0. Sort v, d, 3, -7.
-7, d, v, 3
Suppose -4*z = 8, -2*a - 2*z = -0*z + 6. Let t = -626 + 622. Sort a, -3, t, 0.
t, -3, a, 0
Let z = 1956 + -1957. Sort 0.1, 2.95, z in decreasing order.
2.95, 0.1, z
Let v = -71 - -71.73. Let j = v + 4.24. Let h = 0.03 + j. Put h, 0.3, 1 in decreasing order.
h, 1, 0.3
Let r = 134 + -133. Sort -7, -2, r, -1 in descending orde