Let z = -68 - -70. Solve z*g = g + 3 for g.
3
Let z(t) = t**2 + 26*t + 56. Let j be z(-24). Solve -p - 3*p = -j for p.
2
Let q(z) = z**2 - 9*z + 3. Let v be q(9). Suppose v*o = -3 + 9. Solve o*r - 3*r - 5 = 0 for r.
-5
Suppose 11 + 9 = -5*h. Let v = h + 6. Suppose -16 = -2*p - v*y, -3*y = -5*p - 5*y + 28. Solve m - p*m + 9 = 0 for m.
3
Let s = 11 + -7. Suppose -s*n - 2 - 2 = 0, 4*j = 4*n + 20. Let q(d) = -3*d - 1. Let c be q(-3). Solve -t + j = c for t.
-4
Let q be (-382)/18 + (-4)/(-18). Let c = q + 29. Suppose -h + c = -0. Solve 5*r = h + 7 for r.
3
Let d(p) = -p**2 + 8*p + 15. Let o be d(8). Solve -5 = 5*a + o for a.
-4
Suppose 2*p - 12 + 6 = 4*o, -4*o = 2*p + 2. Let u be (-1)/(-4) - (-15)/4. Suppose 4*y = 2*f - f - 11, -5*f = 3*y - 9. Solve p = -u*j - f for j.
-1
Let h(g) = -g + 21. Let o be h(15). Solve 2*k + o = -k for k.
-2
Suppose -20 = 4*x + 40. Let d = -3 - x. Solve 3*y = -y - d for y.
-3