Let d = -8 + 11. Let u(k) = k**2 - 7*k - 7. Let h be u(8). Solve h = m - d for m.
4
Suppose 83*r = 88*r. Solve r*j - 2*j = -6 for j.
3
Suppose -l + 2*l = 3*a, 0 = -2*a + 5*l. Suppose -2*x = -5*x - 4*n + 6, 0 = n. Solve a = -s - x*s + 9 for s.
3
Let s be (-2)/6 + (-28)/(-12). Let q be (s - 3)/((-6)/36). Solve 0 = y - q*y for y.
0
Let p = -27 - -7. Let m = 22 + p. Solve -2*v = m + 2 for v.
-2
Suppose -m + 1 = -2. Let z = m + 3. Solve 0*y - z = -3*y for y.
2
Let n = -13 + 25. Solve -n = -2*w + 6*w for w.
-3
Suppose 4 = a + 3. Let n be (-2)/((-1)/a) + 2. Let y be -10*(4 - (-9)/(-2)). Solve y*v - 11 = n for v.
3
Let i(d) = -d**2 - d + 3. Let m be i(0). Suppose m*l = 2*l. Solve -2*v - 1 - 3 = l for v.
-2
Let p = -25 - -29. Solve -2*q = -q + p for q.
-4