Suppose 0 = z + 3*x - 19, -2*z - 3*z = -3*x - 5. Solve -z*u = -u for u.
0
Let a = 17 - 12. Let i be (a + -1)/(0 + 1). Solve 0 = 3*z - z - i for z.
2
Let z be 10*(3 + 5/(-2)). Suppose 0 = -8*t + z*t + 12. Solve 0*j + t = 4*j for j.
1
Suppose -d - 22 = -4*u - 3*d, 2*u - 4*d = -14. Solve u*m + 8 = -m for m.
-2
Let w(b) = -b**2 + 11*b - 3. Let c be w(10). Suppose -1 + c = 3*r. Solve r*f - 3*f = -3 for f.
3
Let x(q) = -q3 - 2*q2. Let k be x(-2). Suppose -t = -k*y - 2*y - 2, -2*t - 5*y = -13. Solve 9 = t*o - 7 for o.
4
Suppose -2 = -2*l + l + 2*f, 2*f = 3*l - 6. Solve -2*g - l*g = 12 for g.
-3
Suppose 0 = d - 2*d + 4. Solve d*n - 12 = -0*n for n.
3
Let k(u) = -10*u3 + u2 - 1. Let v be k(-1). Let d = 11 + v. Solve -4*t + 5 = d for t.
-4
Suppose 0 = -12*p + 16*p - 12. Solve -2*z + p = z for z.
1