Suppose 0*s - 2*s + 10 = 0. Solve -5*c - s = -25 for c.
4
Let v be (-103)/(-7) + 2⁄7. Suppose z + 2*y - 6 = 0, 6 = z + y + 3. Suppose z*j = 3*j. Solve j = -0*q - 3*q + v for q.
5
Let h be 2*3/(-6)*9. Let x(m) = m3 + 9*m2 + 3. Let l be x(h). Solve -12 - l = -3*u for u.
5
Let p(q) be the second derivative of -q4⁄12 + q3⁄6 + 5*q**2⁄2 - q. Let n be p(4). Let c = 14 + n. Solve 3*r - c = 2 for r.
3
Let b be 8⁄20 + 3⁄5. Solve -x - b = -0 for x.
-1
Let b(k) be the second derivative of k5⁄20 + 5*k4⁄12 + 5*k3⁄6 + 2*k2 - 2*k. Let g be b(-4). Solve g*y = -y - 4 for y.
-4
Let t = 16 - 1. Suppose -2*s - w = -3, 0 = 5*s - 0*s - 5*w + t. Solve b - 3*b - 6 = s for b.
-3
Let x be 1240⁄2*(-1 - -2). Suppose x = -2*d + 7*d. Suppose t = 5*t - d. Solve t = -5*z + 6 for z.
-5
Let g(x) = x**2 - 3*x + 1. Let k be g(4). Solve k*n - 3*n = 4 for n.
2
Suppose 2*x + 106 - 118 = 0. Solve 3*s + 9 + x = 0 for s.
-5