Let q(d) = -d**2 + 15*d - 12. Let k be q(11). Let w = k - 17. Let i = 80 + -45. Solve 4*v + i - w = 0 for v.
-5
Let j = -17 + 17. Solve 3*n = -j*n + 3 for n.
1
Let s(v) = -v3 - 2*v2 + 2*v - 2. Let f be s(-3). Let m be (-2)/(-7) + (-40)/(-7). Suppose 5*q - 6 = 4*y, 2 + m = 3*q + 2*y. Solve 7 - f = -q*g for g.
-3
Suppose -2*q - q + 9 = 0. Suppose c - 5 + q = 0. Suppose -w + 4 - c = 0. Solve -2*y = -3*y + w for y.
2
Let v(t) = -4 + t**2 - 2 + 5*t + 0. Let i be v(-6). Let k = 0 + i. Solve 4*x - 7 + 3 = k for x.
1
Let b = 5 + 6. Let x = b + -9. Solve 0 = -x*y - y - 6 for y.
-2
Let v be 2 - -1 - (1 - 0). Suppose -4 = -6*s + v*s. Solve 5*y = -9 - s for y.
-2
Suppose c = -0*c + 4. Let v = c - -2. Suppose s = -5*z + 5, -z + 1 = v*s - s. Solve -a - z = -2 for a.
1
Suppose 9 = 3*a, 2*v - 3*a + 174 - 637 = 0. Let u be v/20 + 3⁄15. Solve 0*x + 3*x - u = 0 for x.
4
Let b = 2 - -2. Let n(k) = -b - 2 - k + 2. Let g be n(-4). Solve -o = -g*o for o.
0