Let u(h) be the first derivative of h4⁄4 + 4*h3⁄3 + h**2 + 4*h - 2. Let v be u(-4). Let x = 13 + v. Solve 1 = 2*z + x for z.
-4
Let m = 38 + -35. Solve 0 = i + m*i + 20 for i.
-5
Suppose 4 = -4*w + 24. Solve w*t = t + 16 for t.
4
Let z(l) = -l**2 + 14*l + 5. Let p be z(15). Let g = -10 - p. Solve g*x = -2*x - 10 for x.
-5
Suppose p + 12 = 17. Solve p*x = -0*x - 20 for x.
-4
Suppose 5*f = f + 12. Solve -f*i = 2*i - 5 for i.
1
Let z be (9⁄18)/(2⁄12). Solve -z - 3 = -3*c for c.
2
Suppose -4*b + 11 - 3 = 0. Let x(v) = v2 + 2*v3 - v - 3*v3 + 3*v2 - 4. Let m be x(3). Solve -8 = -m*w + b for w.
5
Suppose -4*p - p + 10 = 0. Solve 2*x - p = -0 for x.
1
Let z be (-1)/9 - (-6 - (-318)/54). Solve -8 = 2*r - z*r for r.
-4