Let k = -5 - -7. Let l be 1 - (-2 - (2 - k)). Solve 0 = z - l + 6 for z.

Let t be -6 - -8 - ⁴⁄₂. Solve 2*w + 2*w = t for w.

0

Let v be (-1 - -1)*(-1)/(-2). Solve v = 3*x - x for x.

0

Let x(n) = -n + 7. Let d be x(5). Suppose 3 - d = 2*u + g, -3*g = -4*u + 17. Solve -6 - 2 = -u*z for z.

4

Suppose 45 = -7*k - 2*k. Let o = 2 - 10. Let j = k - o. Solve -h + j*h + 4 = 0 for h.

-2

Let u(t) = t**2 - 7*t - 5. Let a(w) = -w + 4. Let p be a(-4). Let b be u(p). Solve 0 = -8*h + b*h - 15 for h.

-3

Let r be -5*(²⁴⁄₁₅ + -2). Let t = 5 + 8. Let p = t - 10. Solve p*d + r + 4 = 0 for d.

-2

Let l = 9 + -5. Suppose -q - 2*q - 4 = 2*d, -2*d = 2*q + 4. Suppose x + 1 - 4 = q. Solve x*t - 3 = l*t for t.

-3

Let w be 2/((-1)/(2/(-4))). Suppose -2*n = -2*h - 4, -n - 2*n + 4 = -4*h. Let p = n - w. Solve 0 = q + p for q.

-3

Suppose 16*j = 12*j + 12. Solve 2*p = j*p for p.

0

Let o(d) = 4*d - 5. Let c be o(2). Suppose -8 = h + 7*q - 3*q, 0 = 2*h - 4*q - 8. Suppose 3*x - 2 = -2*u, -6 = -u + x - h*x. Solve -c = -u*v - 15 for v.

-3