Let n be (-195)/(-12) + 1/(-4). Let a = -13 + 13. Suppose a = 2*k + g + 4, -4*k + 2*g = 6*g + n. Solve -3*j - 4 - 2 = k for j.
-2
Let k = 18 - 10. Suppose 0 = 2*g - k - 2. Solve -17 = 4*u - g for u.
-3
Let w = -2 - -2. Let p be 10*(1 + w + 0). Solve -25 = 3*y - p for y.
-5
Let z(t) = -t**2 + 25*t + 3. Let r be z(25). Solve h = r*h for h.
0
Let p(h) = -h - 9. Let r be p(-11). Let s = 20 + 2. Suppose -s = -5*l - r. Solve -1 = b - l for b.
3
Suppose -6 = -2*k, 14 = 4*b - k - k. Suppose -b*j + 4 = 3*q, -2*q + 4*q - 24 = 2*j. Suppose 2*u - f = q, 3*f + 3 = 2*u - 1. Solve 4*l - 3 = u*l for l.
-3
Let q = 17 + -11. Suppose 5*z - 2*z = -12. Let o = -2 - z. Solve -o*r = q + 4 for r.
-5
Let j(p) = 1 - 6*p + 3*p + 4*p + 2*p. Let f be j(7). Solve 7 = 5*u + f for u.
-3
Let n(k) = 2*k**2 - 3. Let y be n(-2). Solve -21 + y = 4*g for g.
-4
Let u be -1 + 0 - (1 + 0). Let h be -1*u/(-6)*0. Solve 3*j - j - 2 = h for j.
1