Let w = 40 + -40. Solve -k + 3 = -w for k.
3
Let g(k) = k + 7. Let x be g(5). Let p be (-4)/(-14) - 80/(-14). Let d = p - 2. Solve -d*n + x = -0 for n.
3
Let j(n) = -n3 + 2*n2 + 7*n - 5. Let m be j(4). Let t = -5 - m. Solve o = -t*o for o.
0
Let k be 2 + 0 + 0/(-2). Solve -k*v + 6*v = 0 for v.
0
Suppose 9*y - 8*y = 0. Suppose -2*l + 3*l - 4 = y. Solve s = -0 + l for s.
4
Suppose 5*a + 15 = -2*f + 3*f, 0 = -2*f + 3*a + 16. Suppose -3*v = -f*r + r + 3, -12 = -5*r + v. Solve r*z - 11 = 4 for z.
5
Let l = 18 + -12. Let k be 2/l - (-56)/12. Let b = 3 + -1. Solve 9 = k*f - b*f for f.
3
Suppose -5*x + 8*x = 30. Let z© = -c + 13. Let w be z(x). Solve -2*j = w*j - 25 for j.
5
Let x = -35 + 36. Solve 3*j + x = 10 for j.
3
Let n(m) = 3*m**2 + 2*m + 6. Let i be n(-2). Solve 5*s - i = 11 for s.
5