Let j(d) = 8*d3 + d2 - 2d + 1. Let o be j(1). Let a be (-1 - (-4)/o)-10. Solve 0 = -0*s + a*s + 10 for s.
-2
Let w = -4 + 8. Suppose -1 = -3*v + 26. Let o = 9 - v. Solve -q + 2*q + w = o for q.
-4
Let q(i) = i**2 - 4*i + 2. Let b be q(4). Suppose 3*g = -5 + 14. Solve -b*p + g = -3 for p.
3
Suppose -r = 2*r - p - 34, 3*p = 4*r - 52. Solve -6*k = -8*k + r for k.
5
Let z = -7 + 8. Let t be (-261)/(-36) - z/4. Suppose -2*i + t*i - 15 = 0. Solve 5*b = 12 + i for b.
3
Let g be (-15)/12 - 1/(-4). Let o(a) = 4*a2 + a. Let y be o(g). Let k(i) = -i2 + 3*i + 4. Let p be k(4). Solve -y*z + 12 + p = 0 for z.
4
Let d(s) = s3 + 2*s2 - 10*s - 3. Let f be d(-4). Solve 6 = f*k - 2*k for k.
2
Suppose -9*t + 14 = -10*t. Let i be ((-3)/(-4))/(t/(-56)). Solve -4*o - 3 = -i*o for o.
-3
Suppose -8*z + 23 = -1. Suppose n + 15 = 5*u, -2*u + 3*u - 3*n = 3. Solve 0 = -u*f + 2*f - z for f.
-3
Let y(k) = -k3 + 7*k2 + 8*k + 2. Let l be y(8). Solve 1 + l = z for z.
3