Let b(k) = k - 4. Suppose -2*f = -16 + 6. Let m be 32/f - (-6)/(-15). Let n be b(m). Solve v + n = -v for v.

Suppose 5*t = -30 - 5. Let m = 4 - t. Suppose 4*b + 3 = m. Solve 0 = 2*a - 0 - b for a.

1

Suppose 4*f + 42 = x, 2*f + 0*f - 4*x = -28. Let q be (-4)/(-10) + (-16)/f. Suppose 4*a = 3*o + 7, -a + 13 = o + q*o. Solve o*h + 8 = h for h.

-4

Let t = -16 - -8. Let d(k) = -k3 - 5*k2 - 3*k + 2. Let m be d(-4). Let u = m - t. Solve -5*v + 9 = -u for v.

3

Let f be ²⁰¹⁄₆ + 3/(-2). Let k = f + -23. Solve 0 = 4*q + 1 - k for q.

2

Suppose 4*y + 4 = 5*s, 5 = 4*s - 6*y + y. Suppose 0 = -s*p - 2*p. Solve 2*f - f - 1 = p for f.

1

Let j(a) = 2*a3 - 3*a2 + 4*a - 5. Let x be j(2). Solve 4*b + 1 + x = 0 for b.

-2

Let d(n) = n**2 - n - 20. Let c be d(-4). Solve c = 4*f - 5 - 3 for f.

2

Let n = 11 + 13. Suppose n = 5*g - 1. Solve 5*f - g = 4*f for f.

5

Let k(y) = 8*y**3 + 2*y - 1. Let l be k(1). Suppose 0 = -2*d - d + l. Solve d*r + 12 = -r for r.

-3

Let i(h) = -h + 16. Let c be i(7). Solve 0 = -2*w - c + 3 for w.

-3