Let f(s) = -2*s. Let p be f(-2). Let x = p - -3. Let m(v) = -v + 7. Let t be m(x). Solve 0*u - 3*u + 6 = t for u.
2
Let h = 12 - 6. Suppose q = 2 + h. Suppose -4*m = -b - 4*b - 14, 0 = 2*m + 5*b + q. Solve -m = -l - 2 for l.
-1
Let h(u) = -u3 + 4*u2 - 3*u + 3. Let b be ((-8)/(-6))/((-3)/(-9)). Let t be h(b). Let g be (-2)/9 - 92/t. Solve 4 = -2*s + g for s.
3
Let s = 3 - -15. Let u = -18 + s. Solve -8 = -2*k - u for k.
4
Suppose 4 = -15*k + 34. Solve -1 = -z + k for z.
3
Let x = -61 + 136. Suppose 25 = 5*o - x. Solve 0*t = -5*t - o for t.
-4
Let i = 23 - 20. Solve -i = z - 0 for z.
-3
Suppose 4*z = 3*z. Suppose 0 = -z*c + 5c + 15. Let b be c((-4)/6 + -1). Solve b*q = 4*q - 3 for q.
-3
Suppose 2*x + a - 13 = -0*x, 5*x - 2*a = 37. Suppose 0 = x*m - 9*m + 8. Solve 3*c - 5 - m = 0 for c.
3
Let h(g) = 6*g - 7*g2 - g3 - g3 + 3*g3 - 2. Let m be h(6). Let b be m/(-1 + (-1 - 0)). Solve 0 = 5*v + b + 9 for v.
-2