+ 2. Let s be a(0). Let q = -2 - s. Sort 4, z, q.
z, q, 4
Let d = -7 - -11. Let r = -0.6 + 0.1. Sort d, r, -2/7 in decreasing order.
d, -2/7, r
Suppose -15*u = -12*u + 9. Sort u, 0, 8 in increasing order.
u, 0, 8
Let t be (-4 - -7) + -3 + 1. Sort 0, 4, t in ascending order.
0, t, 4
Let y = 0.3 + -0.1. Let b = y - 0.1. Let a = 0.4 + 2.6. Put a, -0.1, b in descending order.
a, b, -0.1
Let q = -21.4 + 24. Let w = q + -3. Let b be 1/(-3)*(-12)/26. Sort w, -1, b in descending order.
b, w, -1
Let x = 50 - 46. Sort -2, x, 5, 2 in descending order.
5, x, 2, -2
Let m = 21 + -22. Sort 3, 4, m in descending order.
4, 3, m
Suppose -2*m = 1 - 7. Let c be (4/3)/(14/m). Let y = -2/87 - 9/29. Put -2/9, c, y in descending order.
c, -2/9, y
Let s(b) = -b**2 - 6*b + 6. Let d be s(-5). Suppose 4*u - 3 = -d. Put u, -4, -2/9 in ascending order.
-4, u, -2/9
Suppose 8*p - 5 = -3*n + 3*p, 5*n + 3*p = 3. Let r be 2/2 - (n - -2). Suppose 3*d - 26 = -5*z, -3*d + 0*z + 3*z - 6 = 0. Put -5, d, r in increasing order.
-5, r, d
Let t be 6/(-9) - (-35)/42. Put 5, -3/2, 3, t in ascending order.
-3/2, t, 3, 5
Let g = 61 + -60.6. Put -2, g, -1/12 in decreasing order.
g, -1/12, -2
Let m be (3/((-9)/6))/(-2). Put m, 1/5, -1 in increasing order.
-1, 1/5, m
Suppose -3*j + 1 = -5. Suppose 0 = 3*x + j*x + 25. Sort -3, x, -2 in increasing order.
x, -3, -2
Suppose q - 10 = -3*q - 2*u, 0 = -2*q + u - 1. Sort q, -5, -19 in increasing order.
-19, -5, q
Let a(b) = 5*b**2 - b + 1. Let x(w) = w**2 - 5*w + 5. Let f be x(4). Let u be a(f). Let i = 17 + -18. Sort -5, u, i in decreasing order.
u, i, -5
Let b(i) = i**3 - 6*i**2 + 6*i - 6. Let y be b(5). Suppose 29 = -8*o - 3. Put o, 5, y in ascending order.
o, y, 5
Let f(w) = -w - 7. Let g be f(-6). Put g, 0, 3, -2 in decreasing order.
3, 0, g, -2
Let o be 63/12 + 1/(-4). Let k be (-162)/45 + 3/5. Sort o, -4, k in ascending order.
-4, k, o
Suppose -3 = p - 6. Suppose -p*q + 4 = -14. Suppose -a + q = -4*a. Put a, 1/2, -2/5 in descending order.
1/2, -2/5, a
Let u be 1759/7 - (-2)/(-8). Let q = 251 - u. Let x = -11/28 + q. Put 0, 0.5, x in descending order.
0.5, 0, x
Let k(z) = -z**3 + 6*z**2 - 8*z + 10. Let j be k(5). Let w = 0.8 - -4.2. Sort -3, w, j in decreasing order.
w, -3, j
Let s = -0.02 - 2.98. Let x = -3.4 - s. Let l = 0.2 + x. Put -2, l, 0 in descending order.
0, l, -2
Let a(u) = 2*u + 15. Let d(z) = 4*z + 31. Let v(r) = 13*a(r) - 6*d(r). Let t be v(-7). Sort 4/7, t, 0.04 in descending order.
4/7, 0.04, t
Let t = -12 + 18. Let g be t*20/54 + -2. Let d = -0.6 + 0.9. Sort 2/17, g, d in descending order.
d, g, 2/17
Let s(q) = -q**2 - 5*q - 2. Let w be s(-4). Suppose 5*c + 29 = -k, 3*c + 7 = -2*k + 4*k. Sort -2, c, w.
c, -2, w
Let v be 24*-1*10/(-15). Suppose 2*h - v = -3*h - 2*m, 17 = h + 5*m. Let u(s) = -s**2 + 6*s - 1. Let c be u(6). Put h, -4, c in ascending order.
-4, c, h
Suppose -5*c + 26 = -2*d, -4*c = -0*c + 5*d - 34. Sort c, -5, -2 in decreasing order.
c, -2, -5
Let z = -275/6 + 46. Let p = 3.2 + -4. Let v = -0.2 + p. Put -0.2, z, v in decreasing order.
z, -0.2, v
Let s = -1.3 + 1. Let r = -2/245 - 472/2205. Put -5, s, r in increasing order.
-5, s, r
Let r be (-150)/80*(-4)/(-6). Sort 0.4, 0, r in decreasing order.
0.4, 0, r
Let t = -18 + 10. Let y(c) = -c**3 - 7*c**2 + 8*c - 4. Let p be y(t). Let u(h) = -h**2 + h + 1. Let b be u(2). Sort -5, b, p in increasing order.
-5, p, b
Suppose -4*r + r - 270 = 0. Let j be (-6)/4 - 115/r. Put j, -3, -0.4 in descending order.
j, -0.4, -3
Let y be -2 + 3 - 2/(-2). Suppose 17*i = 16*i + 3. Sort i, -5, y in increasing order.
-5, y, i
Let p(z) = z - 2. Let r be p(5). Let s = 11 - 16. Put 0.3, s, r in increasing order.
s, 0.3, r
Let u = 0.06 - 0.03. Let q = -0.33 + u. Sort q, 4, 0.5 in descending order.
4, 0.5, q
Let r(x) = x**2 - x + 1. Let g be r(2). Let p be 150/4*(-4)/g. Let t = 148/3 + p. Sort t, 2, 0.2.
t, 0.2, 2
Let h = 0.02 + 0.28. Let z = 0.3 + -4.3. Put z, 1/3, h in ascending order.
z, h, 1/3
Suppose 2*w = 3*w. Let i = w - -4. Sort i, 2, 5 in ascending order.
2, i, 5
Let f = 0.022622 + 397.907378. Let z = f - 400. Let r = z + 0.07. Put 0, r, 3 in descending order.
3, 0, r
Let k be (-1 - 0)/(1/4). Suppose 0 = 9*p - p + 8. Sort p, k, 4.
k, p, 4
Let g = -0.17 - -0.07. Let q = -0.1 + g. Put 0.2, 1/4, q in descending order.
1/4, 0.2, q
Let r = -0.07 - 2.93. Let i be 270/42 + (-6 - 0). Put -2, i, r in descending order.
i, -2, r
Suppose 2*i = -3*a + 4, -3*a - 1 = -6*a - 5*i. Sort a, 1, -1.
-1, 1, a
Let r = -6 + 3. Let u be (-1)/4 - (-34)/8. Let g be 2/u + 18/(-4). Put -1/5, g, r in ascending order.
g, r, -1/5
Suppose -3*j = -0*j - 18. Let a be j/2 + (-1 - 0). Let m be (4 - 1)/(-1 - -2). Put a, -2, m in descending order.
m, a, -2
Let q be -4 - -4 - -13*(-2 - -1). Sort 1, -5, q, -3 in decreasing order.
1, -3, -5, q
Let y = -15 + 35. Suppose -4 = -24*q + y*q. Sort q, -5, -3 in descending order.
q, -3, -5
Let t be 8/28 - 16/7. Sort -2/5, -1/9, t, 0.2 in decreasing order.
0.2, -1/9, -2/5, t
Let o = 52 - 57. Sort -4, -1, 2, o in descending order.
2, -1, -4, o
Suppose 0 = c + 4*z - 23, 2*c - z + 2 - 3 = 0. Suppose 4*l = 3*l + c. Suppose b = 3*b + 5*p + 1, 4*p = -4. Put 1, b, l in descending order.
l, b, 1
Let h = -151/55 - -28/11. Let j = 154 + -150. Put -3, h, j in decreasing order.
j, h, -3
Let v be (-2)/9 - 258/54. Let b be (-3 - -2)*-1*-3. Put v, -1, b in increasing order.
v, b, -1
Let b be (-18)/45 - (34/(-10) - -1). Let s(n) = n**3 + n**2 - 3*n - 3. Let l be s(-2). Sort l, -2, b.
-2, l, b
Let b(k) = 13*k**2 + 3*k - 2. Let d be b(1). Put 3, d, -3 in decreasing order.
d, 3, -3
Let b be (-2 + 0)/(7/1). Let c = -2 + 0.4. Let d = -2.4 + c. Sort d, b, -2.
d, -2, b
Let b = 1 - 3. Let c = 0 - b. Let m = 1/59 + -62/177. Sort c, 1, m in ascending order.
m, 1, c
Suppose r = -4 + 1. Suppose 2*w + 6 + 0 = a, -2*w - 10 = -3*a. Suppose a*n + 0 = -10. Sort -1, n, r in descending order.
-1, r, n
Let f be 0 - 0 - (-1 + 1). Suppose 18 = 3*n + 3. Sort n, f, -4.
-4, f, n
Let w be 4/12*(0 - 0). Suppose w*h + h = 5. Let u = 2 - 0. Put u, h, -5 in ascending order.
-5, u, h
Let y(w) = w - 1. Let l be y(7). Let p be 1/(-3*(-1)/l). Suppose -5*x - i - p = 6, 0 = -2*x + 5*i - 14. Sort 5, -3, x in increasing order.
-3, x, 5
Let a be (-2)/(-3)*12/(-8). Sort 2, a, -2 in descending order.
2, a, -2
Let n = 0.11 + -0.06. Let t = -0.15 - n. Put t, 0.2, -1/3 in ascending order.
-1/3, t, 0.2
Let c = -6 - -9. Suppose 4*l = c*l + 5. Let m be (-48)/27 + (-2)/9. Sort m, l, -1 in descending order.
l, -1, m
Let v = 0.137 - 0.037. Put v, -2/11, 5 in decreasing order.
5, v, -2/11
Let k(x) = x + 6. Let c be k(-4). Put -2, c, 0 in increasing order.
-2, 0, c
Let b = 87.2 + -87. Let c = -3 - -2.5. Let i = c - -0.1. Sort 5, b, i.
i, b, 5
Let z = 17 - 14. Put -0.01, 0.3, z in ascending order.
-0.01, 0.3, z
Let z = 1 - -1. Let k be (-3 + 2)*(2 - -3). Sort 3, k, z in descending order.
3, z, k
Suppose 0*s - 15 = 3*s. Let w(u) = u**2 + 4*u + 4. Let p be w(-3). Put -2/11, p, s in decreasing order.
p, -2/11, s
Let r = -0.67 + 1.06. Let b = 4 - 3.99. Let j = b + r. Sort j, 3/5, 3/2 in descending order.
3/2, 3/5, j
Suppose -2*l = -4*r - 64, 0 = 4*l - 0*r + 3*r - 150. Let y be 6/l + 1/(-2). Let w = -0.3 - -0.5. Sort w, -0.3, y in descending order.
w, -0.3, y
Suppose 0 = 2*u - 6*u. Suppose -x = -u*x. Let d be (-1)/(-3) + x + 0. Sort -2, 1, d in descending order.
1, d, -2
Let u = -8 - -5. Suppose -299*z = -304*z + 20. Sort u, -18, z in ascending order.
-18, u, z
Suppose 0 = -4*a + 12 + 28. Suppose w - 7 = -q + 3, -w - a = -4*q. Suppose -4*i + i = 3*k - w, -k + 22 = 5*i. Sort -4, i, 2.
-4, 2, i
Suppose -2*q = 15 - 7. Put q, -1, 1 in descending order.
1, -1, q
Suppose -5*s + 5*h - 2*h = -10, 4*s + 3*h = 8. Suppose 0 = 4*y + 1 - 5. Put s, y, 5 in increasing order.
y, s, 5
Let o be 16/(-9) + 4/(-18). Let t(a) = a**2 - 4*a - 6. Let r be t(7). Suppose 0 = -5*j - r. Put o, j, 0 in increasing order.
j, o, 0
Suppose 10 = -3*x - 5. Let p = 50 + -46. Put 1, p, x in descending order.
p, 1, x
Let x = -964/3 + 330. Let d = -10 + x. Sort -1/5, d, 0.2 in ascending order.
d, -1/5, 0.2
Let m(s) = 6*s - 5. Let o be m(0). Sort o, 0, -3.
o, -3, 0
Let b = 34 - 29. Put -0.4, b, -2/13 in increasing order.
-0.4, -2/13, b
Let k be (7 - 9)/(-1 - -2). Sort 5, -4, k in ascending orde