Let u(s) = s3 + 2*s2 - s - 1. Let r be u(1). Solve g - 1 = r for g.
2
Let g = -3 + 6. Suppose 0 = 3*f - 3*v + 39, 2*f - 3*v + 9 = f. Let j be 0 + 1 - (10 + f). Solve 0 = -g*i + 9 + j for i.
5
Let x(q) = -q**2 - 5*q + 6. Suppose 0 = -t - 1 - 5. Let b be x(t). Solve b = -s - 3 + 6 for s.
3
Suppose 4*p - 7 = 13. Suppose 2*x + p - 31 = 0. Suppose -20 = -5*t + 2*c + 12, 0 = 2*t - c - x. Solve a - t = -a for a.
3
Suppose 3*m + 0 = -9. Let d = 3 - m. Solve d*u = u + 15 for u.
3
Let b be (0/2)/(-2) + 4. Suppose 0 = -b*x + h, 3*x + 5*h = 2*h. Let v = 46 - 26. Solve x = -4*q - q + v for q.
4
Let y = -86 + 86. Solve y = -0*r + r for r.
0
Let d be (-4)/16 + (-1)/(-4). Solve 4*w = -d*w + 20 for w.
5
Let g(z) = -z**2 - 8*z - 1. Let h be g(-7). Let a = -5 + h. Let s be a + ((-2)/(-1) - 1). Solve 3*p = 4*p - s for p.
2
Suppose 6*i - 16 = -2*i. Solve 4*g - i - 18 = 0 for g.
5