Suppose -d = -4*w + 635, g = 2*w + 4*d + d - 323. Is 7 a factor of w?
False
Suppose 43 + 13 = -4*b. Let a(k) = -29 + 5*k - 5 - 3*k - 7*k. Is a(b) a multiple of 16?
False
Is (37746/(-108))/(9/(-456)) a multiple of 18?
False
Let w(q) = q**2 - 23*q - 158. Let x be (1617/(-66))/((-15)/6 + 2). Is 62 a factor of w(x)?
True
Let t(m) = m**3 - 11*m**2 + 27*m. Let p be t(4). Is ((-34)/p)/((-1)/(-2)) a multiple of 8?
False
Suppose -3*h - 4*r + 14942 = 0, 5*h + r - 9488 = 15404. Is 38 a factor of h?
True
Let m(p) = 179*p**2. Let j be m(1). Suppose j = 4*k - 621. Suppose -6*r + r + k = 0. Does 8 divide r?
True
Let p = 47 - 48. Let d be 158/((1/(-2))/p). Suppose 0 = -2*r + 5*a + 189, -a = 3*r - 2*a - d. Is r a multiple of 21?
False
Let u = 2866 - 1640. Is 15 a factor of u?
False
Suppose 0 = 13*r + 5*r - 29322. Let n = r + -960. Does 28 divide n?
False
Suppose 0 = 6*n - 3 - 9. Suppose -4*j + 3*y = -377, 0 = 2*y + n - 4. Is 5 a factor of j?
True
Suppose 17*h - 4*f + 606 = 19*h, -h = -3*f - 278. Let y = 345 - h. Does 14 divide y?
False
Suppose -3*y - 13301 = -4*g + 13533, -4 = -2*y. Let m = 61 + -65. Is 47 a factor of (-1)/m - g/(-40)?
False
Let p = -18775 + 33306. Is 45 a factor of p?
False
Let q(j) = 1083*j**2 + 3*j - 6. Let b = 317 - 316. Is q(b) a multiple of 72?
True
Let k be 59/(-10) - 58/580. Is 1 + k + -1897*(-2)/14 a multiple of 19?
True
Suppose 7*a = -0*a + 224. Suppose a*m - 26*m - 360 = 0. Let u = m + 161. Is 30 a factor of u?
False
Is 3 a factor of 7*(-8)/(-252) + 30625/9?
False
Suppose -113 = 3*t - 1625. Is -1 + 2 - ((8 - t) + 1) a multiple of 62?
True
Let c = 1106 - 493. Suppose 4*q + 2*g - 1003 = c, -1210 = -3*q - 2*g. Is q a multiple of 14?
True
Let h be 1/(-2)*(-24)/3. Suppose -9*g - 380 + 1568 = 0. Suppose -h*t = -t - g. Is 4 a factor of t?
True
Suppose -31*k + 28*k + 76860 = -3*j, 3*k - 76854 = 5*j. Does 9 divide k?
True
Let l = -31 - -181. Let q = -1 - -4. Suppose q*a + l = 8*a. Is 16 a factor of a?
False
Let y(o) = -8*o**2 + 326*o + 114. Is 17 a factor of y(25)?
True
Is 13 a factor of 204784/90 - 105/175 - 10/(-45)?
True
Suppose 767 - 737 = 6*y. Suppose 2303 = y*g - 2637. Is g a multiple of 52?
True
Suppose 2*h - 2 = 58. Let k = 58 + h. Suppose 115 = -83*q + k*q. Is 23 a factor of q?
True
Suppose 0 = -a - 200*a + 35*a + 847928. Does 3 divide a?
False
Suppose -1029 = 4*h - 4*p + 571, -h - 3*p = 420. Let r = h + 464. Is 4 a factor of r?
False
Let r(w) = 2*w**3 + 300*w**2 - 43*w - 1966. Is 76 a factor of r(-150)?
True
Suppose 450690 - 3129234 = 68*f - 246*f. Does 19 divide f?
True
Let z = 206 + -191. Suppose -3*a + 1350 = 4*u - u, 3*a = -z. Is 13 a factor of u?
True
Is 268 a factor of 1943/(58/(-29) + 130/64)?
True
Is (5812/16)/((-13)/(-156)) - -7 a multiple of 80?
False
Does 19 divide (-11 - 881)*(-456)/16?
True
Let o(d) = d**3 + 7*d**2 + 8*d + 10. Let s be o(-6). Let m be (s/(-5))/(13/1755). Suppose l + m = 148. Is 7 a factor of l?
False
Let o = 9 - 5. Suppose 221 = 4*p + 205. Suppose 0 = 3*k - 0*k - o*z - 164, -228 = -4*k - p*z. Is 8 a factor of k?
True
Let c(x) = -205*x. Let y be c(-2). Suppose g - 2*f = 40 + 60, 3*f + y = 4*g. Is g a multiple of 24?
False
Let z = -189 + 186. Let x(c) be the second derivative of -7*c**3/6 - c**2 - 2*c. Is x(z) a multiple of 8?
False
Suppose 3*y = -s + 16, -2*y + 3*s - 2 = 2. Suppose m = -4*q - y*m + 1431, -4*m = 20. Does 57 divide q?
False
Suppose 140731 = -84*p + 1024411. Does 48 divide p?
False
Suppose 171*z = 173*z - 4. Is 17 a factor of 7015/69 + z/6?
True
Suppose -s + 3 = 0, 5*t + 22797 = 8*t + s. Does 58 divide t?
True
Let h = 108444 + -70659. Is h a multiple of 165?
True
Let d(z) = z**3 - 31*z**2 + 321*z - 86. Is 59 a factor of d(32)?
True
Suppose 0 = -3*j + 4*r - 4, 7 = j + 3*r - 6*r. Does 8 divide 2/j*0 - -88?
True
Let c(o) = 317*o**2 - 180*o - 13. Does 124 divide c(7)?
True
Suppose 0 = 3*b + 2*r - 65, -b + 24 + 7 = 3*r. Let d(h) = h**3 - 19*h**2 - 4*h - 1. Let y be d(b). Let p = y - -137. Does 12 divide p?
True
Suppose -r + 10141 = -15*z + 11*z, 2*z + 40466 = 4*r. Is r a multiple of 41?
False
Is 11 a factor of 407838/808*(-16)/(-6) - (3 + 1)?
True
Suppose -12*j - 5 = 43. Is j + 42/7 + 625 a multiple of 8?
False
Let x = -16 + 43. Let l be (-6)/9 + 558/x. Suppose 3*v - l = 106. Does 21 divide v?
True
Let d(x) = -x**2 + 14*x - 7. Let z be d(13). Let l be (45/z)/(-1)*72/(-10). Let k = l - 35. Is k a multiple of 19?
True
Suppose -2*a + 3*a = 1, 4*r = 5*a + 3. Let g(m) = 25*m**2 - m + 2. Is 13 a factor of g(r)?
False
Let a = 561 - 1291. Let j = 1055 + a. Does 26 divide j?
False
Suppose -4*d - 26752 = -5*w, 0 = -w + 3*d + 4602 + 744. Is 6 a factor of w?
True
Suppose -19*p = -41*p + 410058. Does 171 divide p?
True
Suppose 5*n - 66 = -3*x, 4*x - 22 = -2*n + 5*x. Let i(v) = 3*v + 25. Is i(n) a multiple of 30?
False
Let i be 36 + (-2 - 0) + 0 + 3. Let b(s) = -s**3 - 9*s**2 - 19. Let o be b(-9). Is 19 a factor of (i - o) + (1 - 0)?
True
Let z(u) be the third derivative of u**6/120 - u**5/12 + 7*u**4/8 - u**3/3 - 19*u**2 + 2. Is z(6) a multiple of 8?
True
Suppose 32*s = 29*s + 1716. Is s/(-39)*(-6)/4 a multiple of 22?
True
Let q be 7/2*((-216)/42)/(-9). Suppose -v + y - 641 = -q*v, 3*y - 3197 = -5*v. Does 49 divide v?
True
Let l(q) = -3*q**3 - 15*q**2 + 13*q + 112. Is l(-12) a multiple of 8?
False
Suppose 953 = z - 4*g - 2981, z - 3*g - 3932 = 0. Is 13 a factor of z?
True
Let g(b) = 45*b**2 - 9*b - 6. Let t(x) = x**2 + 6*x - 2. Let z be t(-6). Does 48 divide g(z)?
True
Let p(b) = b**3 - 7*b + 7. Let n be p(2). Suppose -o = 4*l - 1455, -3*o - 2 - n = 0. Is 26 a factor of l?
True
Let h = 12528 + -8384. Does 20 divide h?
False
Let k = -84 - -84. Suppose 2356 = -k*l + 3*l - 5*n, 3*l = -5*n + 2396. Does 12 divide l?
True
Let k = 8049 + -7989. Let x = -6 + -4. Let n = k - x. Is 10 a factor of n?
True
Suppose 0 = -5*o - o + 96. Suppose 4*v = i - 128, -11*i + v = -o*i + 577. Does 58 divide i?
True
Let d = -60 - -64. Suppose 0 = -5*t + d*s + 4 - 0, -s = 1. Suppose 9*m - 4*m - 35 = t. Is m even?
False
Suppose 460 = 14*l - 19*l. Let s = l - -116. Is s a multiple of 2?
True
Let i(o) = -o**2 - o + 5. Let a be i(-7). Let c = a + 40. Suppose -7*v + c*v = -56. Is v a multiple of 7?
True
Let r = 154 - 155. Does 7 divide (1750/75)/(r/(-3))?
True
Let f(y) = 2*y**2 + 4*y + 8. Let s be f(-7). Suppose 6 - s = -9*a. Suppose 0 = -4*x + a, 5*v - 5*x + 34 - 229 = 0. Does 23 divide v?
False
Suppose -58*l + 63 = -55*l. Suppose 6*s - 615 + l = 0. Is s a multiple of 31?
False
Let g(s) = -24*s**2 + 31 - 2*s**3 + 0*s + 11*s**2 + 3*s - s + 10*s**2. Is g(-4) even?
False
Suppose 3 = -24*h + 27*h. Let c(t) = 492*t - 5. Is c(h) a multiple of 38?
False
Let k = -12 + 498. Does 7 divide k?
False
Suppose 3444 = 49*t - 56*t. Let m = -271 - t. Is 20 a factor of m?
False
Let y = -162 + 262. Let q be y - (-5 - -1)*-1. Suppose 0 = -2*r + 2*b + q, 3*r + 0*r - 144 = 2*b. Is 12 a factor of r?
True
Let m = -56 + 410. Suppose m - 906 = -4*g. Is 13 a factor of g?
False
Let g(z) = -z**2 - 11*z + 5. Let m be g(-11). Is 9 a factor of (-11 + 13)*m/((-30)/(-117))?
False
Let j = -774 - -778. Suppose 414 = 3*z - 2*q - 27, 2*q = j*z - 588. Is 21 a factor of z?
True
Let b = 6 - 2. Suppose c + b = 2*q, 22 = 5*c - q + 5*q. Suppose 0 = c*o - 5*o + 99. Is 29 a factor of o?
False
Let a = -365 - -789. Suppose -67 = -z - a. Is ((z/(-12))/7)/(4/32) a multiple of 15?
False
Let a = 7876 - 5986. Is 10 a factor of a?
True
Let x = 1213 + -1124. Is 89 a factor of x?
True
Let y be (((-212)/6)/(6/(-9)))/1. Is 2 a factor of y/((2 - -10)/(-4))*-3?
False
Let f(t) = 7276*t - 83. Is f(2) a multiple of 91?
True
Let z = 13200 + -6793. Is z a multiple of 103?
False
Let i(p) = -698*p - 726. Does 5 divide i(-4)?
False
Is 3253/3 - (7 + 136/(-24)) a multiple of 4?
False
Let m(n) = -n**2 + 105*n - 338. Does 9 divide m(12)?
False
Let f = -38 + 36. Let i(g) = 6*g**2 + 3*g + 4. Let j be i(f). Suppose 6*v = j + 68. Is 15 a factor of v?
True
Suppose 393 = 7*k - 636. Let d(r) = -r**2 + 12*r - 8. Let b be d(11). Suppose -2*n + 145 = -b*h - 135, -n + k = 2*h. Is n a multiple of 7?
False
Is (-1 - -34254) + 27/3*44/(-132) a multiple of 50?
True
Let u be 4/16 - 5598/(-8). Suppose 7*q = -1680 - u. Does 13 divide q/((-25)/5) - 3?
True
Suppose -2*y + 2*x = -138, -6*y - 3*x = -y - 369. Suppose y = -6*l + 