Let z(n) = -n3 - 12*n2 + 14*n + 12. Let r be z(-13). Let t(y) = 2*y + 1. Let d be t(4). Let g = d + r. Solve g = 3*x - 7 for x.
5
Let p = 8 - 6. Suppose 3*d = -5*g - 2 + 1, -p*g - 4*d = -8. Let b = g + 5. Solve b*r + 2 = 2*r for r.
-2
Let b = -1 - -1. Suppose b*k - 5*k - i = -11, -3 = -2*k + i. Solve 7 = k*u + 1 for u.
3
Suppose -2*j + 3*c - 2 = 0, 0 = 2*j + 3*c - 5*c. Let w be (j/(-3))/(6⁄9). Let f be (0 - -14) + (-2 - w). Solve 4*s + 3 = -f for s.
-4
Suppose -7 + 4 = 3*q. Let d be q/2 + (-20)/(-8). Solve d*l - 15 = -l for l.
5
Suppose 3*j + 11 = -2*m, -j + 7 = 2*m - 4*m. Let l be -2*j/(-2) + 3. Solve -3*n = l*n + 10 for n.
-2
Suppose -3*q + 9 = 3*o, -4*q + o = 4o - 9. Let h be (3 - 0)(1 - 0). Suppose -t + 6 = 3*t - 3*m, 2*m - 7 = -t. Solve -h = t*l - q*l for l.
-1
Let r(z) = 2*z**2 + 9*z + 6. Let k be r(-4). Let d = -8 - -6. Let y be ((-6)/d)/(3⁄10). Solve -3*q = -k - y for q.
4
Let s be (22 - 19) + 6/(-2). Solve j = -s*j + 2 for j.
2
Suppose 0*i + 3*i = -72. Let a = 28 + i. Solve -a*s - 10 - 6 = 0 for s.
-4