Let k = 8 + 4. Let c = k + -10. Solve 0 = c*b + 3 - 9 for b.

3

Let p© = c + 12. Let d be p(-10). Solve d*a = -3*a + 20 for a.

4

Let a(j) = 2*j**2 + 4*j + 2. Let r be a(-2). Solve -r*f = -3*f + 4 for f.

4

Let f = -11 - -15. Solve 5*j + f + 6 = 0 for j.

-2

Let b(o) = o3 - 2*o2 - 4*o + 3. Let q be b(3). Solve 5*d + 0*d = q for d.

0

Suppose -a + 15 = -13. Suppose -3*i - 2*i = -25. Suppose b = i*b - a. Solve 25 = -2*z + b*z for z.

5

Let o(p) = -p**2 - 7*p + 10. Let g be ((-6)/8)/(1/(-4)). Suppose -18 - 6 = g*n. Let i be o(n). Solve -4 = -i*w + w for w.

4

Suppose a = t - 1, 0 = 2*t + a + 2 - 7. Suppose -7*s + 15 = -2*s - 2*r, -5*s = t*r - 35. Let z be 166 + (-2)/3. Solve -z = f - s for f.

3

Let r© = 9*c - 2 + 4 + 6*c. Let f be r(3). Suppose 6*u + 3*l - 51 = u, 0 = 5*u + l - f. Solve -1 - u = -2*j for j.

5

Let m = 2 + 0. Solve -2*n = -0 + m for n.

-1