Let n(q) = 2*q. Let c be n(-4). Let x = c + 15. Solve -3*a - 5 = x for a.

-4

Let l be 0 - (5 - 0)*-2. Suppose -l = -4*n + 2*n, 4*u - n = 143. Solve 5*b = u - 12 for b.

5

Let k = 10 + -8. Solve -u = k*u - 9 for u.

3

Let o(x) = x**2 + 2*x - 13. Let m be o(-5). Solve k - m = -k for k.

1

Suppose -5*x + 33 = 4*r, -5*x + r + r = -21. Solve -x*l + 16 = -l for l.

4

Suppose 0*j = -2*j. Suppose 4*d - 97 = -29. Suppose -f = -2*f - 3*z + 9, j = 5*f + z - d. Solve f*v + 0*v = 3 for v.

1

Suppose -4*b = -2*m + 18, 0 = 2*m + 3*m - 3*b - 17. Let k = 1 + m. Let x = -1 - -5. Solve k*i + 0*i - x = 0 for i.

2

Let g be (-130)/(-25) + 3/(-15). Solve g*f + 16 = -4 for f.

-4

Let t = -4 + 7. Suppose w = t*w - 8. Suppose 4*k = -w + 20. Solve 2 = -k*r - 2 for r.

-1

Suppose 9 + 3 = 3*z. Let k = z - 4. Let i = 1 - -1. Solve i*u + k*u = -2 for u.

-1