Suppose 2*x = -1 + 7. Solve 0 = x*o - 0 - 3 for o.
1
Let g = -20 + 29. Suppose 0 = -3*z - 3*o - 3 - g, z + 2*o + 8 = 0. Suppose z = -2*l + 3*l. Solve -4*c + 4 = -l*c for c.
1
Suppose 7*v = 2*v. Solve v = -3*m + 5*m + 8 for m.
-4
Let t be 4*(-5)/(-60)*0. Suppose -j + 16 = -5*j, 2*u = 2*j + 16. Suppose -2*m - u = -4*m. Solve t*h - m = h for h.
-2
Let c = -10 + 12. Suppose -2*x + 8 - c = -3*f, 3*x = -4*f + 43. Solve -5*m + 2*m = x for m.
-3
Let v(s) = -2*s**2 - 6*s - 3. Let l be v(-4). Let y be l/(-4) + 1⁄4. Solve -r - 1 = -y for r.
2
Let r(z) = -z3 + 6*z2 + z - 6. Let v be r(6). Let b = v + -1. Let f be b*2/(-1)*2. Solve -f*i + 8*i = 0 for i.
0
Let a(s) = -3*s - 4. Let r(d) = -5*d - 6. Let l(b) = 8*a(b) - 5*r(b). Let f be l(8). Let v be 2⁄2 + 3 - 1. Solve f = -u + v*u for u.
3
Let o(i) = i**2 - 5*i - 4. Let q be o(6). Solve -3*n + 5 = q for n.
1
Suppose -9 = 7*r - 79. Solve -10 - r = -5*c for c.
4