Suppose 3*n = 5*t + 4*n - 83, 89 = 5*t + 3*n. Solve 0 = -q - 3*q + t for q.
4
Suppose p = -j + 4*j - 4, 31 = p + 4*j. Let l = -8 + p. Let h(t) = t3 + t2 + 2. Let x be h(0). Solve -x*v + l = -v for v.
3
Suppose 0*r = -5*r + 25. Solve -2*h + r = -h for h.
5
Let v be 2 - (-1*6 + 1). Suppose -22 = -3*u - v. Suppose 0 = -2*z + 3*z - 3*a - 2, 0 = u*z - 4*a - 10. Solve -20 = z*j + 3*j for j.
-4
Suppose 0 = 13*t - 17*t - 16. Let x be (-2 - -5)*t/(-4). Solve 0 = x*l + l + 20 for l.
-5
Suppose r - 20 = -3*r. Suppose 0 = -7*g + 2*g. Solve g*a - 20 = r*a for a.
-4
Suppose b - 2*b + 2 = 4*f, 0 = 5*b + 2*f - 10. Solve 0 = b*c + c + 12 for c.
-4
Suppose 20 = 4*c - 2*k, 4*c - 3*k - 6 = 16. Solve 0*g = -2*g + c for g.
2
Let i be (-17 - -17)/(-1 + -1). Solve i = -4*o - 7 - 9 for o.
-4
Let k = -6 + 14. Suppose 3*b + b = 4*z + 16, 2*z - 13 = -5*b. Solve -5 = -b*t - k for t.
-1