Let v(q) = -q**2 + 3*q + 4. Let t(b) = 5*b. Let r be t(1). Let w be v(r). Let o be ((-1)/(-2))/((-1)/w). Solve 12 = -5*x - o for x.

Let i(j) be the third derivative of -j⁴⁄₃ - 2*j³⁄₃ - 2*j**2. Let w be i(-4). Suppose 3*s - s - w = 5*z, 0 = -5*s - 4*z + 4. Solve 3*h + s = 1 for h.

-1

Let i(b) = -b - 8. Let x be i(-12). Suppose -18 = 3*l + 3*g, 4*l - 1 = x*g + 7. Let z be ((-5)/15)/(l/18). Solve -20 = z*y + y for y.

-5

Let q(g) = -g + 10. Let b be q(10). Solve h - 1 = -b*h for h.

1

Let p = 11 - 8. Solve 3*s = -0*s + p for s.

1

Let g be 0 - 17*-1 - -2. Suppose 16 = 16*x - 12*x. Suppose 2*s - 4 = -2. Solve -x*u = -s - g for u.

5

Let q be ¹⁴⁵⁄₁₀ - (-2)/(-4). Suppose 10*u + 16 = q*u. Suppose -j + 1 = -1. Solve 2*h - u - j = 0 for h.

3

Let p be (-1 - -1)*(-2)/(-8) + 12. Solve n = 4*n + p for n.

-4

Let t(h) = -h + 6. Let m be t(6). Suppose -1 = 4*u + n, -2*u + 2*n + 2 = -u. Suppose u = v - m*v - 11. Solve 4*o = -3 + v for o.

2

Suppose -5*s = -3*v - 3, 5*v = -3*s - 10 + 5. Solve s = 4*p - p + 9 for p.

-3

Let n(m) = 10*m - 57. Let u be n(6). Suppose -3*d - 2*d = -2*q - 29, -4*q = 4*d - 12. Let t be (-47)/(-4) - q/8. Solve t = 3*b + u for b.

3