Let j(h) = h**2 + 1. Let c be j(2). Suppose 0*i = -c*i. Solve -x - x - 6 = i for x.
-3
Suppose -5*i + 4*c + c = 85, 5*c - 47 = 3*i. Let b be 4⁄14 - i/7. Solve -b = 5*n + 12 for n.
-3
Suppose 2*v + v = 15. Suppose v*u = -2*b + 23, 3*b + b - u = -9. Let c be 6/(b - -1 - -2). Solve c*n + 2*n + 10 = 0 for n.
-2
Let t be -1*(-3)/(-6)*0. Solve g = -t*g for g.
0
Suppose 4*s - 8 = 8. Let m = 5 + 0. Suppose -c - 12 = -5*z, -m*c = -3*c + s*z - 18. Solve -k = -c + 5 for k.
-2
Let d be 0/2*(-6 - -5). Solve -4*o - 1 + 5 = d for o.
1
Suppose 0 = -3*t - 2*t + 10. Suppose -t*o = -4, -3*b = -0*b + 2*o - 19. Let s = 9 - b. Solve -4 = 4*a + s for a.
-2
Let i = 38 + -26. Solve 0 = -7*b + 3*b - i for b.
-3
Let m = -36 - -63. Suppose 5*a + 7 = m. Suppose -l = a*l. Solve l*k + 5*k = 0 for k.
0
Let s(v) = v3 + v2 + v + 3. Let i be s(0). Suppose -12 = -i*g + 3*y, 0 = g + 3*y + 2 + 10. Solve g = 3*c - 3 - 0 for c.
1