Let x(u) = u - 6. Let z be x(8). Suppose -3*m = 4*a + 3, -2*a + m + z*m + 21 = 0. Solve s + a*s = 12 for s.
3
Let o = -4 + 9. Suppose -o*v - 2*n = -26, -5*v - 1 = -3*v - 3*n. Suppose 5*y + 5 = -2*k, y - v*y - 22 = 5*k. Solve 0 = 3*s - 2 - y for s.
1
Let v be 5 + (-3)/1 + 0. Suppose 5*f - 5*p = 5, -1 + 0 = -v*f + 3*p. Suppose 0*h = h. Solve h = -f*g - 2*g for g.
0
Let w(u) = -2*u + 8. Let p be w(9). Let n = p + 14. Suppose n*j = 3*g - 75, -g - 4 + 29 = -5*j. Solve -z - 4*z - g = 0 for z.
-5
Suppose 0 = -3*n + 6, -p - 3*n = 2*n - 17. Let i be p + (3 - 6) - 2. Let h = -3 + 9. Solve -i*l - 16 = -h*l for l.
4
Suppose -2*r = -6*r + 12. Suppose 0 = 3*d - 12, 5*t - 2*d = r*d. Solve t*j - 8 = 12 for j.
5
Let t(m) = -m**2 - 5*m + 7. Let q be t(-6). Suppose n - 2 + q = 0. Suppose -3*d - j = n, 2*d - 9 = -3*d + j. Solve 4*f - 19 = d for f.
5
Let c be 2/(-7) - 4/(-14). Let v = 5 + -8. Let n = v + 5. Solve c = -n*h + h for h.
0
Suppose o - 3 = -i + 5, -2*i = 5*o - 46. Solve -4*z + 2 = o for z.
-2
Let q be (6⁄5)/(6⁄20). Let p be q/(-12) - 74/(-6). Solve 0*n + 3*n = p for n.
4