d - -145. Is 41 a factor of v?
False
Let q = 71 - 71. Suppose q = t - o - 17, -4*o = -3*t + t + 38. Let h(m) = 5*m + 7. Is h(t) a multiple of 13?
False
Let n = 279 - 20. Suppose 89*x = 82*x + n. Is x a multiple of 13?
False
Let k(j) = 198*j - 3. Let q(g) = g**3 + g**2 - 41*g + 8. Let r be q(-7). Is k(r) a multiple of 13?
True
Let r = -7 + 15. Let f(l) = -4*l**2 - 35*l - 75. Let h be f(-5). Is (r + h)*420/24 a multiple of 35?
True
Suppose 10547 = t - w, -21*w - 31637 = -3*t - 17*w. Is 54 a factor of t?
False
Let y = 418 - 576. Let x = y - -391. Is x a multiple of 8?
False
Let t = 30 - 27. Suppose 0 = -k - l + 2, 2*l + t = -4*k + 17. Suppose 0 = -4*f + k*c + 135, 3*f + 2*f + 4*c = 138. Does 10 divide f?
True
Let t(l) = -47*l + 14*l**3 + 27*l**2 - 3*l**2 - 9*l - 13*l**3 - 69 + 2*l. Is 16 a factor of t(-25)?
True
Is (7/(-210)*15)/((0 + -1)/3780) a multiple of 21?
True
Suppose -t + 2*t = 11. Suppose -1 = 4*x - 3*w - t, -8 = -4*w. Suppose -2*h = -x*h + 86. Does 14 divide h?
False
Suppose 260 = -14*r + 92. Let a = -13 - -21. Is a/r*(-1377)/6 a multiple of 17?
True
Let h be 2/(1 - 300/306). Suppose -5*r + 3*a = -345, -3*r = -2*a - 106 - h. Is r a multiple of 11?
True
Suppose -2*g - 3*a + 19275 = 0, 4*g - 28058 = 5*a + 10503. Is g a multiple of 63?
True
Suppose -5*d = 3*h - 3805, d - 283 - 460 = 3*h. Let v = d + -398. Does 90 divide v?
True
Let a = -53 + 57. Suppose 18 = 5*f + 3*x, -23 = -a*f + 5*x + 21. Suppose -3*u - 3*y = -f*y - 63, 0 = -2*y - 6. Is u a multiple of 6?
True
Let p be (-12 - -9) + (0 - -446). Suppose 2*g - 136 = -i, -g = i - 4*i + p. Is i a multiple of 11?
False
Suppose 9*z - 7427 = 5*z - 5*l, 5*z + 4*l - 9295 = 0. Does 23 divide z?
True
Suppose 17*j - 73736 - 3161 = 69830. Is 63 a factor of j?
True
Let w = -21506 + 49198. Is w a multiple of 86?
True
Suppose 18 = 2*c + 6. Suppose -c = -3*k - 0*q + 4*q, k - 3*q = 2. Let p(t) = 16*t**2 + 5*t - 4. Does 7 divide p(k)?
True
Suppose -29*i - 628860 = -123*i. Does 5 divide i?
True
Let x be (25 + -33)*(-10)/16. Suppose q - 42 = -v + 28, -x*v = -2*q - 378. Does 4 divide v?
False
Let j(x) = -3*x - 18. Let h be j(-6). Suppose -10*p = -h*p - 1110. Suppose 6*u - 9 = p. Does 20 divide u?
True
Suppose -3*b = -2*n - 5*b - 4, -2 = n + 5*b. Is 13 a factor of (-1 + n + 16)*(-2 - -7)?
True
Suppose -4*v = 3*z - 15538, 0 = -4*v - 229 + 245. Does 56 divide z?
False
Let a(c) = 53*c - 78. Let h be a(7). Suppose -292*u = -h*u + 792. Does 88 divide u?
True
Let r(z) = 46*z + 9. Let h be r(0). Suppose h*w - 4*v - 744 = 5*w, 5*w = -5*v + 920. Does 7 divide w?
False
Let g = 100 + -242. Let m = -40 - g. Is 17 a factor of m?
True
Let u(f) = 4*f**3 - 2*f**2 - 16*f + 197. Let j be u(16). Suppose -34*i + j = -8497. Does 42 divide i?
False
Let s be -5*(-2)/(-8)*4. Let v(p) = -2*p**2 + 152*p - 67. Let m(a) = a**2 - 101*a + 45. Let r(g) = s*v(g) - 8*m(g). Is 2 a factor of r(-25)?
False
Suppose k - 21896 = -6*n, 4*k + 3*n = k + 65748. Is 16 a factor of k?
True
Let c(m) = -60*m + 2086. Is 163 a factor of c(-25)?
True
Suppose -5*b + 735 = 2*b. Let r(p) = 10 + 3*p**3 - 2*p**3 - 110*p**2 + b*p**2 - 8*p. Is 17 a factor of r(7)?
False
Suppose -10*b + 512 = -11418. Is 14 a factor of b?
False
Let f(v) = 3*v + 13. Suppose 4*d - 4 = -4*p, -3*p + 13 + 4 = -4*d. Let o be f(d). Let n(h) = -h**3 + 11*h**2 - 6*h - 10. Does 32 divide n(o)?
False
Suppose 0 = 3*k - 5*a - 2574, 130*k - 4322 = 125*k + 3*a. Is k a multiple of 31?
True
Suppose 4133 = 2*c - 4967. Does 26 divide c?
True
Let x be 141/21 - ((-6)/21)/1. Let r(v) = -v**3 + 10*v**2 - 6*v - 21. Let g be r(x). Suppose w - z = g, 3*z - 525 = -5*w - 81. Is w a multiple of 4?
False
Let o be 6 - 7/((-7)/(-22)). Is 5 a factor of o/(-80) + 474/5?
True
Suppose 49*d - 40066 = 16970. Is d a multiple of 20?
False
Suppose -38*f = 80*f - 2126526 - 96122. Is 8 a factor of f?
False
Let t(f) = -8 - 2 - f**3 - 8*f - 6*f**2 - 2*f**2. Let k be t(-7). Let h(u) = -7*u - 3. Is h(k) a multiple of 5?
False
Let f = -1963 + 3528. Suppose -2*u - f = -4*p - p, 5*p - u = 1570. Is p a multiple of 63?
True
Let j = -24 - -29. Let g be (j/(-2))/((-1)/2). Suppose -g*f = 3*i - 249, -2*i = -2*f - 18 + 108. Does 6 divide f?
True
Does 14 divide (2 - 8508/(-9))*(-15 - 6 - -27)?
True
Let x(g) = -1219*g - 1658. Is x(-17) a multiple of 3?
True
Let h(w) = -4*w - 22. Let p be h(-5). Let l be p/6 + ((-5405)/(-3))/5. Suppose 4*t - l = -136. Does 14 divide t?
True
Let k be 2/11 + (-216)/(-22). Suppose -k*q + 359 = 59. Does 13 divide q?
False
Suppose -4*g = 5*l + 8, l = -g - 10 + 9. Let h(j) = 10*j**2 + 6*j + 7. Is 11 a factor of h(l)?
True
Is (-1 - 56189)/((-637)/28 + 22) a multiple of 29?
False
Let x = 264 - 63. Suppose 206*z = x*z + 2260. Is z a multiple of 9?
False
Suppose -14 = 6*d + 40. Let x be -6*(-3)/6*6/d. Is 19 a factor of 0*(-1)/x + 26?
False
Let x(w) = -14*w - 47*w**3 + 48*w**3 + 1 - 2*w - 22*w**2 + 11 + 9. Is 40 a factor of x(24)?
False
Let t(j) = 308*j**2 + 2*j + 8. Let r be t(-2). Let w = -666 + r. Let y = w - 313. Is y a multiple of 16?
False
Suppose 8*g - 2138 = 1438. Let a = 955 - g. Is a a multiple of 16?
False
Suppose 31*n = -33*n + 62*n + 4284. Is n a multiple of 14?
True
Suppose -n = -20 - 83. Let i = n + -82. Does 3 divide (-7)/(i/(-10))*(-12)/(-8)?
False
Suppose -30*i - 41*i + 83842 = -66820. Is 24 a factor of i?
False
Suppose -13*n + 15*n + 5*s - 61 = 0, -s = -2*n + 91. Suppose -845 - 7712 = -n*h. Is 5 a factor of h?
False
Let j be 1*-1 + (-4 - -3) - 4. Let l be (-1)/(-4)*112/(-21)*j. Suppose l*w + 78 = 10*w. Does 39 divide w?
True
Suppose 3158*g - 3171*g + 103246 = 0. Does 43 divide g?
False
Suppose 3*n = 3 + 3, 0 = 5*f - 5*n - 15. Does 5 divide (-159)/(f - (-13)/(-2))?
False
Let l be (18/8)/(108/6624). Let c = 274 - l. Is c a multiple of 17?
True
Is 17 + (-2316)/(-48)*340 a multiple of 17?
True
Let f(q) = 48*q**2 + 314*q. Is f(-14) a multiple of 14?
True
Suppose 0 = 2*n + 2*p - 10732, -8*n - 26806 = -13*n + p. Does 18 divide n?
False
Let z = -60 - -65. Suppose 6*o - z*o = -3. Is (o + (-22)/(-6))/(4/486) a multiple of 16?
False
Let g be ((-6)/(-4))/((-3)/(-12)). Suppose 24 + 0 = -g*u. Is (-1)/(-2) - 338/u a multiple of 6?
False
Does 21 divide (-711 - -249)*((-4)/(-2) + 33/(-6))?
True
Suppose -6*y - 3 - 51 = 0. Let q(j) = -11*j + 55. Is 28 a factor of q(y)?
False
Let x(h) = 7530*h**2 - 48*h. Is x(-1) a multiple of 82?
False
Suppose 9*c - 4556 = 3*c + 191230. Does 149 divide c?
True
Suppose -17509 = -25*a + 24416. Does 6 divide a?
False
Let b(k) = -6*k + 556. Is 53 a factor of b(75)?
True
Suppose -4*w = -h + 387, w = -h + 4*h - 1128. Suppose -55*z + h = -52*z. Suppose c = z + 38. Does 26 divide c?
False
Is (5/((-10)/4))/((-147034)/29406 + 5) a multiple of 92?
False
Suppose 6*m = 31*m - 34700. Does 101 divide m?
False
Let s(l) = l**3 + 18*l**2 - 20*l - 17. Let k be s(-19). Suppose 2*n - 4*x = x + 907, -4*x = k*n - 916. Suppose 0 = 2*c - 6*c + n. Does 19 divide c?
True
Suppose -9907 = -105*v + 1770001 + 285022. Is 18 a factor of v?
False
Does 173 divide -5*((-4498)/52)/(5/6)?
True
Does 13 divide (-3 - 4) + ((-251617)/51)/(1/(-3))?
True
Let m(f) = 38*f**2 + 3*f - 5. Let t be m(2). Let p = 193 - t. Is p a multiple of 2?
True
Let v(q) = -9*q - 12*q - 44*q**2 + 349 + 46*q**2. Does 11 divide v(12)?
True
Let s be 1 - (11 - 2)*8/(-12). Is 13 a factor of s/(-49)*0 + 104?
True
Let k = -50 - -76. Let r = k - 23. Is 2 a factor of r?
False
Suppose -8*j - 88 - 320 = 0. Let c = j + 98. Suppose 4*b = 283 - c. Does 11 divide b?
False
Let l = 556 + -535. Let u(r) = 2*r**2 - 37*r + 208. Is u(l) a multiple of 80?
False
Let z(s) = -2*s**2 + 324*s - 454. Is z(149) a multiple of 6?
True
Let u be (82/(-16) - (-2)/16) + 5. Suppose -g = -3*g - 10, u = -3*o - 4*g + 901. Is 13 a factor of o?
False
Let a(c) = 7326*c**2 + 52*c - 54. Is a(1) a multiple of 3?
False
Let y = -68 - -173. Let b be ((-12)/10)/((-2)/(-5)) - -107. Suppose 4*p + b = 2*o - 94, -p = o - y. Is o a multiple of 34?
False
Suppose 6*u = -2*u + 1968. Suppose u = -5*z - 3*c + 985, 5*c - 307 = -2*z. Let p = -61 + z. Is 17 a factor of p?
True
Let b be ((-32)/(-40))/(4/10). Let k be 6/(((-987)/(-82))/3 + -4). Suppose -2*x + 492 = 4*r, -2*x - 4*r + k = -b*r. Is x a multiple of 43?
False
Let u(d) = d**2 - 5*d + 6. Let a be u(3). Suppose 2*q = -3*z + q + 1, a = 3*z + 2*q + 4. S