Let t(d) = -2*d + 11. Suppose 4*c + 3*o = 8*o + 25, -5*c + 5*o = -30. Let p be t©. Solve 1 + p = -m for m.
-2
Let j be (-3 + (-3 - 0))/2 - -8. Solve 0 = -5*t + j + 20 for t.
5
Let u(v) = -v**2 + 7*v - 6. Suppose -5*k - 1 = -h, 4*k - h + 1 = -0*h. Let r be 7 - k - (-2 + 4). Let i be u®. Solve -i*o - o = 0 for o.
0
Let a = -7 + 11. Suppose 5 + 3 = a*x. Solve t - 4 = -x for t.
2
Let i® = r3 + 2*r2 - 2*r - 1. Let w be i(-2). Solve 0 = -2*x + w*x for x.
0
Let h = 22 + -16. Solve 2*g + 16 = h for g.
-5
Let a = -17 - -17. Solve 6 = 3*z - a for z.
2
Suppose -5*y + 49 = 4*p, 4*p + 5 = y - 0. Solve -1 + y = 4*k for k.
2
Suppose -5*q + 3*a = -15, -3*q = -5*q - 5*a + 6. Suppose -q*t = -t. Solve t = -2*x - x for x.
0
Let z = -18 - -21. Solve 0 = z*r + 2*r - 10 for r.
2