Let q = -7 + 19. Solve 0 = m - 4*m - q for m.
-4
Let h = -2 + 2. Suppose -3*i + i + 34 = 0. Let x = i - 4. Solve h = 5*r + 7 + x for r.
-4
Let o(y) be the second derivative of y4⁄12 + y3 + y**2 + 6*y. Let w be o(-6). Solve -5 = 3*i + w*i for i.
-1
Let o(a) = a**3 - 2*a + 1. Let w be o(0). Solve r - w = -0 for r.
1
Suppose 5*c - 5*j = 5, j + 3 - 2 = 3*c. Solve 4*m - 3*m = c for m.
0
Suppose -2*d = -4*d. Suppose -4*o + 12 = 3*r, d = 3*o - 5*r - 14 + 34. Suppose 2*i - 19 - 5 = o. Solve 3*a = 6*a + i for a.
-4
Let a be 2 + -1 - (-4)/(-2). Let u be 15*(a - 8/(-6)). Suppose -2*d + u*y = -4*d + 36, -4*d + 36 = y. Solve 0 = 5*x + 12 + d for x.
-4
Suppose 2*w + 15 = 3*v, 0*v + 4*w = 3*v - 15. Let m(j) = -2*j2 - 2 + 6*j + 0*j2 + j**2. Let u be m(v). Solve u*r - 11 = 1 for r.
4
Suppose -n - 3*x = -1 - 1, -3*n + 6 = -x. Suppose t = n*t + 5, -s = -3*t - 23. Let c = -6 + s. Solve -c*o = -o - 2 for o.
2
Suppose -5*u - 10 = 2*t, 3*t + u - 4 = 3*u. Solve t = 2*o + 2 + 4 for o.
-3