 + p**4/6 + 4*p**2. Let x(g) be the second derivative of u(g). Let f be x(0). Solve f*q + 23 = -2 for q.
-5
Suppose -x = 3*n - 6, -x = -2*x - 5*n + 8. Solve 0 = x*z - 3 - 3 for z.
2
Let u be 0 - 7/(-1) - -2. Solve -3*z - 24 = -u for z.
-5
Let o(w) = w**2 - 4. Let p(c) = c**2 + 9*c + 11. Let b be p(-8). Let x be o(b). Solve -i + 0*i + x = 0 for i.
5
Let f be 27/(-18)*(-8)/3. Let a(u) = -u**3 + 5*u**2 - 3*u + 6. Let z be a(f). Solve q = -q - z for q.
-5
Let x = -35 - -41. Solve 0 = 4*j + 10 + x for j.
-4
Let w = 16 - 14. Suppose -4*o + 14 = -w. Suppose -38 = -2*y + 3*k, -63 - 11 = -5*y - 3*k. Solve o*m - y = -0 for m.
4
Let d(z) = 2*z + 4. Let n be d(-9). Let p = n + 24. Solve 0 = 4*s - 10 - p for s.
5
Let w(i) = 7*i - 38. Let h be w(6). Solve 0 = 3*o - h - 8 for o.
4
Suppose -26*m = -28*m. Solve -3*b + 1 - 4 = m for b.
-1
Let g(l) = -3*l + 2. Let f be g(-2). Let v = -5 + f. Solve -v*m + 4*m + 4 = 0 for m.
-4
Let m(o) = 8 - o**2 + 3 - 6*o - 2*o. Let s be m(-9). Let q be s + -3 + 1 + 2. Solve r + r = q for r.
1
Suppose 0 = 3*m - 9 + 3. Solve 7 - m = u for u.
5
Suppose -2*u + 4 = -6*u. Let k be (-2 + -1)/(u + 0). Solve -15 = -2*j - k*j for j.
3
Let h = 120 + -104. Solve -5*l + l - h = 0 for l.
-4
Let t be (-24)/(-14) + (-13)/((-455)/10). Solve -3 - 3 = t*o for o.
-3
Let w(g) = 2*g + 3. Let f = -4 - -7. Let d be w(f). Suppose -3*l + 5 + d = 4*m, 2*m = 5*l + 20. Solve 0*u + m*u = -10 for u.
-2
Let z = 23 - 20. Solve k = -0*k + z for k.
3
Let t = -7 + 34. Suppose t = 3*d - 18. Solve c - d = -2*c for c.
5
Let i be (-4)/(-5)*105/6. Let r be i/(-21) - 8/(-3). Solve -3 = r*k - 13 for k.
5
Suppose 3*b = -2*c, -2*b - c + 1 = -0. Suppose 2*u - 3*z - 12 = z, -2*z - 6 = b*u. Solve h + 0*h + 5 = u for h.
-5
Suppose 5*i = -3*n + 19, 0 = -2*i - 5*n + 7 + 12. Solve -2*y = i + 2 for y.
-2
Suppose 2*a = 3*g + 4, g - 2*g = -4*a + 8. Solve 0 = i - g*i for i.
0
Let w = -29 - -31. Solve -4*n = 2 + w for n.
-1
Suppose -2*n + 9 = n. Let f(r) = 2*r - 4. Let t be f(4). Suppose n*k + 2 = -t*g + 33, 33 = 2*g + 5*k. Solve -g*c + 0 - 12 = 0 for c.
-3
Let i be (-13)/(-3) + (-2)/6. Suppose 21 + i = n. Solve -2*m = 3*m - n for m.
5
Suppose -169 = -2*q - 39. Suppose 2*w = -15 + q. Solve -l = 4*l + w for l.
-5
Let l be (-6)/(4 - ((-22)/(-4) + 0)). Solve l = -b - 0 for b.
-4
Let v = -8 + 8. Solve v*m = -4*m + 16 for m.
4
Suppose w - 2 = 2. Solve 0 = -w*u + u - 6 for u.
-2
Let r = 24 - 24. Solve r*q = 2*q for q.
0
Let z be (-4)/10 - (-57)/5. Let t = z + -4. Suppose 2*f = t*f - 45. Solve -4*u = -u - f for u.
3
Let v be 6/(2/5 + 0). Suppose a - 6*a = -v. Solve 0*c = a*c - 9 for c.
3
Let w(p) = -p + 2. Let o be w(-2). Suppose -26 = -2*f - 10. Let t be (9/(-6))/((-3)/f). Solve 2*q + t = -o for q.
-4
Let l(r) = -4*r - 15. Let w be l(-6). Solve 0 = -4*h + 11 + w for h.
5
Suppose -8*a + 13*a = 45. Solve -4*p = -p - a for p.
3
Suppose -6*g = -0*g. Let w = 23 + -12. Solve -4*f - 27 + w = g for f.
-4
Suppose -3*t = 5*t - 64. Suppose 0*j + 8 = 2*y - j, y = 2*j + 4. Let w = -2 + 2. Solve -4*u + y + t = w for u.
3
Suppose 2*w + 10 = -8. Let y = 13 + w. Solve 2 - 6 = y*b for b.
-1
Suppose 0 = -3*p + 2 - 8. Let w(m) = m**2 - 2*m - 3. Let v be w(p). Suppose 3*r = 5*j - 1, 5*j = -r + 6*r - v. Solve 0 = -j*q + 4 - 2 for q.
1
Let z(w) = -2*w**2 + 6*w + 4. Let r be z(3). Solve 8*j = r*j + 8 for j.
2
Suppose -3*m + h = -30, -2*h + h = 5*m - 58. Let x = m - 7. Solve 11 = x*k - 9 for k.
5
Let f be ((-15 + 5 - -4) + 6)/2. Suppose -6 = -5*i + 14. Solve i*z - 2*z + 10 = f for z.
-5
Suppose 27*m + 21 = 30*m. Solve m*a = 10*a - 6 for a.
2
Suppose -8*v = -3*v + 2*g - 9, 0 = -3*g + 6. Let q be 1/(1/(2 + 1)). Let z be v*(1 - 0/q). Solve -z = 5*m - 16 for m.
3
Let f(c) = 6*c**3 + 5*c**2 + 6. Let r(a) = -5*a**3 - 4*a**2 - 5. Let k(v) = 6*f(v) + 7*r(v). Let g be k(-2). Solve l - g = 4 for l.
5
Let s = -8 - -10. Solve -s*h - 4 = 2 for h.
-3
Suppose 1 + 2 = n. Let y = n + -7. Let k be (-6)/y + (-1)/(-2). Solve -l + k*l = -2 for l.
-2
Suppose 5*b - 2*x = -13, 6*x - 17 = 5*b + 3*x. Let v be (-10 - -9)/(b*1). Solve 2 = -g - v for g.
-3
Suppose -4*n = -20 - 32. Suppose z = 1 + 11. Let m(p) = p**3 + 11*p**2 + 9*p - 10. Let s be m(-10). Solve s = -5*w + n + z for w.
5
Let r(u) be the first derivative of 3*u**2/2 + 3*u + 3. Let s be r(-3). Let n(t) = -t - 6. Let g be n(s). Solve g*h + 4 = 2*h for h.
2
Suppose 29 = -4*b - 3. Suppose -3*l + 5*w + 14 = 0, 0 = 4*l + w + 19 - 76. Let f = b + l. Solve -f*y + 10*y = 25 for y.
5
Let s(j) = -j + 7. Let g(u) = u. Let a be g(5). Let f be s(a). Suppose 0 = 5*n - f*r - 14, -1 = -4*n + 5*r - 0. Solve -y - 10 = n*y for y.
-2
Let c = 5 + -1. Solve c*t - 4 = 12 for t.
4
Let a = -18 + -2. Let b = -20 - a. Solve -4*z - 2 - 14 = b for z.
-4
Let l = -15 + 20. Solve -3*b - 1 = l for b.
-2
Suppose -5*g = -g - 24. Let d be 2/(8/10)*2. Solve -d = g*u - u for u.
-1
Let h(i) = i**2 - 7*i. Let a be h(7). Suppose -5*v = -a - 20. Solve -2*b + v = -2 for b.
3
Let j = -4 + 0. Let t = -4 - j. Solve -15 = 5*l - t for l.
-3
Suppose 10 = -d + 2*y, -6*d - 8 = -d + 4*y. Let s = -1 - d. Suppose c + 5*j - 27 = 0, -2*c + 2*j = 9 - s. Solve c = -p - p for p.
-1
Suppose -11 = -3*r + 7. Solve -r*z + 2*z = 8 for z.
-2
Suppose -4*u = -5*u - 10. Let h be u*-1*(-2)/(-4). Let r = h + -5. Solve r*p - 4*p + 8 = 0 for p.
2
Let n = 5 + 4. Solve -n = 6*j - 3*j for j.
-3
Let b = 4 + 0. Solve -6*g = -2*g + b for g.
-1
Suppose 2*a = -3*z + 19, 3*z - 8*a = -4*a + 7. Suppose 4*y = 1 + 19. Solve y*r - z + 0 = 0 for r.
1
Let v = 6 + -1. Suppose -f + 0*f + l + 2 = 0, 5*f + 2 = -l. Solve -r + f*r = v for r.
-5
Let j be ((-20)/(-12))/(2/(-30)). Let b = -9 - j. Solve 5*y - 9 - b = 0 for y.
5
Suppose 3*b - 14 = -2. Solve -2*i = 2 - b for i.
1
Let y(z) = -z**2 - 9*z - 2. Let t be y(-4). Suppose -t = 4*x - 6. Let f be x/9 + 84/9. Solve 0 = -f*k + 4*k + 15 for k.
3
Let f = 93 + -91. Let d = 0 + 0. Let s = d + 0. Solve f*x + 3*x = s for x.
0
Let g(j) = -2*j - 45. Let p be g(-24). Solve p*y + 3 = -0 for y.
-1
Let n(c) = c - 7. Let j be n(9). Solve -j = -0*o - 2*o for o.
1
Let t be 18/12 + 30/(-4). Let o = t - -14. Solve w + w = o for w.
4
Let l be (-10*(-3)/(-6))/(-1). Solve 0*s = -l*s - 15 for s.
-3
Let i be (-2)/((-5)/(45/6)). Solve p + 8 = i*p for p.
4
Suppose -4*o = -0*o - 16. Solve 0*c = o*c for c.
0
Let p(j) be the second derivative of j**3/6 + 4*j**2 + 2*j. Let t be p(-7). Let c be 3*t - (-4 + -3). Solve k + c = 3*k for k.
5
Let b be (-1)/(-2 + 7/3). Let q = b - -9. Solve 2*r = 5*r + q for r.
-2
Suppose 2*k + k - 5*y = -2, y + 8 = 2*k. Let o(j) = -j**3 + 5*j**2 + 6*j + 3. Let c be o(k). Solve 7 + 5 = c*u for u.
4
Let v = -74 + -2. Let c be v/(-18) + 8/(-36). Solve -5*g = -c*g for g.
0
Let t be (6/(-9))/((-2)/(-54)). Let r = -29 - t. Let a = -10 - r. Solve 0 = -3*y + 5 + a for y.
2
Let p be (2/(-4))/(4/16). Let h be p + (1 - 0) + 3. Solve -h = -3*j + 1 for j.
1
Suppose 3*w = -0*w + 12. Let l be 6 - (-52)/(-9) - (-356)/18. Solve 0 = m + w*m - l for m.
4
Let r(s) = s**3 - 5*s**2 - 4*s + 3. Let w be r(6). Suppose -3 = -f + w. Suppose -2 - 2 = -p. Solve f = p*x - 2 for x.
5
Let h(g) = -g**2 + g - 1. Let o(z) = -3*z**2 + 7*z - 8. Let k(f) = -4*h(f) + o(f). Let y be k(-4). Solve y*c - c = 5 for c.
-5
Let w = 25 - 20. Solve 0*o + w*o + 10 = 0 for o.
-2
Let l be 0 + (-2)/(-3) + (-28)/(-12). Let x = -70 - -128. Suppose -x = -2*i - 8. Solve -i = -l*z + 8*z for z.
-5
Let l = 7 - 4. Suppose -2 + 8 = l*i. Let r(p) = p**2 - 1. Let q be r(i). Solve 1 = -t + q for t.
2
Let n be (1/(-2))/((-2)/(-60)). Let f be ((-24)/n)/((-4)/(-10)). Suppose f*s = -s + 10. Solve -s*l = -l - 3 for l.
3
Suppose -4*d - 3*t - 6 = 0, 2*d - 5*t = 7 + 3. Solve d = -2*w + w for w.
0
Let q be 0/((-5 - -4)/(-1)). Solve q = 2*k + 3*k - 15 for k.
3
Let p(h) = h**2 - 3*h. Let o be p(4). Solve -o*r + 8 + 4 = 0 for r.
3
Let i be -4*(-1)/2*4. Solve 6*v = 4*v - i for v.
-4
Let u = 54 - 49. Solve -10 = -5*z + u for z.
3
Let i be (-3)/(6/(-4) + 0). Let x = 14 + -10. Suppose -x*t - 109 = -5*m - i*t, 4*t - 12 = 0. Solve 5*q + 8 - m = 0 for q.
3
Let g(p) = -p**2 - 7*p - 7. Let s be g(-6). Let b = 3 + s. Solve 6*m - 4 = b*m for m.
1
Suppose 5*m + 1 = 6. Let q(y) be the third derivative of 3*y**6/40 + y**5/60 + y**2. Let x be q(m). Solve 5*o + x = -5 for o.
-3
Let y(m) = -m**2 + 7*m - 6. Let