+ 18 = p. Let z(o) = o**2 + 8*o + 7. Let w be z(i). Is (-10)/(-2)*w/(-5) a multiple of 3?
False
Suppose 1 = 4*t + 2*q - 11, 3*t = 3*q + 9. Suppose -t*p - 103 = -2*p + 2*w, -3*p + 4*w - 329 = 0. Let l = p - -151. Is l a multiple of 16?
False
Suppose 2*m - 23 = c, 2*m = m + 4*c + 15. Is 3 a factor of m?
False
Suppose -2*b + 11 = u, -2*u - 34 = 3*b - 6*b. Let y(o) = o**2 - 8*o - 11. Let a be y(b). Is 8 a factor of (-1)/((-32)/a + -3)?
False
Let p = -2 - 2. Let i be (-2)/p + 197/2. Suppose -11 + i = 4*x. Is 18 a factor of x?
False
Let u be (-38 - -1)/((-6)/(-12)). Let v = 138 + u. Does 23 divide v?
False
Suppose 5*y = -0*y + 275. Is 11 a factor of y?
True
Let b be (-1)/(-1)*(-2 + 7). Suppose 2*q + 78 = 3*s - 185, 2*s - 190 = b*q. Suppose -3*x + s = -4*i, 5*x + 3*i + 2*i - 130 = 0. Is x a multiple of 7?
False
Is 2 a factor of -2*(-1 - -5 - (-270)/(-20))?
False
Suppose -5 = -3*w + 2*w. Let r = 10 + 0. Is 1*21 - r/w a multiple of 19?
True
Let s(b) = b**2 + b + 9. Let x be s(0). Suppose 0 = 4*k - 3*k - x. Is k a multiple of 3?
True
Let m(r) = -r**2 + 44*r - 18. Does 66 divide m(20)?
True
Let f = 0 + 1. Let g be 8 + -1 + f + -2. Does 13 divide (76/g)/(2/6)?
False
Let n be 87 + (1 - 2) + 0. Suppose -4*c + n + 30 = 0. Is 14 a factor of c?
False
Suppose 2*r + 13 = -5. Is 8 a factor of (-159)/r + 1/3?
False
Let u(h) be the first derivative of -h**4/4 - 8*h**3/3 - h**2/2 + h - 1. Suppose -3*g + 48 = -5*b - g, g + 28 = -4*b. Is u(b) a multiple of 6?
False
Suppose 3*z + 3*i = 69, 0*z + 4*i = 3*z - 55. Is 18 a factor of z?
False
Let r(h) = 3*h**3 - 3*h**2 + 3*h - 1. Let m be r(2). Let v = m + 0. Does 6 divide v?
False
Let r(q) = 2*q**3 - 7*q**2 + 5*q - 3. Let d be r(5). Let w = d - 55. Is 15 a factor of w?
False
Suppose -87 = -3*k + 9. Is 20 a factor of k?
False
Let i(u) be the third derivative of u**5/12 - u**4/8 - u**3/3 + 3*u**2. Let p(l) = l**3 + 4*l**2 - 7*l - 7. Let x be p(-5). Does 17 divide i(x)?
True
Suppose -2*g = -4*p - 264, 0 = -p + 3*p - 8. Suppose a + g = 3*a. Is a a multiple of 24?
False
Is (12 - 9)*(-4)/(-3) a multiple of 4?
True
Let j = -3 + 4. Let k be (j - 6)/(-1*1). Suppose -28 = -k*m - 4*n + 149, -m - n = -36. Is 12 a factor of m?
False
Suppose -2*m - 5*s - 17 = 0, -3*s + 5 = -4*s. Suppose -4*i + 0*o = o + 7, 4*i = m*o - 32. Does 8 divide 12*(13/3 + i)?
True
Let z(g) = -41*g - 1. Is z(-2) a multiple of 23?
False
Let r(c) be the second derivative of c**5/20 - c**4/6 + 3*c**2/2 + 4*c. Is 6 a factor of r(3)?
True
Let x = -20 - -6. Suppose -4*c + 4*i + 41 + 63 = 0, -3*c + i = -80. Let t = c + x. Is t a multiple of 13?
True
Let s be (-4)/(-16) + (-486)/(-8). Suppose 2*w - s = 5. Does 17 divide w?
False
Let z = 36 + -20. Is z a multiple of 5?
False
Let w(t) = t**3 - 3*t**2 - 2. Let a(k) = k**3 - 4*k**2 - 3. Let d(v) = 2*a(v) - 3*w(v). Let g be d(2). Let s = g - -14. Does 3 divide s?
False
Suppose 0 = -3*f + 5*r - 2, 0 = -3*f - 4*r + r - 18. Let v(b) = 4*b**2 + 6*b. Let z be v(f). Let d = 69 - z. Does 14 divide d?
False
Let g = 6 - 7. Is g + (28/2 - -2) a multiple of 14?
False
Let n(q) be the first derivative of q**5/20 - q**4/3 + 7*q**3/6 - 2*q**2 - q + 1. Let t(m) be the first derivative of n(m). Is t(4) a multiple of 12?
True
Suppose 0 = -5*m - 5*z + 280, 4*m - 111 = z + 88. Does 16 divide m?
False
Let m = 55 + -40. Does 5 divide m?
True
Let n(j) = -19*j**3 - 2*j**2 - j. Let l be ((-6)/9)/((-1)/6). Suppose -l*c + 3*c = 1. Is 14 a factor of n(c)?
False
Suppose 0*v = -3*v. Suppose 5*r - r - 36 = v. Does 5 divide (r/6)/(3/10)?
True
Is ((-168)/20)/((-6)/20) a multiple of 14?
True
Let x(b) = 2*b**2 - 2*b - 1. Let j be x(2). Suppose 3*c = 4*s, j*c - 3*s + 3 = -0*s. Let o = 47 - c. Is o a multiple of 17?
True
Let g(v) = -v**2 - v. Let h(i) = 6*i**2 + 7*i + 3. Let d(r) = 5*g(r) + h(r). Is d(-5) a multiple of 6?
True
Suppose -5*a + 102 = v - 348, -450 = -5*a + 4*v. Is a a multiple of 16?
False
Let o(n) = n**2 - 5*n + 4. Let j be o(6). Let b(a) = -a**2 + 10*a + 8. Let d(g) = -g + 1. Let p(s) = -b(s) - 5*d(s). Does 14 divide p(j)?
False
Suppose 3*h + 7 = -11. Does 12 divide h/(0 + 3/(-6))?
True
Let z(l) = l**2 + l - 3. Let q be z(-4). Suppose 5 = n - q. Is 8 a factor of n?
False
Suppose g = l - 0 + 2, -2*g + 5*l = -4. Suppose a - g - 14 = -j, 2*j - 42 = -4*a. Suppose -31 = -p - j. Does 11 divide p?
False
Suppose -16 = -3*a + 4*f - 5*f, 0 = 4*a + 3*f - 28. Does 14 divide 35*a/4 + -1?
False
Suppose 0 = -4*p - 2*u - 44 - 46, -p - 5*u = 45. Let i be ((-104)/(-10))/(4/p). Let k = i + 88. Does 18 divide k?
True
Let x(m) = 2*m**2 - 6*m + 12. Is 10 a factor of x(7)?
False
Suppose 2*i - 64 = -4*a, a - 5*i - 3 + 9 = 0. Is a a multiple of 7?
True
Let z(k) = -k + 3. Let l be z(2). Let q(t) = -1 - 3*t**2 + 4 - l + 6*t - 3*t + t**3. Is q(4) a multiple of 11?
False
Suppose -3*r + 36 = 6. Is 10 a factor of r?
True
Let g be (5 - 0)*-1*-4. Suppose -2*t + g = -6*t. Is 8 a factor of ((-18)/t)/((-1)/(-5))?
False
Does 16 divide ((-8)/3)/(-4)*72?
True
Suppose -4*d + 4*v = -99 - 113, 3*v = 3. Is 14 a factor of d?
False
Let d = 97 + -1. Does 32 divide d?
True
Suppose b = -m + 23, -4*m + 18 + 2 = 0. Is b a multiple of 6?
True
Let r = -8 - -13. Suppose -4*x + 80 = 3*s, -53 = -2*s - 4*x - 1. Suppose s = 4*g - b, r*b = 23 - 3. Does 6 divide g?
False
Let v = -149 - -236. Suppose 0 = h - n - 21, 4*h = 7*h + 5*n - v. Does 12 divide h?
True
Let h = -363 + 539. Does 23 divide h?
False
Let u = 37 + -8. Suppose -5*b = o - 53, -b = o - 2*b - u. Is o a multiple of 11?
True
Let o = -12 + 15. Suppose o*g - 5*g = -8. Is 3 a factor of g?
False
Let f be 8 + (-5)/(-1) + -4. Is 3/(-1) + f + 6 a multiple of 7?
False
Let t be 5*(-4)/(-90) + (-1339)/(-9). Suppose 0 = s - 3*x + 2*x - 10, -s + 5*x + 30 = 0. Suppose s*h + 3*a - t = -a, 2*a = 4*h - 114. Does 12 divide h?
False
Suppose 12*v + 442 = 14*v. Does 32 divide v?
False
Let g(f) = f**2 + 7*f - 2. Let b be g(-8). Is (-51)/(-9) - (-2)/b a multiple of 4?
False
Let a = -55 - -94. Does 24 divide a?
False
Suppose 3*z + 645 = 2*d, -5*z = 4*d - 1426 + 169. Is 61 a factor of d?
False
Suppose 0 = -0*f - f + 12. Is 11 a factor of f?
False
Let a(k) = 8*k**2 - k + 2. Is a(-2) a multiple of 18?
True
Is (-150)/(-3) + (-3 - 0) a multiple of 10?
False
Let w be 2*1*(-7)/(-2). Let b = w + 1. Is b a multiple of 4?
True
Suppose -5*z = -120 + 70. Is z a multiple of 5?
True
Let f(g) = g**2 - 2. Suppose 3*s + 44 = 14. Let y = 4 + s. Is f(y) a multiple of 17?
True
Let w(g) = -4*g - 3. Suppose u + 6 = 4*u. Let j be ((-2)/u)/(1/2). Is 5 a factor of w(j)?
True
Is 12 a factor of 2/3*(-3009)/(-34)?
False
Suppose -f + 177 = 5*w, -5*f - w = -2*w - 781. Is 20 a factor of f?
False
Let u(f) be the second derivative of -f**4/12 + 5*f**3/3 - 6*f**2 - 4*f. Let a be u(8). Suppose -x = -a*x + 105. Does 21 divide x?
False
Let z(f) = f**3 - 9*f**2 + 2*f + 6. Let x be z(9). Let c be x/8*(-1 + 6). Does 16 divide (-3)/c + (-101)/(-5)?
False
Suppose -v = -4*o + 8, 5*v = 2*o - 7 + 3. Is o a multiple of 2?
True
Suppose t = 3*t - 10. Suppose 0*m = -t*m. Suppose m = -4*b + 81 + 19. Is b a multiple of 18?
False
Let n be 3 + -4 - (0 + -78). Let l = -6 - -9. Suppose -8 = l*p - n. Is 23 a factor of p?
True
Suppose 4*v = 3*x + 9, 3*x - 2 = x. Suppose -20 = -v*j - j. Is j a multiple of 3?
False
Suppose -6*r + 4*f + 60 = -4*r, -5*r + 2*f + 110 = 0. Let a = r + -9. Does 11 divide a?
True
Suppose 3*s + 81 = -0. Let c be 2/8 + s/12. Let x(d) = -2*d**3 - d**2 - d - 2. Is 5 a factor of x(c)?
False
Let g = 187 + -82. Is g a multiple of 40?
False
Suppose 4*d = p - 170, 5*p = -3*d + 255 + 526. Is p a multiple of 8?
False
Let y = 189 + -99. Suppose -3*z + 0*c + c = -y, -12 = -4*c. Is z a multiple of 10?
False
Suppose -32 = -3*z + 2*z - 4*r, -3*z + 60 = 3*r. Suppose -2*s + w - 4*w = 6, -3*s - w - z = 0. Let i = s + 10. Is 4 a factor of i?
True
Suppose v = -2*v - 405. Let c = -20 - v. Suppose -45 = 5*a - c. Is 7 a factor of a?
True
Let q be 1/(3/30*-2). Let z = q - -13. Does 3 divide z?
False
Is 4 a factor of (1/(-3))/((-10)/420)?
False
Suppose 10*x + 2210 = 23*x. Does 21 divide x?
False
Is ((-13)/5)/((-19)/475) a multiple of 13?
True
Suppose -4 = -4*n + 56. Is n a multiple of 5?
True
Suppose -1 = k - 2, 5*h - 37 = -2*k. Is h a multiple of 5?
False
Let p be 2 - (-1)/(-3 - -2). Does 3 divide (-21)/(-9)*(2 + p)?