Let r(q) = q**2 - 6*q + 6. Let u be r(7). Suppose -5*w + u = -12. Solve x + 2 - w = 0 for x.

3

Let a = -15 - -22. Suppose c - 5*k = -a, k = c + 4*k - 17. Suppose 3 = s, 5*b - 5*s + 5 = 3*b. Solve c = -b*x - 12 for x.

-4

Suppose 2*t - 62 = -4*c, -3*t = -c + 7 - 2. Let j = 4 - c. Let u be 64⁄10 + 4/j. Solve -2*d - d - u = 0 for d.

-2

Let u(b) = -b - 1. Let r be u(-5). Suppose x - r = -x. Solve 3 = x*w + 1 for w.

1

Let u(l) = -3*l + 15. Let g be u(5). Solve g = -0*z + 4*z + 16 for z.

-4

Let l(g) be the second derivative of -g3⁄6 + 9*g2⁄2 - g. Let u be l(0). Suppose -b + u = 2*b. Solve 0 - b = 3*v for v.

-1

Let u be (-1 + -1)/(5⁄10). Let n(g) = -2*g - 6. Let b be n(u). Let h = 0 - 0. Solve -2*v + h = -b for v.

1

Let q be -6*6/(-9) + -2. Suppose 32 = 2*c + 4*y, 0 = 2*c - 5*y + y - 48. Solve 7*d + c = q*d for d.

-4

Let j(d) = 2*d3 - 4*d2 + 4*d - 2. Let v be j(2). Solve -3*t = -9 - v for t.

5

Let d(j) = -8 + 1 - 5 + j. Let s be d(14). Solve -8 = -2*l - s for l.

3