Suppose 5*v - o = 15 + 6, -v - 15 = -5*o. Solve 4*r - 5*r + v = 0 for r.
5
Let z be ((-12)/(-4) - 4)*-4. Suppose 0 = -z*q + l - 4, 3*l - 2*l - 4 = 5*q. Solve v + q*v = -5 for v.
-5
Let f(a) = 3*a**2 + a - 2. Let m be f(-2). Suppose 7*u = -2 + 30. Solve u*s - m = 2*s for s.
4
Let x = -62 + 65. Solve x*a - 3 = -9 for a.
-2
Let w = -4 - -12. Solve t = -3*t + w for t.
2
Suppose -105 = -5*n - z, -2*z = 5*n - 5*z - 125. Let f = n + -8. Solve -f = -5*r + 11 for r.
5
Suppose 0*x + 3*x = -u - 13, 5 = x + 5*u. Let n = x + 8. Solve -1 = -n*l + 8 for l.
3
Let r(v) = -v**2 - 3*v + 2. Let p be r(-5). Let l = p - -10. Suppose l*f + 0*f = 0. Solve f = -h - 5 for h.
-5
Let f(g) = 4*g - 6. Let c(m) = -5*m + 7. Let i(y) = 3*c(y) + 4*f(y). Let d be i(7). Suppose -d*a + a + 12 = 0. Solve -4*r = -3*r - a for r.
4
Let w be (-2)/(-1)*(1 - 0). Suppose -5*s + 2*v = -60, 4*s - 2*s - 24 = 2*v. Suppose 0 = i + w*i - s. Solve i*m + 13 = 1 for m.
-3