Let c = 0 - -9. Solve 3*j - c = -6 for j.
1
Suppose -5*d = -17 - 8. Let g = -2 + d. Solve 0 = t - g*t - 6 for t.
-3
Let d be (-5 + 9 - 4)/(-1). Solve d = z - 1 + 4 for z.
-3
Suppose -4*x = -41 + 21. Solve 0*g = x*g + 5 for g.
-1
Let r be ((-10)/20)/((-2)/16). Solve -2*k = -r - 0 for k.
2
Let s be 3⁄4 + 36⁄16. Suppose 3 = j - 1. Let u be (j - 3)/(1⁄15). Solve -s*q - 2*q = -u for q.
3
Let i(s) = s3 + s2 - s + 2. Let u be i(2). Let a = 15 - u. Solve j - a = -0 for j.
3
Let t(i) = 2*i**2 - 3*i. Let o be t(2). Suppose -3*v = -3 + 6. Let p = 1 + v. Solve -2*m - o*m = p for m.
0
Suppose 3*o - 7*x - 32 = -3*x, -5*x - 18 = -o. Suppose -44 = -4*l + 5*p - 18, -2*p - o = -l. Solve -l*g = -4 - 12 for g.
4
Let q be 1 - 3 - 1*-4. Suppose 0 = -v - 2*f + 10, q*f = -v + 3*f - 2. Suppose 0 = v*d - 5 - 3. Solve c + d*c + 10 = 0 for c.
-2