Suppose 5 + 1 = -2*z. Let g = -3 - z. Suppose -2 + g = -x. Solve 3*u = 7 + x for u.
3
Let u be 0/(-2) + (-2 - 2). Let k be -1*2/u*4. Suppose -5*h = -k*h. Solve h = y - 4 + 3 for y.
1
Let w = -69 - -71. Solve -w*a + 4 = 2 for a.
1
Let u be 545⁄20 + (-3)/(-4). Let j be (-2)/(-8) + u/16. Let b be ((-30)/(-4))/5*j. Solve 4 = b*o - 2*o for o.
4
Let x(o) = 3*o**2 - 6*o + 6. Let w be x(1). Solve 0 = -w*g - 0*g - 6 for g.
-2
Let r(m) = -4*m. Let p = -3 + 7. Suppose -p = -0*q + q. Let i be r(q). Solve -3*f + i - 4 = 0 for f.
4
Suppose 4*n - 21 = c - 3, 0 = 5*n + 4*c - 33. Solve 0*q = n*q - 10 for q.
2
Let j = -81 - -87. Solve -j*k = -4*k - 2 for k.
1
Let w(f) = f**2 + 2*f + 8. Let c be w(0). Solve 0 = -4*u + c + 8 for u.
4
Let z be (-4)/(-8) + 2⁄4. Suppose -z + 11 = 4*h + 2*x, 7 = 3*h + 2*x. Solve 7 = h*y + 1 for y.
2