Let h be 17 - (0 + -3)/1. Suppose -h = -m - m. Solve 5*o - m = 5 for o.
3
Let z = 0 - -8. Solve -z = 4*i - 28 for i.
5
Let c = -47 + 87. Let g = -20 + c. Solve -2*y = -7*y + g for y.
4
Suppose -2*t + t = -4. Solve 11 + t = 5*h for h.
3
Let u(k) = k**2 + 9*k + 7. Let v be u(-9). Solve -v*i + 12 = -3*i for i.
3
Let n(a) = a3 - 10*a2 + 18*a - 11. Let y be n(8). Solve 4 + 1 = -y*k for k.
-1
Let w be (10/(-15) + 1)*6. Solve -d + 1 = w for d.
-1
Suppose 5*k = 4*y, -5*k = 3*y + 8 - 43. Let u(q) = q - q**2 - q + k*q. Let g be u(2). Solve g + 2 = -2*x for x.
-3
Let b(u) = -u + 14. Let d be b(12). Suppose -4*h = -d*h - 46. Suppose 3*z = 5*t + h, -4*t + 3*t = -4*z + 25. Solve -z = 2*r - 0 for r.
-3
Let z(f) = 6*f + 2. Let q be z(-1). Let c be (q/(-8))/(2⁄8). Solve c*t + 10 = -0*t for t.
-5