Let u = -22 - -47. Suppose u = j + 4*j. Suppose 2*x = -4*g + 22, j*x + 34 = 3*g - 15. Solve -l + g = l for l.
4
Let o = -2 - -4. Suppose -2*w - 4*p = 0, -w - 2*p + 3*p = 0. Let z = w + o. Solve -z = y - 5 for y.
3
Suppose -2*p = p - 6. Suppose -12 = p*a - 5*a. Suppose -q + 18 = 4*m, -a*q + 2*m = -m + 4. Solve q*l + 1 = l for l.
-1
Let c(v) = v3 - 8*v2 + 8*v - 1. Let l be c(7). Let q = -4 - -19. Let k be (l/5)/(q/250). Solve i + k = 6*i for i.
4
Suppose -2*u = 2*v - 8, -2*u = -4*u + 2*v. Let t be -5 + u - (-7 - -4). Solve 0*r - 2*r = t for r.
0
Let u(p) = p3 - 2*p2 - p. Let f be u(2). Let b = 0 - f. Solve 5 = -t + b for t.
-3
Suppose 5*n - 9 = 6. Suppose 2*z - 5 = n. Solve -k - z = 3*k for k.
-1
Let z(d) = 6*d**2 - 2*d. Let u be z(1). Solve -u = 4*p + 4 for p.
-2
Suppose 0 = -q + 4*q. Solve -2*u + u - 1 = q for u.
-1
Let h = 3 + -1. Suppose d = h*d - 2. Solve d*x = 13 - 3 for x.
5