Let o(d) = d3 + 7*d2 - d - 2. Let u be o(-7). Solve 0 = -0*g + u*g for g.
0
Suppose 4*v - 9 = -3*y, 4*y + 7 = 2*v + 3*y. Suppose f - 3 = v. Solve f*x - 10 = x for x.
2
Let d = -10 + 11. Let s be d/(-2 + (-10)/(-4)). Solve s*b = 5*b for b.
0
Let x be (23 + -1)*(-11)/(-22). Solve 0 = x*m - 7*m for m.
0
Let x = -11 - -11. Let s(l) = l + 3. Let j be s(x). Solve j*v = -4 - 5 for v.
-3
Suppose -5*x + 20 = -2*j, 5*j + 5 = 2*x - 3. Solve j = 4*l - l + 3 for l.
-1
Suppose 5*j - 10 = 0, -3*y - j + 0*j + 32 = 0. Solve 5*o = y + 15 for o.
5
Let l = -1 - -2. Let j(g) = 3*g**3 - 1. Let a be j(l). Solve -4*q + a*q = -4 for q.
2
Let l = -52 - -53. Solve 4*s = 3*s + l for s.
1
Suppose 2*u + 0*z - 2 = -2*z, 4*u = 2*z + 22. Solve -2*q + 2 = -u for q.
3