Let c(g) = -6*g**3 - 2*g - 2. Let v be c(-1). Solve -2*i - 2 = -v for i.
2
Suppose -h = -22 + 18. Solve -r = -h*r for r.
0
Let k be (-3)/(-2) + 57/(-6). Let w(p) = p + 10. Let y be w(k). Solve -r - y = 3 for r.
-5
Let x = 41 + -22. Suppose -2*f + x = 15. Solve -2 = -f*y - 12 for y.
-5
Let w be (-1*16)/4 - -12. Solve -6*u + 2*u - w = 0 for u.
-2
Suppose 5*s - 25 + 0 = 0. Suppose 0 = -2*y + s*y - 12. Solve -14 = -y*m + 2 for m.
4
Let j = 41 + -25. Suppose 0 = -c - s - 4*s, -4*c + 25 = -5*s. Suppose 5*a = -c*b + 25, 4*a + b = -a + 17. Solve a*x = 7*x + j for x.
-4
Let z(t) = -t3 + t2 - t + 1. Let n be z(2). Let k be 0 - (n + (2 - 1)). Solve 0 = -3*m + 4*m + k for m.
-4
Let i = -134 - -143. Solve i = 5*z + 19 for z.
-2
Let m(b) = b + 3. Let g be m(-5). Let i be g/5 - (-4)/10. Solve i = 5*h - 1 - 9 for h.
2