Let x(y) = 4*y - 3. Let h be x(6). Let z = h + -15. Suppose -l - t - 1 = 0, -l = -z*l - 4*t. Solve -l = 4*w - 3*w for w.

Suppose 5*a - 3*a = 8. Solve -19 + 3 = -a*x for x.

4

Let c = 9 + -3. Let v be (-6)/(²⁄₁ - 4). Suppose -c = -v*h - 0*h. Solve 0 = h*j - 8 for j.

4

Let m = 518 - 516. Let g be (-1 - (-1 + -3)) + 1. Solve 2*t = m + g for t.

3

Let j(u) = -u**2 + 5*u - 4. Let z be j(4). Suppose z = -3*l + l. Solve l = -0*f - 5*f - 5 for f.

-1

Let d(p) = -4*p + 13. Let c(g) = 5*g - 14. Let u(a) = 5*c(a) + 6*d(a). Let v be u(-6). Suppose -v*k = -k. Solve k*t = t for t.

0

Suppose -j + 6*j - 15 = 0. Suppose j*w - 43 - 31 = -5*v, 4*v + 4*w = 64. Solve -4*d - v = 7 for d.

-5

Let a = 37 - 37. Solve a*v + 2*v + 8 = 0 for v.

-4

Let r be -2 - (-6 - 6/(-2)). Let w be ((-124)/(-6))/((-4)/(-6)). Suppose o + 3*k = -12, o + o = 5*k + w. Solve o = -2*t - r for t.

-2

Let j be (-4)/10 + (-3)/5. Let k = 3 - j. Solve -k*s + s - 3 = 0 for s.

-1

Let c(d) = 4*d - 22. Let y be c(6). Solve y + 2 = -g for g.

-4