Let x(v) = -4*v + 4. Let o be x(1). Solve -16 = -4*s - o*s for s.
4
Let l be -1 + (-3)/3 + 2. Suppose l = v + 2*v. Solve -3*n + 6*n - 9 = v for n.
3
Let c be ((-24)/(-10))/(21⁄140). Solve 0 = -4*q + c for q.
4
Let n = 31 + -27. Solve n*w - 25 = -w for w.
5
Suppose -4*p + 20 = 0, -s - 4*p = -0*p - 23. Solve 1 = -4*a - s for a.
-1
Let z be (-40)/(-12) - 1⁄3. Suppose -r = -z*r + 2*x - 2, -1 = -5*r + 3*x. Solve 2*q - 4 = r for q.
3
Suppose -3*r + r = 8. Suppose -3*u = -4 - 2. Let t = u - r. Solve 3*d = -0 - t for d.
-2
Let g(b) = 2*b - 6. Let f be (-4)/3*9/(-2). Let p be g(f). Suppose -2*u + 2*v = 3*u - 6, 0 = -3*u - 5*v - 15. Solve -3*j - p = -u*j for j.
-2
Suppose -4*v + 20 = -0*v. Suppose -7 = 3*z - 2*y, -y = z - 1 - v. Solve 0 = 5*a - 4 - z for a.
1
Suppose 0 = -3*a - 0 - 3, 5*a = i - 10. Solve 0 = i*g - 17 - 3 for g.
4