Let t(d) = -d3 + 19*d2 + 19*d + 24. Let n be t(20). Let x(o) = -o3 + 7*o2 + o - 7. Let c be x(7). Solve c*j + 8 = -n*j for j.
-2
Suppose 3*x + 0*a - 3*a = 0, -4*a + 15 = x. Solve -o + 10 = -x*o for o.
-5
Let k = 148 + -145. Solve -o = -2*o + k for o.
3
Suppose 0 = -3*o + 2*j + 28, -o + j + 26 = -3*j. Solve 0 = -s - 8 + o for s.
-2
Let h be -6 + (-648)/(-32) + 2/(-8). Solve -6 = 5*a + h for a.
-4
Suppose -2*y + 25 = -y. Let o = -23 + y. Suppose -5*d - 5*z = -65, -23 = -3*d - 4*z + 19. Solve o*r - d = 4*r for r.
-5
Suppose -12 = -7*v + 2. Solve v*d = 3*d - 1 for d.
1
Let f = 59 + -59. Solve f = -2*p - 0*p + 2 for p.
1
Suppose 0 = -4*i - 21 + 49. Solve -2*r - i + 1 = 0 for r.
-3
Suppose -4*h + 2*h = 2*q - 18, -3*h - 3 = -3*q. Let r(d) = -d + 12. Let g(k) = -k**2 + 9*k + 12. Let u be g(9). Let l be r(u). Solve l = -h*s + s for s.
0