Suppose 3*m - 18 = -3*h, 2*h + 0*m - 8 = 2*m. Solve a = h - 1 for a.
4
Suppose 2*x + 0*x = h - 3, -h = -x - 3. Let j = 5 + x. Suppose j = 3*a - 7. Solve 3 - a = p for p.
-1
Let g(l) = -l3 + 6*l2 + l. Let t be g(6). Suppose 3*v = -v + 16. Suppose t*j = v*j. Solve 3*k - k - 4 = j for k.
2
Suppose 5*l = 1 + 4. Let d = 0 + l. Solve 4*n + d = -11 for n.
-3
Let j(w) = w**2 + 9*w - 8. Let o be j(-9). Let d = o + 11. Suppose 5*i = -0*i + 10. Solve i*a + d = -a for a.
-1
Let d = 22 - 2. Let u be (0 - 2)*19/(-2). Suppose c = -3*g + u, -3 = -3*g + c + 8. Solve 0*r = g*r + d for r.
-4
Let u(s) = s + 12. Let o be u(-8). Let q = 8 + -6. Let r be (2 - (3 - q)) + -1. Solve r = o*p - p + 3 for p.
-1
Let i = -54 - -57. Solve 2*p - 10 = -i*p for p.
2
Let s(u) = -u**2 + u. Let c be s(0). Solve 0 = -5*y - c*y + 25 for y.
5
Let j = 1 + 2. Suppose 2*o + 11 = j*o. Suppose -2*l = 19 - 21. Solve -4*m = l + o for m.
-3