+ 7. Let n be 23/1 - (-2 + 4). Suppose 3*k - 6*k = -n. Let w be z(k). Sort 2, -5, w in descending order.
2, w, -5
Suppose 3*w = -7 + 7. Suppose 3*c + 6 = -w*c. Sort 0, 2, c in decreasing order.
2, 0, c
Let o = 524 + -526. Put 34/3, o, 1/3 in decreasing order.
34/3, 1/3, o
Let j(z) = -z**3 + 7*z**2 + 9*z - 6. Let d be j(8). Suppose -d = -4*y + 6. Suppose 2*k = -0 - y. Sort k, -4, 5 in descending order.
5, k, -4
Suppose p = -2*p - 36. Let a(r) = -3*r - 22. Let i be a(-5). Let y(s) = -s**2 - 6*s + 6. Let t be y(i). Sort t, p, 4.
p, t, 4
Let p(m) = m**3 - 3*m**2 + m - 1. Let b be p(3). Let s = 4 - -4. Suppose 2*y + 2*i = 5*i + s, y - 9 = 4*i. Sort b, 3, y in increasing order.
y, b, 3
Let m = 3 + -5. Let s(l) = -l**3 + 9*l**2 - 12*l - 4. Let n be s(7). Let t be (17/(-85))/(m/n). Put t, -1, 2 in descending order.
2, t, -1
Let m = -1190 - -1187. Sort -5, 26, m.
-5, m, 26
Let c = 1 + -2. Let m = -421 - -416. Put c, m, 1 in descending order.
1, c, m
Let d = -12 - -14. Let g be (-2)/8 + 514/136. Let p = -454/119 + g. Put d, -1, p in decreasing order.
d, p, -1
Let d be -3 - (-3 + 102/(-2)). Suppose -d = 5*z - 46. Sort -2, 4, -13, z.
-13, -2, z, 4
Let i = -37 - -36.5. Let g = 7.9 + -0.9. Let d = 3 - g. Sort -2, i, d in increasing order.
d, -2, i
Let j = -3 - -1. Let z = j + 7. Let b = -0.092 + -0.008. Sort -2/3, z, b in increasing order.
-2/3, b, z
Let k = -18 - -12. Let s = -1 - k. Suppose -10*x + 168 = 11*x. Sort 4/9, s, x in decreasing order.
x, s, 4/9
Let f be 3/15 - -37*(-10)/(-25). Let m be f/(-9)*(-9)/10. Let p = 0.04 - 0.44. Sort 0.4, p, m.
p, 0.4, m
Let k = -56 + 68. Suppose -b - k = -3*b. Put b, -0.5, 4 in increasing order.
-0.5, 4, b
Suppose -3*v + 0 = -2*l - 2, -5*v + 30 = 2*l. Let b(t) = t - 3. Let x be b(5). Let q be 2*x/(-4)*-1. Put -3, q, v in increasing order.
-3, q, v
Let f = -9 - -7. Let l be 28/21*(-3)/f. Suppose 0 = -2*m + l + 2. Put 6, m, 4 in descending order.
6, 4, m
Suppose 6*s - 3*s = 15. Let z be (-8 + 7)/(5/(-4) - -1). Put -2, s, z in increasing order.
-2, z, s
Let x(s) = -7*s - 59. Let v be x(-2). Sort -3, -5, 5, v.
v, -5, -3, 5
Let p be (1 + (-8)/12)*(-276)/230. Suppose -45 = -5*h + 2*h. Let s be 0 + (h/18)/5. Sort p, 1/2, s in ascending order.
p, s, 1/2
Let q = -2523 + 2839. Put 2, q, 4/5 in ascending order.
4/5, 2, q
Let z = -28.76 + -0.24. Let u = 43 + z. Let q = -10 + u. Put -2/17, 2/15, q in ascending order.
-2/17, 2/15, q
Let v = 0.07 - 0.37. Let n = 57 - 57.043. Let c = 0.057 - n. Sort v, -2/15, c in ascending order.
v, -2/15, c
Let w = 18964201/245 - 77406. Let c = -5/49 + w. Sort c, -1, -7.
-7, c, -1
Let v = 361.4 + -361. Suppose 9 = -y - 2*y. Let o = 2 + y. Sort 5, v, o in descending order.
5, v, o
Let z = -10 - -15. Suppose -2*b + 0 = 4. Let a(h) = h**2 + 3*h + 5. Let v be a(b). Sort v, -5, z.
-5, v, z
Let g be (492/(-36) - -14)/((-2)/18). Put -4/15, 5, g, 3/8 in ascending order.
g, -4/15, 3/8, 5
Let o = -119 + 125. Suppose 2*n - 7*n = -o*n. Put -5, -1, 5, n in decreasing order.
5, n, -1, -5
Let m be ((228/3)/(-4))/1. Let d = m - -18. Suppose -11 = -5*q + 9. Put 0, d, q in ascending order.
d, 0, q
Let m = -287 + 285. Sort 1, 2, 5, m in descending order.
5, 2, 1, m
Suppose 5*c + 20 = 2*t, 0 = 5*t + c - 0*c - 23. Suppose 5 = -0*a + a. Let m be 12/15*a/2. Sort t, m, 3 in descending order.
t, 3, m
Let h = -6.3 + 1.3. Let s = h - -3.8. Let c = s + 1.1. Sort -0.2, -0.01, c in descending order.
-0.01, c, -0.2
Suppose -4*i = -4 - 20. Suppose 0 = -4*a - f + 12, -a + 3*f = -10 - i. Put 0.2, a, 1/8, -2/11 in ascending order.
-2/11, 1/8, 0.2, a
Let k = -11/148 + -25/37. Sort 0.2, k, 0.047.
k, 0.047, 0.2
Let r(h) = h + 11. Let y be r(-8). Sort 4, y, -6, -2.
-6, -2, y, 4
Let t = -145 - -128.2. Let l = t - -17. Sort -3/2, -2/7, l, 0.4 in decreasing order.
0.4, l, -2/7, -3/2
Suppose 0*u - 4*u - 5*k - 86 = 0, 4*k = 2*u + 30. Let l be (8/(-12))/((-4)/(-18)). Sort -1, l, u.
u, l, -1
Let q(v) = v**2 + 1. Let d be q(0). Let f(g) = -5*g**3 + g**2 + 2*g - 3. Let z be f(d). Let j be (-4)/(-6) + 3/(-9). Put z, -0.5, j in ascending order.
z, -0.5, j
Let c(t) be the first derivative of -t**2/2 + t - 3. Let v be c(5). Suppose 4*u = -3*r - 2, 0 = u - 2*r - 0*r - 5. Put 3, v, u in descending order.
3, u, v
Let r = -246/5 + 49. Let c = -0.38 + 1.38. Sort c, 5, r, 0 in decreasing order.
5, c, 0, r
Suppose -4*d = -2*z - 26, 0 = -2*d - 3*z - 3 - 4. Sort -1, 5, -4, d in decreasing order.
5, d, -1, -4
Let v = -49 - -50. Put 128, v, 0 in increasing order.
0, v, 128
Let a(m) = 18*m - 220. Let f be a(12). Put -5, f, -3, 1 in decreasing order.
1, -3, f, -5
Let m be 1/(-3) + 6/18. Put 6/77, m, 2/13 in ascending order.
m, 6/77, 2/13
Let i = 470 + -478. Suppose 2*u + 0*o + o = -9, 4*o = -4*u - 16. Let x be 132/80 - (-2)/u. Put i, 1, x in descending order.
x, 1, i
Suppose -4*x - l - 6 = 0, 2*l = -x + l. Let r = x + -2. Suppose 14 = -2*o - 4*u - 2, 0 = 2*u + 10. Sort r, o, 6.
r, o, 6
Let q = -0.0423 + -36.9577. Put 3/14, q, -0.1 in decreasing order.
3/14, -0.1, q
Let i = -549 - -549.2. Let k = -0.04 + -0.26. Put 0.05, i, -4, k in decreasing order.
i, 0.05, k, -4
Let w = -682 + 685. Put 1, 0.62, w in increasing order.
0.62, 1, w
Let x(y) = y + 5. Let t be x(-5). Let a be (t - 126) + 0/(-4). Let j be (-3)/a*4*3. Put -3, j, -0.5 in descending order.
j, -0.5, -3
Let l(g) be the second derivative of g**4/12 - 4*g**3/3 + 5*g**2 + 2*g. Let t be l(7). Suppose -2*o = 2*n + 4, -t*o = -2*n - 0 + 1. Sort 2, n, -3.
-3, n, 2
Let m(v) = 2*v + 19. Let g be m(-10). Let l = 87 - 60. Let z = -26 + l. Sort g, z, -4 in ascending order.
-4, g, z
Let j = -409 - -11869/29. Sort 0, j, 1, 4 in increasing order.
0, j, 1, 4
Let i(l) = 2*l**2 + 2*l. Let y be i(-2). Let u = -27 - -23. Sort 3, 5, y, u in decreasing order.
5, y, 3, u
Let p be -3*(-4)/6 + 0. Suppose -p*d + 0*d = -2*v - 4, -5*d = -3*v. Suppose 14 = 2*x + 4. Sort x, 2, v in descending order.
x, 2, v
Let t(h) = 3*h**3 + 7*h**2 - 4*h - 2. Let z be t(1). Put 1/4, 23, z, 2/3 in descending order.
23, z, 2/3, 1/4
Suppose 0 = 3*k + n + 265, -32*n - 75 = k - 35*n. Sort -2, 3, k in decreasing order.
3, -2, k
Let n be 2 - (1 - (-3 - 0)). Let i be n - 3/(-9) - -1. Put i, 1/5, 1 in descending order.
1, 1/5, i
Suppose 4*j + 52 = 4*z, 4*z - 10*j - 60 = -8*j. Let c(v) = -v**3 + 18*v**2 - 16*v - 14. Let a be c(z). Sort -14, 2, a.
-14, 2, a
Let q = -829 + 828. Sort q, 7, 3, -4 in ascending order.
-4, q, 3, 7
Let v = -5119/17 - -301. Sort -4, 30, v in decreasing order.
30, v, -4
Let u(q) = -q. Let r be u(4). Suppose 2*g - 1 + 9 = 3*s, 20 = -5*g. Let h(i) = -i - 8. Let k be h(-6). Put s, r, k in ascending order.
r, k, s
Let t(r) = 19*r + 1. Let w be t(1). Let n(z) = -z**3 + 21*z**2 + 21*z + 24. Let y be n(22). Suppose y*o = 7*o + w. Sort o, 0, 2 in decreasing order.
2, 0, o
Let z = 540 - 542. Put -4, 100, z in decreasing order.
100, z, -4
Let l = 486 - 473. Sort l, 1/2, 5, 2/3.
1/2, 2/3, 5, l
Let q = 3265 + -3261. Let s(i) = -i**2 + 5*i - 4. Let y be s(3). Sort q, -2, y, -5 in ascending order.
-5, -2, y, q
Suppose 549 = 5*k + h, -4*h + 472 - 20 = 4*k. Sort -3, -4, -1, k in ascending order.
-4, -3, -1, k
Suppose 60 = 6*w + 6*w. Sort -1, 17, w, 4 in descending order.
17, w, 4, -1
Let l be (3 + 2)*(-3)/6*2. Let t(q) = -q**2 - 7*q - 3. Let c be t(-6). Suppose -3*w + 3*b + 15 = 0, -8 = -5*w + c*b + 9. Sort w, -3, l.
l, -3, w
Let y = -9 - -10.5. Let x = 23.5 - 23. Let q = y + x. Sort 1, 0, q in descending order.
q, 1, 0
Let w(m) = -m**2 - m + 1. Let k be ((-14)/28)/(2/(-4)). Let s be w(k). Let v(u) = 5*u + 1. Let c be v(s). Sort -1, 3, c.
c, -1, 3
Let o be 4 - (1 + 4/4). Suppose -3 - 1 = o*m. Sort 3/2, m, 1/4 in ascending order.
m, 1/4, 3/2
Let c = 551 - 557. Put c, -2, 2, 17 in decreasing order.
17, 2, -2, c
Let p = -0.04 + -2.06. Let u = p - 1.9. Put -2, u, -0.2 in increasing order.
u, -2, -0.2
Let r = 167 - 1501/9. Let o(a) = -17*a**3 - a**2 - 4*a - 2. Let d be o(-1). Put 0.2, d, r in decreasing order.
d, r, 0.2
Let s(g) = 9*g**2 + 3*g - g**3 - 5 - 1 - 13*g**2. Let m be s(-5). Let q be (12/8)/(2/m). Sort 2/3, -0.2, q in ascending order.
-0.2, 2/3, q
Suppose 34*v - 119 = -289. Sort v, -3, 7/4, -1 in descending order.
7/4, -1, -3, v
Let u be (59 - 56)*(12/9 - 1). Put -68, u, -2 in decreasing order.
u, -2, -68
Let t be ((2 + -2)/(-6 + 4))/2. Put 