Suppose -3*v + 4 = -14. Let o = 20 - v. Solve 3*y - 1 - o = 0 for y.
5
Suppose -4*i - 12 + 40 = 0. Solve 0 = 2*m + 1 - i for m.
3
Let q be (3 - (8 - 4))*0. Let n = 22 - 7. Solve 3*y = -q*y + n for y.
5
Suppose -6*d = -6*d + 3*d. Solve -4*i + 0*i + 8 = d for i.
2
Let a = 5 + -1. Suppose 5*t + 86 - 31 = -2*f, -a*f - 56 = 4*t. Let g(i) = i3 + 8*i2 - 9*i + 12. Let c be g(t). Solve 8 = 4*h - c for h.
5
Suppose -3 - 7 = -2*h. Let f(y) = -y3 - y2 + 2*y. Let c be f(-2). Suppose k = 4*k. Solve k*r + h*r + 15 = c for r.
-3
Let n be 0/(-2 + -1 + 5). Let y = 0 - n. Solve -4*k + y = -4 for k.
1
Suppose y = 5*y - 12. Solve -2 = -y*p + 1 for p.
1
Let z be 1*(4 - (2 + -1)). Suppose -37 = -z*f + 17. Suppose -4*n - 2*b - 4 + f = 0, 2*n = -3*b + 9. Solve -n*q + 15 = 2*q for q.
3
Suppose 0 = -3*y + 6*y - 6. Suppose -4*k - y = -14. Suppose 2*c = -2*l + 27 - 7, 0 = 4*l + 5*c - 40. Solve -2 = -k*z + l for z.
4