Let s = 11 + -10. Solve 3*t - 4 = -s for t.
1
Suppose 3*q + 8 = 4*q. Let v(x) = -x**2 - 5*x + 8. Let r be v(-6). Suppose 11 = 3*m + r. Solve m*d - q = d for d.
4
Let q(t) = t - 3. Let n be q(-7). Let o = -7 - n. Solve 2*g = -o - 3 for g.
-3
Let c(t) be the third derivative of t6⁄120 - 7*t5⁄30 + t4⁄2 + 5*t3⁄2 - 4*t**2. Let j be c(13). Let h = 10 - j. Solve -i = i - h for i.
4
Let r be -1 + 1 + 1 + 14. Suppose -4*x - x + r = 0. Solve 18 - x = -5*n for n.
-3
Suppose 19*r - 23*r = 0. Solve -3*d - 3 + r = 0 for d.
-1
Let f = 2 + 0. Let z = -3 - 3. Let p = -3 - z. Solve p*k = f*k - 5 for k.
-5
Let q = -7 + 10. Solve w - q*w = 10 for w.
-5
Let i(m) = 4*m - 2. Let s be i(2). Solve 5*t + s = -9 for t.
-3
Let b = 9 + -7. Suppose b*u = u. Solve u*h + 12 = 3*h for h.
4