Let k(n) = -4*n3 + n2 - n + 1. Let y be k(1). Let f be y + (2 - 0) + 1. Solve f*v = v + 3 for v.
-3
Let k = 11 + -7. Solve -k*p = -2*p for p.
0
Let d(o) = o**2 + 7*o + 11. Let s be d(-5). Solve -s + 21 = -5*r for r.
-4
Let z be (-4)/(-24) + (-22)/(-12). Solve z*p = 1 - 7 for p.
-3
Suppose -d = 4*j - 34, 2*d - 2 = d. Suppose j*z + 8 = 12*z. Solve 0 = z*g + g for g.
0
Let r be (1/(-2))/((-2)/16). Suppose 4*c - 2*p - 45 = -p, -4*p - 4 = 0. Solve -r*l - c = 5 for l.
-4
Suppose 0 = 4*k - 2*s - 2, -5*s - 6 = -5*k - 16. Suppose -4*o - l + 12 = k*l, 0 = l. Suppose -o*v - 31 = -109. Solve -10 = -4*g - v for g.
-4
Suppose -4*k = -k - 15. Solve 15 = k*h - 2*h for h.
5
Let m(d) = 6*d - 48. Let n be m(8). Solve n = -s + 3*s + 4 for s.
-2
Suppose -y = 3*s - s - 5, -4*s + 1 = -y. Let o(g) = -g - 1. Let k = -11 + 5. Let w be o(k). Solve -w = 3*h + s for h.
-2