lve -p*b = -8*b - 16 for b.
-4
Let x(r) be the second derivative of -1/12*r**4 - 3*r - 7/6*r**3 + 0 - 2*r**2. Let h be x(-5). Solve 3*f - h = -0 for f.
2
Suppose -3*x = -0*w + 2*w - 11, 0 = -w - 2. Suppose -5*h + 4*g + 65 = 5*g, x*h - 45 = 3*g. Suppose -4*o - 17 = -25. Solve 5*y = o*y - h for y.
-4
Let o be ((-84)/(-36))/(2/6). Suppose 0 = 5*f - 3 - o. Solve -f*v + 3 + 5 = 0 for v.
4
Suppose -4*l - 3*k + 17 = -4*k, 7 = 4*l + k. Solve l*p + 4 - 1 = 0 for p.
-1
Suppose 6 = 23*g - 21*g. Solve 2*w = -5 - g for w.
-4
Let a be (36/(-15))/((-3)/20). Let b be a/12*(7 - 4). Let l(z) = z. Let n be l(2). Solve b*t = n*t for t.
0
Let o be 4 + (-7 - -3 - -1). Solve -5*l - 26 = -o for l.
-5
Let v = -8 - -4. Let q be v*1*4/(-16). Solve 0 = -5*i - q - 4 for i.
-1
Let y be (-4 - (-30)/(-25)*-3)*-5. Solve -3 = -r - y for r.
1
Let w be 1*8/2 + -3 + 0. Solve -3*y + 4 - w = 0 for y.
1
Let a = -12 + -1. Let u be (-3)/(-7)*(20 + a). Solve 0 = -4*n + u*n - 2 for n.
-2
Let g = -6 - -15. Let m = g - 6. Solve m*u - 5 = -2 for u.
1
Suppose -u + 3 = 2. Let o = u + 3. Solve -3*q + 2*q + o = 0 for q.
4
Suppose c + c - 8 = 0. Solve c = -2*v - 6 for v.
-5
Let z be (-27)/(-9) + 1 + -2 + 3. Solve z = -2*m + 1 for m.
-2
Let k be ((-10)/(-3) + -4)*51. Let g = k - -50. Solve 0 = 5*j - j - g for j.
4
Let r(q) = -q**2 - 7*q - 4. Let x be r(-6). Suppose 5 = x*t + 3*p - 4, -2*t - 2*p = -12. Solve h - t = 4*h for h.
-3
Let g(k) be the second derivative of -k**5/20 + k**4/6 - k**2/2 + 5*k. Let i be g(-1). Solve -7 = i*b + 1 for b.
-4
Suppose x + 2 = 2*x. Let f = x + 3. Suppose 4*t + f*s - 12 = 0, t - 6 = -s - 2. Solve -t = i + i for i.
-4
Let z(w) = -w - 3. Let m be 5/(-10)*(0 - 12). Let r be z(m). Let u be 3*((-21)/r - 2). Solve -u = -3*c - 13 for c.
-4
Suppose -5*l = -10, 2*a - 71 = -3*l - 17. Suppose 2*m = -p, -m = p - 5*m - a. Solve p + 7 = 3*i for i.
5
Let m(d) = -d**2 - 4*d + 5. Let i(v) = -v - 1. Let s be i(4). Let z be m(s). Suppose -2*l + 3*l - 1 = z. Solve c + l + 0 = 0 for c.
-1
Let m be 16/3*54/(-24). Let z(q) = -q**2 - 11*q + 17. Let g be z(m). Solve -g*w + 6 = -9 for w.
3
Let n(i) = -i**2 + 3*i. Let z be n(2). Suppose 6 = 3*h - z*l, 2*l = -3*h + 26 - 8. Solve h = -c + 9 for c.
5
Let a = -62 - -67. Solve -a*b - 5 = 20 for b.
-5
Suppose -3*y = -0*y. Let m(k) = k**3 + k**2 - 4. Let d be m(y). Let z = 4 + d. Solve c - 1 = -z for c.
1
Let v be 5/2 - 2/4. Solve 3 = v*d + d for d.
1
Let c = 3 - -11. Solve 1 = 3*h - c for h.
5
Let k = -34 - -39. Let r(m) = -m**3 + m - 3*m + 5*m**2 + 3*m + 4. Let f be r(k). Solve f = -2*i + 5*i for i.
3
Let u = -4 + 25. Solve -u = 5*z - 6 for z.
-3
Let t be (2 + -1)/1*0. Suppose -3*s - 4*r = -r - 6, -2*r + 2 = t. Suppose -u + 0 + s = 0. Solve -b = -u + 6 for b.
-5
Suppose 2*j + 0 = 2. Solve 4*s - 3 - j = 0 for s.
1
Let s be (1/(-4))/(4/(-16)). Let u = s + 1. Solve u = -3*b - 1 for b.
-1
Suppose -3*i = -0*i - 6. Let g(p) = -7 + 8*p - p**i + 5 - 7. Let c be g(6). Solve 0*v + c = -v for v.
-3
Suppose -5*c = -6*c + 4. Solve -m = -1 + c for m.
-3
Let r(l) = -2*l - 11. Let h be r(-8). Suppose 3*w - 5 = -h*k, -3*k - 3*w - w - 8 = 0. Suppose -m - 15 = -k*m. Solve -i + 1 = m for i.
-4
Suppose -48 = -w - 3*w. Solve -2*h = h + w for h.
-4
Let z = 0 + 6. Let s = z - 14. Let l be 6/s*(1 + -5). Solve l*a = -a + 4 for a.
1
Let n be 2*4*1/2. Suppose 0 = -4*p + 3 + 13, 0 = -2*y + n*p - 10. Suppose 4*u + 0 = -3*j + 25, -y*u + 27 = 5*j. Solve -q - 6 = -j for q.
-3
Suppose a = -s + 3, -s - s = -4. Let o be 9 - (-1 + a)/(-2). Let t be -3*3/o*-2. Solve 0 = 3*n - t + 11 for n.
-3
Suppose -15*u + 22*u = 21. Solve -20 = p + u*p for p.
-5
Let w be -9 + (-84)/(-8) + (-2)/4. Solve w = 2*r - 7 for r.
4
Let k be (2 + 1/1)*14/42. Solve 5*h + 4 = -k for h.
-1
Suppose -4*x + 4 = -3*p - 2, 0 = 5*p + 2*x - 16. Suppose b - 15 = -p*b. Solve o = b*o + 16 for o.
-4
Let f(c) be the second derivative of 0 - 1/12*c**4 - 3/2*c**3 - 3*c - 5/2*c**2. Let z be f(-4). Solve 2*x - z = 7*x for x.
-3
Let j be 10*((-12)/(-4) + -1). Solve g - j = 5*g for g.
-5
Let r(v) = -v**2 + 6*v - 4. Let j be r(3). Let f be 20/(2 + (-8)/j). Suppose -5*i + f = -0*i. Solve 4*n - 2 + i = 0 for n.
-2
Let i be 10/45 - (-2)/(-9). Suppose 6*n - 3*n - 36 = i. Solve 0 = -5*w + w - n for w.
-3
Suppose -15 = -5*m, -3*s = -m - 2*m - 30. Solve 5*c - 2 - s = 0 for c.
3
Let p(u) = u**2 + 7*u + 10. Let o(i) = -i**3 + i**2 - 2*i + 1. Let c be o(2). Let b be p(c). Solve -b = -k - 4*k for k.
2
Let k = 7 - -1. Suppose 0 = 2*x + 2*x - k. Solve 5 = x*r - 5 for r.
5
Suppose -3*a - 5*l + 28 = -3*l, 0 = l + 4. Let q = 1 + -1. Suppose -3*x + 0*x = a, 5*f + x - 46 = q. Solve 3*i + f = 8*i for i.
2
Suppose -2*g = 3*g - 40. Let r be (-5)/20 + 2/8. Solve 2*h - g = -r for h.
4
Let a be 1 + -1 - (2 - -2). Let i = 10 + a. Solve i*s - 2*s - 20 = 0 for s.
5
Let v(c) = -c**2 + 10*c + 16. Let u be v(11). Suppose 0 = u*i - 0 - 155. Suppose -9 = -2*y + 13. Solve -4*x + i = y for x.
5
Suppose -5*l + 39 + 31 = 0. Let m be -3 + 3 + 2*-1. Let t be 1 + 1 - (-1 - m). Solve 3*a = -t - l for a.
-5
Let k(z) = -z**2 - 5*z - 3. Let q be k(-3). Solve 8 = -q*h - h for h.
-2
Let k(s) = 3*s + 8. Let b be k(-2). Solve 0 = b*f - 5*f + 6 for f.
2
Let h be 1 - (3/1 + -2). Solve -n - 2 - 1 = h for n.
-3
Suppose -4*h - c + 33 = -4*c, -4*h + 5*c + 23 = 0. Let r = h + -8. Solve -r*u = u + 25 for u.
-5
Let r(k) = 5*k + k**3 - 5*k + 3 - 8*k**2. Let p be r(8). Solve -p*q = -7 - 2 for q.
3
Suppose -x = k, 0*k = 3*x - 2*k + 20. Let i(p) = p**3 + 4*p**2 + 1. Let b be i(x). Let v be (-1)/((-1 + 0)*b). Solve 0 = 2*f - v - 3 for f.
2
Let d be (0 + 2/3)*6. Solve -3*z + 5 = -d*z for z.
-5
Suppose 3*s + 0*s = -39. Suppose 0 = 5*h + 3*b - 93, -h + 5*h - 80 = -b. Let n = h + s. Solve n = 3*v - 1 for v.
3
Suppose -10 + 4 = -3*s. Solve -5 = t - s for t.
-3
Let j(m) = 2*m - 1. Let c be j(-2). Let i be 8 - c/((-5)/(-2)). Let d be (-2)/9 - (-76)/18. Solve -2 + i = -d*u for u.
-2
Let y be -2 + -1 - (-2 + 0). Let j be 0/(-2) + 1 + y. Solve j = 3*q - q for q.
0
Suppose 3*z = 6, -s - 3*z = -2*s - 2. Suppose 7*g - 3*g = s*x - 4, -x - 3 = 3*g. Solve 0 = -x*l - 2*l + 8 for l.
4
Suppose -5 = -3*b + c, b = 5*c + 3 - 6. Let u = 1 + b. Solve -28 = 5*q - u for q.
-5
Let a(d) = -d**3 - 15*d**2 - d - 10. Let v be a(-15). Solve 3*y - v = 4 for y.
3
Let z(p) be the second derivative of -p**4/12 - 4*p**3/3 + p. Suppose m + 6 = -2. Let d be z(m). Solve 0 = -5*a - d*a - 10 for a.
-2
Let o = 1 - -3. Let c = o + 6. Suppose 0 = i + 4*i - c. Solve -i = r - 1 for r.
-1
Let t(z) = -2*z - 5. Let x be t(-6). Let j be (-33)/(-7) - (-4)/14. Suppose -x - j = -2*s. Solve o - s*o = -15 for o.
3
Suppose 0 = -t + v + 12, 53 = -0*t + 4*t - 3*v. Solve -4*r - 3 = t for r.
-5
Let m be 5 - 3/(3 - 0). Suppose 4*t - 4*o + 8 = 0, 3*t + t - m = o. Suppose t*z - 25 = -3*z. Solve -h + z = -0*h for h.
5
Suppose 2*t + 4*o = 8, -5 = -0*t - t - 3*o. Let g be 13*(0 + t - 1). Solve g - 1 = 4*b for b.
3
Let x(p) = -p**2 - 13*p - 16. Let d be x(-11). Suppose d*y = y. Solve 0 = -y*h + 3*h for h.
0
Let g = -12 - -18. Suppose 5*c = 9 + g. Let p = 3 - 0. Solve -p = -3*r + c for r.
2
Let u(r) = -2*r - 6. Let d(o) = -2*o + 2. Suppose -6 = -z - 3. Let g be d(z). Let n be u(g). Solve -4*l + n*l = 0 for l.
0
Let k(q) = -q**2 - 5*q + 11. Let a be k(-6). Suppose a*v + 2*u + 2*u = 75, -2*v - u + 30 = 0. Solve 4*d - v = 1 for d.
4
Let p be (-2)/(-18)*3*6. Suppose -5*m = -p*m. Solve -4*z + z + 15 = m for z.
5
Suppose 6*w - w = 30. Solve 0*c + 3*c = w for c.
2
Let u = -3 + 3. Solve j - 2 = -u for j.
2
Let n(c) = -c + 16. Suppose 3*k = -o - 0*o + 2, -2*o + 34 = -4*k. Let z be n(o). Suppose 0 = -2*x + x + z. Solve -x*w = -0*w for w.
0
Let t be 6/(-4)*(-8)/3. Suppose 4*i - 41 = 27. Suppose -i + t = -k. Solve 4*f - 1 = -k for f.
-3
Let x(f) = -f**3 - 3*f**2 - f + 1. Let v be x(-2). Let w = 0 + v. Let b = w + 1. Solve -d - 1 + 4 = b for d.
3
Let m be -30*((-14)/10 - -1). Solve -m = 2*p - 2 for p.
-5
Let m = -10 - -17. Let j be 189/49 - (-1)/m. Solve j*g = g for g.
0
Suppose -3*i + 15 = -4*b + 2*b, 0 = 5*b + 3*i + 69. Let u be ((-21)/b)/(2/(-8)). Let h be u/21 + 20/6. Solve -h*f + 10 = 1 for f.
3
Let c(u) = -5*u. Let f be c(-2). Solve -3*k - f = -8*k for k.
2
Let u(d) = -d**2 - d. Let w(j) = j - 8. Let o be w(6). Let g be u(o). Let a be (-7 - 1)/g + -2. Solve 