Let d be g(11). Solve m - d*m + 6 = 0 for m.
3
Suppose 0 = -3*p - 6 + 18. Suppose p*h = 5*h - 9. Let a = 10 - 7. Solve -h + 3 = -a*y for y.
2
Let c be (-4)/(-10) + 152/20. Suppose -6*d = -s - 2*d + 8, -3*s = 4*d - c. Solve 0 = q - s*q - 6 for q.
-2
Suppose -v - 4*v = -25. Suppose 10 - 40 = -v*n. Let i = 8 - n. Solve -10 = -0*m - i*m for m.
5
Suppose -5*m = m. Suppose 3 = -2*n + n. Let l = n + 5. Solve 6 = -m*u - l*u for u.
-3
Let t(m) = -m + 6. Let v be t(0). Let y(d) = d**3 - 6*d**2 + d + 6. Let u be y(v). Let h be -1*(-2 + 1 + 1). Solve 6*k - 2*k - u = h for k.
3
Suppose -49 = -5*x - 14. Suppose -2*u - 2 = 0, -j + x = -0*j - 3*u. Suppose -g + j*l = -6, l = -g - 4*l + 6. Solve -r = r + g for r.
-3
Let c = -155 - -181. Solve -5*g + 1 - c = 0 for g.
-5
Suppose -3*w = 4*d - 24, -d + 4*d - 5*w = -11. Suppose 4*n = 26 + 10. Suppose -2*q - 5*b + n = -6, -3 = -2*q - b. Solve a - d*a - 8 = q for a.
-4
Let n(r) be the third derivative of -r**6/720 + r**5/120 + r**4/6 - r**2. Let x(p) be the second derivative of n(p). Let o be x(-7). Solve o*i = 3*i - 25 for i.
-5
Let y be (-6)/16 - (-861)/56. Solve 0 = 4*f + f + y for f.
-3
Suppose -2*m - 5 = -3. Let z be -4 + 5 + (m - -1). Let f = 3 - z. Solve -3*y + 10 = f*y for y.
2
Let n = -1 - 3. Let h be 4 + 0 - (n + 3). Suppose 4*i - h*o - 17 = 0, -i - 5*o + 4 = 2*i. Solve -7 = 2*c - i for c.
-2
Suppose 2 = -5*g + 47. Suppose 0 = 5*c - 1 - g. Solve -c*y = -3*y + 5 for y.
5
Let p(l) = -l - 9. Let i(a) = -4*a + 3. Let q be i(4). Let t be p(q). Solve -t*f = 1 + 3 for f.
-1
Let h(m) = m**3 - 5*m**2 - 7*m + 6. Suppose 5*r - 5*c - 25 = 0, 0 = 5*r - c - 9 - 0. Let z be (r + -10)*4/(-6). Let v be h(z). Solve x = -v*x for x.
0
Suppose o + 10 = 13. Solve -o*u + 16 = -7*u for u.
-4
Let i be 1 + 1*(2 + 7). Suppose 5*b - i - 20 = 0. Suppose -l + b*l + 2*q = 81, l + 3*q = 24. Solve 3*m + 0*m = -l for m.
-5
Let s be 116/6 - 8/(-12). Let z = s - -3. Solve -4*h - 3 = -z for h.
5
Let k be 2 - (-1 - (2 + -3)). Suppose -3*x + 60 = -0*x. Suppose -5*f + 2*b + 108 = -0*b, 2*f + 5*b - x = 0. Solve 7*l = k*l + f for l.
4
Let o = -8 - -18. Let k = o - 7. Suppose 2*q - 26 = 14. Solve q = -l - k*l for l.
-5
Let v(n) = n**2 - 7*n + 4. Let k be v(9). Suppose 0 = 4*x - h - k, -2*h = h + 6. Solve -7 - 13 = -x*r for r.
4
Let p be 98/(-21)*(4 - 1). Let j = p - -39. Suppose -3*b = -2*r + r - j, 5*b + r - 31 = 0. Solve -3*f = -b*f + 4 for f.
1
Let x be 6/(-21) - (-23)/7. Let d = x - 1. Solve -d*v + 3 = v for v.
1
Let z = -3 - -9. Let y be (z/(-4))/(6/(-12)). Solve -2*f + y = f for f.
1
Let v(a) = -a**3 + 6*a**2 + 8*a - 4. Let j be v(7). Suppose j*z = 3*p - 24, -z + 11 = 2*p - 2*z. Solve p*q = -0*q for q.
0
Suppose 6*b - 4*b = 0. Suppose 5*r - 4*y = -4, 0 = 5*r + 5*y - 5 - b. Solve -l + 0*l + 2 = r for l.
2
Let i(g) = g**2 + 2*g - 3. Let y(a) = -a + 1. Let l(c) = i(c) - 2*y(c). Let d be l(-5). Solve h = -d + 5 for h.
5
Let a be (-2)/(-8) - (-6)/8. Suppose 5*c + a = s, s + c + 1 = 2*s. Let t = s + 1. Solve 7 = 3*y - t for y.
3
Let k(r) = 2*r - 3. Let x be k(2). Let t = 1 - x. Let n(o) = 2*o - 6. Let s be n(5). Solve -s*i + t*i = -20 for i.
5
Suppose c - 5*c + 8 = 0. Suppose -5*l + 2*w + c*w + 9 = 0, l = -4*w - 3. Let p be l/(-6) + 38/12. Solve 2*j = p*j + 4 for j.
-4
Suppose 7*i - 28 = -0*i. Let b be 9*1/(-3)*-1. Solve -b*c + i*c + 4 = 0 for c.
-4
Let m(s) = s**3 - 8*s**2 + 8*s + 3. Let r be m(7). Let g(p) be the second derivative of -p**5/20 - p**3/6 - 2*p. Let u be g(-2). Solve -5*v = -u*v + r for v.
2
Suppose -4*n = -15 + 3. Suppose s = -n*s + 24. Solve -2*a - s = 4 for a.
-5
Let v = 25 + -1. Let w be (v/14)/(3/21). Solve k = -3*k - w for k.
-3
Let q = 16 + -14. Solve -q*m = 6 - 0 for m.
-3
Let v be ((-1)/2)/((-1)/4). Suppose 0 = -v*w - 4*n - 0 + 8, 3*w - 1 = 5*n. Solve -5*u + 13 = -w for u.
3
Let q(j) = -j**3 + 4*j**2 - j + 4. Let z be q(4). Suppose z = 5*w + 4*f - 9, -5*w - 2 = -2*f - 5. Suppose 0 = -5*o + 6 - w. Solve -3*i + 4*i + o = 0 for i.
-1
Let u be 6/4*12/9. Solve g = -u*g for g.
0
Suppose -13*r + 3 = -10*r. Solve -9 = -2*j - r for j.
4
Suppose -2*a + 8 = -n, -3*a = 5*n - 12 - 13. Let g = 5 - n. Suppose 3*c - 7*c = -12. Solve -c = 3*u + g for u.
-2
Suppose -2 = -16*p + 190. Solve 4*a = -0*a + p for a.
3
Let q = -1 + -2. Let a be q*(-3 + 2) + -1. Solve a*l + l = -12 for l.
-4
Let p = -11 + 14. Suppose p*n - 10 = -2*n. Solve 0 = n*i - 6*i + 12 for i.
3
Let k(o) = -o**3 - o**2 + 4*o + 4. Let z be k(-3). Let i = 19 - z. Solve -3*a = -0*a - i for a.
3
Let y(p) be the first derivative of p**3/3 - 2*p**2 + 2*p - 3. Let n(m) be the first derivative of y(m). Let j be n(3). Solve 2*l + 0*l - j = 0 for l.
1
Suppose 0 = -4*u + 2*u. Suppose -4*k + 2*k = -2. Solve -k = -c - u for c.
1
Suppose 4*j = 5*j - 14. Suppose 24 = 4*d - 0*d. Let u be (-54)/(-10) + (-4)/10. Solve j = -u*v - d for v.
-4
Suppose -5*t + 38 = 13. Suppose 0 = l - 5*y - 19, t*l - 6*y + 2*y - 32 = 0. Solve -b = -l*b + 6 for b.
2
Let j(b) = 2*b**2 - 3*b + 1. Let o be j(2). Suppose 2*i - 20 = 5*v, -4*v + 2*v + o = -3*i. Let y be (-3)/v - 1/2. Solve 3*x - 12 = -y*x for x.
4
Suppose 14 = -0*h + 2*h. Let o be 2/h - (-2)/(-7). Solve -3*r + 2*r = o for r.
0
Suppose -3*x = -x. Let k(n) be the second derivative of n**5/20 + 13*n**4/12 + n**3/6 + 15*n**2/2 + 2*n. Let w be k(-13). Solve -6 = -x*y - w*y for y.
3
Suppose -p + 9 = -3*r, 4*p - 8*p + r = -47. Suppose 2*h - 4*s + 0 = 4, 0 = -4*h + 4*s + p. Let d(c) = -c**2 + 9*c + 1. Let t be d(8). Solve -h*l = -l + t for l.
-3
Let t(c) = c**2 + 6*c + 6. Let x be t(-5). Suppose x = -2*n + 7. Solve 5*j = n*j + 2 for j.
1
Let z(j) = j**3 - 2*j**2 - 3*j. Suppose 2*r + 21 = 5*r. Suppose -3*t + 2*v = -2*v + r, 3*t - 5*v = -11. Let o be z(t). Solve -s + 2*s - 5 = o for s.
5
Let i(q) be the third derivative of -q**5/60 - 5*q**4/24 + q**2. Let o be i(-5). Suppose 10*s - 5*s - 10 = o. Solve 0 = d + s*d - 6 for d.
2
Let c = -5 + -7. Let f = c + 2. Let v be ((-42)/f)/((-2)/(-10)). Solve 5*h - v - 4 = 0 for h.
5
Let l be -3 - (-4)/((-4)/(-5)). Suppose -i = -0*i - l. Let f be (-1)/(-2)*(4 + i). Solve 2*b + f = b for b.
-3
Let v(z) = 2*z**2 - 34*z. Let u be v(17). Solve 0*i - 4*i - 20 = u for i.
-5
Suppose 0 = d + 2 - 5. Solve 3*o - d = 4*o for o.
-3
Suppose 5*d + 25 = 5*m, -3 = -3*m - 2*d - d. Let h = m + -3. Solve h*o - 3*o = 0 for o.
0
Let z(x) = 4*x**2 - x - 2. Let v be z(-2). Let m = -14 + v. Solve -m*u - u = -9 for u.
3
Suppose f - 10 = -4*o, -3*o + 2*f + 13 = -0*o. Solve 8 = o*g + 2 for g.
2
Let r be (-225)/(-30)*(-4)/(-6). Let q = -5 + 7. Suppose -q*u = -6*u. Solve r*m - 14 + 4 = u for m.
2
Let l(n) = 2*n - 5. Suppose 0*x = -2*x + 8. Let m be l(x). Let w = 4 - m. Solve 0 = y + 5 - w for y.
-4
Let w(q) = q**2 + 11*q + 10. Let j be w(-8). Let a = -11 - j. Solve -a*g + 8 = g for g.
2
Suppose 85 = 5*p - 5*j, 4*j + j + 73 = 4*p. Suppose -3*z + p = -0. Solve f = -z*f for f.
0
Suppose 4*q = -2 + 18. Suppose -3*g + 5*t = q*t - 9, -5*g + 7 = t. Let i be (-2)/(-6) + g/(-6). Solve i = 4*r - 8 - 4 for r.
3
Suppose -b + 69 = -4*t, 18 = -0*t - t + b. Let a = -9 - t. Solve 3*d = -d - a for d.
-2
Let r(d) = -d**2 + 4*d - 4. Let h be r(4). Let v = h - -6. Solve -f + 0 = -v for f.
2
Let p = -49 + 54. Solve -p*g = -10*g + 20 for g.
4
Let b(s) be the second derivative of -2*s**3/3 + s**2/2 - s. Let g be b(2). Let k(p) = p + 9. Let y be k(g). Solve q = -y*q for q.
0
Let n = 7 + -7. Suppose -c = -0*c. Let i be n/4 - (-3 - c). Solve 0 + 9 = i*t for t.
3
Let p(v) = -v**2 + 4. Let b be p(0). Solve b*f - 16 = 4 for f.
5
Suppose 5*x = 3*j - 34, 0 = -2*x - 15 + 5. Solve -1 - 5 = j*b for b.
-2
Let m be (-6)/(-3) + (25 - -3). Let k be 57/18 + (-5)/m. Solve -k*z - 7 - 5 = 0 for z.
-4
Suppose 3*x + x - 32 = 0. Suppose b = -x + 20. Solve 0 = 5*d - d + b for d.
-3
Let t(q) = -5*q - 67. Let g be t(-14). Solve -2*p + 7 = -g for p.
5
Suppose -44 = -14*h + 12. Solve 0 - 8 = h*q for q.
-2
Suppose 3*m = -2*m + 10. Suppose 4 - 6 = -m*z. Solve -2*i + 3 = -z for i.
2
Suppose 3*i = -28 + 34. Solve -a + 6 = i for a.
4
Suppose k = -f + 6, f + 6 = 3*f + 5*k. Let i(d) = -d - d**2 + d + f*d + 13. Let m be i(9). Solve -m*s + 8 = -2*s for s.
4
Let s(a) = -a**2 + 6*a. Let r be s(6). Let p be (r/(-5))/(2*-1). Solve -5*y = -p*y + 25 for y.
-5
Let f = 12 - 8. Solve -6*h + f = -2*h for h.
1
Let t(l) = l**2