Let g(j) = 0*j3 + 3*j2 + 1 + j3 + 3 - j2 - 2*j. Let i be g(-3). Suppose 4*v - 7 - 9 = 0. Solve 7 = -v*r - i for r.
-2
Let o(k) = k3 - 5*k2 + 4*k - 16. Let q be o(5). Let d = -1 - -1. Suppose -2*b - b = d. Solve b = -3*w - q + 16 for w.
4
Suppose 11*c = 16*c - 5. Solve c + 3 = -2*v for v.
-2
Suppose h - 26 = 3*g, -2*h + 2*g = -g - 46. Solve -p - h = -6*p for p.
4
Suppose 0 = 2*l - 4*y - 20, 6*l + 2*y - 38 = 3*l. Solve 0 = 5*u + l + 8 for u.
-4
Let p = -5 - -5. Let y be p/(3 - 3⁄3). Suppose y = m - 6 + 3. Solve 2*q = q - m for q.
-3
Let t be (-1 + 0)*(9 + -12). Solve -t = -3*n + 3 for n.
2
Let z(g) = -g**3 + 2*g + 1. Let f be z(-2). Suppose 0 = -f*t + 2*t. Suppose 5*a = 1 + 9. Solve -h + a + 3 = t for h.
5
Let y = -2 - -6. Let o be -62*(2 + 10/(-4)). Suppose q - 5*q + 2*j + 26 = 0, -o = -2*q - 5*j. Solve -q = -0*s + y*s for s.
-2
Let z(s) = -s**2 + 6s + 10. Let t be z(7). Let c be (2 - t - 0)-17. Solve -4*y + 3 + c = 0 for y.
5