Let k(l) = l**2 - 6*l + 1. Suppose 15 = 4*m + 3*p, 3*m + m - 9 = -5*p. Let d be k(m). Let n be -1 + 0 + (d - -8). Solve v - 3*v + n = 0 for v.
4
Let m(h) = -h**2 + 2*h + 6. Let n(v) = v. Let c(l) = -m(l) - 4*n(l). Let b be c(7). Solve 3*s - 10 = -b for s.
3
Suppose 0 = 4*v - 2*v, 0 = -4*a - 5*v + 24. Let h be 4/a*9⁄2. Solve 6 = -h*s - 3 for s.
-3
Suppose 3*k = 21 - 3. Suppose -6*j - 8*j = -140. Solve -f - j = -k*f for f.
2
Let x(h) = 3*h + 1. Let l = -1 + 2. Let m be x(l). Solve 3 = -m*r - 5 for r.
-2
Suppose 2*f = 5 + 3. Suppose -3*q - 2 = f*g - 4, 5*g - 5*q - 20 = 0. Solve 0 = -0*u - g*u + 10 for u.
5
Let o(g) = g3 - g2 - 3*g + 1. Let m = 39 - 17. Suppose 0 = -0*b - 2*b + 4*i + m, 3*b + i - 5 = 0. Let z be o(b). Solve -x = x - z for x.
5
Let r = -10 - -14. Let h be (r/8)/(2⁄8). Solve h = y + 3 for y.
-1
Suppose 5*i = -0*i - 4*m + 41, -29 = -3*i + 2*m. Solve 0 = -4*u + u + i for u.
3
Let k = -10 + 14. Let v(q) = -2*q - 4. Let l be v(-4). Suppose k*z + 5*t - 16 = 0, l*t = 2*z + 3*z - 20. Solve 0 = 4*x - z - 0 for x.
1