Let u(v) = -10*v + 14. Let x be u(1). Solve f = -x*f + 20 for f.
4
Let z = -8 + 23. Solve 0*k - 5*k = z for k.
-3
Let y = 65 + -64. Solve v - 2*v = y for v.
-1
Suppose -3*w = -3*m - 8 + 23, -m - 11 = 3*w. Suppose -4*c = -c + 3. Let f = -1 - c. Solve -i - m = -f*i for i.
-1
Suppose u - 2 = -0. Suppose 3*q + 0*q - 6 = 0, 0 = -u*w + 2*q - 4. Solve w*c + 10 = 2*c for c.
5
Suppose s - 4*h = 0, -4*h = s - 4*s. Solve 5*y = -s*y + 5 for y.
1
Suppose -4*a - 5 + 17 = 0. Solve 3 + 3 = a*q for q.
2
Suppose 5*k + 2 - 27 = 0. Solve k*p - 1 = -11 for p.
-2
Let w be ((-3)/(-2) + 0)*-6. Let r = 11 + w. Suppose r*j + 0*j - 10 = 0. Solve -j - 5 = -2*g for g.
5
Let t be (-26)/(-7) + 10⁄35. Solve 0 = 2*y + 2 + t for y.
-3