- 221*q - 82. Is 120 a factor of y(-71)?
False
Does 23 divide (-9)/21 + (-2734860)/(-266)?
True
Let p = -208 + 137. Let g = 204 - 103. Let u = g + p. Is u a multiple of 6?
True
Suppose -84*x - 90*x + 175*x - 8838 = 0. Is x a multiple of 9?
True
Is 38 a factor of 7455/(-14)*-3 + 57/(-38)?
True
Let s(u) = 8*u**2 + u + 4. Let f be s(7). Suppose -5*z - f = 3*h, 2*h - 2*z + 131 = -143. Let t = -66 - h. Does 14 divide t?
True
Let l = 1879 + -199. Does 168 divide l?
True
Let z(f) = -16*f - 75. Let q be z(-5). Suppose -x + 125 = -q*l, 5*x - 359 = 4*l + 266. Is x a multiple of 38?
False
Suppose 3*q - b - 10962 = -4*b, -3646 = -q - 3*b. Does 31 divide q?
True
Let w(h) = -h + 4. Let b be ((-28)/(-35))/(4/(-10)) - -2. Let x be w(b). Suppose p - 2*f - 160 = 0, f - 5*f = -x. Is p a multiple of 27?
True
Is 44 a factor of (-7 - 2682550/(-286)) + (-6)/11?
True
Suppose -8*x + 8316 = -6*x - 12*d, 4137 = x + d. Is x a multiple of 138?
True
Suppose 2*p - 5*w - 2651 = 0, 2*p + 2*w - 4113 = -1469. Is 7 a factor of p?
True
Let i(n) = n**2 + 5*n + 8. Let a be i(-4). Suppose -o + a*o - 495 = 0. Let r = -12 + o. Does 17 divide r?
True
Suppose -3*m - i + 69 = 0, 0 = -3*m + 2*i + 60 + 9. Does 13 divide 29*-13*(20 - m)?
True
Let l(r) = -r**3 + 5*r**2 + r + 9. Suppose -5*f = -8*b + 7*b - 30, 2*f = 2*b + 20. Is 12 a factor of l(f)?
False
Suppose 8356 = 2*l - 2*h, 3*h = 8*h + 10. Suppose 17*v + 7*v - l = 0. Is 21 a factor of v?
False
Let m(q) = -1128*q + 3500. Is 119 a factor of m(-20)?
False
Let p = 28667 - -5878. Is 19 a factor of p?
False
Suppose -o + 2150 = -5*r - 6*o, 0 = -4*r - 3*o - 1715. Let n = r - -1161. Suppose 4*z + 4*t - n = 0, 164 = -z + 2*z - 4*t. Is z a multiple of 18?
True
Let y = -10379 + 23422. Is 112 a factor of y?
False
Let v be (-1 - -1)/(-1 - (-4 + 1)). Suppose 19*c = -v*c + 7809. Is c a multiple of 38?
False
Let u be (-3)/(-2 + 5)*(-6)/2. Suppose -u*l = -681 + 81. Does 20 divide (-3 - 0) + 3 + l?
True
Suppose -o + 2*w + 8587 - 2495 = 0, 11*o = 5*w + 66978. Does 8 divide o?
True
Let p(w) = 1928*w - 204. Is p(9) a multiple of 12?
True
Let z(x) = x**3 + 7*x**2 - 7*x + 16. Let o = 39 + -39. Suppose u - 4 = 5*r - 1, o = -u + 2*r - 3. Does 13 divide z(u)?
True
Let n(g) = -4481*g + 5078. Does 17 divide n(-4)?
False
Let b be 1 + (-21)/7 + 4. Suppose 802 = m + 2*i - 62, i = -b*m + 1737. Is m a multiple of 43?
False
Let x be (1/(-3))/(5/(-5790)). Suppose -x = -c - n, n + 1915 = 4*c + 381. Does 12 divide c?
True
Let k = -6716 - -16743. Is 37 a factor of k?
True
Let i = -122 - -112. Let s(q) = 3*q**2 + 9*q + 37. Does 9 divide s(i)?
False
Suppose 0 = 3*n + 6, p + 2*n = 3*n + 4. Suppose 0 = 4*i - 2*k - 568, -2*i = -p*k - 144 - 136. Is 18 a factor of i?
True
Let a(m) = 2*m**2 - m - 5. Suppose 66 = 6*c + 12. Suppose -1 = 2*n - c. Is 4 a factor of a(n)?
False
Let c = 443 + -438. Let w(i) = i**2 - 21*i + 94. Is 14 a factor of w(c)?
True
Suppose 0 = -m + 5 - 0. Suppose -19 = -2*b + m*j, 3*b + 5*j + 24 = 65. Does 7 divide (-1 + -41)/(b/(-12))?
True
Suppose 16 = 4*f - 2*m, -m - 3*m - 23 = -5*f. Suppose 12 = -f*s, -5*n + 0*s + 62 = 2*s. Is 7 a factor of n?
True
Does 7 divide ((-14)/(-6))/(326034/15525 + -21)?
True
Let w = 71 - 44. Let y be 482/18 - 8/(-36). Let x = w + y. Is x a multiple of 6?
True
Let x = 3 - 6. Let w be 1 + 28 - x/1. Suppose 0 = -n + w + 20. Is 16 a factor of n?
False
Let q = 55 - 38. Suppose -2*t + q - 3 = 0. Suppose -227 - 235 = -t*x. Does 22 divide x?
True
Is (15386/28)/((-5)/(-10)) a multiple of 13?
False
Let g be (-4)/24 + 561/18. Let z(y) = -9 + g*y + 79*y - 25*y. Is 41 a factor of z(3)?
True
Let j be -2*2*6/(-8). Suppose -j*b - n + 530 = 0, 0 = 4*b - 3*b + 2*n - 175. Suppose -2*a - 2*y - y = -b, 5 = -5*y. Is 18 a factor of a?
True
Let u = 795 - 686. Is u/2*14 + -3 + -3 a multiple of 60?
False
Suppose -60*k + 1281933 = -6*k - 716499. Is 24 a factor of k?
True
Suppose -5*y + 9*y = -2024. Let v = -34 - -86. Is y/(-8) + (-13)/v a multiple of 25?
False
Let m be (-7)/(-77) - ((-3390)/(-22) - -4). Is -6 + (3 + -5 - m) a multiple of 10?
True
Suppose -17 + 53 = 4*n. Let p be -35*10/(-75)*n. Let a = p + 26. Does 34 divide a?
True
Let w(v) = -10*v**2 - 71*v + 7. Let y be w(-7). Does 98 divide ((-7)/(y/(-758)))/1?
False
Suppose -o + 12010 = r - 15644, -55288 = -2*o + 3*r. Is 35 a factor of o?
True
Let j be (5 + -9 + 10)*10/(-1). Let i = 254 + j. Does 10 divide i?
False
Suppose -r + 3*b + 4 = 5*b, -4*b + 4 = 0. Suppose -2*o = -o - 560. Suppose 6*v = r*v + o. Is v a multiple of 20?
True
Suppose 0 = 4*v - 2 + 30. Let g(w) = w**3 + 5*w**2 - 21*w - 12. Is 2 a factor of g(v)?
False
Let k be (30/8)/(45/120). Suppose 0 = 4*d + 2*p - k, 3*p + 4 + 14 = 5*d. Suppose -136 = d*q - 628. Is 41 a factor of q?
True
Is 37 a factor of 670299/30 - 3/(-210)*-21?
False
Suppose -b + 10 = 13, -2*b - 16 = -5*d. Suppose -d*l = 2*v - 178, 0 = v - 5 - 0. Does 4 divide l?
True
Let l be (-201)/(-39) - ((-18)/39)/(-3). Suppose -3*c + 10 = 5*r - 31, 0 = 2*r - l*c - 35. Is 8 a factor of r?
False
Suppose 0 = j + 2*q - 2660, 4*j - 16*q - 10592 = -12*q. Does 34 divide j?
True
Let j = -10841 + 16953. Is 32 a factor of j?
True
Let v(u) = -8*u + 22. Suppose 5*s = -2*i + 14, 4*s = 5*i - 3*i + 4. Let g be v(s). Suppose 2*k - g - 90 = 0. Does 8 divide k?
True
Let u(i) = -i**3 + 52*i**2 + 49*i - 128. Is 23 a factor of u(49)?
True
Suppose 0 = -4*z + k + 12080, -3*z + 28*k - 24*k + 9047 = 0. Is z a multiple of 13?
False
Let p(i) = 14*i + 194. Let s be p(-8). Let b = s - -34. Is b a multiple of 19?
False
Is 14 a factor of (-44)/(-66) - (-3484)/3?
True
Let h be 280/(-40)*3/(-7). Suppose 0*d = 5*k - d - 3783, 2*k - 1521 = h*d. Does 42 divide k?
True
Let s be (-15)/(-4) + (-17)/(-68). Does 9 divide 42/1*(s - 1)?
True
Let i = 90 + -81. Let l be 10/90 - (-4373)/i. Suppose l = 5*g + 4*g. Is 18 a factor of g?
True
Let o = 156 + -96. Let w = o - 21. Suppose 29 + w = 2*t. Does 7 divide t?
False
Let u be 0 + (8/(-6))/((-4)/72). Let i(q) = -q**2 + 14*q + 279. Is 21 a factor of i(u)?
False
Let s(q) = 33*q + 135. Let r be s(-4). Is 4 a factor of (r - -35)/((-100)/26 + 4)?
False
Suppose -3*h = 2*s - 158924, -3*h - 74*s + 158932 = -73*s. Does 15 divide h?
True
Let p(k) = 6*k**2 + 26*k + 13. Does 7 divide p(-15)?
True
Let t(o) = o**2 - 20. Let v be t(5). Suppose 5*u + 3724 = 2*c, -2*u - 1445 = v*c + 33. Does 5 divide (-20)/(-110) + u/(-22)?
False
Let y = -282 + 285. Suppose -y*b - 25 = -73. Is 4 a factor of b?
True
Suppose -5*b = -4*z + z - 167, b - 11 = -5*z. Suppose -6*y - 13 = -b. Suppose -2*l + 4*w = -180, -y*w + 342 = 4*l - 5*w. Is l a multiple of 12?
True
Suppose 396*h - 402*h - 2004 = 0. Let p = 628 + h. Is 98 a factor of p?
True
Suppose 32*z - 399 = 209. Let k(o) = o**3 - 17*o**2 - 23*o + 23. Is k(z) a multiple of 77?
True
Let t(c) = -9 + 9*c + 1 - 2*c**2 - 23*c. Let h be t(-6). Suppose 3*y + 2*l - 487 = 0, -y - 44 = -h*l - 211. Does 18 divide y?
False
Let l(i) = 16*i**3 - 3*i**2 + 18*i - 82. Is 3 a factor of l(4)?
True
Let v be 14 + -14 - (0/(-2) - 4). Suppose s - v = 2*w, 3*w + 7 - 1 = -5*s. Suppose i - 16 = -s*i. Is i a multiple of 12?
False
Let w = 90 + -88. Is 3 a factor of w*4/(5 - 3) - -21?
False
Suppose -z - 9 + 20 = 0. Is 7 a factor of (23 + -4)*77/z?
True
Suppose 4*x + 24 = 0, 655*n - 651*n = 3*x + 23470. Is n even?
False
Suppose 0 = 2*i - 0*i - 10. Suppose -3*h + i*h = 108. Suppose -4*z + h = -3*z. Is 18 a factor of z?
True
Let f(a) = -1273*a - 122. Is 40 a factor of f(-6)?
False
Does 6 divide 142*(-3224)/(-130) - (-2)/5?
True
Suppose 140 = 4*g - 4*r, -g - g = r - 55. Suppose 0*u - 4*u + g = -2*y, -u = 0. Is (-20)/y*-8*-3 a multiple of 4?
True
Suppose -7*j + 12316 = 2*o - 5*j, -3*o + 2*j = -18454. Does 181 divide o?
True
Let w = 50 - 55. Is (45/(-3))/w - -21 a multiple of 3?
True
Let q(l) = l**3 - 2*l**2 - 6*l - 16. Let n be q(9). Suppose n - 653 = -3*d. Does 4 divide d?
True
Let b = 346 + 6782. Is b a multiple of 162?
True
Suppose 0 = 5*m + 246*o - 244*o - 108856, -2*m + 43583 = -5*o. Does 57 divide m?
True
Let r be -2 - 198/(-7) - (-4)/(-14). Let a = r + -23. Suppose 20 = a*h - 13. Is h a multiple of 7?
False
Let i = 1057 - 745. Is 104 a factor of i?
True
Let q(u) = -u**3 + 38*u**2 + 90*u - 27. Let c(d) = -d**3 + 38*d**2 + 89*d - 30. Let a(j) = -5*c(j) + 4*q(j). Does 47 divide a(41)?
False
Let i