Let t be (4 - 1)*(-2)/(-3). Suppose 4 = -t*a - 2. Let n be a/(2 - (-3 + 6)). Solve -3 = n*y - 6 for y.
1
Let t(d) = d - 2. Let c be t(2). Let u be (-111)/(-21) + 4/(-14). Suppose -u*i + 18 = -4*s, -5*i + c = s - 8. Solve -i*h + h = 0 for h.
0
Let a(k) = k**2 - 3. Let s be a(0). Let y = -3 - s. Suppose 4*n + 0*r + 3*r - 22 = y, 0 = -5*n + 5*r + 10. Solve 7 = n*i - 1 for i.
2
Let g be 2/(-5) + 37⁄5. Let r = -4 + 7. Suppose -3*p - 10 = -2*i, 8*p = i + r*p - 5. Solve -g*f + 4 = -i*f for f.
2
Let g(t) = t3 + 4*t2 - t + 1. Let u(j) = j3 + 5*j2 - 6*j - 4. Let d be u(-6). Let i be g(d). Solve i*n - 5 + 0 = 0 for n.
1
Let u be (-36)/3*2⁄4. Let w be (-8)/(-6)*u/(-4). Solve m - w = -0*m for m.
2
Let h(u) = -u + 20. Let z be h(18). Solve 12 = 5*a - z*a for a.
4
Let j be 31(-8)/(-6). Suppose -c - j = -5*c. Solve 3 = 2*n - c for n.
2
Let l(d) = d**2 + 6*d + 4. Let z be l(-6). Suppose 0 = 5*y - z*y - 3. Let p be 1 + -1 - -1*3. Solve y*m = 4*m + p for m.
-3
Suppose 0 = -5*j + 3*r + 6, -3*j + 4*j = 5*r - 12. Let m = 5 - j. Suppose -9 = 3*l - 0*l, 0 = -4*z - 3*l - 1. Solve m*n = z + 2 for n.
2