Let x(y) = -4 + 7*y + 3 + 2. Let m be x(1). Suppose 2*w - 4*g = -m, -g - g = w - 12. Solve w*a = 7*a + 12 for a.
-4
Let w(m) = -m + 1. Suppose -5*p + 3*i = 4*i - 13, -4*p + 4*i = -20. Suppose 0*v = -4*b + 4*v + 8, 7 = 4*b - p*v. Let a be w(b). Solve a = -4*j + j + 3 for j.
1
Let l = 1 - 2. Suppose 4*n - 2 = 6*n. Let p = l - n. Solve 2*g - 4 + 2 = p for g.
1
Let p(a) = -a + 1. Let l be p(-4). Suppose 0 = l*i + 4*n + 19, n - 5 = -4*i + 6i. Let r be (i + 4)(2 + 0). Solve 0 = r*v + v for v.
0
Suppose 0*n = -3*d + 5*n + 26, -d - 2 = n. Suppose 55 = 3*r - 5*y, -4*y - 22 = -2. Let v = r - 5. Solve v*w + 3 = -d for w.
-1
Let h = 48 + -39. Solve -6 - h = 3*q for q.
-5
Let w(s) = s - 4. Let c be w(7). Suppose 0*l - i = -3*l + 3, i = c. Solve -l = -4*f - 18 for f.
-4
Let j be (-1 - 5)/(0 - 1). Let z be j/(-21) + (-2)/(-7). Suppose l + 3*l - 12 = z. Solve -l = -m - 6 for m.
-3
Let p = -34 + 34. Suppose 0 = 3*h - 3*c, h + 3*c + 28 = -3*h. Let k = 9 + h. Solve -k = u - p*u for u.
-5
Suppose 0 = -v + 3 - 0. Suppose v = t, -5*t - 7 = -5*j - 2. Solve 2*k = -2 + j for k.
1