Let k = -22 + 26. Solve -1 + k = 3*x for x.
1
Suppose 2*h - 17 = 11. Suppose 4 = 3*a - 5*n, -5*a - 2*n + h = -3*n. Suppose 0 = a*w - 13 + 4. Solve 4*s = s + w for s.
1
Let n = -12 + 18. Solve -n*s + 4 = -4*s for s.
2
Suppose 2*s = 10, l + 4*s - 11 = 13. Solve -l = -4*i + 4 for i.
2
Let f(m) = m**2 - 2*m + 2. Let z be f(3). Suppose z = 4*h - 3. Solve -2 = -h*x - 8 for x.
-3
Let s(b) = b**2 - b. Let g be s(0). Solve 8 = 2*c - g*c for c.
4
Let f(d) = 3*d**2 - 1. Let y be f(-1). Suppose 0*r = -3*r + 15, -r = -k - y. Solve k*v + 0*v = -6 for v.
-2
Suppose 2*a = 2*i + 59 - 17, 0 = -2*a + 3*i + 44. Suppose a = 4*k - 21. Suppose 2*f - k = 4*t, -f + 20 = -t + 3*f. Solve t = y - 0*y + 1 for y.
-1
Let d = 59 - 40. Suppose 0 = 3*v + 7 - d. Solve -v*l - 9 = 3 for l.
-3
Suppose 3*q - 4*q - 3*r + 11 = 0, -2*q + 18 = 4*r. Suppose n = q*g - 9 - 10, 5*n = 5*g - 35. Solve 8 = g*j - j for j.
4