 factor of (b/6)/((-6)/(-189))?
False
Let w(k) = -k + 43. Suppose -21 = -7*y + 98. Does 17 divide w(y)?
False
Suppose 6 = -2*g - 5*t, -4*g = g + 5*t. Is (168 - g) + 1/(-3)*-9 a multiple of 9?
False
Suppose 0 = -3*k + 3*t + 2262, -2*t = 2*k - 29 - 1471. Is k a multiple of 4?
True
Suppose 4*i = 3*r - 17 - 52, 2*r + 2*i = 60. Is 26 a factor of r?
False
Let u(i) = 15*i + 25. Let g be u(9). Suppose -2*k + g = 68. Is k a multiple of 8?
False
Let t(k) be the second derivative of k**5/20 + k**4/2 + k**3/6 + k**2 + 3*k. Let p = 17 - 21. Is t(p) a multiple of 15?
True
Suppose 3*q - q - 252 = 0. Suppose -q = 5*l - 336. Is l a multiple of 9?
False
Is 32926/21 + (-1)/((-21)/2) a multiple of 98?
True
Does 36 divide 2311/8 + (-21)/(-168)?
False
Suppose 0 = 13*c + 320 - 1698. Does 2 divide c?
True
Suppose -4*y - 2*a + 22 = 0, 3*a - 7 = -y + 2*a. Let x be (-495)/y*80/15. Is 4/6*x/(-8) a multiple of 11?
True
Suppose -3*d - q + 8 = 0, 0*d = 5*d + 5*q - 10. Suppose 0 = o - 2, w = -0*o - d*o + 118. Is w a multiple of 28?
True
Let h be (0*3/9)/(-1). Let p = h + 16. Is p a multiple of 16?
True
Suppose -3876 = -3*l + 4*g, 5*g = -5*l + 10652 - 4227. Is l a multiple of 111?
False
Let y be (-2 - (0 + -1))*0. Suppose 9*x - 5*x - 1124 = y. Is 22 a factor of x?
False
Let g(b) = 35*b + 21. Let w be g(7). Suppose 0*j + 2*j = w. Is 31 a factor of j?
False
Let n(s) = s**3 + 21*s**2 - 5*s + 66. Is n(-19) a multiple of 16?
False
Suppose 14*x - 1835 = 7965. Is 28 a factor of x?
True
Suppose 0 = v - 0*d + 4*d + 22, 3*d = -6. Let p = v - -24. Let o = p + 29. Is o a multiple of 9?
False
Let d(r) = r**2 + 2*r + 3. Let v be d(-4). Let b(w) = -w**3 + 11*w**2 + 4*w - 2. Does 14 divide b(v)?
True
Let b(z) = -z**3 - 21*z**2 + z - 13. Let w be b(-21). Let u = 38 - w. Does 18 divide u?
True
Suppose 142*r = 137*r + 4495. Is 34 a factor of r?
False
Suppose -4*w + 235 = -4*y - 905, -831 = -3*w - 3*y. Does 3 divide w?
False
Let i(a) = -a**2 + 2*a + 3. Let g be i(3). Let z(m) be the third derivative of m**6/120 + m**5/60 + m**4/24 + 3*m**3/2 - 40*m**2. Does 4 divide z(g)?
False
Does 4 divide -30*(-1742)/65*(-2)/(-3)?
True
Let f = -98 - -230. Is 12 a factor of f?
True
Let f(u) = -10*u - 1. Let i be f(-7). Suppose 5*b - 21 = i. Does 11 divide (-4)/b - (-1233)/81?
False
Let z(i) = i**3 + 4*i**2 - 4*i - 2. Let g be z(2). Let k be (-52)/6*6/(-4). Suppose -k*a = -g*a + 105. Does 14 divide a?
False
Suppose v - 80 = -3*v. Suppose 874 = -65*h + 6854. Suppose v = -6*m + h. Is 4 a factor of m?
True
Suppose 4*j - 6 = 14. Suppose 4*a = 4*r - 308, 2*r = j*r - a - 221. Does 11 divide r?
False
Suppose -161*g + 2862 = -134*g. Is 2 a factor of g?
True
Let j = 84 + -82. Suppose s = -0*s + 1, j*n - 13 = 3*s. Does 4 divide n?
True
Suppose -7*a + 2*a - n + 225 = 0, 0 = 2*a - 2*n - 78. Suppose -3*w + 3*t = -30, -w + 2*t + 25 = 2*w. Suppose -w*r + 129 - a = 0. Is r a multiple of 5?
False
Let j = -357 + 775. Is 12 a factor of j?
False
Suppose 0 = 4*k - 5*s - 355 - 55, 5*s = -10. Let m = 227 - k. Is 39 a factor of m?
False
Let y(r) = 9*r**2 + r. Suppose t = -w + 4*t + 14, -2*w = -5*t - 32. Let s = w - 25. Is y(s) a multiple of 5?
True
Suppose 4*i - 3 = i, -5*x + 4*i + 2671 = 0. Is 15 a factor of x?
False
Let r = -38 - -44. Suppose -5*p = -r*p + 12. Does 8 divide p?
False
Let t(c) = -c + 6. Let d be t(6). Suppose -w - 69 = -2*a, 0 = -d*a + a + w - 30. Let g = 61 - a. Does 23 divide g?
False
Suppose 288 = 18*s - 0. Is s a multiple of 13?
False
Suppose 0 = 4*c + 3*w - 121, 3*w - 5*w = 2. Suppose -35*i = -c*i - 200. Is 10 a factor of i?
True
Let r be (-52)/2 + -6 + 8. Let d = r + 46. Let g = -14 + d. Is g a multiple of 5?
False
Does 33 divide 6/8*(98*-176)/(-14)?
True
Suppose -17*d - 2 = -2. Suppose d = -6*u + 8*u - 332. Does 6 divide u?
False
Suppose -x = -3*r + 97, 2*r + 2*r - 136 = 3*x. Does 31 divide r?
True
Let s = 155 + -263. Let v = s + 193. Is v a multiple of 18?
False
Let j = 52 + -28. Is 219/4 + 6/j a multiple of 7?
False
Suppose 61920 = -7*g + 37*g. Does 16 divide g?
True
Suppose -15 = 3*k, 0*m + 4*m = -4*k. Suppose 0 = -m*p + 62 - 7. Suppose -p*a + 9*a = -28. Is a a multiple of 4?
False
Let t(n) = -28*n**3 - 3*n**2 - 4*n - 6. Let a(w) = w**3 + w**2 + 1. Let l(v) = 2*a(v) + t(v). Is l(-1) a multiple of 5?
True
Let q = -353 + 219. Is 17 a factor of 7/14 - q/4?
True
Let c be (-126)/2*16/(-24). Let l(v) = -v - 2. Let g be l(-5). Suppose -g*h + c = -24. Does 5 divide h?
False
Suppose 0 = 4*m - 3*v - 977 - 1517, -2*m + 1242 = v. Is m a multiple of 10?
False
Does 8 divide (149 - 5) + (-6 - 1)?
False
Let u be 2289/(-49) - 4/14. Does 10 divide 5 - 5 - u - 0/2?
False
Is 16 a factor of (-3 + 5 + -3)*(4 + -449)?
False
Suppose 4*x = -3*j + 12, -8*x = -4*j - 3*x + 47. Let i(m) = -m**2 + 2*m. Let q be i(3). Is j/(-12) - 53/q a multiple of 15?
False
Let u = 46 + -44. Suppose 3*s + 5*n - 128 = 0, -3*s + 112 = -n + u*n. Is 36 a factor of s?
True
Suppose -20 - 46 = -5*y + f, -4*y + 2*f = -54. Let h be -2 - (y + (-2 - -1)). Let m = h - -18. Does 4 divide m?
True
Suppose -4*u + 5*u = 5*d - 20, 20 = 2*u + 2*d. Suppose 4 = -m, 4*j = 5*j + 5*m + 40. Does 15 divide 55 + u/(j/8)?
False
Let b be 3 + (23/(-3))/(1/(-3)). Suppose -290 = -6*c - b. Is c a multiple of 6?
False
Suppose 7*k - 10 = 2*k. Suppose 4*w + d - 8 = 32, k*d - 8 = 0. Does 6 divide w?
False
Let s(x) = -x**3 + x + 9. Let d be s(0). Let q(n) = n**2 - 7*n - 21. Let v be q(d). Does 24 divide v/6 + (-519)/(-6)?
False
Let y(d) = -d**3 - 3*d**2 + 26*d - 27. Does 4 divide y(-9)?
False
Suppose -33 - 19 = -2*b. Suppose 0 = -4*m + b + 46. Is m a multiple of 5?
False
Is 34 a factor of (147/(-14))/7*-678?
False
Does 6 divide (1/(-1))/(-3 - (-1456)/486)?
False
Let j = 449 + -339. Is j a multiple of 22?
True
Let g(f) = -f**2 + 19*f - 26. Let o(i) = i**2 - 18*i + 25. Let v(c) = -3*g(c) - 4*o(c). Is 7 a factor of v(12)?
True
Let b(s) = 12*s**2 - 5*s + 46. Is b(6) a multiple of 13?
False
Does 3 divide ((-4)/7)/(146/(-511)) - -647?
False
Let w = -224 - -498. Is w a multiple of 11?
False
Suppose -3*y + 2503 - 397 = 2*o, -3157 = -3*o - 4*y. Does 83 divide o?
False
Let g(b) = -b**3 - 3*b**2 - 2*b + 4. Let h be g(-3). Suppose 62 + h = a. Is a a multiple of 12?
True
Let u = -20 + 22. Let w = 2 + -2. Suppose n = -2*v + 11, -5*n + w*n - u*v + 95 = 0. Is 21 a factor of n?
True
Suppose -3*u = -q - 1877, 5*q = -16 - 9. Does 39 divide u?
True
Let h = 97 - 29. Is h a multiple of 6?
False
Let b(i) = -i - 10. Let a be b(-13). Suppose 6*d - a*d - 804 = 0. Suppose -188 - d = -4*x + 2*c, 5*x + 4*c - 570 = 0. Is 29 a factor of x?
False
Suppose -4*b - b - 145 = 0. Suppose 2*o + 60 - 156 = 0. Let l = b + o. Is l a multiple of 11?
False
Let h = -191 + 175. Does 23 divide h/(-56) + 822/14?
False
Suppose -31*x = -11846 - 67948. Is 78 a factor of x?
True
Suppose 5*q = -2*q + 35. Suppose q*z - 26 = -x, -x + z - 3 = -23. Does 7 divide x?
True
Suppose -z - 3586 = -5*f, f + 2872 = 5*f - 4*z. Does 84 divide f?
False
Suppose -5*l = -3*n - 11, 5*n - 3*l = -3 + 6. Suppose -5*g + n = -2. Let k(o) = 19*o**2 + 2*o - 1. Is k(g) a multiple of 8?
False
Let h = -289 + 373. Is 14 a factor of h?
True
Suppose 3*a = -2*t + 83, 5*a + t = 119 + 17. Is 3 a factor of a?
True
Let n(o) = 2*o**3 + 44*o**2 + 8*o + 8. Does 29 divide n(-10)?
False
Suppose 2*a - 66 = 104. Suppose a + 20 = 5*u. Does 3 divide u?
True
Let k(t) = t**2 + 7*t - 9. Let a(p) = -7*p + 4. Let r be a(2). Does 7 divide k(r)?
True
Let s be ((-3)/(-9))/((-1)/(-51)). Suppose -b - h = -61, 5*b - 3*h = s + 288. Let t = -33 + b. Is 13 a factor of t?
False
Let v(a) = -66*a - 50. Let z be v(-10). Suppose 45*l = 40*l + z. Does 27 divide l?
False
Suppose -4263 = -50*t + 29*t. Does 25 divide t?
False
Let d(i) = i**3 + 2*i**2 - 4*i + 3. Let j be d(3). Let x = 20 + j. Is 8 a factor of x?
True
Let g = -6 - -3. Let y be g - -3 - (-3 + 44). Let x = y - -60. Does 5 divide x?
False
Let i(f) = 96*f - 5. Let x(s) = -95*s + 6. Let d(p) = 3*i(p) + 2*x(p). Is d(1) a multiple of 13?
False
Suppose -5*c + 1320 = 3*p - 2*c, 2*p + 4*c = 888. Does 55 divide p?
False
Let g = -330 + 550. Suppose -g = 5*c - 9*c. Is c a multiple of 11?
True
Let h(l) = -3*l**2 + 15*l - 6. Let w be h(6). Is 2 a factor of w/72 - (2 + 46/(-3))?
False
Let t(a) = a**2 + a + 50. Is t(-15) a multiple of 4?
True
Let c(s) = s**3