 168 = 3*p - b*p. Is 11 a factor of (-558)/p - 4/14?
False
Suppose -5*v + 0*g - 4 = -4*g, -1 = 5*v - g. Let a = 1 - v. Does 15 divide (5/(-15))/(a/(-177))?
False
Let w(u) = 11*u**3 - 2*u**2 - 21*u + 44. Is w(6) a multiple of 40?
False
Does 6 divide (0 + -1)*(-862 + 33)?
False
Let s be (-14)/3*(21/14 - 3). Suppose -6*u = -s*u + 72. Is u a multiple of 8?
True
Let p(l) = -l**3 - 6*l**2 - l - 2. Let t be p(-6). Suppose 2*o - t*o = 0. Suppose 0*s - 34 = -d - 4*s, 5*d + 5*s - 230 = o. Does 25 divide d?
True
Let r(f) = -40*f + 2. Let l be r(-1). Let x = 85 - l. Is 19 a factor of x?
False
Let w(j) = 7*j**2 - 7. Let h be (-4)/(-14) + 37/(-7). Let r be 0 + h + 2 + 0. Does 14 divide w(r)?
True
Let s = -737 + 1542. Does 35 divide s?
True
Suppose 8 = -2*o + 6*o. Suppose f + 3*w = 7, 0*f = -f - o*w + 4. Let p = 46 - f. Is p a multiple of 16?
True
Let c(n) = -19*n**3 - 2*n**2 - n. Let h be c(-1). Let a(q) = q**3 - 17*q**2 - 16*q + 26. Is a(h) a multiple of 31?
True
Let l = 113 - 97. Suppose -l*t - 184 = -20*t. Is t a multiple of 46?
True
Let v be (-3 + 3)*(3 - 4). Let q be (v + 4)*65/10. Let i = q + 6. Is 16 a factor of i?
True
Suppose 5*l = -5*f + 45, -21 = -f + 4*l - 8*l. Let r(i) = 5*i - 2*i - 4*i + 6*i + f. Is r(5) a multiple of 30?
True
Let i(k) = k**3 + 11*k**2 + 9*k - 8. Let h(b) = -b**3 - 12*b**2 - 10*b + 9. Let n(l) = -6*h(l) - 7*i(l). Let y be n(-4). Does 3 divide 1/y + 111/6?
True
Let z(o) = -o**3 + 16*o**2 - 22*o + 26. Is 4 a factor of z(6)?
False
Let k = -63 - -159. Suppose -k = -4*g + 296. Let p = -63 + g. Is 13 a factor of p?
False
Let h be (-44)/(-2)*(4 + (-21)/6). Let x(w) = -w**2 + 16*w - 9. Does 4 divide x(h)?
False
Let o be (-2)/5 + (-22)/(-55). Suppose o = -2*a - 5*y - 17, -4*y + 0*y = 20. Suppose r - a*r = -327. Does 23 divide r?
False
Let b(s) = -14*s**3 - 5*s**2 - 13*s - 39. Let c(v) = 5*v**3 + 2*v**2 + 4*v + 13. Let i(a) = -6*b(a) - 17*c(a). Does 25 divide i(-6)?
True
Suppose 0*g - 2*d = 5*g - 2758, 0 = -5*g - 3*d + 2757. Does 8 divide g?
True
Let z(f) = 38*f**2 - f. Let g be z(-1). Let t = g + -18. Is t a multiple of 11?
False
Let i = -1379 + 2062. Is 53 a factor of i?
False
Suppose 0 = 7*s - 5*s - 216. Suppose -9*w + s = -7*w. Is 9 a factor of w?
True
Suppose 0 = -4*p + 2*n + 212, 0 = -5*p - 0*n + 3*n + 267. Suppose -44*a + p = -43*a. Is 7 a factor of a?
False
Let g(u) = u**2 - 27*u + 269. Does 2 divide g(16)?
False
Let l(m) = m + 13. Let a be l(-11). Suppose 0 = 3*n + 4*d + a, 0 = -4*n - 0*d - 2*d + 14. Let v(c) = c**3 - 3*c**2 - 7*c - 4. Is 31 a factor of v(n)?
True
Let z = -9 - -9. Suppose 2*h + 3*h = 2*v - 3, z = -3*v + 4*h + 15. Is 3 a factor of v?
True
Let o = 25 - 22. Suppose -o*a = -4*a + 24. Suppose -y = z - a + 10, 4*y + 2*z - 60 = 0. Does 4 divide y?
True
Let k(l) be the first derivative of 86*l**3/3 + l**2 + 21. Is k(-1) a multiple of 12?
True
Let z(a) = -59*a + 11. Let i be z(-7). Is 35 a factor of -1 - -3*i/12?
True
Let k be (-58)/(-18) + (-2)/9. Suppose k*y + 16 = 7*y. Suppose y*d - 2*w = 74, 9*w - 4*w = d - 5. Does 10 divide d?
True
Suppose -13*b + 9*b = -996. Let h = -174 + b. Is h a multiple of 25?
True
Let j be 872/(-20)*(-29 + -1). Suppose -7*a + j = -a. Is a a multiple of 39?
False
Let d be ((-6)/4)/((-7)/28). Is 16 a factor of (-1221)/(-22) + d/(-4)?
False
Suppose p - 6*p + 5*j - 490 = 0, 5*p = -j - 502. Let m = 230 - p. Is 15 a factor of m?
True
Let r = -845 + 1945. Is r a multiple of 20?
True
Suppose 15 = 5*u, 13*t + 1866 = 16*t - 3*u. Is t a multiple of 6?
False
Suppose 4*h = -5*v + 4098, -3*h = -6*h + 5*v + 3056. Is h a multiple of 76?
False
Let t(n) = 19*n**2 + 18*n - 49. Does 56 divide t(7)?
True
Let s = -10 - -6. Does 17 divide -14*(0 + 1)*s?
False
Let w(r) = 2*r - 9. Let f be w(6). Suppose 0*i - f*i = -12. Does 10 divide (-78)/i*4/(-3)?
False
Let u be ((-12)/9)/((-8)/108). Suppose b + 9 = u. Is b a multiple of 9?
True
Let t(f) = -f**3 - 13*f**2 + 23*f + 3. Does 5 divide t(-15)?
False
Let l(z) = -8*z - 12 - 3*z + z - 23. Is 10 a factor of l(-10)?
False
Let n = 153 + 228. Is 6 a factor of n?
False
Let q(s) = -s**3 - 16*s**2 + 96*s + 1. Is q(-23) a multiple of 44?
True
Let b = -363 - -385. Does 13 divide b?
False
Let d(l) be the second derivative of l**4/12 + l**3/6 + 10*l. Does 8 divide d(7)?
True
Let f be 27/18*(0 - -98). Is 22 a factor of (f - 10/(-2)) + -1 + -2?
False
Let j = 503 + -419. Is j a multiple of 42?
True
Suppose 32760 = -22*l + 37*l. Does 42 divide l?
True
Suppose -22 + 2 = -5*x, 5*d + 3*x = -13. Is 23 a factor of d/20 + (-738)/(-8)?
True
Let f = 37 - -100. Suppose 370 = 142*g - f*g. Is g a multiple of 49?
False
Suppose 0 = -2*o + 4*b - 14, -4*o - 5*b - 5 = -42. Suppose 4*i - o*v = -i + 194, -i + 34 = -3*v. Is 10 a factor of i?
True
Let m(u) = 26*u - 72. Let f(b) = -17*b + 48. Let s(n) = 8*f(n) + 5*m(n). Let z be s(11). Is 16 a factor of z/8*(-168)/9?
False
Let k(q) = q**2 - 4*q - 3. Suppose -30 = -7*h + 12*h. Is 4 a factor of k(h)?
False
Suppose 0 = 3*c - 70 - 14. Let n = c - 27. Is 25 a factor of 0 + n - (-107 + 9)?
False
Let j = 6020 + -4096. Is j a multiple of 28?
False
Let w = -914 - -937. Is 5 a factor of w?
False
Let a(s) = 6*s + 87. Does 9 divide a(-7)?
True
Let d = -3 + 121. Let n = 187 - d. Is n a multiple of 23?
True
Let v be 3/(-12) + 9/4. Let r be 3 + ((-14)/v - -2). Is (-3)/(r/((-48)/(-9))) a multiple of 8?
True
Suppose b + 5*a - 16 = 0, -3*a - 1 - 11 = 3*b. Is 11 a factor of (-18)/6*132/b?
True
Let x = 13208 - 9091. Does 112 divide x?
False
Let j(q) = q - 1. Let b(r) = -11*r - 8. Let m(t) = b(t) - 6*j(t). Is m(-1) a multiple of 3?
True
Suppose 17*c + 137 = -33. Is 7 a factor of 5 + c + 65 - 4?
True
Let i(s) = -33*s + 700. Does 29 divide i(0)?
False
Let t(o) be the second derivative of o**5/20 + 7*o**4/6 - 19*o**3/3 + 2*o**2 - 31*o. Does 20 divide t(-16)?
True
Suppose 0 = -2*t + 4 + 2. Suppose 4*o + t*p - 131 - 360 = 0, -o - 3*p + 134 = 0. Suppose 5*f = 11 + o. Is f a multiple of 13?
True
Let f(b) be the third derivative of b**4/24 + 7*b**3/3 + 16*b**2. Does 19 divide f(10)?
False
Let a(m) be the third derivative of m**5/30 + 3*m**4/8 + 9*m**3/2 - 32*m**2. Does 17 divide a(-11)?
True
Let j be (-4 + 1)/((-9)/78). Let c = j - 24. Suppose c*p - 40 = 5*b, -4*b = -0*p + 4*p - 108. Does 5 divide p?
True
Suppose 5*a = a + 800. Let b be a/14 + 6/(-21). Suppose 2*m = m + b. Is m a multiple of 12?
False
Let b(h) = -21*h - 3. Let v be b(3). Is 44 a factor of v/5*(-100)/5?
True
Is (-6)/(-12) - (1777/(-2) + -5) a multiple of 6?
True
Suppose -2*c - 12 = 4. Let v(k) = 6*k**3 + 2*k**2 - 10. Let a(r) = 7*r**3 + r**2 - 10. Let i(z) = 5*a(z) - 6*v(z). Is i(c) a multiple of 15?
False
Let t(f) = 2*f**2 + 3*f - 2. Let p be t(-3). Let o(y) = y - 2. Let s be o(0). Let d = s + p. Is d even?
False
Suppose -2*y = -8*t + 3*t + 2605, y = 3*t - 1562. Is 16 a factor of t?
False
Let o(b) = -b**3 - 10*b**2 + 9*b + 13. Let l be 2*67*(10 + -9). Let n be (-4)/(-24) + l/(-12). Is 7 a factor of o(n)?
True
Let n = -2040 + 2327. Is n a multiple of 85?
False
Let t be (6/(-18))/(1/(-18)). Suppose 13*o + t = 16*o. Suppose -2*n + 4 = -r, -r + o + 19 = 3*n. Is r a multiple of 6?
True
Suppose -15*j = 68 - 7793. Is 8 a factor of j?
False
Let v(n) = n**2 + 5*n - 2. Let w be v(-6). Suppose -9*c = -25*c + 960. Suppose b - c = w. Is 14 a factor of b?
False
Suppose -3*g - 2*i + 3392 = -422, -5082 = -4*g - 2*i. Is 15 a factor of g?
False
Let d = 225 - 85. Is 13 a factor of d?
False
Let u be (2 + 10)/(-1)*9/(-27). Suppose -5*b + 32 = -u*b. Is b a multiple of 32?
True
Suppose -6 = 6*u - 18. Suppose -2*g = -42 - u. Does 11 divide g?
True
Suppose -3*n + 2*a = -836, 5*n = 2*a + 733 + 663. Does 30 divide n?
False
Let m be (8/10)/(-1)*-5. Let r = m - -2. Is r a multiple of 2?
True
Suppose -4*v = 2525 - 6285. Does 26 divide v?
False
Suppose 0 = -475*j + 498*j - 7199. Does 122 divide j?
False
Suppose -n = 3*p - 6*n + 19, 14 = -2*p + 4*n. Is 29 a factor of 18/(-12) - p - (-778)/4?
False
Let d be (5 - 2) + 9 + -7. Suppose 4*p - 3*p + 909 = 0. Is (-1)/d - p/45 a multiple of 6?
False
Suppose 0*v = v - 3. Let q(w) = 8*w - 9. Is 4 a factor of q(v)?
False
Let d = 652 - 646. Is 3 a factor of d?
True
Let u(s) = s**2 - 14*s + 56. Let k(j) = j**3 - 23*j**2 + 25*j - 50. Let n be k(22). Is 9 a factor of u(n)?
False
Let w(g) = -33*g**3 - 3*g**2 +