Let i(t) = -4*t. Let w(b) = -b. Let m(x) = i(x) - 5*w(x). Let f be m(2). Suppose -9 = -f*j - j. Solve -2 = -5*v + j for v.
1
Suppose 30 = 7*i + 9. Solve -i + 13 = 2*w for w.
5
Let j(i) be the third derivative of -1⁄2*i3 + 1⁄8*i4 + 0*i + 0 - 2*i**2. Let g be j(2). Solve g*a + a - 8 = 0 for a.
2
Let q = -7 + 6. Let y be (20*q)/(-3 - -1). Solve p + 4*p = -y for p.
-2
Let h = 2 + 1. Suppose -t + 176 = 10*t. Solve l + t = -h*l for l.
-4
Let y = 5 - 2. Suppose 5*i - 51 = -3*w, -2*i + 8 = -3*w - 4. Solve -3*j = y - i for j.
2
Suppose b = -3*b. Suppose m - 2 = -b*m. Solve -f + 3 = -m for f.
5
Suppose -25 = 2*m - 5. Let f = m - -14. Solve -f*y - 11 = 1 for y.
-3
Let z(t) = -t**2 - 2*t - 1. Let n be z(-5). Let f = 22 + -31. Let r = f - n. Solve -r = -b - 2 for b.
5
Suppose 0 = -o + 1 + 5. Suppose r = -4 + 7. Solve -o*f = -r*f - 15 for f.
5