Let v(t) = t**2 - 6*t + 7. Suppose 28 = -6*p + 2*p. Let j = 12 + p. Let c be v(j). Solve -4*o + 6 - c = 0 for o.
1
Let b = 10 + -3. Let z = 11 - b. Solve -19 = 3*a - z for a.
-5
Suppose -5*c + 10 = 0, 5*c - 44 - 11 = -5*n. Solve 3*a + n = -0 for a.
-3
Let o be 0*((-7)/2)/7. Solve -4*h + 6 - 26 = o for h.
-5
Suppose -4*g - 4*j + 26 = -2*g, -5*j = -2*g - 19. Suppose v = -g*v + 8. Suppose v*r = -r. Solve 0*d + 5*d + 15 = r for d.
-3
Suppose -f - 5*r = -28, 19 = 3*f + 3*r - r. Suppose -l = 5*z + 2*l + 1, 5 = -5*z - 5*l. Let x = z + -1. Solve f*j = -x*j for j.
0
Suppose 6 - 6 = 2*j. Solve p - 4*p = j for p.
0
Suppose f - 7 = -z, -z + 0 = -4*f + 8. Let n = 5 + 2. Solve -n*k = -z*k for k.
0
Let r(s) = -s + 17. Let u be r(7). Solve -u = -0*z + 2*z for z.
-5
Suppose -5*o - 14 = -x, 13 = 3*x - 2*o - 3. Solve 0 = x*c + 20 for c.
-5