Let w be 2*-1 + (2 - -2). Solve 0 = w*c + c for c.
0
Let n = 46 + -27. Let s = n + -14. Solve s*j = -0*j for j.
0
Let t(x) = -x**2 + 6*x + 4. Let j be t(5). Solve 2*o + 3 = j for o.
3
Let z be -1 + 2 + (2 - 0). Suppose 2*g + 60 = 6*g. Suppose -z*t + 5*i + 21 = 2, -3*i = -3*t + g. Solve -t*d + 8 + 1 = 0 for d.
3
Suppose 2*c - 3 - 1 = 0. Let v(w) be the first derivative of w**2⁄2 + 4*w - 2. Let s be v(0). Solve -s*d + c*d - 10 = 0 for d.
-5
Let s be (1 - 14/(-4))*22⁄33. Solve -2*p - s = 7 for p.
-5
Let t = 4 + 0. Let s be (-2)/(-3) - (-46)/3. Let c = s - t. Solve c = 3*w + w for w.
3
Suppose 3*o - 12 = 0, 2*a = 2*o - 0*o - 4. Suppose -2*z = y - a, -5*y = 3*z - y + 7. Solve -z*f = -f for f.
0
Suppose -5*m = 2*d - 3, -m + 6*m = 3*d - 17. Let g(b) = -2*b - 16. Let x be g(-11). Solve -5*v - d - x = 0 for v.
-2
Let d(n) = n3 + 6*n2 + 2*n + 18. Let b be d(-6). Solve -b*j + 10 = -4*j for j.
5