Let z(a) = a - 1. Let b(m) = m**2 - m - 3. Let s(l) = -b(l) + 2*z(l). Let x be s(4). Let d be -2*x*3⁄6. Solve 2*h + d*h = 15 for h.
3
Let h be 0 - 9⁄3 - -8. Suppose 4*p + 28 = 4*r, 2*r = -0*r + h*p + 23. Suppose -x + 10 = r*x. Solve -6 = -x*i + 4*i for i.
-3
Suppose -5*m - 4 = -2*g - 13, 9 = g + 2*m. Solve 0 = a - g - 1 for a.
4
Suppose -4*d = -7*d + 9. Solve d*u = -2*u for u.
0
Let n = -7 - -10. Let z be (0 - n/(-6))*0. Solve -2*o - 10 = -z*o for o.
-5
Let f be (-5 + 7)*(-4 + 1). Let o be (-7)/(21/f) - -2. Solve -3*v - o = -4*v for v.
4
Let l be -4*(-1)/((-2)/(-2)). Let a = l - -1. Suppose -5*v + a = -5. Solve -q - v*q = -6 for q.
2
Let s(p) = -p3 + 4*p2 - 3*p. Let z be s(2). Suppose 0 = z*n - 4*x - 8, n + 2*x = 3*n - 8. Solve 3*a + 19 = n for a.
-5
Let g be (-2)/3 + 33⁄9. Let p be g/(-2 + -1)*0. Suppose p = -0*y - 3*y + 87. Solve -4*z - 9 = -y for z.
5
Suppose -2*y - 2*y + 12 = 0. Solve y = d + 4 for d.
-1