5*a = -5*i + 135, 3*i - 2*a - p*a - 73 = 0. Is i a multiple of 11?
False
Suppose -5*v - 5*y - 30 = 0, 3*v - 3*y + 4*y = -20. Let w be (19 + v)/(1 + 0). Is 12 a factor of w/2*-1*-6?
True
Suppose 0 = -w - 2*k + 82, -4*w + k = -208 - 93. Is 25 a factor of w?
False
Let c(b) = -9 - 7*b - b - b**2 - b. Suppose 6*s - 2*s = -24. Is 9 a factor of c(s)?
True
Suppose 56 = 2*u + m - 72, -5*u = 2*m - 318. Suppose 5*v = 108 + u. Is 10 a factor of v?
False
Let d(r) = -3*r**3. Let c be d(1). Does 36 divide 4/(4/c) + 61?
False
Suppose 5*o + 4 = 14. Suppose -2*c = -d - c + 18, -d + o = -5*c. Is 19 a factor of d?
False
Let m be (14/4)/((-3)/6). Does 24 divide (-170)/m - (-6)/(-21)?
True
Let q = 52 - 31. Suppose -4*k = -7 - q. Is 7 a factor of k?
True
Let h be 10/4 + (-2)/4. Let z(x) = -x**3 - 8*x**2 - x - 6. Let r be z(-8). Is -1 - (-12 - r) - h a multiple of 11?
True
Let s be 39/4 + (-1)/(-4). Let d(a) = -14*a + a**2 + 1662 + 5*a - 1669. Is d(s) a multiple of 2?
False
Suppose 5*h = -0*h + 3*r + 53, r - 29 = -3*h. Suppose -h = -5*v - 0*v. Suppose g - v*i - 2 = 24, -5*g - 4*i = -186. Is g a multiple of 18?
False
Let a = 7 - 5. Does 20 divide (a/4)/(6/456)?
False
Let y = 9 + -16. Does 6 divide (-80)/(-14) - 2/y?
True
Is 386/10 + 4/10 a multiple of 10?
False
Let u(q) = -q**3 + 9*q**2 - 8*q. Let y be u(8). Suppose 5*k = -0*s - s + 37, 3*s - 3*k - 39 = y. Is 17 a factor of s?
True
Suppose n - 4*o - 28 = -n, 25 = -5*o. Suppose n*y - 3*y = 14. Does 7 divide y?
True
Let m = -22 + 16. Let c be (3/6)/((-1)/m). Suppose -5*u = 3*x - 205, -c*u - 2*x = 42 - 165. Is u a multiple of 22?
False
Is 20 a factor of 29/((12/(-9))/(-4))?
False
Let q(l) = 2 - l**2 - 5*l**2 - 5*l + l**3 - 4. Does 12 divide q(7)?
True
Suppose 2*r - 3*y = 2*y + 4, 3*r + 2*y - 25 = 0. Let v = -3 + r. Is 4 a factor of v?
True
Suppose j + 169 = 2*j + 2*c, -2*j + 333 = -c. Let m = -115 + j. Is 26 a factor of m?
True
Let a(c) = 14*c - 3. Suppose -3*l - 2*l + 10 = 0. Is 18 a factor of a(l)?
False
Let q(a) = 2*a**2 - a + 6. Suppose 4*r = 5*p - 12, p = 4*p. Is q(r) a multiple of 9?
True
Suppose 2*f + 5*s + 5 = 0, f - 3*s = -31 + 12. Is (-94)/f - (-4)/(-10) a multiple of 2?
False
Let s(p) = p**3 - 5*p**2 - 7*p + 8. Let y be s(6). Is 10 a factor of (-2 + 0)*(y + -19)?
False
Suppose 2*u = -5*p + 154, -5*p - u = -0*u - 157. Does 10 divide p?
False
Let u(v) = -v**2 + 3. Let j be u(0). Suppose 2*k = -j*k + 95. Is k a multiple of 9?
False
Let g(q) = -5 + 0*q**2 - 3*q + q**2 + 0*q**2. Let s be g(-4). Let l = 0 + s. Is l a multiple of 19?
False
Let b(u) = -39*u. Let x be b(1). Does 13 divide x/(-2)*20/15?
True
Let h be (-5)/(-1) - (-2 + 3). Let x be h - ((-3 - -2) + 3). Suppose x*d - 36 = -4*f, 3*d - 14 - 49 = -3*f. Does 8 divide d?
True
Let l(x) = -3*x**3 + x**2 - 3*x - 3. Let t be l(-3). Suppose 3*u + t = 4*u. Suppose 7*r - u = 3*r. Is 12 a factor of r?
True
Let j(y) be the first derivative of -y**2 - 13*y + 3. Is j(-11) a multiple of 3?
True
Let v = 16 + 25. Suppose v - 286 = -3*t + 5*j, -2*j = -2*t + 170. Is 24 a factor of t?
False
Suppose 0 = -3*n + 2*y + 527 - 164, -4*n + 479 = -y. Does 17 divide n?
True
Suppose 0 = 3*b + 4*n - 152, -2*b = n + n - 98. Let s = -17 + b. Does 10 divide s?
False
Suppose 2*i + i - 96 = 0. Is 11 a factor of -2 + 1 + 2 + i?
True
Suppose -r = -2 - 2, -3*r + 573 = 3*q. Does 16 divide q?
False
Let d(r) = -r**2 - 7*r + 4. Let x be d(-7). Let b(h) = h**2 + 2. Is 9 a factor of b(x)?
True
Is (1 + -1 + -1)*-58 a multiple of 29?
True
Let o = -53 + 24. Let l = o - -78. Is l a multiple of 14?
False
Let h(l) = -l**3 - 3*l**2 - l + 2. Let q be h(-3). Suppose 2*y - 6*y = -3*f + 5, q*y - 5 = 0. Suppose -r = -3*u - 4*r - 3, f*u = 2*r + 22. Does 4 divide u?
True
Let p(c) be the first derivative of -c**6/360 + c**5/15 - 5*c**4/24 - 2*c**3/3 + 3. Let s(k) be the third derivative of p(k). Does 7 divide s(6)?
True
Is 15 a factor of (-6)/(-63) + 28344/63?
True
Suppose -3*i - 2*i = 865. Let o = i - -266. Suppose -w + 97 - 32 = 2*r, o = 3*r + 3*w. Does 9 divide r?
False
Let y = -62 - -97. Suppose -f = -0*f - y. Suppose f = 3*t - 13. Is 8 a factor of t?
True
Suppose -7*j = -5*j - 158. Is j a multiple of 20?
False
Let a(v) be the first derivative of v**4/4 - v**3/3 - v**2/2 - 62*v - 1. Let n be a(0). Let f = n + 93. Is f a multiple of 12?
False
Let t = -1 + -22. Let b be (6 - 0)/((-3)/(-26)). Let a = b + t. Is a a multiple of 10?
False
Suppose -11 = -2*i + 9. Let g = 26 - i. Is 13 a factor of (-3)/(g/(-5) + 3)?
False
Suppose 0 = -4*j + 30 + 10. Let u(c) = -c**3 + 4*c**2 - c - 2. Let p be u(3). Suppose p*l + j - 46 = 0. Does 8 divide l?
False
Let m be (-6)/(-9) - 20/(-6). Suppose -55 = -w - m*w. Suppose r = w + 10. Is 13 a factor of r?
False
Suppose 4*b + o = 23, 5*b - 3*o - 40 = -2*o. Suppose -7 = -2*i - 3. Suppose i*s - b = s. Is 4 a factor of s?
False
Let p be (-5 - -3)*(1 - 41). Let l = p - 41. Is l a multiple of 13?
True
Suppose -3*l + 2*l + 36 = 0. Is l a multiple of 18?
True
Suppose 4*g = -20, -2*k + 3*g + 3 = -2. Let j = k + 8. Suppose 0*n = -j*n + 54. Does 9 divide n?
True
Let l(m) be the second derivative of 2*m + 0 - 3/2*m**3 - 1/12*m**4 + 2*m**2. Is l(-8) a multiple of 9?
False
Let y = -3 - -8. Suppose -y*b - 33 = -3*s, -22 = -s + b - 3*b. Does 11 divide s?
False
Suppose 3*q = 9 + 3. Suppose -q*d + 76 = -44. Does 15 divide d?
True
Suppose 7 + 7 = x - 3*b, 2 = -x - b. Suppose 28 = 4*s - x*s + 4*q, -5*s - 4*q + 64 = 0. Is s a multiple of 12?
True
Suppose -2*m - 6 = 0, 3*j + 4*m = -m + 54. Is j a multiple of 19?
False
Let n = -22 - 15. Suppose h = 6*h + 100. Let a = h - n. Is 14 a factor of a?
False
Let j(c) = 9*c**2. Does 6 divide j(-1)?
False
Suppose 4*s = 4*z + 164, 3*z + 5*s - 49 = -164. Let i = z + 79. Is 16 a factor of i?
False
Suppose 2*a + 0 = 8. Let u be a/(-6) + 465/9. Suppose -u = -4*r + r. Is r a multiple of 9?
False
Let s = -9 - -12. Suppose -2*h = h - j - 14, 0 = -h - s*j - 12. Is h a multiple of 2?
False
Suppose 3*d - 3*x - 45 = 0, 5*x + 20 = x. Let v = -5 + d. Suppose 175 = 5*o - b, 0*b + 165 = v*o - 3*b. Does 13 divide o?
False
Let k(q) = 11*q - 2. Is 19 a factor of k(7)?
False
Let x(p) = -19*p + 1. Let l(q) = q**2 + 10*q - 1. Let k be l(-10). Does 9 divide x(k)?
False
Suppose -5*j + 931 = -l, -3*j + 553 = 5*l - 0*l. Is 17 a factor of j?
False
Let h be (-2)/(-5) - 54/(-15). Suppose -5*u = y + 7, 3*u + u = -h*y + 52. Does 18 divide y?
True
Suppose 5*g - 119 = 3*r, -5*g - 5*r + 116 = -7*r. Is g a multiple of 4?
False
Suppose -2*v - 6 = l, 0 = 3*l - 4*v + 11 - 43. Suppose 14 = 3*x + 5*z, 3 + 5 = l*x - 4*z. Suppose 0 = x*o - 4*o + 20. Is o a multiple of 10?
True
Suppose v - 4 = 166. Suppose -m + v = 4*m. Is 18 a factor of m?
False
Suppose 3*z - 64 = 5. Is 7 a factor of z?
False
Suppose 0 = j - m - 26, 4*m = -2*j + 5 + 29. Is j a multiple of 14?
False
Let z = 150 - 46. Is 13 a factor of z?
True
Let o(c) = 14*c**2 - 3*c + 1. Let x(k) = 42*k**2 - 8*k + 3. Let a(w) = 17*o(w) - 6*x(w). Let s be a(-3). Let v = -82 - s. Is 14 a factor of v?
False
Let v(c) = -4*c + 29. Does 20 divide v(-25)?
False
Suppose 2*h - 3*b - 2*b - 55 = 0, 4*b = 5*h - 180. Does 12 divide h?
False
Let u(y) = 6*y**2 - 8*y - 7. Is u(-3) a multiple of 28?
False
Let i(a) = -a**3 - 7*a**2 + 6*a - 9. Is 7 a factor of i(-8)?
True
Does 13 divide 594/21 - 2*2/14?
False
Let g(s) = -s**3 - 11*s**2 - 2. Let m be 3*(-2 + (-5)/3). Let n be g(m). Is 7 a factor of (1*-60)/n - 3?
False
Let y(o) = -4*o - 7. Let u = 11 + -16. Is 5 a factor of y(u)?
False
Is 25 a factor of (-831)/(-27) + (-16)/(-72)?
False
Let q(g) = -g**3 + 3*g**2 + 3*g + 2. Let x be (1 - 1) + 0/4. Suppose x*m = 3*m + 6, m - 1 = -t. Is 11 a factor of q(t)?
True
Let j = 85 + -40. Is j a multiple of 15?
True
Let y be 12/(-10)*1*10. Let k = y - -25. Does 5 divide k?
False
Let k = 46 + -26. Does 10 divide k?
True
Suppose 2*k + 1 = -5. Let d(r) = -r**3 - 2*r**2 + 3*r + 4. Let u be d(k). Is (-4)/16 + 53/u a multiple of 9?
False
Suppose -5*f = 4*k - 112, -3*f - 88 + 4 = -3*k. Is 28 a factor of k?
True
Let r(z) = 4*z**2 - 9*z + 26. Is 7 a factor of r(5)?
False
Let m(y) = y**3 + 10*y**2 - 2. Let d be m(-10). Let w be (1 + (d - -2))*3. Suppose -3*v - w*l + 16 + 17 = 0, -2*v - l + 24 = 0. Does 13 divide v?
True
Let k = -4 + 3. Does 6 divide 6/(-3) - k*14?
True
Suppose 4*q = 243 - 83. Do