Let t = 83 + -67. Solve t = 4*c - 0 for c.
4
Let f® = -r3 - 6*r2 + 8*r + 3. Let k be f(-6). Let t = k + 84. Suppose t = a - 4*h + 8, -2*a = -h - 55. Solve 0 = 5*x - a + 7 for x.
4
Suppose 3*d + b - 4*b = 36, 5*d + 4*b = 24. Solve 3*f = -f + d for f.
2
Let q(z) = -7*z - 59. Let a be q(-9). Solve a*u + 4 = 12 for u.
2
Let h© = -c3 - 8*c2 - 8*c - 5. Let o be h(-7). Let j® = -r3 + r2 + 2*r. Let d be j(o). Solve w + d*w = -2 for w.
-2
Let t = -23 - -33. Suppose 2*d + 2*f - 4 = 0, 3*f = 4*d - 9*d + t. Solve 8 = 2*y + d for y.
3
Let u(i) = i**2 - 10*i - 2. Let q be u(11). Let c = 12 - q. Suppose 0 = -2*x + 16 + 10. Solve -c = -5*m - x for m.
-2
Suppose -f + 12 = 2*f. Suppose -3 = c - f. Solve d + 3 = -c for d.
-4
Let v be ((-9)/(-3) - -1) + -2. Solve v = 5*x + 7 for x.
-1
Let c(y) = 4*y**2 - y - 2. Let z be c(2). Let o = 7 - z. Let f = -3 - o. Solve 3*q + 25 = -f*q for q.
-5