Let k(v) = v3 + 5*v2 + 6*v + 12. Let p be k(-4). Solve p*t - 6 - 6 = 0 for t.
3
Let c be 2/(-7) + 88⁄14. Let i be (-60)/(-16) - 2/(-8). Suppose 5*a - i*t = -2, -a + 5*t = -6*a + 25. Solve a*o = -c + 4 for o.
-1
Suppose 3*a - a = -11*a. Solve a = 3*j + 9 - 0 for j.
-3
Let m be (-8 + 4)*-1 + -1. Solve 0 = 5*i - m - 2 for i.
1
Let d be (-9)/2*6/(-9). Solve d*r - 4 = -1 for r.
1
Let i = -14 - -16. Solve -10 = -0*m - i*m for m.
5
Suppose 11 = 3*n - 4. Suppose -v + 0 = f - n, -3*f = -3*v - 15. Suppose 5*h = -t - 2 - 11, t - h - 17 = v. Solve -5*s + t - 2 = 0 for s.
2
Let v(k) = -k**2 - 9*k + 13. Let l be v(-10). Solve -3*p + 3 = -l for p.
2
Let o = 9 - 12. Let v be (-3 + o)/((-3)/2). Solve 6*a + v = 2*a for a.
-1
Suppose -4*o = -o + 5*k + 23, -4*o - 5*k = 29. Let p(q) = q**2 + 9*q + 8. Let l be p(o). Let x be (-148)/l + 2⁄10. Solve 4*y + y - x = 0 for y.
3