Suppose 3*t = 3*n, 5*n = t + 3*t + 5. Let s = n - 3. Solve s + 10 = 3*l for l.
4
Suppose 5*b = x - 24, 0*x + 3*x + b = 24. Suppose -5*w + x*w = 32. Solve -20 = -3*q + w*q for q.
-4
Let h(u) be the second derivative of u4⁄12 - u3⁄2 - 5*u**2⁄2 + u. Let k be h(5). Solve 0 = k*y + 6 + 4 for y.
-2
Suppose -11 + 2 = -3*p. Let z(k) = -2 + k3 + k - 2*k + 2 - k2. Let n be z(0). Solve p*c + n = 12 for c.
4
Let p(l) = l + 6. Let q be p(-4). Let u(i) = i + 6. Let x be u(-4). Let s = q - x. Solve s = 3*d - 10 - 5 for d.
5
Let k be 4/(-14) + (-60)/(-14). Suppose 0 = 7*b - k*b. Solve b = 6*u - 3*u + 12 for u.
-4
Suppose 2*w - 3 = w. Let k be w/9 + 5⁄3. Solve -m - m - k = 0 for m.
-1
Let v = -5 + 8. Suppose 12 - 33 = -3*x. Suppose -9 = -v*s, -t - x*s = -2*s - 24. Solve 0 = -4*k + t + 3 for k.
3
Let c = -9 - -11. Suppose -c = -d - 1. Solve -d = 3*r - 4 for r.
1
Let i(f) = 18*f + 2. Let s be i(1). Solve -s = -3*r - 2*r for r.
4