Let a(y) be the first derivative of -y**2⁄2 + 3*y + 3. Let p be a(9). Let i = 6 + p. Solve i = 3*m - m + 2 for m.
-1
Suppose 3*r + 3 = 3*s, -5 = -5*r - 2*s + 11. Let m = 1 + r. Suppose -m*n + 5 + 1 = 0. Solve -7 - n = 3*w for w.
-3
Let s be ((-12)/(-10))/(12⁄40). Solve 0*b = s*b + 12 for b.
-3
Let r be (3⁄2)/(6⁄8). Let y be r*((-4 - -3) + 3). Solve -x = -y*x for x.
0
Suppose -n = 3*n + 4. Let f(z) = z2 + 3*z + 3. Let d(w) = -6*w2 - 17*w - 17. Let x(q) = -6*d(q) - 34*f(q). Let r be x(n). Solve r*c - c = -3 for c.
-3
Suppose -20 = -17*n + 12*n. Solve o = n*o - 3 for o.
1
Let s = -14 + 16. Solve 1 + 3 = -s*i for i.
-2
Let u(o) = -3*o - 6. Let n be u(-6). Let m be (-2)/(-8) - (-21)/n. Suppose -2*a - 10 = -2*d - 0*d, -m*d + 4*a = -10. Solve 6 - 26 = d*x for x.
-4
Suppose -3*i + 2*v - 7*v = -10, 0 = 5*i - 5*v + 10. Suppose 0 = 2*r - i*r - 6. Solve r*c = -c for c.
0
Suppose 4*o = -2*y + 30, -5*y - 75 = -5*o - 0*y. Let k be 16⁄6 + o/(-15). Let s be k/(((-2)/(-6))/1). Solve 0*c + s = 2*c for c.
3