der.
-8, p, 6
Let o(i) = -i**3 + 8*i**2 - 7*i - 2. Let u be o(7). Let k be (0 + (-9)/u)*2. Sort k, 5, 4 in descending order.
k, 5, 4
Let p be -2 + 6 + -3 - 1. Suppose 0 = -2*o - 2*o. Let v be 0 + o - (-2 + 3). Sort p, v, -2 in increasing order.
-2, v, p
Let j(v) = -v**3 - v**2 + 2. Let a be j(1). Let b be (a - 2) + (-15)/5. Sort 2, 5, b.
b, 2, 5
Suppose 25*z - 12*z - 39 = 0. Put z, -3, -5 in descending order.
z, -3, -5
Let h(g) = -5*g**2 + 51*g - 7. Let t be h(10). Put t, -10, -2 in ascending order.
-10, -2, t
Suppose -4*p - w + 13 = 0, 4*p + 2*w - 2 = 8. Put 1, p, -278 in descending order.
p, 1, -278
Let c = -8.5 + 5.8. Let k = -3/895 - -361/895. Sort 3/4, 4, k, c.
c, k, 3/4, 4
Let l = 5.3 - 6.3. Sort 0.1, l, 1.7 in decreasing order.
1.7, 0.1, l
Let c = 69 + -70. Let n = -0.47 - 4.53. Sort 0.5, n, 1, c.
n, c, 0.5, 1
Let o(w) = 14*w - 390. Let h be o(28). Sort -24, 3/5, h.
-24, 3/5, h
Suppose 3 = 2*m + m. Let z be (m + 2)/((-1)/1). Suppose 2*c - 3 = 5*j, -c + 3*j = -2*j + 1. Sort z, c, -5 in descending order.
c, z, -5
Let d be (-12)/42 - 24/14. Suppose 0 = -3*z - 2*z + 10, -4 = w - 4*z. Sort d, w, -6, -4.
-6, -4, d, w
Let l be (-4*5/(-12))/(10/12). Put l, -7, -4 in descending order.
l, -4, -7
Let y(z) = -z - 3. Let s be y(3). Suppose -66*t + 51 = -147. Put 2, t, s, 5 in decreasing order.
5, t, 2, s
Let s(w) = -w**3 + 6*w**2 + 5*w - 20. Let f be s(6). Let q be 0*2/(4/(-1)). Sort q, 2, f.
q, 2, f
Let x be (-9)/(-4)*(-16)/(-3). Let t be 8*(7/x)/((-10)/30). Put 0.5, 3/4, t in descending order.
3/4, 0.5, t
Let v be 1 + 33/(-27) + 0. Let q = -120 + 96. Put q, v, 1/3 in increasing order.
q, v, 1/3
Suppose 2*q = 5*k - 6 - 2, -3*q = -5*k + 12. Let h = 2 + -5. Sort -1, h, 2, q in ascending order.
q, h, -1, 2
Suppose q = -3*r - 3, -q - 2*r + 37 = 38. Let g be (0/2)/1 + 0. Suppose -4*v - 4 = -2*j, -4*j - j + v - 8 = 0. Sort j, g, q.
j, g, q
Let p = 0.29 + 0.11. Let h = -3332/15 - -222. Sort 3/2, h, p in descending order.
3/2, p, h
Let h = -1789 + 1791. Sort -8, -4, -0.4, h in decreasing order.
h, -0.4, -4, -8
Let d = 77 + -65. Suppose -2 = r + 1. Let p be r*(-3 - (-15)/9). Sort -1, d, p in descending order.
d, p, -1
Suppose 180 = -27*x + 45. Put -40, x, 3 in decreasing order.
3, x, -40
Let v = -935 + 937. Put 1, -4, 12, v in decreasing order.
12, v, 1, -4
Suppose 2*l - l - 4 = 0. Suppose s = 9 - l. Let z = -1705 - -1702. Sort s, 2, z in decreasing order.
s, 2, z
Let d(j) = j**2 + 23*j - 331. Let k be d(10). Sort -115, k, 3 in descending order.
3, k, -115
Suppose -2*i = 3*o + 10, 7*o = 3*o - 4*i - 12. Let d = 16 - 16. Sort d, o, -21.
-21, o, d
Let z = 7 - 12. Let v = 120 + -119.9. Sort 1/2, v, -0.2, z.
z, -0.2, v, 1/2
Suppose -3*v = 6, -11*q + 5*v + 2 = -13*q. Put 40, 0, -4, q in decreasing order.
40, q, 0, -4
Let t = -13 + 13.07. Let d = t - -3.93. Let o = -160 + 158. Put o, -5, d in descending order.
d, o, -5
Let k = 0.1 - 0.3. Let b = k - 0.3. Let i be -3*(1/(-3) + -10 + (-8 - -19)). Sort i, b, -2/15 in ascending order.
i, b, -2/15
Suppose 3*h - 14 = 5*l, 2*l - 3*l = 2*h - 5. Let x = 5 + -5. Suppose -o - 4 = -x. Sort h, 0, o in ascending order.
o, 0, h
Let b be (10/(-3))/((-1)/((-21)/(-14))). Sort -5, 0, b, -6 in decreasing order.
b, 0, -5, -6
Let x(t) = -t**2 + 31*t - 127. Let p be x(26). Put 13, -1, p in decreasing order.
13, p, -1
Suppose -s = 1 - 9. Let m = -0.122 - 0.878. Sort s, m, 0.
m, 0, s
Suppose 0 = -79*q + 49*q - 90. Put -2, -11, q, 2 in descending order.
2, -2, q, -11
Suppose -4 = 2*i + 2*d, 2*i - 5 = 5*d - 4*d. Let g be (-2)/12*(1 + -3). Put i, g, -0.2 in decreasing order.
i, g, -0.2
Let q = 145.81 - 146. Sort q, 2, -2/5.
-2/5, q, 2
Let h = -0.12 - -0.12. Let v = 21 - 29. Sort -1, v, h in decreasing order.
h, -1, v
Let o(f) = f - 5. Let u be o(7). Let z = u - 6. Suppose -4*y - 3*w - 1 = 0, -4*y - 8 = -2*w - 2. Put z, y, -3 in increasing order.
z, -3, y
Let x = -0.3 - -0.2. Let t = -258.4 + 258. Sort -3, x, 0, t in descending order.
0, x, t, -3
Let y be 3/2*(-2 + 0). Let o = -164 - -164.24. Let x = o - 0.04. Put y, 2, x in ascending order.
y, x, 2
Suppose 5*y + 3*i + 23 - 115 = 0, -3*i = y - 28. Suppose 5*n = n + y. Suppose -4*d = 4*f, -f - 2*d - n = -3. Sort 5, f, 2 in decreasing order.
5, 2, f
Let x = -4.169 + 0.369. Sort -0.2, -2, x.
x, -2, -0.2
Let z = -0.89 - -45.89. Let o = z + -42. Put 0.3, o, -4 in descending order.
o, 0.3, -4
Let z = -602 - -602.1. Sort 5, 0.098, z.
0.098, z, 5
Suppose 4*f - q = 2*f - 6, f + q = 0. Sort -0.4, -5, f, 0.7 in ascending order.
-5, f, -0.4, 0.7
Let y be (-1092)/5525 + (-8)/(-100). Sort 8, y, -2/167.
y, -2/167, 8
Let t = 0.176 + -0.186. Sort 2/19, 2, t, 1/4.
t, 2/19, 1/4, 2
Let l(y) = -12*y**2 + 2*y + 7 - y**3 - 6*y - 18 - 1. Let a be l(-12). Let r be (2/6)/(3/a). Put 3, r, 2 in decreasing order.
r, 3, 2
Let b be (1 + 1)/(-38 - -39). Suppose 0 = -b*j + 15 - 29. Sort 1/4, 0, j in increasing order.
j, 0, 1/4
Let c(j) = -2*j - 14. Let p be c(-9). Let x be p - ((-21)/(-8) - -1). Sort -1, -2, x in descending order.
x, -1, -2
Let t = -8.32 + 0.02. Let d = t - -8. Sort -0.2, 0.2, d in descending order.
0.2, -0.2, d
Let r = -43 - -42. Let f = 7 - 2. Put f, r, 6 in descending order.
6, f, r
Let j be (-995)/10*22/9. Let m = j - -243. Let u = 0.35 - -0.05. Put m, u, -0.3 in decreasing order.
u, m, -0.3
Let d = 15.61 - 8.88. Let r = d + -0.73. Let u = 0.5 - 0.3. Sort r, u, -1.
-1, u, r
Let i be 6 + -14 + 21 + -9. Sort 0.1, i, -10, -2 in decreasing order.
i, 0.1, -2, -10
Let y = 21.8 + -26.8. Put y, -2, 1/58, 0.5 in descending order.
0.5, 1/58, -2, y
Let o = 33831967/175 + -193325. Let v = 6/25 - o. Put 0.3, -2/47, v in increasing order.
v, -2/47, 0.3
Suppose 28*p = -5*n + 23*p + 30, 0 = 4*n + p - 15. Let x be (-1 - -1)*(-3 + (-5)/(-2)). Sort x, n, -40.
-40, x, n
Suppose -13 + 25 = 5*y - 4*m, -m = 2*y - 10. Put y, -5, 2, 1 in decreasing order.
y, 2, 1, -5
Let m(q) = -3*q**2 + q**3 + 0 + 0*q**2 + 10 - 3*q**2 - 9*q. Let z be m(7). Suppose 3*r = -1 - 2. Put r, z, -3 in decreasing order.
r, -3, z
Let g(q) = 5*q - 158. Let a be g(31). Sort a, 2, 32 in descending order.
32, 2, a
Let p(v) = 15*v - 639. Let r be p(43). Sort r, 1, -1.6, 4.
-1.6, 1, 4, r
Let w = -0.01 + -13.49. Let i = w + 16. Let z = -2 + i. Sort -2, z, 0.
-2, 0, z
Let y be (-57)/(-4)*(30 - 6). Suppose 2*m + y = -m. Let t = 800/7 + m. Sort -5, t, 0.2.
-5, 0.2, t
Let b = 94 + -89. Let i(f) = f**2 + 3*f - 5. Let g be i(-5). Suppose 6*q + g = q + 5*r, -21 = -4*q - r. Put q, b, -5 in ascending order.
-5, q, b
Let p = 9.8 - 8.8. Sort -2.2, p, 0.4 in decreasing order.
p, 0.4, -2.2
Let u = 144 - 148. Put -0.1, 5/4, 19, u in decreasing order.
19, 5/4, -0.1, u
Let v = 30739/5 - 6117. Let q = 31 - v. Sort -31, q, -1/3.
-31, -1/3, q
Let x be (-1 + -2 - -2) + 24/6. Sort -1, 8, x in ascending order.
-1, x, 8
Let t be -16*(-17 + 0 + 11). Put t, -3, 1, -2 in decreasing order.
t, 1, -2, -3
Let p(v) = 3 - 3*v + 2*v + 1. Let c be p(0). Suppose 0 = -23*i + 15 + 54. Sort c, 0, i in decreasing order.
c, i, 0
Let k = -117 - -113. Sort -11/2, k, 3 in ascending order.
-11/2, k, 3
Let g(c) = -c**3 + c**2 - 2*c - 2. Let p be g(0). Let b be p - (0/(-1) - 4). Suppose -w + 0*w = 0. Sort b, -3, w in descending order.
b, w, -3
Suppose 2*a + 4 = -w, 6*w - 2*w + 4*a = -4. Let v(s) = -s**2 - 3*s + 4. Let r be v(-4). Let n = -160 + 156. Put r, n, w in decreasing order.
w, r, n
Let g be (130/20)/(3/6). Put 1, 11, g in increasing order.
1, 11, g
Let t(p) = -p**3 + 7*p**2 + 8*p - 5. Let j be t(8). Let u = 79.5 + -79. Sort u, -6/7, -1/2, j in descending order.
u, -1/2, -6/7, j
Suppose 3*m + b + 20 = 0, 5*m + 0*b = -3*b - 28. Let a(d) = -d**3 - 3*d**2 - 5*d - 7. Let p be a(-2). Sort p, 3, 5, m.
m, p, 3, 5
Suppose -3*l + 27 - 19 = 4*j, 5*l + 30 = 2*j. Let c = -5 + 8. Sort -3, 5, l, c in increasing order.
l, -3, c, 5
Suppose 14*h + 12 = 2*h. Suppose 4*t - 14 = -5*q, -4*t = 4*q - 7*q + 2. Suppose -2*i = 2, -4*i - q = -f + 2. Sort f, -5, h in ascending order.
-5, h, f
Let h(f) = f**3 + 47*f**2 + 45*f - 48. Let a be h(-46). Sort 4, -14, -6, a in increasing order.
-14, -6, a, 4
Let p(w) = w**2 + 4*w - 11. Let t be p(-6). Let j be (t/(-2))/(24/192). Let m be (-4)/16 + (-18)/(-8). Sort m, -5, j.
-5, j, m
Let v be 12*(-8)/24 + 61. Put v, -2, 2 in decreasing order.
v, 2, -2
Let r(h) = -183*h + 1095. Let