7 - 13 = p for b.
5
Suppose 3*p = 13 + 5. Suppose -9 = n - p. Let q be -2*(1 + 1 + n). Solve q + 7 = -3*g for g.
-3
Let q = 7 + -1. Let z(x) be the third derivative of x**4/24 - 2*x**3/3 - 2*x**2. Let d be z(q). Solve 4*h - 6 = d*h for h.
3
Let g be -1 - (0/(-1) - 2). Let y be (-3)/(-6)*(8 + -4). Solve -a + y*a = -g for a.
-1
Let k = -77 - -80. Solve -25 = k*r + 2*r for r.
-5
Let m(k) = 10*k**2 - k + 1. Let q be m(1). Let u = q - 4. Suppose h = -4*l + 3, -2*l + 3*h + 0*h - 9 = 0. Solve l = 4*v + 26 - u for v.
-5
Let v(j) = -8*j - 3. Let u(d) = 7*d + 2. Let k(i) = 7*u(i) + 6*v(i). Let o be k(7). Solve 2*s = -o*s - 25 for s.
-5
Suppose -2*b + 18 = -2*r, 2*b - 1 = 4*r + 27. Solve -13 = -3*w - b for w.
3
Let y(z) = -14*z**3 - z. Suppose o = 3*o + 2. Let g be y(o). Solve 0*u - 5*u = g for u.
-3
Suppose 0*g + 14 = 2*g. Solve -2*b - 25 = -g*b for b.
5
Let f = 14 - 9. Let l = -1 + f. Suppose n - 2*x - 8 = 0, 1 = 3*n + 3*x + l. Solve -n*r - 5 = 5 for r.
-5
Let b = 7 + -6. Let p be 4 - (-1)/(b - 2). Let u be 2/(-8) - (-18)/8. Solve u = p*o + 11 for o.
-3
Let j(b) = 2 - 3*b**2 + b + 0*b + 4*b**2. Let z be j(0). Suppose 4 = 3*c + i, 3*c + z*i - 6 = -c. Solve r = -2 + c for r.
-1
Let x(s) = 11*s**3 - 24*s**2 - 11*s + 33. Let i(l) = 7*l**3 - 16*l**2 - 7*l + 22. Let w(c) = 8*i(c) - 5*x(c). Let z be w(8). Solve 9 + 0 = z*y for y.
3
Suppose -5*s + 21 = -2*u, -s + 1 + 2 = -u. Solve -4 - 4 = -u*l for l.
4
Let i(m) = m**3 - 3*m**2 + m. Let h be i(3). Suppose -z + 4 = -13. Let a = 19 - z. Solve a*j = -h*j for j.
0
Suppose -2*x = -2 - 6. Suppose 2*f = x*f. Solve -2*r + 2 = -f*r for r.
1
Let s be (-4)/(-1) - (-54)/(-3). Let j be 1/(-2) - s/4. Suppose 2*p = -3*n + 7 - 18, p = -4*n - 18. Solve 20 = -p*q - j*q for q.
-4
Suppose -24 = -3*s - 3*f, -2*s - 4 = -5*f + 1. Solve -s*w + 24 = 4 for w.
4
Let t = 4 + 0. Solve 0 = 2*v + t for v.
-2
Let d = -147 + 147. Solve d = -s + 6*s for s.
0
Let b(w) be the second derivative of w**3/6 - 4*w**2 - 4*w. Let p be b(11). Solve l = -p + 8 for l.
5
Suppose k + 1 = 2*k. Let t be 0*k/(-3) - 0. Solve 2*w - 4*w = t for w.
0
Let z be (11 - 8)/(-1 - -2). Suppose -5*t + 4 = -z*t. Solve 0 = 7*x - t*x + 25 for x.
-5
Let u be 6 - 0 - 3/(-3). Suppose -z + 1 = -u. Solve 5*y + 2 = -z for y.
-2
Let v be ((-11)/((-55)/(-10)))/(2/(-3)). Suppose -3*c = -12, 2*q - 6*q - 3*c + 12 = 0. Suppose v*i = -q*i. Solve -4*a + 12 = -i for a.
3
Suppose 4*x + 16 = -0*x, -5*x = -3*q + 32. Solve -5*w + q = -6 for w.
2
Let v be 0*((-4)/(-18) + (-20)/(-72)). Solve 5*l + 4 + 6 = v for l.
-2
Let x = -3 + 5. Let g(k) = 3*k - 1. Let a be g(x). Solve a*z = 2*z + 6 for z.
2
Let o(f) = f**3 - 7*f**2 + 6*f + 4. Let x be o(6). Suppose 2*p - 2 = x. Let i(b) = b**3 - 7*b**2 + 7*b + 1. Let l be i(6). Solve -l = p*n - 4 for n.
-1
Let a(w) = 2*w. Let v be a(2). Let x = 6 - v. Suppose -12 = -g + 3*f, 4*g = -0*g + 3*f + 12. Solve -x*h = -g*h - 10 for h.
5
Suppose -h + 36 = -4*b, -3*b = -0*h - 5*h + 112. Let f(w) = w. Let s be f(3). Solve s*y + y - h = 0 for y.
5
Let r(q) = 3*q - 5 + 5 + q**2. Let b(j) = -j**3 - 5*j**2 + 8*j + 8. Let c be b(-6). Let k be r(c). Solve -5 = k*g + g for g.
-1
Let o(n) = n**2 + 10*n + 4. Let u be o(-10). Solve 0*d + 4*d + u = 0 for d.
-1
Suppose 5*g - 4 = 6. Let h = 6 + g. Solve 0 = -0*j - 4*j - h for j.
-2
Let a(u) = u. Let w be a(4). Let c = -5 - -8. Let k be -1 + (-1)/(-1)*c. Solve 0 = -k*v - 2 - w for v.
-3
Suppose 0*k + 12 = k + 2*b, -4*b = -k + 6. Solve 5*n - k = -0*n for n.
2
Let q(f) = -f**3 - 14*f**2 - 13*f. Let g be q(-13). Solve g*r = r for r.
0
Let q be (0/2)/(-4 - -6). Let u be 1*((-3 - -5) + q). Solve -2*d = u*d - 8 for d.
2
Let d be 6/(-1)*(-55)/(-10). Let u = d + 49. Solve -z + u = 3*z for z.
4
Let c be (-3 - -2*4) + 1. Let y be 5 - 3/(c + -3). Suppose y*q = -0*q + 8. Solve q*s - s + 4 = 0 for s.
-4
Let y = -91 - -92. Solve y + 7 = 2*q for q.
4
Let b = -16 + 25. Let t = b - 6. Solve 4*g = -t - 5 for g.
-2
Let f = 13 - 8. Let r = -5 + f. Suppose -5*y + 16 = -y. Solve y*s = -r*s for s.
0
Suppose 5*p + d - 18 = 0, -4 = -5*p + 3*p - 2*d. Suppose p*t + 2*y + 32 = 0, 0 = -3*y + 4 + 2. Let q be (-12)/t + 2/3. Solve 0 = q*n - n + 4 for n.
-4
Let j = -31 + 36. Solve -2*u + j + 3 = 0 for u.
4
Suppose -5*i - 4 = 4*g, -3*i - 5 = -17. Let u(a) = a**3 + 6*a**2 + 3. Let w be u(g). Solve 0 = w*o - o + 4 for o.
-2
Suppose -2 = -3*v - 2*b, 0 = 5*v - 2*b - 0*b - 14. Let s be (v - 4)*(-5)/2. Solve 19 = -s*w - 1 for w.
-4
Let l be -1 + (3 - 0/(-3)). Solve 0 = l*k + 3*k + 10 for k.
-2
Suppose -2 = -4*z - 2*f + 5*f, -z + 5*f - 8 = 0. Solve -z*q = -9 - 1 for q.
5
Let y be (-1 - -58)*(-13)/(-39). Solve -5*c - y = 1 for c.
-4
Let z be (1 + 5)*(-8)/24. Let k be -8*((-9)/(-6) + z). Solve -o + 10 = k*o for o.
2
Let d be -1 + 1 + -1 - -20. Suppose 5*z = 4*h + d - 6, 4*z = -5*h + 35. Solve 2*k - h = -5 for k.
-1
Let b(j) be the third derivative of -j**4/24 + 13*j**3/6 - j**2. Let o be b(11). Solve 0 = o*l - 2 + 12 for l.
-5
Let i be (6/5)/(6/20). Suppose -8 = -t - n, i*t - 3*t = 4*n + 8. Suppose -z - 14 = -2*r - 3*z, 5*r - 15 = -z. Solve 3*b + r = t for b.
2
Let l = 0 - -7. Let t = 2 + l. Let m be 3/t*(-4 + 13). Solve -2 = q + m for q.
-5
Let n be (-5)/(20/(-16)) + -2. Solve -4*r + n*r = -4 for r.
2
Let q(n) be the second derivative of 4*n**3/3 - n**2/2 + 2*n. Let c be q(-1). Let y = -5 - c. Solve -y*x - 25 = x for x.
-5
Suppose -g = -3*a + 11, -2*a = -2 - 8. Suppose g*m = -7 + 27. Suppose -m*h - 11 + 31 = 0. Solve -20 = -0*i + h*i for i.
-5
Let x be (-345)/(-35) - 1*(-2)/14. Let m = -38 + 63. Let j be 33/7 - 2/(-7). Solve -j*p + x*p = m for p.
5
Let j be (-2)/2 - (6 - 3). Let o be ((-10)/3)/(6/(-9)). Let l = o + j. Solve -3 = b - l for b.
-2
Let i be 25/7 + (-75)/(-175). Solve 0 = 8*a - i*a - 8 for a.
2
Let j(c) be the second derivative of c**2 + 1/12*c**4 + 0 + c + 2/3*c**3. Let v be j(-4). Solve 0 = -0*b + v*b - 10 for b.
5
Let s be 4/(-6) - (-84)/18. Suppose -30 = -4*p + d - 11, s*p = -3*d + 39. Solve 21 - p = -3*c for c.
-5
Suppose o - 7 = -2*j - 0*o, -4*j + o + 23 = 0. Suppose -2*h = -h + 4. Let g be 2*(-1)/h*10. Solve 0*a - j = g*a for a.
-1
Let k(g) = 2*g**2 - 6*g - 3. Let i be k(4). Suppose -i*s + 4*s = 0. Solve 0 = -s*x - x for x.
0
Suppose -3*y - 7 = -2*c + 1, -20 = 2*y - 5*c. Suppose -a + 4*b - 2 = y, a + 5*b - 4*b = 3. Solve -a*h - 3 = 7 for h.
-5
Let a be -1*2 + -9 + 0. Let h = a + 11. Solve 0 = -4*b - h - 8 for b.
-2
Suppose -4*b - 3*t + 31 = 0, b = 4*b + 2*t - 24. Let y = -8 - -23. Suppose y = r + 2*r. Solve -r*h + 30 = b for h.
4
Suppose -4*u - 3*b = -143, b + 12 = u - 3*b. Suppose -5*o + 43 = -u. Solve 4*w - o = 7*w for w.
-5
Let v = 12 - 12. Solve 0 = -2*w + 2 - v for w.
1
Let s be 3 + -1 + 6/(-2). Let f be -1 + (4/2 - s). Let x be -2 + 0 + (1 - -1). Solve 0*i - f*i - 10 = x for i.
-5
Suppose -2*v - 8 = -3*v. Suppose -n - 5*u = -v, 3*n + 2*u + 2 = 13. Suppose 0 = n*c - 2*c. Solve 5*d - 7 - 18 = c for d.
5
Suppose -5*x = -f + 17, f + x + 1 + 0 = 0. Suppose -3*v + 8*v = 5*o + 25, -4*v - 1 = 3*o. Solve -f*m - 6 - v = 0 for m.
-4
Let t(s) = -s**3 - 7*s**2 - 8*s - 8. Let v be t(-6). Suppose 6*b = v*b + 3*l, -5*l = -3*b. Suppose -5*g + 4 = -g. Solve -x + g - 5 = b for x.
-4
Let w = 0 - -3. Suppose 0*m - 3*m + w*j + 12 = 0, 3*m - 9 = 4*j. Solve -3 = u - m for u.
4
Let t be (18/(-6))/1 - -10. Solve 0 = t*l - 12*l + 5 for l.
1
Suppose c - 3*t = 4*c - 33, 0 = -t + 2. Let i be 1/(-3 - (-32)/10). Suppose -4*w - i = -c*w. Solve w = 4*a + 5 for a.
-1
Let b be -3 - ((-1 - 3) + -7). Solve 0 = -4*o - 0 + b for o.
2
Let l = 30 - 27. Solve -2*d = 7 + l for d.
-5
Let j = -4 - -6. Let t be 10/2 + (-2 - 1). Let a be 1 + -4 - -7 - t. Solve -b + a = -j*b for b.
-2
Let p be 3/((-6)/2) + 6. Solve -p*c + 3*c = 8 for c.
-4
Let b be (-4 + 6)/((-2)/(-85)). Suppose 35 = 6*x - b. Solve m + x = 5*m for m.
5
Let y = 29 + -18. Let l(d) = -d + 1. Let s be l(2). Let k = s + y. Solve 0 = 2*x + 2 - k for x.
4
Let v be (-9)/6*(1 - -1). Let x = -2 + v. Let g = x + 9. Solve 15 = -g*z + z for z.
-5
Let k = -4 - -6. Solve k*v = -0*v for v.
0
Let d be -1 + (6 - (-6)/(-3)). Let s be 9/(-11) - (-4)/(-22). Let q be 2/5*(-20)/s. Solve d = -k + q for k.
5
Let j(l) = l - 4 + 0 + 2 + 1. Let z be j(3). Solve -z*c + 4 = -4 for c.
4
Suppose -z = -2*t - 9, -z - t = -3*z + 6. Solve l + 6 = z for l.
-5
L