Let o = 20 + -15. Solve 0 = o*v - v for v.
0
Let m = 16 - 11. Let f(x) = x**2 - 5*x - 11. Let j be f(7). Solve 0 = m*v - j*v + 10 for v.
-5
Suppose -6*b - 5 = -17. Solve -b + 0 = -d for d.
2
Let c = 4 - 1. Suppose c*z = -z. Solve -5*q - 20 = -z for q.
-4
Let k(m) = -m3 + 4*m2 + m + 1. Suppose 3*f = 1 + 11. Let b be k(f). Solve 0 = -5*w - b for w.
-1
Suppose -4*c + 5 = -3*r, 3*c - 3 = -4*r + 7. Solve -5*a - 3 - c = 0 for a.
-1
Let k be -1 + 14 + 1 + -1. Let d(z) be the first derivative of -z4⁄4 + 4*z3 + 6*z**2 + 16*z - 12. Let x be d(k). Solve x*i - 8*i - 15 = 0 for i.
-3
Let h be 0*1⁄2*2. Suppose h*j - 2*j + 160 = 0. Let b = j - 57. Solve -4*f - 3 = -b for f.
5
Let y = -2 - -2. Solve 0*c - 3*c - 12 = y for c.
-4
Let m(a) be the third derivative of -a4⁄24 - a3⁄2 + a**2. Let o be m(-6). Solve -c - 16 = o*c for c.
-4