Let n = -27 - -36. Let r(k) = k**3 - 9*k**2 + k - 4. Does 5 divide r(n)?
True
Let x(d) = -4 + 1 + 9*d**2 + 1 - d**3 - 6*d. Let h be x(8). Let b = h - -47. Is 13 a factor of b?
False
Suppose -3*h = 4*s + 11 - 109, 0 = -3*s + 15. Let m = -12 + h. Is 2 a factor of m?
True
Is 29 a factor of (8 - 2412/(-3))/2?
True
Let x(a) = -a**2 - 4*a - 3. Let h be x(-3). Suppose -2*b = 2*b + 3*g - 1, h = 3*b + 4*g - 6. Does 5 divide (0 - 0) + (-24)/b?
False
Suppose -1131 = -135*g + 134*g. Does 13 divide g?
True
Let f = 35 + -23. Suppose c + f = 92. Is 5 a factor of c?
True
Let d(w) = 37*w - 271. Is d(15) a multiple of 5?
False
Suppose 0 = 3*b - k - 560, 3*k + 188 = b + 2*k. Does 32 divide b?
False
Suppose -19*j + 14*j = 0. Suppose -2*f - 4*w + 44 = j, 2 = -w - 1. Does 28 divide f?
True
Let i = -2 - 43. Let f(s) = s**3 - 5*s**2 + 1. Let v be f(4). Does 4 divide i/v + 14 + -1?
True
Suppose b - 5*m = 314, 423 = 4*b + 3*m - 879. Is 18 a factor of b?
True
Suppose 127*z = 114*z + 33514. Does 62 divide z?
False
Let y = 61 + -27. Let a = y + 1. Let s = a + -9. Does 13 divide s?
True
Let c = -11 - -5. Let q = c - -62. Is 5 a factor of q?
False
Suppose -4*s - 16 = 0, -b + s - 3 = -11. Suppose 0*n + 2*n + i = 169, 4*n = b*i + 308. Is 7 a factor of n?
False
Is 66/22 + 2/((-6)/(-963)) a multiple of 12?
True
Let j(c) = 7*c**2 - 19*c - 54. Is 20 a factor of j(9)?
False
Let k be 8/8 - (4 + -3). Suppose -4*w - 3*u + 194 = 0, w = -k*w - u + 48. Does 10 divide w?
True
Let g = 21 + 40. Suppose -31 = -2*i + g. Is i + (1 - 1) - 1 a multiple of 15?
True
Let v(b) = -b**3 - 5*b**2 + 6*b + 1. Let y be v(-4). Let k = y + 72. Suppose -4*p + k = -51. Is p a multiple of 19?
False
Suppose 4*j + 448 + 108 = 0. Let w = -24 - j. Does 46 divide w?
False
Is (50/100)/((6/2)/6534) a multiple of 33?
True
Let m = 9 - 5. Suppose -4 = -m*c + 4. Suppose 4 = 4*o + 20, -2*o = -c*q + 16. Does 4 divide q?
True
Suppose d = 216 + 360. Suppose 10*o - 13*o + d = 0. Does 32 divide o?
True
Suppose -62*b = -67*b + 1170. Is b a multiple of 9?
True
Let j(l) = 2*l**2 - l - 4. Let q(m) = -8*m. Let h be q(1). Let t(x) = x**2 + 9*x + 5. Let d be t(h). Does 9 divide j(d)?
False
Suppose 0*i + 9 = 2*i - 5*t, 0 = -2*i + 2*t + 6. Suppose i*n - 2*q - 40 = 0, 2*n - q - 62 = -n. Does 6 divide n?
False
Let b(r) = r**3 - 21 - 5*r - 172*r**2 + 165*r**2 + 0*r**3. Does 40 divide b(10)?
False
Let o(u) = -21*u - 15. Does 6 divide o(-7)?
True
Let u = -100 - -140. Is u a multiple of 6?
False
Let f(o) = -6*o**3 - 24*o**2 + 21*o - 1. Is 2 a factor of f(-7)?
True
Let f(k) = 576*k**3 - 15*k**2 + 13*k + 2. Is 64 a factor of f(1)?
True
Suppose 3*b = -2*u - 3, b - u - 1 = 3*b. Let s(r) = -32*r + 32*r + r**2 - b. Is 21 a factor of s(8)?
True
Let d be (6/3)/((-4)/(-194)). Let u = 163 - d. Is u a multiple of 8?
False
Suppose 2*n - g = 165, -3*n + 3*g + 167 = -76. Suppose 7*o - n = 6*o. Is 15 a factor of o?
False
Suppose 3*d - 2*d = -4*z + 178, 0 = 3*d + z - 512. Is d a multiple of 3?
False
Is 17 a factor of -2 + 4050/39 - (-26)/169?
True
Is 135/(-81) - (-293)/3 a multiple of 23?
False
Let m(q) = -q**2 + 8*q + 7. Let g be m(8). Let u = -24 - 4. Is 12 a factor of 96/u*g/(-2)?
True
Let b be 2/(-1) + (3 - -2). Suppose o = -b*o - 60. Is 5/o - (-67)/3 a multiple of 11?
True
Let v be -4*8/(-12)*3. Suppose 2*q - r = 349, -3*q - 885 = -v*q + 5*r. Does 27 divide q?
False
Is (-903)/(-9) - (-6)/9 a multiple of 41?
False
Suppose 29*s - 7635 - 42100 = 0. Is 62 a factor of s?
False
Suppose 4*g - 101 = 219. Suppose -37 - 26 = -21*j. Suppose 2*s - g = -j*s. Does 6 divide s?
False
Let a = 422 - -40. Suppose -6 = 2*x, 5*n - 4*x = 2*n + a. Suppose -k - 20 = 4*t - n, -3*k - 138 = -4*t. Is t a multiple of 11?
True
Let o(p) be the first derivative of -p**4/4 - p**3/3 + p**2/2 + 9*p - 1. Suppose 19*q - 13*q = 0. Is o(q) a multiple of 3?
True
Let p(d) = -d + 5. Let b be p(-6). Let u = b + -1. Is u even?
True
Suppose 0 = 2*x - 2*v - 62, x - 2*v - 18 - 11 = 0. Suppose 0 = 37*s - x*s - 840. Is s a multiple of 42?
True
Suppose -14*f = -5*f - 36. Suppose 5*a - u - 514 = 0, 0 = f*a - 2*a + 4*u - 188. Does 34 divide a?
True
Let g = -20 + 23. Suppose -155 = -2*c - n, g*n + 121 = 2*c - 22. Does 19 divide c?
True
Suppose -18*t + 7344 = 18*t. Does 6 divide t?
True
Suppose 125 = 2*a + 13*y - 18*y, 5*y + 245 = 4*a. Is a even?
True
Let w(s) = -s + 12. Let z be w(0). Let n be (z/8)/(3/6). Suppose n*a + 5 = 125. Is a a multiple of 9?
False
Let y(b) = 6*b - 6. Let p be y(-12). Let t = p + 227. Is t a multiple of 43?
False
Suppose 100640 = 80*z - 0*z. Is z a multiple of 6?
False
Let v(x) = -9*x**2 - 6 + 0 - 4*x**3 - 2 + x + 5*x**3. Let p(a) = a**2 - a + 1. Let g(q) = -4*p(q) - v(q). Does 10 divide g(-3)?
False
Let h = 165 + -3. Does 3 divide h?
True
Is 15 a factor of ((-3)/(-6) - 2)/(24/(-15104))?
False
Let l be 12/3 + -1 + 0 + 209. Let s = l + -97. Does 10 divide s?
False
Suppose 17 = l + l + 5*h, -1 = 4*l + 3*h. Is 25 a factor of (l/6)/((-2)/123)?
False
Suppose -3*y + 570 = -c + 6*c, -5*c - 795 = -4*y. Is 5 a factor of y?
True
Let w(a) = 2*a + 6. Let i be w(11). Suppose -i = -6*k + 32. Is 5 a factor of k?
True
Let f = 12 + -12. Suppose f = -q + 7 + 5. Let i = q - -14. Is 12 a factor of i?
False
Let j be ((-16)/10)/(-2) - (-2)/10. Is 9 a factor of ((-52)/8 + -4)*(j + -7)?
True
Let y(l) = 2*l**3 - 16*l**2 - 5*l + 19. Is 17 a factor of y(9)?
True
Let y(w) = w**3 + 11*w**2 + 11*w + 3. Let g be y(-10). Let j(a) = a**3 + 7*a**2 - 7. Let h be j(g). Let m = h + 14. Is m a multiple of 3?
False
Let a(w) = w**2 - 4*w - 19. Suppose -5*u - 60 = -20. Does 9 divide a(u)?
False
Suppose 0 = 34*p + 1230 - 7486. Does 2 divide p?
True
Let l(m) = 213*m**2 - 9*m - 8. Does 35 divide l(-1)?
False
Suppose 33 = -9*i - 57. Let b(o) = -o**2 - 14*o + 32. Does 21 divide b(i)?
False
Let c(b) = b**2 - 3*b + 1. Let d be c(4). Suppose 2*h + 4*i - 569 = -i, -322 = -h + d*i. Suppose -h = -4*m + 3*x, 3*m - 4*x - 159 = 69. Is m a multiple of 24?
True
Suppose 0 = 5*c + 2 - 17, 4*p = 2*c - 6. Suppose -4*t + p*t = -20. Is 2 a factor of t?
False
Suppose -5*q + 4*o + 1395 = -1212, o + 1044 = 2*q. Does 60 divide q?
False
Let r(u) = -u**3 + 29*u**2 + 49*u. Is r(30) a multiple of 19?
True
Let c = -80 - -43. Does 9 divide c*(-5 + 4)/1?
False
Does 10 divide (-214)/1*3/(-2 + -1)?
False
Suppose -27 = -4*a + 33. Let y(p) = p**2 - p + 15. Is y(a) a multiple of 22?
False
Let m be (-7)/(-4) + 2/8. Let s(t) = -m + 2*t + 3 + 1. Is 12 a factor of s(8)?
False
Suppose -12147 = -55*v + 23603. Is v a multiple of 10?
True
Let r(u) = -u**3 + 20*u**2 + 55*u - 22. Is r(19) a multiple of 8?
True
Suppose 3987 - 16237 = -7*s. Does 125 divide s?
True
Let n be (-20)/(4 + 0)*(-20)/4. Let t = n + 9. Is t a multiple of 17?
True
Let u(i) = i + 8. Let r be u(-5). Suppose -5*a - 4 = -r*a. Is (-74)/a - (-5 - -2) a multiple of 26?
False
Let k(l) = -2*l**2 + 8*l + 14. Let v be k(5). Suppose 7 = 4*f - 1. Suppose 76 = v*m + f*c - 66, m + 2*c = 34. Does 9 divide m?
True
Suppose -5*q + 54 = -26. Suppose q = 6*z - 5*z. Suppose 4*j - 23 = 3*w + 7, 4*w = -4*j + z. Does 6 divide j?
True
Let b = -253 - -510. Does 19 divide b?
False
Let s(i) = i**2 + 9*i + 2. Let q be s(-14). Let c = q - 46. Does 13 divide c?
True
Let a(m) = -15*m + 1. Let q be a(-1). Let b = q - 13. Is 10 a factor of 55 - b*(1 + 0)?
False
Let q = -8 - -513. Is 7 a factor of q?
False
Let o(k) = 106*k**2 + 12*k - 45. Is o(3) a multiple of 27?
True
Suppose -180*i + 170*i + 2410 = 0. Is i a multiple of 39?
False
Let z(u) = u**3 + 3*u**2 + u + 13. Let w be z(-3). Let l be (2 + 0)*(-38)/(-4). Let h = l - w. Does 5 divide h?
False
Let z(k) = -k**3 - 2*k**2 - k + 2. Let s be z(-6). Suppose -s = -2*i - 0*i. Suppose -5*n - 14 = 11, -4*y = 4*n - i. Does 12 divide y?
True
Suppose 3*h - 13 = 2. Is 20 a factor of (h + (-48)/9)/(1/(-63))?
False
Let m = -234 + 259. Is 25 a factor of m?
True
Is 45 a factor of (-7332)/(-8) + (36/(-6))/(-12)?
False
Let w(m) = -m**2 + 16*m + 3. Let v(t) = t**3 + 4*t**2 - 3*t - 5. Let y be v(-3). Does 4 divide w(y)?
False
Suppose 3*f + 17 = 3*h + 2*h, 14 = 3*h + 2*f. Let z = 648 + -459. Suppose -h*x = -x - z. Is 12 a factor of x?
False
Let f(h) = 301*h - 29. Does 8 divide f(1)?
True
Let i(l) = l**2 - 7*l - 5. Let q be i(8). Suppose 6 = -2*c - 3*v, -q = -3*c - 3*v - 6. Suppose 5*b + 47 = 5