Let y be (-8 + 0)/(-2) + (-8)/(-8). Solve 25 = -0*m + y*m for m.
5
Let g(d) = d. Let t be g(4). Suppose 9 = 2*r - 5*i + 2*i, -2*i - 6 = t*r. Suppose r = n - 2*n. Solve 15 = -n*l - 5*l for l.
-3
Let f = 4 - -15. Let g = -14 + f. Solve -10 - 10 = -g*c for c.
4
Let d = 29 - 22. Solve 2*g - d - 1 = 0 for g.
4
Let h(y) = y - 1. Let v be h(6). Suppose 56 = 9*m - v*m. Solve 4*c + 2 = -m for c.
-4
Let v be (-66)/(-14) + (-4)/(-14). Suppose -u - 5 - 7 = 4*q, 3*u + 4*q = -12. Suppose r - 8 + 3 = u. Solve -r = -4*k + v*k for k.
-5
Let c(z) = 12*z + 7. Let s be c(2). Solve 0 = -5*f + 6 - s for f.
-5
Let n be -1*(-1)/((-1)/(-2)). Suppose -3*r + 12 = 0, 2*p - 9 = -r + 3. Let j = p - 1. Solve j = 5*l - n for l.
1
Suppose 2*a + 5 = 17. Suppose -a*p + 11*p - 45 = 0. Suppose -2 = -2*m + 4*h - 4, 2*h + p = 3*m. Solve -6*f + m = -f for f.
1
Let n(x) = x + 4. Let w be n(1). Let v(t) = t - 5. Let q be v(5). Solve q = -w*b - 12 + 32 for b.
4