Let s = 7 + 12. Let i = s + -2. Solve -i = 3*k - 2 for k.
-5
Suppose 0 = -5*t - 4*m + 3*m + 14, -5*m + 20 = 0. Let o = 2 - t. Suppose -7 = -5*w + w + u, o = w - 2*u. Solve -w = d - 6 for d.
4
Suppose 4 = 3*q - q. Let k be (-7)/((-49)/q)*7. Solve -k*c = -c - 5 for c.
5
Suppose -4*b + 5 + 23 = 0. Suppose b*m - 3*m - 8 = 0. Let n = 4 - 2. Solve 8 = -m*r - n for r.
-5
Suppose -4*l + 0 = -12. Suppose 6*j = l*j. Solve j = 4*y - 2*y for y.
0
Let o(x) = x**2 + 5*x + 7. Let p be o(-6). Suppose -p = -c - 3. Solve -c = t + t for t.
-5
Let p = -5 + 7. Suppose 8 = 3*x - 4*f, p*f + 3*f = -25. Let k(z) = z3 + 5*z2 + 4*z + 4. Let n be k(x). Solve n*j - 20 = -j for j.
4
Suppose 2*w - 3 = n, -9 = -3*w - 2*n - n. Suppose 0 = w*u - 8, 3*b = -u - 3*u + 31. Solve -b*q - 11 = 4 for q.
-3
Suppose 0 = -2*s - s - 6. Let j be -41(-1)/s. Let a be 2/(-4) - 1/j. Solve a = -k - k + 8 for k.
4
Suppose 27 = 4*i - h, 3*i + 4*h = 23 + 2. Solve -4*r = -i*r for r.
0