Let c = -9 + 14. Suppose -5*x + 20 + c = 0. Solve -10 = -x*y - 35 for y.

Let l be 9 + (1 - (-3 + 1)). Solve 2*c + c = l for c.

4

Let l be 0 - 3 - (0 - 1). Let q be (-1)/l - (-33)/2. Suppose 5*s + 3*t - q = 0, 2*s - t = -0*s + 9. Solve 0 = -s*g - 1 - 3 for g.

-1

Let z(k) = k**2 - 2*k. Let g be z(0). Suppose t = -d, -4*t - 5*d + g = 3. Solve 0 = -l - t for l.

-3

Let h(k) = 4*k*2 - k + 1. Let c be h(2). Let f be ¹²⁄₄₂-1 - (-136)/(-14). Let v = f + c. Solve v*a + 0*a = -25 for a.

-5

Suppose 5*x - 16 - 4 = 0. Let r = x - -2. Suppose l = r + 4. Solve -2*v = -0 - l for v.

5

Let r = 29 + -19. Suppose n - 5*k = -4*k + 17, 5*n - k - 77 = 0. Let h = n + -10. Solve -3*b = -h*b - r for b.

-5

Suppose 0*w + 7 = -2*w - 3*p, 5*w + p + 24 = 0. Let m = w - -8. Solve m*c + 3 - 12 = 0 for c.

3

Suppose 4*l - 40 = -0*l + 4*b, -2*l = 3*b. Suppose 5*h + 4*o - 59 = -0*h, 0 = h - 4*o - 31. Solve l*a - h = a for a.

3

Let a be 1*(-6)/(-1) - 2. Let v = a + -1. Solve 0 = v*d + 2*d + 15 for d.

-3

Let a = 16 + -12. Suppose 2*f - 2*n = -n + 10, 4*f - 3*n = 24. Let t = f + -3. Solve t = a*h + 3 + 13 for h.

-4