Let x(y) = -y + 0*y + 0*y - 5. Let k be x(-7). Suppose -k*t = 1 - 3. Solve 0 + t = j for j.

Suppose 25 = -x - 5*g, -5 = -5*x + 2*x + g. Solve -6*j + j + 20 = x for j.

4

Suppose 4*b - 4*w = 4, 3*w = -2*w - 10. Let y be (7/(-14))/(b/6). Solve 10 - 22 = y*z for z.

-4

Let t = 64 + -64. Solve 2*o + o = t for o.

0

Let j = -10 + 12. Suppose 0 = q - j*q + 3. Solve q*u = u for u.

0

Let i(g) = g + 3. Let a be i(4). Solve 3 = 2*t - a for t.

5

Let z = 10 + -3. Let r = 5 - 3. Suppose b + 0 = r. Solve -z = a - b for a.

-5

Suppose -4*d + 29 = -31. Let u = d - 7. Suppose 5*a + 41 = 4*w, -3*w + 4*a + u = -24. Solve o + w*o = 0 for o.

0

Let t = -12 + 15. Solve 2*h = h + t for h.

3

Suppose t = 2*t - 5*w - 14, 4*w + 7 = 5*t. Let b = 1 + t. Let u be 1 + -1 + (b - -2). Solve -u*r - 1 = -3 for r.

1

Suppose 0*y = -5*y. Solve w + y*w - 3 = 0 for w.

3