-10)/(-7))/(m/(-196)) a multiple of 10?
True
Let j = -51 - -101. Let r = j - 27. Is r a multiple of 9?
False
Let m be 1 + 0 + (2/(-1) - -4). Suppose 5*y - 305 = -a, -y = -m*y + 3*a + 122. Is 12 a factor of y?
False
Suppose -m - 5*m + 72 = 0. Does 36 divide (176/6)/(8/m)?
False
Suppose -24*y = -29*y + 2100. Suppose -y = 2*z - 7*z. Does 29 divide z?
False
Let g = 6 + -2. Let m(w) = w + w**2 + g*w - 7 + 24. Is m(-7) a multiple of 5?
False
Suppose 2*c + 3*i + 2 = 0, 3*c + 2*i = -i + 3. Suppose -c*u - 35 = -365. Suppose -3*j - u = -7*j - 3*a, 54 = 4*j - 3*a. Is 5 a factor of j?
True
Let q(r) = -r**2 - r. Let t(n) = -5*n**2 + 8*n + 5. Let u(k) = -6*q(k) - t(k). Does 25 divide u(-3)?
True
Suppose -3*v = 4*s - 33, 0 = -3*v + 7*v - 4*s - 16. Suppose -4*r = 20, -v*j + 2*r = -3*j + 114. Let h = j - -58. Does 16 divide h?
False
Let u = 45 + -50. Is 5 a factor of (u/(-2) + -2)/((-6)/(-180))?
True
Suppose -13*a - 1536 + 9999 = 0. Is a a multiple of 15?
False
Let k(i) = 10*i - 2. Suppose 3*a - 5*a - 8 = 0. Let v(n) = n**3 + 4*n**2 + 5. Let z be v(a). Does 12 divide k(z)?
True
Let i = 27 + -24. Suppose 4*y = -3*o + 40, i*y = -2*y - o + 50. Is y a multiple of 10?
True
Suppose -3*u = 2*l + 24, -4*u - 2*l - 37 = -5. Does 22 divide (-1406)/u - 4/(-16)?
True
Let f(q) = -5 - 5*q + 3 + 10*q. Let w be f(1). Suppose 8*o = w*o + 135. Does 14 divide o?
False
Let c(b) = 2*b**2 + 18*b + 28. Suppose 54 = -3*q + 3*n, 0*n + 15 = 3*n. Is c(q) a multiple of 33?
True
Let c = -739 + 992. Does 23 divide c?
True
Let k = 2 + 0. Does 37 divide (1566/21)/2 + k/(-7)?
True
Let d be (105/70)/(1/(-74) + 0). Let k = d + 178. Does 22 divide k?
False
Let c(l) = 5*l**2 + 21*l - 16. Let p(v) = -4*v**2 - 20*v + 15. Let d(b) = 3*c(b) + 4*p(b). Is d(-13) a multiple of 16?
True
Let z = -137 + 134. Suppose -r - 3*w = -16 + 6, -2*r + 2*w = 4. Is r/(z + (-67)/(-22)) a multiple of 22?
True
Suppose -4*p + 882 = -o, o = 1 + 1. Does 29 divide p?
False
Let k(x) = -x - 9. Let p be k(-14). Suppose 4*n + 5*y - 309 = 0, p*y - 19 = 6. Is n a multiple of 20?
False
Let c be 1/1 + 96*4. Suppose -q + 6*q = c. Is q a multiple of 11?
True
Let z be 79 - 3/(-6)*2. Suppose 0*w + w = z. Does 16 divide w?
True
Suppose -24 = -4*c + 436. Suppose 5*z = -5*s + c, -4*z = -s + z + 47. Does 9 divide s?
True
Let s(w) = -2*w + 345. Let j be s(0). Let a = 540 - j. Does 42 divide a?
False
Let p(f) = 15*f + 11. Let h(a) = -7*a - 6. Let d(n) = 13*h(n) + 6*p(n). Let u be d(-11). Does 5 divide u + -1 + 22*1?
True
Suppose -71*r = -9*r - 16926. Is 23 a factor of r?
False
Suppose 5*t - 1212 = 3*i, i + 530 - 46 = 2*t. Is 16 a factor of t?
True
Let r(w) = w + 3. Let j be r(-10). Let d be 88/14 + 2/j. Suppose 246 = d*m + 18. Is 15 a factor of m?
False
Suppose a + 1 = -b, b - 3*b + 2*a + 18 = 0. Suppose -b*n - 271 = -2*m - m, -3*m = -3*n - 270. Suppose 4*d = 79 + m. Is d a multiple of 16?
False
Let r(d) = d**3 + d**2 + d + 2. Suppose -2*n = -n. Let b be r(n). Does 10 divide 37 + -1*(-3 + b)?
False
Let b(w) = -3*w**2 + 4. Let d be b(-3). Let x = d - -58. Does 5 divide x?
True
Suppose 0 = -31*z + 26*z. Suppose -4*p = -z*r - r + 12, -p = -2*r + 45. Does 3 divide r?
True
Suppose -5*n + 446 = -4*n - 3*c, -1777 = -4*n + 5*c. Does 26 divide n?
False
Suppose 0 = -t + 3*t + 4*x - 36, -4*x + 12 = 0. Let r = 14 - t. Let f(s) = -s**3 + 6*s**2 - 2*s - 2. Is 8 a factor of f(r)?
False
Let c be (-1)/(6/(-6)) - (-2 + 1). Suppose 2*b + y = 16, -b - 3*y = -4*y - c. Does 6 divide b?
True
Suppose -5*n - 2*l - l = -1285, 2*n - 4*l - 514 = 0. Is 32 a factor of n?
False
Let j(w) = 5*w - 45. Let i(n) = -3*n + 23. Let q(x) = -11*i(x) - 6*j(x). Let c(u) = -10*u + 2. Let b be c(-1). Does 36 divide q(b)?
False
Suppose -3*y + 8064 = -3*u, -10*y - 4*u = -5*y - 13485. Does 36 divide y?
False
Suppose -4*i - 16 = 0, 1349 = 11*f - 6*f + 4*i. Is 21 a factor of f?
True
Let o be (-11 + 9 + (0 - -1))*-2. Suppose 4*i + 3*z = 251, -z = -o*i + 4*z + 93. Is 25 a factor of i?
False
Let o(z) = 3*z**2 + 29*z + 2. Let s be o(-4). Suppose 0 = 3*f - w + 90, -2*w = 2*f - 3*w + 60. Let d = f - s. Is d a multiple of 6?
True
Suppose -14*c - 57 = -2983. Does 3 divide c?
False
Let y = -1341 - -2496. Does 35 divide y?
True
Suppose -12*n + 3251 = -181. Does 29 divide n?
False
Suppose -3*q = -5*q. Suppose q = -x + 9 - 3. Is (-4)/(2 - x) - -8 a multiple of 4?
False
Let p(w) = -w**3 - 8*w**2 - 15*w + 5. Let x be p(-5). Suppose -v + 2*k = -135, -x*k = 2*v + 17 - 323. Does 13 divide v?
True
Let p(d) be the second derivative of -d**7/2520 + d**6/80 + d**5/20 - d**4/3 + 2*d. Let n(o) be the third derivative of p(o). Is 14 a factor of n(8)?
True
Suppose -12628 = -25*x + 32*x. Does 4 divide x/(-28) - 6/14?
True
Let k be 3 + -3 + 0 + 83. Let h = -7 + k. Suppose -2 = a + 5*p - 29, 2*a - p - h = 0. Is 12 a factor of a?
False
Suppose j = -3*v + 12 + 2, 5*v - 4*j - 12 = 0. Let g be (-2)/6 + (-271)/(-3). Suppose v*a - g = 178. Is a a multiple of 18?
False
Let b(h) be the second derivative of h**3/3 + 3*h**2/2 + 2*h. Let j be b(3). Let z(a) = 2*a - 6. Is z(j) a multiple of 3?
True
Let u(t) = -t**2 - 26*t - 15. Suppose -9 - 21 = 2*v. Is 17 a factor of u(v)?
False
Let i(n) = 55*n**3 + 2*n**2 - 2. Let l be i(1). Let r = l - -73. Does 16 divide r?
True
Let u(k) = 10*k + 502. Is u(6) a multiple of 22?
False
Let d = 374 - -138. Is d a multiple of 19?
False
Is -12 + 3292 - (-11 + 2) a multiple of 15?
False
Suppose -n + a + 32 + 28 = 0, 2*n - a - 116 = 0. Let o = 184 - n. Is 32 a factor of o?
True
Suppose 4*w = -0*i + 2*i + 378, 2*i + 284 = 3*w. Suppose -3*r + 3*o + 95 = -5*r, 0 = 2*r - 3*o + 77. Let u = r + w. Does 17 divide u?
True
Suppose 55*y - 61*y + 66 = 0. Let c = y - -77. Is 44 a factor of c?
True
Suppose 2*k - 10 - 30 = 0. Suppose 2*t = 6*t - k. Let m(r) = r**3 - r**2 - 4*r - 5. Does 15 divide m(t)?
True
Let k = -7 + 9. Suppose l - 4*n - 24 = 5, 0 = -k*n + 8. Is 5 a factor of l?
True
Suppose 9 = 7*k - 19. Does 10 divide -1 + k + 0 + 37?
True
Let s be 12*((-14)/4 - -4) + -6. Let i = 2 - -1. Suppose -i*q + s*q + 132 = 0. Is 13 a factor of q?
False
Let p = 1457 - -1771. Does 21 divide p?
False
Let k be -4 - 8*-1 - -10. Suppose -15*o + 10 = -k*o. Suppose -4*y - o = -78. Does 7 divide y?
False
Suppose i = -4, -4*h - 28 = -6*h + 3*i. Let f(a) = 3*a + 9. Is 5 a factor of f(h)?
False
Let k(u) = u**2 - 9*u + 18. Let i be k(7). Suppose 3*r + 9 = 5*a, -6 = -4*a - r + 8. Suppose i*s = -n + s + 82, -a*n - 4*s = -241. Is n a multiple of 34?
False
Suppose 5*b + 1 = 21. Suppose 216 = -0*p + b*p. Is 11 a factor of p?
False
Let j(n) = -7*n**3 + 2*n**2 - n. Let x be j(1). Does 2 divide 23/2 + 3/x?
False
Let h be ((-4)/6)/((-6)/45). Let l be 3/(-2 + -2 + h). Is 4 a factor of l*((-1)/(-3) - -4)?
False
Let o(g) = 78*g + 14. Is 8 a factor of o(3)?
True
Suppose -w - 18 = w - f, -4*f = w - 9. Let b(u) = u**2 - u - 4. Is 8 a factor of b(w)?
False
Let l be (2 - -31)*(-20)/12. Let s = -32 - l. Is s a multiple of 11?
False
Let a = -1319 - -3594. Is a a multiple of 15?
False
Let r be 21 + (0 - 1/1). Let q be (r/4 - 3) + -79. Let a = 109 + q. Does 8 divide a?
True
Suppose -5*x + 2*g - 4*g + 1372 = 0, -5*g - 572 = -2*x. Suppose 0*k = -3*k + x. Let d = k + -55. Does 19 divide d?
False
Let o(b) be the second derivative of -b**3 - 3*b**2 - 9*b. Is o(-7) a multiple of 12?
True
Does 55 divide -19 - -2248 - (7 - -1)?
False
Suppose -15 = -11*o + 7. Suppose -2*r + 5*n = -20, -5*r + 14 = -2*n + 6. Suppose o*f - 14 - 14 = r. Is f a multiple of 6?
False
Suppose -l - 3*r = -6, 12 = 2*l - 0*l + 4*r. Let k(w) = -w**2 + 9*w - 11. Let m be k(l). Suppose n - 10 = m. Is 9 a factor of n?
False
Is 16 a factor of ((-160)/(-48))/(2/195)?
False
Let k(m) = -m**3 - 12*m**2 - 3. Let p be k(-12). Let w = 0 - p. Suppose 5*v + 2*c = 19, 0 = v - c - w*c + 5. Is v even?
False
Suppose -5*l - 2*i + 10 = -2, 4*l - 4*i = 32. Suppose 2*d = -14 - l. Is 13 a factor of 2/9 + (-349)/d?
True
Suppose 0 = y - 2*f - 74, 4*y - 232 = y + 4*f. Let k = y - 54. Is k a multiple of 15?
True
Suppose 0 = 3*k - 35 - 25. Let u = -40 + k. Is (-1315)/u - 3/4 a multiple of 13?
True
Let l = 26 - 22. Suppose u + 3*f = 17, 6*u - l*f - 90 = 3*u. Let p = 42 - u. Is p a multiple of 4?
True
Suppose 0 = -0*y + 2*y + i - 241, -2*y = 5*i - 245. Suppose 2*w = -g - 28 - 88, 2*w - g + y = 0. Let k = w + 100.