w(6). Let y(d) = 6*d + 3*d**2 + d**2 - 5*d**2 - 8 + r*d**2. Is y(-7) a multiple of 16?
True
Let i(q) = -q**3 + 22*q**2 + 100*q - 42. Is 13 a factor of i(23)?
True
Let w be (48/56)/(-1 + 17/14). Suppose 4*i + n - 11 = 0, 1 = 4*i + w*n + 5. Is i a multiple of 2?
True
Let f = 81 - -145. Suppose -4*l + 4*s = -l - f, -2*l = 3*s - 145. Is l a multiple of 6?
False
Suppose -2*u + 7*u = -5. Let v(q) = -23*q + 6. Let k be v(-2). Does 10 divide (1 - u)/(2/k)?
False
Suppose -3*w + 26 = 5*p, p = 3*p - 5*w + 2. Suppose -p*q - 3*b = b - 276, 2*q + 4*b = 130. Does 10 divide q?
False
Suppose -9*m - 3*m - 192 = 0. Let p(i) = 10*i - 4. Let u be p(-3). Let c = m - u. Is c a multiple of 9?
True
Let u = -26 - -26. Is 17 a factor of (-46)/(4 - u - (-45)/(-10))?
False
Suppose 0 = -5*i - 0*s - 4*s + 22, 4*s = -8. Let h be 2/i - 10/(-6). Suppose 4 = h*b - 12. Is b a multiple of 4?
True
Let l = -2237 - -3785. Does 56 divide l?
False
Is 11 a factor of 1*(17 + 5) - 63/9?
False
Let h = 20 - 29. Is 33 a factor of (-2)/(h/(927/2))?
False
Suppose -12 = -d - 2*d. Let q = 16 + d. Is 20 a factor of q?
True
Suppose 2*b = -2*v - v + 617, 4*b = -v + 219. Does 14 divide v?
False
Let n(q) = 4*q - 13. Let l be n(5). Suppose 2*d = -3*a + l*d + 269, 5*a = 3*d + 475. Is a a multiple of 10?
False
Let m(t) = t**3 + 19*t**2 - 32*t - 22. Is 17 a factor of m(-20)?
False
Let p(k) = -k**3 + 4*k**2 - k + 4. Let j be p(4). Suppose 2*q + 3*q - 675 = j. Is 9 a factor of q?
True
Suppose b - 4*h - 5 = 0, -b - 2 = 2*h + h. Suppose b + 1 = m. Suppose -z - 3*p = -0*p - 21, -4*z + m*p = -42. Does 12 divide z?
True
Let m(r) = -2*r - 1. Let x be m(-2). Suppose n = 5*n - 5*p - 48, -27 = -n + 5*p. Suppose 2*w - 3*w + 2*l + n = 0, x*l = 9. Is w a multiple of 7?
False
Suppose -151 = -8*s + 105. Is 7 a factor of s?
False
Does 51 divide (-2)/3 - (-32328)/216?
False
Let c(h) = -78*h - 135. Is 9 a factor of c(-6)?
True
Let x(d) = 26*d + 135. Is x(0) a multiple of 9?
True
Let q(c) = -3*c**2 + 7*c - 4. Let w be q(-8). Let z = w - -133. Let l = 172 + z. Is l a multiple of 9?
False
Let o be (19 - -3)*2/(-4). Let d = o - -38. Does 8 divide d?
False
Let s(b) = b**3 + 33*b**2 + 38*b - 114. Is 10 a factor of s(-31)?
True
Let g be -10*2/4*(-108)/30. Suppose -g*k = -5*k - 559. Does 4 divide k?
False
Suppose 3*g + p + 27 = 2*p, 3*g + 27 = 2*p. Let v(c) = -c + 3. Is 3 a factor of v(g)?
True
Suppose 6*j - 10 + 4 = 0. Suppose -3*r + 29 = -2*w, 0 = r - 4*w - 24 + j. Is 2 a factor of r?
False
Suppose -2*m + 133 + 617 = 0. Does 50 divide (-1 - (-3)/(-15))/((-3)/m)?
True
Let b(q) = -15*q + 16. Let a be b(-8). Let y = a + -97. Suppose -5*i + 2*i = 4*w - y, -5*w = 0. Is 13 a factor of i?
True
Suppose -3*l = -0*l - 2*o - 561, 935 = 5*l - 3*o. Does 17 divide l?
True
Let m be (-4)/(-3) + (-50)/6. Let z be ((-2)/m)/((-4)/(-14)). Suppose z = 2*l - 23. Is l a multiple of 12?
True
Let k(a) = a**3 + a**2 - a - 17. Is k(4) a multiple of 3?
False
Suppose -2*y - 183 + 11 = -i, -3*i = 4*y - 556. Is 11 a factor of i?
False
Let y(i) = 123*i**2 - 2*i + 2. Does 7 divide y(1)?
False
Let b be 6/(-4) + -3 + 45/10. Suppose 5*j + 30 = -5*z + 120, -2*z - 4*j + 26 = b. Does 14 divide z?
False
Suppose 3*m + 2*y - 584 = 0, -2*y + 462 = 2*m + 76. Let u = -96 + m. Is 34 a factor of u?
True
Suppose 0*m - 889 = -2*m + 3*y, 0 = -3*m - 2*y + 1327. Is m a multiple of 17?
False
Let r(m) = m**3 - 15*m**2 + 20*m + 12. Let v be -2 - -20 - 4/1. Is 32 a factor of r(v)?
True
Let x = 229 - 189. Does 40 divide x?
True
Let k(n) = n**2 + n - 18. Let i(v) = 2*v**2 + 2*v - 37. Let r(f) = 4*i(f) - 7*k(f). Is 15 a factor of r(-11)?
False
Suppose c + 58 = t, 4*t - 2*c = 3*c + 237. Is 11 a factor of t?
False
Suppose -y = 29 + 11. Let w be 8/1*105/10. Let o = w - y. Is o a multiple of 32?
False
Let x = 393 + 3252. Does 17 divide x?
False
Let j = 17 + -21. Is 4*j/(-16) + 48 a multiple of 49?
True
Let t(y) = y**3 - 7*y**2 + 3*y + 9. Let m be t(5). Let n(l) = l**2 - 3*l + 1. Let c be n(-5). Let k = c + m. Is k a multiple of 4?
False
Let v(h) = 2*h + 10. Suppose 0 = 5*k + 5*a, -k + 5*k + 3*a + 4 = 0. Let p be v(k). Suppose l - p*t - 31 = 0, -t - 2*t = -5*l + 148. Does 19 divide l?
False
Suppose 3*o + 28 + 11 = 0. Let r = o - -18. Suppose -f - 60 = -r*f. Is 14 a factor of f?
False
Suppose -3*t + 5*t = 76. Suppose 112 = 4*a - 2*i, 4*a - t = 4*i + 74. Does 15 divide 848/a + 6/(-21)?
True
Let d = 9 + -11. Let v be (2 - 0)/d*-8. Is 7 a factor of (54/(-8))/((-2)/v)?
False
Let f(x) = x**2 + 16*x - 12. Let o be f(-17). Suppose -3*k - 3*l + 6 = -0*k, o*l + 30 = 5*k. Suppose t + 4*c = 48, -4*c = -t + k*t - 144. Is t a multiple of 12?
True
Let d(q) = q**2 + 7*q. Let h be 4 - 1 - (-1 - 0). Does 11 divide d(h)?
True
Let d(t) = 3*t + 6. Let g be d(-7). Let c = -15 - g. Suppose c = 3*q - q - 16. Is q a multiple of 2?
True
Is ((468/20)/3)/((-5)/(-225)) a multiple of 39?
True
Let s(u) = -u + 1. Let m be s(0). Is 22 a factor of 7/7 + m*43?
True
Suppose -c - 20 = -6*c. Let x be (-4)/(2 - (6 - 2)). Suppose -14 - 20 = -5*w - c*g, -x*w + 14 = 2*g. Is 6 a factor of w?
True
Let i be 3 + -135 + -3 - (-1 - -2). Let f = 40 - i. Does 46 divide f?
False
Let s = -268 - -994. Is 41 a factor of s?
False
Let v = -315 - -462. Is 3 a factor of v?
True
Let p(l) = -662*l**3 - 2*l**2 - 13*l - 27. Does 15 divide p(-2)?
False
Let t = 5629 - 2813. Is t a multiple of 8?
True
Let b = 11 - 0. Let w = b - 8. Suppose -w*u - 3*c - 11 = -2*u, 3*c = -15. Does 2 divide u?
True
Let m(q) be the first derivative of 70*q**2 + 31. Is m(1) a multiple of 34?
False
Does 12 divide 1524*(3 + 5/(-2))?
False
Suppose -2 = 5*a - 12. Let r be (0*(-3)/(-9))/a. Suppose 2*l - 16 - 80 = r. Does 19 divide l?
False
Let b be 1/((-1)/2) + 4. Let m(f) = -1 - f**2 - f - 1 + 0*f - f**3 + 9*f**b. Is 22 a factor of m(7)?
False
Let s(c) = -c**2 - 9*c + 3. Let n be s(-9). Suppose -3*d + 0*z - z - 1 = 0, 0 = 5*d + 3*z + n. Suppose 4*m - q = 97 - 23, d = -3*q - 6. Is 18 a factor of m?
True
Let a(y) be the first derivative of -y**3/3 + 13*y**2/2 + 12*y - 1. Let n be (138/(-30) + 3 - -2)*30. Is a(n) a multiple of 16?
False
Let x(z) = -9*z**2 + z - 2. Let q be x(2). Let o = 100 + -50. Let c = o + q. Is c a multiple of 6?
False
Suppose -8 + 2 = -3*z. Suppose -n - 216 = -o - z*o, 3*o - 4*n = 216. Is o a multiple of 24?
True
Let y(z) = -39*z + 2169. Is 25 a factor of y(0)?
False
Let t(i) be the third derivative of i**5/60 + i**4/24 + 37*i**3/3 + 2*i**2. Does 37 divide t(0)?
True
Let s(h) = 80*h - 15. Does 55 divide s(8)?
False
Let y be (-88)/16 - 1/2. Does 5 divide (-2)/y*9 + 17?
True
Let y(v) = 12*v**3 - 19*v**2 + 27*v - 24. Is 77 a factor of y(7)?
False
Is 0 + (-3 + 4 - -214) a multiple of 21?
False
Is (-1 - 5)*-927*7/21 a multiple of 87?
False
Let a(c) = -c**2 - 7*c - 1. Let k be a(-6). Let g(l) = -l**2 - 6*l + 5. Let d be g(-7). Is 5 a factor of 2/(-2)*d*k?
True
Let x(t) = t**3 - 15*t**2 - 15. Let a be x(15). Does 16 divide (-1205)/a - 3/9?
True
Does 25 divide 3/((-3)/5) - (-6 - 601)?
False
Let f be 8/(-48) + (-70)/12. Let x be ((-14)/21)/((-2)/f). Let n(l) = -9*l. Is n(x) a multiple of 4?
False
Let d(w) = -29*w**3 + w**2 + w. Let a be d(-1). Suppose -a = 5*b + l - 386, 3*b - 2*l = 222. Is b a multiple of 8?
True
Let m(z) = -5*z + 2*z - z. Is 14 a factor of m(-7)?
True
Let d(q) = q**2 - 24*q - 37. Does 5 divide d(28)?
True
Let t(j) = -j**3 + 8*j**2 + 3*j - 8. Suppose f - 32 = 3*f. Let g be (-1)/(2/f)*1. Is 5 a factor of t(g)?
False
Suppose -4*x = -l - 1788, -5*l + 1976 = 4*x + 164. Is x a multiple of 14?
True
Let b(s) = -s**3 + 22*s**2 + 13*s + 106. Is b(21) a multiple of 4?
True
Suppose -2055 = -5*x - 2*m + m, -3*m - 1625 = -4*x. Is 46 a factor of x?
False
Let r be (4 - 0)/(2/(-6)). Let y be 56/6*r/(-8). Let c = y - 11. Is 2 a factor of c?
False
Let g(v) = -5*v**3 - 2*v**2 + v + 2. Let r be g(-1). Suppose 22 = -3*q + r*w, 0 = 7*q - 3*q - 4*w + 24. Is -13*(6/3)/q a multiple of 11?
False
Suppose -9*f + 7157 = 8*f. Does 22 divide f?
False
Let t(c) = 149*c - 3. Let v be t(2). Let g = v + -115. Is 23 a factor of g?
False
Let j = 2784 - 2696. Is 8 a factor of j?
True
Let j(y) = -y**3 - 9*y**2 + 9*y - 8. Let r be j(-10). Suppose -4*z - 6 = r*k - 18, 4*k = 5*z + 63. Let a = -8 + k. Is a a multiple of 4?
True
Let p(c) = c**3 - c**2 + c + 2. Let k be p(0). Let h be (-7 + 8