Suppose 2*b - 19 + 5 = -5*d, -2 = b - 2*d. Suppose -z + 3 = -b*x + 4, -5*z - 5 = 0. Solve 0 = y - 2 - x for y.

Suppose 5 = -5*h + 90. Solve 0 = -13*c + h*c - 12 for c.

3

Let p(v) be the second derivative of v**⁴⁄₁₂ - v. Let r be p(-2). Solve -r = 5*h - 19 for h.

3

Let d be (⁴⁄₆ - 1)*-33. Suppose 22 = 5*w - 4*g + g, -d = -2*w - g. Suppose -w*y = -3*n - 1, 5*n - 22 = -3*y - 1. Solve 2 = h - n for h.

5

Let u be -20 + 16 - (²⁄₂ + -8). Solve q - u = -7 for q.

-4

Let p = -4 + 8. Solve -2 = p*g + 2 for g.

-1

Let d(q) = -q + 3. Let p be d(7). Let s be (²⁵⁹⁄₁₄)/((-2)/p). Suppose 5*l = 3 + s. Solve -2 + l = -2*u for u.

-3

Let a = -6 + 4. Suppose z = -z. Let i = z - a. Solve 3*p - 1 = i for p.

1

Let m(b) = b + 3. Let w(s) = s + 2. Let t(j) = -3*m(j) + 4*w(j). Let a be t(5). Solve 5*p - 1 = a for p.

1

Suppose -2*f + 2 + 10 = 0. Suppose 4*t - 2*h + f - 14 = 0, -h = -t. Suppose 15 = t*n + 3. Solve 0 = -2*a + 5*a + n for a.

-1

Suppose 0 = -f + 3*f - 92. Let r = 64 - f. Suppose 5*i - 2*i + 2*y - 7 = 0, 3*y + r = 5*i. Solve -2*w - i = w for w.

-1