Let v = 17 + -10. Solve -3*y = -v*y - 20 for y.

Let t(a) = -a**2 - 9*a - 5. Let z be (-5 - (0 - 0))*1. Let m be t(z). Solve -m = -3*h - 3 for h.

4

Let i be (30/(-5))/(³⁄₂). Let z = i + 7. Solve -w + z = 4 for w.

-1

Suppose 6*z = 5*z - 0*z. Solve z = 3*r - 7*r + 12 for r.

3

Suppose 0 = -3*x + 7*x - 20. Suppose -5*r = 4*s + 1 - 22, -r + 3*s + 8 = 0. Suppose 0 = 5*y - r*a - 20, 3*y + x*a - 12 + 0 = 0. Solve -y = n - 7 for n.

3

Suppose k - 3 = 1. Let z = -1 + k. Let h(n) = n. Let a be h(z). Solve -a*d + 0 = -3 for d.

1

Suppose -2*r = -q + 6, 3 + 3 = 3*r. Let g = -9 + q. Solve -4*w - 21 = -g for w.

-5

Let n(h) = h - 12. Let x be n(9). Let y be (-1)/((x/(-30))/(-1)). Solve -y = 4*p + 2 for p.

-3

Let s be ((-3)/(-2))/(-2 - 26/(-12)). Solve -2*i - i = s for i.

-3

Let r = -9 - -7. Let x be (-42)/(-15) - r/10. Suppose -f + 6*f = 4*j - 18, 0 = 5*j + x*f - 4. Solve -l - 1 - j = 0 for l.

-3

Let r be ¹⁷⁴⁄₃₀ + (-1)/(-5). Solve 2 = -4*y - r for y.

-2