Suppose -4*t + 6 = 2. Let q = 4 - t. Solve 2*m + 1 = -q for m.
-2
Let j be (-4)/(-6) + (-8)/(-24). Let i = j - -3. Solve 0*b + i = -b for b.
-4
Let h(j) be the first derivative of j**2⁄2 + 5*j + 1. Let c be h(-5). Suppose 2*w + c*w - 6 = 0. Solve w + 0 = r for r.
3
Let y(m) = m2 + m - 4. Let k be y(2). Let q(i) = i3 - 9*i**2 + 10*i + 11. Let c be q(8). Solve -k + c = -5*b for b.
-5
Let v(p) = -p3 - 3*p2 - 2*p - 4. Let o be v(-3). Solve 3*u + o = -4 for u.
-2
Suppose 3*x - 5 = 2*x. Solve x*v - 1 = 4 for v.
1
Suppose 0 = x - 2*a, 4*x = -x - 5*a + 15. Suppose -3*t - 2*t + 100 = 0. Solve -2*g - x*g = -t for g.
5
Let q be (-1*1)/((-1)/6). Suppose 0 = -2*x + q*x - 32. Suppose 4*z = 8 + x. Solve 3 + 5 = z*w for w.
2
Let m = 4 + -8. Let r(u) = -16*u - 5. Let q be r(m). Suppose 3*v = -5*c + 44, 5*v - q = -3*c - 7. Solve -v = -5*l - 3 for l.
1
Let r(h) = h. Suppose -3 = y + 3*m, 2*m + 12 = -2*m. Let x be r(y). Solve -x*f + 25 = -f for f.
5