Let v(k) = -k3 - 4*k2 - 3*k + 7. Let n be v(-4). Solve 0 = 5*t + n + 1 for t.
-4
Let l be 2⁄9 + (-160)/(-9). Suppose 3*s - 4*s + l = 0. Solve -4*p + 2 = s for p.
-4
Let l = -9 + 12. Suppose -k + 8 = l*k. Solve -k*b + 25 = 3*b for b.
5
Let i = -38 + 26. Let m be 1/((-2)/i*2). Solve -7 = -5*o + m for o.
2
Suppose 3*w + w - 16 = 0. Suppose 0 = -0*h - h + 9*h. Solve -16 = -h*a + w*a for a.
-4
Let u(s) = -s3 + 2*s2 + 5*s - 3. Suppose v = 2*y + 27, v + 2*v = -2*y - 31. Let l be (-6)/12 - y/4. Let o be u(l). Solve 1 = p - o for p.
4
Suppose -z = -3, -z + 0 = j - 5. Solve 3 + j = i for i.
5
Let v(a) = -a3 - 6*a2 + 7*a + 4. Let c be v(-7). Suppose 0*u = -2*u + c. Suppose z - 1 = u. Solve 4 = -b + z for b.
-1
Let f be -9*((-8)/3)/(-4). Let i(m) = -m - 4. Let g be i(f). Solve 14 = -4*s - g for s.
-4
Let o = 8 - 8. Let v = 4 + o. Suppose -v = u - 6. Solve f + 3 = u for f.
-1