). Suppose 2*y + 58 + 110 = o. Is ((-6)/(y/161))/(2/4) a multiple of 12?
False
Suppose q = -16*k + 15*k + 16309, -228371 = -14*q + k. Is q a multiple of 42?
False
Suppose -76 - 113 = -t. Let z = 401 - t. Let w = z + -86. Is w a multiple of 21?
True
Let f = 36 + -17. Suppose -16*o + f*o = 270. Is 16 a factor of o?
False
Suppose -23*a = -2*a - 4770 - 64719. Is a a multiple of 52?
False
Suppose 2*p - 1 = 5, 4*n - 38 = -2*p. Let q = -9 + n. Is 32 a factor of (2 - (0 - q))/(4/424)?
False
Suppose -8*k = 48*k - 2*k - 154548. Does 53 divide k?
True
Suppose -29*j + 65286 = 10*j - 8*j. Is 26 a factor of j?
True
Suppose 0 = -81*f + 93*f - 252924. Is f a multiple of 55?
False
Let t(l) = l**3 - 17*l**2 + 32*l - 16. Let z be t(15). Let j(m) = -27 - 10*m**2 - 4*m**3 + z*m - 3*m**2 + 13*m + 5*m**3. Is j(11) a multiple of 3?
False
Let k(u) = -8*u - 29. Suppose -2*y + 4*y = 0. Let n be k(y). Let b = n - -79. Does 12 divide b?
False
Suppose -2*t = 5*u + 1, 5*t - 4 = -4*u + 2. Let x be 3 + u + -1 + 36*1. Suppose -x*p = -38*p + 13. Does 7 divide p?
False
Let u = 3844 - 917. Is u a multiple of 7?
False
Let y be (2/6)/((-24)/(-1080)). Let k(h) = h**3 - 7*h**2 - 26*h - 9. Does 10 divide k(y)?
False
Let z(v) = 361*v**2 - 1333*v - 7. Is 16 a factor of z(-8)?
False
Let f be ((-2)/3)/((-32)/(-8976)). Let u be (-1842)/18 + 4/3. Let d = u - f. Does 17 divide d?
False
Let j = -2997 + 4846. Is 3 a factor of j?
False
Suppose -3*t = 4*r - 17010 - 10978, -34978 = -5*r - 2*t. Is r a multiple of 26?
True
Suppose 4 = -i + 3. Let u be ((5 - 2) + i)*1. Suppose 0 = -h + 3*q + q + 176, 952 = 5*h - u*q. Is 12 a factor of h?
True
Let z be (-6)/(-2) - (-1 - -6) - -1. Let t be 6/(-3)*z - -2. Does 22 divide (340/6 - (-3)/9) + t?
False
Let q = 18796 + -8359. Does 10 divide q?
False
Let l be ((-819)/(-8) - -3) + (-6)/16. Let w = -101 + l. Is 9 a factor of (1428/(-24))/((-2)/w)?
False
Suppose -2*l = l + 5*q - 26, q + 6 = 5*l. Suppose -f + 4*j = 2*f - 25, 0 = 2*f - l*j - 20. Suppose 0 = -f*x + 19*x - 136. Is 16 a factor of x?
False
Suppose 4*u - 11097 = j, -4*u + 75*j + 11043 = 80*j. Is u a multiple of 38?
False
Let x(b) = -2*b + 348 - 241 + 3*b**2 - 14*b. Does 28 divide x(16)?
False
Suppose 4*j - 16978 = -5*a + 10521, -27497 = -5*a - 2*j. Does 9 divide a?
True
Let j(c) = -2*c**3 - 6*c**2 - 12*c - 34. Suppose 3*k + 2*z = -17, -2*z + 18 = -4*k - 7*z. Is j(k) a multiple of 16?
False
Let j = -20 - -30. Suppose -5*z = -5*v + j, -3*v = -2*z + 5*z - 6. Is 15 a factor of 15 - (2 + -1)/1*z?
True
Let s be (-4)/10 - (-1457)/5. Suppose -514*n - 396 = -518*n. Suppose -5*m + s = -n. Is m a multiple of 27?
False
Suppose 38*x - 5334 = 37*x + 2*f, 0 = x + 5*f - 5306. Does 7 divide x?
False
Let f(q) = -q**2 - 7*q - 10. Let z be f(-3). Let m(v) = v**3 - v + 2. Let j be m(z). Suppose j*k - 46 - 482 = 0. Is k a multiple of 12?
False
Let o = 34035 + -27784. Is o a multiple of 47?
True
Let s be 6/(-15) - (-2)/5 - 4. Let y(a) = -a**2 - 7*a - 10. Let l be y(s). Suppose l*j = 5*t + j - 515, -5*j = 3*t - 337. Is 11 a factor of t?
False
Let i(b) = -131*b + 292. Does 37 divide i(-15)?
True
Suppose 183*n - 187*n + 18996 = 0. Suppose -6*u + 951 = l - 5*u, -5*l = -u - n. Is l a multiple of 10?
True
Suppose -3*k - 5*l + 16591 = -4901, 5*l = -15. Is 42 a factor of k?
False
Let a = -13 - -24. Suppose 17 = a*g - 10*g. Suppose 45 = g*s - 14*s. Does 5 divide s?
True
Let z = -194 - -196. Suppose -5*g = 0, 5*o = z*o + 2*g + 1350. Is 9 a factor of o?
True
Let m(s) = s**3 + 106*s**2 - 93*s - 466. Does 93 divide m(-106)?
False
Is (12042/12)/((-16)/(-96)) a multiple of 223?
True
Let i = -29701 - -32813. Is i a multiple of 4?
True
Let g(k) = -5*k - 36. Let d be g(-6). Let x(b) = -b**3 + 4*b**2 - 30. Is 11 a factor of x(d)?
True
Let z(q) = -13 + 4 + 2*q**2 - 3*q**2 + 2*q**2. Let m be z(-4). Suppose m*s - 976 = 634. Does 37 divide s?
False
Let t(p) = -323*p**3 + p**2. Suppose 4*a = 8, 2*a = 5*s + 7*a - 5. Does 34 divide t(s)?
False
Let h be ((-195)/130)/(-1 + 14/12). Let b(u) = u**2 + 7*u - 15. Let a be b(h). Suppose 5*c + 5 = 0, -3*v + a*c + 129 + 39 = 0. Does 11 divide v?
True
Is (-2)/((-1)/(-2)*(-54)/4563) a multiple of 26?
True
Let i(x) = 13*x + 4. Let s be i(30). Let p = s + -346. Does 8 divide p?
True
Let i = 49597 + -27368. Is 12 a factor of i?
False
Let j = 105 + -223. Let u be (4/(-4))/(-1) - -2 - j. Suppose 191 = 4*s - u. Is 41 a factor of s?
False
Let i(u) = -u**3 + 2*u + 770*u**2 + 2*u**3 + 22 - 795*u**2 + 23*u. Is 35 a factor of i(24)?
False
Suppose 16*j - 91 = 3*j. Suppose -5*d + 3*b - j*b = -2722, 3*b = -d + 540. Is 14 a factor of d?
True
Let m be (0*(-4)/(-20))/1. Suppose m*c - 1020 = -2*j + 2*c, -3*c = -4*j + 2037. Is j a multiple of 28?
False
Is 13 a factor of (-264)/52 + (-3)/(-39) + 4399?
True
Let g be (44/3)/(15/9 - 1). Suppose g = 5*w - 3*h, 5*w + 5*h = 4 - 14. Suppose -4*v + 248 = -2*m + 4*m, 2*v + w*m = 126. Is v a multiple of 12?
False
Let w(l) = 7*l**2 + 179*l + 1339. Is w(-7) a multiple of 2?
False
Let j(t) = 35*t + 212. Let p be j(-6). Let o(h) = 157*h**2 + 13*h - 32. Does 13 divide o(p)?
False
Let z = 474 + -202. Suppose -4*b - 142 = -2*h, h + 3*h - 2*b = z. Is 25 a factor of h + 4 - 12/(-3)?
True
Suppose -4*x - i = -38447, 5*x + i - 3285 = 44775. Is 69 a factor of x?
False
Let k = -181 + 310. Let f be k + -12*((-32)/(-12) - 3). Suppose -5*m + 62 + f = 0. Is 13 a factor of m?
True
Let u = 1690 - -264. Let i = -1202 + u. Is i a multiple of 33?
False
Let m be (-5 + 85/10)*-4. Let t be ((-8)/m)/((-2)/(-14)). Suppose -5*c - q + 98 = 0, -c + 69 = 2*c + t*q. Is c a multiple of 4?
False
Let x = -405 + 420. Is (13445/x - 1/3) + 3 a multiple of 11?
False
Suppose -2*n + 2*u + 2*u + 142 = 0, -3*n + 5*u = -217. Let r = -58 + n. Does 32 divide 85 - (10/(-3) + 7/r)?
False
Suppose 0*o + 5*r = -4*o + 114, -5*r - 94 = -4*o. Let i be o/(((-2)/(-1))/(-4)). Let x = i - -94. Is x a multiple of 5?
False
Let j be 2/2*((-5)/1 + 6). Let w(q) = 4*q**2 - 1. Let t be w(j). Is 4 a factor of 2/t*525/14 - 1?
True
Suppose 10*v = 2*w + 13*v - 9095, -4537 = -w - 5*v. Does 5 divide w?
False
Suppose -4*i - 5*d + 56 + 4122 = 0, 3180 = 3*i - 4*d. Is i a multiple of 20?
False
Let z(o) = -185*o - 20. Let m be z(-5). Suppose 23*a - 2890 - m = 0. Is a a multiple of 33?
True
Let h = -56 - -58. Suppose 2*s - 76 = 2*l, -3*s + 8*s - 197 = -h*l. Is 13 a factor of s?
True
Let f = 133 + -99. Suppose z - 4*q = -5, -2*q = -7*z + 3*z - f. Does 25 divide (-357)/2*6/z?
False
Let t(x) = x**2 - 26*x + 72. Suppose -5*h + 6*h = 23. Let i be t(h). Suppose -5*g - i*s = -348, 4*s - 1 - 210 = -3*g. Is g a multiple of 9?
False
Let g be 5878/(-12) - 4/24. Let a be (-2)/(-8) + g/(-56). Is a/12 + (-34)/(-8) a multiple of 2?
False
Let w(v) = 78*v**2 + 198*v - 19. Is 26 a factor of w(-8)?
False
Let b(g) = -7*g**3 - 17*g**2 - 96*g - 530. Is b(-12) a multiple of 65?
True
Suppose 0 = -566*k + 564*k + 8. Is 3 a factor of (-2 - -24)/(k/16)?
False
Suppose 2*r + 2*h = 11002, -174*r = -170*r - 5*h - 21995. Does 27 divide r?
False
Let z = -3570 - -6025. Is z a multiple of 17?
False
Suppose 2*s - 5*a = -7, -4*a = -5*s - a - 8. Let f(p) = 2*p**3 + p**2 + 5*p - 1. Let z(j) = -j**3 - j. Let v(g) = s*f(g) - 5*z(g). Is v(1) even?
False
Let j(b) = -b**2 + 68. Let s be j(8). Is 24 a factor of 172 + (4 - 8) + s?
False
Let s be 7/21 - ((-28)/(-12) + 0). Let i(k) = -97*k - 24. Is 24 a factor of i(s)?
False
Does 76 divide (-538395)/(-77) - (3 + (-44)/14)/(-1)?
True
Let k(c) = -5*c**2 - 12*c - 12. Let i be k(-3). Let s(m) = 2*m**3 + 43*m**2 - 12*m - 23. Is s(i) a multiple of 15?
False
Suppose 26325 = 3*p + 5*h, -4*p - h + 6034 = -29083. Is p a multiple of 10?
True
Let u = -12 - -15. Suppose u*g - 64 = 2*g. Let o = g - 37. Is o a multiple of 3?
True
Is 10 a factor of (-1006)/52*-13*2*92?
False
Let w be 76*(-2)/26 + (-6)/39. Let m(o) = 26*o + 211. Does 42 divide m(w)?
False
Let z = -147 + 221. Suppose 78*k - z*k = 3900. Suppose 9*d - k - 222 = 0. Does 19 divide d?
True
Suppose 66*j - 2*j + 758859 = 2159819. Is j a multiple of 10?
True
Suppose -30*t - 11*t = 12*t - 386688. Does 192 divide t?
True
Let p(d) = 4991*d**2 + 18*d + 15. Is 63 a factor of p(-1)?
False
Suppose -17902 = -10*t - 7132 + 30170. Is t a multiple of 23?
True
Let w be 3*((-3)/(-15) - (-8)/10). Suppose w*a - 681 = 663. Does 28 div