Let o(s) = 3*s**2 + 1. Let x be o(1). Let d(y) = -2*y + 4. Let g be d(0). Suppose 4*m - 2*v - 4 = 0, -g*m = -4*v - 0*v. Solve 4*r = m*r + x for r.

Let x be (-1)/(-2)*60/(-5). Let v = x - -10. Solve -a - 1 = v for a.

-5

Suppose -6 = -4*x + 18. Solve x - 21 = -5*k for k.

3

Let y be (-6)/(-9) - (-4)/12. Solve -b - y + 3 = 0 for b.

2

Let z = -10 + 15. Solve -6*i + i = -z for i.

1

Let m = 47 + -42. Solve -m*z + 2 = -3 for z.

1

Let l be (-3)/7 - 102/(-42). Suppose 4*a - l*a - 3 = d, 0 = 5*a + 5*d - 15. Solve 2*g = a - 0 for g.

1

Let x = -1 + 2. Solve 7 + x = -4*m for m.

-2

Let s(q) = q3 - 7*q2 - 6*q - 14. Let f be s(8). Solve -f = 2*r + 4 for r.

-3

Let x(s) = s - 4. Let l be x(5). Let o = -4 + 4. Suppose -y = -o*y - l. Solve 4*n - y - 3 = 0 for n.

1

Let r(f) = f3 - 7*f2 - 9*f + 5. Let l be r(8). Suppose -20 = 2*z - 7*z. Let g be 6/(-4)*z/l. Solve -n = g*n - 3 for n.

1