Let q(m) be the first derivative of m4⁄4 - m3⁄3 + m**2⁄2 + 2*m - 1. Let d be q(0). Solve 0 = o + 3 - d for o.
-1
Suppose -6 = r - 25. Suppose 4*i = r - 7. Let o be (0 + 1)/(1⁄2). Solve -k + o = -i*k for k.
-1
Let n = -2 - -3. Let c be 2/(-1 - n)*0. Suppose c = -4*b - 1 + 5. Solve b + 7 = -2*s for s.
-4
Suppose -2*m - 5 = -7*m. Suppose m - 4 = -u. Suppose -u*k + 4 = -4*v, -4*v + 2 + 6 = 0. Solve k*z = -0*z - 4 for z.
-1
Suppose 3x - 4 - 11 = 0. Let g be 0(1 + -2)*1. Suppose -4*i + 17 - 5 = g. Solve -2*w = i*w - x for w.
1
Suppose 5*t + 39 = 4*r, 4*t + 33 = 4*r + 1. Let q(y) = -y**2 - 7*y - 3. Let m be q(t). Let f be (-1)/m + (-5)/(-3). Solve -12 = -f*c - 4 for c.
4
Let w be 1 + (-6)/3 + 1. Let t be w - (2 + -3 + 1). Solve 0*r + r - 2 = t for r.
2
Let j = 97 + -93. Solve -x = j*x for x.
0
Suppose 29*t - 27*t - 4 = 0. Solve -2*s = -t - 8 for s.
5
Suppose -o + 4*o = 9. Suppose 2*n = 5*q + 4, 3*n - 5*q - 17 = -3*q. Solve 2*z = o + n for z.
5