Suppose 0 = 3*i - 3*w + 4*w + 5, 25 = 5*i - 5*w. Let m(s) = s3 + s2 - s + 10. Let x be m(i). Solve 2*t - 2 = -x for t.
-4
Let f® = r**2 + 2*r + 2. Let q be f(-3). Suppose 0*v - v + q = 0. Solve 0 = v*z - 4*z - 4 for z.
4
Suppose 0 = -4*m + 11 + 9. Solve m*u + 15 = -5 for u.
-4
Let q(v) = -v3 + 5*v2 + 2*v - 5. Let m be q(5). Let r be 30/m*2⁄6. Let o be -2 + 3 + (2 - r). Solve 0 = -4*w + o - 17 for w.
-4
Let c(o) = o**2 + 2. Let u be (1 - 0)/(3⁄15). Suppose u*g + 0*g = 0. Let w be c(g). Solve w = -4*t + 10 for t.
2
Let b = 70 + -70. Solve b = -2*o - 2 + 6 for o.
2
Suppose 0 = t + 2*t - 12. Let x(j) = j3 - 4*j2 + 2*j - 6. Let f be x(t). Suppose -u + 2*u = f. Solve p + 0*p = u for p.
2
Suppose -7 = -3*l + o, 3*l + l - 13 = 5*o. Let u = -12 - -14. Suppose 4*r - u*g - 2*g = 16, -2*r = 5*g + 13. Solve -7 = l*p - r for p.
-3
Let m be (-3 + 4 - 1)/(-1). Solve m = 4*c + 9 + 3 for c.
-3
Let r(g) = -g3 - g2 + g + 2. Let f be (0/(-1))/(4 - 3). Let y be r(f). Suppose 4*p - 36 = 5*o, -y*o - 7 = -p + 5. Solve 4*d - 4 = p for d.
2