Let o(n) = n**2 + n + 2. Let h be o(-2). Suppose 0*f = -2*f - 5*t + 20, 5*f = t - 4. Solve -v + h = -f*v for v.

Let o(f) = 9*f2 + 20*f - 22. Let x(v) = 4*v2 + 10*v - 11. Let u(n) = 3*o(n) - 7*x(n). Let s be u(-11). Solve s = 5*i - 5 for i.

1

Let h = 17 - 14. Solve -x = -h*x - 4 for x.

-2

Let i be 2*(-2)/2 - -21. Suppose -5*w + w = 4*h - 28, 3*w - i = -5*h. Suppose 3 = m - c + 1, -4*m - 3*c = -15. Solve -m*s + w*s = -20 for s.

-4

Suppose -3*n + n = n. Suppose -4*k + 15 = 2*c - c, 3*c - 3 = 2*k. Solve n*y + y = c for y.

3

Let n = -22 - -23. Solve q = n + 3 for q.

4

Let f = -136 + 139. Solve f*v + 0*v = 3 for v.

1

Let b(v) = -2*v - 13. Let o be b(-8). Solve 3*x + 18 = o for x.

-5

Suppose a - 8 = -b - 0*b, 3*b + 40 = 5*a. Suppose 2*t + 3*z + 5 = 0, -3*t = -z - 16 - 4. Suppose t*k - 53 = -a. Solve -5*f - 24 = -k for f.

-3

Let x(v) = -5*v2 + v - 15. Let w(l) = 4*l2 - l + 15. Let a(b) = 6*w(b) + 5*x(b). Let f be a(0). Suppose -6*p = -p - f. Solve 0 = k - p*k + 4 for k.

2

Suppose l + 10 = -l. Let d(y) = y**2 + 3*y - 6. Let r be d(l). Suppose 0 = -r*i + 6 + 6. Solve -12 = 3*g - i for g.

-3