 2/19, n, 3
Let p = 463/6 - 77. Let u = -37.964798 + -0.035202. Sort u, 0.2, 0, p in decreasing order.
0.2, p, 0, u
Suppose -3*z = 4*n + 37 + 19, -30 = 2*n + 2*z. Let y = n - -19. Suppose -18*b - 29 = 11*b. Put b, -5, y in increasing order.
-5, b, y
Let b be (-2 + 7)*2/5. Suppose 0*i + 58 = 2*i + 5*i - 3*p, -5*i = 2*p. Sort i, -5, b, -2.
-5, -2, b, i
Suppose 11 = -3*t + 5. Let y be 18/48 + 37/8. Put y, 6, t in increasing order.
t, y, 6
Let s = 8511 + -8507. Put s, -8, -1, 0.7, -0.3 in descending order.
s, 0.7, -0.3, -1, -8
Let x = -650 + 649. Suppose 9 - 3 = 3*s. Let k = s - 2. Sort 1, x, k, -4 in decreasing order.
1, k, x, -4
Let p(c) = -2*c - 6. Let h be p(-5). Let n = 261567 - 261571. Put -2, -5, n, h in decreasing order.
h, -2, n, -5
Suppose 0 = -31*u + 28*u - 6. Let g = 894 + -884. Suppose y + w - 4*w = 2, 5*y - 3*w = 22. Sort u, y, g, -1 in decreasing order.
g, y, -1, u
Let l(c) = 3*c - 1. Let s be l(6). Let w = s - 9. Suppose 0 = 3151*q - 2917*q - 234. Sort w, q, -5 in descending order.
w, q, -5
Suppose -5*f - 29 = 3*o, -9 = 2*f + f - o. Let u be -4*(-3)/16*f. Let l = 59/10 + -37/5. Put u, l, 0.4, -2 in ascending order.
u, -2, l, 0.4
Let s be 1/(2 + 254/(-128)). Suppose -110*i + 119*i - 36 = 0. Suppose -s = -i*l - 40. Sort -3, -1, l in descending order.
l, -1, -3
Let t = 14645 + -14647. Let f be 8/(-1 + 2 + -2). Sort 4, f, 1, t.
f, t, 1, 4
Let h = 20597 - 20512. Put h, 3, -4, 18 in ascending order.
-4, 3, 18, h
Let p = 3.593 - 3.393. Sort p, 1, 12/251, -2, -4 in increasing order.
-4, -2, 12/251, p, 1
Let z = -134 - -143. Suppose -3*h = -4*x - z - 19, 0 = 3*x - 5*h + 32. Sort 17, 5, x, 3.
x, 3, 5, 17
Let z be ((-54)/(-81) + 0)/(2/357). Sort -1, z, 2.
-1, 2, z
Let b = 0.03 + 0. Let s = 736 + -11042/15. Put s, -1/2, b, 0 in ascending order.
-1/2, s, 0, b
Suppose 0 = -w - w + 10. Let j = -6510 + 6512. Sort w, -2/21, 3/5, j in ascending order.
-2/21, 3/5, j, w
Let m = 9029.5 - 9029. Put -1/6, 1/4, 0.2, m, -2 in descending order.
m, 1/4, 0.2, -1/6, -2
Let q = -10065 + 9888. Sort 5, q, -1, 1 in descending order.
5, 1, -1, q
Let w = -88.3 + -58.7. Put 1, 3/4, 4, w in decreasing order.
4, 1, 3/4, w
Let x = 88 - 91. Let m = 254 - 251. Sort m, -1, 14, x.
x, -1, m, 14
Let t(u) = -109*u**2 - 1307*u - 27. Let n be t(-12). Put n, -2, 4, 5 in decreasing order.
5, 4, -2, n
Let o be 6/(-36)*48/(-32). Sort o, 3/4, -4.
-4, o, 3/4
Suppose -20 = 2*p - 3*f, 10*p + 12 = 6*p - f. Let n be (-4 + 2)*p/((-32)/(-3)). Sort 0.3, n, -5.
-5, 0.3, n
Let p(y) = y**3 + 7*y**2 - 8*y + 2. Let i be p(-8). Suppose -g + c + i = 2*g, c - 2 = -g. Put g, -47, -3 in decreasing order.
g, -3, -47
Let c be (40/(-36))/(-5) - 237/(-27). Suppose 124 - 79 = c*l. Sort 3, 6, l in descending order.
6, l, 3
Suppose -2*c = c - 3. Let q(h) = -6*h**2 - 17*h + 3. Let k be q(0). Sort 11, c, k in descending order.
11, k, c
Let h(m) = -m**3 - 5*m**2. Let x be h(-5). Suppose 869*q = 863*q + 6. Sort x, -3, 4, q in decreasing order.
4, q, x, -3
Suppose 4*c - 136 = 2*k, 2*c + 0*c = 5*k + 60. Suppose -c*r + 75 = -20*r. Put -8, -0.4, r, 1 in descending order.
r, 1, -0.4, -8
Let k(m) be the first derivative of m**2 - 21*m + 19. Let j be k(11). Let v be (((-24)/9)/8)/((-1)/(-3)). Sort j, 5, -8, v in decreasing order.
5, j, v, -8
Suppose -377*l + 369*l + 136 = 0. Let w = 21 - l. Sort w, 1, 6, -1.
-1, 1, w, 6
Let n = -8823 + 9125. Sort -2, 0.3, n, -4 in ascending order.
-4, -2, 0.3, n
Let f(c) = 1080*c - 7691. Let d be f(7). Sort 4, 5, d, -4 in ascending order.
d, -4, 4, 5
Let q = -34/69 + -1/138. Let h = -0.59 + 0.79. Put q, 2, h in descending order.
2, h, q
Let c = 0.279 - 17.279. Let l = 194 + -193.9. Sort c, 6, l, -3/2.
c, -3/2, l, 6
Let x = 8.7 + -9. Let f(u) = 24*u + 34. Let n be f(4). Let z be (-13)/n*(-8)/2. Put z, 3, -0.4, x in increasing order.
-0.4, x, z, 3
Let i = -2 + 2.3. Let h = -3 - -5. Sort h, i, -0.4.
-0.4, i, h
Let b(r) = 4*r + 76. Let s be b(-20). Let g(n) = n**2 + 5*n + 1. Let a be g(s). Sort 0.26, a, -0.5.
a, -0.5, 0.26
Let g = -15.9 - -16.454. Let p = 4.446 + g. Put p, 1/4, -1, 3 in descending order.
p, 3, 1/4, -1
Let s = -66.3 - -111.3. Let u = 47.104 + -0.104. Let k = s - u. Sort 5, k, 14 in ascending order.
k, 5, 14
Let a = -16637 + 16635. Sort 1/3, a, 4/3, -6/25, 3 in increasing order.
a, -6/25, 1/3, 4/3, 3
Let s be -2 - -5*(-35)/(-25). Suppose 9 = 4*o - 7. Let w(y) = -y**2 - 6*y + 6. Let u be w(-7). Put s, o, u, 8 in increasing order.
u, o, s, 8
Let d be 5/4*1*-2. Let g = 11 - 6. Let n be -27 - (819/(-15) + 27). Sort g, n, 1, d.
d, n, 1, g
Suppose 4*u = 4*l - 27 + 11, 3*l = -8*u + 45. Put l, 157, 1, 0 in descending order.
157, l, 1, 0
Suppose r + 5*w = -8, -2*w + 0*w - 8 = 0. Let l be 4/r + 11/(-15). Let x = 3.5 - 3.1. Sort 0, l, x in decreasing order.
x, 0, l
Let r = 278 + -277.6. Sort 174, -0.03, -0.5, r in decreasing order.
174, r, -0.03, -0.5
Suppose -2*f + f = -6. Let v(c) = c - 1. Let d(h) = -9*h + 26. Let t(a) = d(a) + 6*v(a). Let l be t(f). Put -37/5, -1, l in descending order.
l, -1, -37/5
Let w(f) = 7*f + 67. Let g be w(-16). Let t = -50 - g. Let p be 4/8*(0 - 8/4). Sort -3, t, 0, p in decreasing order.
0, p, -3, t
Let s(f) = 8*f - 30. Let a be s(6). Suppose -a*m + 6*m - 36 = 0. Let o = 4 - 4. Put o, m, -2 in ascending order.
m, -2, o
Let v be (-4)/(-14) + 2310/147. Suppose -v*a = -10*a - 18. Let u be (-8)/(-36) - 4/18. Sort a, u, 4.
u, a, 4
Suppose -7*y - 11661 = 15*y - 11529. Let g = 0 - 1. Let h = g + 3. Sort h, 5, y, -3.
y, -3, h, 5
Let d = 0.4262 + 0.0158. Let a = -0.042 + d. Let w = a - 0.9. Sort 0, w, -2 in decreasing order.
0, w, -2
Suppose 35*a = a + a - 28*a. Put -0.2, -3, a, 2/5, 0.097 in descending order.
2/5, 0.097, a, -0.2, -3
Let j(n) = -n**2 + n - 1. Let f(m) = 4*m**2 + 3*m + 12. Let t(z) = f(z) + 3*j(z). Suppose 5*c + 6 = 3*c. Let s be t(c). Put 3, s, -8, 2 in decreasing order.
3, 2, s, -8
Let v(d) = -d + 8. Suppose -3*t + 20 - 5 = -4*y, -4*t = -y + 6. Let z be (-3)/2 - 69/y. Let o be v(z). Sort -1, 2, o, -5 in descending order.
2, -1, o, -5
Let z = -1631 + 1632. Sort 1/7, z, -66 in ascending order.
-66, 1/7, z
Let o = -2/189 + 199/945. Let n = 131 + -145. Let d be (-6)/42*n/(-8). Put d, o, 2/19 in descending order.
o, 2/19, d
Let m = 1 + -3. Let c = 5343.41 + -5343. Let o = -294.2 - -294. Sort c, m, o in descending order.
c, o, m
Let g = 10.97 - 11.15. Put -4, 0, 0.1, -1/2, g in increasing order.
-4, -1/2, g, 0, 0.1
Suppose 17*p + 17487 = -7044. Put 0, p, -5 in ascending order.
p, -5, 0
Let l = 4762 + -4763. Put -5, 76, l, 2, 1 in decreasing order.
76, 2, 1, l, -5
Suppose 0 = -c - 2, -421*x - 44 = -420*x + 4*c. Sort x, -10, 4, 2.
x, -10, 2, 4
Let s = -2/3 + 1/3. Suppose 0 = g + 6 - 15, -m + 27*g - 24*g - 267 = 0. Put 2/3, s, m in descending order.
2/3, s, m
Suppose -i + 2*q + 0*q - 4 = 0, -3*i + q = -3. Suppose 4*t = 5*h - 106, 3*h + 2*t = h + 46. Let b = 1250 + -1253. Put h, 1, i, b in increasing order.
b, 1, i, h
Let s = -6.43 - -5.63. Let d = 1 - s. Put -5, d, -0.4, 5 in increasing order.
-5, -0.4, d, 5
Suppose -180 = -2372*b + 2336*b. Sort -300, b, 1, 3 in descending order.
b, 3, 1, -300
Suppose -47*t - 2*d = -46*t + 4, -3 = 3*d. Put -4, 6, t, -6 in decreasing order.
6, t, -4, -6
Let o be (-12)/5 + (-2)/(-5). Suppose 2*v = t - 481, v + 5*t + 1210 = -4*v. Let z = -238 - v. Sort 14, o, 1, z.
o, 1, z, 14
Let q be (-2)/(-7) - 30/(-189). Let b = 77688 - 776883/10. Let s = -2/21 - 32/105. Sort 4, s, b, q in descending order.
4, q, b, s
Let r be ((-2700)/(-26))/(-2) - (-39)/(-507). Sort -13, -4, 5, r in ascending order.
r, -13, -4, 5
Let a = -1.089475 + 0.089475. Let n = -2 - -2.4. Sort n, -5, -2/17, a in ascending order.
-5, a, -2/17, n
Let p = 30 + -78. Let a = 21 + p. Let w = 32 + a. Put 4, w, -0.5 in increasing order.
-0.5, 4, w
Let f(t) = t**2 + 33*t - 68. Let k be f(-35). Suppose -k*v - 4 = 50*l - 48*l, v - 4 = -3*l. Put 42, 1, v in ascending order.
v, 1, 42
Let s = -15476 - -15474. Sort s, -14, -327.
-327, -14, s
Suppose 34 = 3*o + i, -13 = -3*o - 2*i + 25. Suppose -5*q - 3*m - 2 = 18, 0 = 5*q + m + o. Let k = 9 + -5. Sort q, 2, k in increasing order.
q, 2, k
Let h(m) = m**3 + 35*m**2 - 47*m - 391. Let f be h(-36). Sort 459, f, -1.
-1, f, 459
Let i(f) = -f**2 + f + 45. Let t be i(7). Suppose t*j = 22*j + 57. Sort j, 3, -6, 1 in decreasing order