+ 2. Sort i, 2/7, 1 in descending order.
i, 1, 2/7
Let m = -0.8 - 0.6. Let d = -0.9 - m. Sort -1, d, -1/6 in descending order.
d, -1/6, -1
Suppose 0*m = -3*m + 12. Suppose 0 = m*s - s + 15. Let q be 3*-1*(-16)/(-12). Put q, -1, s in increasing order.
s, q, -1
Let q(l) = -l**2 + 5*l. Let k be q(5). Suppose k = w + w. Let d be (w - -1)*10/2. Put d, -5, 3 in descending order.
d, 3, -5
Let w(v) = -v**3 + 6*v**2 - 5*v + 3. Let z = 10 + -5. Let r be w(z). Let x be (-1)/3*(0 - -1). Sort r, x, 0.4 in decreasing order.
r, 0.4, x
Let v = 3 - 3.2. Let l = -0.57 + 5.57. Put v, l, 0.1 in decreasing order.
l, 0.1, v
Let x = 212/711 - 6/79. Sort -1/5, x, 2.
-1/5, x, 2
Suppose -2*f - f = 0. Suppose -2*y = -f*y + 6. Let d be 1/(0 - 1/(-5)). Put -2, y, d in increasing order.
y, -2, d
Suppose -5*o = -0*o + 4*d - 21, 17 = o + 4*d. Sort o, -3, -1 in descending order.
o, -1, -3
Let l = 0.07 - 0.04. Let t = l - -0.47. Sort t, -0.4, 0.4 in descending order.
t, 0.4, -0.4
Let p be (0 - -1) + (-6)/1. Let t = 3 - -15. Let c be (12/t)/(4/(-18)). Put c, p, -4 in descending order.
c, -4, p
Suppose 0*d + 3*d = 9. Suppose g = 2*g - d. Let h(s) = -4*s**2 + s - 1. Let z be h(1). Put -3, z, g in increasing order.
z, -3, g
Let n = -106 - -109. Sort -4, -3, 1, n in increasing order.
-4, -3, 1, n
Let q(g) = g - 4. Let m be q(9). Let d be (7 - 5) + 0 + -2. Sort -1, m, d.
-1, d, m
Let p = 3/4 + -5/4. Let q = -0.1 + 0.1. Let b be (-4)/6*6/(-14). Put q, b, p in decreasing order.
b, q, p
Let p(b) = -b**3 - 2*b**2 - b - 3. Let o be p(-3). Suppose o + 1 = -5*r. Sort r, 4, -1 in ascending order.
r, -1, 4
Let n = -40 + 35. Suppose 4*j - 6 = 14. Suppose 18 = j*x - c - 4, 0 = -3*c - 6. Put 2, x, n in increasing order.
n, 2, x
Suppose -2*q = -n + 2, -5*n + q - 4*q = 3. Suppose n = 2*w + 4, 3*w - 8*w - 22 = -3*j. Sort 5, j, -1 in decreasing order.
5, j, -1
Let r be (-33)/12 + 9/12. Let x(f) = 2*f**2 - 3*f. Let t be x(2). Sort t, -3, r.
-3, r, t
Let p be 3/9*(1 - 4). Let j(g) = -2*g + 11. Let o be j(0). Sort p, o, -4 in ascending order.
-4, p, o
Let z = -35 - -19. Let u = 14 + z. Sort u, 2/9, -5/3.
u, -5/3, 2/9
Let q = -6 - -11. Let m = 53 + -58. Put m, 1, q in increasing order.
m, 1, q
Let d = -84 - -75. Put d, -0.2, 0.5 in decreasing order.
0.5, -0.2, d
Suppose 19*v + 27 = -11. Sort v, 3, 6 in descending order.
6, 3, v
Let c = -8 - -8.5. Sort 1, -3/4, c in ascending order.
-3/4, c, 1
Suppose 9 + 11 = 5*o. Suppose -2*q + o = -6. Suppose r - 5*y + 19 = 0, -4*r + 1 = 3*y + 8. Put r, q, 4 in descending order.
q, 4, r
Let c be ((-2)/(-35))/(12/21). Sort -5, c, -1 in increasing order.
-5, -1, c
Let a = -3 - -2.6. Let w = 14 + -13.6. Let r = -92/3 + 30. Sort r, a, w in descending order.
w, a, r
Suppose 3*u - 4 = -2*k, k + 19 = 6*k + 3*u. Let f be (-12)/18 - 40/(-78). Put k, -5/3, f in increasing order.
-5/3, f, k
Let c(q) = 4*q. Let s(u) = u + 1. Let o(v) = 2*c(v) - 6*s(v). Let d = 1 + 4. Let m be o(d). Sort 3, m, 2.
2, 3, m
Let z = -1.1 + -13.9. Let o = z - -23. Put o, 0.2, 1 in increasing order.
0.2, 1, o
Let w = 2.6 - 57.6. Let x = w - -38. Sort -2/3, x, -0.1 in ascending order.
x, -2/3, -0.1
Let f = 0.79 + -0.29. Sort -0.2, f, -6.
-6, -0.2, f
Suppose -10*g = -2*g + 24. Put 1, 4, g, -5 in ascending order.
-5, g, 1, 4
Let s = 346 - 349.58. Let z = s - 0.5. Let x = 0.08 + z. Sort x, 3, -3/7 in decreasing order.
3, -3/7, x
Let w = -0.49 - -0.79. Let d = -0.2 - 0. Put d, -2, w in descending order.
w, d, -2
Let t = 43.5 - 44. Put t, 4, -1/6 in increasing order.
t, -1/6, 4
Let l = 7 + -7. Suppose l*i + 14 = i. Let z be ((-10)/4)/((-7)/i). Sort -3, z, 4.
-3, 4, z
Let k = 16 - 33/2. Let h = 11.6 + -12. Put 0.2, k, h in descending order.
0.2, h, k
Let g = 1 + 0. Let u(s) = s - 7. Let v be u(7). Sort g, 2, v in descending order.
2, g, v
Let y = -7 - -5. Suppose 4*w = 2*w + 18. Suppose -3*l + 10 = l - 3*m, l = -5*m - w. Put 3, y, l in decreasing order.
3, l, y
Let o = -10 - -5. Sort o, 5, -1 in decreasing order.
5, -1, o
Let p be 162/(-30) + 6/15. Sort -0.4, 7, p in increasing order.
p, -0.4, 7
Let y = -9 + 6. Let z(s) = s**2 + 5*s + 2. Let o be z(-5). Suppose -3*r + 11 = o. Sort r, y, 5.
y, r, 5
Let v = -0.15 - -0.35. Sort -1/3, 3, v in decreasing order.
3, v, -1/3
Suppose 9 - 24 = -5*g. Let f = g - 3. Let m = f + 0. Put m, -4, -3 in decreasing order.
m, -3, -4
Suppose 0*i + 2*i + 8 = 0. Let n(b) = -b**2 - 8*b - 5. Let l be n(-8). Sort i, l, -2 in increasing order.
l, i, -2
Let t = 89 + -84. Sort t, 1, -3, 2 in ascending order.
-3, 1, 2, t
Let x = -11.4 - -11. Let h = 14.4 + -14. Sort h, 2/11, x in decreasing order.
h, 2/11, x
Let r = 9 - 7.6. Let v = 0.6 + r. Let w be (3 - 2) + 4/(-5). Put w, 0, v in ascending order.
0, w, v
Suppose 0 = -0*u - 4*u. Put -2/7, -2/15, u in descending order.
u, -2/15, -2/7
Let s = 39.8 + -40. Put -5, s, 1 in decreasing order.
1, s, -5
Suppose -2*p - y - 9 = 0, 0 = -2*p + y - 5*y - 6. Let x = 6 + -9. Put p, x, 0 in decreasing order.
0, x, p
Let s(u) = u - 5. Let r be s(9). Sort 3, r, 0.5 in descending order.
r, 3, 0.5
Let a be (-4)/(-21)*-1 - 2/(-6). Sort -2/9, 0.5, a, -0.3 in ascending order.
-0.3, -2/9, a, 0.5
Let g(s) = s**3 + 3*s**2 - 4*s. Suppose -5*o - 19 = 1. Let u be g(o). Sort u, -2, 4.
-2, u, 4
Let w = 8 + -5. Suppose -2*f = -w - 15. Let t be ((-15)/f)/1 - -2. Sort 2, t, 0.
0, t, 2
Let g be ((-1)/2)/(4/(-8)). Sort g, -5, 0 in decreasing order.
g, 0, -5
Suppose 0 = -0*r - r + 3. Let f = 0.55 - 0.05. Let w = -8 - -5. Put r, f, w in descending order.
r, f, w
Suppose 0*a + 3*a = 0. Let d be a + (-2 - -1) + 3. Let s be (-4)/((-6)/(-3)) - d. Put s, 2/9, 3 in descending order.
3, 2/9, s
Let r(p) = -p**3 - 5*p**2 + 6*p - 4. Let t be r(-6). Let o(l) = -l**3 + 4*l**2 + l + 6. Let u be o(6). Let d be 2/(-3)*u/8. Sort 0, t, d in increasing order.
t, 0, d
Let w = 16 + -11. Suppose 0 = -0*b - w*b. Put 1, b, -2 in ascending order.
-2, b, 1
Let a = 1 - 3. Let n = -3.1 - -0.1. Let p = -1 - n. Put a, 3, p in ascending order.
a, p, 3
Let n = -0.14 - 0.06. Sort -2/9, 4, n in descending order.
4, n, -2/9
Suppose 2 + 2 = -4*k. Let z = -10 + 16. Suppose -3*u - 3*l + 6*l = z, -l + 18 = -5*u. Sort k, 1, u in ascending order.
u, k, 1
Suppose -4*w = 2*h + 6, -3*h = -0*h - 5*w - 2. Suppose 0 = -c + 3 + 1. Sort c, h, 0.
h, 0, c
Let u = -5 - -10. Suppose 0*r - 2*r = -6, -u*s + 5*r = 5. Suppose -l - l = 4*x - 6, -4*x = -2*l - s. Sort -1, l, 2 in ascending order.
-1, l, 2
Let p(j) = -j**3 - 2*j**2 + 5*j + 4. Let g be p(-3). Put g, -5, -4 in increasing order.
-5, -4, g
Let s = 7 + -3. Sort 0, -2, s.
-2, 0, s
Let i = -20 + 15. Suppose 2*n = 4*k + 24, 0 = -0*k + 4*k + 5*n - 4. Let y be (-1 - 9/(-6))*0. Sort k, y, i in descending order.
y, k, i
Let h = 10 + -7. Let i = 2.1 + -0.1. Sort h, 2/11, i in decreasing order.
h, i, 2/11
Let g = -6.2 + 0.2. Sort g, -5, 4 in decreasing order.
4, -5, g
Let b = -35 - -38. Put -2, 5, b in increasing order.
-2, b, 5
Let t = 13 - 15. Sort t, -1, 2, 3/11 in descending order.
2, 3/11, -1, t
Let c(d) = -d**2 + 5*d + 5. Let g be c(5). Suppose 3 = g*m - 32. Sort -2/5, 1, m in descending order.
m, 1, -2/5
Suppose b - 24 = 2*k, -2*b + 2*k + 50 = -k. Let q = -82/3 + b. Put 2, q, 1/4 in ascending order.
1/4, q, 2
Suppose -10*l + 13*l = 0. Sort l, 4, -4 in decreasing order.
4, l, -4
Let f be (4 - 3) + 5/9. Let b = f + -79/45. Put 2/7, -1/4, b in decreasing order.
2/7, b, -1/4
Let b = -0.08 + 2.12. Let f = 0.2 + -0.16. Let w = f - b. Sort 5, w, -1/4 in ascending order.
w, -1/4, 5
Suppose a = 14 - 5. Suppose o = 0, -3*o = -m - 2*m + a. Let h = 2.8 - 3. Sort 4, h, m in decreasing order.
4, m, h
Suppose -2*q - y = 9, y + 3*y + 9 = q. Suppose -c + 6 = c. Suppose c*i + 4 = i. Sort 4, q, i in descending order.
4, i, q
Let x = -104 + 114. Put -6/11, -1, x in decreasing order.
x, -6/11, -1
Let z be ((-3)/(-4))/(1/(-4)). Suppose -2*p - 7 = 3, -p = 4*g + 1. Let d be -1*(3 + 0 + -3). Put z, d, g in descending order.
g, d, z
Let m(d) = -2*d. Let c be m(2). Let k = -9 - c. Suppose 5*v = -4*s - 15, 2*v + 6*s - s + 6 = 0. Sort k, v, 2 in ascending order.
k, v, 2
Let m be (-4)/12 - (-2)/6. Let p be 30/6*(1 + m). Suppose 3*r - 2 - 1 = 0. Sort p, r, -5.
-5, r, p
Let q = 30 - 148/5. Sort 0.2, -4/9, 2/7, q in increasing order.
-4/9, 0.2, 2/7, q
Suppose -4*u - 2 = 4*l - 3*l, -10 = -5*u + 5*l. So