Let z(a) = -2*a**2 - 13*a - 13. Let x be z(-5). Solve -x*r - 2 = -0*r for r.
-1
Suppose s + 5*h + 1 = 0, 0*s - 5*s - h + 19 = 0. Solve -3 = -d + s*d for d.
-1
Let p = 71 + -49. Suppose 5*g + 4*o = p, 5*o + 8 = 2*g - 14. Solve -g = 3*u + 6 for u.
-4
Let s be (-8)/20 - (-6)/15. Solve 3 = -s*n - n for n.
-3
Let q(d) = -d**2 - 8*d + 2. Let j be q(-8). Suppose 15 = 4*v - 5. Suppose -a + 2*r - 20 = -v*a, 0 = -2*r. Solve a*p - j*p = 6 for p.
2
Let x be (-1 - -4)*2⁄3. Suppose -l - x*t + 8 - 1 = 0, 1 = -3*l + 5*t. Solve -l*g = 4 - 1 for g.
-1
Let v = 5 - 0. Solve v*u - 11 = 14 for u.
5
Let r(n) = -3*n**2 + 2*n + 2. Let f be r(2). Let t be (f/(-9))/((-2)/(-12)). Suppose 7 = t*b + q, b - 4*q - 14 = 3*b. Solve 5*c = b*c - 2 for c.
-1
Let j = 112 - 109. Solve 8*v = 5*v + j for v.
1
Suppose 10 = -2*z - 3*z. Let x = 0 + z. Let n be (15⁄12)/(x/(-8)). Solve 3*y = n*y + 10 for y.
-5