 + 7. Sort l, n, 2 in decreasing order.
n, 2, l
Let g = -55 + 93. Let w = -42 + g. Let l be 0 - ((-3)/(-1) - 1). Put l, w, 0 in descending order.
0, l, w
Let n = -3.88 - -0.88. Let a be (-8)/(-28) - 48/364. Put 1/6, a, n in descending order.
1/6, a, n
Let l be (-2166)/1026 - (-3 + 2). Sort -5, l, 2/11.
-5, l, 2/11
Let c be (-2776)/(-19) + (-42)/399. Sort -2, 5, c in decreasing order.
c, 5, -2
Let b be (168/196)/(5/7). Let r = -3/5 + b. Let w be -3 + 5 + 34/(-18). Sort r, w, 2 in descending order.
2, r, w
Let v(u) = -2*u + 31. Let a be v(15). Let p(s) = s**3 - 2*s**2 - 7*s + 1. Let x be p(4). Sort a, x, 6, -4 in descending order.
6, x, a, -4
Suppose -166*w = -141*w + 100. Let j be 30/7 - (-4)/(-14). Put 0, w, j, -3 in ascending order.
w, -3, 0, j
Suppose -2*h = t - 6*t + 5, 3*t - 24 = -3*h. Sort 4, 40, t in descending order.
40, 4, t
Suppose 5*c - 5*v = 30, -7 = -2*c - v + 2. Let i = 9 + -69. Let r = i - -62. Put 0, c, r in descending order.
c, r, 0
Let b = 9.4 - 1.4. Let h = -13 + b. Let w be 784/2156 - (-18)/(-110). Sort 3, h, w.
h, w, 3
Let w(g) = 6 - 3*g**3 + 4*g**2 - g + 2*g**3 - 8. Let y be w(2). Let k = -54 + 54.3. Sort 6/13, y, k.
k, 6/13, y
Let k = -3/296 - 2347/2072. Let l = k - -47/35. Sort -0.1, l, -4.
-4, -0.1, l
Suppose 11*x - 10*x + x = 2, 0 = -3*z + 3*x. Let n = -2 - 2. Sort 5, z, n, -6 in descending order.
5, z, n, -6
Let u(i) = i**3 - 6*i**2 + i + 1. Let w be u(6). Suppose 1 = w*t + 8. Put 5, 0.4, t in increasing order.
t, 0.4, 5
Let q = -5 + -7. Let u = -1510/11 - -4615/22. Let t = -72 + u. Sort 1, t, q in descending order.
1, t, q
Let u be (-140)/21*18/(-5). Suppose -5*b - u = b. Sort b, -0.6, 0.4.
b, -0.6, 0.4
Let w(p) = -p**3 - 6*p**2 - 3. Let n be w(-6). Let a be 221/(-26) + (-3)/(-2). Let l be -5 - a/(28/12). Sort l, -1, n.
n, l, -1
Let y be (440/45)/(-8) - (-10)/45. Sort -13, y, 8.
-13, y, 8
Let v be (-4)/6*5/((-85)/102). Let y = 0 + -1. Sort y, -2, v in decreasing order.
v, y, -2
Suppose 3*s - 5 = -2*r, -4*s + 3 - 2 = -3*r. Let l = 25 + -20. Suppose 5*p + 2*h = -0*h + 13, -19 = -l*p + 4*h. Sort 2, p, r in descending order.
p, 2, r
Let t(r) = r**2 + 18*r - 1285. Let u be t(28). Let q be (0 - 2)*3/(-18). Put -0.3, q, u in descending order.
u, q, -0.3
Let o = 64.392 + -64. Let u = 0.108 + o. Sort u, 4, -2/7 in increasing order.
-2/7, u, 4
Let z = -12 - -14. Let k be z*4/(-100)*-40. Sort k, -3/7, -2 in ascending order.
-2, -3/7, k
Suppose -6*c - 5*h - 33 = -4*c, 20 = -4*h. Put -5, 16, 4, c in ascending order.
-5, c, 4, 16
Suppose -16*q + 11*q - 15 = 0. Let m be (-1)/(-3) + 2/3. Sort 2, q, m in descending order.
2, m, q
Suppose 3*i - 13 = 4*c, -15 = 4*i - 9*i. Sort -3, c, -10 in decreasing order.
c, -3, -10
Let i be -10 + 10 - 3/1. Let p be (-2 - -3) + i/6. Let w = 119 + -118. Sort w, p, 0 in descending order.
w, p, 0
Suppose 4 = -8*m + 3*m - 3*u, -4*u = 12. Let h be 0 + 5 + (-4 - -2). Let t = m + h. Put 5, -2, t in decreasing order.
5, t, -2
Let r be 99/22*(-12)/(-18). Sort -2, -9, r.
-9, -2, r
Let s = -57 - -56.82. Let f = -0.38 - s. Let t = 13 + -8. Put t, f, -4 in decreasing order.
t, f, -4
Let f = -501 - -501.1. Put -1.4, f, -3, -6 in ascending order.
-6, -3, -1.4, f
Let z be 1*(-2)/(1 - 2) - 0. Suppose 4 = z*q + i, q - 3*q - 4*i + 10 = 0. Sort q, -9, -4 in decreasing order.
q, -4, -9
Let a = 3 + 2. Let f(t) = -t**3 + 3*t**2 - t - 5. Let x be f(3). Let k be (2 - x/(-6))/(35/(-15)). Sort 3/7, k, a.
k, 3/7, a
Let o = 5.4 + -0.4. Let v = 26.8 + -28.11. Let h = -1.21 - v. Put -4, o, h in increasing order.
-4, h, o
Let n = 1243 + -1247. Sort 1, n, -35, -1 in ascending order.
-35, n, -1, 1
Suppose 3*k = -5*n + 14, -k + 4*n = 2*n + 10. Sort 5, k, 20, -3 in decreasing order.
20, 5, k, -3
Suppose 3*t = -t. Let s be (0 - -1)/2*t. Suppose -4*u = 3*a + 11, -u = -a + 3*a - 1. Sort s, u, -4.
u, -4, s
Let o = 578 + -578. Sort 2, -42, 5, o in descending order.
5, 2, o, -42
Let o = -58 - -98. Let z = -40.3 + o. Put 0.1, 0.3, z in descending order.
0.3, 0.1, z
Suppose x + 2 = -1. Let j(y) = 22*y - 6. Let k(p) = 2*p - 1. Let z(n) = -j(n) + 10*k(n). Let b be z(0). Sort b, x, 0 in descending order.
0, x, b
Suppose 0 = -2*b - 4*z + 112, 5*b - 131 = -2*z + 109. Let q = b - 42. Suppose -h + 15 = 2*h. Sort h, q, -1 in ascending order.
-1, q, h
Suppose -74*l = -76*l + 2, 0 = 4*m + 2*l - 14. Let z be 2/4 - 1/(-2). Let p be -1 - (z + 0/2). Sort p, m, 5 in increasing order.
p, m, 5
Let b be (-4)/(-10)*210/28. Sort 5, b, -35 in decreasing order.
5, b, -35
Suppose 0 = 3*a + 3*h - 12, 20 = -12*a + 17*a + 3*h. Put a, 24, -2, -1 in decreasing order.
24, a, -1, -2
Suppose -5*z + z - 5*b = 3, b - 7 = 3*z. Let o be ((-8)/16)/(z/12). Put 1, o, -2/7, 5 in ascending order.
-2/7, 1, o, 5
Suppose 4*u + 5*k = 16, -2*u = -4*u + 5*k + 8. Let s be 6/u*10 - 3. Suppose -2*c = c + s. Sort 1, 5, c in ascending order.
c, 1, 5
Let g(o) = 2*o - 2*o**2 + 3*o**2 - o. Let l be g(-1). Let y = 97 - 98. Put y, l, -5 in descending order.
l, y, -5
Let j = -307 - -311. Sort j, 0.2, 14.
0.2, j, 14
Let y = 144 + -164. Sort -5, y, -0.5, 5 in descending order.
5, -0.5, -5, y
Suppose -34*x - 66 = -56*x. Sort -2, x, -41.
-41, -2, x
Let y = 46 + -45. Let g be y - (0 - (-32)/12). Put g, -2/13, -0.3 in descending order.
-2/13, -0.3, g
Suppose 4 = -5*o - 2*s + 39, -2*o - 3*s = -25. Suppose -33 = 4*p + 4*i - o, 2*p - i = -26. Let a = p - -14. Sort -5, a, -2/15 in ascending order.
-5, -2/15, a
Let h(k) = -k**2 - 4*k + 1. Let w be h(-5). Let f be (-162)/(-486) + (-5)/(-3). Put f, -9, w in descending order.
f, w, -9
Let d be (-10)/915*((-10)/4 + 1). Put -4, 3, d in decreasing order.
3, d, -4
Let d = 83/186 + -26/93. Suppose -3*i + 8*i = -5*p, 4*p = -2*i + 4. Sort p, -0.4, d in descending order.
p, d, -0.4
Let n be -4 + (-1)/(4/(-32)). Suppose -n*j = -5*o - 7*j + 63, -26 = -2*o - 2*j. Suppose -m = a + 2*m + 14, 4*m = -o. Put 5, -1, a in decreasing order.
5, -1, a
Let j = 26/35 - 3/5. Let n = -0.25 + 0.15. Sort n, -3, 3, j in increasing order.
-3, n, j, 3
Suppose 0 = -13*u + 44*u - 31. Sort -5/4, u, -5/6.
-5/4, -5/6, u
Let v(t) = -t**2 + t + 3. Let f be v(3). Let r(c) = -c**2 + 5. Let d be r(0). Suppose 14 = 3*a - 7*a + d*h, -h - 2 = 0. Put -5, a, f in decreasing order.
f, -5, a
Suppose -3*w = 4*l - 0*l - 10, -4*l + 8 = 4*w. Sort 7, w, 4, -4.
-4, w, 4, 7
Let y = -4 - -6. Let a = -12.04 - -7.04. Sort -2/19, a, y.
a, -2/19, y
Let w = -472 - -467. Suppose 4*r - 1 = 11. Sort r, -4, w in descending order.
r, -4, w
Let j be 28/8 + -3 + 2/4. Suppose 3*l + l + 2*o - 26 = 0, o = 4*l - 11. Put l, j, -3, -2 in ascending order.
-3, -2, j, l
Let b be ((-18)/(-4) - 6)/3. Put -1/7, 4, b in descending order.
4, -1/7, b
Let z be 382/(-19) + 20 - 42/(-38). Let u(j) = 2*j**2 + 3*j + 3. Let t be (-2)/(-4)*(2 - 6). Let l be u(t). Sort z, l, 2 in increasing order.
z, 2, l
Let o be ((-10)/8)/(-8 + 248/32). Suppose o*f - 8 = 4*p, -4*p = -f - 5 + 13. Sort f, -8, 5 in ascending order.
-8, f, 5
Suppose a + 175 = -6*a. Let j = a - -26. Sort j, -1, 5, -15.
-15, -1, j, 5
Let k(a) = -3*a - 23. Let u(f) = -5*f - 46. Let i(m) = 7*k(m) - 4*u(m). Let j be i(23). Put j, 1, -1, 5 in increasing order.
-1, j, 1, 5
Suppose -18*q - 19 = -1. Sort -2, 5, q, -4 in increasing order.
-4, -2, q, 5
Let l = 102 + -94. Let t be -10*(-8)/5*(-2)/l. Sort -3, 3, -2, t in decreasing order.
3, -2, -3, t
Suppose 5*p = -5*l - 85 + 25, -5*p + 12 = -4*l. Let h(d) = -d**2 - 8*d + 3. Let m be h(l). Suppose 0*j + m = j. Sort -9, 0, j in ascending order.
-9, 0, j
Let y be -2 - (5 + 0)/(3/(-3)). Sort -1, -3, 2, y in increasing order.
-3, -1, 2, y
Let k = -162 + 189. Sort -2, 2, k in ascending order.
-2, 2, k
Let u be (-1)/(-2) - (-13)/((-234)/81). Put 0, 2, -7, u in ascending order.
-7, u, 0, 2
Let r = 503 + -747. Let g = r + 2194/9. Let f = -0.59 + 0.09. Sort f, g, -3 in decreasing order.
g, f, -3
Suppose 5 = w + 4*w, 4*f = -5*w + 45. Let r be -4 + (f - 2) - -16. Let o be -2 + (-5)/(r/(-52)). Sort o, 4, -5 in decreasing order.
o, 4, -5
Suppose 4*h = r + 21, 6*r = 5*r - 5. Suppose 9*p - 5*p - h = 0. Sort p, -1/10, -4, -3/4 in decreasing order.
p, -1/10, -3/4, -4
Let a = 416 + -419. Let r = -5/13 - 3/26. Sort 4, a, r in decreasing order.
4, r, a
Let a = 1448 - 1452. Put -0.2, -17, a in ascending order.
-17, a, -0.2
Suppose 17*h - 15*h = 0. Let x(m) = -m**