Let x = 20 - 17. Solve 0 = x*k + 7 + 2 for k.
-3
Suppose -74 = -4*s - 42. Solve 4*o + 0*o + s = 0 for o.
-2
Suppose 0*j + 28 = 4*j + 5*d, 3*d = 2*j + 8. Let c be j/2 + 0/(-1). Solve 5*n - 11 = -c for n.
2
Let z be (10/(-15))/((-8)/60). Suppose -r - z*l - 10 = r, 0 = 2*r - 5*l - 30. Solve r*x - x = 8 for x.
2
Let x be -4 + 2 + (-10)/(-2). Let b(f) = f3 - 2*f2 - 3*f + 4. Let a be b(x). Solve -p - a = p for p.
-2
Suppose 2 = v - 2. Let w be v + 1-2 + 0. Let p be (w - 1-11) + 1. Solve -3*b - p = -5 for b.
-3
Let u be (0 + 2)*(-5)/(-10). Solve 0 = 2*y - y + u for y.
-1
Let h = 5 + -2. Let p be 2/(-6) - (-1)/h. Suppose -3*j = -p*j. Solve 5 = -d - j*d for d.
-5
Let o be (0*(-1)/4)/1. Solve -i + 2*i - 2 = o for i.
2
Let s = -180 + 328. Suppose 10 = -i + l + 38, -5*i + s = 3*l. Solve -4*w = -i + 9 for w.
5