Let h = -20 + 25. Solve 5 = h*n - 0 for n.
1
Let l(z) = -z3 + 3*z2 - 5z + 6. Let s be l(5). Let b be s/2(-2)/3. Suppose -5*a = -7 - b. Solve q + q - a = 0 for q.
3
Suppose -1 = -b + 4. Suppose -4*a + 4 = -3*w - 0, 4*w - 5*a = -b. Suppose f - 11 - 1 = w. Solve -2*k = 2*k + f for k.
-3
Let t be (-5 - 0)/((-8)/40). Suppose t = 2*x + 3*x. Solve -5 - 5 = x*z for z.
-2
Let b = -3 - -7. Let p(n) = 2*n**2 - 5*n - 1. Let i be p(b). Let t = i + -7. Solve 0 = t*c + c + 10 for c.
-2
Suppose 43 = -5*f + 5*i + 18, 0 = 4*i - 20. Suppose 11 = r - 9. Solve -r = 4*b - f*b for b.
-5
Suppose 8 + 12 = 5*o. Suppose 1 = 3*y + 2*i, y - o*i = -0*y + 19. Let h = 0 + 6. Solve a + h = y*a for a.
3
Suppose -5*s + 4*s - 3 = 0, -4*d + 16 = -4*s. Suppose -14*m + 27 + 1 = 0. Solve -d - m = -y for y.
3
Suppose 10 = 5*c - 3*c. Suppose 0 = 2*y, c*w + 3*y - 11 = -1. Solve -w*z + 4 = -4*z for z.
-2
Suppose 2*z - 7*z = 30. Let t = z + 7. Solve -t + 4 = -p for p.
-3