Let d = -8 - -13. Let m(i) = i**2 + 4*i + 5. Let t be m(-5). Let q = 14 - t. Solve q = -d*x + 9 for x.
1
Let w be (-2)/(-5) - (-648)/30. Let o = 35 - w. Solve -7 - o = 4*n for n.
-5
Let t = 13 + -9. Suppose -4*b = -t*v - 0*b, 2*v = -b + 6. Solve 0 = a + v*a - 9 for a.
3
Suppose -1 = -3*y + 5. Suppose 3*r + 5*f = 22, 4*r - 24 = -2*f - y*f. Let o be 8⁄3 - 4/(-12). Solve o*n - r = 2*n for n.
4
Let g = -18 - -7. Let f be -1*g/((-22)/(-12)). Let q(i) = -i3 - 2*i2 + i - 4. Let v be q(-3). Solve f*x = v*x + 12 for x.
3
Let l(f) = f3 + 11*f2 + 5*f - 9. Let h(n) = -n**2 + n + 1. Let b(v) = 2*h(v) + l(v). Let g be b(-8). Solve 3*u - 4 = -g for u.
1
Let b be -2 + 4 + -1 + 3. Suppose f + 5*l = -12, 3*f + l = b*l + 18. Solve -f*t = t - 8 for t.
2
Let s(o) = o + 2. Let l be s(2). Solve -l = -2*z + z for z.
4
Suppose -3*u - 1 = -5*o + 3, 0 = 4*o - 5*u + 2. Solve -o*m + 2 = 4 for m.
-1
Let f(m) = m**2 + 8*m + 16. Let i be f(-6). Solve -j + 3*j - i = 0 for j.
2