 be (-6)/10 - 18/(-5). Suppose 4*n - 76 = -b - g*b, b + c*n = -1. Is b a multiple of 6?
True
Let y = 412 + -352. Is y a multiple of 10?
True
Let r(j) = -j**2 + 17*j + 10. Suppose -1 = 2*q - 39. Let o = q - 9. Is r(o) a multiple of 18?
False
Let x be (-2)/(-2) + (-17 - -180). Let j = 264 - x. Is 22 a factor of j?
False
Suppose 0 = -16*k + 13*k + 285. Suppose k - 47 = w. Is w a multiple of 15?
False
Suppose h = 3, -2*q + 6*h - 8*h = -6. Is 18 a factor of (q/1 - -2)/(8/172)?
False
Suppose -2*k + 72 = k. Suppose 2*a = i - 0*a - 10, -4*i + 4*a = -k. Suppose 2*z - 232 = -i*z. Is 18 a factor of z?
False
Let z = 630 - 348. Does 12 divide z?
False
Is (0 - -4) + -4 - 2*-152 a multiple of 16?
True
Let h(a) = a**3 + 10*a**2 - 12*a - 11. Let f(r) = -r**3 - 3*r**2 + 4*r + 1. Let k be f(-3). Let d be h(k). Suppose -i = -5 - d. Is 5 a factor of i?
True
Let h = -2161 - -3711. Is h a multiple of 25?
True
Let y be (-3)/(5/(20/6)). Let f(b) = -2*b**3 - 2*b**2 - 2*b - 3. Let w be f(y). Is 39/w - (-4)/6 a multiple of 3?
False
Let q(z) = 6*z**2 + 5*z + 5. Let b be q(5). Let v(j) = 33*j + 13. Let n be v(8). Let k = n - b. Is 27 a factor of k?
False
Let y be 1/((-2)/232) - -2. Let h be (-1*88/12)/((-6)/(-45)). Let q = h - y. Does 14 divide q?
False
Is -7 + -3 + 718 + 7 a multiple of 65?
True
Let w = -52 - -88. Let b = -7 - w. Let m = 62 + b. Does 10 divide m?
False
Let f(h) = -h**3 + 6*h**2 - 3*h + 13. Suppose 5*i = 2*z + 45, z = -4 - 1. Let q be f(i). Let o = q - -108. Is o a multiple of 17?
True
Let w(y) = -7*y + 8. Let q(t) = -t - 2. Let a(s) = 4*q(s) - w(s). Suppose 39 = 3*v - 3*z, 5*v - z - 21 - 32 = 0. Does 4 divide a(v)?
False
Let z = -13 - -9. Let u be z/(-24) - 1/6. Suppose -p - a = -6*p + 66, p - a - 10 = u. Does 6 divide p?
False
Let j = 162 + -68. Let s = j - 87. Is s even?
False
Suppose -5*u + 4 = -11. Let w(n) = -1 - 51*n**2 + 52*n**2 - 3 + u*n. Is w(-12) a multiple of 25?
False
Suppose -2*x + 2 = 4. Is 43 a factor of 5*50 + 1*(0 - x)?
False
Suppose -51*y - 9220 + 29671 = 0. Is 39 a factor of y?
False
Let l(f) = 44*f**2 + 7*f + 8. Let w(x) = -x - 1. Let z(g) = l(g) + 2*w(g). Is z(-1) a multiple of 15?
True
Suppose 2*i = 5*r - 21, 2*i = -4*r + 3*i + 18. Suppose -r*b = -214 - 516. Does 19 divide b?
False
Suppose 14 + 15 = -2*r + x, -5 = -5*x. Let u = r - -10. Let n(q) = -2*q**3 - 4*q**2 + 2*q + 4. Is n(u) a multiple of 16?
False
Let l = 5213 - 2829. Does 20 divide (-1)/(-3 - l/(-796))?
False
Let s be (12/(-8))/((-3)/(-4)). Let d be (s/2)/(3/(-234)). Let q = 113 - d. Does 9 divide q?
False
Suppose 213 = 3*b - 2*z, 16*b - 15*b + 5*z = 54. Does 3 divide b?
True
Suppose -5*d - 48 = -5*j - 8, j - 4 = -d. Let b be (4 + -3 + 2)*j. Let w = b - -51. Is 23 a factor of w?
True
Let r = -3724 - -6117. Is 11 a factor of r?
False
Suppose 5*a - 1 - 10 = w, 5*w = 4*a - 13. Let n = a + 2. Suppose n*j + 20 = -2*h + 94, 3*h = 15. Does 3 divide j?
False
Let q be (0 + -3 - -3) + 2. Suppose -q*v = v + 18. Is 12 a factor of (v/4)/(3/(-72))?
True
Suppose 3*t - 16 = -4*a + 7*t, -6 = 2*t. Suppose m + a = -2*d - 5, 2*m - 5*d - 24 = 0. Suppose -5*r - 2*o - 2*o = -60, -m*r - 3*o = -17. Does 4 divide r?
True
Suppose r + 3*f = 8, -2*f = -4*r - 0*f + 18. Let s(z) = z - 2. Let p be s(r). Is 3 a factor of p*1/(-6)*-14?
False
Let b(q) = -75*q + 3. Does 27 divide b(-5)?
True
Let t = 49 + -85. Let r = -19 - t. Does 3 divide r?
False
Suppose x - d + 38 = 0, -x - 5*d - 220 = 4*x. Let w = x - -72. Is 3 a factor of w?
False
Let n = 88 + -53. Let f(y) = -21 + n + 28 - y**3. Does 11 divide f(0)?
False
Let m(r) = 11*r**2 - 16. Is m(-6) a multiple of 19?
True
Let c(t) = -114*t**3 - 2*t**2 - 10*t - 1. Is 71 a factor of c(-2)?
True
Suppose -37*r - 5720 = -47*r. Is 26 a factor of r?
True
Let c(r) = -r - 1. Let v be (-1)/((-2)/6) + -6. Let d be c(v). Suppose 5*j + 5*h = 131 - 46, -3*j + 76 = -d*h. Is 12 a factor of j?
False
Let w(v) = -v**2 + 12*v + 1. Let q = 26 + -20. Suppose -44 = -q*d + 2*d. Does 10 divide w(d)?
False
Let p = 17 - 6. Let n = p + -7. Suppose n*x - 58 = -5*v + 4*v, -4*v + 7 = x. Does 15 divide x?
True
Suppose -6 = -5*n + 4. Suppose 0 = -p - 3*r - 4, -3*r = 5*p - 7*r - 18. Suppose -n*z - 5*f + 98 = 0, -p*z + z = 4*f - 55. Is 12 a factor of z?
False
Suppose -6*l - h + 5 = -4*l, 3*l - 2*h = 4. Let s be -1 - -5 - 1 - 1936/(-16). Suppose -4*w - 2*u + s = 3*u, -5*w + 122 = -l*u. Is 13 a factor of w?
True
Is 4 a factor of 0 + 2/(-10) - (-3856)/5?
False
Suppose -4*d = 60 + 48. Let b = -13 - d. Is 14 a factor of b?
True
Let d be 254*(-2)/(-4) - -1. Let q = 234 - d. Suppose -2*x + q = 3*g, 4*g + 0*g - 3*x = 130. Is g a multiple of 11?
False
Suppose -4*q + 8*g = -7*q + 659, 3*q = 2*g + 679. Is q a multiple of 9?
True
Is (18/7)/(6 - 40623/6776) a multiple of 24?
True
Suppose 3*a - j - 26 = 0, 2*a - 19 = -3*j + 2*j. Let u(n) = n**2 - 7*n - 9. Let y be u(a). Suppose 19 = 4*c - y. Does 3 divide c?
False
Suppose -2*s = 2 - 6. Suppose -577 = -5*q + 3*m, 3*q - 573 = -2*q + s*m. Does 7 divide q?
False
Suppose k - 2 = -3, m - 5*k - 9 = 0. Is 3 + (1 - 0) + 153 + m a multiple of 23?
True
Let s(f) = -f**3 - 6*f**2 + 3*f + 3. Let r be s(-6). Let l = 2 - r. Is 5 a factor of l?
False
Let d be (-2)/11 + ((-40)/11)/2. Is 8 a factor of d/9 + (-512)/(-36)?
False
Let p(l) = -3*l + 3. Let b be p(-22). Suppose -4*d + b = -1219. Is 49 a factor of d?
False
Let i(n) = 5*n. Let a(y) = 13*y - 22. Let f be a(2). Is 19 a factor of i(f)?
False
Let o = -17 - -17. Suppose -5*q + 4*h + 90 = o, h + 75 = 3*q + 2*q. Is q a multiple of 14?
True
Let p = 11 - 11. Suppose -3*v + 5*w + 68 = -p*w, -5*w = 5*v - 60. Does 33 divide (v/(-24))/(2/(-231))?
False
Let t = 273 - 390. Let r = 135 + t. Is 9 a factor of r?
True
Suppose 18*k + 1512 = 22*k. Does 3 divide k?
True
Let u be 3*(-2)/(-27) + (-3346)/(-9). Is 5 a factor of u/30 - 4/10?
False
Let u be (-2)/(-7) - (-130)/(-14). Let y(q) = -q**2 - 9*q + 18. Does 9 divide y(u)?
True
Let c(i) = 7*i**2 + 6*i + 6*i - 10*i**2 + 2*i**2 + 13. Let m be c(13). Does 9 divide 29*(-2 + m - -3)?
False
Let v(g) = g**2 + 9*g + 14. Let j be v(-7). Suppose 10*s - 8*s - 16 = j. Is s a multiple of 2?
True
Let o(k) = 3*k + 101. Does 5 divide o(8)?
True
Suppose 422 = 3*j - 5*x, 31*x = -3*j + 27*x + 467. Does 15 divide j?
False
Suppose 5*o = -5*v, -v + 0*v = -4*o - 20. Let m be (13/3 - v)*18. Suppose -m*t + 70 + 242 = 0. Does 15 divide t?
False
Let y be ((-8)/(-2) - 2)*38. Let b = y - 33. Is b a multiple of 4?
False
Suppose -5*q - 3*r = -r - 8, -q + 4*r + 6 = 0. Suppose -5*k + q = -18. Is k even?
True
Suppose 4*d = 4*x + 290 + 578, -2*x - 1073 = -5*d. Let y = d + -53. Does 40 divide y?
True
Let n(j) = -23*j + 22. Let d be n(-10). Suppose -3*o - o + 336 = -3*h, 0 = -3*o + 2*h + d. Does 21 divide o?
True
Let g(l) = -1733*l + 2. Does 78 divide g(-1)?
False
Is 324*-5*(-4 - (-343)/105) a multiple of 33?
True
Let y be -1*(-1)/(-2)*(-61 + 3). Suppose -y - 49 = -3*w. Is w a multiple of 3?
False
Is 23 a factor of (-1)/(10/(-10)) - (-2 - 1239)?
True
Does 22 divide 16/((-28)/(-20) - 1)?
False
Suppose -2*l = -3*z + 19, -l - 4*l = -5*z + 35. Let n be (-1)/z - 618/(-15). Suppose p = 4*t + n, -130 = -6*p + p + 5*t. Does 6 divide p?
False
Let j(l) = -4*l - 2. Let p = -27 + 21. Does 11 divide j(p)?
True
Suppose 5*h + 4 = 9. Let l be ((-5)/2)/(h/(-2)). Suppose 3*q - l*f + 2*f = 96, -90 = -3*q + 5*f. Is q a multiple of 8?
False
Let q(p) = -23 + 73 + 74 - p. Does 12 divide q(0)?
False
Let i = 2594 - 2066. Is i a multiple of 6?
True
Let s(m) = 2*m**2 + 4*m - 9. Let g be 7 + (-3 - 1 - -2). Let c(j) = 3*j**2 + 9*j - 17. Let u(y) = g*s(y) - 3*c(y). Is 6 a factor of u(7)?
True
Suppose 0 = 14*i - 11166 - 2498. Does 16 divide i?
True
Let n(t) = t**2 - 11*t + 27. Let b be n(8). Suppose 0*u - 95 = -4*u - b*r, -4*u + 4*r = -116. Is 26 a factor of u?
True
Let x = -396 - -1117. Does 22 divide x?
False
Let o be -1*(27 + -4)*-9. Let v = o - 85. Is v a multiple of 37?
False
Let a(d) be the second derivative of d**5/20 + d**4/2 - 5*d**3/3 - 7*d**2 - 4*d. Does 7 divide a(-7)?
True
Suppose g + 2*g + j = 319, 3*g + 4*j - 304 = 0. Suppose 0 = -5*m + 2*m + g. Does 18 divide m?
True
Suppose 160 = -f - 5*c + 758, 1170 = 2*f - 3*c. Does 28 divide f?
True
Suppose 4*h + 3*v - 616 = -h, 5*v - 110 = -h. Is h a multiple of 5?
True
Let d(f) = -f**3 + 2*f**2 + 4