Let r(f) be the second derivative of f5⁄20 - 7*f4⁄12 + f3 + f2 - 2*f. Let c be r(6). Suppose 3*v + 3 = 6*v. Solve 9 = -c*m - v for m.
-5
Suppose 0 = -0*z + 2*z - 2. Solve 0 = 2*u + 1 + z for u.
-1
Suppose -3*n = -3*s - 120, -n + 85 = 2*n + 4*s. Suppose -3*l - 5*z = -0*z - 31, 5*z = -5*l + n. Solve -3*o = -l*o - 5 for o.
5
Suppose 5*p = -2*a + p + 16, 5*a + 5 = 5*p. Solve 3 = -k - a for k.
-5
Let s(u) = u3 - u2 - 4u + 3. Let x be s(2). Let v be (-2 - x)(-2 + 1). Let k(z) = z**2 - 8*z - 4. Let m be k(9). Solve m = -d + v for d.
-4
Let q = 0 + 0. Let p be 2 - (q - -4) - -2. Suppose k - 12 - 8 = p. Solve 5*z = z - k for z.
-5
Let l = -38 + 38. Solve 4*r - 4 - 12 = l for r.
4
Suppose 5*m + 40 = 9*m. Let n(y) = -y + 10. Let c be n(m). Solve -p + c + 1 = 0 for p.
1
Let i = 7 - 1. Solve 4 = i*n - 4*n for n.
2
Let y(v) = 3*v - 13. Let r be y(6). Suppose g + 57 = r*l - l, -g - 5 = 0. Suppose m - 5*d = 23, 5*m + 5*d = d - 1. Solve 0 = -m*a - l + 1 for a.
-4