 + 2. Put b, y, 2 in ascending order.
b, y, 2
Let t = 11 + -20. Let f(a) = a**3 + 10*a**2 + 8*a - 6. Let c be f(t). Suppose c*v - 2*i = 3*i - 6, 0 = 2*v + 2*i + 4. Sort 1, v, 4.
v, 1, 4
Let k = 191 + -1335/7. Sort 0, 4, k in descending order.
4, k, 0
Let a = -7.4 + 1.4. Let h = 7.64 + -1.34. Let n = a + h. Sort n, 1/3, -2/5 in increasing order.
-2/5, n, 1/3
Suppose -2*u - p = 11, u = -2*p - 3*p - 19. Put u, 3, 4 in decreasing order.
4, 3, u
Let m = 0.1 - -7.9. Let f = m + -12. Let z = 3.8 + f. Sort z, 4, -0.3.
-0.3, z, 4
Let s = 0.1 - -3.9. Let u = -12.8 + 1.8. Let b = 11.2 + u. Put b, s, -3 in increasing order.
-3, b, s
Let w(v) = v + 14. Let o be w(-11). Sort -1, -5, o, 0 in decreasing order.
o, 0, -1, -5
Let u = -0.17 - 0.03. Put 2/3, u, 0.3 in increasing order.
u, 0.3, 2/3
Let y be 5/((-2)/(-2))*45/(-75). Put y, 2, -92 in descending order.
2, y, -92
Let z(i) = i**3 + 3*i**2 - 5*i - 5. Let b be z(-4). Let k = -36 + -26. Let y = 557/9 + k. Put y, b, 5 in increasing order.
b, y, 5
Suppose 3 = -4*j - 1. Let v be j/(-3*1/(-3)). Put -3, v, -5 in ascending order.
-5, -3, v
Let m = 33 - 15. Let k be (-6)/(-54) + 4/m. Put 0.2, -0.05, k in descending order.
k, 0.2, -0.05
Let j be 8/(-32) - 13/(-4). Suppose -9 = -2*x - b, -j*x + b + 13 = 2*b. Put -4, 0, x in decreasing order.
x, 0, -4
Let z = -63 - -57. Put 3, -1, -3, z in descending order.
3, -1, -3, z
Suppose -2*s = -6*s + 2*c + 32, 2*c = -3*s + 24. Sort -4, 3, 1, s in decreasing order.
s, 3, 1, -4
Let t = -121 + 118. Let d = 577/460 - 1/230. Put -1, t, d in descending order.
d, -1, t
Let l = -0.2 + 0.1. Let q = 0.37 + 0.03. Sort l, -0.3, q in ascending order.
-0.3, l, q
Let i(o) = o - 1. Let q be i(-1). Let u(v) = 2*v. Let n be u(q). Suppose 4*j - 9 = 7. Sort n, 2, j in increasing order.
n, 2, j
Let y = 4 + -6. Suppose 3*s + 0 = 15. Sort y, s, 0 in descending order.
s, 0, y
Let d = -2.5 + 2.3. Sort -3/4, d, -1 in decreasing order.
d, -3/4, -1
Suppose l - 4*c - 22 = 0, 2*c + 3*c = 2*l - 29. Suppose 15 = 4*a + 5*d, -6*d - 15 = -l*a - d. Sort a, -2, 2 in decreasing order.
a, 2, -2
Let s = 17 + -17.2. Put -2, 2/7, s in decreasing order.
2/7, s, -2
Let x = -0.3 + 2.3. Let t = 5.08 + -0.08. Sort t, x, -1 in ascending order.
-1, x, t
Suppose j + 5*b = 21, 3*b + 18 = 2*j + 7*b. Let u(y) = -3*y**2. Let k be u(j). Let z = 5 - 19/4. Put k, z, 0.5 in descending order.
0.5, z, k
Let m = -5 + 2. Suppose f - 6*u - 14 = -2*u, -11 = -f + 3*u. Suppose -x - 4*i - 18 + 1 = 0, f*i + 6 = 0. Put x, m, 0 in ascending order.
x, m, 0
Suppose 19 - 5 = s. Suppose 0 = -3*k + 64 + s. Suppose -5*g + k - 1 = 0. Sort g, -0.5, -2 in ascending order.
-2, -0.5, g
Let b = 3 + -4. Suppose q + 5 = 2. Put q, 2, b in decreasing order.
2, b, q
Suppose -1 - 15 = 4*c. Let a = 18 - 91/5. Let f = 0.01 + 0.39. Sort a, c, f.
c, a, f
Let r be 1/3 - 40/(-15). Sort 5, -4, r in increasing order.
-4, r, 5
Let o = 4.86 + -1.86. Sort o, -9/20, -4 in decreasing order.
o, -9/20, -4
Let d = -6 + 11. Let m be 1 + 1/(-1)*5. Let b be (-2)/m - (-3)/2. Put b, d, -3 in descending order.
d, b, -3
Suppose -2*f + 0*f - 8 = -4*x, f - x - 1 = 0. Let r be 3*-2*2/f. Sort 0.2, r, 1/4 in decreasing order.
1/4, 0.2, r
Let r be 1*(91 + 1) - 1. Let z be (-6)/10 - r/(-35). Put -4, 0.1, z in increasing order.
-4, 0.1, z
Let m(x) = x - 8. Let b be m(7). Sort b, 1, 4, -3 in descending order.
4, 1, b, -3
Let y = 0 + -3. Let j be (1 - 0)*4/(-10). Let p = -15/4 - -9/4. Sort p, j, y in descending order.
j, p, y
Let j = 1 + -1.1. Let y = 335.06 - 331. Let b = 0.06 - y. Sort j, 5, b in descending order.
5, j, b
Let r = 38 - 34. Let q be 2 - (63/12 + -3). Sort q, r, 0.3 in ascending order.
q, 0.3, r
Let i(y) = y**3 - y - 1. Let p be i(0). Suppose 5*o + b = -5, 2*b + 5 = -o + 4. Let g(s) = -3*s**2 - 2*s - 2. Let w be g(o). Sort p, w, -4.
-4, w, p
Let c = -14 + -1. Sort c, -2, -0.3 in increasing order.
c, -2, -0.3
Let q be (-63)/14 - (-3)/2. Let a = 8 + -4. Sort -1/5, q, a in descending order.
a, -1/5, q
Suppose v - 2*p + 18 = 6*v, 2 = -v + p. Let y = -11 - -21. Let n = -6 + y. Sort 1, v, n in increasing order.
1, v, n
Suppose 0 = -f + 15 - 7. Let g = 18 - 27. Let i be ((-3)/g)/(f/(-6)). Put i, -0.2, -0.3 in decreasing order.
-0.2, i, -0.3
Let k = 0.2 - -1.8. Sort k, 0, 3/7 in ascending order.
0, 3/7, k
Let u(a) = a**3 - a**2 - 4*a. Let b be u(3). Let x = b - 2. Suppose -2*m + 6 - x = 0. Put -3, m, 2 in ascending order.
-3, m, 2
Let m = 13 + -7. Let w = m - 6. Sort -0.1, w, -5 in increasing order.
-5, -0.1, w
Suppose 0 = r + 2*s - 3, -4*r - 3*s + 12 = -5*s. Let w be (1/2)/((-5)/(-10)). Sort w, r, -4 in increasing order.
-4, w, r
Let g = 1.3 - 0.6. Let q = g - 2.7. Let p = 7.8 + -8. Put 0.5, q, p in descending order.
0.5, p, q
Let z = -3 + 5. Let o = -71.7 - -72. Sort z, -5, o in decreasing order.
z, o, -5
Let z(q) = 7*q + 6. Let v(g) = g. Let w(r) = 6*v(r) - z(r). Let k = -8 - -3. Let c be w(k). Sort 0, c, -3.
-3, c, 0
Let t = -38.1 - -38. Let x = -9 - -6. Put -4, t, x in decreasing order.
t, x, -4
Let q(i) = -i**2 - 8*i + 10. Let k be q(-9). Let l = 20 + -25. Sort 2, k, l in decreasing order.
2, k, l
Let w = 14 - 5. Suppose w*p = 6*p. Sort -6, 4, p.
-6, p, 4
Suppose -3*y - 12 = 3*a, -5*y + 3*a = -2*y - 6. Sort -12, -3, y in decreasing order.
y, -3, -12
Let s = -0.08 - -3.08. Let h = -0.1 + -0.4. Let d = 4.1 + -0.1. Sort h, d, s in descending order.
d, s, h
Suppose -2*x - 2*s + 14 = -4*s, -3*s - 15 = 0. Suppose -3*h = -4*m + m - 18, 2*h = 3*m + 14. Put h, 0, x in increasing order.
0, x, h
Let u(l) = l**2 + 7*l + 5. Let j be u(-6). Suppose 0 = -6*g - 19 - 11. Suppose -3*w = -w - 6. Sort j, g, w in increasing order.
g, j, w
Let a(n) = -n**2 + 10*n + 14. Let t be a(11). Let z be (-2)/(-5)*(-19 + -1). Let q = t + z. Put q, 0, 4 in increasing order.
q, 0, 4
Let v be 36/(-48) - 38/(-8). Let s be (1/(-2))/(1/v). Put 2, s, 3 in ascending order.
s, 2, 3
Let a(u) = u**3 - 6*u**2 - 7*u + 2. Let i be a(7). Let v = i - 5. Suppose -r + 4*d = -16, -7 = 2*r + 6*d - d. Sort v, -2, r in decreasing order.
r, -2, v
Let w = 0 + 0.03. Let x = 0.43 - w. Sort 2/3, -2, x in decreasing order.
2/3, x, -2
Let q(f) = -f + 7. Let t be q(7). Suppose 0*l + l + 4*w - 20 = t, -3*l + 8 = -w. Put -4, 3, l in descending order.
l, 3, -4
Let f(r) = -4*r**3 + 2*r + 1. Let h be f(-1). Put 5, -3, h in decreasing order.
5, h, -3
Let z(q) = -q**2 - q + 1. Let i(n) = -9*n**2 - 5*n + 4. Let j(x) = i(x) - 5*z(x). Let l be j(-1). Suppose 5*d - 3*d = 8. Put l, d, 1 in descending order.
d, 1, l
Let s = 63 - 66. Let y(c) = -9*c**2 + c - 3. Let o(p) = 5*p**2 - p + 1. Let q(r) = -11*o(r) - 6*y(r). Let f be q(6). Sort f, s, -1 in descending order.
f, -1, s
Let s = 38/3 + -10. Let a = -10/3 + s. Put a, 0.4, -6 in decreasing order.
0.4, a, -6
Let i = 0 + 0.1. Let q = 15 + -15.1. Put i, -8, q in descending order.
i, q, -8
Let b = -2 - 1. Let t = 4 + -3.5. Sort b, t, -4.
-4, b, t
Let s = -143 - -145. Put 0, s, 7 in increasing order.
0, s, 7
Let c(a) = -a**2 - 7*a + 4. Let x be c(-8). Suppose -6*o = -o + 2*y + 34, 0 = 2*o - 4*y + 28. Sort o, 5, x in decreasing order.
5, x, o
Let m(p) = -2*p - 14. Let q be m(-6). Put q, -5, -3 in ascending order.
-5, -3, q
Let o be (-21)/(-35)*(142/(-54) - -3). Let b = 0.01 - 0.31. Sort -1/5, o, b in decreasing order.
o, -1/5, b
Let p be -6*-3*(-4)/36. Let c be (-1 - 1) + 1*2. Put c, -4, p in decreasing order.
c, p, -4
Let q = 18/11 + -21/11. Put -1, 3/5, q in increasing order.
-1, q, 3/5
Let d(w) = 7*w**3 + 2*w**2 - 2*w + 1. Let s be d(1). Sort 1, -2, s.
-2, 1, s
Suppose 4*z - 2*z - a = -13, 4*a = -z + 16. Let j(d) = d**2 - 7*d - 3. Let k be j(6). Let m = k - -7. Sort m, 5, z in decreasing order.
5, m, z
Let w = -2.2 + -4.6. Let p = 6.8 + 0.2. Let v = p + w. Put -0.5, v, -1 in increasing order.
-1, -0.5, v
Let x = -1 + 2. Suppose 7 = -l + 2. Sort l, -1, x.
l, -1, x
Suppose 0 = 5*p + 3*z + 2 + 11, 0 = p + 4*z + 6. Sort 4, 3, p.
p, 3, 4
Let s be -21 + (-2 - 1) + 2. Let a = -22 - s. Let b(z) = z**2 + 5*z. Let k be b(-4). Sort a, k, -5 in descending order.
a, k, -5
Suppose 6 = i + 2. Let n = -7 + i. Let x be (5/3)/((-3)/9). Put -1, n, x in increasing order.
x, n, -1
Let b = -42 + 41.9. Suppose -4*y - 3*d = -2*d - 13, 3*y = 3*d + 6. Put b, y, -2 in decreasing order.
y, b, -2
Suppose 9 = x + 2*j + 2*j, 3*x = j