Let l = 2 + 2. Suppose l*a = 7*a. Solve -t = -a*t for t.
0
Suppose 2*t + 6*r - 12 = 3*r, 2*t = 2*r + 12. Let z = t + -2. Suppose h - 5 = -2*o + 9, -32 = -3*h - z*o. Solve h*f + 8 + 0 = 0 for f.
-2
Let p(x) = x3 + 8*x2 + 6*x - 7. Let b be p(-7). Suppose b*r = -2*r. Solve y - 1 = -r*y for y.
1
Let o = -12 + 15. Solve -2 = -u + o*u for u.
-1
Let t(d) = -d**2 + d + 2. Let l be t(-1). Solve l = -m - 4 for m.
-4
Let z(h) = h**2 + 4*h + 7. Let m be z(-2). Solve -m = -3*j - 9 for j.
-2
Let g(m) = -m3 + 1 - 1 - 3*m + 64*m2 - 67*m**2 - 1. Let s be g(-3). Solve -v + 3 = s for v.
-5
Let v be 4 + (-2)/((-2)/3). Let u(g) = -g + 11. Let t be u(v). Solve t*p = -p for p.
0
Let g(f) = -f3 + 5*f2 - 2*f + 2. Let w be g(4). Suppose c + 3*p + 13 = 0, -2*c - 3*p = w + 1. Solve 0 = c*b - 0*b for b.
0
Suppose 13 - 3 = 5*m. Suppose 0 = -a - m*a. Let d be (-2)/(-8) - 19/(-4). Solve a = 3*n + 2*n - d for n.
1