Suppose 4 = 4*c - 8. Solve 0*f - c*f = -9 for f.
3
Let q be ((-3)/1 - 1)/2. Let a be 8⁄14*(-7)/q. Solve -a*k + k = 1 for k.
-1
Suppose d = -3*d. Solve -3*n + 15 = -d for n.
5
Suppose 0 = 4*b - 2*b - 4. Suppose 3*d - 2*a = b - 6, a = 5*d - 5. Let s be 3/(-18)d-3. Solve 7 + s = 4*l for l.
2
Let s(o) = -3*o - 1. Let a be s(6). Let i = 31 + a. Suppose -8 = 3*m + 4, 2*m + i = u. Solve u*v - 11 - 5 = 0 for v.
4
Let p = -13 - -17. Suppose -8 = -3*n + p. Solve -n*s + 9 = -s for s.
3
Let h = 13 - 8. Suppose 3*u + 8 = 4*u + 2*a, -a - 7 = -h*u. Solve 0 = -b - u*b + 3 for b.
1
Let t be (7⁄3)/((-2)/(-6)). Let a be (t - 2)*(5 + -4). Solve 0 = -a*g + 2*g + 6 for g.
2
Let l(y) = 1 + 0*y - 4*y + y - 5. Let k be l(-3). Suppose -k*t + 8 = -t. Solve 0 = v - 1 + t for v.
-1
Suppose 8 = -5*v - 12. Let u(s) = s**2 + 3*s + 1. Let h be u(v). Suppose 3 = -n - h*z + 9, -z + 3 = 2*n. Solve 0 = -2*x - 1 - n for x.
-1