Let r = 11 + -7. Let y(s) = -1 + r + 5 + 0 - s. Let z be y(6). Solve z = -0*u - u for u.
-2
Let w(u) = u**2 - 8*u - 6. Let l be w(10). Solve -5*j + 1 = -l for j.
3
Let w be (5 - (0 - -2))*4⁄6. Suppose 2*z = 3z. Let y be (z + -1 + -2)-2. Solve -w*d - 2 = y for d.
-4
Suppose 4*i - 4*t + 3*t = -13, -t = -5. Let m = i - -5. Suppose 0 = s + m*s - 16. Solve 25 = -s*f - f for f.
-5
Let n = 0 - -2. Let c = 33 - 33. Solve o = -c*o + n for o.
2
Let y be (0 + -6)/(2 - 4). Suppose 32 = 2*k + 8. Solve -y*s = s + k for s.
-3
Let j(b) = -b**2 - 9*b - 10. Let x be j(-7). Solve 0 = x*w - 0*w - 16 for w.
4
Let i(n) be the second derivative of n4⁄12 - 2*n3⁄3 - 3*n**2 - n. Suppose -2*s - g = -4*g - 5, 2*g + 22 = 4*s. Let h be i(s). Solve 4*t = -t + h for t.
3
Let g(q) = q. Let w be g(4). Solve 16 = -0*i + w*i for i.
4
Let l = 48 + -33. Suppose -6*y + 3*y = -l. Solve -3*p = 4 + y for p.
-3