*x**2 + 16*x + 18. Let d(y) = v*r(y) + 4*t(y). Does 14 divide d(-18)?
False
Let n(d) = d**3 + 8*d**2 - 7*d - 5. Let b be n(-7). Let z be 3/18 + b/(-18). Does 6 divide (-21)/6*(-3 + z)?
False
Let x(o) = 7*o + 29. Let i be x(-17). Let y = i + 114. Is 4 a factor of y?
True
Suppose 3*p - 3*a = 321, -4*a = -5*p + 2*p + 325. Let b = -28 + p. Does 25 divide b?
True
Suppose -210 = -3*v + 6*v. Let w be (-1 + v/(-4))*4. Suppose -2*x - 3*j + w = 0, -x + 24 = -4*j - 9. Is 8 a factor of x?
False
Let f(r) = r**3 + 3*r**2 - 4*r - 6. Let p be f(-4). Let m be (-18)/p + -3 + 9. Let n(g) = 3*g + 4. Does 20 divide n(m)?
False
Suppose 746 = -5*i + 2726. Is 33 a factor of i?
True
Suppose 3*a = a + v - 4589, -4607 = 2*a + 5*v. Is 23 a factor of (-4)/5 + 1 - a/20?
True
Let j(m) = 2*m**2 - m - 62. Let w be j(0). Let i = w + 103. Is i a multiple of 30?
False
Does 12 divide ((-8)/10)/(58/(-2610))?
True
Let i = 8 + -4. Suppose -108 = -i*m + 7*m. Let o = -6 - m. Is 10 a factor of o?
True
Let t = -14 + -30. Let k = t + 71. Is 9 a factor of k?
True
Suppose v - 8 = -23. Let d = v + 29. Let k = d - 3. Is 11 a factor of k?
True
Let a(v) = -72*v + 144. Does 12 divide a(-6)?
True
Suppose 41*t - 3*t = 17784. Does 13 divide t?
True
Let m(y) = -y**3 - 7*y**2 - 22*y - 5. Does 30 divide m(-10)?
False
Suppose -11*m = -89 - 2485. Does 78 divide m?
True
Let t be (-72)/(-45) + (-2)/(-5). Suppose t = -n - 0. Is -45*n*4/8 a multiple of 15?
True
Suppose -4*d + 2198 = -2*a, 5*d - 2*a - 1888 - 858 = 0. Does 13 divide d?
False
Suppose 3*a - 50 = 3*q + q, a - 20 = 2*q. Let w = 14 - a. Suppose -g + k - w*k + 22 = 0, -3*g = -2*k - 88. Does 14 divide g?
True
Let h be -2 + 2 + (0 - 12). Let g be 2/(-6) - 66/18. Is h/g - -11*1 a multiple of 14?
True
Let c be (54/(-24))/(6/(-16)). Is (555/(-74))/(c/(-8)) even?
True
Let p(q) = q**2 + 46*q + 317. Is 3 a factor of p(-6)?
False
Let c be 5/(-5) + 7 - 0. Let l(q) = 2*q**2 + 6*q - c - 3 + 6. Is l(-8) a multiple of 28?
False
Let g(f) = f**3 + 14*f**2 + 4*f - 10. Is g(-9) even?
False
Does 22 divide (-4 - (-448)/40)/(2/55)?
True
Suppose 3*k = -3*m, 3*k = -3*m + 2*m. Suppose k = z - 129 + 3. Is z a multiple of 14?
True
Suppose -5*k + 22 = l, l - 21 = -4*k - 3. Suppose 29 = -l*m - 3. Does 28 divide (-115)/(-4) + 12/m?
True
Suppose -63 = -12*a + 5*a. Suppose 2*r - a = -r, 3*y - 2*r - 627 = 0. Is y a multiple of 42?
False
Let b be 4 - 0 - (1 + -4). Is 10 a factor of (-242)/(-8) - b/28?
True
Suppose -5*m + 4*m + 6 = 0. Let w(a) = a**2 - a + 19. Is 10 a factor of w(m)?
False
Suppose -5*p = 5*r - 225, 0 = -6*r + r + 25. Does 4 divide p?
True
Let y(o) = o**3 - 13*o**2 + 14. Let d be y(12). Let r = 260 + d. Is r a multiple of 23?
False
Let f be -1 + -15*4/(-12). Is f/38 + 10632/76 a multiple of 22?
False
Let g(r) be the third derivative of r**4/24 + 8*r**3 + 15*r**2. Let p(v) = v**3 + 4*v**2 - 4*v + 5. Let c be p(-5). Does 16 divide g(c)?
True
Is 8 a factor of (8 + (-90)/12)*16*33?
True
Suppose 5*r = l - 0 + 13, -5*l + 22 = 4*r. Suppose -3*a - 4*v + 210 = -223, r*a = -v + 430. Is a a multiple of 28?
False
Suppose -3*p = -2*o - 5568, -4*o + 2443 = p + 573. Is 23 a factor of p?
False
Let i(n) = 388*n - 161. Is 59 a factor of i(3)?
True
Let q(m) = 27*m + 358. Let t(l) = 14*l + 178. Let y(s) = -2*q(s) + 5*t(s). Is y(0) a multiple of 23?
False
Let g(v) = -3*v**2 - 11*v + 3. Let w(j) be the third derivative of j**5/15 + 11*j**4/24 - j**3/3 - 3*j**2. Let u(q) = 3*g(q) + 2*w(q). Is 6 a factor of u(-6)?
False
Let r be (2/3)/((-6)/9). Let s be ((-1)/3)/(r/111). Let m = s - -5. Is m a multiple of 21?
True
Suppose -2*t + 5*l + 3 = 0, 3*t = -l + 18 - 5. Suppose v + 4*h + 21 - 3 = 0, -2*h = t*v + 2. Is v even?
True
Let k be (-1 - (-48 + 3))*2. Suppose k - 35 = g. Suppose -g + 21 = -2*a. Is 5 a factor of a?
False
Let r(b) be the third derivative of -b**6/120 - b**5/20 + b**4/6 + b**3 - 2*b**2. Let x be r(-6). Let p = 132 - x. Is p a multiple of 16?
False
Let y be 0/((-5 + 9)/(-4)). Suppose 5*c - 15 = 0, y*v + 145 = 2*v + 3*c. Is 17 a factor of v?
True
Let b = -14 - 4. Let g = b + 26. Is 2448/60 - g/10 a multiple of 17?
False
Let w be 0/2 - (0 + 33 + 6). Let r = 55 + w. Does 3 divide r?
False
Let f be (-1 + 0)/((-8)/32). Suppose 90 = f*r + 2*x, -92 = -4*r - x + 1. Suppose -6*c - r = -7*c. Is c a multiple of 8?
True
Let d = 157 - -16. Let y = d + -117. Is 4 a factor of y?
True
Let i(a) = -2*a + 3. Let r be i(6). Let b = r - 0. Let o(j) = j**2 + 7*j + 10. Is 8 a factor of o(b)?
False
Is 15 a factor of 8/2 + -7 + 1023?
True
Let k(z) = z**2 - 7*z - 2. Suppose 5*r + 0 - 20 = 0. Let x be k(r). Let v = x - -29. Is v a multiple of 5?
True
Let p be 0/(-1) + 594/18. Suppose -p*a - 183 = -36*a. Does 17 divide a?
False
Let l(j) = -j**3 - 8*j**2 + 12*j - 14. Let z be l(-11). Let k = z + -121. Does 48 divide k?
True
Let z be (-4 - -4)/2 + 4. Let v be 15/(-60) + 9/z. Suppose -7*j = 5*p - 3*j - 384, -v*p + 154 = 2*j. Is p a multiple of 22?
False
Suppose 0 = -11*z - 47 + 124. Suppose 4*m + 2*i = 284, -z*i - 329 = -5*m - 3*i. Is m a multiple of 32?
False
Let m(l) = 3*l**2 - 16*l + 27. Let j be m(11). Let b = 304 - j. Is 9 a factor of b?
True
Let u be 1/(-2)*(-840)/12. Let d(a) = -a**3 + 2*a**2 + 3*a + 1. Let g be d(4). Let h = g + u. Does 5 divide h?
False
Let f = 5 + -3. Suppose 1 = -f*o + s - 4, 4*s = -2*o + 20. Suppose 3*c = 78 - o. Is c a multiple of 15?
False
Suppose -q + 6*q = 10, -5*q = -5*g + 20. Let x be (8/6)/(g/(-27)). Is 5 a factor of (-6)/(-9) + (-26)/x?
True
Suppose 2*p - 7 - 1 = 0. Suppose 0 = -p*r + 12, z - 3 = -2*r + 4. Is z/(-4) + 1331/44 a multiple of 6?
True
Let s be (-2)/9 + (-22)/(-18). Let y(r) = 80*r**2 + 3*r - 1. Is y(s) a multiple of 17?
False
Suppose 2*o + 14820 = 21*o. Is o a multiple of 15?
True
Let z = 0 - 0. Suppose 6*i - 5*i = 0. Suppose 5*q - 180 = h, z*q - 4*q + 4*h + 144 = i. Does 12 divide q?
True
Let z = 8 - 3. Suppose -290 = -0*s + z*s. Let i = 100 + s. Is 14 a factor of i?
True
Suppose 0 = -5*k - 2 + 12. Is (-1 + k)/((-15)/(-795)) a multiple of 6?
False
Let k = 4 - -10. Let d = 14 - k. Suppose l - 52 = -4*i, -i - 131 = -2*l - d. Is l a multiple of 32?
True
Let h be -4 + 5/(15/21). Suppose 0 = -j + h + 2. Is 36/45 + 36/j a multiple of 4?
True
Let b(x) be the first derivative of x**4/4 - 4*x**3 - 9*x**2 + 10*x - 2. Let v be b(14). Suppose 30 = 3*s - v. Is 12 a factor of s?
True
Let v(p) be the second derivative of p**4/6 + 4*p**3/3 + 7*p**2 - 32*p. Is v(-3) a multiple of 8?
True
Let p(x) be the third derivative of -x**6/30 + x**5/30 + x**4/8 - 3*x**2. Let m be p(-2). Let t = 33 + m. Does 22 divide t?
False
Let m = 21 + -26. Let u(l) = 23*l + 1. Let f(i) = -22*i. Let b(t) = 6*f(t) + 5*u(t). Does 30 divide b(m)?
True
Let c = -9 - -3. Let z = 1 + -4. Is c/(-2) + z - -9 even?
False
Suppose 11 + 1 = 4*z. Is z/12 + (-441)/(-28) even?
True
Let j(c) = -3*c**3 - 2*c + 1. Suppose 0 = i + 1, 3*l = 8*l - 4*i - 9. Let k be j(l). Is (-7)/k + (-1)/(-4) a multiple of 2?
True
Let g = 731 + -609. Is g a multiple of 10?
False
Suppose -f = -1 - 28. Suppose -2*p = -4*p + 3*a + 43, 3*a = p - f. Is 5 a factor of (p*-1)/(-7 + 5)?
False
Let a(q) = -q**3 - 22*q**2 + 45*q + 19. Does 7 divide a(-24)?
True
Let g(y) be the first derivative of y**5/60 + y**4/12 - 2*y**3/3 + 5*y**2/2 + 1. Let z(p) be the second derivative of g(p). Does 20 divide z(4)?
True
Suppose 67 + 135 = t - 4*l, -t = 3*l - 216. Does 6 divide t?
True
Let v(x) = -x**2 + 10*x - 23. Let j be v(5). Suppose 19 = -j*w + 111. Is w a multiple of 11?
False
Suppose -p - 470 = -4*y - 2*p, 5*p = -10. Is 6 a factor of y?
False
Let x(p) = p**3 + 12*p**2 - 20*p - 10. Let l be x(-13). Let r = -41 + l. Does 8 divide r?
True
Does 28 divide (42/(-24)*42)/(9/(-48))?
True
Suppose 0*s = s - 1, 5*n = 5*s + 4890. Is n a multiple of 10?
False
Suppose 3*t = -0*t + 141. Suppose 3*u - 10 = t. Suppose -4*m + 21 = -u. Is m a multiple of 5?
True
Let l(w) = w + 23. Let y be l(-14). Let m = y + -7. Let d(t) = 7*t**2 + 5*t - 2. Does 19 divide d(m)?
False
Let j(c) = 6*c - 10. Does 2 divide j(8)?
True
Suppose 1260 = 11*d - 6*d. Does 9 divide d?
True
Suppose -i + 2031 = 3*v - 4*i, 2035 = 3*v - 2*i. Is v a multiple of 35?
False
Suppose 0 = -5*w - b + 83, -48 + 15 = -3*w + 5*b. Suppose -4*y - 32 = -8*r + 4*r, -4*y + w = 2*r. Is r a multiple of 4?
True
Let l be