Suppose 4*a + a - 17 = 2*c, 23 = 2*c + 3*a. Suppose c*j + 2 = 5*j. Let l = -1 + j. Solve -i + 4 = l for i.
3
Suppose 13*t - 8*t = 0. Suppose -4*b = 7 - 23. Suppose -2*k + 12 + b = 0. Solve -3*i + k*i - 15 = t for i.
3
Suppose x - 54 = 2*x. Let f be (4⁄6)/((-3)/x). Suppose f = j + 3. Solve 3*g - 3 - j = 0 for g.
4
Let g be (2⁄4)/((-2)/(-12)). Solve -g*t = -10 + 22 for t.
-4
Let v(y) = -y3 + 9*y2 + 2*y - 13. Let i be v(9). Solve 0*r - 15 = -i*r for r.
3
Suppose 0 = -2y + 5 + 7. Let u be -3(-3 + y + -4). Solve u*r = r - 4 for r.
-2
Let f be (1/(-3))/((-3)/63). Let m(p) = -p + 10. Let y be m(f). Suppose 0*g = -y*g. Solve g = -r + 2*r + 1 for r.
-1
Suppose 0*u - 8 = -u + 5*k, 2*u + 5*k - 1 = 0. Solve 0 = -2*c + u + 1 for c.
2
Suppose 5*s = 28 - 3. Let f be (4 + -6)*1/(-2). Let b be (-10)/(f - 5⁄3). Solve -5*m = b + s for m.
-4
Let u(q) = q3 - 22*q2 + 40*q + 10. Let g be u(20). Solve 5*n + g = 3*n for n.
-5