Suppose -v = -4*v - r + 10, 3*v - 4*r - 5 = 0. Solve -3 = 2*o - v*o for o.
3
Suppose 4*d - h - 40 = -3*h, -2*d = -4*h. Suppose 5*v - w + 3 = d, -5*w + 27 = v. Let l be -1 + v + (-2)/(-1). Solve c - 16 = -l*c for c.
4
Let y(h) = h - 5. Let d be y(10). Let g = d + 0. Suppose -11 + 0 = -2*z - 5*r, 2*r = -g*z + 17. Solve z*k + 5 = -10 for k.
-5
Suppose -2*k - 1 = -5. Let v be 1⁄2 + 1⁄2. Let z = v + 5. Solve k = -4*d + z for d.
1
Suppose 2*k - 6*k - 11 = -3*y, 2*y - 15 = -5*k. Let b be (1/(-2))/((-3)/12). Solve b*p - k + 11 = 0 for p.
-5
Let f© = 2*c**2 - 6*c + 6. Let s be f(3). Solve 0 = -s*m + m - 15 for m.
-3
Suppose 3*h = -4 + 16. Let j = 4 - h. Solve j = 3*i + 12 for i.
-4
Let i(f) = -4*f - 11. Let j be i(-5). Let r = 11 - j. Solve r*p + 0*p + 6 = 0 for p.
-3
Let q = 68 + -64. Solve 2*y - q = -2*y for y.
1
Suppose -4 + 1 = -r. Let b = r - 1. Solve -3*t + b*t = 2 for t.
-2