Let d = -25 - -40. Suppose -3*t + d = 3*z, 0 = 2*z - 5*t + 6 + 12. Suppose -2*q = -6, 3*s + 10 = 4*s + 3*q. Solve -p - z = s for p.
-2
Let i(s) = 5*s**2 + 1. Let x be i(-1). Let p be 3 - (4 - (-3 + x)). Solve -3*q = p*q + 20 for q.
-4
Let d = -74 - -77. Solve d*p - 4 = -1 for p.
1
Suppose 5*t - 37 - 78 = 0. Solve 8 - t = 3*z for z.
-5
Suppose -3*d = q + 5, 3 = -5*d + 4*q + 23. Suppose -1 = -p + 1. Solve -i = -d*i + p for i.
-2
Suppose -4*m - 1 + 3 = -2*i, -m - 3*i - 3 = 0. Solve -w - 2 + 7 = m for w.
5
Suppose -5*x - 12 - 14 = -3*i, 4 = -4*i - 3*x. Solve i*d = d + 4 for d.
4
Let a(g) = g3 + 5*g2 + 2. Let h = -18 - -13. Let u be a(h). Solve -u*d = -5*d for d.
0
Let a(h) = h3 + 3*h2 + 4. Let p be a(-3). Suppose p*w - 3*w = 2. Solve -4 = w*g - g for g.
-4
Suppose -6*f + 7 = f. Solve -3 + f = -o for o.
2