Suppose 2*t + 12 = 2*v, -6*t = 5*v - t - 70. Suppose -7*b = -3*b. Let y = 12 + -6. Solve g - y*g + v = b for g.
2
Let b be ((-80)/(-30))/(2⁄3). Solve b - 3 = g for g.
1
Suppose 0 = 2*w + 4*r - 12, 2*w - 5*w = -2*r - 2. Let o(z) = -z**2 - z - 3. Let c be o(-3). Let l = -6 - c. Solve -p + w = -l for p.
5
Let h(d) = -d**2 - 6*d - 1. Let t be h(-5). Let n = -1 - -4. Suppose -n*u = u. Solve t*c = 16 - u for c.
4
Suppose 0 = 3*z - 2 - 22. Solve 2*v + z = 4*v for v.
4
Let b(i) = 2 + 3*i3 + 3*i3 + 4*i - 3*i2 - 4*i3 - 3*i**3. Let v be b(-4). Solve -a = v - 5 for a.
3
Let a(p) = -p**2 + 7*p + 4. Suppose c = -i + 6, -3*c - 3 + 0 = 0. Let r be a(i). Solve 0 = -r*t - 4 - 4 for t.
-2
Let h = 33 + -33. Solve l + 2 + 2 = h for l.
-4
Let c(v) = v**2 - 10*v + 4. Let p be c(11). Let d = p - 10. Let n = 0 + 2. Solve -3*a - d = n*a for a.
-1
Let z be 3⁄9*2*3. Suppose -z*a - 2*a + 4*o = 28, 3*o = 15. Let k be ((-6)/(-3) + a)/1. Solve k = 2*y - 0*y + 10 for y.
-5