Suppose 3*g - p - 13 = 0, -3*g + 3 = 3p + 6. Let l be 2/(-3)(-7 - -10). Let q be (l/4)/(5/(-40)). Solve 17 = q*i - g for i.
5
Let j(z) = -z3 - 9*z2 - 9*z - 6. Let r be j(-8). Let h = -2 + 3. Solve -h = -r*p + p for p.
1
Suppose -3*h = -4*p - 6 - 3, p - 3*h = 0. Let c be p/12 - 2/(-8). Solve -5*t = -c*t + 20 for t.
-4
Let m = 42 + -33. Solve 3*x + 0*x - m = 0 for x.
3
Suppose 4*p + 8 = 16. Solve -p*g = -g - 3 for g.
3
Let g be 1*(-3 + (0 - -3)) + 0. Suppose 6*v - 3*v - 3 = 0. Solve -i + g = -v for i.
1
Suppose 5*h - 3 = -k, 5*h = 2*k - k + 7. Solve -z = -0*z - h for z.
1
Let o(d) = 2*d**2 - 2*d + 3. Let q be o(2). Solve -2*p - q = -17 for p.
5
Suppose -2*y - 80 = 3*y. Let c = y + 19. Suppose -2*m - 10 = -3*l, -3*l = -5*m - 1 - 6. Solve r = m + c for r.
4
Let k(a) = a**2 + 7*a + 6. Let y be k(-5). Let n = 1 - y. Let g = 11 - n. Solve 3*d + 3 - g = 0 for d.
1