Let t(g) be the second derivative of -3*g + 0 + g2 + 1⁄12*g4 + 1⁄6*g**3. Let a be t(-2). Solve s + a = -3*s for s.
-1
Suppose 0*o = -5*o + 10. Solve -o*r = -3*r + 2 for r.
2
Let m(i) = i + 8. Let v be m(-7). Let g be (2 + -2 - -5)*v. Solve 0 = -g*u + 2*u for u.
0
Suppose 6*f + 2*h + 68 = 3*f, 4*h = f + 4. Let v = f + 30. Solve -10 = -4*o + v for o.
5
Let x(y) = 45*y**2 - 2*y - 2. Let u be x(-2). Let a = -258 + u. Let o be (-6)/27 + a/(-18). Solve o*s = 2 + 2 for s.
1
Let m(g) = -g**2 - 6*g - 4. Let o be m(-5). Let q be (o/(-2))/(3/(-36)). Suppose 4 = -2*w - 0*a + 2*a, 5*w = -3*a + q. Solve 0 = -3*y - 6 - w for y.
-2
Let h be (1/(-2))/((-1)/20). Suppose 5*k - 45 = 2*k. Suppose 4*x = -5*r + 2*r + k, 4*x + 2*r = h. Solve x = o - 0 + 4 for o.
-4
Let h(w) = -2*w**2 + 21*w + 11. Let u be h(11). Solve u = -3*m - m - 20 for m.
-5
Suppose 2*k = -z + 10, 24 + 16 = 4*z + 2*k. Let x be -1 + (2 + -1 - -3). Suppose -x*i + 2 = -z. Solve u + i = 2 for u.
-2
Let k = 3 + -1. Suppose 30 = r + k*r. Solve -5 = -3*p + r for p.
5