Suppose 0 = 5*o - 5*i, 3*i = 10*o - 11*o. Solve -2*k + o = -4 for k.
2
Let v = -6 - -3. Let r be (-1 - v)*(0 - -1). Suppose 4*u = -u + 10. Solve -r*w + w = -u for w.
2
Let z(y) = -y**2 + 6*y - 7. Let d be z(3). Suppose 4*m = 16, -c + 5 + 18 = 5*m. Suppose -c*k = d*k - 25. Solve -k*t = -2*t - 15 for t.
5
Suppose 2*n - 12 = -4*a, 2*n - 3 = -a - 0. Let z(g) = g**2 - 7*g + 5. Let h be z(7). Solve n = -5*i - 30 + h for i.
-5
Suppose -3*n + 4*s + 46 = 3*s, n - 3*s = 18. Solve n = i + 4*i for i.
3
Let z = -3 - -4. Let x(a) be the first derivative of a**3 + a - 2. Let u be x(z). Solve 2 + 6 = u*t for t.
2
Suppose -5*s + 4 = -3*s. Suppose -3*p = -6*p - s*w - 8, -p - 5*w - 20 = 0. Solve 8 + p = -2*u for u.
-4
Suppose -4*s + 26 = 6. Solve -s*w - 4 = -29 for w.
5
Suppose w = -0*w - 5*h + 23, 3*h - 9 = w. Suppose n = 5*n + 3*z, 0 = w*z. Solve -y - 4*y = n for y.
0
Let h = -41 - -70. Suppose h = i - 4*n, -3*i = -n - 50 + 18. Solve 2*z - 5*z + i = 0 for z.
3