Let q be (-7)/(-7)*(1 + -1). Solve -4*j = -q*j for j.
0
Suppose 14 = -x + 4*c, 16 = -2*x + 2*c + 3*c. Let a(w) = -2*w - 7. Let o be a(-5). Let z(q) = q - 3. Let l be z(o). Solve -s + 0*s - x = l for s.
-2
Suppose q - 4*p = 20, -5*q + q = -5*p - 47. Solve 3*d - 4 - q = 0 for d.
4
Suppose -3*w + 5*n + 45 = 0, 3*n + 47 = 5*w + 4*n. Let h = 21 + -18. Solve 2*q + w = -h*q for q.
-2
Let u be (-2 + -7)*(10/(-3))/5. Solve 0 = -5*r + u*r - 1 for r.
1
Suppose 66 = 10*r + 6. Solve i = 3*i + r for i.
-3
Let x(d) = -13*d - 8 + 6*d + 0 + d2. Let t(y) = 7*y2 + 2*y - 1. Let z be t(1). Let l be x(z). Solve 0 = -l*j - j - 1 for j.
-1
Let l be (15 - 1*-2) + -1. Suppose 4*d - 16 = -2*j + 6*j, 2*d = 4*j + l. Suppose 5*k + 6 - 16 = 0, 0 = 5*t - 5*k - 10. Solve 0 = -t*v - d*v - 8 for v.
-2
Let r(p) = p**2 - 3*p + 2. Let z be r(2). Suppose 2*v + 0*v - 10 = z. Solve -5*h + 0 - v = 0 for h.
-1
Suppose 3*k - 15 = 0, 33 = t + 5*k + 7. Let x = 15 + -8. Suppose 8*c = 5*c + 6. Solve -x - t = -c*j for j.
4