True
Let j = -8 - -12. Suppose 2*g - 3*y = 344, -j*g + y + y = -696. Is g a multiple of 35?
True
Let t = -23 + 65. Does 42 divide t?
True
Let l(p) = 4*p + 29. Does 25 divide l(29)?
False
Let y = 10 + 5. Suppose -y*j + 12*j + 39 = 0. Does 11 divide j?
False
Let l be (-1 - 14)*(-8)/20. Let o be (1 - 3)*(18/(-4) + 3). Suppose -g - 31 = -l*g - m, -3*g + 33 = -o*m. Does 2 divide g?
False
Suppose -1680 = -3*k - 4*i, -2*k + 4*i - 2*i + 1106 = 0. Suppose 3*q - k = x, -5*q + 4*x = 8*x - 955. Does 11 divide q?
True
Suppose 0 = -9*u + 2455 + 4043. Does 38 divide u?
True
Let j(r) = -r**3 + 5*r**2 + 4*r + 14. Let l be j(6). Let z be 12/9*78/4. Suppose 4*o - l*o = z. Is 13 a factor of o?
True
Suppose 524 = 3*o + 2*d, -d + 18 - 20 = 0. Does 4 divide o?
True
Suppose 0 = q + k - 5*k + 38, -3*k - 6 = 0. Let y = q + 73. Is 7 a factor of y?
False
Let z(v) = -32*v + 1. Suppose 0*a = -3*a - 3. Is z(a) a multiple of 3?
True
Let t(z) = -z**2 + 30*z - 8. Does 28 divide t(8)?
True
Let y be 72/(-9)*(-1023)/12. Suppose -188 = -5*b + y. Does 14 divide b?
False
Is 7/14*0 - -52 a multiple of 6?
False
Let d be 3 - (1 + 0) - (-20 - -17). Suppose 0*u - 5*p = d*u - 580, -256 = -2*u + 4*p. Is u a multiple of 10?
True
Suppose 7673 = 13*q - 400. Does 69 divide q?
True
Let s(d) = d**3 - 7*d**2 + 12. Let f be s(7). Let a be 10/(-6) - 16/f. Is 11*(-2 + 2 - a) a multiple of 7?
False
Let h be (0 - 4)/((-8)/(-48)). Let o = 11 - h. Does 8 divide o?
False
Suppose -1544*h = -1548*h + 2968. Is h a multiple of 14?
True
Suppose -3 = -3*y, 4*y = a - 163 - 61. Does 4 divide a?
True
Let c(r) = -r**3 + 20*r**2 - 9*r - 56. Is c(18) a multiple of 10?
True
Let r(c) be the third derivative of 13*c**2 + 0*c + 2/15*c**5 - 1/120*c**6 - 1/3*c**3 + 0 - 1/12*c**4. Is r(7) a multiple of 7?
False
Let f = 36 - 46. Let u(g) = 2*g + 25. Is 5 a factor of u(f)?
True
Let l(z) = -11*z**2 + z + 4. Let g be l(-3). Is 35 a factor of (-7 + 11)*g/(-4)?
False
Let k be -1*6*(-4)/8. Suppose 3*v + 5*i - 240 = 0, 3*v - k*i - 141 = v. Does 5 divide v?
True
Suppose 7 = b + 18. Let z(g) = -2*g - 6. Let d be z(b). Let l = d + 12. Is l a multiple of 14?
True
Suppose 2*b + 2 - 26 = 0. Is 1/4 - (-1557)/b a multiple of 26?
True
Suppose -2*t = -5*n + 176, -4*n + 2*t + 136 = -2*t. Suppose 0 = 20*q - 22*q + n. Is q a multiple of 6?
True
Does 11 divide (19 - 28)/(9/(-363))?
True
Suppose 166 + 314 = 4*d. Is d a multiple of 10?
True
Suppose -29*u + 9559 = -9175. Does 17 divide u?
True
Let g(r) = -2*r**3 - 3*r**2 + 6*r - 4. Suppose -2*p - 20 = 4*w, 2*w + 0*w - 5*p - 2 = 0. Is 18 a factor of g(w)?
False
Let t(c) = -c**3 - 12*c**2 - 29*c + 4. Let g be t(-4). Let l(a) = -a**3 - 6*a**2 - 5*a - 25. Is l(g) a multiple of 42?
False
Let l = 303 + -83. Is l a multiple of 55?
True
Let c(z) = 12*z + 302. Is c(-18) a multiple of 43?
True
Suppose -3*g = 5*w, 2*w - 6*w + 4*g = 0. Suppose w = 5*m - 43 - 67. Is 11 a factor of (-30)/(-5)*m/4?
True
Does 18 divide 627 - (72/(-20) - 12/(-20))?
True
Let z = 456 - -803. Does 18 divide z?
False
Suppose 5*w - 2 = 3*w. Let q(z) = 59*z**2 + z - 2. Let t be q(w). Suppose 2*s = t - 18. Does 6 divide s?
False
Suppose 8*b = 2*b + 306. Is 6 a factor of b?
False
Let c = 1046 - 431. Is 9 a factor of c?
False
Let m be 7/((-7)/3) + 1 + 89. Let c = m + 166. Is c a multiple of 23?
True
Let x(k) = 12*k - 2 + 1 - 6 - 1. Is 28 a factor of x(6)?
False
Let k = 8 + 289. Let j = 528 - k. Is j a multiple of 33?
True
Let j(y) = -3*y - 29. Let n = -16 + 2. Let h be j(n). Let a = 25 + h. Is a a multiple of 19?
True
Let w be (-1 - (-9)/6)/((-7)/(-3948)). Suppose 5*g = -107 + w. Is g a multiple of 18?
False
Let m be 10/(-3)*6/(-4). Suppose 2*d + 12 = -2*d, -m*u + 5*d + 75 = 0. Does 6 divide u?
True
Let z(i) be the first derivative of 1/3*i**3 - 2 + 2*i**2 + 12*i. Is z(-5) a multiple of 10?
False
Let x(d) = -d**2 - 15*d + 30. Does 40 divide x(-10)?
True
Let h(r) be the second derivative of -620*r**4/3 + 6*r. Let o be h(-1). Is (-2)/(-5) - o/50 a multiple of 14?
False
Let o = 187 + -52. Suppose 0 = -w + 3*l + o, 4*w + l + 4*l - 557 = 0. Does 16 divide w?
False
Let x be 70/40 - 2/(-8). Let d(w) = -5 - 4*w**2 + 5*w**x + 2*w + 2. Is d(-9) a multiple of 20?
True
Let a be ((-3)/(3/10))/(1/(-9)). Suppose -a*w - 8 = -91*w. Is 7 a factor of w?
False
Let b be (9/(-6))/((-12)/(-32)). Let z = b + 6. Suppose -2*u = t - 32, 3*t - 26 = z*t - 5*u. Is 9 a factor of t?
True
Let x = -19 + 18. Let c be 10*(x - (-55)/(-10)). Let f = -37 - c. Does 14 divide f?
True
Suppose 54*o - 95098 = -27166. Is o a multiple of 37?
True
Let j(a) = a**3 + 12*a**2 + 12*a + 16. Let m be j(-11). Suppose m*p - 835 = -4*b, -5*b + 3*p = 2*p - 1051. Does 42 divide b?
True
Let r(f) = f**2 + 6*f + 13. Let u be 32/(-112) + (-94)/14. Is 20 a factor of r(u)?
True
Let u = 3530 - 2649. Is 87 a factor of u?
False
Let u(n) = -268*n - 69. Is u(-8) a multiple of 25?
True
Suppose 8*a = 6*a - 4*n + 1202, -3*n + 2414 = 4*a. Is a a multiple of 38?
False
Let n(y) = -y**2 - 16*y + 23. Let a be n(-17). Let d = a - -2. Does 3 divide d?
False
Let y = -129 - -136. Let v(q) = -q**3 + 9*q**2 - q + 4. Is 15 a factor of v(y)?
False
Suppose 5*u = 8*u + 36. Is 11/((-11)/u) + -1 a multiple of 4?
False
Suppose 0 = b + 6*b - 350. Does 6 divide b?
False
Let h = 76 - -61. Let i = h - 93. Does 22 divide i?
True
Let q(z) = 2*z**2 - 6*z - 4. Let h be q(5). Suppose -h = g + g. Is 21 + g + (-2 - 1) a multiple of 4?
False
Let c(f) be the third derivative of -f**6/120 - f**5/15 + f**4/3 + 4*f**3/3 - 197*f**2. Let b be (6 + -1 + 1)/(-1). Is 16 a factor of c(b)?
True
Let s = 52 + 30. Is 5 a factor of s?
False
Let j(c) = 4*c**2 + 7*c + 9. Does 9 divide j(-10)?
False
Let j(l) = -l**2 + 5*l + 5. Is 4 a factor of j(4)?
False
Suppose 420 = 9*i - 2*i. Is i a multiple of 10?
True
Let i = 59 - 67. Does 18 divide (-19)/(-2)*(6 - i)?
False
Does 8 divide 12390/49 + 4/56*2?
False
Let w(k) = -k**3 - 7*k**2 - 7*k - 6. Let m be w(-6). Suppose m*z + 13 = 3*x + 2*z, 5*z - 16 = -2*x. Suppose 6*g = x*g + 9. Does 2 divide g?
False
Suppose -5*w + 5*d - 1570 = -0*d, 5*d - 940 = 3*w. Does 28 divide 11 + -8 - w/3?
False
Suppose -3666 = -2*a - 5*i, -a + i = 3*i - 1834. Does 28 divide a?
False
Suppose 17 = -y - 2*y - z, 5*y + 31 = -z. Does 31 divide 62/(y/(14/(-4)))?
True
Let a = -25 + 29. Does 9 divide a + 42 + -4 + 1?
False
Let c(o) = o**3 - 4*o**2 - 2*o + 3. Let g be c(4). Let m = g - -10. Does 4 divide m?
False
Suppose 5*b - 248 = -y, y + 2*y = 5*b + 704. Does 14 divide y?
True
Let k = 107 - 103. Is k + (-3)/(-6)*-2 + 340 a multiple of 17?
False
Let z(f) = 10*f**2 - 3*f + 5. Is z(2) a multiple of 13?
True
Suppose -b - y + 6 = 0, -4*y - 30 = -b - 4*b. Is 10 a factor of (-2)/b + ((-265)/(-3) - -1)?
False
Is 35 a factor of (44/66)/(4/834) + 1?
True
Let o = 60 - 65. Does 20 divide -114*(1 + o/2) + 1?
False
Suppose 4 = -3*g + 7. Suppose 4*b + 29 + 7 = 0. Is 18 a factor of (-276)/b + g/3?
False
Let b be (-2)/9 + (-2 - 282/(-54)). Suppose 7*y - 3*y + b*w - 294 = 0, 3*y - 4*w = 208. Is y a multiple of 12?
True
Let m(v) = v**3 - 12*v**2 + 12*v - 4. Let b be m(11). Let s(g) = 12*g - 12. Is s(b) a multiple of 17?
False
Let g = -65 + 93. Let j = g + -30. Does 2 divide 1/((j + 0)/(-30))?
False
Let y = -190 - -193. Let a(n) = -2*n**3 - 4*n**2 - 3*n + 3. Let m be a(-3). Does 18 divide (m/(-4) + y)*-12?
True
Is 9 a factor of 11*(-36)/(-1386) + 1601/7?
False
Suppose -4*r + 1 = 9. Let q(m) = -6*m**2 + 2*m + 2. Let u(v) = -13*v**2 + 5*v + 4. Let d(s) = -7*q(s) + 3*u(s). Is d(r) a multiple of 6?
False
Let b(p) = p**3 + 10*p**2 - 15*p - 15. Let j be (20/12)/((-2)/12). Is b(j) a multiple of 45?
True
Let f be 2/4 - (-21)/(-6). Let k be 0/(f/(-4)*4). Suppose -3*u + k*u = -66. Is 8 a factor of u?
False
Let y be (0 + 10)/(1 + 1). Suppose k + 0*k = y. Suppose -2*a = -5*b - 3*a + 176, -k*b = -a - 184. Is b a multiple of 12?
True
Let j be (15/(-45))/((-1)/33). Let r(s) = -3 - s**2 + 4 - 11 - j*s. Does 18 divide r(-7)?
True
Let b = 50 - 0. Does 10 divide b?
True
Let p be 1/2 + 742/28. Let o = p - -11. Is o a multiple of 18?
False
Let x(h) be the first derivative of 5*h**2/2 - 39*h + 17. Does 17 divide x(18)?
True
Let s be (-1)/9*-3 + 55/15. Is 27 a factor of (s - 40/(-15))*9?
False
Is 12 + 97 - (-2)/(4 + -2) a multiple of 4?
False
Let w = 81 - 73. Let a(c) = 0 + 3 + 0 