 + 3 for p.
-1
Let p(z) be the second derivative of z**5/10 - 5*z**4/12 + 2*z**3/3 - 3*z. Let d be p(3). Solve -d = 4*f - 1 for f.
-5
Suppose -66 = -5*u + 2*u. Let t = u + -18. Solve -6 = -t*d + 14 for d.
5
Suppose -3*k - k = -16. Suppose -2*q + 36 = k*g, -5*g + 6 = -4*q - 13. Solve -27 = 5*t - g for t.
-4
Let i be ((-2)/(-3))/(4/42). Let b(v) = -2*v + 16. Let l be b(i). Solve 0 = 4*k + 2 + l for k.
-1
Let g = 25 + -17. Suppose 5*j - j - 4 = 0. Let r = j + -1. Solve 0 = 4*w + g - r for w.
-2
Suppose 13*z = 4*z - 5*z. Solve 4*n - 6*n - 10 = z for n.
-5
Let b = -16 - -26. Let h(n) = n**3 + 7*n**2 - 8*n + 2. Let y be h(-8). Solve b = y*x - 0 for x.
5
Let w = -24 - -27. Solve -w*j + 5 = -7 for j.
4
Suppose 0 = 5*d - 20. Let v be 4/d - 2/(-2). Solve r = -v - 1 for r.
-3
Let a(j) = 5*j - 52. Let f be a(11). Solve -c + 0 = f for c.
-3
Suppose 6*c = 8*c - 6. Solve c*k + 0 = -3 for k.
-1
Let h(w) = w**2 - 3*w - 6. Let m = 4 - 2. Suppose 0 = -4*v - 3*y + 17, -m*y + 4*y + 7 = v. Let k be h(v). Solve 0*t + k*t - 16 = 0 for t.
4
Let m(x) = 0 + 2 + x**3 + 2*x**2 - 3*x**2 - x**2 - 2*x. Let g be m(3). Solve -g = -b - 4*b for b.
1
Suppose 0 = 2*l + 2*p, -16 = l - 0*p - 3*p. Let z be l/(5 - 3) + 12. Solve -5*j = -0*j + z for j.
-2
Let v(o) = -o**2 - 12*o + 17. Let s be v(-14). Let q = 14 + s. Solve q*w = 6*w for w.
0
Suppose 5*i = 8 + 2. Suppose -4*x - i*y + 16 = 0, 3*x = -0*y - 2*y + 12. Solve -2*t + x = -4 for t.
4
Suppose 0 = -4*v + 3*v + 6. Let u be v + (12/3)/(-2). Solve 2*c + 0 = u for c.
2
Let f(a) = a - 1. Let z be f(5). Solve -z*g - 13 = 7 for g.
-5
Suppose 6 = 2*c, 5*c + 12 - 3 = 4*m. Suppose 3*p - 6 = m. Solve s = p*s for s.
0
Let b be (-16)/(-6) + -3 + 7/3. Solve b*l + l = 0 for l.
0
Let k(r) = 2*r - 3. Let o be k(4). Solve 0 = -o*t + 4*t - 4 for t.
-4
Let d be -2 - (-5)/(1/1). Suppose -d*b + 2*b + 6 = a, 5*b - a - 12 = 0. Let u be 2/4*0/4. Solve -6*z + b*z + 3 = u for z.
1
Let h(n) = n - 4. Suppose -4*s + s = -9. Suppose 10 = s*x - 11. Let f be h(x). Solve -p + f = 2 for p.
1
Suppose -13*w = -8*w - 15. Solve 20 - 5 = -w*f for f.
-5
Let k be (-2)/(-6)*(2 - 25/(-1)). Solve 4*m = k + 3 for m.
3
Suppose -2*q + 9 + 3 = -4*p, q + 3*p = 1. Let t = 0 - -2. Suppose -7 - t = -3*m. Solve -q*v + m*v + 3 = 0 for v.
3
Let k(u) = -4*u + 5 + 4*u + 4*u - 3*u. Let r be k(-3). Solve z + r = -3 for z.
-5
Let o(m) = -20*m**3 - m**2 + m + 1. Let z be o(-1). Suppose 0 = -0*q - q + v + z, 0 = -5*q - 2*v + 102. Solve -2*f - q = 3*f for f.
-4
Let h(s) = s + 1. Let z be h(1). Suppose 3*l = -0*l + 18. Let c be (3/(-2))/(l/(-8)). Solve c*u + z*u = 0 for u.
0
Let u(w) = -w**3 + 3*w**2 + 0*w - 5*w + 4*w + 2*w - 1. Let h be u(3). Solve -6 = -h*v + 4 for v.
5
Let u(s) = 3*s + 3. Let t(x) = 3*x + 1. Let r be t(-1). Let p be u(r). Let y = p + 7. Solve 0*o + y = -4*o for o.
-1
Let u = 11 + -8. Let d = u + -1. Suppose -d*k = -k. Solve o = -k - 4 for o.
-4
Let s = -4 - -6. Let l = 17 + -17. Solve l = -0*t + s*t for t.
0
Let n be (-2)/6 + 3/9. Suppose 2*f + n*f = 14. Solve 2*x + 15 = f*x for x.
3
Let d(v) = -2*v + 2. Let i be d(-2). Suppose 2*x + 5*y = -5 - i, 5*x = -3*y + 1. Solve -20 = x*z + 2*z for z.
-5
Suppose -z - 5*w = -10, -z + 2*w - 22 = -5*z. Suppose k - 5*k = -z*c, 4*c = -5*k. Solve j - 2*j - 3 = k for j.
-3
Let n be (-4)/(-10) + 2/(-5). Let p be (-4)/16*2*0. Solve n = -p*l + 3*l for l.
0
Suppose -3*p = -6*p + 6. Suppose 0 = 4*a - 3*a - p. Solve a*c = -3*c + 20 for c.
4
Let h(k) = -4*k - 16. Let q be h(-7). Solve 2*f + f = q for f.
4
Let o = 35 + -15. Suppose 0 = -3*w + 7*w - o. Solve -v = -w*v - 4 for v.
-1
Let y(c) = 9*c**2 + 2*c - 1. Suppose 0*d - 4*d = -4. Let o be y(d). Suppose 3*s = i - 2, 5*s + 10 = 2*i + 3*i. Solve s = -4*t + o + 6 for t.
4
Let h = 2 + -4. Let d = 2 + h. Suppose d = -3*v - 3 + 9. Solve 3*u = v*u - 1 for u.
-1
Suppose 14 = i + 2*i + 2*u, -3*i + 2*u + 10 = 0. Solve -3 - 1 = i*w for w.
-1
Let c = -14 + 18. Solve c*q + 1 - 9 = 0 for q.
2
Let t(h) = -14*h - 52. Let v be t(-4). Solve -20 = -v*w - 4 for w.
4
Let j = 44 - 34. Solve 4*a = 6*a - j for a.
5
Suppose 5*b + 10 = -q + 6*q, 0 = q - 2*b - 2. Solve -w = q*w - 12 for w.
4
Suppose -2*p + 5*o + 17 = -p, -13 = p + 5*o. Suppose 2*c + 6 = n, p*n + 2*c + 2*c + 4 = 0. Let j be n/5 + (-18)/(-5). Solve -4 = -6*b + j*b for b.
2
Let p(w) = -w**3 - 2*w**2 - 3*w. Let h be p(-2). Suppose s + 2*s = h. Solve -s*y = -y for y.
0
Let x = 4 - -1. Suppose x*f + 3*h - 20 = 14, -4*f = 5*h - 35. Suppose 10 = 5*s - f. Solve -4*i + 3*i = -s for i.
3
Let p = -10 + 14. Let s be -1 - (0 - (-11)/(-1)). Let d be 1/((s/(-4))/(-5)). Solve -p*m = -d*m - 6 for m.
3
Suppose 0 = -4*a + 3*a + 2. Suppose 0 = -4*c - 4, 7 = a*s - c - 4*c. Solve 5*u = -s + 11 for u.
2
Suppose 2*n - 11 = -3. Let q(k) = k - 6. Let v be q(6). Let m = v + n. Solve m*h - 26 = -10 for h.
4
Suppose 5*v + 1 + 10 = 2*r, -4*v - 16 = -4*r. Suppose -22 = -5*y + 8. Suppose 0 = u - 2*c + y, 3*c - 4 + 1 = 3*u. Solve -u*h = r + 5 for h.
-2
Let o be (-7 - -1)*(0 + (-4)/6). Solve 0 = -o*p - p - 10 for p.
-2
Suppose c - 3*q = 2*c + 9, 0 = 3*c - 5*q - 29. Solve -x + 12 = c*x for x.
3
Suppose 37 = 2*f - 3. Suppose -2*z = 4*a + f, -4*z - 16 = 2*a - 6*z. Let j be -2 - (2 + a) - -1. Solve 0 = j*x - 0*x - 15 for x.
5
Suppose -4*s = s + 4*c - 96, 105 = 5*s - 5*c. Suppose 2*i = 6*i - s. Solve 0 = -4*y - 3 - i for y.
-2
Let p(r) = r**2 + 6*r + 5. Let f be p(-5). Let s be (f/(-1))/(1*2). Solve i + s = 4 for i.
4
Suppose -4*q - 3*y = -17, 0*q = -3*q + 5*y - 9. Solve -3*t + q + 1 = 0 for t.
1
Suppose 6*j - 36 = 2*j. Let b be (-6)/(-27) + (-141)/27. Let n = j + b. Solve 0 + n = m for m.
4
Let s(r) = r**3 - 8*r**2 + 7*r + 4. Let y be s(7). Solve -5*b + y*b = 0 for b.
0
Suppose 3*m = 1 + 8. Solve 3*l = -0 - m for l.
-1
Let o be (-3)/(-12) - 3/12. Let x = o + 2. Suppose -x*d + 5 + 1 = 0. Solve 0 = -d*b - b - 8 for b.
-2
Let s be 2/(-3) - (-8)/3. Solve -3*j - 17 + s = 0 for j.
-5
Let k = -35 - -51. Suppose -3*i + k = -i. Solve -28 + i = 5*g for g.
-4
Let t be 46/14 - 8/28. Suppose 0*y + 3*y = -r + 17, 0 = -r + y - t. Solve r*z + 8 = 6*z for z.
2
Let y(r) = -2*r - 5. Let p be y(-5). Let j(n) = n**3 - n + 1. Let h be j(1). Solve -h + p = m for m.
4
Let p be (20 + 0)*1/2. Solve 5*f + p = -0*f for f.
-2
Suppose -68*m + 61*m = 0. Solve m = 4*q - 7*q - 9 for q.
-3
Let b(t) = 2*t + 19. Let q be b(-8). Solve 0 + q = -3*s for s.
-1
Let q be ((-1)/(-2))/((-2)/(-8)). Suppose -b = 4*w - 7, q*w - 5*b = -2*w + 13. Solve -3*y + 7 = -w for y.
3
Let x be (-2)/(-10) - 24/(-30). Let z be (-1 - 0)*0/x. Solve z = -2*f + 9 - 1 for f.
4
Let x(h) = -5*h + 6. Let a be x(4). Let y be (-18)/a - (-2)/(-7). Suppose -y = 2*n - 11. Solve -31 = n*b - 11 for b.
-4
Let h(v) = v**3 - 9*v**2 + v - 3. Let k be h(9). Solve -k - 6 = 3*x for x.
-4
Let c be 3 + (0 - (-4 + 3)). Solve -5*x + c = -3*x for x.
2
Let j be (93/(-4))/(-3) - (-8)/32. Solve -3*s - j = 7 for s.
-5
Let h(k) = -k - 6. Suppose -3*b + 0*b = -21. Suppose -2*t - b = -5*r, 5*t = -2*r - 0 - 32. Let a be h(t). Solve 4*j + a*j - 8 = 0 for j.
2
Suppose -4*w + 30 = 2*h, -5*h = 2*w - 7*w. Solve -p + w + 0 = 0 for p.
5
Let d(o) = o + 11. Let h be d(-10). Solve s - h = 4 for s.
5
Let y be 7/2 - 2/4. Let m = y - -2. Let t = m + 7. Solve -3*c - 3 - t = 0 for c.
-5
Let k be 4/16 - 15/(-4). Let z(c) = c**2 + 9*c + 10. Let w be z(-8). Solve -w*a = 2*a - k for a.
1
Let d be 4/2 + 6/2. Let m be d - 1 - (-1)/(-1). Solve m*s - 3 = -9 for s.
-2
Let z be (20/8 - 3)*-2. Let v(l) = -l**3 + 6*l**2 + l - 4. Let m be v(6). Suppose m*a - 4 = -0*a. Solve -z = -a*x + 7 for x.
4
Let m(a) = 4*a - 2. Let q be m(6). Let z = q + -15. Solve 27 = -4*i + z for i.
-5
Let f(i) = 3*i - 4. Let x = -5 - -8. Let j be f(x). Let n be (0 - 25)/(-4 - -3). Solve -j = -4*c - n for c.
-5
Let n(u) = -5*u**3 - u - 1. Let r be n(-1). Solve -k = -2*k - r for k.
-5
Let x(w) be the first derivative of w**3/3 + 5*w**2/2 + 5*w + 4. Let t be x(-5). Solve t*p - 3 = 2*p for p.
1
Let s = -2 + 2. Suppose -5*a - h + 30 = s, -40 = -5*a - 2*h - h. Suppose -5*t - 4*j = 10, -5*t - a*j - 13 - 2 = 0. Solve -t = 2*m - m for m.
-2
Suppose -5*i - 1 = -11. Suppose 2*b = 4*g + 19 + 11, -b = 2*g + 5. Suppose b*m + s - 11 = 0, -2*s - i = -2*m - 0*s. Solve m = 2*a - 4*a for a.
-1
Let j(l) = -l - 5. Suppose o = -4*y + 3*y + 2, 3*o - 6 = -y. 