Suppose 0 = -5*v - 3 + 8. Let l = 0 + v. Suppose -5 = -2*d - l. Solve d*z = 3*z - 5 for z.

5

Let u = -16 + 8. Let n be (u/(-12))/(215). Suppose -3*y - 4*w = -n*y + 2, 0 = -5*y + w + 32. Solve -5*q + y + 3 = 0 for q.

2

Let j = 4 + 1. Let d(u) = u + 2. Let t be d(0). Suppose 0*p + t*p = 8. Solve 1 + p = -j*g for g.

-1

Let r(z) = 3*z**2 + 5*z - 7. Let a be r(-3). Let y(p) = 0 + 5*p + 0. Let x be y(1). Solve -x*k + 0*k = a for k.

-1

Let o = -2 - -10. Solve 5*w + o = -7 for w.

-3

Let k(l) = -l**2 + 4*l + 5. Let x be k(5). Suppose -5*s = -s. Suppose s = -5*m + 9 + 6. Solve 2*q + 7 - m = x for q.

-2

Let x be (-20)/2*4/(-8). Let g = x + -6. Let t be (g/3)/((-2)/12). Solve 5*j - t - 18 = 0 for j.

4

Suppose -4*m + m + 2*j = -23, 0 = -2*m + 5*j + 30. Solve m*r - 20 = 10*r for r.

-4

Let c be 3 + -1 + 3 - 1. Suppose -2*s + c = -s. Suppose 16 = 5*m + 4*y, 1 = -m - s*y - y. Solve 0*w - m = -2*w for w.

2

Suppose -3*x = 4*n - 25, -4*n - 4*x + 39 = 11. Solve -n*w = -2*w + 4 for w.

-2