Let z = 15 + -1. Suppose j - z = -j. Solve -j = -2*b + 1 for b.
4
Let q = -16 + 22. Let g(h) = 2*h - 6. Let z be g(q). Suppose -z*t + 4*t = 0. Solve t = -w - 3*w - 4 for w.
-1
Suppose 0 = -15*p + 16*p. Solve -g - 4 = -p*g for g.
-4
Let x(l) = l3 - 3*l2 + l. Let u be x(2). Let n be -5 + (u*1 - -4). Let d = 3 + n. Solve d = 2*r + 2*r - 16 for r.
4
Suppose 5 = 4*l + 1. Solve -l = -c + 1 for c.
2
Suppose -2*u = 4*g - 18, 5*g - 7 - 18 = -3*u. Let c(v) = -3*v**2 + 25*v - 8. Let j be c(8). Solve j*i = g*i - 6 for i.
3
Let w(m) = m3 - 8*m2 + 6*m + 11. Let y be w(7). Let f(j) = 3*j + 5. Let a be f(5). Solve -y*x - a + 0 = 0 for x.
-5
Let s be ((-8)/10)/((-6)/15). Let p = -14 + 16. Solve 0 = o - s*o + p for o.
2
Let v(z) = -z3 + 10*z2 - 5. Let s be v(10). Let f = 7 + s. Let r be ((-1)/2)/(1/(-12)). Solve -f*o = -r*o for o.
0
Suppose -18*v + 17*v = -3. Solve 3*x = -v + 9 for x.
2