Let v(f) = -f3 + 3*f2 + 4*f + 2. Let a be v(5). Let u = -20 - a. Solve -p - u = -3 for p.
-5
Suppose -o = 3*o. Solve o = 4*w - 3*w + 3 for w.
-3
Suppose 10 = -0*v + 2*v. Let r be (-2)/11 + 40/(-22). Let c be (r/6)/(1/(-9)). Solve 17 = -v*g - c for g.
-4
Let c be ((-9)/6)/(6/(-16)). Suppose -5*o + 10 = 5*f, c*f + 0*o + o - 2 = 0. Suppose f*u - 2*u = -6. Solve u = -i + 1 for i.
-2
Let y(z) = z3 + 8*z2 + 3z. Let i be y(-3). Let o be i/(-30)(-5)/2. Solve 0*h - o*h = -9 for h.
3
Let u = -10 + 14. Suppose q = -a + u*a - 43, -5*a - 3*q + 81 = 0. Solve -4*r = -r + a for r.
-5
Let d = -114 + 117. Solve 15 = -0*a + d*a for a.
5
Let d(l) = -l3 - 6*l2 + 2. Let o be d(-6). Let x be 11 + (-3)/(3⁄2). Suppose 5*a = 3*c - x, -a - 1 = c - 4. Solve 0*z + o*z = a for z.
0
Let d(g) = 5*g**2 - 2. Let m be d(-1). Solve m = b + 6 for b.
-3
Suppose 2*f + 4*u = 22, 0 = -f - 0*f - u + 7. Suppose q - 80 = -f*q. Solve -4*r + q - 8 = 0 for r.
3