Let u(z) = z + 9. Let x be u(-7). Solve 0 = 4*q + 6 + x for q.
-2
Suppose u + 2*q + 6 = 0, q + 11 = 4*u + 2*q. Solve 20 = -4*d + u for d.
-4
Suppose 2*d - 5*v - 12 = -d, 0 = v. Solve -d*p + 5 - 1 = 0 for p.
1
Let j(f) = 17*f + 5. Let u be j(4). Suppose u - 13 = 5*a. Solve 2*t = -4 + a for t.
4
Suppose -5*m - 10 = -3*m. Let p be 22/m + (-6)/(-15). Let u = -1 - p. Solve -h + u = -0*h for h.
3
Let a be (-4)/16 - 17/(-4). Let z = 1 + -1. Suppose -4*n - 5*l + z*l + 25 = 0, 9 = n + a*l. Solve -n*p + p = -20 for p.
5
Let b = 22 + 3. Suppose 2*u = -2*h - u + 5, -u = 3*h - b. Solve h*v = 5*v for v.
0
Suppose -4*x = -7*x. Solve -5*r + 3*r - 6 = x for r.
-3
Let x be (-4)/6*27⁄6. Let b = x + 5. Suppose g = -b*g. Solve -u = 3 - g for u.
-3
Let o be 3 + 2 + 1 + -6. Solve -a + 4 + 0 = o for a.
4