Let m = -5 - -10. Suppose -3 = r - 21. Suppose -r + 3 = -m*g. Solve 2*l = -l + g for l.
1
Let v = 10 + -9. Let r = 6 - v. Suppose -5*j + 28 = -j - 4*m, -2*j - 14 = r*m. Solve -1 - 5 = j*k for k.
-2
Suppose -1 = -2*h + 11. Let m = -5 + h. Solve m = -p - 2 for p.
-3
Let y(n) = n3 + 9*n2 - 9*n + 14. Let i be y(-10). Suppose -i*u + 4 = -4. Suppose -u*r + 2 + 2 = 0. Solve r*g = 5*g + 12 for g.
-4
Let n = 5 - 3. Suppose -n*g + 8 = 2. Solve g*k - 12 = -3 for k.
3
Let h = 7 + -2. Suppose 1 + 2 = o. Let x be 2/(-3) - (-41)/o. Solve -h*u - x = -3 for u.
-2
Suppose 3*x = -c + 13, 5*c + 2*x - 5*x - 47 = 0. Suppose -2*w - 3*w + c = 0. Suppose 0 = -5*d + 2*d + 5*z, w*d - 2*z = 0. Solve -6*l + 3*l - 6 = d for l.
-2
Let z(w) = -w - 1. Let b be z(-1). Suppose -t - 4*c - c - 15 = b, -3*c = -t + 17. Suppose -s = 4*l - 11 - 0, -t = -2*l - s. Solve 0 = l*u - 0*u - 9 for u.
3
Suppose -3*q = q + 36. Let w be (-4)/3*q/6. Solve w*i - 3 = i for i.
3
Suppose -11*y - 7 + 40 = 0. Solve 8*q = 5*q - y for q.
-1