s n a multiple of 13?
True
Let k = -4 - -25. Let s = 26 - k. Suppose u + 273 = s*j, -u + 216 = 4*j - 3*u. Is j a multiple of 18?
False
Let v be (-5 - -2) + 3 + (-8736)/(-1). Suppose -9*p + v = 7*p. Is p a multiple of 26?
True
Let i(z) = -z**3 + 28*z**2 - z + 14. Let w be i(28). Let p(u) = -5*u + 44. Is 7 a factor of p(w)?
False
Suppose k = 5*k + 4*q - 100, k - 4*q = 0. Let r = 22 - k. Suppose s - r = 3. Is 2 a factor of s?
False
Suppose -12*j + 13184 + 10516 = 0. Is 9 a factor of j?
False
Let c be ((-8)/10)/(12/(-30)). Suppose 0 = -2*h - 5*r - 0*r + 187, 98 = h - c*r. Is 6 a factor of h?
True
Let x(l) = 8*l - 39*l + 9*l - 21. Does 12 divide x(-8)?
False
Is (99155376/(-190))/(-36) + (-2)/5 a multiple of 302?
True
Suppose 3*q + 5*d = -0*q + 338, -3*q + 342 = 3*d. Suppose 4*h + q = 4*p + 28, h - 104 = -5*p. Is p a multiple of 17?
False
Let s be (1 + -2)*-5 + -2 + 2. Suppose 0 = -7*r + s*r - 5*f + 3090, 0 = 4*r - 4*f - 6236. Does 12 divide r?
False
Suppose -53 = -3*a + 2*h, 0*a = -4*a + 3*h + 69. Suppose 5*j + 210 = q, -23*q = -a*q - j - 384. Is 10 a factor of q?
True
Let j(c) = -8 + 4 + 45 + 2*c - 4*c. Let k be j(19). Suppose 5*v = k*b - 125, 0 = -4*v - 5 + 1. Is 36 a factor of b?
False
Suppose 5*g = -4*k + 2*k + 27, 4*g - k = 32. Suppose 23 + 12 = g*r. Suppose -r*z - 2*t + 595 = 0, -5*t + 4*t = 3*z - 356. Is z a multiple of 11?
False
Let t be (-5)/6 - (-371)/42. Suppose t*r = 35*r - 3510. Is 4 a factor of r?
False
Suppose 25740 = 17*v + 9012. Suppose 0 = 3*z - 585 - v. Is z a multiple of 20?
False
Suppose 3*g + 4*p + 6 + 2 = 0, g = -p - 2. Suppose 4*t - 7*t + 852 = g. Is 42 a factor of t?
False
Let u(q) = 5*q**2 + 70*q + 30. Is u(-23) a multiple of 35?
False
Let u(j) = -10*j**2 + 5*j - 5. Let h be u(1). Does 4 divide (28/h)/(5/(-25))?
False
Does 8 divide ((1/(-2)*13)/(-1))/((-1)/(-474))?
False
Suppose 2*v - 5*b - 6390 - 367 = 0, 2*v - 6761 = b. Is 49 a factor of v?
True
Let u = 203 + 195. Let q = u - 152. Is q a multiple of 43?
False
Suppose 11*q = -5 + 445. Is (-4)/q*2 - (-24488)/40 a multiple of 36?
True
Is 23 a factor of (-785607)/(-7860) + 2/40?
False
Suppose -9*f = -235 - 485. Suppose -5*k + f = -3*a, 0*a - 2*k + 48 = -2*a. Let m(b) = b**3 + 21*b**2 + 20*b + 9. Does 9 divide m(a)?
True
Is 7/(21/3)*-5 - -5120 a multiple of 47?
False
Suppose -5*l + 12 = 3*j - 2*l, 33 = 2*j - 3*l. Suppose 0 = p + 4*h - 73 - j, -4*p + 271 = -3*h. Is 8 a factor of p?
False
Suppose 277 = 2*x + 243. Suppose -4*i + 28 + 14 = 2*p, 49 = 3*i - 2*p. Suppose x*c - 240 = i*c. Does 7 divide c?
False
Let f(a) = -1071*a - 13. Is 3 a factor of f(-1)?
False
Let r = -3737 + 14461. Does 7 divide r?
True
Suppose -23*q - 105 = -28*q. Let a = q - 21. Suppose a = 4*b - 10*b + 1194. Is b a multiple of 40?
False
Let v = 21 - 15. Let r = -330 - -546. Suppose 5*w = v*w - r. Is 12 a factor of w?
True
Let c(u) = -u**3 + 11*u**2 + 4*u + 32. Let m be c(-8). Suppose m = 5*f + 3*k - k, 4*k + 1228 = 5*f. Does 6 divide f?
False
Let n = 4080 + -3432. Does 24 divide n?
True
Let o(z) = -z**2 + 10*z + 37. Let v be o(13). Is 5 a factor of ((-176)/(-32))/(v/(-4))*5?
True
Does 51 divide (-1 - -12744) + (28/(-16))/((-53)/212)?
True
Suppose -184988 = 173*g - 2843479. Does 100 divide g?
False
Suppose 14*m + 4*m - 8640 = 0. Suppose -15*r + m = -12*r. Does 16 divide r?
True
Suppose -27*v - 9365 = -8*v - 26465. Is v a multiple of 45?
True
Let y = 75 - -5. Is 12 a factor of (-2 + 17)*4*708/y?
False
Let i(f) = -f**3 + 17*f**2 - 12*f + 23. Suppose 5*k + 2*w = 81 - 2, 4*k - w = 58. Does 13 divide i(k)?
False
Suppose -5*r + 225 = 2*z - 133, -2*z = 2*r - 346. Suppose 317 = 5*t + 3*d, 3*t + d - 22 - z = 0. Does 5 divide t?
False
Let l(v) = v**3 + 8*v**2 - v - 6. Let b(o) = 19*o - 3. Let r be b(-3). Let y = -65 - r. Is l(y) a multiple of 16?
False
Suppose -18 = -11*b + 37. Suppose 27*d + c - 2225 = 22*d, 4*c = -b*d + 2225. Is d a multiple of 19?
False
Suppose 3*c = 3*u - 20841, -113*c = 2*u - 112*c - 13891. Is 46 a factor of u?
True
Let l(o) = 560*o**2 + 137*o - 738. Does 17 divide l(5)?
False
Let a = 29 - -22. Suppose 0 = 56*w - a*w - 205. Does 4 divide w?
False
Let j(n) = n**2 - 6*n + 8. Let f be j(7). Is (0 + f/(0 + 5))*85 a multiple of 44?
False
Suppose 2*v = -t + 8, 14*v + 5*t - 19 = 11*v. Suppose 3*f = v*r - 234, -5*r - 2*f = -3*f - 394. Is 6 a factor of r?
False
Let k(n) = -132*n + 76*n**2 - 20*n**2 + 24 - 28*n**2 - 22*n**2. Is k(26) a multiple of 57?
False
Does 32 divide (-1)/(8/(-152))*(-448)/(-2)?
True
Let g(z) = z**3 + 20*z**2 - 69*z + 26. Let a = -152 + 130. Is g(a) a multiple of 24?
True
Suppose -2*x + 9 = 2*i + 11, -5*i = 3*x - 5. Suppose i*y - 654 = 11*g - 12*g, -3*y - 1932 = -3*g. Is g a multiple of 9?
False
Let z = -74 + 80. Let r be ((-12)/(-8))/(z/4120). Suppose s - 5*c = 3*s - 391, -2*c + r = 5*s. Does 39 divide s?
False
Suppose 8*w - 1276 = 6*w + 4*l, 0 = -2*w + 5*l + 1280. Is 5 a factor of w?
True
Let w = -19415 - -47535. Does 76 divide w?
True
Does 81 divide 18 + (-903)/49 + (-23820)/(-14)?
True
Suppose -x = 1 + 3, -3*c + 3*x = 507. Let o = c - -61. Is (0 - o)*12/16 a multiple of 28?
True
Suppose 2158 - 179 = 39*s - 3169. Is s a multiple of 11?
True
Suppose 4*r + 50224 = 50*p - 47*p, -2*p = -4*r - 33484. Is 20 a factor of p?
True
Let v(z) = -z**3 - z**2 + z + 8. Let f be v(0). Let g = -8 + f. Suppose 3*a + g*a - 145 = -4*c, 4*a = -2*c + 200. Does 12 divide a?
False
Let s be (-1)/(4*(-4)/912). Let q be 177/12*(5 - 1). Suppose -s*i = -q*i + 110. Is i a multiple of 11?
True
Let c(n) = 9*n + 6. Let y be 8/((-8)/(-4)) + -2. Suppose -k + 9 = y*k. Is 33 a factor of c(k)?
True
Let s(c) = 1447*c - 6065. Is 36 a factor of s(5)?
False
Let c(u) = 4 + 6*u + u + 2*u. Let w(j) = -4*j + 15. Let d be w(3). Is 6 a factor of c(d)?
False
Let q(j) = -236*j**3 + 2*j**2 - j - 1. Let u be q(-1). Suppose -1072 + u = -6*w. Let b = -61 + w. Is 13 a factor of b?
True
Let t be (7797/(-92))/((-6)/8). Suppose -4*h - y + 61 = -35, 5*h = -3*y + t. Is 5 a factor of h?
True
Suppose 5*o + 5 = 3*w, -7*w + 3*w = -o - 1. Let j(u) = -125*u - 4. Let n(p) = 31*p + 1. Let i(c) = 6*j(c) + 22*n(c). Is i(o) a multiple of 33?
True
Suppose 9*p - 69 = 14*p + 3*v, -3*p = -v + 33. Suppose 40 = -a - 3*r + 5, 5*r = -4*a - 140. Is a*(4/p + 2/(-3)) a multiple of 33?
False
Suppose 3*h + 3*l - 1689 = 0, -8 + 2 = -3*l. Suppose -t - k + h = 0, -3*t + 2*k = 3*k - 1675. Is t a multiple of 58?
False
Let o = -152 - -196. Is 1 + 2 + (-1 - o*-14) a multiple of 48?
False
Let u = 18 + 12. Let s = 14 + -4. Is 3282/u - (-6)/s a multiple of 12?
False
Suppose -18*x + 14*x = -2184. Suppose x = 6*c + 7*c. Is c a multiple of 7?
True
Let n be 12/20 + (-308)/(-220). Suppose -13 - 2 = -3*m. Is (3/n)/(m/170) a multiple of 17?
True
Suppose 0*m + 5*m = -5*l + 74960, -5*l = 2*m - 29999. Is m a multiple of 103?
False
Suppose 0 = m + 4, -2*s + 4*m = -12901 - 24967. Is s a multiple of 24?
False
Let b = -177 - -84. Let x = -69 - b. Suppose 56 = g - x. Is g a multiple of 16?
True
Suppose -2*r = 5*a - 9235, 0 = 2*r - 10*a + 5*a - 9245. Suppose 1052*c = 1046*c + r. Does 14 divide c?
True
Let c(o) = -47*o**3 + 35*o**2 + 173*o + 42. Is 21 a factor of c(-6)?
True
Does 24 divide 792/40*(35 - -5)?
True
Suppose -106 = -45*q + 43*q. Suppose 0 = 2*p - 10, 6*p = k + 4*p - q. Does 63 divide k?
True
Suppose 5*j - 6*r = -r + 10, 0 = 5*j - 2*r - 4. Suppose -222 = -20*p + 18. Suppose -l + p*l - 1243 = j. Does 16 divide l?
False
Let b be 5 - (-965 + 15/(-5)). Suppose -2*d + b = 4*s + d, 5*s - 1190 = 5*d. Suppose 30*u + s = 31*u. Is u a multiple of 14?
False
Let v = -6915 - -8543. Is 11 a factor of v?
True
Let p = -737 + 725. Let v = p + 340. Is 3 a factor of v?
False
Suppose -1034*x + 1036*x - 9012 = 0. Let n = x - 2310. Does 36 divide n?
True
Let k(o) = -o**2 - 2*o + 40. Let h be k(5). Suppose -h = -z, 4*g + 0*g - 301 = -z. Is 19 a factor of g?
False
Suppose 5 - 21 = 8*g. Let f(l) = -242*l + 15. Is 74 a factor of f(g)?
False
Let o = 21318 - 20048. Does 8 divide o?
False
Let i(d) = -11*d + 11. Let n be i(-13). Let r = 180 + -275. Let t = n + r. Is t a multiple of 20?
False
Let c = -235 + 46. Let f = 281 + c. Suppose 4*p = 4*v - f, -3*p + p = -4*v + 94. Is v a multiple of 3?
True
Let j = 36 - -111. Suppose -237 = 3*b - 5*c, -2*b - 345 = 2*b + 3*c. Let f = b + j. Does 9 divide f?
True
Let 