Suppose z = 3*z. Let o(y) = y + 1. Let n be o(z). Let w be 2/4*(n - 1). Solve 4*d - 8 - 4 = w for d.

Suppose -9 = -5*b + 6*b. Let n(q) = q**2 + 7*q - 8. Let j be n(b). Solve -10 - j = -5*w for w.

4

Suppose 2*h = -0*h + 2*q + 6, 4*h + 5*q - 21 = 0. Suppose h = a + 2. Suppose -4*g = 0, t = 3*t - a*g. Solve 0 = -t*o + o - 4 for o.

4

Let w(y) = -2*y - 6. Let k be w(-6). Let v = k - 6. Let z be (¹²⁄₁₀)/(¹⁰⁄₂₅). Solve 9 = -v*o + z*o for o.

3

Let l = 15 - 10. Let b = l - 2. Let o = -311 - -323. Solve 0*y + b*y = -o for y.

-4

Let x(s) = -s3 - 9*s2 - 11*s - 2. Let k be x(-8). Suppose 5*a = -y - 0 + k, 0 = 2*a - 4*y. Solve 3 = -a*t - 17 for t.

-5

Let y(l) = l2 + 6*l - 18. Let r be y(-9). Let z(p) = 8*p2 - 5*p3 - 3*p2 + 2 + 4*p**3. Let x be z(5). Solve 0 = x*u + u - r for u.

3

Let m = 18 - 9. Suppose 0 = 3*r + 3*x - m, -r = -6*r - 2*x + 12. Solve r = -0*p - 2*p for p.

-1

Suppose -2*m + 4 = 4*t, 5*m + 0*m - 10 = -4*t. Let v be t + -2 + 1 + 1. Solve v = 3*k + k for k.

0

Let f(z) = -2*z**2 - z + 5. Let l be f(0). Solve 0 = -l*r - 2 - 3 for r.

-1

Let g = 9 - -1. Suppose -f - 3*t = -g, -3*t + 1 = -5*f - 3. Suppose 5*d + 5*v = 5, -1 - f = v. Solve 0*j - d*j = 0 for j.

0