Let o(v) = v3 + 6*v2 - 7*v. Let j be o(-7). Let z(d) = 2*d**2 - 7*d + 4. Let m = 9 - 5. Let w be z(m). Solve -f - f + w = j for f.
4
Let o(j) = j + 3. Let v be o(0). Solve 2*r - 3 = v*r for r.
-3
Let w = 7 + -10. Let c(s) = s + 5. Let p be c(w). Solve p*a = 5*a for a.
0
Let n(w) = 4*w - 3. Let f be n(2). Let x = -1 + f. Suppose 0 = -g - g + x. Solve g*o = -0 - 8 for o.
-4
Let w be (-3)/(6 - 0)*50. Let b be (w/15)/(1⁄45). Let q be (-4)/(-5)*b/(-6). Solve -5*p = -0*p + q for p.
-2
Let k(u) = -u**2 + 12*u - 16. Let j be k(10). Solve 0*p = -p + j for p.
4
Let j(h) = -h - 5. Let l be j(-5). Let d(n) = -2*n + 21. Let z be d(10). Let w = z + l. Solve 0 = -3*g + 8 + w for g.
3
Let i(t) = t**2 - t. Let p be i(-3). Suppose -2 = 5*o + 4*l + 4, p = -3*l. Solve 4*s - 10 = o*s for s.
5
Suppose 0*c - c = 0. Suppose c*z = -z. Solve p + z*p = 5 for p.
5
Let p = -20 + 33. Let k = 25 - p. Solve -3*d - k = -0 for d.
-4