29, 2*w + j = 9388. Is 3 a factor of w?
False
Let m = 29063 + 20725. Is m a multiple of 18?
True
Let z(w) = -w**2 + 21*w + 18. Let h be z(22). Does 5 divide h + (18/12)/(9/552)?
False
Let n(i) be the third derivative of -i**6/60 + 29*i**5/60 - 5*i**4/8 + 8*i**3/3 - 17*i**2. Let z be n(14). Is 12/12 + 51 + (z - 1) a multiple of 11?
False
Let a = -8 + 11. Let i(s) = -4*s - 15 + 26*s + 2*s + 48*s - 12*s. Does 15 divide i(a)?
True
Let o = -28092 - -30156. Does 12 divide o?
True
Suppose 40 = -5*u, -u = -2*a + 3735 + 2865. Is 76 a factor of a?
False
Suppose 3*h - 24645 = 3*m, 6*h + 4*m = 2*h + 32828. Is (-2)/((-56)/h) - (-3)/4 a multiple of 5?
False
Suppose -50 - 10 = 10*v. Suppose -k + 6*y = 3*y + 16, -2*y = 2*k + 8. Does 29 divide (-21)/k*(-224)/v?
False
Let i = -12925 - -16597. Does 3 divide i?
True
Suppose 3*n + 0*n - 2*j = 20, -n - 4 = 2*j. Is 30 a factor of 264 - n*(-6)/4?
True
Suppose -4*w = -0*w + 3*f - 970, 0 = -4*w - 4*f + 968. Let a = w + -218. Does 9 divide a?
False
Suppose 3*b - 791 = -2*m, -15*b + 20*b = 4*m + 1333. Does 15 divide (-1)/5 + 146598/b?
False
Let q be 11/(-4) + (-6)/24. Let j be (-6 - q - -1) + 4. Suppose 3*s - 71 = -g - 3, -j*s + 2*g + 32 = 0. Does 7 divide s?
True
Let z be 24/2*-6*(-85)/45. Suppose 2*j = -x + z + 162, 591 = 2*x - j. Is x a multiple of 8?
True
Suppose 21*z = 126580 - 40900. Is z a multiple of 60?
True
Suppose 20*y + 4*o = 24*y - 16, 4*o = -5*y + 11. Suppose -4*f + 575 = f - 5*v, 4*f - 465 = y*v. Is f a multiple of 15?
True
Suppose g = -5*z + 25486, 5*z + 204 - 239 = 0. Does 31 divide g?
True
Let l(d) = -6*d + 86. Let t be l(10). Suppose 28475 = -9*z + t*z. Is 25 a factor of z?
True
Let u(n) = -43*n + 1906. Is 53 a factor of u(-40)?
False
Let x(a) = -7*a - 25. Let r be x(-5). Suppose -6*i - 668 = -r*i. Let o = i - 95. Does 8 divide o?
True
Let r = -187 - 162. Let b = -133 - r. Is b a multiple of 14?
False
Suppose 16*n + 45*n - 45750 = 0. Does 14 divide n?
False
Suppose -17 = -3*q + b, 3 = q + b + 4. Suppose -4*g = -q*h - 2372, -2*h - 4 = 4. Does 56 divide g?
False
Suppose -4*o + 11*o - 49 = 0. Suppose 0 = 3*f - o - 923. Is 31 a factor of f?
True
Suppose -2*y - k = -487, -3*k = 3*y - 801 + 78. Let o = 519 - y. Is o a multiple of 21?
True
Suppose 25*m - 37*m = -30696. Suppose -75*t + 71*t - 5*h = -m, 3*t = 4*h + 1934. Is t a multiple of 25?
False
Let f(c) = -326*c + 687. Does 30 divide f(-27)?
False
Suppose -4*x - x + 53 = 2*k, -x + 75 = 5*k. Suppose -y - 2*g + 18 = 0, -3*y = 4*g + 193 - 257. Is 902/k + -3 + 72/y a multiple of 32?
True
Suppose -4*k - 5829 = -a, -3*a + 3*k - 6*k = -17532. Is a a multiple of 12?
False
Let p = 10965 - 7563. Does 126 divide p?
True
Let u(v) = -16*v**3 - 28*v**2 - 23*v - 252. Does 20 divide u(-12)?
True
Let h(b) = -2*b - 39. Let s be h(-17). Let a = s - 0. Let w = 95 + a. Is 9 a factor of w?
True
Suppose 1088 - 353 = 21*w. Suppose -22*s + w*s - 1638 = 0. Is s a multiple of 3?
True
Let p(z) = 6*z**3 + 4. Let o(v) = 3*v**2 - 31*v + 60. Let m be o(8). Does 5 divide p(m)?
False
Let q = -580 - -589. Is q - 3 - (-9*35 + 2) a multiple of 30?
False
Suppose -4844 + 27975 = 88*s - 453. Is 6 a factor of s?
False
Does 14 divide -2 - 2 - (-4 + (-12518 - 12))?
True
Let x = 1639 + 3578. Does 141 divide x?
True
Is 4310/5 - (-10 + 3 + -1) a multiple of 28?
False
Let u(o) = o**2 - 12*o - 58. Let h be u(-14). Suppose -h - 2286 = -12*q. Is 3 a factor of q?
True
Let h(i) = 14*i + 3. Let w be h(-4). Let c = 326 + w. Does 13 divide c?
True
Let h be (3 + 973/3)/(12/(-18)). Let l = -189 - h. Is l a multiple of 24?
False
Suppose -39 = 3*m - 714. Is m a multiple of 3?
True
Suppose -4558 = -17*y - 461. Let b = 271 - y. Does 5 divide b?
True
Let x(i) = 4*i**2 + 167*i - 8. Does 18 divide x(-52)?
True
Let v(w) = 7*w - 15. Suppose 0 = 2*a + 7 - 5, -3*b + 37 = 2*a. Does 5 divide v(b)?
False
Let d(a) = 45*a + 972. Is d(29) a multiple of 23?
True
Let u be 0 + -662 + (3 - 2). Let i = u + 33. Is 33 a factor of (10/20)/((-2)/i)?
False
Is 18 a factor of ((-1647)/(-12))/(0 - 15/(-720))?
True
Suppose 5*k + 4*y + 2067 = 0, 402 = 3*k + 4*y + 1647. Let r = 422 + k. Is 2 a factor of r?
False
Let y = 10030 - 2659. Is 21 a factor of y?
True
Suppose 12821 = 31*q - 29*q + 5*b, 2*b = 2*q - 12814. Does 36 divide q?
True
Let f be 75/27 + (-6)/(-27). Suppose -f*o = -8*o + 260. Is (12/(-10))/(o/(-910)) a multiple of 7?
True
Does 61 divide (-14185794)/(-4116)*(9/1 + (3 - 2))?
True
Is ((94/(-15))/((-48)/120))/((-1)/(-117)) a multiple of 3?
True
Let x(u) = 2*u**2 + 40*u - 49. Let i(q) = 6*q**2 + 120*q - 146. Let w(c) = -6*i(c) + 17*x(c). Is w(-18) a multiple of 23?
True
Let h = 70 - 62. Suppose 54 = h*x + 14. Suppose p + x*n = n + 6, -3*n + 81 = 5*p. Does 16 divide p?
False
Let t(r) = -4*r**2 - 31*r + 208. Let d be t(-34). Is 8 a factor of (-6)/45 - d/15?
True
Let g(a) = a**3 - 9*a**2 - 7*a - 14. Let t be g(10). Suppose 0*x = x - t. Suppose x*n - 19*n = -24. Is n a multiple of 6?
False
Let h(s) = -s + 3*s**2 + 66*s**3 - 1 - 65*s**3 - s. Let r be h(-3). Suppose -4*c = 4*f - 9*c - 353, -f + r*c = -77. Does 12 divide f?
False
Let u(m) = 141*m + 5. Let p be u(-9). Is 45 a factor of (2 - -4)/((-2534)/p - 2)?
False
Does 13 divide (-6 - (-3 + 1))/(-3*(-9)/(-20115))?
False
Suppose 0 = 2*g - 3*i - 22, -3*i = 7 - 1. Suppose 3*x + 6 = 0, -5*z - 2*x - g = 21. Is 5/(-25) - 221/z a multiple of 22?
True
Let a(q) = 3*q**3 - 4*q**2 - 10*q + 4. Let r be a(6). Let s = 1099 - r. Is 31 a factor of s?
True
Let i(p) = 6*p**2 + 4*p + 3. Let m be i(-1). Suppose 2*y - 1 = -v, -4*v - m*y + 13 = 3. Suppose -5*b + 262 = -0*t + 2*t, -v*b = t - 261. Is b a multiple of 26?
True
Let x = 53865 + -27151. Does 100 divide x?
False
Let c = 376 + -57. Let i = c + 126. Does 89 divide i?
True
Let y(r) = 5*r**3 + 11*r**2 - 18*r + 40. Let u(p) = 6*p**3 + 11*p**2 - 16*p + 39. Let o(h) = 4*u(h) - 5*y(h). Is o(-14) a multiple of 12?
True
Let z(k) = -k**3 + 2*k**2 + 8*k + 15. Let p be z(7). Let f = 346 + p. Let q = -86 + f. Does 19 divide q?
False
Let l(t) = t**3 - 13*t**2 + 13*t - 7. Let w be l(12). Suppose 0 = w*o - o + 192. Let g = o - -104. Is g a multiple of 17?
False
Suppose 2*k - 1558 = -392. Suppose -5*c - k = -1133. Does 7 divide c?
False
Suppose -14*k + 3*p = -9*k - 35429, 2*k + 5*p = 14153. Is k a multiple of 28?
True
Suppose 2*y + 35*m - 2156 = 32*m, m + 4284 = 4*y. Is y a multiple of 67?
True
Let m be (4/5)/(-15*32/(-1200)). Suppose -4*q = m*x - 2260, 6*q + x - 563 = 5*q. Does 21 divide q?
True
Let h(z) = -2*z**2 + 4*z. Let w be h(4). Let k(r) = r + 25. Let a(u) = 2*u + 63. Let t(d) = 3*a(d) - 7*k(d). Is 15 a factor of t(w)?
True
Let j = -3954 - -11740. Is 13 a factor of j?
False
Suppose -340*b + 1495401 + 346996 = -43243. Is 183 a factor of b?
False
Suppose -5*a - 5 = -15. Let v = a + 95. Does 14 divide v?
False
Let i(u) = 13*u**2 - 103*u + 45. Is i(22) a multiple of 35?
False
Let f be 8 + -6 - (-3 - -8). Let g(l) = -24*l - 1. Let j(d) = 24*d + 1. Let n(m) = f*g(m) - 4*j(m). Is n(-5) a multiple of 17?
True
Let s = 34690 - 26914. Is s a multiple of 18?
True
Let o(t) = -t**2 + 6*t + 4. Let p be o(6). Let l be (-23)/((1 - 2)/(-2 + 9)). Suppose -27 = -p*y + l. Is y a multiple of 12?
False
Let t be ((-20)/8)/((-3)/(-6)). Is 10 a factor of t/15*180/(-3)?
True
Let p = -375 - -377. Suppose 0 = -p*f - s + 364, -5*s - 28 + 744 = 4*f. Is 46 a factor of f?
True
Suppose -4*s = 57*s - 1361520. Is 45 a factor of s?
True
Let n = 460 - 318. Suppose s = 5*p - 417, -4*p - n + 493 = 5*s. Is 4 a factor of p?
True
Suppose 86 = -5*n + 26. Is 14 a factor of n/((-4)/98*1)?
True
Suppose -11*y = -4*y - 49. Suppose 1932 + 532 = y*l. Does 16 divide l?
True
Suppose -280*m - 2*p = -276*m - 145784, 6*m = -p + 218688. Is 21 a factor of m?
False
Let u(x) = -x**2 - 17*x - 7. Suppose 4 + 66 = -5*f. Let n be u(f). Is (-7)/(n/(-610)) + 3 a multiple of 25?
True
Suppose v = d + 7, -4*d = 3 + 9. Suppose -2*s + 32 = j, -3*j + 12 = v*s - 88. Is 2 a factor of j?
True
Suppose 2*z = 4*w + 66 + 2152, 0 = 4*z + 2*w - 4406. Is z a multiple of 103?
False
Suppose 65*i = 62*i + 18315. Suppose 1695 = -6*u + i. Is u a multiple of 21?
True
Let q(f) be the first derivative of f**5/20 - f**4/6 - f**3/6 + f**2 + 14*f + 13. Let s(m) be the first derivative of q(m). Is 15 a factor of s(6)?
False
Let a be (63/35)/(9/7530).