Let j = -4 - -9. Let y(h) = 4 - 2*h2 + j*h3 - h2 - h3 - 3*h**3. Let t be y(4). Solve -t = -o + 6*o for o.
-4
Let u = -5 - -7. Suppose -5*m + 5 = -4*v + 30, -u*v + 4*m + 20 = 0. Suppose v = 4*x + 5*s - 95, -99 = -4*x - 0*s - s. Solve 5*o = -0*o - x for o.
-5
Suppose 3*m - 4*m = -1. Let v be (-2)/(m + 0) - -3. Let h(k) = -k**2 - 4*k + 7. Let c be h(-5). Solve c*i - v = -3 for i.
-1
Let k be -1*2*3⁄6. Let l = k - -5. Let c = l + -1. Solve 0*o = c*o + 15 for o.
-5
Let p be 185⁄35 + (-2)/7. Let s(d) = -7*d**3 + d. Let k be s(-1). Let b = k + -3. Solve -b*i - p = 4 for i.
-3
Let s be (-2)/(-4) + (-25)/10. Let t be (-2)/(-2) + (s - -1). Suppose -3 = -6*n + 5*n. Solve t = n*x + 3 + 3 for x.
-2
Let k be (-2)/3*288/(-4). Suppose 0 = -q + 4*q - k. Solve 2*t + 6 = q for t.
5
Let t(g) = g3 + 10*g2 - 10*g + 10. Let i be t(-11). Let d = 1 + i. Suppose -5*l + 0*l + 25 = -3*c, -2*c - 10 = d. Solve l*x + 25 = -3*x for x.
-5
Let r(b) = 4*b**2 + 2*b + 1. Let o be r(-1). Let w = -1 - -3. Solve -3 = w*x + o for x.
-3
Let z = -12 + 17. Let x be (-1 - -1)/(z - 7). Suppose 5*n = -4*t + 3*t + 25, -3*t + 3*n - 15 = x. Solve 0 = -4*c - t*c - 12 for c.
-3