 Does 19 divide a(2)?
True
Suppose 9*u - 7*u = -208. Let f be (72/(-16))/(6/u). Suppose -m - 9 = -f. Does 18 divide m?
False
Let l(f) = -f**3 - 2*f**2 + f + 3. Let j = 3 + 0. Suppose -2*p + 22 = -4*q + 8, -j*p - 24 = 3*q. Is l(p) a multiple of 9?
True
Let y = 750 - 699. Does 6 divide y?
False
Suppose -5*f + 110 = -s, -3*s - 110 = -6*f + f. Suppose 10 = -y + 4*c, 5*c + 36 = 4*y + 8*c. Is 10 a factor of 392/f - y/(-33)?
False
Suppose -2*r - 2456 = -4*i, -3*r - 688 = 2*i - 1932. Is 36 a factor of i?
False
Let z(q) = -2*q + 6. Let o be z(3). Suppose 2*b + 2*b = 3*a + 15, -2*b + 4*a = o. Is 246/9 + 4/b a multiple of 13?
False
Suppose -17*a + 30170 = 10773. Is 36 a factor of a?
False
Let o = 4 - 6. Let x be (3 + o)*(2 - -5). Let n(g) = 5*g - 10. Is 25 a factor of n(x)?
True
Suppose -11 - 49 = -4*w. Does 11 divide (2 - (-69)/w)*5/1?
True
Does 8 divide ((-52)/12 - 9/(-27)) + 2132?
True
Does 17 divide (20/(-15))/(3 + 930/(-306))?
True
Let f be (108/(-8) + 1)*-4. Suppose 104 = d + f. Does 6 divide d?
True
Let z(y) = y**2 + 11*y - 28. Let c be z(4). Let j = -7 + 54. Let l = c + j. Is l a multiple of 18?
False
Let n(f) = f - 7. Let o be n(10). Suppose -k + o*r = -119, -284 = -4*k + 2*r + 162. Is k a multiple of 22?
True
Suppose -3*d + 1147 = 5*m + 42, -2*d = -5*m + 1130. Does 4 divide m?
True
Let c = -207 - -230. Is 18 a factor of c?
False
Let k(v) = -7*v + 6. Let w = -125 + 115. Is k(w) a multiple of 3?
False
Suppose -1527 = 10*k - 5317. Does 13 divide k?
False
Let t = 10 - 7. Suppose 2*h - 32 = -2*d, -5*h + t = 13. Is d a multiple of 6?
True
Let o(j) = -j**3 + 2*j**2 + 2*j + 6. Let n(l) = l**2 - 13. Let m be n(4). Let h be o(m). Suppose -3*y = -192 + h. Is 12 a factor of y?
False
Suppose 0 = 20*b - 15*b. Suppose 0*r + r - 92 = -3*t, b = -r - t + 96. Is 14 a factor of r?
True
Let o(a) = 12*a**2 - 4*a - 6. Let u be o(-2). Suppose p = -4*x + u, 97 - 283 = -4*p - 2*x. Is 19 a factor of p?
False
Let h be 2/((-10)/(-5)) - -29. Let l = 9 - 3. Let t = h - l. Is t a multiple of 8?
True
Suppose -4*a = -3*h - 0*a + 34, 3*h - 3*a - 30 = 0. Suppose -g - 3*z + 0*z = 4, 4*g = -3*z + 29. Is 4 a factor of g*(h/3 + -1)?
False
Let g(o) = 11*o + 6. Let z be g(4). Let p be z/(-40) + (-5)/(-4). Suppose -116 = -5*j - 2*d, d = -3*j - p*d + 70. Does 12 divide j?
True
Let u = -18 + 15. Let j be 1/u + (-32)/(-6). Suppose 2*a = -a + 4*p + 148, j*p + 245 = 5*a. Is a a multiple of 16?
True
Suppose 0 = 2*w + l + 25 + 4, 0 = -2*w - 4*l - 14. Let m = w - -19. Suppose -28 - 44 = -m*d. Does 25 divide d?
False
Suppose 0*c - 32 = 4*c. Let q(n) = 9*n**2 + 20*n - 16. Let u(g) = -5*g**2 - 10*g + 8. Let z(r) = -4*q(r) - 7*u(r). Is z(c) a multiple of 6?
True
Let t = -31 + 81. Suppose -5*c + t = -160. Is c a multiple of 9?
False
Let g = -78 - -82. Suppose g*v - 2*o - 641 = -3*o, -5*o + 805 = 5*v. Is v a multiple of 16?
True
Let m = -240 - -754. Is m a multiple of 27?
False
Does 3 divide 406/232 + 181/4?
False
Let p(g) = 55*g + 1007. Is p(8) a multiple of 14?
False
Suppose u = -3*f + 2*f + 157, 16 = -4*f. Does 23 divide u?
True
Let y be (-6 + 3)/(-3) + -21. Let b(l) = 9*l + 9. Let d be b(4). Let n = y + d. Does 9 divide n?
False
Is 1374/24 + (-10)/40 a multiple of 9?
False
Let s(r) = r. Let k(v) = 2*v + 1. Let c(f) = 3*k(f) - 7*s(f). Let j be c(6). Let p(l) = 4*l**2 + 2*l - 2. Is 28 a factor of p(j)?
True
Let r = -850 - -2868. Is r a multiple of 44?
False
Suppose 2*k - 493 = -5*t, 3*t + 6*k - 294 = 3*k. Does 11 divide t?
True
Suppose -15 = -5*a, 322 = n - 3*a + 30. Does 17 divide n?
False
Suppose 0 = 5*w + 6 + 19, 2*w - 874 = -2*b. Is b a multiple of 26?
True
Suppose 539*h - 518*h - 45171 = 0. Is h a multiple of 73?
False
Let c(q) = 11*q**2 + 24*q + 412. Is 12 a factor of c(-14)?
True
Let p = -846 - -1042. Does 12 divide p?
False
Suppose -2*w + 25 = -19. Suppose -h - 2*n - 40 = -4*h, 5*n = h - w. Does 10 divide h?
False
Suppose -15*x + 12*x + 299 = t, 5*x = -3*t + 501. Does 8 divide x?
False
Let f(k) = 38*k + 0 + 3 - 26*k - 124*k. Is 8 a factor of f(-1)?
False
Suppose 4209 = 9*n + 1329. Does 8 divide n?
True
Let o = -218 + 512. Is o a multiple of 42?
True
Does 12 divide -3 - 15/((-48)/15 + 3)?
True
Let j(y) = -y**2 - y + 10. Let i be (-1 + -2 + 2)*-1. Let u be i/7 - (-1)/(-7). Does 9 divide j(u)?
False
Suppose -1356 = -4*h - 4*z, 0 = -h + 12*z - 10*z + 348. Is h a multiple of 9?
True
Suppose -61*n + 55216 = -47*n. Is 37 a factor of n?
False
Is 9 a factor of -4*6/60 + (-1221)/(-15)?
True
Suppose -5*c + 4*w = -2, 0 = -3*c - 2*w + 10. Suppose c*u - 129 = -5*d, 3*u - 204 = -0*u - 4*d. Does 36 divide u?
True
Let h(r) = 2*r - 4. Let n be h(4). Suppose 0*c - 32 = -n*c. Let y(l) = -l**3 + 7*l**2 + 9*l + 10. Is y(c) a multiple of 3?
True
Let c(x) = 4*x - 4. Suppose 4 + 32 = g - 2*k, -3*g - k + 80 = 0. Let p(i) = -i + 1. Let m(j) = g*p(j) + 6*c(j). Is m(-5) a multiple of 8?
True
Suppose -18*s = 7*s - 4750. Is s a multiple of 19?
True
Let m be 26/6 + 1/((-27)/(-18)). Suppose 3*h = -2*h + 515. Suppose b - 16 = m*y, -5*b + h = -y - y. Is b a multiple of 11?
False
Let f(b) = 3*b - 2*b + 3 + 5 + 0*b. Let v be f(-6). Suppose 56 = 4*s + 4*w, -w - 2 = v. Is 18 a factor of s?
True
Suppose -27 = -28*h + 113. Does 4 divide h?
False
Let h(s) = s**3 - 11*s**2 - 10*s - 25. Let f be h(12). Is (3/(-2))/(f/2) a multiple of 3?
True
Let r be (-21)/2*2/(-3). Suppose r*h = -502 + 1391. Is 30 a factor of h?
False
Let w be ((-92)/6)/((-2)/(-9)). Let h be ((-20)/6)/(2/w). Suppose -m - h = -4*u, -2*u - 9 + 44 = -5*m. Is 5 a factor of u?
True
Suppose 0 = -2*q - 2*q + 24. Suppose -1815 = q*i - i. Is i/(-7) - (-10)/70 a multiple of 13?
True
Suppose -2*t - 4 = -4*t. Is (t/6*-107 - -1)*-3 a multiple of 6?
False
Let t(f) be the third derivative of -f**6/20 - f**5/20 - f**4/8 - f**3/6 - 8*f**2. Let z be t(-2). Let x = 73 - z. Is x a multiple of 16?
True
Let y = 10 - 147. Let k = -82 - y. Is k a multiple of 11?
True
Let s be (14/4)/(1/8). Suppose 4*h - s = 6*h. Is h/(-4) - (-9)/18 a multiple of 4?
True
Let z be (1 - (1 - 1)) + 2. Suppose -z*k = k - 344. Is 31 a factor of k?
False
Let w(j) = -6*j**3 - 6*j**2 + j - 4. Let m(f) = -5*f**3 - 6*f**2 + f - 3. Let r(i) = -5*m(i) + 4*w(i). Does 5 divide r(-5)?
False
Let s(z) = -z**3 + 7*z**2 - 2*z + 6. Suppose -5*c = -22 - 3. Let r be s(c). Let w = 98 - r. Does 18 divide w?
False
Let j be 0/(((-3)/(-3))/(-1)). Suppose -4*k = -0*c + c - 16, j = -c - 5*k + 19. Suppose 4*d + 66 = 3*i, i + c*d = 3*d + 29. Is 13 a factor of i?
True
Suppose 0 = -2*g + 3*g - 4. Suppose -3*k + 0*k + o = -155, 2*o = 8. Suppose s = k + g. Is s a multiple of 19?
True
Let y be 3 - (-439 - 4/(-4)). Let a be (-4)/(-10) - (-4)/(-10). Suppose 0 = -2*q + 7*q + 3*w - y, a = q + w - 89. Is 38 a factor of q?
False
Suppose 4*u - 84 - 120 = 0. Suppose 2*p - 87 = -33. Let q = u - p. Does 24 divide q?
True
Let i(r) = -r**3 - 3*r**2 + 10*r + 9. Let t = -74 + 67. Is 47 a factor of i(t)?
False
Let s be (-18)/(-5)*(-40)/(-12). Suppose i = -2*o - 0*i - s, 24 = -4*o + i. Is (3/1)/((-3)/o) a multiple of 6?
True
Suppose 4*q - s + 6 = 0, -2*q - 2*q - 10 = s. Does 12 divide ((-18)/(-21))/(q/(-112))?
True
Suppose 4*o - 5 = -5*d + 3, -5*d - 10 = -5*o. Suppose d = -19*r + 12*r + 462. Does 8 divide r?
False
Suppose 2*c = 3*c - 5. Suppose -2*l + c = -l. Suppose 4*v - 41 + l = 0. Does 9 divide v?
True
Let j be (69/(-2))/(42/56). Let d = 28 - j. Is 14 a factor of d?
False
Suppose a = 3*f + 709, 3565 = 5*a - f - 4*f. Is a a multiple of 5?
True
Let s = 11 + -26. Let q(u) = -25*u - 7. Let k be q(-2). Let l = k + s. Is l a multiple of 6?
False
Let g(t) = -t**3 + 7*t**2 - t + 6. Let k be g(7). Suppose -2*a - 3 = a. Is 8 a factor of (1/a)/(k/46)?
False
Suppose -10 = -7*g + 242. Suppose 0 = 4*o - 3*y - g, -6 = -5*o - 3*y + 66. Is 3 a factor of o?
True
Suppose 0 = 6*t - t + 15. Let j(u) = u**3 + 2*u**2 - 5*u - 3. Let s be j(t). Is 11 a factor of 306/27 - 1/s?
True
Let c be (-1)/(-5) - (-45)/25. Let h = 14 + -8. Let j = h - c. Is j a multiple of 3?
False
Suppose 0 = 56*a - 61*a + 2125. Is a a multiple of 17?
True
Let a(h) = 4*h**2 + 9*h + 5. Let s(i) = 9*i**2 + 18*i + 9. Let p(n) = -7*a(n) + 3*s(n). Let v be p(-7). Does 15 divide 266/v - (-12)/18?
True
Suppose 833*o - 832*o = 996. Does 45 divide o?
False
Let x(s) = -s**3 - 24*s**2 - 4*s + 92. Is 10 a factor 