Let d(a) = a**2 + 5a - 2. Let u be d(-6). Suppose -u - 2 = z. Let x be 0/2(-5 - z). Solve 10 = -x*r + 5*r for r.
2
Suppose 6 = -3*z - 5*t, z + 2*t = t. Solve 4*k - z = k for k.
1
Suppose -14 = -y - 3*y - 2*k, -k = -5*y + 14. Solve -2*x - y*x - 15 = 0 for x.
-3
Let x(q) = 2*q + 7. Let c be x(2). Solve -10*f + c*f = -2 for f.
-2
Let k(a) = a3 + 4*a2 + 4*a + 3. Let t be k(-3). Let g = 4 - t. Let u(y) = -y**2 + 6*y + 9. Let x be u(7). Solve -g*j = -x*j for j.
0
Let l(h) = -h3 - 6*h2 - h - 6. Let o = 31 + -19. Suppose x + x = -o. Let s be l(x). Solve s*j - 8 = -2*j for j.
4
Suppose -i + 4*o = -6*i + 26, 4*o = 4*i + 8. Solve 0 = -4*k - 22 + i for k.
-5
Let r(f) = 0 - 1 + 2*f - 4. Let s be r(5). Let k = -1 - -4. Solve -4*p + s = -k for p.
2
Suppose -5*n + 4 = -16. Let w(v) = -v**2 - 9*v - 4. Let b be w(-8). Suppose 0 = b*h - 3*g - 9 - 5, 6 = n*h + g. Solve 7*o = h*o for o.
0
Let v = 5 - 5. Suppose v = -3*x + 5*x. Solve 4*r + x*r = 12 for r.
3