Suppose 0 = 4*k - 0*k - 12. Suppose k + 9 = 3*j. Solve -x + j = 3 for x.
1
Let l = -3 + 7. Suppose 0 = l*t + 3 - 11. Solve c - 2*c = t for c.
-2
Let s be 15⁄25 - 44/(-10). Solve -s*o = -9*o for o.
0
Let o = 46 - 43. Solve y + o = 6 for y.
3
Let z(y) be the first derivative of -y**2⁄2 + 10*y + 1. Let t be z(7). Solve -t*j - 2 = 4 for j.
-2
Let q(y) = 12*y + y3 - 1 + 7*y + 14 + 10*y2 - 9*y. Let d be q(-9). Solve d*r - 4 = 2*r for r.
2
Suppose -2*o = -5 - 1. Suppose -6*l = -o*l. Solve l = u - 4*u for u.
0
Suppose -12 - 8 = -5*l. Let q be 27/(-4) - 1/l. Let j = 11 + q. Solve j*h - 5 = -h for h.
1
Suppose 0 = -4*r - 12, -2*n + 10 = -5*r - 17. Suppose 0*d + n = -u - 3*d, 4*u = 2*d + 4. Solve -3*l + 2*l - 3 = u for l.
-3
Suppose -3*d - d + 20 = 0. Suppose 0 = -3*s - v + 18 + 22, -s + 3*v + 30 = 0. Solve d*n = s - 0 for n.
3