Let b(l) = l**2 - 8*l + 9. Let m be b(7). Solve x + x = m for x.
1
Let l(g) = -3*g + 6. Let h be l(4). Let v be (h/(-15))/((-2)/(-20)). Suppose -5*m - 3*y = y - 6, 0 = -3*m - 4*y + 2. Solve 0 = -m*a + v for a.
2
Suppose -3*m = -7*m. Solve -3*u + m + 9 = 0 for u.
3
Let n be ((-6)/(-3) + 5)/1. Suppose -2*t = -3*d - 0*d + n, 5*d - 13 = 3*t. Solve 0 = t*s + 5 - 1 for s.
-1
Let n be 6⁄4 + (-16)/(-32). Solve n*l = -0*l for l.
0
Suppose 4*z - 16 = -4. Suppose -2*r = 5*q - 4, -4*q + 2*q + 2*r = 4. Suppose q*w - 15 = -3*w + 3*d, 2*w - 19 = 5*d. Solve 2 = -w*v + z*v for v.
2
Let d(y) = y3 - 5*y2 - 6y - 1. Let j be d(6). Let x be j - (2 + -2 - 5). Let i be (x - 6)(-3)/2. Solve 8*l + 15 = i*l for l.
-3
Suppose -57 = -3*i + x + 2*x, 4*x + 1 = -i. Solve i = f + 2*f for f.
5
Let f(j) = -j3 + j2 + 3*j - 2. Let w be f(2). Solve w = -t - 3*t for t.
0
Let v = -13 - -23. Solve -5*u + 0 = -v for u.
2