Let u = -51 - -30. Let a be 36⁄10 - u/(-35). Solve 0 = -a*y + 6 for y.
2
Suppose -h + 0*k = -k + 11, 26 = -2*h + 3*k. Let q(p) be the first derivative of p**2⁄2 + 10*p + 3. Let o be q(h). Solve i - 8 = -o for i.
5
Suppose 0 = 10*a - 23 - 7. Solve 0*y - 15 = -a*y for y.
5
Let m = 4 - 2. Suppose 0 = m*a + 3*a - 125. Solve 0 = x + 4*x - a for x.
5
Let y(d) = d + 8. Suppose -54 - 41 = 5*j. Let u = j + 11. Let m be y(u). Solve m = -6*v + 2*v + 4 for v.
1
Suppose 4*z = 11 - 3. Solve 2*r = z + 2 for r.
2
Let r(v) = 7*v + 43. Let l be r(-6). Suppose -2*k - k = -9. Solve -l = b - k for b.
2
Let v be (-4)/(-16) - 31/(-4). Solve -25 = -v*y + 3*y for y.
5
Suppose b + 4*f = 3 + 2, -2*f = -5*b + 25. Solve b = 3*t - 4 for t.
3
Suppose -7 + 23 = -t. Let x = t - -19. Solve -4 = x*n - 1 for n.
-1