Suppose k = 5*d + 1, 5*d + 3*k = -2*k + 5. Solve 3 + d = x for x.
3
Suppose 32 = 4*q - 4*d, 25 = 9*d - 14*d. Solve t - q - 2 = 0 for t.
5
Let q = -100 - -105. Solve 2*m = 1 + q for m.
3
Let z(w) = w2 - w - 1. Let l(i) = -3*i2 + i + 1. Let p(b) = -l(b) - 2*z(b). Let k be p(-2). Solve -k*v + 6 = -6 for v.
4
Suppose -4*t + 8 = 3*z, 0 = -4*z + z - 2*t + 4. Solve z*q - 2*q + 10 = 0 for q.
5
Let m be 0/1 + 0/5. Solve i + m = -2 for i.
-2
Let o be ((-11)/4)/((-2)/16). Let p = -13 - -19. Suppose -7 - 13 = -5*w. Solve w*i - p = -o for i.
-4
Let m be (24/(-15))/((-4)/10). Let o = -1 - 0. Let f(b) = -b - 1. Let u be f(o). Solve u = 3*i - m*i - 2 for i.
-2
Suppose 6*c = 11*c - 25. Solve -c*j = -0 + 10 for j.
-2
Suppose 0 = -6*t + 2*t + 12. Solve -2*z + 25 = t*z for z.
5