**2 + 15*a - 11. Let o be r(14). Does 8 divide p(o)?
True
Suppose -w - 920 = -2*x + 115, -w - 2065 = -4*x. Let h = x - 308. Does 37 divide h?
False
Let z(s) = 2*s**2. Let r be z(1). Suppose q = -4*g + 24, -5*q - r*g + 96 = -24. Let f = -10 + q. Is 6 a factor of f?
False
Suppose 5*d + 14 = 54. Let j be (16/12)/(d/18). Suppose 85 = j*m + g + g, -3*m + 83 = 4*g. Is m a multiple of 28?
False
Let x be -3 - -8 - 2/(-1). Suppose 13 = 4*p - x. Is 2 a factor of p?
False
Let w = 704 + -670. Is 10 a factor of w?
False
Suppose 20*o = 1020 - 120. Is o a multiple of 3?
True
Let g(s) = 5*s - 15. Let t be g(4). Suppose -151 = -i - 5*m, 3*i + t*m - 443 = -0*m. Is 20 a factor of i?
False
Suppose -2*b - 4*b = 888. Let d = 166 + b. Does 3 divide d?
True
Let y(i) = i**2 + 1. Let c(k) = 29*k**2 + k + 6. Let w(p) = c(p) - 5*y(p). Is w(2) a multiple of 33?
True
Suppose -10*m = 725 - 3745. Does 30 divide m?
False
Let l = 55 - 33. Let d be (l/55)/((-1)/(-5)). Suppose d*y - 16 = 26. Does 10 divide y?
False
Suppose 0 = 5*n - 3*n + 2. Let b be (n - 314/10)*15. Is 4/(-26) + b/(-117) a multiple of 2?
True
Let o(r) = r**2 + 94. Is 34 a factor of o(56)?
True
Suppose 5*q + 73*q = 39234. Is 27 a factor of q?
False
Suppose 162 = -5*a - 4*a. Let s = 16 - a. Does 14 divide s?
False
Let y be (16/12)/(256/(-132) + 2). Let v = y - -26. Is 8 a factor of v?
True
Let x(y) = -3*y**2 + y - 3. Let q be x(2). Let d = 23 + q. Does 2 divide d?
True
Let o(y) = -594*y - 5. Is o(-1) a multiple of 12?
False
Let i = 3903 - 1887. Is i a multiple of 28?
True
Let t(j) = j**2 + j + 3. Let b be 1*(4 - 33/3). Let k be t(b). Let u = k + 3. Is 12 a factor of u?
True
Let a(y) be the first derivative of 2*y**3/3 - 3*y - 27. Let j = -1 - 2. Is a(j) a multiple of 4?
False
Let y = 467 - 377. Is y a multiple of 15?
True
Let s be 26/10 + (-18)/(-45). Suppose s*q - 2*q = 4*o - 121, 0 = 5*q + 5. Does 5 divide o?
True
Suppose 2*q - 4*i + 32 = -2*i, 0 = 4*i - 12. Let k = 23 + q. Does 4 divide k?
False
Suppose -2*k + 105 + 15 = 0. Is (-30)/k - (-287)/2 a multiple of 11?
True
Let v(r) = -r**3 + 18*r**2 + 31*r + 19. Is 13 a factor of v(19)?
True
Let d(t) = t. Let m be d(-2). Let a(r) = 3*r**2 + 2*r - 2. Let p be a(m). Suppose -3*w + w = -p. Is 3 a factor of w?
True
Suppose 108 = -4*k + 432. Is k a multiple of 3?
True
Let b be ((-1254)/18 + 5)*(-6)/(-4). Let l = 181 + b. Does 7 divide l?
True
Let s(w) = w**3 + w**2 + 4. Let n be s(-2). Suppose -5*m - x + 446 = n, 5*x = -3*m + m + 160. Does 18 divide m?
True
Let f(m) = 12*m + 129. Is 5 a factor of f(-6)?
False
Let d = -29 - -88. Let h = d + -55. Is h a multiple of 4?
True
Suppose 5*w - 2*q = 52, -3*w + 0*q = -4*q - 20. Suppose -n - w = 3*n. Does 4 divide (6 - 3)/n*-15?
False
Let q = 256 + 78. Is q a multiple of 11?
False
Suppose -m - 3 = -4*a + 1, -3*a + 3 = 3*m. Suppose o + 2*o + 9 = m, -3*h + 4*o + 60 = 0. Is 11 a factor of (h*-1)/(3/(-9))?
False
Is 10 a factor of 65/(-15)*-129 + (16 - 15)?
True
Suppose g - 2*g = 1. Let b be (4 - 5)*g*4. Does 5 divide b/3*(-15)/(-2)?
True
Let y(a) = a**3 + a**2 - 2*a + 4. Let k be y(0). Suppose -c + 5*u + 45 = 0, -u + k*u = -15. Is c a multiple of 20?
True
Let a = 562 - 316. Does 41 divide a?
True
Let u(l) = -3*l + 4. Let v(d) = 9*d - 13. Let b(y) = -17*u(y) - 6*v(y). Suppose -2*c + 38 = -2*q + 3*c, q + 10 = -2*c. Is b(q) a multiple of 13?
True
Suppose 20*o - 16*o = -5*u + 1673, 418 = o + u. Is o a multiple of 30?
False
Suppose 45*l - 15105 = 9870. Is l a multiple of 4?
False
Suppose 10*p + 960 = 14*p. Suppose -p = 4*b - 7*b. Does 20 divide b?
True
Suppose -6 = 4*w - 2, 3007 = 5*s + 3*w. Is s a multiple of 26?
False
Suppose 0*a + 3 = a. Suppose 3*f + 2*o - 654 = 0, -o - 436 = -2*f - 5*o. Suppose a*x - 2*z - f = 3*z, -12 = 3*z. Does 22 divide x?
True
Let d(z) = 386*z - 391. Is d(4) a multiple of 30?
False
Suppose -i = -2*h - 33, 2*i = -3*h + 4*h + 54. Suppose -5*z - 3*n + 33 = 0, -2*n = -5*z + 3*n + i. Is z a multiple of 6?
True
Suppose 1617*p - 6735 = 1612*p. Does 17 divide p?
False
Let i(q) = 2*q**2 + 17*q + 63. Is i(-7) a multiple of 42?
True
Let a(l) = l**3 - 10*l**2 + l - 7. Let z be a(10). Suppose -r = -0*r - z. Suppose 0 = -r*b + 16 + 20. Is b a multiple of 12?
True
Let i = -261 - -516. Does 36 divide i?
False
Let p = 0 + 3. Suppose 84 = 5*q - c - 353, 2*q - p*c = 167. Does 22 divide q?
True
Let g(q) = q. Let n be g(6). Let p(x) = -x**3 + 11*x**2 - 4*x + 6. Is p(n) a multiple of 40?
False
Suppose 3*l + 5*r = 5681, 0 = -7*l + 3*l + 4*r + 7532. Does 126 divide l?
False
Let p(c) = 4*c - 35. Is p(17) a multiple of 33?
True
Suppose -49*w + 107363 = -26848. Does 19 divide w?
False
Suppose -4*a - 4 = -3*a. Let g = a - -44. Does 15 divide g?
False
Let m be 2/(-3) + 210/45. Let y(b) = m + 5*b**2 - 5*b**2 - 2 + 4*b**2. Does 9 divide y(-3)?
False
Suppose -3*c + 2*c + 260 = 5*h, 0 = -5*c. Is 37 a factor of h?
False
Suppose v + 4*v = -2*d + 558, 5*v - 563 = 3*d. Is 7 a factor of v?
True
Suppose 5*a = p - 10, -4*a + 2 = 6. Suppose 2*l - i - 284 = 0, -l + 700 = 4*l - p*i. Is l a multiple of 16?
True
Let d(y) = -5*y**3 + y**2 - y. Let z be d(1). Is 15 a factor of (-2 + (z - -1))*(-75)/9?
False
Let t(i) be the third derivative of i**5/30 - i**4/4 + i**3/6 - i**2. Let a(p) = p**2 - 9*p + 15. Let v be a(5). Is 21 a factor of t(v)?
False
Suppose 0 = -5*f + 5*w + 1923 + 187, -4*f + 3*w + 1688 = 0. Suppose 5*q - a = f, -q - 11 = -a - 97. Is q a multiple of 11?
False
Is (2 - (4 - (-28)/4))*-38 a multiple of 38?
True
Is (-6 - -5326)/5 - (-1 + 1) a multiple of 58?
False
Is 31 a factor of (2516/10)/1 - (-4)/10?
False
Suppose -k + 3306 = 1751. Is 5 a factor of k?
True
Let q be (6 + -3)*((-6 - 1) + 2). Does 30 divide (-3)/9 - 2165/q?
False
Let f(m) = -4*m**3 + 7*m**2 + 14. Let d(v) = -5*v**3 + 6*v**2 + 13. Let r(x) = -5*d(x) + 6*f(x). Is 6 a factor of r(-12)?
False
Suppose -301 = -5*a + 99. Does 4 divide (12/15 - 2)*a/(-6)?
True
Let z = -3 - -4. Let t(r) = 4*r. Let o be t(z). Suppose 28 = n + 2*b, 32 = 5*n - o*n + 3*b. Is 10 a factor of n?
True
Suppose -3182 = -3*n - 3*x + 1852, 5*n = 3*x + 8430. Is 99 a factor of n?
True
Suppose 2 = -2*d + 3*d. Let o(h) = h - 1. Let x be o(d). Let i(t) = 50*t. Is i(x) a multiple of 12?
False
Let n be 240/(-9)*(-27)/12. Suppose -8*o - n = -13*o. Does 6 divide o?
True
Suppose n + z + 15 = 5*n, 40 = 4*n + 4*z. Suppose -4*h = h - 2*m - 31, h = -n*m - 10. Suppose y + 163 = h*y + 5*r, -2*y - 5*r = -89. Does 11 divide y?
False
Suppose -46*d + 52*d = 90. Suppose -5*f + d = 0, -2*j + 4*j - 342 = -4*f. Does 15 divide j?
True
Let x(o) = -39*o**2 - o - 1. Let f be x(-1). Let w = 78 - f. Suppose -t + 3 + 25 = -5*r, 3*t = 4*r + w. Does 10 divide t?
False
Let f(p) = -p**3 - 3*p**2 - p + 2. Let h(w) = w**3 + w**2 + w - 7. Let g be h(0). Let s(v) = -v**2 - 6*v + 4. Let y be s(g). Does 2 divide f(y)?
False
Suppose -36 = 7*n - 8. Let o = 53 + n. Is o a multiple of 7?
True
Let g = 2 + -2. Suppose 0 = 7*w - 153 - 141. Let f = w + g. Is 14 a factor of f?
True
Let a(h) = h**2 + 8*h + 18. Let k = -12 - -4. Is a(k) a multiple of 3?
True
Let r(i) = 16*i**2 - 6*i - 6. Let z be r(5). Let k = 578 - z. Does 27 divide k?
False
Suppose -2*p + 208 = 5*r - 114, 5*p = 2*r - 123. Suppose -13*o - r = -402. Does 6 divide o?
False
Let u = 80 + -33. Let c be 3 + (-3)/((-9)/6). Suppose -241 = -c*i + j, -i + j - 2*j + u = 0. Does 16 divide i?
True
Let a(t) = -4*t**2 + t. Let z be a(-2). Let w be 26/(-117) - (-5180)/z. Is (w/45)/((-2)/20) a multiple of 22?
False
Let o(b) = b + 14. Let m be o(-10). Suppose 7*v - 333 = -5*q + m*v, q - 63 = 3*v. Does 20 divide q?
False
Let t(q) be the first derivative of 2*q**3/3 + 3*q**2 - 3*q + 2. Suppose 4*a = 4*f + 12, -2*f - 16 = -5*a + a. Is t(a) a multiple of 12?
False
Suppose -604 - 908 = -7*y. Is 12 a factor of y?
True
Let g = 96 + -179. Is 11 a factor of (3 - 0) + -6 - g?
False
Suppose 0 = 56*s - 12729 - 10119. Is s a multiple of 12?
True
Is 60/(-3)*(-87)/6 a multiple of 60?
False
Let l = -85 + 167. Let z = 4 + l. Is 43 a factor of z?
True
Let r(l) = 18*l**2 - 48*l - 6. Is r(5) a multiple of 17?
True
Let q = 1 + 8. Let c = q - 6. Suppose 3*r - 192 = -3*w, -c*w + 87 = 2*r - 101. Does 15 divide w?
True
Let g = 170 - -166. Is g a multiple of 28?
True
Suppose -3*q = -f - 879, 279 = -0*q + q - 5*f. Suppose c - 175 = -2*c - o