Let i(a) = -3*a. Let q(l) = -l. Let j(b) = -6*i(b) + 17*q(b). Suppose -3*k = 3*x + 10 + 5, -x + 5 = -k. Let n be j(x). Solve w + n - 2 = 0 for w.
2
Let k(l) = 3*l**2 - l + 1. Suppose 0*q + 2*z = 4*q - 6, -3*q + 2 = -4*z. Suppose -y - y = -q. Let w be k(y). Solve -w = 2*n - 13 for n.
5
Let i(t) = -t - 2. Let d be i(-5). Let g be 1 - (0 - (-4)/(-1)). Solve g*m + d = -7 for m.
-2
Let m = -4 - -10. Let s = m + -1. Solve 0*f = -s*f + 20 for f.
4
Suppose -6*o = -3*o. Solve -5*v + 6 - 1 = o for v.
1
Suppose -20 = -j - 17. Solve 0 = -j*b - 5 - 7 for b.
-4
Let z(p) = p**2 + 1. Let n be z(-2). Suppose n*j - 6 = 19. Solve -j*a - 15 = 10 for a.
-5
Let z = 6 - 6. Let a be -1 + 2 + z + -1. Suppose -4*l + 14 = -3*x, 2*l + 4*x = -a*x + 18. Solve l*n - 12 = n for n.
3
Let j = -5 - -5. Suppose j = 6*l - 4*l. Suppose l = -z + 4*s + 20, -4*z - 2*s + 14 = 6. Solve 0*a - 16 = -z*a for a.
4
Let u be (1/(-3))/((-1)/15). Let m be 346⁄18 + 8/(-36). Let k = m + -13. Solve u*z - 2*z = -k for z.
-2