Let t(m) = -m**2 + 13*m - 8. Let l be t(12). Solve 0 = 3*z - z - l for z.
2
Let m be (1 - -5)*(-2)/(-3). Suppose -4*p - 2*a + 2 + 6 = 0, 0 = m*a. Suppose -p*r = 4*q - 6, 0 = -3*q + 8*q - r + 3. Solve q*o = 4*o - 20 for o.
5
Suppose 0 = -d - q, d + 5 = 4*q + 30. Suppose 5*f + 6 - 21 = 0. Suppose -t + 3 = -5*l, 3 = f*l - 0*l + t. Solve l*n = -d*n - 5 for n.
-1
Let r = -4 - -7. Let m = 6 - r. Solve -m*x + 7*x = -20 for x.
-5
Let x(l) = -l + 20. Let a be x(9). Solve 0 = -4*i + 1 + a for i.
3
Let f = 10 + -5. Suppose -f*o + 6 = -3*o. Solve 0*n = -n - o for n.
-3
Let r(s) be the third derivative of -s6⁄120 + 2*s5⁄15 + 11*s4⁄24 - 5*s3⁄3 + s**2. Let g be r(9). Let m be 2 - (2 - (2 + 0)). Solve -6*q + m*q = g for q.
-2
Let b = -9 + 5. Let t = b - -12. Suppose 4*o + 4 = 5*o - g, 0 = -3*o + 2*g + t. Solve -4*c + 0*c = o for c.
0
Let o be 12⁄18*6⁄4. Let r = o + 1. Suppose -2*p + 8 = -2*t, 0 = -3*p + 4*t - r*t + 12. Solve p*n = -32 + 12 for n.
-5
Suppose 0 = 5*y - 11 - 9. Let r be (-2)/7 - 352/(-56). Let o = r - 6. Solve o = x - y - 1 for x.
5