Let y(s) = s3 - 10*s2 + 1. Let c be y(10). Let v = c - -4. Solve z = -4*z - v for z.
-1
Suppose 0 = -2*b + x - 5*x + 12, 2*x = b + 6. Solve b = v - 1 for v.
1
Suppose -8*o = 5*o - 130. Solve 0 = -12*j + o*j for j.
0
Let v = -7 + 27. Suppose -5*j = -5*f + 3*f + v, 4*j - 17 = -5*f. Solve f*u + 19 = -1 for u.
-4
Let n = -20 + 31. Let p = 15 - n. Suppose 0 = 2*a - 2*b, 0 = -a + 5*b - 0*b. Solve -p = -a*z - 2*z for z.
2
Let g be (-4 + 2)(4 + -2). Let f be (-2)/g(2 + -2). Solve f = -0*u + 2*u - 8 for u.
4
Let i(l) = 10*l3 + 2*l2 + 3*l - 4. Let c(j) = -10*j3 - 2*j2 - 2*j + 3. Let g(n) = -3*c(n) - 2*i(n). Let p be g(1). Solve 3*o + 1 = -p for o.
-4
Suppose 5k + 36 = k. Let t be (k - -17)(-2)/(-8). Solve 15 = -y - t*y for y.
-5
Let b be ((-132)/11)/(4/(-2)). Solve -2*y - b = y for y.
-2
Let v(f) be the first derivative of 13*f**3⁄3 - f - 2. Let r be v(-1). Suppose 5*l - r - 8 = -5*k, -5*l = -2*k - 20. Solve 0*m - 5*m = k for m.
0