Let s be 6 + 1 + 5 + -6. Let h = -1 - -1. Solve -2*q - s = -h for q.

-3

Let t(p) = p**2 - 7*p - 15. Let u be t(9). Solve -8*r + u*r = -20 for r.

4

Let a(x) = x - 4. Let r be a(6). Suppose -4*b = 2*b - 24. Solve -r*q = -q - b for q.

4

Suppose -s + 4 = -0*s. Solve -2 = -s*v - 6 for v.

-1

Let i(x) = 16*x3 - 2*x2 + x. Let s(t) = -t**2 - 12*t + 14. Let v be s(-13). Let y be i(v). Solve -2*c = c - y for c.

5

Let q be 1/(2/(2*7)). Suppose 2 = -5*p + q. Suppose -x + 0 = -p. Solve 14 = -5*h - x for h.

-3

Suppose 2*b = -5*g + 37, -3*b + 4*g - 3 + 1 = 0. Suppose -b*t = -t - 15. Solve t = u - 0 for u.

3

Let q be 6/(-2) - (1 + -7). Suppose -2*b + 3*b + 8 = -q*i, -4*i - 16 = 0. Solve -b*n - 5 = 11 for n.

-4

Let d(x) = 3*x + 1. Let g be d(-1). Let r = g + 6. Suppose -r*h = 4*c - 0*c, 0 = c. Solve -3 = -p - h*p for p.

3

Suppose -3*c + 2 = 4*k + 7, -9 = -5*c + 2*k. Suppose -2 = -g - 5*m + c, -2*g + 6 = -4*m. Solve 0 = -g*l - 10 - 2 for l.

-4