Let n(q) = q3 + 6*q2 + 7*q + 4. Let t be n(-5). Let k = -89 - -128. Let v be ((-20)/t + -3)*k. Solve 0 = -4*w + 3 + v for w.
4
Suppose -3*k + 7 - 16 = -5*v, 3*v - 13 = -2*k. Suppose -k*d + 3 = -3. Solve 3*a + 0 = -d for a.
-1
Let u(t) = -t**2 + 14*t + 14. Let d be u(15). Let o be (-18)/6 - (-4 - d). Solve a + a - 10 = o for a.
5
Let p = -5 - -5. Suppose f + p*f = 0. Solve 2*a - 3 - 1 = f for a.
2
Let j® = -5*r**3 - 2*r + 1. Let m be j(1). Let u = m - -8. Solve -u*d - 9 = d for d.
-3
Let s(q) be the first derivative of q**2⁄2 - 8. Let a be s(4). Solve -a*c + c = 0 for c.
0
Suppose -2 - 2 = -4*b. Solve 4*a + 19 + b = 0 for a.
-5
Suppose -3 + 11 = 2*u. Solve -u*v + 2 - 18 = 0 for v.
-4
Suppose 0*u - 5*u + 30 = 0. Suppose 16 = -2*q - 2*h + 42, -47 = -3*q + h. Let k = -66 - -69. Solve u*f = k*f - q for f.
-5
Suppose -3*i + 30 = 2*i. Let g = -3 + i. Suppose 0 = 6*z - 2*z. Solve g*h + 0 - 6 = z for h.
2