Let w(k) = 1. Let h(m) be the first derivative of -4*m**2 - m + 3. Let i(o) = -h(o) + 4*w(o). Let a be i(4). Solve 5*s + 12 = a for s.

Suppose 0 + 6 = 3*c. Suppose 0 = -c*i + i - 1. Let d be (2 + -3)/(i/5). Solve 2*z + 3*z - d = 0 for z.

1

Let f be ¹⁵⁄₁₀*¹⁰⁄₃. Suppose 0 = -3*c + f*c - 40. Let d = 11 + -8. Solve -c = d*v + 2*v for v.

-4

Let b(m) = m + 6. Let u be b(-6). Let p = u + 0. Solve -v - 1 = -p*v for v.

-1

Suppose -7*x - y = -2*x - 13, 4*x + 5*y = 2. Let o = 5 + x. Solve 0 = 3*f - o + 2 for f.

2

Let f be (⁶⁄₄)/(³⁄₆). Let w(p) = -p**2 + 4*p + 4. Let n be w(5). Let r be 0/(-1*f*n). Solve 4 + r = -z for z.

-4

Suppose 0 = -6*b - 0*b. Solve 3*w - 8*w + 10 = b for w.

2

Suppose 3*u = -6 + 3, 4*f - u = 1. Suppose f*x = 5*x. Suppose 0 = k + k - 40. Solve x*h = 4*h + k for h.

-5

Let a(h) be the first derivative of h³⁄₃ - 11*h²⁄₂ + 12*h + 3. Let o be a(10). Solve y = -o*y + 3 for y.

1

Suppose 3*m = 5*p - 9, -4*m + 0 = 5*p + 12. Solve p*k + 5 = k for k.

5

Suppose -5*c - 5*u + 13 + 2 = 0, -5*c + 5*u = -25. Suppose -3*d + 106 = 4*b, 0 = -3*b - d - d + 79. Solve -b = c*v + v for v.

-5