)/7*-116. Let x(m) = -a*m**2 + 15*m + 2*m**3 + 19*m**2 - 5*m - 9. Is 22 a factor of x(6)?
False
Let k be (-1*1 - -4) + (12 - 10). Let z(a) = k*a + a**3 - 7*a - 22 - 5*a - 12*a**2. Is 7 a factor of z(13)?
True
Let i = -451 + 856. Is i a multiple of 9?
True
Suppose -211 = -q - h, -q + 239 = -4*h + 18. Let r = q + 607. Is 41 a factor of r?
True
Is 63 a factor of (1 - (-1 + 26))/((900/18522)/(-25))?
True
Let x(v) = v**3 - 80*v**2 - 63*v - 78. Is x(86) a multiple of 144?
True
Suppose -3*f + 60 = 5*i, -2*i - 3*i - 4*f = -60. Suppose i*p - p = 3575. Is p a multiple of 10?
False
Let s = 22 + -28. Let t(r) = -12*r - 7. Let p be t(s). Suppose p = -0*j + 5*j. Does 8 divide j?
False
Let a(n) = n**2 - 19*n - 22. Let k be a(-14). Let d be (-3)/(-6)*-1*0. Suppose d = -5*b + k + 550. Is b a multiple of 11?
True
Let c(k) = -k**2 + 8*k - 10. Let n be c(6). Let l(u) = u**3 + 26 + 51*u**n + 17*u - u - 21*u**2 - 19*u**2. Is 10 a factor of l(-9)?
False
Suppose -a = 5*s - 6 - 38, 2*s = -2*a + 104. Let q = -52 + a. Suppose -5*z = -4*u - 183, -35 = -q*z - u + 33. Does 16 divide z?
False
Suppose 2*u + 3 = 7*j - 6*j, j - 4*u = 1. Suppose -z - j*g + 213 = 0, 4*z + 11*g = 14*g + 829. Does 12 divide z?
False
Let x(u) = 62*u**2 - 22*u + 9. Let q be x(4). Suppose v = q - 662. Does 19 divide v?
False
Let k(d) be the first derivative of -d**4/4 + 2*d**3 - 2*d**2 - 2*d + 2. Let a be k(5). Suppose -5*r - 120 = -a*w - 27, -5*r = w - 51. Is 12 a factor of w?
True
Let x(m) = 18 - 4*m - 6 + 4*m**3 - m**3 + 3*m**2. Does 57 divide x(5)?
False
Let b = 59847 - 28729. Does 78 divide b?
False
Let b(q) = -108 + 20*q - 7*q - q**2 - 24*q - 27*q. Is 28 a factor of b(-34)?
True
Let p be (-234)/(-72) + (-2)/8. Suppose -314 = -z + p*a, 0*a + 302 = z + 3*a. Is z a multiple of 22?
True
Suppose 4*l = l + 6. Suppose -l*n + 6*n = 5*i + 1222, 2*i - 4 = 0. Is 45 a factor of n?
False
Suppose 0 = -23*p - 8957 - 6666 + 70685. Does 5 divide p?
False
Suppose -2*x = 2*s + 160, x + 2*s + 88 = 3*s. Let d = x + 163. Let i = 69 + d. Is i a multiple of 37?
True
Let h = -5791 - -6341. Is 6 a factor of h?
False
Suppose -4*o = 16, 0 = 2*k - o - 0*o - 4. Suppose 11*a - 694 + 199 = k. Is a a multiple of 15?
True
Suppose -22*x + 29394 + 145902 = 0. Is x a multiple of 32?
True
Suppose -8*n = -426 - 806. Let i = n - -62. Is 15 a factor of i?
False
Let c(p) = p - 1. Let o be c(5). Suppose k = -o*u - 0*u + 241, 648 = 3*k - 3*u. Let b = k - 141. Does 20 divide b?
True
Suppose -39*o + 97916 = -13*o. Does 11 divide o?
False
Suppose -y + 91 = -6*r + 9*r, 5*y - 5 = 0. Is (-8)/r*-5*(-117)/(-2) a multiple of 13?
True
Let n be 3*(-93)/(-9)*1. Suppose 5*p = -2*u - 145, 0*u - 2*u - 37 = p. Let c = p + n. Is c a multiple of 4?
True
Let o = 100 - 79. Does 30 divide 9023/o - (-6)/(-9)?
False
Suppose -21*x + 350768 + 36241 = 0. Does 115 divide x?
False
Let i be 1/(-3*(-2)/7734). Let o = -771 + i. Is o a multiple of 14?
True
Suppose -15*h + 263839 + 120044 + 62082 = 0. Does 25 divide h?
False
Suppose 4*h = 179 - 55. Suppose -h*l = -23*l - 1680. Is l a multiple of 48?
False
Suppose 308*u - 91917 = 299*u. Does 7 divide u?
True
Suppose -5*n - 3*w = 1567, 13*n - 5*w = 15*n + 642. Let m = 341 + n. Is m a multiple of 2?
True
Does 13 divide 71/4*(-69)/((-345)/5420)?
False
Suppose -12*a + 14*a = 4*o - 20, 0 = 2*a + o + 10. Let f(c) = 4*c**2 - 5*c + 2 + 8 + 0*c. Is f(a) a multiple of 23?
True
Let w(s) = 33 - 20 - 3*s - s + 28 + 10*s. Is w(8) a multiple of 22?
False
Let u = 3337 + 326. Let k = -974 + 973. Is (2/4)/k - u/(-22) a multiple of 20?
False
Is (-1*6810/(-18))/((-28)/(-12) + -2) a multiple of 30?
False
Let d be (-3)/9*(-16 + -17). Suppose d*y + 7*y = 1638. Does 13 divide y?
True
Let p = -13 + 62. Suppose -p = 2*n - 4*n - y, -2*n + 64 = -4*y. Is n a multiple of 13?
True
Let i be (3/(-4)*-2)/((-6)/(-916)). Let l = i + -161. Is (l/(-6))/(6/(-27)) a multiple of 15?
False
Let b = -16294 + 25654. Is 20 a factor of b?
True
Let d(v) = -635*v**3 + 4*v**2 + 5*v - 5. Is 35 a factor of d(-2)?
False
Let v(k) = -97*k**3 - 19*k**2 - 17*k - 12. Does 5 divide v(-4)?
True
Suppose -3*q = -5*d + 647, -q - 82 - 131 = -d. Let w = 444 + q. Does 22 divide w?
False
Let o = -47 + 100. Let d = -51 + o. Suppose d*t + u + 192 = 590, -3*u + 993 = 5*t. Is t a multiple of 31?
False
Suppose 532*g = 735*g - 2143680. Is 15 a factor of g?
True
Let i(l) = -l**3 + 23*l**2 - 38*l + 115. Does 38 divide i(19)?
False
Let p be (-512 + 2)/6 - 5. Let a = p - -178. Does 6 divide a?
False
Suppose -167276 = -14*c - 31257 + 48809. Does 41 divide c?
True
Let t = 40 + -60. Let h be 3746/t*-2 - 34/(-85). Suppose 5*a = -3*i + h, -3*a + 8*a = 15. Is 22 a factor of i?
False
Let z = -47 - -47. Suppose z = o - 2*o + 5. Suppose 2*c - 47 = -2*c + 3*l, 3*c = o*l + 49. Does 8 divide c?
True
Let a(k) = 7*k + 23. Let p be a(10). Suppose -3*t - j = 4*j - 120, 0 = 2*t - j - p. Is t - 0 - (-2)/(4 - 6) a multiple of 4?
True
Let o be (2 - (5 + -15)) + -3. Let t be (3/o)/((-10)/(-49830)). Suppose 0*p - t = -11*p. Does 20 divide p?
False
Let a(s) = 3*s - 37. Let f be a(19). Does 49 divide 985/f - 2*(-4)/(-32)?
True
Is (-3078)/8*11/(-22)*24 a multiple of 2?
False
Let w(z) = -2*z + 10. Let q be w(-3). Suppose -q*l - 636 + 12540 = 0. Does 13 divide l?
False
Suppose 307*b = 288*b + 140068. Is 38 a factor of b?
True
Suppose -3*d - 199 = 3*j - 34, -3*d - 219 = 4*j. Is 11 a factor of (77/21)/((-3)/j)?
True
Let k = 7033 + -6907. Let z be (-451)/(-3) - (-2)/(-6). Let l = z - k. Is l a multiple of 3?
True
Suppose 0 = -198*l + 107333 + 846631. Does 47 divide l?
False
Let j(y) = 9*y**2 + 117*y + 1026. Is j(-52) a multiple of 81?
True
Suppose 0 = -21*b + 19*b + 6, -2*b = -2*f + 2. Suppose 1937 = 2*j + 5*z, -f*j + 5*z + 3916 = z. Does 16 divide j?
True
Let n(y) = -62*y - 113. Let m be ((-105)/63)/(2/3)*8. Is n(m) a multiple of 19?
False
Let v(b) = 300*b**2 - 34*b + 10. Does 20 divide v(-5)?
True
Is 11/(-2)*74/814 - 393/(-2) a multiple of 4?
True
Suppose 2*x + 5*s = -9, -5*x + s - 7 = 29. Let a be x*4/(-4)*(2 + -3). Let o(p) = -9*p + 16. Does 30 divide o(a)?
False
Let i(v) = -v**3 - 3*v**2 - 13*v + 2. Suppose 88 = -11*c - 0*c. Let h(q) = 3*q**3 + 10*q**2 + 38*q - 7. Let m(p) = c*i(p) - 3*h(p). Is m(-5) a multiple of 4?
False
Let u be ((-43)/(-26) + 2/(-13))*2. Suppose b + 2*j - 8 = 0, u*b - 10 = j - 0*j. Is (224/20)/(b/10) a multiple of 10?
False
Let s be ((-1)/2)/((-3)/(-36)). Does 21 divide (s - (-352 + 4)) + -5?
False
Let d(p) = 3*p**2 + p**3 - 10*p**2 + 0*p**3 + 2 - 9*p**2. Let f be d(16). Suppose f*c - 6*c = -400. Is 20 a factor of c?
True
Suppose 5*c = c - 3*n - 43, -24 = 2*c + 2*n. Let x(b) = -2*b**2 + 7*b - 11. Let l be x(c). Let r = l - -291. Does 19 divide r?
True
Let g = 4932 - 2903. Suppose -5*o + g = -471. Does 20 divide o?
True
Let h = 24 + -277. Let o = h - -514. Is 7 a factor of o?
False
Let m(q) = 2 - 10*q - q**2 - 4 - 7*q + 2*q. Let n be m(-15). Is -1*(n + (-12)/1) a multiple of 5?
False
Suppose 0 = -5*y + 25, 26*b - 28*b + 5*y - 1301 = 0. Let w = -277 - b. Is w a multiple of 19?
True
Let o = 260 + 8. Let n = o - 128. Is 2 a factor of n?
True
Suppose -24*o + 54*o = 25*o. Let b(v) = 10*v + 208. Is b(o) a multiple of 13?
True
Let r be 3/(-12) - (-270)/(-72). Is 42 a factor of (-5 - (r - -2))*-140?
True
Let r(i) = 506*i + 31. Let o(v) = 168*v + 10. Let c(z) = -7*o(z) + 2*r(z). Is 26 a factor of c(-1)?
True
Let u(h) = -h**3 + 9*h**2 + 25*h - 13. Does 2 divide u(-6)?
False
Suppose -2*t - 2*n + 3*n + 440 = 0, n + 659 = 3*t. Let l be (-12)/(-7)*(1791/(-18) + 12). Let g = t + l. Is 23 a factor of g?
True
Let r(i) = 1248*i**2 - 73*i + 3. Is r(3) a multiple of 162?
True
Let k(t) = t**3 - 7*t**2 + 7*t - 4. Let z be k(6). Suppose 1680 = d + z*d. Suppose -4*i - 2*a = -a - d, -3*a + 411 = 3*i. Is 15 a factor of i?
False
Suppose -11*v = -317 - 486. Let f = v + -28. Is 6 a factor of f?
False
Suppose 6*l + 844 = -680. Does 16 divide 4/(-16)*2*(l - 2)?
True
Suppose -2*l + 2*w = 0, w - 12 = -3*w. Suppose 3*b - l*y + 8*y = 51, -2*b - 5*y + 29 = 0. Is 4/b - (-22144)/176 a multiple of 14?
True
Does 40 divide 12352/(-24)*((-225)/(-30))/((-1)/6)?
True
Let n be (26/(-8) + 1)/(70/(-280)). Suppose -29*f + 23712 = n*f. Is 27 a factor of f?
False
Suppose -z - 2 = l - 8, 30 = 3*l - z. Suppose -l*w + 2*w = -1771. Does 23 divide w?