 1766. Sort 5, v, 0 in descending order.
v, 5, 0
Suppose 2*u + 11*g - 12*g = -5, -15 = 4*u - 3*g. Let l(w) = w**2 + 4*w - 4. Let f be l(-4). Put f, u, 3, -1 in increasing order.
f, -1, u, 3
Suppose 0 = 5*s - 4*o - 971, 4*s - 92*o - 776 = -88*o. Sort s, -5, 3, 0.
-5, 0, 3, s
Let j be -9*((-70)/6)/7. Suppose -3*a = v - j, -4*a + 9*a + 2*v - 26 = 0. Sort -3, -2, a, 5 in increasing order.
-3, -2, a, 5
Let p(f) = 189*f + 940. Let a be p(-5). Put a, -3, -384 in descending order.
-3, a, -384
Let r(a) = a**3 - 8*a**2 - 12*a + 22. Let y(l) = 3*l**2 - 31*l - 13. Let p be y(11). Let b be r(p). Sort b, -29, 5 in decreasing order.
5, b, -29
Let g(f) = -f**3 + 6*f**2 - f - 14. Let d be g(5). Sort 5, 4, d, -1.
-1, 4, 5, d
Let j = -4.56 + 4.96. Put -3, j, 233 in descending order.
233, j, -3
Let q = 1623 - 1618. Let s = 0.09 + -5.09. Put -1, -3, q, s in descending order.
q, -1, -3, s
Suppose -14 = w - 8*w. Suppose 0 = 3*i - 0*h - h + 7, 0 = -5*i - w*h - 8. Suppose 0*d + 20 = 5*d. Put 2, i, d in decreasing order.
d, 2, i
Suppose -8*a + 10 = -9*a - 5*j, -5*a = -3*j - 6. Sort 3, a, -6, -8 in descending order.
3, a, -6, -8
Let d be -18*(-24)/36*(-86)/(-4). Put d, -4, -5 in ascending order.
-5, -4, d
Let b = 111 + -113. Let x = 2.5 + b. Put 2.1, 5, x, 2/5 in increasing order.
2/5, x, 2.1, 5
Let v = 7 - 5. Let q = -1 + v. Let p be (5/(-10))/(-2*3/48). Put q, -5, p in descending order.
p, q, -5
Let o = 20/9 + -71/36. Let c = 0.63 + 0.07. Let d = c + 3.3. Put o, 1, d in descending order.
d, 1, o
Let v = -0.01 + -0.49. Put 3, -3, v, 1 in descending order.
3, 1, v, -3
Let b = -0.01 + -3.99. Suppose 9 + 1 = -5*r. Let g = -3748 + 3749. Put r, g, b in descending order.
g, r, b
Let s = 308 + -307. Let g be 0/((-4 + 1)/(-3)). Put g, -4, 4, s in decreasing order.
4, s, g, -4
Let j(z) = -z**3 - 7*z**2 + z + 9. Let c be j(-7). Suppose -9 = 3*b + 2*w, -2*w - 9 = 3*b - 3*w. Let v = 7 + -6. Sort c, v, b.
b, v, c
Let q = 2.06 - 0.06. Let f = 30.009 + -0.009. Let y = 29 - f. Put q, -3, y in descending order.
q, y, -3
Let l be 1*(3 - (3 - -1)). Let u be (3 + l)*1/2. Sort u, 5, 7.
u, 5, 7
Suppose 2*q = 3*q - 5. Let o(i) = 4*i - 16. Let v be o(q). Let f be (-16)/(-104) + 54/(-13). Put v, 1, f in descending order.
v, 1, f
Suppose 2*a + 3*a = 0, 0 = z + 4*a - 1. Let q(o) = 2*o**2. Let s be q(z). Sort s, 0, 3.
0, s, 3
Let q = -3659419/567 - -6454. Put -3/7, 1/7, q in decreasing order.
1/7, q, -3/7
Let c = 3 - 3.4. Suppose r = l - 6, -8*r - 10 = -3*r. Let j be l*((-31)/(-30) + -1). Sort j, -0.5, c.
-0.5, c, j
Let c be 252/(-133) - 14/133. Sort c, 2, 5 in increasing order.
c, 2, 5
Let w = -2711 - -2715. Put -2, w, 3/35 in decreasing order.
w, 3/35, -2
Suppose 0 = -5*u, -4 = -x - 2*u + 7*u. Suppose -3*s + 4*i + 16 - 3 = 0, 4*s - 3*i = 15. Suppose 2*y + 11 - 3 = 3*r, 0 = 5*r - s*y - 12. Sort 1, r, x.
r, 1, x
Suppose i + 2*d = -2*d + 7, 1 = -i + 4*d. Sort 0, i, 5, 4.
0, i, 4, 5
Let k = 618 - 621. Put k, 2, 7, -1 in descending order.
7, 2, -1, k
Suppose 22 = 2*f - 4*q, 6*q = 5*f + 2*q - 85. Let z be 6/f + 60/(-14). Suppose -3*c = -30 + 21. Sort 4, c, z.
z, c, 4
Let b(k) be the third derivative of k**6/120 - 7*k**5/60 + k**3/3 + 4*k**2. Let n be b(7). Let p be (-1)/(-3)*12/n. Put -0.2, p, 1 in decreasing order.
p, 1, -0.2
Let i = -3.2 - 18.8. Let b = 21 + i. Let c = 60 + -123/2. Sort b, c, 0 in descending order.
0, b, c
Let s be -3*1/(2 + -3). Let l = -637 + 636. Put s, l, -2, 5 in descending order.
5, s, l, -2
Suppose 0 = -31*k + 1267 - 1422. Suppose 4*s - 18 = -r + 12, -5*r = 3*s - 82. Put k, r, 2 in descending order.
r, 2, k
Let t = -228 + 223. Let z = 3 - 2. Sort z, t, -7/6, -2.
t, -2, -7/6, z
Let h = -39.7 + 39.7. Sort h, -0.245, 4/3 in ascending order.
-0.245, h, 4/3
Suppose -12 = 136*y - 142*y. Let n be ((24/(-10))/(-3))/2. Sort -1/5, y, n, 5 in ascending order.
-1/5, n, y, 5
Let g = -280 - -277. Sort 5, 22, g in descending order.
22, 5, g
Let r = 91 + -65. Let a = r - 12. Let u = a - 14.1. Sort 3, u, -4 in ascending order.
-4, u, 3
Suppose 0*n = 2*n - 10. Let z(s) = 108*s + 544. Let f be z(-5). Sort n, f, 3, -8 in descending order.
n, f, 3, -8
Let v = 5211/143 + -400/11. Put 2/31, 3/2, v in increasing order.
2/31, v, 3/2
Suppose -3*b + 2*b = 0. Suppose b = 2*c - 3*c - 3. Put 3, -1, c in increasing order.
c, -1, 3
Suppose 11*d - 15*d = 8. Let q be 3/d*(7 - 11). Sort 0, q, 5 in decreasing order.
q, 5, 0
Let a = 20 - 15. Let z = -9.6 + 1.6. Let d = z + 7. Put -3, a, d in increasing order.
-3, d, a
Let u = -11471/2 + 1892819/330. Let k = 1/55 + u. Let x = 81/5 + -16. Put 2/9, x, k in decreasing order.
k, 2/9, x
Let i(m) = -3*m**2 + m + 1. Let s be i(-1). Let x = -2 + s. Let p = -63 + 65. Sort x, 5, p.
x, p, 5
Let p = -213 + 208. Sort -4, p, -2/9, 0.2 in increasing order.
p, -4, -2/9, 0.2
Suppose -38 = -4*b + 14. Let d = b - 18. Suppose 0 = 5*t - 12 - 3. Put t, 1, d in descending order.
t, 1, d
Let g be (-1)/(-4) + (-3)/(-4). Let q be (-6)/(-18) + 77/3. Let k = q + -24. Sort k, -3, g in descending order.
k, g, -3
Suppose 164*p - 53 = 111*p. Let m be (3/(-2))/(1/6). Let t = m + 13. Sort p, t, -3 in decreasing order.
t, p, -3
Let u = 159 + -162. Sort 7, u, -6 in descending order.
7, u, -6
Let i(j) = -13*j - 46. Let a be i(-6). Let q be 10/a*(15 - 3) - 3. Sort q, -4, 17, 1/2.
-4, 1/2, q, 17
Suppose -21*h - h - 66 = 0. Sort 1, -103, h in ascending order.
-103, h, 1
Suppose -16*p = -7 - 41. Put p, -4, -3, 2 in decreasing order.
p, 2, -3, -4
Let s be (-16)/(-36)*((-5)/(-10))/1. Suppose t + 2*v - 10 = 2*t, 3*t - 5*v = -27. Put -5, t, s, 2/15 in increasing order.
-5, t, 2/15, s
Let w = 244 + -241. Sort -4, 2/9, 4/5, w.
-4, 2/9, 4/5, w
Let k be (12/5)/(-3)*-10. Suppose 3*n - 7*n - k = 0. Let c be -2 + 1 + -1 + 1. Sort 0, c, n in descending order.
0, c, n
Let k(d) = 6*d - 93. Let w be k(15). Sort w, 3, -29, -4.
-29, -4, w, 3
Let o = -0.5 - -0.1. Let j(w) = -w**2 - 4*w + 16. Let y be j(-7). Let d be ((-9)/(-90))/((-3)/y). Sort o, -0.5, d in decreasing order.
d, o, -0.5
Suppose -2*v + 6 = 0, -10*v + 7*v = 5*i - 34. Put 18, 0, -4, i in decreasing order.
18, i, 0, -4
Let x = 376 - 372. Let b = -1 + 6. Sort b, -27, 1, x in descending order.
b, x, 1, -27
Let q = -3.24 + -0.76. Put q, 1, -0.3, -3 in decreasing order.
1, -0.3, -3, q
Let v = -0.0353 + -2.1947. Let p = -0.23 - v. Sort p, 0, -0.01 in decreasing order.
p, 0, -0.01
Let y be (15/10)/(2/(-4)). Let f = y - 1. Let j = f + 0. Sort 2, 0, j.
j, 0, 2
Let a = -148.1 + 118.04. Let v = 30 + a. Sort v, -0.4, 0.1, -4.
-4, -0.4, v, 0.1
Let k = -57 - -62. Put 2, k, -8 in increasing order.
-8, 2, k
Let y = 85 + -84. Put -1, y, 0 in ascending order.
-1, 0, y
Let p = -83 - -88. Sort p, -1, 0, 9 in descending order.
9, p, 0, -1
Let y = -3 + 0.5. Let z = y - -3. Let q = -0.4 + 0. Put z, q, -4 in ascending order.
-4, q, z
Let r = 28 - 27. Let p be (r - 1 - 1)*(-19 + 12). Put p, -3, -0.3, -5 in descending order.
p, -0.3, -3, -5
Let u = -0.1 + -4.9. Sort u, 5, 7.8 in decreasing order.
7.8, 5, u
Suppose -2*x - 2 - 4 = 0. Suppose -c = -5*c + 8. Put x, -2, c in increasing order.
x, -2, c
Let u(b) be the third derivative of -b**4/12 - 2*b**3 + 11*b**2. Let a be u(-8). Put 5, 2, a, 0 in decreasing order.
5, a, 2, 0
Let a = 0.37 - -0.53. Sort 1/10, -4, a.
-4, 1/10, a
Let m = -32.87 + 33. Let s = 1.071 + -1.341. Let q = m - s. Sort 0.1, q, -3 in ascending order.
-3, 0.1, q
Let x = 59 - 59. Put -0.1, x, 9, -2/3 in ascending order.
-2/3, -0.1, x, 9
Suppose 4*g + 12 = -9*j + 5*j, 0 = 2*g + 4*j + 2. Let x(k) = -1 - k**2 + 1 + 4*k. Let f be x(4). Sort -7, f, g in descending order.
f, g, -7
Let v = -26.6 - -26.3. Put 0, 1/4, v, -5.1 in decreasing order.
1/4, 0, v, -5.1
Let h(c) = c - 5. Let q be h(6). Suppose -l - 25 - 15 = 7*l. Put -3, q, l in increasing order.
l, -3, q
Let p(k) = -k**2 + 2*k. Let i be p(-3). Let s = 20 + i. Suppose 4*t = -13 + 5. Sort s, t, 4 in decreasing order.
s, 4, t
Let y = 3 + 7. Suppose -4*i + y = -9*i. Let b be ((-1*4)/i)/1. Put -4, 5, b in decreasing order.
5, b, -4
Let p be (-3)/(-12)*4 + -3. Let g(v) = v**3 - 6*v**2 + 7*v + 5. Let y be g(4). Sort y, p, -1.
p, -1, y
Let n be 2*(-5)/(-30)*(0 + 3). Let d be n/(2 + (-27)/15). Let t = -3 + 3.1. Put t, 3/4, d in increasing order.
t, 3/4, d
Let k = -484 - -484. Sort k, -5, 3, 14.
-5, k, 3, 14
Let s = 44 + 