Suppose 3*h = 2*h + 5. Suppose -a - 2*y + 7 = 0, 4*y = h*y + 1. Solve 0*k = 3*k + a for k.
-3
Let z be 11 + (1 - (-1 + 0)). Suppose -56 = -4*b - 16. Suppose b*o - 25 = 5*o. Solve -o*x - z = 12 for x.
-5
Let t(u) = u**2 - u - 4. Suppose -2*x = 5 - 11. Let c be t(x). Solve -c*o + 0*o = 6 for o.
-3
Let c(w) = w**2 - 5*w + 4. Let k be 2/(((-5)/2)/(-5)). Let y be c(k). Suppose y = -3*d + 5*d. Solve d = -n - 3 + 8 for n.
5
Let v(w) = w**2 + 6*w + 9. Let p be v(-4). Solve p - 9 = 2*c for c.
-4
Suppose -8*k + 20 = -3*k. Solve k*g = -2 - 6 for g.
-2
Let h = 0 - -4. Let r = 6 - 3. Suppose 0*v - 50 = -5*v + r*c, -2*v + 16 = -2*c. Solve v = 3*o + h for o.
3
Suppose 3*g + h - 12 = -g, g + 2*h = 3. Suppose 2*m = g + 1. Solve m*n + n = 3 for n.
1
Suppose 10 = 3*i + 1. Solve 6 = -i*l + l for l.
-3
Let r be (20/(-25))/((-4)/30). Suppose 0 = -r*a + 3*a. Solve a = d + d - 6 for d.
3