Suppose 8*u = 2*u + 12. Solve 5*z - 3 = u for z.
1
Suppose 0 = f - 2. Let x = f + 1. Solve -x*k = -2*k + 2 for k.
-2
Let j(a) = -a + 1. Let h be j(-3). Suppose -k = k - h. Solve 7 = -3*l - k for l.
-3
Let b = -9 + 9. Solve b + 2 = -d for d.
-2
Let z = -13 + 19. Solve 1 - z = 5*j for j.
-1
Suppose 0 = -6*b + 2*b + 12. Suppose 0 = -c - b*c. Solve 0 = d - c*d - 2 for d.
2
Let s(b) = 4*b. Let v be s(-12). Let u be (-6)/21 + v/(-21). Solve -u*t + 7*t + 5 = 0 for t.
-1
Let k(l) = l3 + 3*l2 - 2*l - 1. Let x(o) = 2*o + 1. Let m be x(-2). Let f be k(m). Let j = -4 - -20. Solve f*i + j = i for i.
-4
Suppose -2*h - 3 = 3*x, -2*h = -3*h - x. Solve -h*r = -0*r + 12 for r.
-4
Let f be 2*-1 - -2 - -5. Suppose -f = -3*s + 1. Solve -b + s*b + 5 = 0 for b.
-5