 -81 - 0 - (-24 + 23). Let k = d + 82. Suppose -k*l = s + 7 - 62, -10 = 2*l. Is s a multiple of 29?
False
Suppose -m - 2 - 294 = -2*f, -5*f - 3*m + 729 = 0. Is f even?
False
Suppose 0 = -4*g + 4, 4*i - 3*g = -0*g + 357. Let y be (-76 - -3)*(2 - 1). Let n = y + i. Is n a multiple of 17?
True
Let m = 1273 - 886. Suppose -m*g + 393 = -386*g. Does 9 divide g?
False
Let l be (162/(-5))/((-120)/5200). Suppose 7*r = 9195 - l. Does 14 divide r?
False
Let m(s) = 4*s**2 + 73*s + 164 - 330 + 174. Is m(-22) a multiple of 66?
False
Let n = -16 - -18. Suppose 3*r + 3*l = 24, 2*r + 0*r = n*l + 4. Suppose 2*w + 3*q - 173 = 0, -113 = -2*w + r*q + 68. Is 10 a factor of w?
False
Let i(j) = j**3 + 27*j**2 + 7*j - 1. Let u be i(-15). Let g = u - 1694. Is 25 a factor of g?
True
Let o(k) = 2*k + 37. Let w be o(-17). Is 0 - (4/w + (-561)/9) a multiple of 5?
False
Suppose -6*t + 5*t - 3 = -3*n, -2*t = 6. Suppose n = 9*w - 7*w - 300. Is 13 a factor of w?
False
Suppose 0 = 654*d - 669*d + 61140. Does 37 divide d?
False
Suppose 4*k - 14147 = -3*d, 14117 = 4*k + 3*d - 6*d. Is k a multiple of 62?
False
Let r(p) = -28*p**3 - 6*p**2. Let u(j) = -j**3 - 6*j**2 - 3*j + 7. Let n be u(-2). Is r(n) a multiple of 18?
True
Let c = 204 + -102. Does 6 divide c?
True
Let d(k) = 345*k**3 - 5*k**2 + 32*k - 28. Is d(4) a multiple of 42?
False
Let h be (4 - 3)/(-2 + 155/78). Let c be 64/112 - h/(-14). Is ((-46)/c - 2)/((-5)/(-100)) a multiple of 36?
True
Let h = -505 - -2847. Suppose 4*u + 3513 = -0*r + 3*r, h = 2*r + 4*u. Is r a multiple of 19?
False
Let f = -177 - -218. Suppose 3*h = 589 + f. Is h a multiple of 14?
True
Let p = 2142 - -4758. Is p a multiple of 23?
True
Let r(n) = 10*n - 41. Let l be r(-14). Let v = l - -337. Is 13 a factor of v?
True
Let g(m) = m**2 + m - 1. Let x be g(-3). Let c = 2 - -2. Suppose -337 = -c*t - h, -5 = t + x*h - 75. Is 21 a factor of t?
False
Suppose 4*b + 3*w = 38086, 193*b = 191*b - w + 19046. Is 12 a factor of b?
False
Suppose -9*m + 5*m + 20 = 0. Suppose m*j - 2*j + 9 = 0. Let n(q) = -11*q - 7. Is n(j) a multiple of 13?
True
Suppose -137774 = -134*z - 18782. Is 5 a factor of z?
False
Suppose 0 = -3*v + s + 392, 5*v - 3*s = 3*v + 252. Suppose 0 = 141*r - v*r - 360. Is r even?
True
Let z(t) = -18*t + 54*t - 16*t + 55 + 46*t. Does 11 divide z(6)?
True
Let q(o) = -o**3 + o**2 + 26*o + 110. Let s be q(-6). Let w = s + 54. Does 20 divide w?
True
Let j(v) = 106*v**2 + 5*v - 9. Let o be j(-3). Suppose 18*u - 690 = o. Does 16 divide u?
False
Suppose g = -5*k - 0*g - 20, -8 = 2*k + 5*g. Is ((475/2)/(-5))/(2/k) a multiple of 8?
False
Suppose -m - 5*k - 189 = 0, 0 = -4*m - 0*m + 3*k - 664. Let l = 216 + m. Does 47 divide l?
True
Let n be 22*((-5)/3)/(17/(-510)). Let q = -692 + n. Is q a multiple of 17?
True
Let l = -1506 + 4387. Does 41 divide l?
False
Let m(p) = -p**3 + 179 - 419 - 24*p**2 - 11*p + 133. Does 31 divide m(-24)?
False
Let w be (20 - 23)*1/(-3). Is 8 a factor of 7*(w - 3)*18/(-4)?
False
Let u = -64 + -342. Let f = u + 508. Is f a multiple of 13?
False
Let y(d) = d**3 + 10*d**2 - 72*d + 582. Does 18 divide y(14)?
False
Let x = 125508 + -77898. Is x a multiple of 269?
False
Let s(u) = u**2 + 2*u - 3. Let z be s(-4). Let b(i) = -i**3 + 6*i**2 - 6*i + 8. Let c be b(z). Suppose c*t - 29 = 2*r + 12, t - 15 = r. Is t even?
False
Let t = 10562 + -6261. Suppose 7*p = -16*p + t. Is p a multiple of 11?
True
Let t be -7*(-4 - 64/(-28)). Let m(h) = 32*h + 102. Is 58 a factor of m(t)?
False
Let t = -8235 - -10974. Is t a multiple of 10?
False
Let y = 70 - 68. Suppose 0*r + 11 = 5*r - 2*w, 3*r = y*w + 5. Suppose 3 = -r*d + 201. Is 4 a factor of d?
False
Suppose w = d - 231, -5*w + d - 303 - 840 = 0. Let f = w + 678. Does 9 divide f?
True
Suppose 245*n - 170*n - 979200 = 0. Is 12 a factor of n?
True
Let o = 62 + -34. Suppose 2*b - k - 4*k - o = 0, -4*k + 28 = 4*b. Suppose -w = 4*m - b*m + 243, -3*m = -2*w - 150. Is m a multiple of 6?
True
Let k(d) be the third derivative of d**6/120 + 2*d**5/15 + 11*d**4/24 - 5*d**3/6 - 6*d**2. Let y be k(-6). Suppose -y - 113 = -6*r. Is 5 a factor of r?
False
Suppose -48*g - 31960 = -65*g. Is 9 a factor of g?
False
Suppose -13*t + 2*v - 18868 = -18*t, 4*t - v = 15110. Is 6 a factor of t?
False
Suppose -850 = 15*r + 7*r - 23*r. Is 50 a factor of r?
True
Does 7 divide 623 - (49/(21/3) + -3)?
False
Let j(n) = 4*n**2 + 25*n + 8. Let p be j(-6). Let v be -3 + p - (17 - 1/(-1)). Let m = 95 + v. Is m a multiple of 16?
False
Let v(f) = 4713*f - 181. Is 118 a factor of v(1)?
False
Suppose -2*b = -2*s + 7*s - 20016, 5*s - 3*b = 20001. Is 46 a factor of s?
True
Let q(h) = -33*h - 10. Let w(l) = 98*l + 30. Let r(p) = -11*q(p) - 4*w(p). Let i = 2 + -5. Is r(i) a multiple of 11?
True
Let t(u) = -2230*u - 10. Let h be t(-1). Suppose 7*g - h = -5*g. Is 35 a factor of g?
False
Suppose -5*i = -n - 4*n + 105, -2*i - 80 = -4*n. Suppose 2*m = -3*m - 80. Let b = m + n. Is 3 a factor of b?
True
Let m(t) = t + 9. Let o be m(-8). Suppose -o - 8 = -3*x, -320 = -5*s - 5*x. Let y = s + -42. Is 2 a factor of y?
False
Suppose -15*j - 22 = 53. Let f be (((-180)/(-4))/j)/(2/(-2)). Let q(c) = c**2 - 4*c - 7. Does 17 divide q(f)?
False
Let p = 166 - -10021. Does 10 divide p?
False
Suppose 0 = s - 4, -3*s = 5*c - 15 - 262. Let y(q) = -52*q**2 - 3 + q - 28*q**3 + c*q**2 + 1 - 3*q. Is 23 a factor of y(-2)?
True
Let q be 574/(-21)*-1*5*-3. Let i = 502 + q. Is i a multiple of 2?
True
Let r(s) = 2*s - 8. Let v be r(5). Suppose m - 6*m - 5 = 0, -30 = -v*t - 2*m. Suppose t*p - 11*p = 120. Is p a multiple of 24?
True
Let i(z) = 8 + 29*z - 20*z - 15*z. Let w be i(9). Let j = 60 + w. Is 7 a factor of j?
True
Let l(g) = 47*g + 23. Does 29 divide l(82)?
False
Let k(b) = 474*b + 4706. Does 237 divide k(36)?
False
Let f(p) = -3*p**2 + 188*p - 61. Is f(62) even?
False
Let v = 371 + -365. Is 5 a factor of v/(-2) - (-82 - -4 - 0)?
True
Suppose -374927 = -52*s - 59565 + 258198. Does 27 divide s?
False
Suppose 4*v - 42124 = 3*s, -2*v - 12*s = -15*s - 21068. Is v a multiple of 14?
True
Is 29 a factor of (35/70*(-6 - -5))/((-3)/33018)?
False
Is 2/(-8)*(-539280)/70 a multiple of 18?
True
Let c be 2/4 - ((-132)/(-8))/(-11). Suppose -3*o + c = 2*i, -2*i = 3*i - 5*o - 30. Suppose i*d - 83 - 61 = 0. Is d a multiple of 9?
True
Suppose 2*o + 1004 = 40357 + 36823. Does 276 divide o?
True
Suppose 429 = -m - 5*y + 4385, -15909 = -4*m - 3*y. Does 28 divide m?
False
Let w(o) = -o**3 + 13*o**2 + 14*o - 4. Let b be w(14). Let c be (-207)/6 + (2/b - 0). Let u = 47 + c. Does 3 divide u?
True
Let n(w) = 1929*w**2 - 568*w - 2. Does 89 divide n(3)?
False
Let j(i) = 7*i + 15*i + 0*i + 38. Let u be j(7). Suppose 6*x = 2*x + u. Does 27 divide x?
False
Let l be -394*4/16 - (-1)/2. Let y = l + 25. Let p = -62 - y. Is 2 a factor of p?
False
Let n = 14732 - 8679. Is 9 a factor of n?
False
Suppose 43*a = 42*a + 2*z + 6, -4*z + 4 = 2*a. Suppose -6*o + 7*o = -3*j + 1282, -a*j - 1247 = -o. Is o a multiple of 25?
False
Let w(h) = -663*h + 599. Is w(-10) a multiple of 33?
False
Let p be (-7)/(126/(-40)) - (-8)/(-36). Suppose 0 = t - 4*q - 151, -p*t + 381 = -3*q + 94. Is 28 a factor of t?
False
Let t(n) = n**3 + 5*n**2 - 5*n + 9. Let o be t(-6). Let w(k) = -4*k**2 - 5 - 2*k**o + 4*k**3 - 11*k + 6*k. Is 24 a factor of w(5)?
True
Let n(g) = 6*g - 11. Let z be n(2). Let x be (-3 - z) + 5 + (1 - 0). Suppose x*c = 185 + 115. Does 30 divide c?
True
Suppose -v = -2*k + 945, -7*v + 5*v - 1890 = 2*k. Is v*(14/3 - 5) a multiple of 25?
False
Suppose -5*l = -3*l + 2*s - 26, -3*l + s = -35. Suppose l*d = 2406 - 678. Is d a multiple of 6?
True
Suppose 0 = -d - 11*d + 2076. Suppose 9 + 0 = t. Suppose -232 = -t*p + d. Does 4 divide p?
False
Let c = -164 + 167. Suppose c*l - 814 = l. Is l a multiple of 37?
True
Let w(i) = 6*i**2 - 37*i + 28. Let g be w(40). Suppose -39*c = -g - 10572. Is c a multiple of 8?
True
Suppose 3*j = 3*j - 4*j. Let m be (-7)/(35/(-15)) - (j + 1). Suppose 5*i + m*z = 648, 0*i + i + 4*z = 126. Is 46 a factor of i?
False
Suppose 0 = 135*c - 437*c + 1351752. Does 11 divide c?
False
Let i(y) = -278*y - 66. Is 4 a factor of i(-2)?
False
Let w be (9/15)/((-6)/(-60)). Suppose w*n = 195 + 147. Suppose 0 = 60*j - n*j - 513. Is j a multiple of 27?
False
Let g be (2 + (-1 - -2))*952/21. Does 18 divide g - (3 - 1)/(