Let v(n) = -n3 - 8*n2 + 5*n - 35. Let m be v(-9). Let x be (-52)/(-6) - (-2)/6. Solve -4*f + x - m = 0 for f.
2
Suppose -4*a = -6*a - 8. Let h = a + 10. Solve 3*l = 6*l - h for l.
2
Suppose -5*t + 4 = 2*x - 0, x + 5*t = 2. Suppose 24 = 6*z - x*z. Suppose -4*c + z = 2. Solve -c + 4 = -u for u.
-3
Let f = -42 + 69. Suppose f = 5*y - 18. Solve 4*j - 7 - y = 0 for j.
4
Suppose 2*u = -3*u + 15. Solve -u*s = s for s.
0
Suppose -3*t = -5*t + 6. Solve 13 = -t*c + 1 for c.
-4
Let d(k) = k**2 + 18. Let b be d(0). Suppose -y = -5*o + 8, 0 = -5*o - 3y - y + b. Let f be o/4(1 - -7). Solve f*m + 1 = 3*m for m.
-1
Suppose -5 = -4*y + 3*y. Solve y*m + 12 = m for m.
-3
Let t be (-12)/10*(-50)/15. Let s(d) = -2*d2 + 9 + 0*d + t*d2 - d**2 + 6*d. Let y be s(-6). Solve -4*f + y*f = 5 for f.
1
Let f be (2/(-12)*1)/((-1)/6). Solve 2*q + 3 = -f for q.
-2