*c + 100, -74 = -3*u - 4*c. Let q = u + g. Does 4 divide q?
False
Suppose -45*k + 47*k - 14 = 0. Let w(y) = y**3 - y - 3*y**3 + y**3 + 4 + 8*y**2. Is 23 a factor of w(k)?
True
Let l(x) = x**3 - 4*x**2 + x + 7. Let h be l(5). Suppose 5*j - 23 - h = -5*i, -5*i + 4*j = -96. Is 9 a factor of i?
False
Suppose 2*b - 3*b - 101 = -4*l, 0 = b + 5. Does 3 divide (-3)/((45/l)/(-5))?
False
Let b(a) = -a + 12. Let x be b(11). Suppose -j + 4 = x. Is 3 a factor of j?
True
Suppose 5*v + 270 = 4*r + r, 0 = 5*v + 15. Let g = r + 29. Does 17 divide (-6)/9 + g/3?
False
Let t = -368 + 563. Is t a multiple of 39?
True
Does 6 divide ((-7)/((-63)/606))/((-8)/(-12))?
False
Suppose 3*s - 57 = 27. Suppose -4*q = -28 - s. Is q a multiple of 7?
True
Suppose r - 2*r - 3*d + 29 = 0, -d + 31 = r. Let a = -10 + r. Is a a multiple of 11?
True
Let n be 2*2 + 4 + -2. Let h = -1 + n. Suppose 0*b - 170 = -h*b. Is b a multiple of 11?
False
Suppose -s = -2*w - w + 421, -4*w = 4*s - 556. Is 28 a factor of w?
True
Suppose 86 = -3*p + p. Let u = p + 69. Is 13 a factor of u?
True
Suppose 8*p = 5*p + 126. Is p a multiple of 11?
False
Let f(x) = x**3 + x**2 + x + 65. Does 18 divide f(0)?
False
Let i be 5 + -3 + 6/3. Is 18 + i/(0 - -2) a multiple of 10?
True
Suppose 0*w = -2*w + j + 20, 0 = 2*w - 4*j - 20. Is w a multiple of 2?
True
Let g(t) = -25*t. Let j(h) = h - 2. Let m be j(3). Let c be m - (3 + -3 + 3). Is g(c) a multiple of 13?
False
Let f(b) be the first derivative of -1/4*b**4 + 0*b**2 - b**3 - 2*b - 2. Does 12 divide f(-4)?
False
Let q(y) = 5*y + 1. Is 25 a factor of q(5)?
False
Let t = -15 - -60. Does 9 divide t?
True
Let s(c) = -c**2 + 2*c - 4. Let o(b) = -3*b**2 + 5*b - 9. Let d(h) = -3*o(h) + 7*s(h). Suppose 0 = -x + 7 - 4. Is d(x) a multiple of 12?
False
Suppose 13*t + 765 = 18*t. Is t a multiple of 40?
False
Let y(p) = -p**2 - 5*p + 1. Let k be y(-6). Let q = k + 5. Does 12 divide 0/3 + q - -24?
True
Suppose -5*v = -170 - 10. Is ((-222)/(-4))/(v/48) a multiple of 13?
False
Is 38 a factor of 4888/15 + 50/375?
False
Suppose 15 = 4*v - 7*v. Let o = v + 9. Does 7 divide (-54)/(-8) + 1/o?
True
Suppose -2*a + 5*a = 114. Is a a multiple of 6?
False
Is (205/15 - 7)*(-33)/(-2) a multiple of 55?
True
Let s(u) = u**2 + 5*u + 6. Let m be s(-4). Suppose -t = 5*l + 10, 41 = 5*t - m*l - 17. Is t a multiple of 5?
True
Let c = 0 - -13. Let n = c + -9. Is 2/(-8) - (-89)/n a multiple of 11?
True
Suppose -5*a + 324 = -a - 4*o, -2*o = a - 93. Does 17 divide a?
True
Let o(l) = 2*l**3 - 5*l**2 - 4*l + 5. Let k be o(4). Let n = 3 + k. Is 16 a factor of n?
False
Suppose -34 = -t + 11. Suppose -t = -4*w + 51. Is w a multiple of 13?
False
Does 13 divide ((-50)/4)/(5/(-50))?
False
Let d be 254/(-7) + 8/28. Suppose 0 = 2*k - 3*k + 3*g - 36, -20 = -4*g. Let b = k - d. Is b a multiple of 8?
False
Let i(s) = -s**2 + 2*s + 10. Is 2 a factor of i(4)?
True
Let w(x) = x**3 - x - 2. Let y be (1/2)/(3/18). Is w(y) a multiple of 17?
False
Suppose 0 = -2*p + 183 + 51. Does 41 divide p?
False
Let m(p) be the second derivative of p**3/3 + 13*p**2/2 - 3*p. Let g be m(-11). Let u(y) = y**3 + 9*y**2 - 2*y + 5. Is u(g) a multiple of 6?
False
Let h(m) = -13*m - 2. Let v be h(6). Is 6 a factor of ((-6)/5)/(6/v)?
False
Let u(a) = 14*a**2 + 1 + 16*a**2 - 2. Let r be u(-1). Suppose c + 7 - r = 0. Does 11 divide c?
True
Let u(p) = -p**3 + 4*p**2 + 3. Is 4 a factor of u(3)?
True
Suppose -3*j + 22 + 5 = 0. Is 2 a factor of j?
False
Suppose 2*w + 69 + 17 = -2*v, 5*v = 4*w + 145. Let g = w - -82. Suppose 5*a + g = 187. Does 10 divide a?
False
Let g be (10/4)/(9/72). Suppose -2*h + 3*h = g. Is 8 a factor of h?
False
Suppose 0 = -3*s + 9, 2*h + 4*s = 7 + 1. Is (-1)/(h/44) - 0 a multiple of 8?
False
Let a(g) = -g**3 - 4*g**2 + 2*g + 2. Let v be a(-4). Let b = v + 10. Suppose -3*h + b = -h. Does 2 divide h?
True
Suppose -274 = -3*r - d, 0 = 2*d + 2*d - 4. Suppose -5 + 13 = 4*a. Suppose -b - 5 = 5*i, -a*i = -5*b + 2*i + r. Is b a multiple of 6?
False
Let a(q) be the first derivative of 7*q**2/2 + 7*q - 2. Does 21 divide a(5)?
True
Let k(z) = z**3 - 5*z**2 + 3*z - 6. Is k(6) a multiple of 12?
True
Let o(q) = q**3 + 5*q**2 - 2*q - 6. Let l = -5 + 9. Suppose -2*j - 6 = l. Is o(j) even?
True
Suppose 4*q - 228 = -2*f, f - 228 = -4*q + 6*f. Is q a multiple of 15?
False
Suppose -5*n + 3*z = -1, z = -4*z + 15. Let t(u) = 3*u**2 - u - 1. Is 7 a factor of t(n)?
False
Suppose -l - 3*g + 12 = -4*l, -l - 4*g = 19. Let d = l - -15. Is d a multiple of 7?
False
Suppose j + 40 = 5*p + 5*j, -4*j = 2*p - 28. Let t be (p/10)/(2/(-10)). Does 3 divide -1*((-2)/t - 8)?
False
Suppose 5*a = 877 - 147. Let x = a + -88. Suppose -m + 0*l + 9 = 3*l, x = 4*m + l. Does 15 divide m?
True
Let k = 4 - 1. Suppose -8*o = -k*o - 20. Is 17 a factor of 24/(5 + -2)*o?
False
Let f(u) = -u**3 - 2*u**2 - 3. Let l be f(-3). Suppose -3*o - 6 = -l*o. Suppose -o*d = -14 - 24. Is d a multiple of 19?
True
Let n be (5/2)/(1/2). Suppose 51 = 4*i + 3*t, n*i - 5*t = -t + 56. Does 4 divide i?
True
Let t = 190 - 122. Is 17 a factor of t?
True
Suppose 0 = r - 3 - 5. Is r a multiple of 3?
False
Suppose 9*w = 5*w + 456. Suppose o + 89 = 4*l - 127, 2*o + w = 2*l. Is l a multiple of 11?
False
Suppose 3*n - 2*n = 44. Does 11 divide n?
True
Suppose -6 - 17 = -l. Is l a multiple of 6?
False
Suppose 5*r - 5*q - 57 = r, 4*r + 4*q - 12 = 0. Is 17 a factor of 90/r*16/4?
False
Let x(n) = -n**2 + 10*n + 4. Let q be x(8). Let v = q - 8. Does 7 divide v?
False
Suppose -o + 332 = 3*o. Let s = -130 + o. Let w = s - -68. Is 12 a factor of w?
False
Suppose 0 = -0*l + 5*l - 895. Suppose -o = -2*h - 50, 3*o - 5*h = -32 + l. Is o a multiple of 16?
False
Let q(y) = -1 + 3*y + y + 8 + y**2 + 2*y. Let p be q(-5). Suppose -72 = -0*n - p*n. Does 18 divide n?
True
Let r(f) = f**3 + 7*f**2 + 3*f. Let o be r(-6). Let i be 7/((-16)/o - -1). Suppose 3*w - 2*g = i, 0 = -2*w + 2*g + 50 - 8. Does 18 divide w?
False
Suppose -3*z - 5*l = -31, 2*l - 5*l = -2*z + 46. Does 9 divide z?
False
Let m = 46 - -80. Does 14 divide m?
True
Suppose 0 = -2*t + t + 13. Let a be (2 + 17/(-4))*4. Let v = a + t. Is v a multiple of 4?
True
Let i be -5 - (2 - 0 - 1). Let p = i - -9. Is p a multiple of 2?
False
Suppose p = -4*y - 8 - 12, -91 = 4*p + 5*y. Is 16 a factor of (0 - -2)*-1*p?
True
Let d(a) = 32*a**2 + a - 2. Is d(2) a multiple of 8?
True
Let y be (325/(-10))/(1/(-2)). Let j = y - -21. Let z = j - 43. Does 16 divide z?
False
Let u(p) = -7 + p**3 + 8*p**2 - 3 + 5*p + 0*p**2 + 2. Let f be u(-7). Does 6 divide (f/8)/(2/16)?
True
Let v(i) = 2*i - 1. Let f be v(1). Is f/(0 + 2/82) a multiple of 16?
False
Let t(q) = 33*q - 36. Does 11 divide t(4)?
False
Let f(y) = -y**3 - 22*y**2 - 27*y + 25. Does 20 divide f(-21)?
False
Suppose 5*j = 2*n + 3*n + 135, 0 = -5*j - 4*n + 117. Let v = 4 + -1. Suppose 2*f - j = -v*f. Is f a multiple of 2?
False
Is (-2)/(-2 + 4)*-47 a multiple of 14?
False
Let q = -4 - -49. Does 13 divide q?
False
Let g be (1/2)/(1/(-4)). Is (-40)/(-2) - (-1 + g) a multiple of 12?
False
Suppose 0 = -k - 5*y + 14 + 9, 225 = 5*k + 3*y. Does 6 divide k?
True
Suppose -63 - 63 = -3*n. Is 9 a factor of n?
False
Let a = 1 + 1. Let k = -1 + 3. Is a/(k/(-68)*-4) a multiple of 7?
False
Let p(d) = 8*d - 7. Let r be (-25)/(-15)*3/1. Is 11 a factor of p(r)?
True
Suppose 5*o - 15 = -0*o + 4*g, 4*o + 3*g = 12. Let c(n) = 4*n**2 + 3*n + 4. Let d be c(o). Suppose -2*w + 1 = 5*t - d, -43 = -w + 2*t. Is 8 a factor of w?
False
Suppose 15*r - 17*r + 306 = 0. Suppose -4*s + 5 + 41 = g, 3*s + r = 3*g. Is 19 a factor of g?
False
Let z(t) = -t**3 + 3*t**2 + 9*t - 6. Suppose 0 = q + 3*q - 16. Is z(q) a multiple of 8?
False
Let w(h) = -h - 3. Let p be w(-4). Suppose -2*v - 3 = p. Is 7 a factor of 1/((v/7)/(-2))?
True
Let i(m) = -m**3 + 5*m**2 - 3*m - 4. Let u be i(4). Suppose 5*l - 255 = -u*l. Is 15 a factor of l?
False
Let x(m) = -m**2 - 4*m + 2. Let q be x(-4). Let f = q + 0. Suppose -5*k = -4*j - 145, f*k = -0*k + j + 55. Is 12 a factor of k?
False
Let p be (-4)/20 - (-296)/5. Suppose 0 = x + 19 - p. Is 15 a factor of x?
False
Let i = -32 + 55. Is 20 a factor of i?
False
Suppose 18 - 157 = -2*m + r, -4*m - 5*r = -313. Is 9 a factor of m?
True
Let q be 12/18 + (-2)/(-6). Suppose 2*y + q = -3. Is 17 a factor of 1/(y/(-34)) - 0?
True
Suppose -2*g = -5*