Let d© = -c**2 - 10*c - 10. Let k be d(-6). Let t = k - 11. Solve 12 = h + t*h for h.
3
Let i© = 2*c - 3. Let m(a) be the second derivative of a3⁄2 - a2 - 2*a. Let t be m(2). Let g be i(t). Solve g*o - 1 - 9 = 0 for o.
2
Let x be (4 + -1 + 3)*2⁄3. Solve x*i = -3 + 15 for i.
3
Let x be (-64)/(-10) + (-6)/15. Suppose x*h = h + 5. Solve 0 = 4*k - 5 + h for k.
1
Let v(y) = 0*y + 2y + 1 - 4 - y. Let h be v(3). Let k be -1-1*(0 + h). Solve d + k = -1 for d.
-1
Let z be ((-2)/(-1))/(1⁄3). Suppose -2*i = 4*o - z*o + 6, 5*i = -5*o + 55. Solve -o*s = -2*s - 15 for s.
3
Let b = -4 + 13. Let q be 9 - (-3)/(b/(-6)). Solve -2*f - 5 = -q*f for f.
1
Suppose 6*c - 6 = 3*c. Solve 2*n = -0*n + c for n.
1
Suppose -4*n + 31 = 3*u + 4, n - 3 = 0. Suppose 0 = -u*g + 95 - 25. Solve -4*r = g + 2 for r.
-4
Let p = 97 + -27. Let u be p/22 + (-4)/22. Solve i + u - 2 = 0 for i.
-1