Let v = 13 + -10. Solve 3*u + 0*u = v for u.

Suppose -30 = 5*u - 0*u. Let b(x) = x2. Let s(k) = k3 + 2*k - 7. Let g(y) = u*b(y) + s(y). Let w be g(6). Solve -w*c + 2*c = 12 for c.

-4

Let n(l) = l3 - 6*l2 - 5*l - 9. Suppose 3*o - x - 22 = -o, 6 = 2*o + 2*x. Suppose 0 = o*r - 20 - 15. Let b be n®. Solve 3 = -b*k + 13 for k.

2

Let k(l) = l**2 + l - 7. Let d be k(-4). Suppose 4*w - 4*g = 80 + 76, 5*g - 25 = 0. Suppose 2*u - w = -0*u. Solve d*f - u = -7 for f.

3

Suppose 24 = 3*b - 0*b - 4*n, -4*b = 3*n - 7. Suppose b*z - 8 = -2*h, 4*z - 3*h = -6*h + 8. Solve -z*g - 3*g = -20 for g.

4

Let z(b) = -b**2 + 5*b. Let d be z(4). Suppose -o = -3*o + d. Solve o = -y - 0 for y.

-2

Let m(p) = p3 - 5*p2 + 6*p - 4. Let q be m(4). Let y(f) = 2*f3 + 3*f2. Let r be y(-2). Let n = r - -7. Solve 0 = n*j - 13 + q for j.

3

Let p = -2 + 4. Let f = -3 + p. Let s be 1*f - (-8 - -4). Solve s*m = m for m.

0

Let q be (-4)/2*(-10 - -9). Solve -7*t + q*t = -10 for t.

2

Suppose -v + 3*v - 10 = 0. Suppose -2*z + 2 = -4*z, 4*l - v*z - 13 = 0. Solve -l*y + 16 = 2*y for y.

4

Let q(j) = -j3 + 9*j2 + 9*j + 10. Let h be q(10). Suppose h*c - c = -1. Solve -i = -0*i - c for i.

1