Let f(n) = n2 - 6*n - 5. Let v® = r2 - 7*r - 6. Let d(k) = -6*f(k) + 5*v(k). Let p be d(2). Let o = 4 + p. Solve o*y = 1 + 7 for y.
4
Let t(n) = -n**2 + 11*n - 25. Let a be t(7). Solve -a*k + 3 = -4*k for k.
-3
Suppose 3*l + 0*l = 36. Solve 0*u - l = -4*u for u.
Let m be 1*0/((-5)/1). Solve 2*f = -m*f - 6 for f.
-3
Let w(m) = m**2 - 4*m. Let t be w(3). Let h be t/(-12) - (-76)/16. Solve h*s = -2 + 7 for s.
1
Let w(y) = y**2 - 8*y + 9. Suppose -f = 4*p + 13, 5*p = f + 3*f - 53. Let u be w(f). Solve d = -u*d - 15 for d.
-5
Suppose f = 7*f - 150. Solve -2*q + 7*q = -f for q.
-5
Suppose -4 - 76 = -8*c. Solve -4*p - c - 2 = 0 for p.
-3
Suppose 3*m = 2*c - m - 42, -5*c - 3*m + 40 = 0. Suppose -5*l + c = 1. Suppose 0 = l*o + 2*o. Solve o*x - 3*x + 6 = 0 for x.
2
Let k(d) = -3*d - 3. Let r be k(-1). Let f be ((3 + -2)*0)/2. Suppose -4*o = -f*o - 12. Solve 0 = o*a - r + 9 for a.
-3