Let k be (-3)/12 - (-34)/8. Solve 0 = k*y + y + 20 for y.
-4
Suppose 28 = -3*p + 8*p - 3*t, -4*p + 4*t + 24 = 0. Solve -7 - p = 4*w for w.
-3
Let d(n) = n3 - 5*n2 + n. Let m be d(5). Suppose -2*b + m + 25 = 0. Suppose -3 + b = 4*p. Solve 8 = i + p*i for i.
2
Suppose 0 = -0*g + 3*g + 12. Let p be g/14 - 176/(-28). Suppose 5*t - 12 = -4*z, -2*z + 0*z = t - p. Solve 0 = -z*k - 18 + 3 for k.
-5
Let m(d) = -d**2 + 8*d - 6. Let r be m(4). Let u be 0 + 1 + -19 + 24. Suppose z + z = w + u, -5*w + 5*z - r = 0. Solve -2*p - w*p = -12 for p.
3
Let l = -3 - -4. Let x = l + 1. Solve 4*g = -2 - x for g.
-1
Suppose 0 = -u - u - 42. Suppose 0 = -4*r + 46 - 18. Let p be ((-2)/3)/(r/u). Solve 3 - p = -t for t.
-1
Suppose 0*p - 2*p = 0. Let x be 6/(2 + 1) - p. Suppose 3*d + 20 = 3*j - 4, 28 = x*j - 5*d. Solve -4*k - j = -3*k for k.
-4
Let o(n) = 3*n. Let x(y) = -4*y - 1. Let d(q) = 5*o(q) + 4*x(q). Let h be d(-3). Let p be h/(-3) + (-28)/(-6). Solve -7*i = -2*i + p for i.
-1
Suppose 3*x + 5*x = 16. Solve x = -t - 1 for t.
-3