Let r(n) = -n**2 - 12*n + 25. Let u be r(-13). Solve 5*v + 13 = -u for v.

Let m = -33 - -29. Let x = m + 9. Suppose 0 = -3*q + i + 46, -3*q + 11 = -5*i - 27. Solve -v = -x*v - q for v.

-4

Let x be (¹⁄₂)/((-4)/(-16)). Let h(q) = -q + 17. Let w be h(10). Solve w*r - x*r + 15 = 0 for r.

-3

Let g(u) = u3 - 5*u2 + 6*u - 6. Let i be g(4). Let q(o) = -2*o - 10. Let s be q(-5). Suppose -7*x + i*x + 20 = s. Solve 2*d + x + 0 = 0 for d.

-2

Let t(y) = y - 12. Let j be t(16). Suppose j*p - 23 = -7. Solve 3*o = -o + p for o.

1

Let w = 8 + -3. Let r(p) = -p3 - 4*p2 - 5. Let b be r(-6). Suppose 0 = -4*k + 33 + b. Solve k = -w*y - 0 for y.

-5

Suppose 2*x - 6 = -2*s, 2*s + 2 = -x + 1. Solve -x*w = -2*w for w.

0

Suppose 0 = 13*w - 12*w. Solve 3*t - 2 + 14 = w for t.

-4

Let q(k) be the first derivative of -k**²⁄₂ - 6*k + 2. Let p be q(0). Let c = p - -6. Solve c = -u + 5*u for u.

0

Let b be -1*(-98)/2 - -1. Suppose 2*q = 3*q - b. Suppose -d + q = 4*d. Solve 3*f = d + 2 for f.

4

Let i = 96 + -95. Let c(o) = o3 + 2*o2 - 2*o + 1. Let j be c(-2). Solve -j*r - i = -6 for r.

1