Let d(z) = -4*z2 + 3*z3 - z**3 - z - z + 3. Let g be d(3). Suppose 2*l - g = -3*l. Solve -r = -l - 2 for r.
5
Suppose 0 = 4*v + 16, 6*t - 5*t - 21 = 4*v. Solve t*p = 42 - 17 for p.
5
Suppose 2*b = -b - 9, -2*b = 3*d + 6. Suppose 2*k - 4*k - 12 = d. Let q be (-30)/k*16⁄10. Solve u + q = -u for u.
-4
Let p = 11 - 8. Let c(z) = -3*z + 3. Let g be c(-2). Solve -6*m = -p*m - g for m.
3
Suppose 2*t + 5*k = -0*t - 12, -k - 2 = 0. Let c(f) = 18*f**2 + 2*f + 1. Let h be c(t). Suppose 3*u - h = 2*m, -u + 5 = 2*u + m. Solve u*o - 6*o + 15 = 0 for o.
5
Let y(t) = -t**2 + t + 2. Suppose 2*g = -3 + 9. Let v = 3 - g. Let f be y(v). Solve -1 = 3*w - f*w for w.
-1
Suppose -6 = v - 3*v. Let a be 6/((-1*3)/(-3)). Let s be v/(-2 + 14/a). Solve 0 = -2*h - 1 + s for h.
4
Let g = -2 - -6. Solve -p = p - g for p.
2
Suppose 0 = -5*v + 5*f + 40, -2*f = -v - 4*v + 46. Suppose v*d = 5*d. Suppose d = -q - q. Solve 3 = -3*n - q for n.
-1
Suppose -3*a - 97 = -112. Solve 4*y + a = -15 for y.
-5