Let c = 12 + -7. Suppose -c*d + 18 = -r - 12, 2*d = 4*r + 30. Solve 0*w - d = w for w.
-5
Let b be (0 + 1 + 1)1. Let w be 4(3 - (4 + -2)). Suppose w*o = -o + 10. Solve y + o = -b for y.
-4
Let a(f) = f**2 - 3. Let k be a(7). Suppose 4*j - 2*t = -k, -15 - 29 = 5*j + 2*t. Let b = -6 - j. Solve -x - b = 1 for x.
-5
Suppose 4*y + 9 - 17 = 0. Solve -9 = -y*n - n for n.
3
Let r(g) = -g2 - 14*g + 16. Let f be r(-15). Let j(s) be the second derivative of -s3⁄6 + s**2⁄2 - s. Let h be j(-5). Solve 0 = -5*o - f + h for o.
1
Let n(t) = 2*t. Let s be n(2). Suppose 0 = 3*c - 4*c - 4. Let f = s + c. Solve f*o - 2*o - 8 = 0 for o.
-4
Suppose -w = -0*w - u + 1, -5*w + 4*u - 6 = 0. Let i = 7 + w. Solve -p = -i*p - 20 for p.
-5
Let l = -142 + 152. Solve 5*c + l + 15 = 0 for c.
-5
Suppose x - 4*q + 1 + 6 = 0, 2*x = -2*q + 16. Let o = 27 + -1. Suppose -3*g - s + 10 = 0, x*g - 6*s + 10*s = o. Solve 4*c = 2*c - g for c.
-1
Let c be (-2)/(-8) - (-30)/8. Suppose 3*d - c*y + 3 = -1, 3*d = -5*y + 5. Suppose d = f + 3*f - 16. Solve 5*n - 4*n = f for n.
4