Let n = -8 - -11. Suppose 17 = 2*h + n. Solve -h*b + 4 = -3*b for b.
1
Let q(b) = 2*b + 4. Let d be q(-4). Let y be 14⁄7 - 1*d. Let o = -4 - -9. Solve -o*x - 19 = y for x.
-5
Let j(a) = a - 2. Suppose d - 5*n = 20, 1 - 30 = -4*d + 3*n. Let v be j(d). Solve 0 = -r + v - 0 for r.
3
Suppose -2*i - 6*d - 22 = -d, -3*i - 5*d = 33. Let t = -8 - i. Solve 0 - t = c for c.
-3
Let w(i) = 7*i**2 + 4*i + 3. Let x be w(-2). Suppose t + 3*h = -0*t, 3*t = -5*h + 12. Suppose 0 = -3*a + t, -x = -3*k - 3*a + 1. Solve -3*s = 2*s + k for s.
-1
Let n be 24⁄4*(-4)/(-6). Let s = -1 + n. Solve v - s = -0 for v.
3
Let q = 11 + -9. Suppose 0 = -q*g - 2*g. Suppose 0 = 4*s + 3 - 11. Solve g*y + s = -y for y.
-2
Let z = 7 + -7. Suppose z*k + 2*a = 2*k - 16, -20 = 4*a. Solve 0 = -g - k*g - 16 for g.
-4
Let r(q) = 2 + 7*q - q + q3 - 10*q2 - 8 + 4*q. Let y be r(9). Solve -y*v + v = -4 for v.
2
Let y(k) = -k**2 - 12*k - 11. Let g be y(-11). Solve -3*a + 0*a = g for a.
0