Let z(p) = -2*p + 14. Let t be z(6). Solve s - 3*s = -t for s.
1
Let f be (-2)/5 + 312⁄30. Solve -2*u - f = -7*u for u.
2
Let u(n) = -8*n. Let m be u(-2). Let h be 3⁄3*3/(2 + -1). Solve h*s - m = -s for s.
4
Let i be -2 - (13⁄52 + (-34)/8). Solve -s + 3 = i for s.
1
Let t be ((-8)/(-5))/(6⁄15). Suppose -t*i - i = 0. Suppose i*l = -l. Solve -2*c + l*c + 8 = 0 for c.
4
Let j(p) = p3 - p2 + p. Let y be j(0). Solve -6*l + l = y for l.
0
Suppose -3*c + 8 + 1 = 0. Solve 2*g = 1 + c for g.
2
Let f(d) = -2*d - 9. Let l be f(-6). Suppose l*v - a = -3, -4 = 3*a - 13. Let x be (-16)/(-6)*3⁄2. Solve v = -x*g + 5*g for g.
0
Let f(b) = b + 5. Let o(w) = w + 5. Let m(a) = -7*f(a) + 6*o(a). Let r be m(-8). Let p(v) = v. Let u be p®. Solve -u*c + 6*c = 6 for c.
2
Suppose 2*z = f + 4, -2*z - 2*f = -5*f + 4. Suppose 2*x = 2*a, 0 = 3*a - z*x + 5*x. Solve -5*d + 25 = -a*d for d.
5