m + m. Is m a multiple of 9?
False
Let o(w) = w**3 + 5*w**2 + w - 8. Let h(f) = -f + 9*f**3 + 0*f**3 - 2*f**3 + 7 - 4*f**2 - 8*f**3. Let m(z) = 7*h(z) + 6*o(z). Does 15 divide m(-3)?
False
Let n(v) = -v**3 - 13*v**2 - v - 25. Let p be n(-13). Is 6*9/((-81)/p) a multiple of 5?
False
Suppose -2*k = 1 - 5, -4*k = 4*p - 216. Let o = 30 - 22. Suppose -o - p = -5*t. Does 3 divide t?
True
Let c(r) = r. Let m be c(3). Let t(x) = -7*x**2 + 6 + m*x - 4*x - 4 + 8*x**2. Is 8 a factor of t(-5)?
True
Let w be 3/(-24)*2 + 51/12. Let a(b) = -b**2 - 6*b - 3. Let o be a(-6). Is 14 a factor of -28*(10/w + o)?
True
Suppose 90*c + 36906 - 306096 = 0. Is c a multiple of 28?
False
Let x = 6 - -24. Let j be (x/8)/((-8)/32). Let a = 0 - j. Is 12 a factor of a?
False
Let a = -394 - -554. Suppose a = 6*v - 3*v + 4*m, -4*v + m + 188 = 0. Is 3 a factor of v?
True
Suppose 2*j - 3*y - 9 = 0, -5*j + 2*y + 12 = -27. Let m(x) = j + 3*x + 3*x + 4 - 7*x. Does 7 divide m(6)?
True
Let z(s) = s**3 + 7*s**2 - 7*s - 24. Is z(-6) a multiple of 36?
False
Let m = 0 - -4. Suppose m*u = 2*k, 2*k + 8*u - 3*u = 0. Suppose k*x - x = -39. Is x a multiple of 13?
True
Let x = -164 + 186. Is x a multiple of 11?
True
Is 15 a factor of 18456/72 + (-8)/6?
True
Suppose -391 = -3*b + 1961. Is b a multiple of 12?
False
Let s = 24 - 5. Let t(y) = -y**3 + 19*y**2 + 3*y + 5. Is t(s) a multiple of 7?
False
Let u(d) = -5*d**2 + 75*d - 4. Is u(10) a multiple of 9?
False
Suppose -3*n - 4*q + 1664 = 0, 4*n + 5*q - 1177 = 1043. Does 70 divide n?
True
Let b(c) = c**2 - 3*c - 22. Let q be b(-4). Suppose -q*a + 837 = 3*a. Does 12 divide a?
False
Let p = 149 + 591. Does 5 divide p?
True
Suppose 3*m = 3*v + 77 + 286, 0 = 4*v + 4. Is 5 a factor of m?
True
Let j(i) be the first derivative of i**4/4 + i**3/3 + i**2/2 + 26*i - 3. Let t = -14 + 14. Is 6 a factor of j(t)?
False
Let h = 43 - 22. Is (60/35)/(2/h) a multiple of 5?
False
Let c be (-1)/2*(861 + -3). Let n = c + -591. Is ((-3)/6)/(6/n) a multiple of 17?
True
Let c(y) = 2*y**3 - 9*y**2 - y - 39. Is c(7) a multiple of 17?
False
Suppose -1451 + 7115 = 16*v. Does 9 divide v?
False
Suppose 3*f - 4*b + 12 = 40, 0 = -3*f - 3*b + 21. Let a = -5 + f. Suppose 2*y = 5*h - 57, -3*h - a*y = h - 41. Does 11 divide h?
True
Let x = 60 - -175. Does 22 divide x?
False
Suppose -68448 = -21*z - 11*z. Is z a multiple of 101?
False
Suppose c - 14 = 10. Suppose -2*d - 2*d = -p - 16, 4*d = -p + c. Suppose 3*j = 3*g - 6, -2*g + 28 = -0*g + p*j. Is 3 a factor of g?
True
Let t(q) = -q**3 + 6*q**2 - 6*q + 4. Let i be t(5). Let m = 131 + i. Suppose 0 = -3*w - w - 2*j + m, -4*w - j = -125. Is w a multiple of 15?
True
Let c = -69 - 138. Let q = c - -325. Is 35 a factor of q?
False
Let a(k) = 3*k**3 - 2*k**2 + 24*k - 7. Does 18 divide a(4)?
False
Let c = 16 - 3. Suppose -c*j + 9*j + 256 = 0. Let q = j - 46. Is q a multiple of 8?
False
Let j be 8 - -233 - (1 + -5). Let o = 359 - j. Suppose -s - o = -7*s. Does 3 divide s?
False
Let b(u) = u**2 - 16*u + 18. Let g be b(14). Let i be (5/g)/((-1)/(-42)). Is 14 a factor of (-20)/((-36)/i + -2)?
True
Does 23 divide 10*(-4)/(-8) + 1099?
True
Let b = 30 - 28. Suppose -z + 53 + 43 = 4*n, b*n - 5*z - 26 = 0. Is 6 a factor of n?
False
Suppose k + 55 = 130. Does 28 divide 4965/k - (-1)/(-5)?
False
Suppose -5*i + i + 72 = -3*l, 4*i + 3*l = 48. Suppose 4*v - 153 = i. Is 14 a factor of v?
True
Let d be (-76)/7 + (-6)/42. Let i = d + 15. Suppose 0 = -i*w - 4*h - 2 + 6, -1 = 4*w + 5*h. Is w a multiple of 6?
True
Let g(j) = j + 3 + 3 + 2. Let t = -217 - -223. Is g(t) a multiple of 5?
False
Let c(a) = a**2 - 7*a + 7. Let v(p) = -6*p - 6. Let u(r) = 7*r + 5. Let g(q) = 4*u(q) + 5*v(q). Let w be g(-10). Does 12 divide c(w)?
False
Suppose -5*s - 3 = -4*s. Is 26 a factor of 234*(2 - (-8)/s)*-1?
True
Let y = 3894 + -291. Is 102 a factor of y?
False
Suppose -v - 7 + 9 = 0. Suppose -4*l + 684 = v*l. Is 38 a factor of l?
True
Let t(l) = -20*l - 9. Let c be t(3). Does 19 divide (c/15 - -4)*-255?
False
Does 3 divide 3/(-7) - (3588/(-42) - -1)?
True
Let j = 20 + 2. Let z be 4/j + (-126)/(-33). Suppose o - 3*b - 54 = -4*b, -2*o - z*b + 112 = 0. Does 13 divide o?
True
Let s(t) = -5*t - 2 - t**2 + 2*t**2 + 3*t**2 - 4*t. Does 12 divide s(4)?
False
Suppose 2*k + 5 = 3*z - 3*k, 0 = -2*z + 3*k + 4. Let v(l) = 4*l**3 - 7*l**2 - 2*l + 2. Does 41 divide v(z)?
False
Let g = 11 - 22. Let t = -15 - g. Let l = t - -24. Does 13 divide l?
False
Let d be 488/7 - (180/(-42) - -4). Suppose 0*o + 5*o = d. Is o a multiple of 4?
False
Suppose b + j + 35 = -12, 3*b = -5*j - 143. Let v = b + 244. Is 18 a factor of v?
True
Let x(h) = -h**3 - 8*h**2 + 2*h + 19. Let b be x(-8). Let t(l) = -5*l**2 - 3*l - 4. Let y be t(b). Let o = y - -115. Is o a multiple of 16?
False
Suppose -35 - 655 = -6*v. Is v a multiple of 16?
False
Suppose 2 = 5*v - 3. Let n be (-3)/3 - (-1 - v). Does 6 divide (4/6)/(n/18)?
True
Suppose 3 = -2*b - 4*h + 9, -2*h = 2*b - 8. Suppose 3*q - 744 = 3*x, 377 = b*q - 4*x - 868. Is 23 a factor of q?
True
Let d = 153 + -96. Let w = 39 - d. Is 23 a factor of 25/(-2)*w/9?
False
Let g(i) = i**3 + 14*i**2 - i - 11. Let s be g(-14). Is s*(-4)/24 - (-441)/2 a multiple of 55?
True
Suppose 39*w + 1336 - 5704 = 0. Is w a multiple of 56?
True
Let f be 27092/234 + (-4)/(-18). Suppose -2*u + 12 = u. Suppose -f = -u*y + 52. Does 12 divide y?
False
Suppose -16 = -l - l. Let o = l + -8. Suppose o*h + 2*h = -5*w + 100, -5*w + h + 85 = 0. Does 9 divide w?
True
Let k(o) = o - 7. Let f be k(9). Suppose f = 2*h - 2. Let q = h + 4. Does 2 divide q?
True
Let u = 138 - -317. Is 23 a factor of u?
False
Is 112887/666*(-1)/(6/(-76)) a multiple of 113?
True
Suppose -x + 0*x - 10 = 0. Let z be 6/4*((-7)/21 + -3). Let v = z - x. Is v even?
False
Does 24 divide 0 + 3031/4 + (-91)/52?
False
Let r(k) be the second derivative of k**5/20 - 5*k**4/12 - k**3/2 - 15*k**2/2 + 8*k. Does 24 divide r(7)?
False
Suppose j + 22 = -3*k + 8*k, 0 = -5*k - 5*j + 40. Let v(f) = -7*f**2 - f**3 - k*f + 2*f + f**2. Is 18 a factor of v(-6)?
True
Suppose -x - 4*x - r - 32 = 0, -5*x + r - 28 = 0. Is 0 + (-15)/x*74 a multiple of 37?
True
Let b = 5337 + -3353. Is 77 a factor of b?
False
Let a = 9805 + -6836. Does 23 divide a?
False
Suppose b - 4 = -b. Suppose 0 = 2*z + b - 8. Let i = z - -6. Is i a multiple of 9?
True
Let u(z) = -z**2 - 4*z + 3. Let o be u(-5). Let n be (-1)/4 - o/8. Suppose t - 4*y - 59 = n, 222 = 4*t + y - 3*y. Is 34 a factor of t?
False
Let i(c) = c - c**3 + c + 27*c - 4*c**2 - 25*c**2 + 1. Does 12 divide i(-30)?
False
Let i = -37 + 110. Let r = i + 199. Is r a multiple of 17?
True
Let v(j) = -j**3 - 3*j**2 - 6*j + 2. Does 4 divide v(-3)?
True
Let z = -274 + 342. Is z a multiple of 21?
False
Let q(g) = g**3 - 21*g**2 + 2*g + 148. Is q(28) a multiple of 25?
False
Suppose -577 = -4*j + 779. Is j a multiple of 13?
False
Suppose 3*h = 9, -5*h = -p - 6*h + 489. Is 17 a factor of p?
False
Let b = 137 - 125. Suppose -b*f - 2*f = -756. Is 2 a factor of f?
True
Let y = 16 - 9. Let r(s) = 7*s + 2. Let c be r(y). Suppose c + 27 = 2*d. Is d a multiple of 13?
True
Let g(y) = -y**3 - 12*y**2 + 3. Suppose 4*f = -h - 24, 5*h - 1 = 5*f - 46. Let d be g(h). Does 24 divide d*(1 - (-21)/3)?
True
Let u = 124 - -842. Does 46 divide u?
True
Let g = -2 + -77. Let r = 13 - g. Is 28 a factor of r?
False
Suppose b + 0*b + 40 = -z, -4*b = -3*z + 153. Let t = b + 112. Does 23 divide t?
False
Is 75 a factor of (6 - -619 - -2) + -4?
False
Suppose 450 = 8*p - 3*p. Suppose 4*z + p = 9*z. Suppose 2*v = -0*v + z. Does 3 divide v?
True
Let u = 92 + -35. Let d = u - 9. Does 12 divide d?
True
Let b(z) be the first derivative of -73*z**3/3 - z**2/2 + 2*z - 5. Let u be b(-2). Does 11 divide u/(-5) + 14/35?
False
Suppose 3*r = 7*r - 8. Let w(f) = -3 + 16*f**2 + 3 + 13*f**r - f. Does 10 divide w(1)?
False
Suppose -36*l + 125 = -35*l. Suppose 3*h - 1 - l = 0. Is h a multiple of 14?
True
Suppose -3*o = -6, 8*j - 10*j - 3*o = -60. Does 11 divide j?
False
Is 369 + 0 + 3 + -1 + -1 a multiple of 27?
False
Let d(h) = h**3 + h. Suppose -1 - 2 = -3*r. Let n be d(r). Suppose 3*c + n*c - 55 = 0. Does 11 divide c?
True
Is 10 a factor of (2 + 2)*90/3?
True
Let i be (39/(-52))/((-1)/68). Is ((-1462)/i)/(2*1/(-3)) a multiple of 5?
False
Let r be ((-36)/30)/((-3)/50). Let b 