15. Solve 0 = -p + 3 + l for p.
4
Suppose 2*p + 25 = 3*k, 2*k - 3*k = 3*p - 1. Let o be (3 + 0)/(k - 6). Suppose 0 = -2*z - 4*x + 16, 7*z - x = 3*z - 4. Solve -2*d + o*d + 5 = z for d.
-5
Suppose -3*h = q - 33, -3*h - 5*q + 8*q + 45 = 0. Solve c + 2*c - h = 0 for c.
4
Let p = 91 - 86. Solve -p*h - 13 = 2 for h.
-3
Let u = 5 + -4. Let i be (u + 1)/(2/3). Solve i + 5 = 2*x for x.
4
Suppose -5*q = -t - 1, -3*q + 11 = -4*q + 3*t. Solve 0 = -4*j + q + 3 for j.
1
Suppose -v + 8 - 4 = 2*r, 12 = 3*v + 5*r. Suppose 5*w + 20 = -5*i, -4*w - 14 - 2 = 0. Solve -4 = -i*t + v*t for t.
-1
Let x be 3/(-9)*(3 - 3). Solve x*i + 15 = -3*i for i.
-5
Suppose 0*j + 16 = 3*j + a, 0 = 4*j - 4*a - 16. Let k(p) = 9*p**2 - 1. Let l be k(-1). Solve -j*v + l = -7 for v.
3
Suppose 5*l = -5*m - 5, 5*m + 3 + 2 = -l. Let w be (2 - 4)/(m/2). Solve -p + w = p for p.
2
Let d(j) = j - 4. Let n be d(3). Let f be n/(-3) + (-5)/(-3). Solve a = -f*a + 9 for a.
3
Let c(p) = p - 5. Let m(d) = -2*d**3 - d**2. Let i be m(-2). Let a be (-15)/(-20)*(i + 0). Let l be c(a). Solve -7 = -l*f + 1 for f.
2
Suppose -21 = -3*z - 0*g + 3*g, 5*g = z - 19. Let c = 3 - 1. Suppose 3*u - 3*x + 9 = -0*u, -c*x = 2*u - 6. Solve -6*n + z*n + 4 = u for n.
2
Let n = 65 + -65. Solve -2*h = -n - 4 for h.
2
Let h = 1 + 5. Let p(y) = -y**3 + 6*y**2 - 6*y + 7. Let l be p(5). Suppose 2*n + a + 1 = 0, -l*n + 5*n = a + h. Solve 2*u - n = 3 for u.
2
Let n = -12 + 17. Let x be -1 - (1/1 + -13). Solve n*c = -14 - x for c.
-5
Let r(t) = -t**3 + 16*t**2 + t - 12. Let n be r(16). Solve -3*g - 2 - n = 0 for g.
-2
Suppose 2*i - i = -4*z + 17, 2*z - i - 7 = 0. Solve z = -4*j + 2*j for j.
-2
Suppose -5*c = -1 + 31. Let x = -1 - c. Solve 0 = 2*j - x*j for j.
0
Let t be 10 + -6*(-2)/(-3). Suppose 0 = t*c - 5*c. Solve -2*a = -c*a - 8 for a.
4
Suppose -6*s + 4*s + 8 = 0. Solve -2 = 2*z - s*z for z.
1
Let b = -13 - -13. Solve -2*i - 1 + 7 = b for i.
3
Let a be 8 + 0 - (-6)/(-3). Suppose -a + 1 = -s. Suppose 0 = -4*q - 3*c + 14, 2 + 12 = 2*q + s*c. Solve -3 - 5 = -q*l for l.
4
Let w(j) = -j**2 - 9*j + 2. Let d be w(-6). Solve -4*b + 0 = -d for b.
5
Let z(m) = -m**2 - 4*m - 4. Let t be z(-3). Let n be 9 + t/(1 + -2). Suppose -5*j = -n*j. Solve -12 = -j*o - 4*o for o.
3
Let s be (28/8 + -2 - 1)*4. Solve s = -n - n for n.
-1
Suppose 4*n = 9 - 5. Suppose 2*s = n + 5. Solve 0 = i - s - 2 for i.
5
Let i(h) = -h + 6. Let n be i(6). Let q(g) = g**3 + 4*g + 6*g**2 - 4*g**3 + 4*g**3 - 5. Let o be q(-5). Solve d + n*d = o for d.
0
Suppose -3*f = -4*b + 4, -3*f + 16 = 2*b - f. Solve -g = g + b for g.
-2
Let z(j) be the second derivative of -j**4/12 + 7*j**3/6 - 2*j**2 - 3*j. Let d be z(6). Suppose -9 - 31 = -d*s. Solve 0 = 7*f - 3*f - s for f.
5
Let c(a) = -a**3 - a**2 + 2*a + 4. Let o be c(0). Solve 0 = -2*d - 2 - o for d.
-3
Suppose -5*u = -2*u + 5*f - 27, -3*u - 3 = -5*f. Solve u*l - 17 = -1 for l.
4
Let i be (-8)/20 - 17/(-5). Solve u = -i*u for u.
0
Let j = 25 + -20. Let w = j + -1. Solve -3*f + f = w for f.
-2
Let h be (-114)/(-16) - (-5)/(-40). Suppose -h*s + 4*s = -9. Solve -l - s*l - 20 = 0 for l.
-5
Let q(h) = h + 2. Let a be q(2). Solve 0 = 5*i - a*i + 4 for i.
-4
Let t be 8/6*(-27)/(-9). Solve -q + t*q = -3 for q.
-1
Let i = 87 - 85. Solve z + i*z = 9 for z.
3
Suppose 11*g - 5*g = 18. Solve 0 = g*c + 5 - 2 for c.
-1
Suppose -4*o + u - 58 = 0, -o - 7 - 5 = u. Let k be 7/(-7) + (-1 - -3). Let h be ((-35)/o)/(k/2). Solve 0*m = h*m for m.
0
Suppose -5*t = 3*w + 6 + 10, 0 = 3*w + t - 4. Suppose 4*a + 7 = -0*a - 5*k, -a - 7 = 3*k. Solve -a*h + w = -h for h.
3
Let g = -6 + 3. Let a = 3 + g. Let d be (a - 1) + (0 - -1). Solve 0 = -3*h - 3 - d for h.
-1
Let y(p) = -p**2 - 6*p - 3. Let w be y(-5). Suppose 0 = 3*q - w*q - 5*n + 16, -n = 2*q - 12. Solve 0 = -s + q - 0 for s.
4
Let t = 0 + 4. Suppose c = 4*c - 24. Solve t*y - c = -0*y for y.
2
Suppose -h = o, 0*o = -h - 5*o - 8. Suppose -5*r = -10*r. Suppose 3*s - 14 = -g, -2*s + 5*g = -r*s + h. Solve -t = -s*t + 9 for t.
3
Suppose 2*y + 4*a + a = 31, -5*a = 3*y - 39. Let d = y - 0. Let h be 2/8 + 30/d. Solve -h*c + 6 - 2 = 0 for c.
1
Suppose -3*r = -0*n - 4*n - 4, 2*n = -5*r - 2. Suppose r = -0*m - m. Suppose 3*x = 3*t - 0*t, 15 = 4*x + t. Solve -6 = x*d - m for d.
-2
Let w = -2 - -2. Suppose 0 = 2*o - 2, -s + 4*o = -1 + 5. Suppose s*l = l. Solve w = -l*v + 4*v - 4 for v.
1
Suppose -7 = -5*m - 37. Let k = m - -7. Solve -4*y + 7 = -k for y.
2
Suppose -2*w + 3 = -1. Suppose 0 = w*t - 5*x - 35, t + t = 2*x + 20. Suppose -5*p = -2*q - 56, 0*p = -p + t*q + 25. Solve y + p = -y for y.
-5
Let r = 11 - 7. Suppose 5*m + 2*w - 16 = -0*w, -5*w - 6 = m. Suppose -m*u + 14 = 4*j - 6, 0 = -4*u - j + 14. Solve -k + r = u*k for k.
1
Let s = -6 - -9. Let p(v) = v**2 + 3*v + 4. Suppose 2*c - c + 2 = 0. Let q be p(c). Solve d + q*d + s = 0 for d.
-1
Let o = 4 + -1. Let w = -11 - -7. Let a = 7 + w. Solve -o*t = a - 0 for t.
-1
Suppose 4 = j - 5. Let v be j + (-4 - 0) - 2. Solve -6 = -v*y + y for y.
3
Let g be 10*(-1 + 1/2). Let c = 0 - g. Suppose -4*y - 3 = 3*k, -3 = -5*k - 4*y - 0. Solve k = c*o + 23 for o.
-4
Suppose -2*c + 2 = -c. Let m = c - 2. Let r = 2 - 2. Solve m*h + 2*h - 8 = r for h.
4
Let l(t) = -t**2 + 14*t + 5. Let u be l(14). Solve -1 = 4*s - u for s.
1
Let n = -7 - -11. Let d(f) = -f**2 - 5*f + 4. Suppose 4 = 4*w + 20. Let a be d(w). Solve -a = -l - n for l.
4
Let r be (-4)/3*3/(-1). Solve r*k = k + 12 for k.
4
Let q = -1 + 2. Let z be 19*-1*(q - 2). Suppose 2*o - 4*o + 16 = -2*n, 2*o + 5*n + z = 0. Solve -9 = 3*i + o for i.
-4
Let q(k) = k. Let f be q(2). Suppose f*t + 9 = 5*t. Solve -4*y + t = -5*y for y.
-3
Suppose 0 = 3*m - 4*j - 6, -5*m - j - j + 10 = 0. Solve 9 = -m*t - t for t.
-3
Let g be ((-3)/(-2))/(15/20). Suppose u = g*u. Solve u = y - 2 + 1 for y.
1
Let h(d) = d**3 - 6*d**2 + 7*d - 6. Let n be h(5). Let f = 13 - n. Solve f*a - 25 = 4*a for a.
5
Let d(z) = -z**2 - 4*z + 1. Let a be d(-3). Let l(v) = v**2 - 3*v - 2. Let m be l(a). Suppose n = 5*h + 22, 0 = 2*n + 4*h + 12. Solve c + n + m = 0 for c.
-4
Suppose -3*n = 2*n - 3*r - 37, 2*r + 13 = n. Let m(k) = k**2. Let p be m(n). Solve -10*u - p = -5*u for u.
-5
Let u = 11 + -6. Solve -y - u = -4 for y.
-1
Let x be ((-6)/(-5))/((-6)/40). Let q = -7 - x. Solve 3*o + 8 = -q for o.
-3
Suppose 2 - 22 = y. Let g be ((-2)/4)/(2/140). Let n = y - g. Solve n = -2*w - w for w.
-5
Let s(c) = c**3 + 4*c**2 + 2*c + 6. Let k be s(-4). Let j be k/(1 + (0 - 2)). Solve -1 = -n + j for n.
3
Let l = 54 - 52. Solve 0*o + 8 = l*o for o.
4
Suppose -26 = -11*l + 29. Solve 4*g = -1 + l for g.
1
Let l = -7 + 14. Let y(f) = -f + 4. Let n be y(3). Solve n = 2*h - l for h.
4
Let k = 13 + 3. Let u be (0 + 3)*k/(-3). Let q be 1/(-4) - 68/u. Solve q*s - 3 + 11 = 0 for s.
-2
Suppose -28 = -5*m - 4*u, u - 6 + 0 = -m. Suppose 2*d = m*i - 22, -5*i + 1 = d - 9. Solve -i*v - 4 = v for v.
-1
Let m = -4 - -16. Suppose 0 = -5*t + 3*r + 6, 2*t - m = -5*r + 9. Solve -3 - t = -2*i for i.
3
Let x be -1*1/1 - 12. Let a = 20 + x. Solve -w = -4 + a for w.
-3
Let c(z) = 4 - 10 - 3 + z. Let l be c(9). Solve u = -l + 2 for u.
2
Let n be 3*(1 + -2 - -8). Let p = -2 + -9. Let y = n + p. Solve 7*q = 2*q + y for q.
2
Let h = -177 - -97. Let z be ((-1)/(-2))/((-2)/h). Solve -4*c - z = c for c.
-4
Let v(j) be the second derivative of -j**3/6 + 5*j**2 + 3*j. Let w be v(10). Suppose 2*z + 10 = 7*z. Solve -6*r + z*r = w for r.
0
Let r be 7 - (2*-1 - -4). Suppose -3*k - r*c = 6, -2*k - 5*c = 3*k. Let s = 86 + -61. Solve s = -k*a - 2*a for a.
-5
Let j = -11 - -15. Solve -21 = -5*o + j for o.
5
Let q(b) = b**2 - 2*b + 3. Let r(v) = 2*v**2 - 5*v + 5. Let c(l) = 5*q(l) - 3*r(l). Let u be c(4). Solve -12 = u*s + 4 for s.
-4
Suppose -3*x = -13 - 26. Let v = x - 8. Suppose v*r = -0*r. Solve -2*u + 3 + 1 = r for u.
2
Suppose -3*o - 2*v - 3*v = 2, -4*o - 4*v = 0. Suppose 11 = 3*y - o. Let w be (40/(-15))/(y/(-6)). Solve 4*m = -0*m + w for m.
1
Let v(g) be the third derivative of -g**5/60 - g**4/3 - 3*g**3/2 - g**2. Let w be v(-6). Suppose w*a + 2*a - 80 = 0. Solve t + a = 5*t for t.
4
Let h = -2 + 10. Solve 5*d - 7*d + h = 0 for d.
4
Suppose 5*d = 5*q + 34 - 14, 0 = -2*q. Solve f + 20 = -d*f for f.
-4
Suppose 2*o + 4*q = q, 0 = -o - 3*q. Solve o = -0*u + u for u.
0
Let d = 69 - 46. Suppose 0 = m - j - d, 