s (-2)/q + (-438)/(-15) a multiple of 11?
False
Let v(p) = -p**3 + 3*p**2 + 25*p. Is v(5) a multiple of 5?
True
Let q = 327 - -453. Is 26 a factor of q?
True
Let q(i) = -i + 25 - 23 - 2*i**2 + 40*i**2 - 10*i. Is 11 a factor of q(2)?
True
Is 65/((1/(-4))/((-19)/4)) a multiple of 19?
True
Let l = 10 + -8. Suppose -l*b - 29 = -3*a - 0*a, b + 11 = a. Does 2 divide a?
False
Let y = -3493 - -5002. Does 29 divide y?
False
Let j(m) = m**3 + 3*m**2 + 5*m + 3. Suppose -6 = 4*w + 2. Let a be j(w). Does 12 divide (47/a)/((-2)/6)?
False
Let k(i) be the first derivative of i**4/4 + 3*i**3 - 11*i**2/2 + 10*i + 1. Let g = -262 + 252. Does 10 divide k(g)?
True
Suppose -2*m = -5*m + 1548. Is m a multiple of 87?
False
Suppose 0 = 5*o - 10*o + 25. Suppose -4*p = g - o*g + 104, -5*p = 5*g - 100. Suppose -g = -u - 9. Is u a multiple of 14?
True
Suppose 25 = 3*h + 2*h + 3*k, h - k = -3. Suppose h*q - 49 - 57 = 0. Does 6 divide q?
False
Suppose -10*h = -19 + 9. Let b be ((-2)/4)/(1/(-14)). Let i = h + b. Does 8 divide i?
True
Suppose 4*h - 11888 = -23*v + 27*v, -2*v = -5*h + 14854. Is 15 a factor of h?
True
Suppose 4*p - 2 = 2. Let k be -2*p/(-3 - -2). Suppose 2*w - 14 = k*c, -c + 3*c + 9 = w. Is w a multiple of 5?
True
Let w = -1092 - -2385. Is w a multiple of 39?
False
Suppose -8 = -3*w - 2. Suppose 5*l - 25 = w*m - 255, -2*m + 3*l + 234 = 0. Suppose -7*q + 12*q = m. Does 4 divide q?
True
Suppose 2*k + 5*o + 27 = 0, 6 = 2*o - 0. Is 12/(4/(-14)*k/12) a multiple of 24?
True
Let a(n) = 9*n + 4. Let l be a(3). Let i = l - 12. Suppose 0 = d + t - i, 3*d - 4*t + 4 = 4*d. Is d a multiple of 8?
True
Let g(k) = -2*k**2 + 1. Let i be g(1). Is 15 a factor of (14/28)/(i/(-174))?
False
Let c be (26 - 22) + (-1 - 4). Is c/((4/(-21))/4) a multiple of 3?
True
Suppose -4128 = -2*s - 3*u - 1369, -4*s - 2*u + 5506 = 0. Is s a multiple of 25?
True
Suppose -13 = -5*f - 3. Let q(s) = 13*s + 8 - 12 + 10*s**f + 1 + 1 - s**3. Does 10 divide q(11)?
True
Let b(t) = -2*t - 8. Let v be b(-8). Let j(s) = -s**3 + 9*s**2 + 8*s - 11. Does 39 divide j(v)?
True
Let g be 2/((-8)/(-14)) + 3/6. Suppose -417 = -4*x - 5*k, -x - 2*k + 88 = -g*k. Is x a multiple of 29?
False
Is 13 a factor of (7 + 60/(-8))*-962?
True
Let w(c) = -c + 2*c + c**2 + 6 - 4. Let a be 1/8*2 - (-175)/(-28). Is w(a) a multiple of 16?
True
Let i(k) = -2*k**3 - 8*k**2 + 27*k - 23. Is 39 a factor of i(-8)?
True
Let d(h) = 3*h**2 + 12*h + 9. Let t(j) = -60*j - 42 - 8*j**2 - 4 - 8*j**2. Let f(c) = -11*d(c) - 2*t(c). Is 6 a factor of f(-9)?
False
Let i(p) = 2*p**3 + 5*p**2 - 4*p + 2. Is i(4) a multiple of 39?
False
Let c = -20 - -22. Is 10 a factor of 8/c + 40 + 16?
True
Let g(a) = -19*a + 1. Suppose -2 - 1 = y - q, 3*y + 3*q = -21. Is 24 a factor of g(y)?
True
Suppose -14*h = -744 - 600. Does 6 divide h?
True
Let d(i) = i**2 - 6*i + 3. Let j be d(7). Let x = 13 - j. Suppose x*t = 2*t + 35. Does 13 divide t?
False
Suppose -414 = -8*p - 102. Does 3 divide p?
True
Let a(z) = -599*z + 188. Is 22 a factor of a(-2)?
True
Is (-1921141)/(-730) + 3/10 a multiple of 7?
True
Suppose -40 = -b + k, -k - 200 = -4*b - 5*k. Suppose -b = -5*p - 2*d + 180, -4*p + 4*d = -152. Is 11 a factor of p?
False
Suppose -105 + 9 = -2*v. Suppose -4*d = 4*f - 156, 0*d + 4*f = -d + v. Let i = -22 + d. Is 14 a factor of i?
True
Let y = 82 - 82. Suppose -14*s + 593 + 37 = y. Is s a multiple of 4?
False
Suppose 5*k - 5*q - 510 = 0, -4*k + 495 = -3*q + 87. Is k a multiple of 18?
False
Does 26 divide (14 + -3 - 8) + (-1 - -1314)?
False
Let l(k) = -k**2 - 5*k - 4. Let v be l(-3). Suppose -5*y - 2*j - 50 = -659, 3*y - v*j = 375. Does 10 divide y?
False
Suppose 2*y + 2 = -2. Let s be (-23)/(-2)*y/(-1). Suppose s = t - 27. Does 12 divide t?
False
Let f(m) = -17*m**3 - 5*m**2 - 5*m - 15. Is f(-5) a multiple of 30?
True
Let n(l) = l - 11 + 6 + l**2 - l. Let k be n(-3). Suppose k*j - 11 = 89. Does 14 divide j?
False
Let v(l) = -4*l**3 + 4*l**2 + 19*l + 65. Does 6 divide v(-5)?
True
Let s(k) = 3 - k**3 + 3*k - 2 + 10*k**2 - 7. Let t(d) = -16*d + 106. Let w be t(6). Is s(w) a multiple of 3?
True
Suppose 3421 + 3144 = 65*j. Is 101 a factor of j?
True
Does 4 divide (-268)/6*17/102*-18?
False
Let y(m) = -m - 4. Let v be y(-4). Is 12 a factor of v/1 - (-78 + 1)?
False
Is 31 a factor of ((-40)/(-6))/(156/43524)?
True
Suppose -t - 4*d = -0*d - 333, 4*d - 682 = -2*t. Suppose -t + 19 = -10*z. Does 9 divide z?
False
Let w(u) = -u**3 - 3*u**2 + 2*u + 10. Let r be w(-7). Let o = r + -109. Does 11 divide o?
False
Let i(l) = -2*l**2 + 4*l + 208. Is i(0) a multiple of 26?
True
Let b = 30 - 10. Let s = 33 - b. Is 13 a factor of s?
True
Let t(a) = 55*a**3 + 2*a**2 + 10*a - 1. Does 28 divide t(3)?
False
Suppose -57*s + 41*s = -50384. Is 41 a factor of s?
False
Let o = -6 - -7. Let v(h) = 10*h**2 + h**3 - 9 - o - 2*h**3 - 3*h. Does 27 divide v(9)?
False
Suppose -l = -3*l + 4. Suppose 0 = 2*j + l*j - 24. Does 3 divide j?
True
Let n(p) = p. Let t(j) = -4*j + 1. Let f(a) = 9*n(a) + 2*t(a). Let s be f(2). Suppose -5*h = 4*d - 173, -h + 2 = s*d - 39. Is h a multiple of 15?
False
Let x be (152/(-16))/((-2)/16). Suppose -x = -3*u + 4*t, u + t = 21 + 9. Does 7 divide u?
True
Let c be -5 + (-4 - -7) + 5. Suppose 0 = c*l - 0*n + 5*n - 193, -5*n = 5*l - 305. Is l a multiple of 8?
True
Suppose -20*r = -24*r + 20. Suppose 0 = -2*y + r*k + 16, -y + 5*k = -0*y - 8. Let p = 11 - y. Does 2 divide p?
False
Suppose -2*s + 4*m - 150 = 0, -5*s - 4*m - 445 = -0*s. Let r = s - -128. Suppose 3*p - 5*l = 4*p - r, 5*p + 4*l = 131. Is 10 a factor of p?
False
Let o(w) = 104*w - 3. Is o(1) a multiple of 10?
False
Let o(w) be the second derivative of -1/12*w**4 + 1/2*w**2 + 11/6*w**3 + 3*w + 0. Does 6 divide o(9)?
False
Suppose 193*f = 180*f + 29016. Is 62 a factor of f?
True
Let n(q) = -q + 1. Let s(u) = 15*u + 16. Let o(l) = 6*n(l) + s(l). Is o(7) a multiple of 48?
False
Let k = 63 + -43. Suppose -9*h + k*h = 1540. Is h a multiple of 28?
True
Is 9 a factor of 9*(-31)/3*(-10 - -7)?
True
Let a be ((-18)/(-9))/((-3)/(-3)). Suppose 0 = -3*j - a*z + 273, -2*j + 5*z + 189 = 4*z. Is 7 a factor of j?
False
Let l(v) = 2*v - v + 16 + 2*v. Let f be 236/32 + 15/(-40). Is l(f) a multiple of 9?
False
Suppose -4*d + 1836 = z, d + 0*d = z + 459. Does 12 divide d?
False
Suppose 171 = -11*u + 12*u. Is u a multiple of 11?
False
Let u be 59 - (7 - 16/4). Let z = u + -38. Is z a multiple of 4?
False
Is (216/40)/((-78)/(-75) + -1) a multiple of 27?
True
Let h(t) = 7*t**3 - 3*t**2 - 37*t + 33. Does 45 divide h(6)?
True
Suppose 0 = -4*t + 943 + 257. Does 45 divide t?
False
Let h = 51 - 31. Suppose -2*f = -f - 5*u - 13, 4*u + h = 4*f. Is 17 a factor of -19*(-3)/(9/f)?
False
Suppose -2 = -3*b + 7. Suppose -t + 3 = b*a - 7, -2*t - 10 = 0. Let g(d) = d + 6. Is 10 a factor of g(a)?
False
Let i = -156 + 158. Let h be 0*((-4)/(-2) - 3). Suppose u - 10 + i = h. Does 2 divide u?
True
Let l(o) = o**2 + 6*o + 10. Let q be l(-4). Let m be (-72)/2*(6 - 12). Suppose r - 96 = -q*z, 0 = -4*z + 2*r + 2*r + m. Is z a multiple of 10?
True
Does 69 divide -3 - (-5808)/(7 + -3)?
True
Suppose -2*r - 117 + 10687 = n, 4*n + 5267 = r. Does 13 divide r?
False
Is 56 a factor of 7/((-15)/16 + 1)?
True
Let z = -5 - 2. Let v be -2 - (z + (-3 - -6)). Is 4 a factor of 3/2*4 + v?
True
Let h be -1 + 0 + 1 - -28. Suppose 2*z + h + 2 = 0. Let l = z + 32. Does 7 divide l?
False
Suppose 7*m = 4*m + 6. Let r(x) = -x**2 + 5*x - 4. Let z be r(m). Suppose -4*u + z*i + 44 = 0, 0 = -6*u + 2*u + 5*i + 32. Is u a multiple of 8?
False
Suppose -425 = -2*p - 3*k, 618 = -7*p + 10*p - 2*k. Is 26 a factor of p?
True
Suppose -3*b - 2*b = -2*a + 11, 0 = -4*a + 5*b + 17. Suppose 4*g = 12, -5*d - a*g = 2*g + 95. Let h = d - -37. Is 5 a factor of h?
True
Let m be ((-2439)/(-6))/(-3)*-2. Suppose -3*h + m = 5*d - 167, 0 = -2*h - 8. Does 15 divide d?
True
Suppose 24 = -11*i + 19*i. Suppose 4*v = -i*a + 685 + 78, 0 = -4*v + 2*a + 758. Is 19 a factor of v?
True
Is -3*11/198 - (-14606)/12 a multiple of 9?
False
Suppose t = -2 + 13. Does 11 divide (t/(-3))/(3/(-36))?
True
Let z = -16 + 13. Let a = 25 - z. Is 14 a factor of a?
True
Suppose -d - 10 = -3. Let j = d - -4. Does 23 divide (j - 144/(-2))/1?
True
Let g = 266 - 139. Is g a multiple of 3?
False
Suppose -247 = -18*p + 5*p. Let n(h) = 18*h - 38. Is 24 a 