Let n(t) be the second derivative of t4⁄12 + 2*t3⁄3 + 2*t**2 + 3*t. Let s be n(-5). Solve -5*y + s + 6 = 0 for y.
3
Let q = -1 - -4. Suppose -8*x + 13 + 19 = 0. Solve q*o = -o + x for o.
1
Suppose 0 = -2*k + 3*k - 3. Suppose -k*b - 20 = -8*b. Suppose g = -b*g + 175. Solve 10 = 5*z + g for z.
-5
Let r be 6/(-9)*-3*1. Suppose -20 = r*q - 4*g, -q + 4*g - 10 = -4q. Let p be (-1)/(q/(-6)-1). Solve -p*o = 2*o + 20 for o.
-4
Let o(f) = -2*f3 - 3*f2 - f + 1. Let j be o(-2). Solve -3*g + 1 = j for g.
-2
Suppose 3*r + 3 + 6 = -5*i, -2*i + 15 = -5*r. Let f be (1 - i)/(-3 - -4). Let x be (f + -9)/(-2) - 0. Solve 2 = x*a - 2 for a.
1
Suppose -3*z - 6 - 2 = -5*i, 5*z - 20 = 0. Let g(t) = -9*t - 12. Let f be g(-12). Suppose -10*m + f = -6*m. Solve -i*a = m - 8 for a.
-4
Let p be 3/(-3) - 9/(-1 - 2). Solve p*q + 12 = -q for q.
-4
Let i be 20/(-10)*(-6)/4. Let g be 0/(-1) - (0 - 0). Let y = i - g. Solve -2*f + y*f = 2 for f.
2
Let a(b) = b - 8. Let k be a(11). Solve -k*x + 6 = -0*x for x.
2