Suppose 2*d - 12 = 4*u, 0 = d - 5 + 3. Let j = 4 + u. Suppose 4*a = -0*c + 2*c - 10, j*a = 0. Solve 0 = -3*b + c*b for b.
0
Let l = -176 - -177. Solve -4*s - 9 + l = 0 for s.
-2
Let t© = 2*c + 1. Let s be t(-3). Suppose 10*g = 11*g - 3. Let z = g - s. Solve -p = 3*p + z for p.
-2
Let v(f) = f**2 - 13*f - 10. Let h be v(14). Suppose -4*m = -0 - h. Solve -m = -y + 1 for y.
2
Let a® = r - 3. Suppose 0 = 4*g - k - k - 22, -5*k - 10 = -g. Let b be a(g). Let m = 15 - 7. Solve -b*t + m = -2 for t.
5
Let z be (2/(-3))/((-4)/150). Let h = z + -13. Solve -7*l = -3*l + h for l.
-3
Suppose 0*i + i - 4 = 0. Solve -3*n = -4*n + i for n.
4
Let y = -23 - -25. Suppose 5*s - 4*c - 8 = 3*s, 0 = -2*s - y*c + 2. Solve -3*w + 3 = -s*w for w.
3
Let l(i) = 2*i - 14. Let z be l(7). Solve -5*x + 12 + 8 = z for x.
4
Suppose -4*l = 2*v - 20, 7*l + 2*v = 4*l + 17. Solve 0 = -0*r + 3*r - l for r.
1