Let s(f) = -f3 + 3*f2 + 4. Suppose 12 = 3*b + 3. Let j be s(b). Solve -1 = i - j for i.
3
Suppose -3*d - 4*v - 1 = -3, -2*v = 5*d - 8. Let c = 1 + d. Solve 0 = -5*h - c - 2 for h.
-1
Let c = -7 - -4. Let a = 6 + -2. Let m = a + c. Solve 2*k - m = 3*k for k.
-1
Let u = -10 + 12. Solve -3*g = u*g + 20 for g.
-4
Let y = 2 + -1. Suppose 3*l = y + 8. Solve 2 = 5*k - l for k.
1
Let b(z) = z**2 - 2*z - 4. Let x be b(4). Suppose 410 - 115 = -5*r + c, x*r = 3*c - 247. Let n be 1/(-4) - r/8. Solve n*i = 2*i + 20 for i.
4
Let r(n) = -n3 - 7*n2 + 7. Let q be r(-7). Let a(g) = g3 - 7*g2 - g + 7. Let j be a(q). Solve j = 2*x - 2 - 0 for x.
1
Let s = -94 - -94. Solve 0*c - 3*c + 12 = s for c.
4
Suppose -11*u = -6*u + 2*s - 12, 2*u - 4*s = 0. Solve q - u*q - 4 = 0 for q.
-4
Let i be 27⁄4 - 3/(-12). Solve 0 = -i*j + 2*j for j.
0