Let g = 4 - 4. Let t(f) = -f**3 + f**2 - f + 6. Let x be t(g). Let j(q) = q**3 + 5*q**2 - 5*q - 5. Let z be j(-5). Solve -l = -x*l - z for l.

Let u(x) = x**2 - 3. Let q be u(-4). Let l(k) = k - 1. Let h be l(-2). Let t = q + h. Solve 0 = -5*n + 15 + t for n.

5

Let s = -2 + -2. Let a = s + 7. Suppose b - 2 = 3. Solve -b*v = -a*v + 6 for v.

-3

Let x = -1 + 7. Solve -3*k + 0 = x for k.

-2

Suppose 22 = -d - 2*d - g, 3*d + 20 = -2*g. Let f(s) = 2*s**2 + 6*s + 3. Let v be f(-5). Let h = d + v. Solve 2*k - h = -k for k.

5

Let a = -124 - -124. Solve a = -3*m + 6 for m.

2

Let n(s) = s3 + 22*s2 + s + 31. Let b be n(-22). Solve b = 3*y + 3 for y.

2

Let d(j) = j3 - 9*j2 + j - 4. Let a be d(9). Let k = 3 - 3. Solve k*z - a = z for z.

-5

Suppose -3*q - 2*q + 20 = 0. Suppose -12 = -2*r - v, -4*r + 2 = -4*v - 10. Suppose -x + 12 = -r*x, -4*p - 2*x = -14. Solve -p = -q*o - 17 for o.

-3

Suppose 0 = -5*h + 20. Suppose -r + h = -0*r. Suppose 3*b + r = 5*b. Solve y - b + 4 = 0 for y.

-2

Let g(d) = d**2 - 3*d + 3. Let b be g(3). Solve -7*c = -b*c for c.

0