Let m(o) = -o - 4. Let v be m(-7). Let k be (v - (-4 - -7))/2. Solve 5*d - 10 - 5 = k for d.
3
Let d(z) = -z + 2. Let s be d(-2). Suppose 0 = s*q - 12. Solve -q*o + 1 = -2 for o.
1
Suppose -4*h + 8 = 0, z = -4*h + 4 + 6. Let w be -1 - ((-56)/4 - z). Solve -5*q - w = -0 for q.
-3
Let f be (1 + 4/(-2))*-1. Solve 0 = 3*q + 2 + f for q.
-1
Suppose 7*x - 4*x - 18 = 0. Solve x*q = 2*q + 12 for q.
3
Let m = 34 - 23. Solve 3*y + m = -4 for y.
-5
Let j be (-2 + -1)*(4 - 5). Let l(g) = -g. Let u be l(-1). Solve 2*t = j*t - u for t.
1
Suppose -3*s + 5*z - z + 13 = 0, 2*s = -5*z + 1. Suppose 3*q + 21 = 3*c - 0*q, -4*c - 5*q = -19. Let y be 4/s*9/c. Solve 0 = -h - 0*h + y for h.
2
Suppose -5*t + 43 = 5*a + 3, 4*a - 8 = 4*t. Solve 0*v - t*v = -3 for v.
1
Suppose 69 = -3*y + 3*t, -62 = -0*y + 4*y + 2*t. Let u = -12 - y. Solve u = f + 2 for f.
4