(b) = 22*b + 43 + 8*b**2 + 30*b + 5 + 25*b - 62*b - 3*b**3. Is 11 a factor of m(-6)?
False
Let f(v) = 2*v**3 - 56*v**2 + 56*v + 39. Let y be f(27). Let i(z) = -z**2 - 25*z - 29. Let w be i(-24). Does 18 divide y*w/(-6)*2?
False
Let n = -2759 - -34619. Does 27 divide n?
True
Suppose -19*g + g = -54. Suppose -g*t + 2*y = -213 - 27, -3*t + 246 = -4*y. Is 2 a factor of t?
True
Suppose -2*o - 65 = o + 5*c, -4*c - 84 = 4*o. Is 9*o/15*48/(-9) a multiple of 8?
True
Suppose 975 = -5*o - x, 15*o - 4*x = 13*o - 412. Let t = o - -239. Is 6 a factor of t?
False
Let q(v) = v**3 - 97*v**2 + 187*v + 647. Is q(98) a multiple of 41?
True
Let v(h) = 54*h**3 - h**2 + 7*h - 5. Let w be 6/24*(-5 + 9). Is v(w) a multiple of 9?
False
Let f = 48634 - 34643. Does 64 divide f?
False
Let k be (-2 + 2)*(18 - 17). Suppose 0 = -2*b + 2*r - 61 + 821, -3*b + 2*r + 1145 = k. Is 16 a factor of b?
False
Let r(v) be the first derivative of v**3/3 - 8*v**2 + 13*v - 17. Let x be r(14). Is 13 a factor of 304/6 - (20/x - -2)?
False
Let w(t) = -t**2 - 3*t. Let u be w(-4). Does 6 divide u/(-6)*5*9?
True
Does 18 divide (8/10 - (-149)/(-2980))*16776?
True
Let s(q) = -54*q - 5*q + 11 + 6 - 4. Let i be s(-2). Let z = i - 95. Is 3 a factor of z?
True
Let y(a) be the third derivative of a**5/12 + 7*a**4/24 - 7*a**3/6 - 21*a**2. Let g be y(1). Suppose 3*q = -g*q + 368. Is q a multiple of 9?
False
Let d be (-276)/(-10)*130/52. Suppose d = 2*r - 57. Let b = r + -54. Is b a multiple of 4?
False
Let o be (21 + -15)/2 - (-1713 + 1). Suppose j + 11*n = 8*n + o, -8623 = -5*j - 3*n. Is j a multiple of 102?
False
Let j be (-2)/(-4)*12*(-174)/(-12). Let g(o) = o**3 + 5*o**2 + 7. Let a be g(-5). Suppose -x + a = -j. Does 7 divide x?
False
Suppose -3*f + 4*f = 0. Suppose 10*j - 7*j + 810 = f. Let u = -53 - j. Is 31 a factor of u?
True
Let i(n) = n**2 - 4*n + 19. Let f = 20 - 28. Let w be (3 + 12/f)*16/6. Is i(w) a multiple of 11?
False
Does 30 divide 1*(-6765)/22*48/(-3)?
True
Suppose 0*a - 5*a + 19 = 4*p, 4*p - 29 = 5*a. Suppose 0 = y - 5*d - 12, 2*y = p*y + d - 48. Suppose 4*g + 72 = y*g. Is 9 a factor of g?
True
Let t = -11043 - -17233. Is t a multiple of 9?
False
Let h be 0 + 2 + -11 + 9. Suppose h = 5*r - 20, -4*x + 7*x = -5*r + 557. Does 36 divide x?
False
Suppose 3*f - 1897 = -4*o, 2*o - 3*f - 240 - 695 = 0. Let y = -436 + o. Is 18 a factor of y?
True
Let u(d) = -67*d**3 - 3*d**2 + 32*d + 215. Does 2 divide u(-4)?
False
Let s = 6 - -54. Suppose 64 = r + s. Is 4 a factor of r?
True
Let g = 3050 + 1137. Is 59 a factor of g?
False
Let c be 8*(-70)/32*-4. Suppose 72*h - c*h - 264 = 0. Does 11 divide h?
True
Let a(q) be the third derivative of q**6/120 - 9*q**5/20 + 35*q**4/24 + 13*q**3/6 + 9*q**2. Is a(26) a multiple of 19?
True
Suppose -260 = -2*o - 4*m, 8 = 3*m + 2. Let n = o - 62. Is n even?
True
Is 22 a factor of 12/102 + (-439400)/(-425)?
True
Is 53546 + 48/20*25/20 a multiple of 20?
False
Let i = -27966 + 39736. Is 11 a factor of i?
True
Suppose -5*d = 5*x - 10*d - 60, 5*d + 4 = -3*x. Let n be x + ((-3)/3 - -2). Suppose 104 = n*j - 376. Does 20 divide j?
True
Let q = -11317 - -26737. Is 60 a factor of q?
True
Let o be 2 + 7/(-35) + (-2)/(-10). Suppose -145 = -n + o*c, 5*n - c = n + 559. Is 2 a factor of n?
False
Suppose 2*g - 726 = 5*w, 2*g - 4*w = -44 + 770. Let b = -296 + g. Is b a multiple of 2?
False
Suppose -35*q + 14*q - 90*q + 28860 = 0. Does 4 divide q?
True
Let p = -229 - -274. Is 3 a factor of (9120/p - -4) + 2/6?
True
Let l(z) = 10*z - 3. Let t be l(-3). Let r(k) = 191*k - 1430. Let f be r(7). Let h = t - f. Is 8 a factor of h?
False
Suppose -h = 5*d - 3, 0*h + 9 = 3*h - 4*d. Suppose -7*v + 3*v + 4 = 3*o, 2*o - 1 = -h*v. Does 19 divide (-1491)/84*o/(-2)?
False
Let t = 7596 + -3802. Does 57 divide t?
False
Suppose 22*c - 26*c + 12 = 0. Suppose 3*o + o = -c*k + 31, 0 = o - 4. Suppose 4*p = -5*l + 122, k*l = p + 51 + 81. Is 3 a factor of l?
False
Suppose 0 = -7*c - 42, 282*l - 283*l - 5*c + 7604 = 0. Is l a multiple of 2?
True
Suppose 2*s - 4*h = 58924, 10298 + 48625 = 2*s - 3*h. Is 15 a factor of s?
True
Let x = -12429 - -19061. Is 11 a factor of x?
False
Does 14 divide ((-2553)/(-3404))/((-2)/(-3136))?
True
Let y be (-24)/(-3) - (-3 + -390). Let d = -341 + y. Is 30 a factor of d?
True
Suppose -3*y - 45 = -57. Suppose -2*h + 1364 = -v + 71, 0 = -y*v - 20. Is h a multiple of 76?
False
Suppose -525*v = -520*v - 225. Suppose 0 = -5*i + 5*c + v, -2*c + 42 = -7*i + 10*i. Does 6 divide i?
True
Let w(h) = -2*h**3 + 2*h**2 - 29*h - 146. Does 37 divide w(-4)?
False
Let k = -928 - -1474. Does 7 divide k?
True
Let j be (1 + 26/(-10))/((-9)/(-450)). Let p = -14 - j. Is 3 a factor of p?
True
Let z(d) = d - 6. Let m be z(8). Suppose 5*x + 13*v = 11*v + 5, 3*v + 21 = 2*x. Suppose -3*k + 5*l + 400 = 0, 0 = -x*k + l + m*l + 390. Does 25 divide k?
True
Suppose -25 = -4*w - 5, 0 = 5*p - 4*w - 5. Let a(t) = -7*t + 35. Let f be a(p). Suppose -2*l - 2*m + 44 = f, 4*l - 8*m = -9*m + 97. Does 3 divide l?
False
Let g = 2901 - 2621. Is g a multiple of 20?
True
Suppose -5*y = -2*s - 16, 2*y + 3*s = 1 - 6. Let j be 1/y*2*4. Suppose -303 - 301 = -j*f. Is 31 a factor of f?
False
Suppose -2*f + 1326 = 5*s, 2*f = 33*s - 32*s - 270. Does 12 divide s?
False
Suppose 8 = -14*n - 342. Let z = n + 34. Is 12/(-5 + z)*(-1 + 27) a multiple of 7?
False
Suppose -709*k = -715*k + 51168. Is 52 a factor of k?
True
Suppose 4*k - 17 = 63. Suppose 0*m - 5 = 3*a - m, -4*m + k = a. Let y(i) = i**2 + 69. Does 23 divide y(a)?
True
Suppose -9*h - 99 = -549. Let t = 350 + h. Does 20 divide t?
True
Is (24/(-5))/(13 + 94585/(-7275)) a multiple of 12?
True
Let d be (((-20)/(-8))/(-5))/(2/(-20)). Suppose 1122 = d*c + 6*c. Is c a multiple of 51?
True
Suppose -5*a + 2651 = v, -2*a - 515 = -3*a - 4*v. Is 4 a factor of a?
False
Suppose -5*w - 2*o = -o - 645, -3*w + 387 = 3*o. Suppose -3*t = 3*b - w, t - b = 2*b + 51. Does 17 divide 3/(t/(-20))*(-51 - 0)?
True
Suppose 4*s - 3 + 6 = 3*i, -21 = 4*s + 3*i. Let a(p) = -216 - 2*p**2 + 6*p**2 + 4*p + 2*p**2 + 209. Is a(s) a multiple of 4?
False
Is 17 a factor of ((-512575)/105 + 14)/((-2)/6)?
True
Let z be 5 + (-28)/(-1 - -5) + 5. Suppose 0 = 6*u - 3*u - z, -3*k - 5*u + 1769 = 0. Is 14 a factor of k?
True
Let g = -10480 - -18385. Suppose -7*i = 10*i - g. Is 15 a factor of i?
True
Let k(t) = t**2 + 11*t - 13. Let f be k(-13). Let n(q) = 19*q + 22*q + 23*q - f - 19*q. Is 35 a factor of n(3)?
False
Does 49 divide 84*-21*21/(-12)?
True
Suppose 414*w - 247*w - 1051098 = 0. Is w a multiple of 12?
False
Let m(b) be the first derivative of -b**4/4 + 14*b**3/3 - 7*b**2 + 10*b + 4. Is m(12) a multiple of 13?
True
Let p(c) = 3*c**2 - 30*c + 4. Let z be p(10). Suppose -z*r + 5*v + 83 = -2*r, 0 = r + 3*v - 36. Suppose -420 = -r*o + 35*o. Is o a multiple of 21?
True
Suppose -4*s = 5*q - 0*s - 20, 4*q - 4*s - 16 = 0. Suppose 3*t + 4*y - 16 = -0*y, 2*t - 4 = q*y. Suppose g + 3*f = 44, -g - t*f + 86 = g. Is g a multiple of 6?
False
Suppose 2*m - 3*f = 3171, 431 = 4*m - 2*f - 5907. Is 36 a factor of m?
True
Let y(n) = 152*n**2 + 122*n - 2113. Is y(18) a multiple of 17?
False
Let h(l) = l**3 - l**2 - 2. Let b(k) = 11*k**3 - 3*k**2 + 6*k + 2. Let q(f) = -b(f) + 2*h(f). Is 12 a factor of q(-2)?
False
Let y = 36524 + -20585. Is y a multiple of 4?
False
Let x = -1159 + 1275. Is 4 a factor of x?
True
Let w(c) = 21*c**2 + 1. Let p be w(1). Suppose -196 = -19*u - 9*u. Is 12 a factor of -7 + u + 2 + p?
True
Suppose 4*j + x - 2*x - 93 = 0, 5*j = 2*x + 120. Let b(m) = 2*m**2 - 16*m - 39. Is b(j) a multiple of 31?
False
Let g = 1154 + -641. Let v = g - 373. Is v a multiple of 5?
True
Suppose -293*i = -301*i + 35280. Suppose -i = -4*a + 4*u + 606, 3*a - 3786 = -3*u. Is a a multiple of 25?
False
Suppose -136*j + 76*j + 139320 = 0. Is 18 a factor of j?
True
Let x(h) = -3234*h**3 - 12*h**2 - 10*h - 3. Is x(-1) a multiple of 2?
False
Is 112463972/2726 + (-4)/94 a multiple of 36?
True
Let a = 772 - 775. Does 20 divide ((-140)/a)/((-84)/(-1260))?
True
Let q(r) be the second derivative of -5*r**3/3 + 9*r**2 - 2*r + 11. Does 7 divide q(-8)?
True
Suppose 3*k + 477 = 6*k. Let b be ((k/2)/(-3))/((-28)/(-56)). Let u = -19 - b. Is u a multiple of 17?
True
Is 99 a factor of 13/((-26)/(-20)) + 23641 + 10?
True
Let f be (-24)/32 + 12/16. Is f + (