= 2*p for p.
-5
Let k(y) = y**3 + 3*y**2 + 3*y + 1. Let j be k(-2). Let m = 5 + j. Solve m*b - 2 = 2*b for b.
1
Suppose -8 = 5*r + 2*a, 5*a = -0*a + 5. Let j = r - -7. Solve -n + 2*n = j for n.
5
Let n = 6 + -2. Let k be 32/18 - n/(-18). Solve -k*z - 2*z = -12 for z.
3
Suppose -3*z - 3 = -o, z + 0 = -1. Let l be (-8)/(-5)*15/6. Let m = -10 - -18. Solve -l*f + m = -o for f.
2
Let d be 5 + -2 + 2 + -3. Solve 8 = 2*r + d*r for r.
2
Suppose -3*m + 24 = -2*x + x, 5*m - 54 = -3*x. Let t be (-20 + 14)/((-3)/16). Suppose -t + 7 = -5*w. Solve -m = w*z - 2*z for z.
-3
Suppose 0 = -4*p - 5 + 25. Suppose -2*l + 10 = i, 2*i + 79 = 6*i - 5*l. Suppose -d - 2*d + i = 4*w, -w = p. Solve 2*m + 2*m = -d for m.
-3
Let s(z) = z**3 - 6*z**2 - 3*z + 4. Let x be s(7). Suppose -p = p - x. Solve 2*u + p = -2*u for u.
-4
Let n = 31 - 27. Solve n*h = h - 12 for h.
-4
Suppose -2*c + 7 - 1 = 0. Let m(v) = 2*v**2 + 6*v - 4. Let r be m(-5). Suppose 4*j + r = 8*j. Solve -3*k = -j*k + c for k.
3
Let s(n) be the first derivative of -3*n**4/2 - n**3/3 + 1. Let d be s(-1). Let j(q) = 4*q**2 - 3*q. Let p be j(2). Solve 0*o = -d*o - p for o.
-2
Let s be (-6)/(-9)*(-4 + 1). Let b be -2*s/(-4)*-5. Suppose -14 = b*w - 34. Solve 0 = -2*j - 2*j - w for j.
-1
Let b(f) = -f + 8. Let q be b(5). Suppose 2*v + 4*d = q*d - 1, 2*v + 3*d - 1 = 0. Let t(s) = -5*s. Let p be t(v). Solve p*w - 10 = 3*w for w.
5
Let r = 68 - 56. Solve r = 4*o - o for o.
4
Let b(o) = -o**3 - 2*o**2 - 3*o - 1. Let l = -1 - 1. Let u be b(l). Suppose 21 = f + u. Solve -3*n - 1 = -f for n.
5
Suppose -5*n + 5 + 10 = 0. Suppose 0 = -n*t + 4*q + q + 5, -4*t - q = 1. Solve i + 4*i + 15 = t for i.
-3
Suppose -4*j = -3*r - 2*j + 19, 2*r + 4*j = -14. Suppose -r*d - 3 = 3*c - 15, 4*c = 2*d + 4. Solve c*x + 16 = 6*x for x.
4
Let x = -12 - -22. Solve -3*n - x = 2*n for n.
-2
Let x = -24 + 29. Solve 0 = -u - x + 9 for u.
4
Suppose -p + 3*d - 8 = 0, -p - d + 3 = -5. Suppose 8*a - 4*a = 4. Solve -p*v + a = -3 for v.
1
Let j be 0/((0 - (-3)/(-6))*2). Solve u - 1 - 3 = j for u.
4
Suppose 3*f - 3*z - 21 = -z, 3*f - 3*z - 24 = 0. Solve f*i - 3*i = 0 for i.
0
Suppose -5 = -2*v + 5*x + 6, 3*v - 5*x - 14 = 0. Solve m - 8 = -v*m for m.
2
Let f(s) = -s**3 + 10*s**2 - 8*s - 7. Let z be f(9). Solve -z = -5*c - 7 for c.
-1
Let i be (-18)/(-99) + (-6)/33. Solve i = -g - 0 - 3 for g.
-3
Suppose 32 = -5*c + 2*g, -3*c - g + 5*g - 22 = 0. Let i(u) = u**3 + 7*u**2 + 7*u + 3. Let z be i(c). Let d = z + 4. Solve -14 = -5*o + d for o.
3
Let w = 10 - 8. Solve -w*q = 2*q for q.
0
Let l be 16 - 5*15/25. Solve -l = -5*y + 2 for y.
3
Let t(n) = 2*n - 13. Let l be t(6). Let g be (1 - -3 - 0) + l. Solve -4 - 2 = g*z for z.
-2
Let l be (-3)/6*-1*10. Let q(j) be the second derivative of j**5/20 + j**4/2 + j**3 + 5*j**2/2 + 6*j. Let w be q(-5). Solve l*r = -w*r for r.
0
Suppose 0 = y + y - 14. Suppose 0 = -y*h + 2*h + 25. Suppose -2 = h*k + 3*f, 5*k - 4*f - 33 = -7. Solve -k*w - 15 = w for w.
-5
Suppose -99 = -6*y - 3. Solve 2*q - 6*q = -y for q.
4
Suppose -3*b - 4*l - l = -107, b + 4*l - 45 = 0. Let a be -2 + b + (-6 - -4). Solve 4*s + a = -s for s.
-5
Let n be 4/10 - (-1890)/25. Let s be n/18 - 4/18. Let x be (-10)/(-35) - s/14. Solve -4*q + 4 + 0 = x for q.
1
Let p = -25 + 29. Solve 9*u - p*u = 0 for u.
0
Suppose 4 = -4*s, 0 = -5*c - 3*s - 0*s + 12. Suppose i + 1 = c*q, 7*i - 4*i - 3*q = 3. Solve 11 = -3*z + i for z.
-3
Let z(b) = 2*b**2 - 5*b + 3. Let h = 11 - 8. Let u be z(h). Solve -2*w = w - u for w.
2
Let w be -4 + 1 + 2 + 6. Solve -w*d = -26 + 6 for d.
4
Suppose -j = j + 6. Let g be (2/j)/(4/(-6)). Solve 1 = f - g for f.
2
Let c = 97 - 58. Let k be 2/8 + c/4. Suppose 0 = 3*m + 2*a - 13, a = -a + k. Solve -3*h = -4*h - m for h.
-1
Suppose 19 + 7 = 2*c - 5*z, 5*c - 27 = 3*z. Solve 0 = c*s + 5 + 1 for s.
-2
Suppose 4*x = 2*z - 10, -2*z - 3*z = -5*x - 10. Let b = 1 - x. Solve b*s + 11 + 1 = 0 for s.
-3
Suppose 0 = 3*r - 4*y + 10, 4*r + y = -r + 14. Solve -r = -2*p - 0 for p.
1
Suppose -7*t + 5*a = -9*t - 10, 2*t + 2*a = -4. Solve t*r + 9 = -3*r for r.
-3
Suppose -2*w + 2*o + 10 = 0, 4*w = -w + 4*o + 22. Suppose x + 3 = -2*q + 11, -19 = -5*q - 2*x. Solve w*g + q*g - 5 = 0 for g.
1
Suppose 0 = 20*k - 3*k - 68. Solve k + 0 = u for u.
4
Let h be (-2)/(-8) - 2/((-32)/60). Solve -h = 6*f - 2*f for f.
-1
Let n = -3 - -7. Suppose n*s - 2*s - 6 = -3*v, -8 = -4*v + 4*s. Solve -4*y - v + 18 = 0 for y.
4
Suppose 0 = 2*l + 2*u - 12, 0 = -0*u + 4*u - 8. Solve -q = -l*q for q.
0
Suppose -m = -4, -3*d = d - 2*m. Solve 0 = -2*y + 6 + d for y.
4
Let y(n) = -6*n + 65. Let o be y(9). Solve 3*d - o = 1 for d.
4
Let p(m) = m - 3. Let d be ((-8)/6)/((-6)/27). Let r be p(d). Suppose -r*l = -2*o - 36, -55 = -4*l - 0*l + 5*o. Solve 4*g = -g - l for g.
-2
Let p(i) = -5*i - 2. Let y(f) = 2 - 3 - 1 - 6*f. Let v(c) = -7*p(c) + 6*y(c). Let b be v(0). Solve b*o - 3*o = 4 for o.
-4
Let m(r) = -r + 11. Let p be m(11). Solve 5*f - 1 - 19 = p for f.
4
Suppose 22 = -g - 4*y + 5, 3*g = 4*y + 29. Let d be (-32)/(-6) + 2/g. Solve 6 = -3*a + d*a for a.
2
Let u(q) = q**3 - 2*q**2 + 2*q - 2. Let a be u(2). Suppose 4*h = -3*t - t + 8, -4*t = -3*h + 13. Solve a*i - 5 = -h*i for i.
1
Let k = 4 - 3. Suppose -5 = -3*c + d - k, 2*d - 6 = -c. Suppose -l = i - 5, -4*i + c*l + 52 = -2*l. Solve -3*y + i = -0 for y.
3
Let d be 3*(3 - 2) - 2. Let f be (30/(-40))/(d/(-20)). Solve 5*g = -0*g + f for g.
3
Suppose -5*v - 100 = 5*n, -6 = 4*v - n + 54. Let z = 16 + v. Solve z = -3*q - 7 + 16 for q.
3
Suppose 12*r = 15 + 9. Solve r*j = 5 + 5 for j.
5
Let x(h) = h**2 - h + 3. Let v be x(3). Let k(p) be the first derivative of -p**3/3 - 2*p**2 - 3*p + 1. Let i be k(-2). Solve 0 = -4*m - i + v for m.
2
Suppose j = 2*j - 2. Let r be 970/110 - 4/(-22). Solve -j*w = -r + 3 for w.
3
Suppose 2*u = 3*y - 19, -4*y + 2*y + 18 = -4*u. Suppose -y*p + 12 + 3 = 0. Solve 6*s - 12 = p*s for s.
4
Suppose 0*o + 2*o = 50. Solve -2*f = -7*f + o for f.
5
Let w = -5 + 8. Let c = 4 - 2. Let q = w + c. Solve q*x = 4*x + 3 for x.
3
Suppose r + 12 = -o + 6*o, -o - 2 = 2*r. Suppose o + 0 = q. Suppose -5*m - l + 30 = -0*m, -3*m + 4*l = 5. Solve q*x - m*x = 0 for x.
0
Suppose 2*j = -3*g + 9, 2*g = -2*j - 1 + 7. Solve p = -j*p + 1 for p.
1
Suppose 4*j - 11 + 3 = 0. Suppose -j*z = 2*z - 32. Solve 0 = 3*u - z*u for u.
0
Let d = -8 - -14. Let j(s) be the second derivative of s**5/20 + 11*s**4/12 + 11*s**3/6 + 6*s**2 - 2*s. Let h be j(-10). Solve -h*y + d*y = -20 for y.
-5
Suppose 8 = 5*q - 2. Solve 6 = 2*m - q for m.
4
Suppose 0 = w + 4*p - 12, -3*p - p + 12 = -3*w. Let j be 1 - -1 - (w + -2). Solve b = 2*b + j for b.
-4
Suppose 5*t + 2 = 27. Suppose -4*h + 4*d = 0, 2*h + t*d = -3*h + 20. Solve 0 = -5*f + h*f + 6 for f.
2
Let i be (0/1)/(-1 + 3). Let j be (-4)/2 + 2 + i. Suppose -3*t + 2*t = j. Solve 1 = -d - t for d.
-1
Let o = -23 - -27. Solve -4*a - o = -2*a for a.
-2
Suppose -1 + 3 = -2*s. Let r(n) = 5*n**2 - n. Let m be r(s). Let b(o) = -o**3 + 5*o**2 + 6*o + 6. Let y be b(m). Solve -5*h = -4 - y for h.
2
Let t(x) = -x. Let l be t(2). Let p be ((-40)/l)/2 + -1. Suppose p*c - 30 = 4*c. Solve -2*u + 5*u + c = 0 for u.
-2
Suppose 9*r - 7*r - 6 = 0. Let v be 2/(4 - 2) - 0. Let z be (v/(-3))/((-1)/6). Solve r + 5 = -z*p for p.
-4
Let m = 7 - 4. Suppose 8 + 7 = -m*k. Let g = 10 + k. Solve -g*z + 14 = -11 for z.
5
Suppose -2*s + 16 - 1 = 3*l, -3*s - 4*l = -20. Solve 0 = -x - s*x for x.
0
Let t(f) = f**2 - 2*f + 4. Let b be t(7). Suppose 37 = 4*v - b. Suppose d + 5*k = v, 4*d - 4*k - 7 = -3. Solve d*z - 15 = z for z.
5
Suppose -5*l + 2 = 22. Let k = l + 9. Solve -3*y = 7 + k for y.
-4
Suppose x - 9 - 56 = -4*z, 0 = 3*z + 3*x - 60. Solve -6*y + 9 + z = 0 for y.
4
Suppose 18 = 3*h + 3*z, -h = -3*z + 13 + 1. Solve 0 = 3*v - 4 + h for v.
1
Suppose -23 = 3*l + 28. Let o = l - -24. Solve -10 = -2*f + o*f for f.
-2
Suppose 0*d + 11*d - 33 = 0. Solve 0*m = d*m for m.
0
Suppose -5*b + 0*b + 15 = 0. Suppose -73*i - 7 = -80*i. Solve b = -4*j - i for j.
-1
Let s be (-50)/(-6) - (-2)/(-6). Let k = s - 8. Solve k = -2*y - 3*y + 10 for y.
2
Let d(t) = -t**3 + 6*t**2 - t - 1. Let g be d(5). Solve 3*b + g = 4 for b.
-5
Suppose -12 = -2*r - 2. Solve -r*u + 12 = -2*u for u.
4
Suppose 0 = 2*u + 16 + 12. Let a = -5 - u. Solve 0 = 3*r - 24 + a for r.
5
Let p be 2/17 - 6/51