Let z(v) = -v3 - 12*v2 + 14*v + 13. Let r be z(-13). Solve w = 1 - r for w.
1
Suppose 8*q - 11*q + 9 = 0. Solve s + 2 = q*s for s.
1
Suppose -t = -4*o - 18, -3 = -3*t - o + 25. Suppose 5 + 10 = 3*r. Suppose 25 = r*u - t. Solve -u + 2 = q for q.
-5
Let k(t) = t3 + 7*t2 + t + 7. Let g be k(-7). Solve g = -0*s + 4*s - 4 for s.
1
Let c be 10*3⁄6 + -3. Let y(p) = 5 - 3*p - p**c - p + 3*p. Let k be y(0). Solve -4 = -3*v + k for v.
3
Let v be 6*2⁄4 + -3. Suppose 3*b + v*b - 9 = 0. Solve 0*z = -b*z + 6 for z.
2
Suppose 0 = 16*a + 10 - 42. Solve 7*d = a*d - 25 for d.
-5
Suppose q = 3*q + 18. Let z = -2 - q. Suppose -5*t = -82 + z. Solve -t + 0 = 5*w for w.
-3
Suppose -5*v = -10*v. Suppose v = -3*r - 2*j + 3*j + 9, -5*r + 5 = -5*j. Suppose -5 = -r*m + 31. Solve 0 = -4*k - 29 + m for k.
-5
Let b be (-21)/9 - 2⁄3. Let i be b1(-16)/3. Solve n = 5*n + i for n.
-4