q = 267 + -279. Let h(m) = m**3 + 19*m**2 + 71*m - 3. Does 9 divide h(q)?
True
Suppose 56*g - 137*g + 64*g = -442918. Is 7 a factor of g?
True
Let v(f) = f**3 + 5*f**2 - 4. Let q be v(-3). Suppose 6*b + q = 5*b. Let p(x) = -x**3 - 14*x**2 - 4*x. Is p(b) a multiple of 8?
True
Is (-6510832)/(-1006) + 2*7 a multiple of 141?
True
Let o(y) = -2*y + 29. Let j be o(11). Let u(z) = 129*z - 39. Let p be u(j). Suppose 293 = -3*b + g + p, 2*g = 3*b - 575. Is 36 a factor of b?
False
Let x(v) = 4*v + 44. Let d be x(-11). Suppose -3*j = r - 8*j - 903, -3*r - 2*j + 2743 = d. Is r a multiple of 11?
True
Suppose 5*m + 8 = -w + 26, w - 6 = -m. Suppose 2*v = m*q - 1879, -4*v = 4*q - q - 1867. Does 5 divide q?
True
Let l = -453 - -823. Suppose 1108 + l = 2*t. Is t a multiple of 21?
False
Let l(s) = -4*s**3 + 14*s - 8. Let x(z) = 0*z**3 - 27*z + 3*z**3 + 0*z**3 + 4*z**3 + 15. Let u(v) = 5*l(v) + 3*x(v). Is 31 a factor of u(6)?
True
Let k(s) = s**3 - 14*s**2 - 5*s - 144. Is k(28) a multiple of 99?
True
Suppose -5*j + 140 = -j. Suppose -j*c = -12*c - 18768. Is 13 a factor of c?
False
Let o be (-18)/27*(-2 - 1). Suppose -3 = -o*r + r, -r = -5*m + 287. Is m a multiple of 58?
True
Does 2 divide (-2)/17 + -10*(-490)/34?
True
Let l = -3397 - -1437. Is l/(-21) + 10/6 a multiple of 12?
False
Let o(h) = 269*h - 17. Let p be o(-6). Let m = p - -2372. Does 13 divide m?
True
Suppose 0 = -112*c + 153876 + 462348. Is 42 a factor of c?
True
Suppose r = -3*r + 1592. Let k be r - (2 + -4 - -5). Suppose -3*z + 208 = -5*h + h, 5*z - k = -3*h. Is z a multiple of 13?
False
Let a(j) = 146*j + 5778. Is 3 a factor of a(-36)?
True
Suppose -4*r - 4 = 0, 3*r + 16 = t + r. Suppose -3*v - t*v - 51 = 0. Does 12 divide -5*(-48)/((-12)/v)?
True
Suppose 5*b - 2*h = 29087, -52*b + 4*h + 23260 = -48*b. Is b a multiple of 23?
True
Let h be (-48)/(-56)*14 - 1*-4. Suppose 0 = h*o - 15*o - 110. Does 55 divide o?
True
Is 14 a factor of (-3)/((-204)/1836620) - 490/4165?
False
Let z(k) = 97*k**2 + 10*k - 19. Let c(g) = -1. Let i(u) = 4*c(u) + z(u). Does 44 divide i(3)?
True
Suppose 15*k = 22*k - 35. Suppose -5 = -k*n, 42*s - 40*s - 2*n = 544. Is s a multiple of 11?
False
Let i(j) = -j**3 + 99*j**2 + 712*j + 170. Does 65 divide i(103)?
True
Let v = 1862 - 1857. Let p(u) = -2*u**2 + 3*u - 1. Let j(n) = n**2 + n - 1. Let m(c) = 3*j(c) - p(c). Does 8 divide m(v)?
False
Let v be (-10)/3*(-24)/(-20). Let r be v + 6 + 0/3. Suppose -2*m + 88 = -4*t, -5*m + 0*t = -r*t - 228. Does 6 divide m?
False
Suppose -10*v - 13*v = 460. Is ((-14)/(-5))/(18/v + 1) a multiple of 4?
True
Let s(k) = 1 - 6*k + 4*k + 3*k + k + 8*k**2. Let l be s(-1). Let w(n) = n**2 - 10. Is 3 a factor of w(l)?
True
Is -3*(((-530)/(-30))/((-1)/21) - 2) a multiple of 9?
False
Let a = 9115 + -8153. Is 28 a factor of a?
False
Let f(p) = 322*p**2 - 14*p + 59. Is f(3) a multiple of 16?
False
Let l = -331 + 333. Suppose 4*w - 93 = -p + 3*w, 2*w + 182 = l*p. Is p a multiple of 15?
False
Let w(f) = 2*f + 10. Let k be w(-8). Let x(j) = j**2 + 5*j - 1. Let n be x(k). Suppose -n*c = -5*v + 110 + 140, -v = -2*c - 50. Is v a multiple of 13?
False
Let p = 6033 - -14991. Is p a multiple of 12?
True
Let k = -2037 - -2044. Let h(g) be the third derivative of -g**6/120 + g**5/10 + g**4/3 + 2*g**3/3 + g**2. Is h(k) a multiple of 11?
True
Let n(f) be the third derivative of -f**6/360 + 7*f**5/40 + 5*f**4/12 - 5*f**3/3 - 10*f**2. Let s(j) be the first derivative of n(j). Is 15 a factor of s(9)?
False
Suppose -5*f - 154 = -1474. Is 6 a factor of f?
True
Is 15 a factor of 1/(-9*7/(-158130))?
False
Let l = -99161 + 140813. Does 12 divide l?
True
Let v = 173 + -169. Suppose p - 24 = -2*d + 42, -4*d = -v*p - 132. Is d a multiple of 11?
True
Let g(l) = -4*l**2 + 4*l - 6. Let n be g(-5). Does 21 divide ((-50)/(-20))/((-3)/n)?
True
Suppose i + 3*u - 3381 = 0, -526*i - 4*u + 13524 = -522*i. Is 150 a factor of i?
False
Does 183 divide -2 + -9 - (-23983 + 3 + -5)?
False
Let h(a) = 3*a - 16. Let j be h(7). Let b(u) = -4 + 4 - u**3 - 3*u - j + 10*u**2. Is b(8) a multiple of 10?
False
Let y(c) be the second derivative of -c**5/20 - 5*c**4/6 - 3*c**3 - 10*c**2 - 34*c. Let r be y(-8). Does 7 divide ((-282)/12)/(2/r)?
False
Let t = 6048 - 4800. Is t a multiple of 26?
True
Suppose 5*k = -6*l + 9*l + 42, 4*k + 4*l = 8. Let j be 3258/(-4)*8/k. Is 31 a factor of 1/((-8)/j) - 75/100?
False
Let n be (-504)/(-45) + 2/(-10). Suppose 7 = 2*z - n. Does 6 divide 732/18 + (-6)/z?
False
Suppose 375*h = 378*h + 5*b - 92624, 0 = 4*h - b - 123560. Does 234 divide h?
True
Let d be (1 + (2 - 1))*(-1 + 5). Let t = d - -92. Is 50 a factor of t?
True
Let f(z) = z + 1. Let r(c) = 27*c + 5. Let u(p) = -4*f(p) - r(p). Let b be u(-5). Let h = b - 88. Does 17 divide h?
False
Let s = 29713 + -16726. Is 111 a factor of s?
True
Is 24 a factor of 24*(2/(-2) + 6636/84)?
True
Let g(n) = 8*n**2 - 8 + 192714*n - 192715*n + n**2. Does 43 divide g(7)?
False
Is 315 a factor of 1138*57 + -121 + 145?
True
Suppose -3*a + 5*o + 148 = o, a - 28 = -4*o. Let u = a + -43. Let z = 78 + u. Does 11 divide z?
False
Is 9 a factor of -7 + (37656 - (12 + -12)/(-5))?
False
Suppose 2*m - 7*m + 2*q - 10 = 0, -4*m + 2*q = 10. Suppose -28*s + 14500 + 2524 = m. Is 32 a factor of s?
True
Let v = 86 + -81. Let a be (((-25)/1)/v)/(1 - 2). Suppose g - 225 = -a*b + 5*g, 3*g - 45 = -b. Does 14 divide b?
False
Suppose 79*v - 396579 - 576353 = -204736. Is v a multiple of 44?
True
Let z(t) = t**3 + 78*t**2 - 162*t + 318. Is 22 a factor of z(-76)?
False
Is 41 a factor of (-339)/(-791) - 45018/(-14)?
False
Let p(d) = -9*d**2 + 779. Let n be p(0). Suppose 2*i - 161 = n. Does 10 divide i?
True
Let r be (3 - 399/(-6))/((-2)/(-4)). Let k = -127 + r. Suppose 3*u + 2565 = k*u. Is 19 a factor of u?
True
Let a = -35 - 43. Let q = -73 - a. Suppose -q*s + 589 = f, -2*f + 175 = 3*s - 184. Is s a multiple of 13?
True
Let b(l) be the third derivative of -l**5/60 + 5*l**4/12 + 5*l**3/2 - 53*l**2. Is b(10) a multiple of 9?
False
Suppose -10*c - 112 = -8*c. Let h = c + 92. Suppose 3*n + h = 6*n. Is 2 a factor of n?
True
Does 7 divide 1232/((-2 + 18)/64)?
True
Suppose 4*h + q - 28 = 0, 0 = 3*h + 3*q - 6*q - 21. Suppose 0 = -h*i + 176 - 50. Does 18 divide i?
True
Let o be ((-1)/(-3))/((-24)/(-72)). Let i(b) = 3*b**2 + 12*b + 37. Let g(p) = -1. Let f(s) = o*i(s) + 3*g(s). Is f(-12) a multiple of 14?
True
Suppose -4*g + 2 = -10. Suppose -y + j = -112, g*y + j - 116 = 2*y. Let s = y + -71. Does 43 divide s?
True
Suppose 37*x = 38*x. Suppose -10*l + 1378 - 518 = x. Does 43 divide l?
True
Let v(j) = 1156*j - 535*j - 73 - 549*j. Does 16 divide v(9)?
False
Let x(t) = 24*t - 34. Let a be x(11). Let z = 293 - a. Is 63 a factor of z?
True
Suppose 30*b - 19274 = 23407 - 2001. Is b a multiple of 6?
True
Let m be 16/(-6)*((-70)/(-4) - 16). Suppose 0 = 5*i - s + 34, -2*s - 30 = 3*i - 5*s. Does 20 divide (-962)/i - m/(-12)?
True
Let c(f) = -f**3 + 43*f**2 - 41*f - 591. Is 23 a factor of c(40)?
False
Suppose -691*w + 694*w - 30 = 0. Suppose -w*r + 1643 = -7877. Does 17 divide r?
True
Suppose -2085*b - 311100 = -2110*b. Is b a multiple of 102?
True
Suppose 4*d + 9 - 25 = 0. Suppose -d*h - 7 = -315. Does 19 divide (1 - h)*4*1/(-8)?
True
Suppose 0 = 17*h - 28*h + 22. Suppose -3*g - 2*g + 2*q + 245 = 0, h*g - 112 = -2*q. Is g a multiple of 6?
False
Suppose -7*q - 2 = 26. Let w(d) = -d**3 - 5*d**2 - 5*d - 2. Let r be w(q). Suppose r*k + 88 = 3*k. Does 22 divide k?
True
Let i = 16695 + -9081. Is 27 a factor of i?
True
Let z(n) = 16*n + 12. Suppose 48 = -15*d + 198. Is z(d) a multiple of 13?
False
Let i(c) = -c**3 + 75*c**2 + 84*c - 614. Let x be i(76). Let q = 157 - 106. Does 37 divide q + x/3 + 5?
False
Suppose 2*p - 31*x - 13146 = -28*x, 5*x = -3*p + 19700. Is 30 a factor of p?
True
Let j(c) = -233*c - 112. Let x be j(-16). Suppose -1159 = 13*h - x. Does 4 divide h?
False
Let o = -13921 - -21097. Is 138 a factor of o?
True
Suppose 4*h - 598 + 102 = -4*t, -h + 620 = 5*t. Suppose 3*k + 171 = 4*d - 0*k, -t = -3*d - 2*k. Is 42 a factor of d?
True
Let f(u) = -18*u - 2. Let l be f(6). Is 7 a factor of (l/25 - -4)*-635?
False
Is -14 + 26374 + -20 + 15 a multiple of 17?
False
Let c(n) = -122*n + 263*n + 3 - 174*n. Is 17 a factor of c(-5)?
False
Suppose -14 = -5*p - 5*v + 21, 2*v = 2*p - 26. Sup