Let c(h) = -h - 12. Let t be c(0). Let y be ((-6)/8)/(3/t). Solve 4 + 5 = -y*x for x.

-3

Suppose 3*l = 33 - 9. Let c = -3 + l. Suppose -2*w + 1 = -c. Solve 0 = w*f - 0 + 3 for f.

-1

Let m(u) = u3 - u2. Let j be m(0). Suppose j = -2*f + 2 + 2. Solve -f*x - 10 = -7*x for x.

2

Suppose -y = 11*y - 2*y. Solve 0*j + 5*j + 10 = y for j.

-2

Let a(z) = z3 - 6*z2 - 3*z + 11. Let m be a(6). Let x be -1*m/(14⁄8). Solve x*q + 10 = -10 for q.

-5

Let h(v) = -v**2 - 12*v + 5. Let o = 0 + -12. Let n be h(o). Solve 11 = -n*m - 4 for m.

-3

Let o = -3 - -5. Suppose p + 8 = 3*p. Suppose 5*r + 2*u - p = -o, -5*u - 20 = 0. Solve s - 5 = -r for s.

3

Let u be 1⁄1*0/7. Let z = 4 - u. Solve -z = h - 0*h for h.

-4

Let q be (0 + -1 - 0) + 4. Suppose 2*g = 2*n + g + 35, 3*n = -4*g - 25. Let k = -15 - n. Solve -q = 3*p - k*p for p.

-1

Let f be 1 - -1 - (-4 - -1). Let w = -9 + 19. Solve -f*k = -0 - w for k.

2