Suppose 0 = -3*z + 4*z - 4. Suppose 32 - 12 = -4*v. Let b(t) = t**2 + 5*t. Let x be b(v). Solve x = d + z*d for d.
0
Suppose -20 = -3*m - 5*h - 9, -m = 3*h - 5. Suppose 3*c + 5*v + 1 = 0, -3 = -m*c + 2*v + 23. Solve -j = j - c for j.
4
Let d(j) = -j - 1. Let w be d(5). Let p = w + 8. Solve -p*u = 5 - 1 for u.
-2
Let j be (-1 - -3)/((-6)/39). Let r = j - -18. Solve 0 = -r*s - 0*s + 25 for s.
5
Let u be 1⁄1 + -3 + 3. Suppose u = -3*v + 19. Let z = -2 + v. Solve -z*c - 10 = c for c.
-2
Suppose 4*b - 4*t - 72 = 0, 3*b = 6*b + 2*t - 39. Suppose -2*s + 39 = b. Suppose 6 = 2*a - s. Solve -a*y = -4*y + 15 for y.
-3
Let g(q) = -2*q**2 + q + 1. Let h be g(3). Let o be 4/h - (-32)/14. Suppose 5*z - x - 18 = 0, 4*z + 6 = z - 5*x. Solve z = -o*k - 5 for k.
-4
Let x(a) = 4*a**2 + 2*a - 1. Let w be x(1). Let m(l) = 5*l - 5. Let j be m(5). Suppose 4*t - j = -4. Solve -w*k - t = -k for k.
-1
Suppose 0 = 4*q - 4*a - 8, 0*q - 2 = 2*q - 5*a. Solve -q*s = -s for s.
0
Suppose 0 = -d - 2*r + 3, -4*r + r = d - 6. Let s = 0 - d. Solve o = s*o for o.
0