b**2 - b - 6. Let z be g(-2). Suppose z*r - 812 = -3*r. Does 14 divide r?
False
Let m = 88 - -484. Is 29 a factor of m?
False
Let r(a) = a**2 - 9*a + 23. Let n be r(8). Suppose -n*p + 224 = -13*p. Does 16 divide p?
True
Suppose 5*x + 0*y - 6 = 3*y, 4*y = 3*x - 8. Suppose 0 = 4*a - x*a - 12. Suppose a*v = 5*b - 6 + 27, v - 5*b = -3. Is v a multiple of 6?
True
Suppose -2*k - 4*b = b + 247, -5*k - 570 = 3*b. Let m = 114 + k. Does 3 divide m?
True
Let m(n) = n**2 + 113*n + 441. Is 49 a factor of m(0)?
True
Let l(m) = 21*m + m**2 + 20 - 52 + 88 + 0*m**2. Is l(-19) a multiple of 9?
True
Let n = 457 + -421. Is 4 a factor of n?
True
Let w(p) = -p**2 + 3*p + 4. Let k be w(3). Let h(z) = -z**3 - 13*z**2 - 13*z - 12. Let r be h(-12). Let i = k + r. Is 4 a factor of i?
True
Let p = 6 + -4. Suppose -4*f = 3*q - 6, -p*q = f + 2*q - 8. Let g = 17 + f. Is g a multiple of 14?
False
Is ((-2220)/(-74))/(-6*(-1)/28) a multiple of 70?
True
Let g be -1 + (0 - -2 - 3). Let r = -9 - g. Let c(w) = w**3 + 8*w**2 + 2*w + 3. Does 15 divide c(r)?
False
Suppose 2*v + 3*v = 0. Suppose 0 = -v*y + 2*y. Suppose -l + 48 = -y*l. Is 20 a factor of l?
False
Suppose 7*w - 978 = w. Suppose 0 = -5*j - 0*j + 3*c + 213, 4*j = -5*c + w. Does 7 divide j?
True
Suppose 11*d + 87 = -199. Let f(r) = 46*r + 1. Let h be f(1). Let c = d + h. Is 7 a factor of c?
True
Suppose -6261 - 12755 = -8*w. Is w a multiple of 37?
False
Suppose 2*d + d - 30 = 0. Let q(z) = z**3 - 4*z - 4. Let x be q(-2). Let j = d + x. Is j a multiple of 3?
True
Let r(k) = 3*k - 15. Let q be r(6). Let o(f) = -5*f**2 + 4*f - 4. Let t be o(q). Let l = 25 - t. Is 16 a factor of l?
False
Suppose 5*p = 114 - 14. Let k be (16 - 1)/((-6)/p). Let y = k - -114. Does 9 divide y?
False
Suppose 3*r - 3*l - 10 = -2*l, -4*l + 10 = -2*r. Suppose -r*z + 9 = -2*z. Suppose 3*w - 4*j - 41 = 0, -j + z*j = -2*w + 32. Is w a multiple of 6?
False
Let b = 529 + -488. Is 15 a factor of b?
False
Let k(x) = -x**2 - 18*x + 6. Let l be k(-9). Let t = 262 - l. Is t a multiple of 14?
False
Suppose -13*o + 194 + 274 = 0. Is o a multiple of 6?
True
Let g be ((-56)/(-6))/((-2)/(-3)). Let a(w) = 2 + 0*w + g*w**2 - 4*w - 12*w**2 + w**3. Is 3 a factor of a(2)?
False
Suppose 16*n - 19*n - 318 = 0. Let x = -46 - n. Is 9 a factor of x?
False
Suppose -2*l - 684 = -52*d + 48*d, -2*d + 346 = l. Is 4 a factor of d?
True
Suppose s - 25 = -4*s. Let p(y) be the second derivative of -y**5/20 + 7*y**4/12 - y**3/2 + y**2/2 + 9*y. Is p(s) a multiple of 8?
False
Suppose -2*h - w = -501, 3*w = 10*h - 6*h - 1007. Is h a multiple of 16?
False
Suppose -4*m - f = -1929 - 484, -5*f = -4*m + 2407. Does 8 divide m?
False
Let h be (-1)/((3/(-12))/((-3)/(-12))). Suppose -2*m = -169 + h. Is m a multiple of 7?
True
Let y(t) = t**2 + 4*t - 6. Let a be y(4). Suppose -g = -2*o - 20, -2*o = 3*o + 3*g + 61. Let b = a + o. Is 5 a factor of b?
True
Let b = -8 - -11. Suppose -6*h + h = b*z + 136, -5*z - 204 = -3*h. Let x = z - -66. Is 18 a factor of x?
False
Let c(h) = -2*h**2 + 296. Let m be c(0). Let a = -120 + m. Is 37 a factor of a?
False
Suppose -3*j + 0 = -3, -2*s = -5*j + 25. Does 16 divide ((-12)/s)/((-15)/(-250))?
False
Suppose 125 = 2*l - 53. Is l even?
False
Let o(y) = -23 + 40 - 1 - 5*y. Is 12 a factor of o(-4)?
True
Let v = -73 - -76. Let d(h) = -h**3 + 4*h**2 - h + 3. Is 2 a factor of d(v)?
False
Suppose 2*w - 5*g = 445, 5*w - 2*w - 673 = 2*g. Let p = w + -101. Is 31 a factor of p?
True
Let j = -23 - -21. Let z be j + 2 + -3 + 47. Suppose -o + 255 - z = 3*u, -u + 2*o + 68 = 0. Does 10 divide u?
True
Let w(f) = -f**3 + 8*f**2 - f + 10. Let h be w(8). Suppose 96 = 4*s - h*s. Does 12 divide s?
True
Let u(n) = -n**2 + 11*n + 2. Let m be u(7). Let s be 6/2 + 1*99. Let i = s - m. Does 24 divide i?
True
Let y = -5 - -10. Suppose x + 2*x + 35 = f, -y*x = -f + 25. Is f a multiple of 25?
True
Suppose r - 2 = 2. Suppose m + 105 = 3*u + r*m, 0 = -5*m + 10. Is u a multiple of 14?
False
Suppose 0 = -5*a - 5*m + 8235, 245*m = 249*m + 12. Is a a multiple of 50?
True
Suppose 0 = 2*v - 0*v - 12. Let u(t) = -t**3 + 4*t**2 + 7*t - 6. Let d be u(v). Let s = d - -70. Is s a multiple of 17?
True
Is 3 a factor of ((-110)/(-7))/((-5)/(-35))?
False
Suppose 781 + 751 = 4*k + 4*p, 5*k - 1925 = 5*p. Does 16 divide k?
True
Suppose -4*a = 5*n - 48, n + 2*n - 36 = -3*a. Let z be ((-15)/a)/((-1)/4). Suppose -3*u + z*u = -2*x + 24, u - 10 = x. Is u a multiple of 11?
True
Suppose 2*b - 2*p = 8, 3*p + 0*p - 4 = -5*b. Let i be (3/3)/(b/(-112)). Let c = -13 - i. Is 25 a factor of c?
False
Suppose -4*c = -4*s - 2892, -3*c + 2169 = 2*s + 3*s. Is c a multiple of 41?
False
Let v(k) = 79*k + 148. Does 3 divide v(0)?
False
Let v(t) = 11*t. Suppose -d = d + 3*g + 1, 4*d = 4*g + 28. Is v(d) a multiple of 19?
False
Suppose -63*s + 13*s = -4300. Does 86 divide s?
True
Let a(j) = -4*j - 3. Let x(u) = u**3 - 7*u**2 + 5. Let k be x(7). Suppose -3*t - k = 1, -3*l = 3*t + 33. Is a(l) a multiple of 12?
False
Let p = -32 - -59. Is 22 a factor of p + 3 - 3 - -3?
False
Let o be -3 + 33 + -4 - -4. Let g = -7 + o. Is 3 a factor of g?
False
Let t(m) = 47*m - 54. Let v be t(11). Suppose 0 = -2*o + v - 99. Does 13 divide o?
True
Suppose 4518 = 2*f + w, 6*f - 5*f = 4*w + 2277. Is f a multiple of 133?
True
Let s = 323 - 143. Is 12 a factor of s?
True
Suppose -2*s = -5*w + 6144, -w + 2*s + 1158 + 74 = 0. Is w a multiple of 20?
False
Suppose -3*o - 267 = -l - 2*l, 4*l - 351 = 5*o. Is l a multiple of 16?
False
Let g(w) = 33*w - 42. Is g(7) a multiple of 9?
True
Suppose -6 = -2*y + 4*q, q - 9 = -2*y + 4*y. Let w = y - -63. Does 17 divide w?
False
Suppose -25 = 5*a, -2*z + 2*a + 260 = 3*z. Suppose 0 = -12*q + 2642 - z. Is 37 a factor of q?
False
Let c(p) = 13 + 17*p - p**2 - 7*p + 44 - p**3 - 15*p. Is c(0) a multiple of 14?
False
Let w = -4848 + 6811. Is w a multiple of 14?
False
Let u(g) = 31*g - 3. Let d(v) = -21*v + 2. Let l(q) = -8*d(q) - 5*u(q). Is 11 a factor of l(6)?
True
Suppose 3*f - 4*t + 468 = 5*f, -5*f - 5*t + 1180 = 0. Let d be 4/26 - f/26. Is 7 a factor of 10/(-45) - 308/d?
False
Let m(q) = q**3 + 2*q**2 - 5*q - 3. Let v be m(-3). Let f = 242 + -166. Suppose 115 = v*y + 5*i, -2*y - 4*i + f = -0*y. Is y a multiple of 28?
False
Let i = -5 - -5. Suppose 37*h - 42*h + 135 = i. Is 2 a factor of h?
False
Suppose 0 = 4*c + 2*d + 32, 3*c + 1 = -3*d - 26. Let w = 59 + c. Does 5 divide w?
False
Is -5 - -1 - 146/(-2) a multiple of 12?
False
Suppose -2545 + 673 = -5*m - 2*l, 376 = m + 2*l. Is m a multiple of 7?
False
Let d = 1016 + -489. Is d a multiple of 35?
False
Let l = 3888 + -2684. Does 14 divide l?
True
Suppose 846 = 3*s - 3*u, -s - 26 = 5*u - 296. Suppose h + 3*h = s. Does 23 divide h?
False
Let y(i) be the third derivative of 3*i**5/20 + i**4/6 + 11*i**3/6 + 25*i**2. Is 12 a factor of y(-3)?
False
Let s(m) = 27*m + 4*m - 26 + 24. Is s(3) a multiple of 21?
False
Is 8 a factor of ((-72)/(-108))/(2 - (-2676)/(-1341))?
False
Suppose -l = 2*l - 6. Let g(c) = -4*c - l*c**2 + 5*c**3 - 10 - 2*c**2 - 4*c**3. Is g(7) a multiple of 31?
False
Let q be (27/(-36))/((-1)/(-32)). Let u = 85 + q. Is u a multiple of 7?
False
Let t(s) = 5*s**3 - 2*s**2 - 11*s - 10. Let x(n) = -n**3 - n**2 + 1. Let m(w) = t(w) + 6*x(w). Is m(-7) a multiple of 12?
True
Let f(s) = -1151*s + 38. Is f(-2) a multiple of 20?
True
Suppose -2*k - 4*r = 28, -3*r - 14 = 1. Does 2 divide 2 + (k - (0 - 5))?
False
Let s(t) = 5*t**3 - 4*t**2 - t - 2. Let z(m) = 9*m**3 - 8*m**2 - 2*m - 4. Let v(i) = -7*s(i) + 4*z(i). Let w be v(4). Is 8/((w/15)/(-1)) a multiple of 11?
False
Let x = 31 - 108. Let d = x - -182. Is 15 a factor of d?
True
Suppose 11 = 5*f + 1. Let s be -20 + -2 + 0 + f. Let c = 12 - s. Does 16 divide c?
True
Suppose -1120 = 23*l - 37*l. Let c = -4 + 7. Suppose -5 = c*z - l. Is z a multiple of 11?
False
Let a(b) = 2*b**2 + 6*b - 20. Let j be a(-8). Suppose t - 3*f = -0*f + j, 325 = 4*t + 5*f. Is t a multiple of 15?
True
Let k(h) = h**2 - 15*h - 51. Is 2 a factor of k(-10)?
False
Suppose -11 + 359 = 2*k. Does 8 divide ((-15)/6)/(3 - 525/k)?
False
Suppose 0 = 3*j - 31 + 10. Suppose -6*h - 33 = -j*h. Does 3 divide h?
True
Suppose -5*s + 3*y + 138 = 0, 5*y = -3*s + y + 77. Suppose 12 = -s*n + 30*n. Is 3 a factor of n?
False
Suppose -2*z + 5803 = 3*p, 3*p - 4*z = 8*p - 9675. I