Let x© = -c**2 + 12*c + 8. Let f be x(12). Solve -3*a + 7*a + f = 0 for a.
-2
Suppose 0*l + l = 25. Solve -3*u - l = 2*u for u.
-5
Suppose 7*x - 5*x = 30. Solve j - x = 6*j for j.
-3
Suppose -1 + 3 = 2a. Let n be (-2 + (-6)/4)-2. Solve a - n = 2*t for t.
-3
Let k = 6 + 3. Let i be k/(1 - (-2 + 2)). Suppose 2*j - i = -j. Solve -1 = -j*h - 4 for h.
-1
Suppose -4 = -g + t - 2, -5*t - 10 = 3*g. Suppose g = -j + 5*j. Solve j*y + 2 = y for y.
2
Let h = -1 - -2. Suppose 2 = z - h. Solve 0*g = -z*g for g.
0
Let r be (-4 - -3) + (-3 - -4). Solve t + 4*t - 20 = r for t.
4
Let k(p) = p**2 + 6*p + 6. Let w be k(-6). Suppose -2*h = -5*s + 11, 0 = h - 0*h + 4*s - 14. Solve w = -f - h*f for f.
-2
Suppose -2*u + 5 = -2*q - 5, -4*u + q + 11 = 0. Suppose -4*j + 6 = -2*b, -3*j + u*b + 5 = -2. Let w be 17 + 3 - (-1 - j). Solve w = -y - 4*y for y.
-4