Let y = 22 + -46. Let a be 0*-4*3/y. Solve a = 4*n - 0 - 4 for n.
1
Let n = 8 - -11. Let k be (1 + n)*3⁄6. Solve -j - k = 4*j for j.
-2
Suppose s = -4*s - 20. Let y(k) = k**2 + 3*k - 2. Let l be y(s). Solve 0 = -2*j + 4*j + l for j.
-1
Let q be 2*3/(18⁄15). Suppose 0 = q*t + 7 - 2. Let p be (t*3)/(-6)*10. Solve -p*u = 7 + 8 for u.
-3
Suppose 0 = 4*m - 5*a + 3*a - 22, a + 5 = m. Solve 0 = 2*b - 0*b + m for b.
-3
Let i(v) be the first derivative of -v**2 + v + 2. Let d be i(-1). Suppose -6 = -d*q - 0. Solve 6 = q*n - 0*n for n.
3
Let m be 0 + -1 + (-14)/(-2). Suppose -20 = -m*v + 10. Solve l = 2*l + v for l.
-5
Suppose 2*q + v - 4*v - 15 = 0, -2*q - 4*v - 20 = 0. Suppose -4*x = -q*x - 8. Solve -u - 15 = x*u for u.
-5
Suppose -2*n = 5*f + 9, 4*n - 37 = f - 22. Solve 0*y = -n*y + 15 for y.
5
Let s be (10⁄4)/5*4. Solve -s*q - 3 = q for q.
-1