 divide f(p)?
False
Let z(p) = 365*p - 545. Is z(9) a multiple of 111?
False
Suppose -3*g + 2*g + 2 = 0. Let p(u) = u**3 - 4*u**2 - 2*u - 25. Let x be p(6). Suppose x = 5*r - 5*b, 3*b = g*r - 7*r + 75. Is r a multiple of 3?
True
Suppose -5*k + 762 + 358 = 0. Let g(h) = 2*h**2 - 4*h - 2. Let z be g(-1). Suppose p - 2*p = 4*o - k, 3*p - 216 = -z*o. Does 19 divide o?
True
Let g(o) = -o**2 + 8*o + 10. Let x be g(9). Let p(j) = 51*j - 1. Let u be p(x). Suppose t = -2*c + u, 5*c + 35 = -3*t + 158. Is 8 a factor of c?
False
Let h = 90 + -30. Is h a multiple of 28?
False
Let p(y) = -4*y**3 + 2*y**2 + 4*y + 3. Let z be 8 + 4 + 0 + -1. Let c = 9 - z. Is 6 a factor of p(c)?
False
Suppose -4*l + 252 = 2*j, -3*j + 4*l - 266 = -694. Does 8 divide j?
True
Let h(w) = 2*w**3 + 6*w**2 + 22*w - 7. Is h(9) a multiple of 21?
False
Suppose 0 = -15*g + 162 + 813. Does 22 divide g?
False
Suppose 12*u + 4 = 14*u. Suppose 4*i - 128 = u*i. Is 12 a factor of i?
False
Suppose 2*r - 46 = -5*j, -3*j - 26 = -2*r + 2*j. Let d(f) = -f + 30. Is 3 a factor of d(r)?
True
Let l(j) = 9*j**3 - j**2 + 5*j - 4. Is l(4) a multiple of 12?
True
Suppose -h + 6 = 4. Suppose h*q = 16 - 2. Suppose 0 = q*i - 9*i + 28. Does 7 divide i?
True
Let w(l) = -l**3 - 6*l**2 + 52*l + 16. Is 39 a factor of w(-13)?
False
Suppose -28 + 6 = n. Let z = n - -28. Suppose -z*a + a - 52 = -4*o, -2*o + 24 = -2*a. Is o a multiple of 2?
True
Let d be 36/(-8)*(-2 - 0). Suppose 6*p + 12 = d*p. Suppose 2*j + 2*j - 18 = -o, -39 = -p*o - 5*j. Is 2 a factor of o?
True
Does 3 divide 15*-2*1351/(-70)?
True
Let p(x) = -40*x - 124. Is 3 a factor of p(-11)?
False
Let p(u) be the third derivative of -17*u**4/12 - u**3/3 + 4*u**2. Let r be p(-7). Suppose 5*y - r = h - 3*h, -5*y + h = -227. Is y a multiple of 22?
False
Let q(c) = 2*c**3 - 4*c**2 + c + 2. Let u be q(2). Suppose -24 = -u*w + 252. Does 19 divide w?
False
Let l = 1454 - 1134. Is l a multiple of 16?
True
Suppose -4 = -5*r + 11. Suppose -r*a = -32 - 553. Let l = a + -117. Is l a multiple of 16?
False
Let m be 1/(-5) - 6/(-5). Let t be (3 + 0 + -1)/(-3)*-3. Suppose t*h = 5 + m. Is h a multiple of 3?
True
Let s be (-10)/(-4)*(-42)/(-35). Suppose -s*n - 1 = -7. Suppose 2*o = 4*u - u + 48, 2*o + n*u = 68. Does 22 divide o?
False
Let g(y) = -5*y**2 + 5*y + 7. Let f be g(6). Let r be f + 13 - (-1 + 3). Let j = r - -192. Is 30 a factor of j?
True
Suppose -69*o = -59*o - 1790. Is o a multiple of 17?
False
Let a(x) = -x**3 - 2*x**2 - 6*x - 5. Let s be a(-4). Suppose -2*u - 8*o = -6*o - 94, -5*o + s = u. Is 28 a factor of u?
False
Let n(y) = -y**2 - 15*y + 17. Let z be n(-16). Let x be 2/z*(0 + 3). Is 20 a factor of (x/(-4))/(6/(-80))?
True
Suppose -5*r - q = -19, 2*q + 2*q = 4*r + 4. Let k be (r - (-17)/(-4))*-4. Let g = k - -9. Is 8 a factor of g?
False
Is -10*(-1 + 0)*(-17 + 43) a multiple of 65?
True
Suppose 0 = -2*c - q + 189, -13*c + 5*q = -10*c - 303. Is c a multiple of 8?
True
Let k(m) = -3*m - 4. Let f(u) = -13*u - 15. Let q(b) = -4*f(b) + 18*k(b). Let j be q(-5). Is 16 a factor of 25 + 13 + (0 - j)?
False
Suppose -2*p - 34 = -102. Suppose 0 = b + 3*l - p, -b - 2*b + 114 = 3*l. Is 10 a factor of b?
True
Let p(a) = -23*a**3 + 3*a**2 + 7*a - 3. Does 6 divide p(-3)?
True
Let h = 998 + -161. Does 27 divide h?
True
Let w = 281 - -202. Is 69 a factor of w?
True
Let t(f) = -3*f**3 - 22*f**2 + 14*f + 22. Does 7 divide t(-8)?
False
Let a be -7 + ((-2)/(-3) - (-77)/(-21)). Let x(h) = -2*h + 3. Is x(a) a multiple of 11?
False
Suppose 2779 = -5760*m + 5761*m. Is 15 a factor of m?
False
Suppose 0*p = -p + 52. Suppose s = -3*s + p. Suppose -2*d = 5*n - 35, -12 = -4*d + 5*n + s. Does 9 divide d?
False
Let a(t) = -3*t. Let c be a(9). Let l = 49 - c. Does 9 divide l?
False
Let f(p) be the second derivative of p**4/12 - 5*p**3/6 - 5*p**2/2 + p. Does 23 divide f(-9)?
False
Suppose -4*q = -6*q - l + 2210, 0 = q + 5*l - 1114. Is q a multiple of 24?
True
Suppose -3*z = 3*g - 777, -2*z - 3*g = -7*z + 1263. Is 7 a factor of z?
False
Suppose 0 = -5*s + 1456 + 644. Let n = 865 - s. Is n a multiple of 19?
False
Let y(v) = v**2 + v - 7. Let g = -76 - -81. Does 13 divide y(g)?
False
Let b be (-5 - -5)*2/(-2). Suppose 0*v + 3*v - 4*y - 168 = b, -3*y - 56 = -v. Let j = -20 + v. Is 12 a factor of j?
True
Let h(y) = -9*y - 1. Let p(l) = l - 1. Let g(i) = -2*h(i) - 6*p(i). Is g(3) a multiple of 22?
True
Let c(k) = 6*k - 21. Let h be c(8). Suppose 4*l = l + h. Suppose -1 = n - l. Is 4 a factor of n?
True
Let j(l) be the second derivative of -l**5/20 + 3*l**4/2 + l**3/6 + 25*l**2/2 + 14*l. Is j(18) a multiple of 19?
False
Let y = -526 - -903. Is y a multiple of 6?
False
Suppose -35*i - 19*i + 17010 = 0. Is 3 a factor of i?
True
Let t = 2134 + -441. Is t a multiple of 14?
False
Suppose -9*t + 1964 = 209. Does 8 divide t?
False
Suppose 3*u + u + 360 = 0. Let t be u + -2*(-1)/2. Let c = t + 137. Is 24 a factor of c?
True
Suppose 5 = -5*n, -5*n - 14 = -4*y - 1. Suppose -4*t = -3*v + 29, v + t = -y*t + 14. Is 9 a factor of v?
False
Let y(x) = x + 24. Let s be y(-15). Suppose -s*v + 745 = 205. Does 20 divide v?
True
Let o be (-4*1)/(-16)*8. Let x = o + -4. Is 5 a factor of (x - (-19)/5)*5?
False
Let o = -236 - -356. Does 24 divide o?
True
Let l be 4/(-22) - 12231/(-297). Let y = 28 + l. Does 7 divide y?
False
Let b be -2 - -28 - 2/(-2). Suppose 3*l - b = 6. Suppose -y + l = -9. Is y a multiple of 10?
True
Let q(c) = 184*c**2 - 23*c - 69. Is 59 a factor of q(-3)?
False
Let o be -2*1/(-2)*1. Let a = o + -1. Suppose a*k + 5*k = 80. Does 5 divide k?
False
Let d be 8/(-10) - 3582/(-15). Suppose -l = -858 + d. Suppose 0 = 5*m - l + 155. Is 31 a factor of m?
True
Let g = 14 + -80. Let r be (-348)/(-22) - 12/g. Suppose t = 2, 4*z = -4*t + r + 28. Is 7 a factor of z?
False
Let l(v) = -2*v. Let s(n) = -10*n. Let o(t) = 16*l(t) - 3*s(t). Let y be o(-2). Suppose 12 + 35 = 3*w + y*u, -3*w - 3*u + 48 = 0. Does 9 divide w?
False
Let z = -5 + 16. Let p(x) = 20*x - 41. Is 12 a factor of p(z)?
False
Let i(k) = 3*k**2 - 4*k - 4. Let v be i(-5). Suppose -3*n - v = -4*f, 4*f - 2*n + 47 = 133. Does 8 divide f?
False
Let a(y) = -y + 19. Let m = 26 - 13. Let b be a(m). Suppose -3*n = 3*o + 22 - 103, 0 = 2*o + b. Is n a multiple of 11?
False
Let v(y) = y**3 + 8*y**2 + 8*y + 9. Let c be v(-7). Suppose -c*i - 2 = -6. Suppose 5*p - 215 = -4*h, i*h - 2*p - 44 = h. Is 19 a factor of h?
False
Let g(k) = 20 + k**3 - 2*k**2 - 13 - 2*k - 13. Is g(6) a multiple of 22?
False
Let n = 1093 + -764. Does 6 divide n?
False
Does 43 divide 813 - (8 + -6)/(1/(-2))?
True
Let j(f) = -93*f + 3. Let i be j(-1). Suppose 2*y = 3*y + 4*r - 13, -4*y + i = 5*r. Is 16 a factor of y?
False
Is 4 a factor of (-24)/88 + 39800/88?
True
Suppose -4*p + 1139 - 63 = 0. Does 52 divide p?
False
Let h = -312 - -385. Let b(a) = -a**3 - a**2 + 4*a - 1. Let s be b(-3). Suppose -12 - h = -s*t. Does 12 divide t?
False
Let f(a) be the first derivative of a**3 + 2*a**2 - 5*a + 2. Let x(q) = 2*q + 8. Let t be x(-3). Is f(t) a multiple of 9?
False
Let a(q) be the first derivative of 2/3*q**3 - 17/2*q**2 + 11 + 4*q. Does 22 divide a(12)?
True
Let c(m) = 8*m - 5. Let j be c(2). Suppose 0 = 2*t - f - 7, 5*t - t + f = j. Suppose 2*k = -4*l + 18, -2 + 29 = t*k + 5*l. Is 3 a factor of k?
True
Let f = 8130 + -5107. Does 17 divide f?
False
Let m = 127 + -110. Suppose -16*l = -m*l + 198. Is l a multiple of 33?
True
Let d(k) = -k**3 + 29*k**2 - 5*k + 54. Let n be d(29). Let g = n - -103. Is g a multiple of 3?
True
Let r be (-2307)/(-6)*(0 - (1 - 3)). Suppose 5*m - r = -209. Is m a multiple of 14?
True
Suppose -453 + 9 = -6*j. Is 37 a factor of j?
True
Let v be 6/4*(-8)/(-6). Suppose 0 = -2*h + v*l + 2 + 6, 5*h = -5*l. Suppose -112 = -h*i - 36. Is 19 a factor of i?
True
Let g = 141 - 80. Let n = g + -23. Is n a multiple of 2?
True
Let f(u) = -12*u + 1149. Is 99 a factor of f(-61)?
True
Let t = 88 - 86. Is 164 - -2*(-3 + -1 + t) a multiple of 19?
False
Let v be (-21)/(-6)*7/((-147)/(-18)). Suppose -647 = -3*n - 4*r - 118, 2*r = v*n - 505. Is 23 a factor of n?
False
Let a = 15 - 7. Suppose a*g + 28 = 6*g. Is 2 a factor of 2*g/(-4) + -1?
True
Let s(t) = -44*t + 14. Let j be s(7). Let c = -210 - j. Is 21 a factor of c?
True
Suppose -191 = -m - z, 0*z = -m + 5*z + 197. Is 8 a factor of m?
True