Let n = 12 + 4. Solve -4*x - 4 = n for x.
-5
Let l be 54⁄10 - (-9)/15. Let z = 7 - l. Suppose -b = -z - 9. Solve -b = 4*g - 2*g for g.
-5
Suppose 0 = -2*p + 3 + 3. Solve p*t = 5*t + 4 for t.
-2
Suppose 4*i + 181 - 45 = f, 3*i + 107 = 2*f. Let b = -30 + i. Let z = -43 - b. Solve z = -4*n - 0 for n.
-5
Let j(a) = a3 + 4*a2 + 3*a + 3. Let k be j(-3). Suppose 0 = -3*z + 4*b + 12, z - 5*b - 16 = -k*z. Solve -3 = n - z for n.
1
Suppose 4*k - 12 = 12. Suppose 5*x + 3*a - 60 = 6*a, -x - 4*a = 11. Let g = x - k. Solve b = -g*b - 16 for b.
-4
Suppose -4*l - 22 - 54 = 0. Let p = l + 27. Suppose 2 - p = -2*b. Solve -4*s + 9 + b = 0 for s.
3
Let m = 73 - 67. Solve i + m = 4*i for i.
2
Let b(g) = -g**2 - 5*g + 3. Let i be b(-5). Suppose i*w - 2*w = 22. Solve 4*z + w = 2 for z.
-5
Suppose -2 = -2*u + 3*i, 9 = 2*u - i - 1. Suppose -2*o = 3 - u. Solve 5 - o = -c for c.
-3