Suppose 12*a - 16*a = -28. Solve 2*k - a - 1 = 0 for k.
4
Suppose 3*j = 2*j. Suppose 2*u + 5*m - 91 + 21 = 0, -3*u - 2*m + 94 = j. Suppose -10 = 5*z - 4*h, 0 = -5*z - 7*h + 3*h + u. Solve -z = -5*i - 17 for i.
-3
Let l(a) = 8*a**2 + 1. Let z be l(1). Let k = -6 + z. Solve f - k*f = 2 for f.
-1
Let n = 18 - 14. Solve 0 = -n*z + 2 + 14 for z.
4
Suppose 4*l = 6 + 6. Suppose -2*i - 20 = -30. Solve -2*q = l*q + i for q.
-1
Suppose -5 = 5*c - 4*c. Let o = c - -7. Solve -2*y - o = -y for y.
-2
Let t be -1*((-8)/2 - -2). Solve t*c + 2 = -6 for c.
-4
Let x be 1/(-2)*(2 + 2). Let q = x + 4. Suppose -5*d - 10 = 3*o, -o = -q*o - 3*d - 6. Solve o*n = n for n.
0
Let c = 9 + -5. Let o be (0 + 2)/(c/6). Suppose -4*z + 18 = 5*l, o*l + 4 = 4*z + z. Solve -5 - 3 = z*m for m.
-4
Let j = 13 + -7. Suppose -2*x + 7 = o, -2*o - 10 = -0*x - 2*x. Let w(m) = -m**2 - 6*m + 4. Let y be w(-6). Solve y = -x*g + j*g for g.
2