33*p. Is 18 a factor of p?
False
Suppose -3*k - k = 9*k. Suppose k = -13*v - 17*v + 4110. Is 7 a factor of v?
False
Suppose -4*v + 4*w = -68, -2 + 0 = -2*w. Let f(z) be the first derivative of 11*z**2/2 - 37*z - 9. Is f(v) a multiple of 14?
False
Let p(u) = u**2 + u. Let q be p(4). Let t(b) = b**3 - 18*b**2 - 26*b + 40. Does 16 divide t(q)?
True
Suppose -h = 3*q - 5719, -q + 1829 = -15*h - 4*h. Does 9 divide q?
False
Let a = 43 + -38. Suppose -261 - 399 = -a*r. Is r a multiple of 12?
True
Let b(v) = -120*v + 2. Suppose -2*l - 2*l = -2*n + 14, 0 = 5*n - 2*l - 3. Let w be b(n). Suppose 318 - w = 7*q. Is q a multiple of 3?
False
Let w be (8 + -6 + -11)/(2/940). Let q(d) = -d + 6. Let o be q(8). Does 52 divide w/(-20) + (-1)/o?
False
Let i be -2 + (-1)/1 + (-11)/1. Let d(r) be the first derivative of -7*r**2/2 + 33*r - 4. Does 12 divide d(i)?
False
Suppose 265*m = 211*m + 3564. Does 57 divide m?
False
Let k = 12379 - 5971. Is 18 a factor of k?
True
Suppose -11*j - 10*j + 13068 = j. Is j a multiple of 4?
False
Let v(f) = 82376*f**2 + 703*f + 704. Does 27 divide v(-1)?
True
Suppose 7*m - 2*m + 2*s = -38, -2*m = -s + 8. Let q be (-2 + 51/(-6))*m/9. Let n(k) = -2*k**3 + 18*k**2 - 9*k - 6. Is 18 a factor of n(q)?
False
Let k = -525 + 1269. Let i = k - 483. Does 29 divide i?
True
Let f be (-36)/27 + (-1106)/(-6). Suppose -3*c - 3*p + f = 0, -6*p = -3*c - 4*p + 188. Does 22 divide c?
False
Suppose 2 - 14 = 4*g + 4*w, -g - 12 = 4*w. Suppose -9 = 4*n + 3*z, -2*n - 2*z = -g + 6. Does 4 divide 3*(-35)/(-15) - n?
False
Suppose 4*x - 611 = -4*g - 143, 4*x = 0. Let k = g + 186. Does 45 divide k?
False
Let t(i) = -5 - i + 0*i - 7*i - 10*i. Let x be t(-5). Let u = x + 0. Does 17 divide u?
True
Let l be (-2)/(-1)*4 - 1. Let y(c) = 2*c**2 + 188*c + 616. Let r be y(-91). Let p = r - l. Does 16 divide p?
False
Let j be 4*4/8*(-4 + 1). Let l be (-4)/j*-3 + 8. Does 21 divide (-105)/1*l/(-18)*3?
True
Does 89 divide (22317 - -7) + (11 - -4)?
True
Let y(p) be the first derivative of 109*p**3/3 + p**2/2 + p + 4. Is y(2) a multiple of 28?
False
Let b be 2636*(-11)/132*-1*3. Let z = b + -503. Is z a multiple of 6?
True
Let h(b) = -219*b**3 - 7*b**2 - 12*b - 6. Does 35 divide h(-3)?
True
Let r(k) = -k**2 - 4*k + 7. Let m be r(-5). Let p be m*(-3 + 1 + 3). Let o(u) = 30*u - 9. Is o(p) a multiple of 11?
False
Suppose -14861 + 2990 = -83*h + 7634. Is 14 a factor of h?
False
Suppose 0 = -1538*s + 1541*s - 73227. Is s a multiple of 16?
False
Let i = -19 + 21. Let h be (-3)/i - 115/(-10). Suppose h*l - 15*l + 245 = 0. Is l a multiple of 16?
False
Let w be 1/4*10/(-4)*-8. Let r(o) = 3*o**2 - 7*o - 15. Let s(g) = 3*g**2 - 7*g - 16. Let t(b) = w*r(b) - 4*s(b). Does 22 divide t(-9)?
False
Let p = -372 + 378. Suppose 0 = -9*v + p*v + 2*c + 1411, -4*v + 1848 = 4*c. Does 8 divide v?
False
Let y = -23948 + 31817. Is 43 a factor of y?
True
Let n be (-66)/5*(-160)/6. Suppose -152 + n = t. Suppose 0 = -3*i - 14 + t. Is i a multiple of 21?
False
Let s be 2/(-8) - (-1)/(-8)*-2. Suppose s*b = 8*b - 64. Suppose -3*d - b + 41 = 0. Is d a multiple of 11?
True
Suppose 2*l = 3 - 13, 0 = 2*d + 5*l - 299. Suppose t = 4*z - 3774 + d, 5*t + 1788 = 2*z. Is 9 a factor of z?
False
Let v = 2522 - -1943. Is v a multiple of 95?
True
Let z(l) = -4*l + 46. Let f be z(0). Suppose -x - 2*w = -4*x + f, -2*x + 5*w = -27. Does 4 divide x?
True
Let g(p) = 7*p - 120. Let h be g(18). Is 14 a factor of (390 - (0 - h)) + (-2 - -5)?
False
Suppose i + 3*i - 43336 = 5*w, 32467 = 3*i + 5*w. Does 13 divide 4*(i/(-28))/(-7)?
True
Let d be ((1/2)/(5/40))/2. Is (d/(24/18))/(2/116) a multiple of 29?
True
Let d(u) = -4*u. Let m be d(-9). Suppose -13*y + 15*y - m = 0. Is (1/3 - 0)*y a multiple of 2?
True
Let v(o) = 27*o + 287. Suppose -6*x + 126 = -3*x. Is v(x) a multiple of 53?
False
Let t(w) = w**3 - 13*w**2 - 73*w - 16. Is t(19) a multiple of 41?
False
Suppose g = 5*z - 40917, -2*z + 17101 = 2*g + 727. Does 11 divide z?
True
Let h(t) = -t**2 + 14*t - 9. Let x be h(6). Let s = x - 29. Let d = s - -171. Is d a multiple of 29?
False
Let g(i) = i - 26*i**2 + 355*i**3 - 43 + 20*i - 356*i**3 - 19 + 10*i. Is g(-28) a multiple of 43?
False
Suppose -10848 = -4*l + 4*a, -15639 = -5*l - a - 2049. Suppose 29*r - l = 10*r. Does 12 divide r?
False
Let u(o) = -1150*o**3 + 2*o + 3. Suppose 5*f - c = -4, -4*c = 6*f - 3*f + 7. Is u(f) a multiple of 43?
False
Let h(b) = -131*b**3 + 11*b**2 + 43*b + 9. Is 4 a factor of h(-3)?
True
Let x(b) = -3*b**3 - b**2 + 36*b - 46. Let r(k) = -k**3 + 12*k - 15. Let f(j) = 7*r(j) - 2*x(j). Let d be f(7). Let q = d + 309. Does 15 divide q?
True
Suppose -48*x - 39*x = -31*x - 631120. Does 46 divide x?
True
Suppose -h = -a - 4, -4*h - 4*a - 21 = -3*h. Let p be (-5 - 1)*h/3. Suppose -j - 468 = -5*g, 3*g - 87 = 2*g - p*j. Does 21 divide g?
False
Suppose -z - 12 = -4*z - 4*w, -3*w + 8 = 2*z. Suppose 0*s - 11 = -s + 5*h, z*s - 2*h = 8. Is 35 a factor of (246/7)/((4/s)/28)?
False
Suppose 52860 = 42*r + 33687 - 52731. Does 107 divide r?
True
Let m(q) = q**3 - 47*q**2 - 466*q - 86. Is m(57) a multiple of 39?
False
Is 252318/36 + 60/(-72) a multiple of 73?
True
Let u(o) = -o**3 - 12*o**2 - 21*o - 27. Let f be u(-11). Suppose 0 = -4*d - 4*a + 176, -f = -3*d - 5*a + 57. Is 5 a factor of d?
True
Suppose -v - 4*k = -1606, -3206 = -2*v + 67*k - 72*k. Is v a multiple of 17?
True
Let i be 477 + 6*1/9*-3. Suppose -2*r - 3*r = -i. Suppose 5*x = a - r, 0*x = 3*a + x - 301. Is 13 a factor of a?
False
Let o = -782 + 1022. Does 14 divide (o/420)/((-2)/(-2107))?
True
Suppose 4*n + 3*g - 2829 = 12530, 5*n - 5*g = 19155. Is 9 a factor of n?
False
Suppose -7139*s + 2222 = -7140*s + 24640. Is s a multiple of 50?
False
Let f(r) = 25*r + 0*r**3 - 8*r + 17*r - 19*r**2 - 36 + r**3. Is f(18) a multiple of 12?
True
Let p(v) = v**3 + 13*v**2 - 40*v - 23. Let w(k) = -k**3 - 13*k**2 + 41*k + 23. Let d(t) = 7*p(t) + 6*w(t). Is 22 a factor of d(-14)?
False
Suppose -2*u - 203 = 3*b, 4*u - 139 = 2*b + 9*u. Let w = b - -52. Is 77/(3 + w/6) a multiple of 33?
False
Let d(f) = 4*f + 21*f**3 + 39*f**3 - 3*f**2 - 4 - 5*f**3. Is 12 a factor of d(2)?
True
Suppose r + 5*l + 301 = 0, -3*r - 620 = -r + l. Let i = r - -215. Let a = i + 126. Is a a multiple of 5?
True
Suppose -5*y + 3 = -p, 3*p - 3*y - 35 - 4 = 0. Let l(m) = 1 - 2 + 1 + 1 - p*m. Is 35 a factor of l(-2)?
True
Is 0 + (-58)/(-5) + -12 + (-85626)/(-15) a multiple of 82?
False
Let w(z) = z**3 - 25*z**2 - 52*z + 35. Let n be w(27). Suppose 5*q - n = 136. Is q a multiple of 15?
True
Suppose 2*w + 2585 = k, 4*w + 6450 = -w + 5*k. Is 10 a factor of (w/(-21))/((-4)/(-24))?
True
Let b(q) be the first derivative of -q**4/4 + 2*q**3 - 7*q**2/2 + q - 21. Let r be b(4). Suppose -r*x = -3*w + 14, -2 = -2*x + 2. Is w a multiple of 7?
False
Suppose -a + 110 = 108. Is 3 a factor of ((-17)/a)/(20/8 - 3)?
False
Let j(r) = -r**2 - 3*r + 6. Suppose p + 4*n = 20, 2*p - 7*n + 10 = -5*n. Is 3 a factor of j(p)?
True
Let m(d) = -688*d + 931. Is 127 a factor of m(-4)?
True
Suppose -5*m + 19364 = 8*m - 16295. Does 8 divide m?
False
Suppose -5*r - 2114 = -2*i, -3*i + r = -7*i + 4272. Suppose 4*l - i = -75. Is 31 a factor of l?
True
Let k(n) = -n. Suppose 5*u - 20 = u. Let q be k(u). Let x = 19 + q. Is x a multiple of 2?
True
Let n = 87 - 77. Suppose -22 + n = 2*z. Is 51 a factor of 3105/(-9)*(0 - z/(-15))?
False
Let a = 222 + -214. Suppose 11*c - a*c + 2*l - 1780 = 0, -c + 590 = -l. Is 25 a factor of c?
False
Let j(b) = 3*b**2 + b + 71. Suppose q + q = -4*q. Let w be j(q). Let l = w + -24. Does 21 divide l?
False
Suppose -11*h + 17*h + 68736 = 0. Is 8 - h/8*1 a multiple of 24?
True
Suppose 8*p - 59 = 29. Suppose -2 = 12*o - p*o. Does 10 divide ((-1)/(-2) - 0)/(o/(-124))?
False
Let z = 22 + -7. Let b be 5 + 3*(-10)/z. Is 27 a factor of (-5 - 103)/(((-2)/b)/1)?
True
Suppose -d + 148 = -3*d - 4*k, -3*d + 3*k = 186. Let q = d - -68. Suppose 4*z = 78 - q. Is 10 a factor of z?
False
Let k(a) = 26*a + 15*a + 58*a + 62*a + 74. Does 44 divide k(3)?
False
Is 32/(-40) - -3*35124/90 a multiple of 30?
True
Let m = -7 + 29. Suppose m + 38 = -6*l. Is (20/(-8) - -5)/((-1)/l) a multiple of 2?
False
Suppose 42330 = 70*g - 60*g. Is g a multiple of 83?
True
Let s = -67 + 95. Suppose -s = 23*g - 21*g. Let p(o) = -o**3 - 14*o**2 - 2*o - 17. Is p(g