Let q be p(1). Let c = 10 + -11. Let j be (3/q)/(c/15). Solve 2*b + 1 = -j for b.
-3
Let m(w) = 2*w**3 + 21*w**2 + 21*w + 37. Let h(d) = d**3 + 11*d**2 + 11*d + 18. Let y(l) = 7*h(l) - 3*m(l). Let v be y(-13). Solve -v*x = 1 + 5 for x.
-3
Suppose 3*b - 4*m - 47 = -1, 0 = -m + 2. Let c = b + -15. Solve 2 = -c*n - 13 for n.
-5
Suppose -4*w + 7*w = 30. Let x(a) = -a**3 + 11*a**2 - 9*a - 8. Let v be x(w). Let n be ((0 - 0) + 0)/2. Solve 2*j = -n*j - v for j.
-1
Let r be 9*(2/(-2) - -2). Solve -c - r = -4*c for c.
3
Let u be 3/(-9)*-3 - 1. Solve 3*l - 6 = -u for l.
2
Suppose -2*w - 1 = -3*y + 2*y, -5*w = -2*y. Solve -w*m - m - 9 = 0 for m.
-3
Suppose -14 = -5*k + 6. Solve -k*x + 2*x - 10 = 0 for x.
-5
Suppose -v = 3*z - 12, 4*v + 11 + 9 = 5*z. Suppose 15*j - 19*j = v. Solve -3*b - b + 4 = j for b.
1
Let h(a) = a**2 + 11*a + 14. Let j be h(-10). Suppose -j*q + 15 = q. Solve 1 = q*x + 4 for x.
-1
Suppose -2*z = 10, 3*o - 3 = 3*z + 33. Let n = 3 - -1. Solve -n*g - 27 = -o for g.
-5
Suppose 4*k - 68 - 20 = 0. Let i be 114/k + (-4)/22. Let q be 123/12 + 1/(-4). Solve -3*u = i + q for u.
-5
Suppose -n = -2*n - 1. Let m be 3/(-5)*5/n. Solve 2*o - m = 5 for o.
4
Suppose 3*v = v + 6. Solve v*l - l - 2 = 0 for l.
1
Let g be (-9)/(-1)*(-4)/(-6). Let v = 14 + g. Solve 3*t = -2*t - v for t.
-4
Let v = 10 - -1. Let a be 2*(-1 + (-3 - -2)). Let k = a + v. Solve 0 = -3*r + k*r - 16 for r.
4
Let u(x) be the second derivative of x**4/12 + x**2/2 + 4*x. Let k be u(-1). Solve -k*a - 2 = -8 for a.
3
Let t(s) = -10*s**2 + s. Let x be t(1). Let o = x - -15. Solve 8 = 2*j - o*j for j.
-2
Let r be ((-64)/(-12))/((-6)/(-9)). Solve 0 = -0*u + 2*u + r for u.
-4
Let n = 6 + -1. Let l = n + -5. Solve k + 2 - 5 = l for k.
3
Let k(v) = -v**3 + 3*v**2 - 2. Let s be k(2). Suppose -3*y = 2*x + y - 4, 2*y = s*x - 4. Let j = x + 0. Solve 2*i + j + 2 = 0 for i.
-2
Let t(q) = 0*q - 4*q + 1 + 3*q. Let o be t(-3). Suppose -3 + 15 = o*v. Solve 1 - 7 = -v*g for g.
2
Let p(o) = 2*o - 52. Let n be p(26). Solve -4*w + 7 - 3 = n for w.
1
Suppose m - 10 = v, 27 - 5 = 4*m + 5*v. Let k = -3 + m. Suppose 5*f - 34 = 6. Solve -k*j - f = -j for j.
-2
Let f(p) = p - 17. Let x be f(6). Let j = x - -13. Solve -j*z = z - 15 for z.
5
Let c(u) = -3*u - 1. Let y be c(-1). Let l be (-16)/(-6)*(-6)/(-8). Solve l*r - 4 = -y*r for r.
1
Let c = 12 + -7. Suppose 3 - 13 = -c*o. Solve 2*v = -o*v for v.
0
Let t be 0/(4/2*1). Suppose t = -a + 11 - 3. Let y(x) = -x**3 + 9*x**2 - 9*x + 12. Let l be y(a). Solve i + 3 = l*i for i.
1
Let b(k) = 15*k**3. Let p be b(1). Suppose 0 = -2*q + p - 11. Solve -c + q = 6 for c.
-4
Let f be 3 + -1 + -4*1. Let j be (3 + f)*(21 - -2). Solve 0 = 5*o + j + 2 for o.
-5
Let w be ((-1)/(-2))/(8/64). Suppose w*d + 2*k = 10, 10*d = 5*d - 4*k + 20. Solve -j - j = d for j.
0
Suppose 2 - 6 = -j. Suppose -n + 8 - j = 0. Solve 0*c + 4 = -n*c for c.
-1
Let u be 74/26 + (-14)/(-91). Let l be 2 - (u - -1 - 4). Solve l*w - 5 = -3*w for w.
1
Let x(p) = -p**2 - 15*p + 2. Let h(m) = -m + 1. Let u(r) = 2*h(r) - x(r). Let z be u(-13). Solve z = -i + 7 - 2 for i.
5
Suppose 3*j + 2*j = 10, -a + 4*j - 6 = 0. Let x be (1 + 2/(-2))/a. Solve x = -8*q + 5*q for q.
0
Let x(r) = r**2 + 6*r - 20. Let k be x(-10). Solve -g - 3*g + k = 0 for g.
5
Suppose -5*i = 4*k + 4, -3*i - 1 + 6 = -5*k. Suppose -4 = -2*g + 2*c - c, 0 = 2*c + 4. Let b be ((0 - i)/g)/(-1). Solve 5*h - 5 = -b for h.
1
Let t(l) = 4*l**3 + l**2 - 5*l + 3. Let r be t(1). Solve 0 = -r*x - x - 8 for x.
-2
Suppose -5*u - 3*i = 3, -2*u + 7*u + 5*i = -5. Let m be (u*2/(-8))/(-2). Solve m = 2*d + 1 + 9 for d.
-5
Let z be (4 - 1)*(-5)/(-3). Suppose -4*x - 8 = -5*l, 2*l + 0 - 5 = x. Suppose 4*j - 2*d - 23 = d, x*j + z*d - 10 = 0. Solve 0 = -t + j for t.
5
Suppose -7*y + 12 + 2 = 0. Solve -y*n - 3 = -11 for n.
4
Let m be (-4 - -1)/(15/10). Let o be m/(-8) + 30/8. Suppose 3 = -4*f + 11. Solve -2*u = f*u + o for u.
-1
Suppose 239 = 5*g + 204. Solve -g*r + 2*r = 0 for r.
0
Let s = -2 - -7. Suppose -3*r + 5*r + h - 9 = 0, -h + 11 = 3*r. Solve r*t = s*t for t.
0
Let s be (-13 - -8)/(-1*2 - -1). Solve s*c = -0*c - 15 for c.
-3
Suppose -5*z + 0*r - 30 = r, z - 5*r = -32. Let m = z - -9. Solve m*h - 5 = 3 for h.
4
Let a(k) = 2*k**3 + 4*k - 4*k**2 - 3*k**3 + 0*k**2 + 2*k**3. Let d be a(3). Solve d*c - 2 = c for c.
1
Let x(n) = n**3 - 5*n**2 + 6*n - 2. Let l be x(4). Suppose 0 = 3*r + 3*q - 18, 0 = 2*q - 5*q + l. Suppose r*v = 10 - 2. Solve -v = -2*a + 4 for a.
3
Suppose 2*a + 0 = -2. Let m = a + 2. Let b be (1/2 + -1)*0. Solve m = c - b*c for c.
1
Let r(c) = -c + 2. Let s be r(0). Solve s*f - 9 = 5*f for f.
-3
Suppose 9 = 3*m + 5*o + 27, -10 = 4*m + 2*o. Let y be (-2 - m)*(1 + -1). Let i = y - 0. Solve 2*f - 6 - 4 = i for f.
5
Let m(z) = z**3 + 10*z**2 + z + 8. Let y be m(-10). Let h be (7/(-21))/(y/6). Solve 0 = -3*n + h + 2 for n.
1
Let f = -20 + 23. Solve 0 = f*c + 9 for c.
-3
Let u be (-193)/(-1) - (-3 + 1). Suppose 4*d - w = -u, 27 + 72 = -2*d + w. Let l = -28 - d. Solve -4*h - h + l = 0 for h.
4
Suppose -u = 3*x + 3*u - 3, -3*u = 9. Solve -x*a + 3*a = 0 for a.
0
Suppose -2 + 2 = 7*x. Solve -1 = -x*v - v for v.
1
Let v = 14 + -2. Suppose -3*q = -4*q + v. Solve 0 = 4*o - q + 4 for o.
2
Let b(m) = m**2 + 2*m - 5. Let v be b(-4). Suppose 3*n = 2*g - n - 10, 0 = 3*n + 3. Suppose g*f - 3*l + 6 = -0*f, -4*f - 4 = -v*l. Solve 3 = f*r - 3*r for r.
-3
Suppose -5*b - 3*l = 2, b + 2 = 4*b + l. Solve 3*v = 13 + b for v.
5
Let s = -8 - -13. Solve -12 = s*f - f for f.
-3
Let t be 68/11 - 2/11. Let d = t - 6. Solve -4*r = -d*r - 8 for r.
2
Suppose p + 2*p = 12. Suppose 2*k = p*n - 8, -3*k + 18 = -0*n + 4*n. Suppose 0 = 4*j - 14 - 2. Solve j*m = -14 - k for m.
-4
Let t(j) = j + 4. Let s be t(-4). Suppose 2*d - 21 - 9 = s. Suppose 0 = 2*v + 37 - 41. Solve -m = v*m + d for m.
-5
Suppose -4*k + 2*f = -154, 0*f - f = k - 31. Let y = k - 24. Suppose 3 + y = 3*i. Solve 0 = -i*o - 4 + 19 for o.
3
Let s(c) = c + 4. Let l be s(0). Suppose l*m = 2 + 10. Suppose 5*r - m*r - 14 = 0. Solve 0 = -3*u + 5 + r for u.
4
Let k be (0/(-5 - -1))/2. Solve -5*q - 4 - 1 = k for q.
-1
Let t(u) = u**3 - 8*u**2 - 7*u - 10. Let f be t(9). Suppose -5*z + z - f = 0. Let m be 2/z - -1*7. Solve m*l = 2*l + 8 for l.
2
Suppose 0 = -2*o + o - 1. Let r be 3/(-2 + 4 + o). Let j be 1 - 0 - (2 + -7). Solve -r*y + j*y = 12 for y.
4
Let b be ((-6)/(-15))/((-1)/(-20)). Let x be 12/b - (-5)/2. Solve -1 + x = -s for s.
-3
Suppose 0 = 11*n - 7*n - 8. Solve 0 = 3*c - n + 8 for c.
-2
Suppose -j + 4*n + 72 = 0, -3*n + 141 = 3*j - 0*j. Suppose 5*r = r + j. Solve r - 3 = 2*f for f.
5
Let k(j) be the third derivative of j**4/24 + 5*j**3/6 + j**2. Let t be k(-6). Let d be -3 + 2 - -4 - t. Solve 3*n + n = -d for n.
-1
Suppose -4*w + 4*a + 32 = 0, 0 = 2*w + 5*a + 5 + 7. Let u = w - 1. Solve -8 = u*h + 4 for h.
-4
Suppose -10 = r - 3*r. Let d = 8 - r. Suppose -d*a = -2*q + a + 28, -a - 3 = 0. Solve -7 - q = -5*o for o.
3
Let p = 14 - 8. Let i be 0 + 2 + 5 + -2. Suppose -4*m + i*m = 0. Solve d - 4*d - p = m for d.
-2
Let y be (-178)/(-14) + 8/28. Let k = 17 - y. Solve 0 = q + q - k for q.
2
Let r = 20 - 15. Solve r*u + 5 + 5 = 0 for u.
-2
Suppose 107*k = 108*k. Solve k = 5*q + 34 - 9 for q.
-5
Let w be ((0 - -4)/1)/2. Suppose 0 = -w*v + 13 - 5. Solve v*d + 2 = -18 for d.
-5
Let i = 70 + -34. Suppose -v + i = 11. Solve 0 = 6*a - a - v for a.
5
Suppose -5*b - 14 + 19 = 0. Solve 4 = 5*i - b for i.
1
Suppose v - 1 - 1 = 0. Let b(z) = z. Let y be b(v). Let g be (-4)/(-14) - (-26)/7. Solve -g*s = -y + 6 for s.
-1
Suppose 2*s = 109 + 41. Suppose 2*l + 3*l - s = 0. Solve -2*r = 3*r + l for r.
-3
Let r = -22 - -22. Solve r = -6*s + 2*s + 20 for s.
5
Suppose 0*k = 5*k - 25. Suppose -p + 1 = -b - 0*p, -p - 3 = -2*b. Solve b*q + q - k = 0 for q.
1
Let h be (-1 - 0) + (3 - -2). Suppose 0 = o + h*o - 10. Solve -o*c - 3*c - 15 = 0 for c.
-3
Suppose 4*v = 2*v. Suppose 2*m + v*m = 0. Let z = -2 + 8. Solve z*n - n + 25 = m for n.
-5
Suppose 0 = 4*m - 5*q - 125, -41 = -m - 0*m - 2*q. Let s be 4/6 - m/(-15). Solve -7*b + 20 = -s*b for b.
5
Suppose 5*d + 5*m - 4 = 16, -4*d - 29 = -5*m. Let c be (-1 - d)/((-6)/(-3)). Suppose 3*a = 10*a. Solve a = -u + 2 - c for u.
2
Let p be (2 + -4 - -2)/(-1). Let x(d) = d**2 + 4*d + 6. Let r be x(-5). Suppose -r - 21 