Suppose i = -0*i - 9. Let v = i - -13. Solve 5*t = v*t + 3 for t.
3
Let l(s) = s3 + 2*s2. Suppose 3 = -o + 2*o. Suppose 2*y + 4*r = -y - 18, -o*y + 2*r = 0. Let d be l(y). Solve 0 = -5*k - d + 10 for k.
2
Let j(v) = 4*v - 7. Let m be j(3). Solve 0 = -m*p + 12 + 13 for p.
5
Suppose x + 2*d = 18, 6 - 68 = -3*x + 2*d. Suppose m + j - 16 = -4*m, -4*m + j + x = 0. Let g = -7 - -10. Solve -4 = -g*a + m*a for a.
-4
Let k = -6 + 7. Let d be 3/(k + 2)*-4. Let l = 4 + d. Solve -2*a - 1 - 1 = l for a.
-1
Let q(s) = s3 - 10*s2 + 3. Let d be q(10). Solve d = -5*k + 8 for k.
1
Suppose 0*i = 3*i - 12. Solve c - 25 = -i*c for c.
5
Let n = -10 - -10. Solve 2*s + 0 - 8 = n for s.
4
Suppose 0*j = -2j. Let y be (j - 2)(-1)/(-2). Let i be 2*(2 - (1 + y)). Solve -i*g + 25 = g for g.
5
Let s(t) = 3*t**2 + 2*t - 1. Let b = 6 + -4. Suppose q + 1 = b*q. Let n be s(q). Solve -l + n*l = -15 for l.
-5