Let u(d) = d - 6*d2 - 6 + 5*d2 - 14*d. Let x be u(-10). Suppose -i = -4*f - 1 + 18, x = 3*i + 3*f. Solve i*c + 16 - 1 = 0 for c.
-5
Suppose -5*b = -0*b - 90. Let l be (12/b)/(4⁄30). Solve 10 = -l*q - 0 for q.
-2
Suppose 2 = 3*a - 16. Suppose 2*h + x = -2*x - 3, -12 = -5*h - x. Let m = 7 + h. Solve b = a*b + m for b.
-2
Let d(l) = -2*l + 10. Let i be d(2). Solve 0 = -3*s - 0 + i for s.
2
Suppose 0 = 2*q + 4*l + 16, -11 = 4*q - 2*q + 3*l. Solve -2 = -q*a + 2 for a.
2
Suppose 0 = -6*z + 2*z + 4. Solve -2*c - 5 = z for c.
-3
Let q(v) = -2*v + 1. Suppose x - 6 = -2*x - 5*a, 0 = -4*x - 5*a + 8. Let d be q(x). Let u be (-28)/d + (-1)/3. Solve 4*z - z = -u for z.
-3
Let l(f) = f - 6. Let n be l(6). Let i® = -r + 6 + n - 3. Let v be i(0). Solve -v*x - 2*x + 20 = 0 for x.
4
Suppose -45 = -4*g + 3*q, -4*g - 2*q - 46 = -8*g. Let n = 12 - g. Solve n = -4*a - 0 - 12 for a.
-3
Suppose 4*f - 8 = 4*v, -3*v - 6 = -2*f - 0*v. Solve 6*u - 2*u = f for u.
0