5 = 6*f. Let m = f + 109. Is ((-11)/22)/((-1)/m) a multiple of 16?
False
Suppose 3*r + 5 = -2*r. Let l(y) = 4*y**2 + y. Let q be l(r). Suppose -c = -4*c + 3*s + 267, q*c = s + 265. Is 27 a factor of c?
False
Suppose -1016 = -5*d + 3*p, -36*p - 618 = -3*d - 37*p. Does 15 divide d?
False
Suppose 0 = 5*k + 2*a - 40, 9 = 2*k + 2*a - 1. Suppose k*f - 170 = 5*f. Is f a multiple of 16?
False
Let q be 1*((-36)/2)/3. Let z = 9 + q. Suppose z*g - 8*g = -35. Is g a multiple of 2?
False
Suppose 4*a + 12 = 28. Suppose -a*o + 12 = 4. Is 17 a factor of 56/(-12)*-15 - o?
True
Let g(k) be the second derivative of k**4/12 - 3*k**3/2 - 35*k**2 - 19*k. Is 49 a factor of g(-8)?
False
Suppose -13*c + 5510 = 25*c. Does 3 divide c?
False
Suppose 0 = 4*w - 4, 2*p + 3*w + 15 = 5*p. Suppose p*h = 11*h - 115. Is 6 a factor of h?
False
Let o(n) = 6*n**2 + 23*n - 110. Is o(7) a multiple of 3?
True
Let s(p) = 2*p + 2. Let q be s(-2). Let o be q + -1 + 4 + -2. Is 21 a factor of (o/2)/((-1)/84)?
True
Let d be -1 + (-3 - -12)/3. Suppose 0 = -d*h + h - 45. Is (272/(-10))/(18/h) a multiple of 20?
False
Suppose -5*q = -i + 353 - 65, -4*q - 216 = 4*i. Let a = -14 - q. Does 11 divide a?
False
Let z(x) be the second derivative of 0 + 5/2*x**2 + x**3 - x. Is z(6) a multiple of 15?
False
Let a(f) = 2*f**2 + 15*f + 31. Let s be a(-13). Suppose -5*l = b - 3*b - 278, -3*l + 3*b = -s. Suppose 21 = 5*c - l. Is 15 a factor of c?
True
Let w(m) = m + 6. Let o be w(0). Let c = o + -1. Suppose -c*p + 162 + 18 = 0. Does 18 divide p?
True
Let p = 233 - -113. Is 71 a factor of p?
False
Let d be (8/(-10))/((-5)/25). Suppose -160 = -3*k + 4*r, -d*k + 188 = 4*r - 3*r. Does 12 divide k?
True
Let d(o) = -o**3 + 39*o**2 + 9*o - 24. Is d(18) a multiple of 13?
True
Suppose -22*q = -27*q + 20. Suppose -2*w + 79 = 5*s - 4*w, q*s = -2*w + 74. Is 6 a factor of s?
False
Suppose 2750 = 3*d + 4*i, -4*d - 2*i + 3625 = -5*i. Does 65 divide d?
True
Let x(h) = 2*h**2 - 3*h - 2. Let m be x(3). Suppose 9*k - m*k = -4. Is 4 - 3 - (k + -7) a multiple of 10?
True
Suppose 0*x + 3*j - 2811 = -4*x, 4*x + 4*j = 2812. Does 73 divide x?
False
Let u be 192 + -5 + 3 + -3 + 3. Let n be (-1)/4 - (-843)/12. Suppose -u = -d - n. Is d a multiple of 30?
True
Let m = 337 - 94. Is 8 a factor of m?
False
Suppose -22*g + 3240 = -2392. Is g a multiple of 16?
True
Suppose 3*k - 108 = -3*x, -x - 6*k + 36 = -7*k. Is x even?
True
Let n = 967 - -741. Does 14 divide n?
True
Let j(l) = 38*l + 94. Is 14 a factor of j(13)?
True
Let k be 116/(-14) + 16/56. Let x = 14 - k. Does 11 divide x?
True
Suppose 0 = -4*a + a + 24. Suppose a*t - 13 = 19. Suppose -t*x - 294 = -3*s, 0*s = s - 3*x - 103. Is s a multiple of 13?
False
Is (-4 + -2368)/(-4) + 20 + -20 a multiple of 29?
False
Suppose 1 = 8*t - 15. Is 3 a factor of (t - 94/(-4))*8/6?
False
Let p(g) = g**3 + 2*g**2 - 8*g - 5. Let f = -8 - -3. Let b(r) = r**3 + 4*r**2 - 3*r + 7. Let z be b(f). Is 3 a factor of p(z)?
False
Let p(w) = w**3 - 2*w**2 - w + 108. Does 18 divide p(0)?
True
Let v = 964 + -630. Suppose 169 = 2*w + 3*n - v, -3*w + 732 = -3*n. Is w a multiple of 19?
True
Let v(l) be the third derivative of -l**7/504 + 7*l**6/720 + l**5/15 + 7*l**2. Let i(z) be the third derivative of v(z). Is 29 a factor of i(-4)?
False
Let u(y) = -16*y**2 + 3. Let h(c) = c**2. Let i(d) = -3*h(d) - u(d). Is 13 a factor of i(-2)?
False
Suppose 3*m - 14 = 13. Let u(d) = 6*d - 14. Does 20 divide u(m)?
True
Let k = -43 - -60. Suppose -k = -2*o + 69. Let v = o + -13. Does 13 divide v?
False
Let o(b) be the second derivative of 53*b**3/2 + 4*b - 2. Is 17 a factor of o(1)?
False
Let n(x) = -3*x**3 - 3*x**2 - x - 3. Let v(c) = c**2 + 14*c - 4. Let f be v(-14). Let u be n(f). Suppose 3*b - u = -2*b. Is b a multiple of 29?
True
Let i = 10 - 110. Let t = -26 - i. Is 16 a factor of t?
False
Let y = -38 + 41. Suppose 2*g - v = 73, g + 105 = 4*g + y*v. Is g a multiple of 12?
True
Suppose -3*f + 52 + 10 = 2*g, -3*g + 93 = -2*f. Suppose -g = 5*z - 121. Does 18 divide z?
True
Let x = 10 - 10. Suppose -3*y + 8*y = x. Suppose 3*p - l = 35, p - 4*p - 3*l + 39 = y. Is 4 a factor of p?
True
Is 6*(-438)/(-72)*2 a multiple of 7?
False
Let b be -2 + 1 + (-10 - -11). Suppose b*i + 78 = 2*i. Is i a multiple of 13?
True
Let f be (5/((-15)/(-678)))/2. Let s = -48 + f. Does 13 divide s?
True
Let t(d) = -5*d - 4. Let s be t(-6). Let o be 14/35 + s/10. Suppose -1 - 35 = -o*g. Is 3 a factor of g?
True
Let x = -9 - -9. Suppose x = -h - 57 + 133. Let m = h + -12. Is m a multiple of 26?
False
Suppose 4*f - 782 = 2*o, 3*f + 2*f - 970 = -5*o. Suppose -7 = -2*b + 3. Suppose f = -0*g + b*g. Is g a multiple of 13?
True
Suppose -3*n = -3, -y + 3*n + 19 + 18 = 0. Is y a multiple of 5?
True
Let t(u) = -u**3 - 4*u**2 + 3*u - 3. Let y be t(-5). Suppose -1248 = -z - 11*z. Suppose 0 = -5*l + y*l - z. Is l a multiple of 13?
True
Suppose 2*d - 7917 = -4*y + 3*d, d = -2*y + 3963. Is 30 a factor of y?
True
Is 4 a factor of (9/15)/(4 + (-796)/200)?
False
Let z(x) = -x**2 + 5*x + 1. Suppose 0*t - 20 = -5*t. Let c be z(t). Suppose c*l - 5*b - 115 = 0, -5*l + 3*b = -0*l - 105. Does 7 divide l?
False
Let j = 157 + -61. Let u = j + -18. Is u a multiple of 13?
True
Let j(o) = -2*o**3 - 2*o + 3*o**3 + 7 + 7*o**2 - 3. Let v = -5 - 2. Is 6 a factor of j(v)?
True
Suppose 2*m - 3*g = 1437, -3*m - 6*g + 2118 = -3*g. Is m a multiple of 7?
False
Let s = 1103 - 487. Is 8 a factor of s?
True
Let r(s) be the second derivative of -s**4/12 - 25*s**3/6 - 15*s**2/2 - 34*s. Is 8 a factor of r(-11)?
False
Let k be 3 + 412*(-3)/(-6). Suppose 1 + k = 3*v. Is v a multiple of 11?
False
Let p(y) = y**2 - 25*y - 20. Let l be p(25). Does 5 divide (4/((-16)/l))/(2/12)?
True
Let y(q) = -11 - 4*q + 27 - 5*q**2 + 6*q**2. Is y(8) a multiple of 14?
False
Let o = -362 + 430. Is o a multiple of 9?
False
Let c(j) = -j**2 + 31*j + 19. Let f be c(17). Let q = -72 + f. Is 12 a factor of q?
False
Suppose -5*w = -0*w + 85. Let c = w + 80. Is 5 a factor of c?
False
Let k be 2/((12/(-16))/(3/(-2))). Let m(j) = 18*j - 4. Is 17 a factor of m(k)?
True
Let h(q) = -q**3 + 40*q**2 + 92*q + 29. Does 40 divide h(41)?
True
Let b(j) = j**3 + 3*j**2 - 2*j - 1. Let q be b(-3). Suppose s = -q*s + 78. Is 8 a factor of s?
False
Is 60 a factor of 45/(-12) + (-42)/(-56) - -3427?
False
Is (1 - -172) + -6*10/(-15) a multiple of 9?
False
Is (147/14*5)/((-6)/(-32)) a multiple of 35?
True
Let y be ((-5)/(-10))/((-5)/(-30)). Suppose -y*q + 342 = 42. Does 25 divide q?
True
Suppose -68 = -5*g - 8. Is g + 19 - 1*-1 a multiple of 5?
False
Does 12 divide 14/(28/1170) + (1 - 6)?
False
Let j(v) = -2*v**3 - v**2 + 1. Let i be j(-1). Suppose 2*r = d - i*d + 11, 2*r - 5 = d. Suppose r*q + 2*f = 26, q - 5*q + 3*f + 51 = 0. Does 9 divide q?
True
Let u(y) = -9*y - 12. Let z be u(-3). Suppose -z*s + 425 = -10*s. Is 17 a factor of s?
True
Suppose -164 = 8*w + 28. Does 19 divide (-88)/w + (-4)/6 + 54?
True
Suppose 7*v - 3 = 6*v. Let n be (-2)/v - (-24)/(-18). Is 6 a factor of (-12)/(1 + n - 0)?
True
Suppose 4 = -3*c + 7*c. Suppose -4*w + 13 - c = 0. Suppose -39 = -w*g + 33. Is g a multiple of 24?
True
Suppose 5*u - 35 = 5*s, -2*s - 3*u = 2*s + 14. Let w = s + 13. Suppose w*x - 11*x = -165. Is 11 a factor of x?
True
Suppose -2*w = -3*t - 23, 7 = -2*t - 3. Suppose w*o = 4*x - 264, 3*x - 231 = -o - 13. Let n = -28 + x. Does 11 divide n?
False
Let k = 429 - 377. Does 2 divide k?
True
Suppose -2*s = 2*s - b - 3072, -5*s + 3840 = 2*b. Is s a multiple of 6?
True
Let d be 3 + (-1)/(-2)*0. Let j = -167 + 169. Suppose j*v - 9 = d. Is 3 a factor of v?
True
Suppose 0*p = -5*p + 230. Suppose -2*x + x + 3 = 0. Let l = x + p. Does 24 divide l?
False
Suppose -17*b + 23937 = -8618. Is 59 a factor of b?
False
Does 13 divide 289 - -2*(-12)/8?
True
Is 21 a factor of (-19 - (-6099)/323) + (-192988)/(-34)?
False
Let o = 372 - 36. Is 22 a factor of o?
False
Does 36 divide 8*((-17457)/(-88) - 7)?
False
Suppose 5*i - 3*i - 120 = -4*y, -120 = -2*i - y. Does 9 divide i?
False
Let i(y) = y**3 - 10*y**2 + 8*y + 7. Let z be i(9). Is ((-1)/(-3))/(z/(-1524)) a multiple of 15?
False
Let u(g) = -g + 24. Does 17 divide u(7)?
True
Suppose -2*n + 21 = 5*y + 3, 3*n + y - 14 = 0. Let k = -2 + n. Is k even?
True
Let u(m) = 22*m - 2. Let g be u(4). Suppose -2*c + 304 = -g. Is 13 a fact