Let k = 15 + -10. Let f = -1 + 3. Solve 6*r - f = k*r for r.

2

Suppose 3*v - 24 + 0 = 0. Solve 5*b = v*b - 6 for b.

2

Let j(f) be the third derivative of -f4⁄12 - 2*f3⁄3 + f**2. Let q(z) = -4*z + 4. Let c be q(2). Let u be j©. Solve -2 = -u*h + 6 for h.

2

Let c(b) = b + 14. Let x be c(-9). Solve 4*o + 1 - x = 0 for o.

1

Let m = 10 + -10. Let p = 0 + m. Let t = p + 3. Solve -t*g + 6 = -5*g for g.

-3

Suppose -3*v + 5 = -10. Suppose d + d = 4*g, v*d - 4*g = 0. Suppose d = -0*m + 5*m - 10. Solve 2*o - 4*o = -m for o.

1

Let n(f) = 2*f - 15. Let g(o) = -o + 7. Let s(p) = 5*g(p) + 2*n(p). Let i be s(3). Let u be 9 - ((-8)/4 - -5). Solve u*j = i*j + 16 for j.

4

Suppose -2*j - 19 = 3*t, 2*j = t + t + 6. Suppose -5*n = -h - 0 + 1, 0 = -3*n + 3. Let q be ((-3)/h)/(j/48). Solve -z + q = -5*z for z.

-3

Let q = 35 - 31. Solve q = w + 3 for w.

1

Let a(n) = n**3 + 2. Suppose -5 = x, -5*s + 8 = -x + 3. Let h be a(s). Suppose 0 = 2*w - 2 - h. Solve 0 = i + w*i + 15 for i.

-5