pose 27 = a*b + 4*h, 0 = 2*b + 5*h + 13 - 38. Suppose -100 = -b*w + 5. Is 16 a factor of w?
False
Let x = -564 + 1176. Does 28 divide x?
False
Suppose x + 728 = 2*x. Suppose -4*j + 4*n - 256 + x = 0, 2*j - 4*n = 234. Does 17 divide j?
True
Let t(y) = -169*y - 103. Is 12 a factor of t(-2)?
False
Suppose 6*t = -5*t + 4345. Suppose -4*d + 573 = -t. Does 22 divide d?
True
Suppose 0*f + 7*f + 532 = 0. Let m = f + 118. Is m a multiple of 6?
True
Suppose 43*t - 22*t - 52479 = 0. Is t a multiple of 49?
True
Suppose 21 = p + 2*p. Suppose -9*x = -p*x + 2. Let l(u) = 77*u**2 + 2*u + 2. Is l(x) a multiple of 21?
False
Let j be -7*(-11)/(77/12). Let h be (-1 + -5)*(-4)/j. Suppose 4*z + 34 = h*t + 3*z, -3 = -t + 4*z. Does 5 divide t?
False
Suppose -4*i + 261 + 411 = -4*r, 5*i + 5*r = 850. Is 7 a factor of i?
False
Let n(b) = -b**2 + 9*b + 263. Is 17 a factor of n(20)?
False
Let i = 12 + -21. Let u be ((-2)/(-3))/(1/i). Let b(h) = h**2 - 2. Does 10 divide b(u)?
False
Suppose 0 = 4*x + 14*x - 738. Is x even?
False
Does 33 divide (66/(-12) + 6)*(-10990)/(-5)?
False
Let f be (-3)/(-12)*-2*-20. Let b be 2/f + (-28)/(-10). Suppose i + b*g - 37 = 5*g, 15 = -3*g. Is i a multiple of 9?
True
Suppose 9*c - 4*c - 26 = 2*i, -2*c - 3*i = -18. Suppose c*w - 260 = -4*w. Does 6 divide w?
False
Suppose 3*s - 3*y + 27 + 126 = 0, 2*s = -5*y - 102. Let a = -36 - s. Let x = 44 - a. Does 9 divide x?
False
Does 5 divide 16/(-40) - 527/(-5)?
True
Let w be 3 + -2 + 4/2. Let o(p) = -2*p + 2 + 14 + 0 + p**2 + w*p. Is o(-7) a multiple of 23?
False
Suppose 0 = -0*c + 3*c - 9. Suppose -c*h = -g + 20, 0*g - 4*h = 5*g - 100. Is 10 a factor of g?
True
Suppose 2*t = 4*q + 88, 0*q - 5*q = -t + 35. Is t a multiple of 10?
True
Suppose 0 = -3*r - 12, 5*h - r + 3*r - 307 = 0. Is 2 a factor of h?
False
Let r(b) = b**2 - 14*b - 113. Is r(37) a multiple of 31?
False
Let w = 387 + -19. Is w a multiple of 78?
False
Let j(r) = -10*r - r**2 + 2*r**2 - 7*r + 29 - 4*r. Is 8 a factor of j(21)?
False
Suppose 4*n - 364 = 6*n + 4*b, -582 = 3*n - 3*b. Let l = n - -267. Is l a multiple of 11?
True
Suppose 0 = 8*o + 1738 - 10202. Is 46 a factor of o?
True
Does 16 divide (-112)/6*(-204)/119?
True
Suppose 3*m = m - 2*u + 216, -2*m + 3*u + 191 = 0. Suppose 0 = 2*j - 331 + m. Is j a multiple of 19?
True
Does 37 divide 0/(16/(-4)) - -188?
False
Let w(s) be the third derivative of s**5/60 + s**4/4 + 5*s**3/6 + 9*s**2. Suppose -7 = v - 0. Does 6 divide w(v)?
True
Let k = -124 + 367. Is 12 a factor of k?
False
Suppose 94*t = 95*t - 362. Is t + (8/5 - 2/(-5)) a multiple of 14?
True
Let u = 90 + -90. Suppose u = 5*k - 11*k + 246. Does 41 divide k?
True
Suppose 3*f = -2*f - 50. Let n(g) = -g**3 - 11*g**2 - 11*g + 8. Let u be n(f). Let t = -15 + u. Does 3 divide t?
True
Let l(o) = 11*o**2 - 35*o + 9. Let i(h) = 5*h**2 - 17*h + 4. Let d(j) = -9*i(j) + 4*l(j). Let a be 7*-4*(-2)/14. Is 7 a factor of d(a)?
False
Let k = 525 - 355. Does 34 divide k?
True
Let d(c) = c**3 - 3*c**2 + 5*c - 4. Let r = -5 - -9. Suppose -r*a = -14 - 2. Is d(a) a multiple of 32?
True
Let o = -8 - -21. Let a(r) = -r**3 + 14*r**2 - 11*r - 28. Let g be a(o). Let f(d) = -44*d - 5. Is f(g) a multiple of 10?
False
Suppose 2*j = 2*w + 492, -j - 3*w + 6*w + 246 = 0. Is 6 a factor of j?
True
Let t(p) = p**2 + 7*p - 12. Does 18 divide t(-15)?
True
Suppose -z + 4 - 2 = 0. Suppose -z*m = -3*c - 35, 3*m + 5*c - 99 = -18. Is m a multiple of 11?
True
Let h(z) = 51*z**2 - 3*z + 2. Let g = 22 + -20. Let f be h(g). Suppose -v + f = 4*v. Is 11 a factor of v?
False
Suppose c = 2*c - 5, 2*c - 2 = z. Suppose -3*n = -2*n - z. Is 18 a factor of (n/6)/((-1)/(-39))?
False
Let j = -13 + 53. Suppose -6*h = -2*h + j. Let z(d) = d**3 + 10*d**2 - 6*d - 11. Is z(h) a multiple of 20?
False
Suppose 78*x - 575 = 77*x. Is 115 a factor of x?
True
Let i(t) = 43*t + 149. Is 18 a factor of i(14)?
False
Suppose 0 = -3*k + 5*k - 106. Suppose -4*d = -0*d + w + 43, -5*d - 2*w - k = 0. Is 15 + d + 36/1 a multiple of 10?
True
Is (-22)/(-6)*(-43)/((-688)/1824) a multiple of 22?
True
Suppose d + 3*d - v - 556 = 0, 0 = 2*d + 5*v - 300. Suppose -2*s = 5*s - d. Is 3 a factor of s?
False
Suppose p - 3*p + 235 = 5*g, -230 = -2*p - 4*g. Is p a multiple of 15?
True
Let p(k) = -38*k + 248. Does 44 divide p(-27)?
False
Suppose 2*j + 3 = m - 3, -4*m - 3*j + 2 = 0. Suppose -m*l = 4*y - 104, 0*l = 3*l. Is 12 a factor of y?
False
Let i(m) be the second derivative of 169*m**4/6 + m**3/6 - m**2/2 + 38*m. Does 42 divide i(-1)?
True
Suppose 4*v - 22 = 2*n, 0*v = v + 5*n + 22. Suppose 0 = -c - 3*c - a + 20, -2*a - 4 = -v*c. Suppose 2*u - 20 = -2*t, 1 - 54 = -5*u - c*t. Is 10 a factor of u?
False
Let t = -9 - -9. Let b be ((-6)/9)/(1/(-6)). Suppose -3*s + 37 = -2*d + 3*d, 3*d - b*s - 124 = t. Is 10 a factor of d?
True
Let h(i) = 19*i**2 + 8 - 28*i**2 - i**3 - 12*i + 19*i**2. Is 10 a factor of h(8)?
True
Does 5 divide -339*(-2)/3*(-9)/(-18)?
False
Let z(s) = 37*s**2 + 3*s - 4. Is z(-6) a multiple of 90?
False
Let d be ((-255)/20 - -3) + 3/(-12). Let m(v) = 2*v**2 + 12*v - 10. Does 21 divide m(d)?
False
Let n = -558 - -1482. Does 21 divide n?
True
Is 4 a factor of (-6)/10 + (11 - 2698/(-5))?
False
Let d(t) be the first derivative of 11*t**2/2 - 14*t + 26. Is 5 a factor of d(4)?
True
Suppose -6*o + 10 = 4. Is 6 a factor of o/3 + (-2156)/(-21)?
False
Suppose -2*g = 4*b + 108 - 554, 5*g + 341 = 3*b. Is 14 a factor of b?
True
Suppose 2*y = 15 - 5. Does 4 divide (-16)/4*y/(-5)?
True
Suppose y - 2 = 5*p, 4 + 16 = -5*p - 5*y. Suppose x + z - 7 = 6, x - 13 = 3*z. Let g = p + x. Is g a multiple of 4?
True
Let a be -1*6/(-4)*(2 + 0). Does 4 divide (12/4)/a - -32?
False
Suppose 3*o = -2*q + 9, 4*q = -0*o + 4*o - 12. Suppose -k = -x + 8, -12 = o*k + k. Suppose -x*y + 0*m = -5*m - 340, 0 = -2*y - 4*m + 166. Is 13 a factor of y?
False
Suppose 2890 = 11*x - 3083. Is 25 a factor of x?
False
Let w be (38/4)/((78/(-60))/(-13)). Suppose -2*t = 5*l - w, -2*t - 5*l + 2*l + 97 = 0. Does 19 divide t?
False
Let g be 66/14 - (-12)/42. Suppose -s = 3*m + s - 15, s = -g*m + 25. Suppose -258 = -m*l + 237. Is 28 a factor of l?
False
Does 20 divide ((-12)/15)/(10/25) - -217?
False
Let p = 841 + -591. Let n be (p/15)/(4/6). Let t = 37 - n. Is t a multiple of 4?
True
Let i = 76 + -74. Suppose -i*w + 10*w - 648 = 0. Does 9 divide w?
True
Let w = 239 + -143. Suppose 74 + w = 10*q. Is q a multiple of 17?
True
Let j be (-22)/(-4) + 1/(-2). Suppose j*w - 477 = n, -2*w + 3*n + 386 = 2*w. Let y = w - 68. Is y a multiple of 9?
True
Let o = 10232 + -6922. Is 8 a factor of o?
False
Does 81 divide (-4)/56 - 5/((-350)/84635)?
False
Suppose 5*v - 17 = -4*t, -3 = v + 4*t - 0*t. Suppose -3*z - 32 = -v*z. Is 17 a factor of z/(-104) + (-444)/(-13)?
True
Let h = 599 + -442. Is h a multiple of 97?
False
Let j(c) be the second derivative of c**3/6 + 3*c**2 - 4*c. Let h be j(-3). Let q = h - -18. Is q a multiple of 6?
False
Suppose -3*m + 10 = 1. Suppose -2*k - 3*j - 265 = -3*k, -m*j + 289 = k. Is 37 a factor of k?
False
Let h = -63 + 63. Suppose 0*r + r - 4*b - 24 = 0, -5*r - 5*b + 45 = h. Does 12 divide r?
True
Let b = 3 - -1. Let v(d) = -25*d**3 + 2*d**2 + d - 1. Let y be v(-1). Let s = y + b. Is 6 a factor of s?
False
Let d be (-5055)/(-12) - 1/4. Let f = -282 + d. Suppose -5*a + f = -146. Does 24 divide a?
False
Let j(z) = 2*z**2 - 4*z. Let a(l) = 3*l**2 - 7*l. Let v(s) = -3*a(s) + 5*j(s). Suppose -12 = 3*h - 3. Is 6 a factor of v(h)?
True
Is 5901/24 - (-3)/24 a multiple of 5?
False
Suppose -2*p + 4*z + 3 = -113, -5*z - 223 = -4*p. Does 9 divide p?
False
Suppose 84 = 3*j - 0*j. Let h = j - -8. Is 12 a factor of h?
True
Let q = -3 + -1. Is -26*(-1)/2 - q a multiple of 17?
True
Suppose -3 = w - 4. Suppose 2*i + w = -3. Is 7 a factor of 1/i*(-16 + -6)?
False
Does 10 divide (-1672)/(-57)*(-3)/(-2)?
False
Let v(d) = 8*d**3 - 3*d**2 + 4*d - 9. Does 28 divide v(4)?
False
Let q(p) = 97*p - 4. Let b be q(4). Let c = b + -192. Is 8 a factor of c?
True
Let o = 5 + -5. Suppose 3*b = u - o*u + 6, 4*b = 4*u - 16. Is u even?
False
Let r(a) = -2*a - 7. Let s(f) = f**2 + 14*f - 16. Let x be s(-15). Let t(d) = d. Let p(i) = x*t(i) + r(i). Is 3 a factor of p(-5)?
False
Is 36 a factor of 45/75 + (-714)/(-10)?
True
Let c be -2*(-1)/4*(2 - 2). Suppose 6*n - 120 + 6 = c. Is 19 a fact