Let d(z) = -z - 1. Let u be d(-7). Let b(p) = -p**2 - 13*p - 8. Let t be b(-12). Solve -t*q + 2 + u = 0 for q.
2
Let s = 12 - 3. Solve -s*a = -10*a for a.
0
Let v = 6 - 1. Suppose 0*i + 10 = v*i. Solve 0 = 7*m - i*m for m.
0
Let x(g) = g3 + 6*g2 + 6*g + 10. Let y be x(-5). Solve -20 = -5*m + y for m.
5
Let r be 3⁄12 - 310/(-8). Suppose -9 + 27 = 3*c. Suppose -r = -5*m + c. Solve -1 = -2*n + m for n.
5
Let k be 1 + 2*-1 + -1. Let m be 4k(-2)/8. Solve 4*f + m = 2*f for f.
-1
Let x = 18 - 16. Solve -3*n = -10 - x for n.
4
Suppose -3*t = 12, -3*k + 2*t + 0*t + 17 = 0. Suppose -k*n = -8*n. Suppose v - 6*v = n. Solve v = 2*s + 4 - 10 for s.
3
Let d be (-18)/(-8) + 3/(-12). Solve -r - d*r - 3 = 0 for r.
-1
Suppose -6 = h - 0*h - 2*s, 5*h + 3*s = -30. Let w(j) = -j3 - 7*j2 - 7*j. Let o be w(h). Solve 0 = 2*x - o*x for x.
0