Let a be 0 - 4*(0 + -1). Suppose 3*m = a*m - 6. Suppose m*b = 5*v + b - 80, 2*b - 28 = -3*v. Solve 0 = -3*w - 3 + v for w.
3
Suppose 16 = 4*n, 3*l + 3*n - 27 = 9. Solve -t + 3*t - l = 0 for t.
4
Suppose 0 = 3*z - 8*z + 10. Let a(q) = 5 - 3*q + 1 - z - q**2. Let f be a(-4). Solve 5*w - 15 + 5 = f for w.
2
Let j(a) = a**2 - 6*a + 8. Let r be j(5). Solve -r*q + q + 8 = 0 for q.
4
Let d be (-6)/(2⁄2 + -3). Suppose -d*q - 6 = -5*q. Solve -v - 4 = q*v for v.
-1
Suppose 2*l + 2 = 6. Suppose -4*v - 39 = l*a - 7, -a - 28 = 5*v. Let j = 3 - a. Solve 2*g - 3 = -j for g.
-4
Let u be (-62)/(-4) + (-2)/4. Let y be -1*(-1 + 2) - -30. Let v = y + -26. Solve 0*k - u = -v*k for k.
5
Let c(d) = -d**2 + 8*d - 4. Let g = 3 + 1. Let s be c(g). Suppose -s = -3*u - 0*u. Solve 0 = 4*w - 3*w - u for w.
4
Let b(x) = 3*x**2. Let n be b(-2). Suppose n = -4*w + 7*w. Solve w*o + 6 - 14 = 0 for o.
2
Suppose -7 = -2*q + u, 3*q - u - 7 = -3*u. Suppose g = -5*b + 2*g + 6, g = 2*b - q. Let h be (0/(-3) + 0)*b. Solve -3*z + h = 6 for z.
-2