Suppose 0 = -79*f + 82*f - 12. Solve 0 = -f*a + 15 + 1 for a.
4
Let u(n) = -3*n + 1. Suppose -5 = 2*q - 3*v, -3 = -5*v + 2. Let p be u(q). Suppose 8 = p*y - 0. Solve 0 = i + y + 2 for i.
-4
Let k be (6/(-45)*-3)/(4⁄40). Solve 0 = t + 3*t + k for t.
-1
Let u = 19 + -4. Suppose -4*r - 51 = -w, -3*w = -r - 4*r - 139. Suppose -2*v - u = -w. Solve -4*z - v = 6 for z.
-5
Let s(b) be the second derivative of b**3⁄3 + 3*b. Let k be s(1). Solve -k*i - 2*i = 12 for i.
-3
Let r(t) = -2*t + 11. Let n be r(5). Solve 3*l + 11 + n = 0 for l.
-4
Let r(b) = -b**2 - 7*b - 5. Let d be r(-5). Let s = d - -1. Suppose -3*c = -9 - s. Solve -a = -c*a for a.
0
Suppose 0 = 4*o - 8*o + 8. Solve -o*v = v - 15 for v.
5
Let m be 0/((-1)/(-1)) - -3. Let j be 4/m + (-6)/(-9). Solve -a = -j*a + 5 for a.
5
Let j(n) = -n3 + 8*n2 - n + 11. Let m be j(8). Let b = 5 - m. Suppose 2*v + 0*v - 2 = 0. Solve v = -3*r + b*r for r.
-1