Let x(y) = y - 7. Let j be x(11). Solve 0 = h + j + 1 for h.
-5
Let k(a) be the first derivative of a4⁄4 - 7*a3⁄3 - 9*a**2⁄2 + 10*a + 1. Let t be k(8). Suppose -4*c + 10 - 6 = 0. Solve 0 = t*i + 1 + c for i.
-1
Let n be 33⁄6 - 2/(-4). Let k(t) = -t**2 + 6*t. Let h be k(n). Suppose 2 = -o - 2*z, -o + 2*z + h = -6. Solve -v - 1 = -o*v for v.
1
Let s be (8 - 8) + 3 + -1. Suppose 0 = -4*m - 2*q - 4, s*q = 4*m - 4 - 0. Solve 0 = -i - m + 3 for i.
3
Suppose 0*z = 2*z. Suppose -2*v = -3*w + 8, w + z*v = -2*v - 8. Suppose l + l + 3*x = 0, w = -3*l - x. Solve -5*y + 26 - 6 = l for y.
4
Suppose 3 = 13*s - 23. Solve 5*o - s = 3*o for o.
1
Let u be 3 - 0*1/(-4). Solve -u = -3*x + 4*x for x.
-3
Let o be (-13 - -8)*(2 - 1). Let f(y) = y**2 + 3*y - 6. Let t be f(o). Let r = -7 - -12. Solve r*m = t*m for m.
0
Let w(h) be the first derivative of 3*h4⁄4 + h3⁄3 - h**2⁄2 + h - 1. Let y be w(1). Suppose -c + 1 = -y. Solve c*m + 16 = -4 for m.
-4
Let u(p) = -p + 5. Let w be u(4). Let q = w + 1. Suppose -q*j + 1 = -j. Solve 0 = -5*a - j - 14 for a.
-3