Let o(b) = b + 2. Suppose a - 3 + 5 = -s, -a + 4*s - 12 = 0. Let y be o(a). Let f be (-8)/y*1/2. Solve f*v = -0*v for v.

Let h(p) = p2 - 2*p - 4 + p2 + p2 + p3. Let z be h(-3). Suppose d - 4*t = 0, z*d = 4*t + 1 + 3. Solve -12 = -d*r - 0*r for r.

3

Let a(j) = -2*j - 9. Let z be a(-7). Suppose -z*t - 6 = -7*t. Let o = -13 + 15. Solve o*l = -t + 5 for l.

1

Let l(z) = -3*z3 + z2 + 2*z. Let r be l(-1). Solve 0 = -3*a + r*a for a.

0

Let r = -1 + 4. Suppose -2*i = 4*s - 10, 0 = -2*s + i + r*i. Suppose -s*b = g - 5*g - 14, b - 5*g = -5. Solve b = -v - 2*v for v.

-5

Let s = -19 + 20. Let y = 25 - 37. Let w be (y/(s + 1))/(-2). Solve w*u = u - 2 for u.

-1

Let x(u) = -u**3 + u + 6. Let r be x(0). Suppose -o + 0*o = -5*c - 22, -3*c = -3*o + 18. Solve i - r = -o*i for i.

2

Let x be ⁵⁴⁄₁₀ + ⁹⁄₁₅. Suppose -c + 1 = 2*n - x*n, 5*n - 5 = -5*c. Suppose n = -0*y + 3*y. Solve 4*p = -y*p + 12 for p.

3

Let l(f) = -3*f3 - 3*f2 - 3*f - 4. Let i be l(-2). Solve 3*u - i = -5 for u.

3

Let m = -2 - -7. Suppose 3*i + 2*u - 2 = u, -m*i - 5*u + 10 = 0. Solve i = 2*f - f - 3 for f.

3

Let b(q) be the first derivative of 3*q**²⁄₂ - 3*q - 1. Let p be b(5). Let n = -42 - -42. Solve -3*x + p = -n*x for x.

4