Let f = 30 + -14. Solve -3*a + 1 = f for a.
-5
Let u = 6 - 6. Suppose -6*k + 15 = -2*k - p, u = -2*k - 2*p + 10. Solve -k*z + 0 = -12 for z.
3
Suppose -1 = 3*a - 46. Suppose -2*i = -5*d - 6, -3*d + a = i + 4*i. Solve d = -3*h + h + 4 for h.
2
Let k = -10 - -18. Let c be 106/(-10) + k/(-20). Let y = c + 18. Solve -y*h + 8 = -3*h for h.
2
Let y be 1 - 0 - 2/(-2). Suppose y*k = 8 - 2, o - 4*k = -10. Let x(f) = -3*f**2 - 8*f - 2. Let d be x(-2). Solve d*h - 2 - o = 0 for h.
2
Suppose -2*s - 3*s + 3*x = 34, 3*s = -3*x - 30. Let m = s - -2. Let w be 140⁄6 + 2/m. Solve w = -5*d - 2 for d.
-5
Suppose -3*g + 8 = g. Solve 0 + g = 2*i for i.
1
Suppose -3*d = -d + 10. Let q be (0 + 9/(-15))*d. Solve -u = 2*u - q for u.
1
Suppose 6*a = -4*z + 2*a + 32, 0 = 2*z + 4*a - 26. Suppose 2*g - u = 9, g = -0*g - u - z. Suppose 3*h + 5 = g*w + 4, -4*h + 44 = 3*w. Solve -q = q - w for q.
4
Let n = 18 - 15. Suppose 4 = n*g - 5. Let d = 0 + 0. Solve 3*h - g = -d for h.
1