Suppose 0*u + 6 = 3*u. Solve -5 = -u*x + 3 for x.
4
Let u(d) = d3 - 7*d2 + d + 2. Let g be u(7). Let p = g + -9. Solve p*x = 2*x - 8 for x.
4
Let j be 1*(1 + (0 - -1)). Suppose j = p + x, x = -3*p + 2 + 4. Solve p*s = -0*s + 8 for s.
4
Let i(w) = w + 1. Let j be i(-6). Let l = 1 + j. Let p be 3*l/6 - -5. Solve 9 = p*q - 0 for q.
3
Suppose 26 = -2*g + 5*g + 2*d, 0 = -g - 3*d + 18. Suppose a + 4*k = 4*a + 3, -a - k = -g. Suppose 19 = 2*m - a*c, -m = -0*m - 4*c - 12. Solve x + m = -x for x.
-4
Let c = 6 + 4. Solve -b = b + c for b.
-5
Let c = 9 + -4. Solve 5*f - 25 = -c for f.
4
Suppose -2*v + 12 = v. Suppose -v*c + 2*c = 0. Solve -3*b + 0*b - 15 = c for b.
-5
Suppose -2*r + 5 = -1. Solve -3 = -r*z + 2*z for z.
3
Suppose -f + 17 = 4*u + 3, -2*u - 5*f - 2 = 0. Suppose 4*z + 7 = -5*m, 2*z + 2*m = -u + 2. Solve -z*o = -5*o for o.
0