Let c = -1 + 9. Suppose c*t - 3*t = 10. Suppose -3*b + 8 = t. Solve x + 0*x + b = 0 for x.
-2
Suppose 2*x - 8 = -5*v, 0*x = -x - 1. Solve 0 = -s - 0*s - v for s.
-2
Let j be 2/(-3) + (-8)/(-3). Suppose 4*r - 5*n - 1 = 2, -j*n = -2. Let v = 2 + r. Solve z = -z + v for z.
2
Let j be (-1 + 0)-1-2. Let c be 5 + -2 + (j - 2). Let q be -1 + -2 - 6/c. Solve 7 = -2*h + q for h.
-2
Suppose w - l + 4 = 0, 4*w - 3*l = 2*l - 16. Let f(t) = -5*t - 1. Let k be f(w). Solve 3*y + 4 - k = 0 for y.
5
Suppose 4*q - 4*b - 8 = 0, 2*q - 4 = -5*b + 14. Solve 0 = -q*y - 0*y for y.
0
Let k = 16 + -10. Let x be (k/(-5))/(6/(-20)). Suppose 12 = -0*r + 4*r. Solve 15 = x*h + r for h.
3
Let o be 4/(-6) - (28⁄3)/(-2). Solve 28 = o*h + 8 for h.
5
Suppose -4*c + 35 = c. Solve 13 = 5*r - c for r.
4
Suppose -14 = -y + b - 6*b, -22 = -4*y - 3*b. Suppose 2*p + 2*v - 12 = y, 0 = 4*p - 3*v - 18. Let z = 15 + -13. Solve z*j = p*j - 12 for j.
3