Let o(s) = 3*s**2 + 1. Let x be o(1). Let d(y) = -2*y + 4. Let g be d(0). Suppose 4*m - 2*v - 4 = 0, -g*m = -4*v - 0*v. Solve 4*r = m*r + x for r.
2
Let q(v) = v + 4. Let b be q(0). Suppose g + 14 = f + b*g, 5*f + g - 14 = 0. Solve 3*t + f*t = -15 for t.
-3
Suppose 7*s = 5 + 16. Solve 3*g + s = 12 for g.
3
Suppose 5 - 2 = 3*o. Suppose 3*h - 2*q + o = 12, 41 = 3*h + 4*q. Solve h = -2*m - 1 for m.
-4
Let j = -20 - -20. Solve -v + 5 = -j*v for v.
5
Suppose -6 = -x + 6. Solve 5*f + x = 2*f for f.
-4
Suppose 3*n = 2*n. Let s be 39⁄12 - (-1)/(-4). Suppose 0*r + 5*g + 7 = r, r - s*g = 5. Solve -4*w - 2 - r = n for w.
-1
Let v be (-10*1/(-4) - -2)*2. Solve 0*a = -3*a + v for a.
3
Let g(y) = y + 4. Suppose 0 = -5*r - 25, -3*h + 8*h + 2*r = 5. Let v be (0/h)/(1 + 0). Let b be g(v). Solve -b*w + 12 = -4 for w.
4
Suppose y + 1 = -2*s - s, 3*s + 4 = -4*y. Solve 3*u = -s*u - 3 for u.
-1