Let j = -13 - -13. Solve j = 2*a - a for a.
0
Let i(v) be the third derivative of v5⁄60 + v4⁄24 - v3 + 8*v2. Let q be i(-3). Solve q*m = -2*m + 6 for m.
3
Let t(j) = -j2 + 2 - j3 + 0*j2 + 2*j3. Let d = 8 - 8. Let w be t(d). Solve -2*c + w = 4 for c.
-1
Let k = -4 - -5. Suppose i + r - 2*r = -k, -2*i + 5*r = 17. Solve -20 = z + i*z for z.
-4
Let b be (-1 + 1)/3 - 2. Let n be b/(-6) - (-17)/3. Suppose r - 5*t - 7 = 0, 0*r + t = -3*r + 5. Solve r = 2*j + n for j.
-2
Let r(t) = -t3 + 15*t2 + 17*t - 13. Let p be r(16). Solve -p*k + 2*k - 2 = 0 for k.
-2
Let i(g) = 2*g**2 - g. Let h be i(2). Solve 0*r - 3*r + h = 0 for r.
2
Suppose 7 + 11 = 2*z. Solve z*c - 4*c = 10 for c.
2
Let z(d) = d3 - 6*d2 + 2*d + 1. Let s be z(6). Suppose -5*t - 3 = -s. Solve t*x - 6 + 0 = 0 for x.
3
Let i(f) = f2 + 7*f. Let y(b) = 5*b2 - 4*b + 2. Let h be y(2). Let v = h + -21. Let x be i(v). Solve 0 = 4*q - x*q + 16 for q.
-4