3 - 76*u**3 - u. Does 17 divide y(2)?
True
Let h(a) = a**3 + 36*a**2 + 67*a - 32. Let o be h(-34). Suppose 0*d - 5*s - 299 = -3*d, 194 = o*d - 2*s. Is 6 a factor of d?
False
Is 1*(-1 - 15 - -12227) a multiple of 50?
False
Let i = 1698 - 834. Suppose -6 = 5*b + 14, -4*t = 2*b - i. Does 23 divide t?
False
Suppose 11*f - 15*f + 682 = -3*b, -4*f - 3*b = -670. Suppose -5*m - 3*a = -225, 3*m - 9*a = -4*a + f. Does 7 divide m?
False
Suppose -7*j = -188 - 281. Suppose 69*k - j*k = 16. Suppose -k = -x + 41. Is x a multiple of 7?
True
Let r(b) = 332*b - 5426. Is r(49) a multiple of 3?
True
Let y = -81 + 190. Let h(k) = 4*k - 42. Let r be h(11). Suppose 0 = -r*n - y + 695. Is 42 a factor of n?
False
Suppose 6*b = 37*b - 11718. Let v = b - 317. Is v a multiple of 61?
True
Let v = -352 - -912. Suppose 5*b + 0*d - v = d, -3*b - 2*d + 349 = 0. Does 2 divide b?
False
Suppose 3*l + 42265 = 25*l - 47297. Is l a multiple of 69?
True
Let r(t) = -448*t + 10782. Is r(-53) a multiple of 60?
False
Suppose 0 = g - 14*g. Suppose 5*l = c + 411 + 319, 3*l - 4*c - 421 = g. Let i = 301 - l. Is 14 a factor of i?
True
Is 6 a factor of 24 + 159072/24 + -22?
True
Suppose -166*k = -171*k + 20. Suppose -3*o - k*n + 120 = -7*n, -3*o = -5*n - 120. Is o a multiple of 19?
False
Let y = 16 - 3. Let o = y + -40. Let j = 102 - o. Does 19 divide j?
False
Let b(d) = -8*d**3 + 2*d**2 + 78*d + 483. Does 5 divide b(-6)?
True
Let v be 6*(198/(-60))/((-27)/15). Let d(o) = 2*o**3 - 19*o**2 + 54*o + 13. Does 28 divide d(v)?
False
Let r be ((-23)/((-230)/(-30)))/(9/(-366)). Suppose -3*y = 2*y - 230. Suppose y = 7*n - r. Is 10 a factor of n?
False
Let f(r) be the first derivative of -1/2*r**2 + 19 + 53*r. Is f(-17) a multiple of 10?
True
Let r(k) = -5*k + 87. Let z be r(30). Let i = z - -333. Does 15 divide i?
True
Let f(v) = 12*v**2 - 40*v - 67. Is 24 a factor of f(-7)?
False
Suppose -3*w = -0*w - w. Suppose -2*u + 7*u - 105 = w. Does 28 divide (-390)/(-7) + (-3)/(u/(-2))?
True
Suppose l - 14 = -l. Let a(z) = -737 + 746 - 11*z + 12*z. Is 10 a factor of a(l)?
False
Suppose -47*u - 29*u + 89379 - 15507 = 0. Does 12 divide u?
True
Does 3 divide (-250236)/(-144) - (-7 + 3)/16?
False
Let m be (0 - (-3 - -3))/1 - -15. Let j(g) = -2*g + 35. Let r be j(m). Is 12 a factor of (r + 148 + 5)/(3 - 1)?
False
Let l(o) = -o**3 - 11*o**2 - 9*o - 372. Is 27 a factor of l(-18)?
False
Let d = -10024 - -15710. Is d a multiple of 8?
False
Suppose -8*i = -10*i - 440. Let n = -1 - i. Is n a multiple of 23?
False
Let b = -76 + 26. Let h be 1/((470/(-78) + 6)/1). Let l = h - b. Is l a multiple of 2?
False
Let n(m) = m**3 + 28*m**2 + 193*m + 68. Let s be n(-11). Suppose -16 = 2*h + 5*b, -7 + 1 = 3*b. Does 8 divide (h + 0 + s)/((-3)/183)?
False
Suppose -8*o = -11*o - y + 22317, 0 = 4*o - 4*y - 29740. Is o a multiple of 46?
False
Let i = 8271 + -4581. Is i a multiple of 6?
True
Suppose -5*l = -2*y + 13 + 19, -2*y + 4*l + 28 = 0. Suppose -450 = y*x - 8*x + 4*d, -4*d = 4*x - 888. Is x a multiple of 31?
False
Suppose 4 = 2*t, 66*u = 63*u - 3*t + 2346. Is u a multiple of 30?
True
Let h(d) = -11*d**3 - 7*d**2 + 51*d - 375. Is h(-17) a multiple of 14?
True
Let w(c) = 3*c**2 - 3*c - 8. Let x be w(-2). Let u be (-688)/(-14) + x/(-70). Let v = u - 18. Does 8 divide v?
False
Let f be (-2190)/(-45)*3*3. Let a = -148 + f. Is a a multiple of 9?
False
Suppose -o + 0*o + 3*p + 11779 = 0, -3*o = 5*p - 35323. Is o a multiple of 15?
False
Suppose -o + 2 = 5*k - 38, 0 = 4*o. Suppose -43*s = -k*s - 28700. Is 28 a factor of s?
False
Let f(z) = 102*z**2 - 38*z + 430. Is 94 a factor of f(8)?
False
Let a = 654 - 976. Let j = 952 + a. Does 42 divide j?
True
Suppose -2*k + 6*o + 10 = 8*o, -10 = -5*o. Suppose -k*n + 2*y + 1498 = -0*y, n - 506 = 4*y. Is 83 a factor of n?
True
Let x(l) = 2*l**3 + 7*l**2 + 7*l + 6. Let m be x(-5). Let r = m - -60. Let h = -38 - r. Does 6 divide h?
True
Suppose -4927 = 5*i - 682. Let c = 1682 + i. Is c a multiple of 15?
False
Let j(b) = -14*b - 1. Let o be j(-1). Let y(g) = g**2 - 14*g - 5. Let u be y(o). Let t = u - -53. Is 35 a factor of t?
True
Is (10068/42)/(58/1015) a multiple of 28?
False
Let m(b) = 18*b**2 - 361*b - 1430. Does 8 divide m(-4)?
False
Let r(g) = -g**3 - 25*g**2 + 43*g - 43. Let y be r(-25). Let l = y + 2156. Is l a multiple of 13?
False
Suppose 0 = -c + 4*w + 40, -174 + 34 = -5*c + 5*w. Suppose 4*o + a = -2*a + c, 0 = a - 4. Suppose -2*g - r = -6*g + 83, -5*g = -o*r - 102. Is 4 a factor of g?
False
Let q(j) = -2*j**3 - 7*j**2 + 9*j + 19. Let k be q(-7). Suppose -133 = -4*t + k. Suppose -3*o - o - m = -356, 0 = o + 5*m - t. Is o a multiple of 12?
False
Suppose p - 5*g - 15 = 0, 21*p + 62 = 24*p + 2*g. Let i = 21 - -21. Let m = i + p. Does 5 divide m?
False
Let p(v) = -44*v - 131. Let z be p(-11). Let t = z - 281. Is 8 a factor of t?
True
Let l(s) = s**3 - 7*s**2 - 25. Let n be l(8). Let u = n + -37. Suppose -u*q = 0, 5*t + 3*q = 4 + 66. Does 7 divide t?
True
Let h = -365 - 738. Let z = -599 - h. Is 11 a factor of z?
False
Let l(s) = -s**3 - 8*s**2 - 10*s - 16. Let d be l(-7). Suppose -43 - 207 = -d*v. Is -28*(3 - v/8) - 3 a multiple of 8?
True
Suppose 549*n = 541*n + 9656. Is 8 a factor of n?
False
Let a = 15953 + -14023. Is 3 a factor of a?
False
Suppose -n - 4*d + 0*d - 24 = 0, 0 = -n + 5*d + 12. Let i(p) = -2*p**3 - 8*p**2 - 5*p - 26. Does 48 divide i(n)?
False
Let x(d) = -32*d - 31 - 9 + 14 - 30. Suppose 3*k = -3*n - 9, 4*k - 7*n + 3*n + 28 = 0. Does 26 divide x(k)?
True
Let p = -16970 - -38003. Does 27 divide p?
True
Let r be ((-228)/(-9))/(16/3792). Suppose 23*t + r = 42*t. Is 10 a factor of t?
False
Let i be 0/(-1) - 175/7. Let a = i - -30. Suppose -a*y - 174 = l - 914, -4*l = y - 148. Is 37 a factor of y?
True
Does 13 divide -1 - (-88280)/64 - 18/48?
True
Suppose -18*b + 493 = -4655. Let d = b - 190. Suppose -d = t - 4*t. Is 6 a factor of t?
False
Let c(v) be the second derivative of 23*v**4/12 + 2*v**3/3 + 45*v**2 + 329*v. Is c(-8) a multiple of 17?
True
Let n(u) = u**3 - 4*u**2 - 5*u - 14. Let z be n(6). Let y be 7/z + 118/8. Let q = 44 - y. Is q a multiple of 4?
False
Suppose -2*t + 288 = 2*z, z - 2*t = -z + 268. Let d = -607 + z. Is (d/30)/((-2)/5 - 0) a multiple of 12?
False
Let n = -8796 - -9225. Is 11 a factor of n?
True
Suppose -4*v - 4*v + 16 = 0. Suppose 6 = -v*d, -5*d + d = -5*z + 32. Suppose 0*a + 4*a - 216 = -5*x, -z*a + 96 = 2*x. Is 14 a factor of x?
False
Let f(u) = 19*u + 702. Is 26 a factor of f(0)?
True
Suppose -4*f + 2*w + 9374 = 0, -7887 = -3*f + 5*w - 874. Suppose 3*s = -3*g + f, 10 = -3*s + 13. Does 71 divide g?
True
Suppose 0 = -139*c + 111*c + 111720. Is c a multiple of 35?
True
Let m(p) = -p**3 + p**2 - p. Let b(g) = 53*g**3 + 3*g**2 + g + 1. Let d(a) = -b(a) + 2*m(a). Let y be ((-20)/10)/(8/4). Is 29 a factor of d(y)?
False
Suppose 2*i - 5*b - 24 = 0, -5*b = -4*i + 30 - 2. Let n = -3194 - -3212. Is 17 a factor of (-6)/i - (-19 - n)?
True
Suppose -3*k + 615*q - 620*q + 78109 = 0, 5*q + 52131 = 2*k. Does 32 divide k?
True
Suppose 45 = 2*d - 5*d. Let p be 8/((-40)/d) + 35/(-1). Is 19 a factor of 1/(-4) + (-5896)/p + 6?
True
Suppose -221*j + 224*j - 6912 = 0. Suppose -j = -5*c - 609. Does 22 divide c?
False
Let k be (-680)/6*(-42)/(-35). Let m = 46 - k. Is 26 a factor of m?
True
Suppose -9*g + 821 = -8*g + 3*l, -l - 2473 = -3*g. Does 8 divide g?
True
Suppose 17*t + 5752 = 2*j + 13*t, j = 3*t + 2875. Does 22 divide j?
False
Let g(s) = -30*s - 27. Let k be g(-6). Suppose 6*f + k = -3. Does 13 divide (8 + -5)*f/(-2)?
True
Suppose 0 = 3*s + 4*u - 63345, -2*s - 11305 + 53513 = -u. Does 11 divide s?
False
Is 14 a factor of ((-222)/8)/((-492)/22304)?
False
Let g(a) be the first derivative of -a**4/2 - 3*a**3 - a**2/2 - 6*a + 78. Does 24 divide g(-10)?
True
Let f(s) = -s**3 + 8*s**2 - 8*s - 9. Let a be f(8). Suppose k = 3*k + 78. Let c = k - a. Is c a multiple of 17?
True
Does 2 divide (4902/(-4))/((-963)/1284)?
True
Let f(j) = -28 + 24 + 11*j + 2*j**2 + j**2. Does 17 divide f(9)?
False
Let k = 16496 + -8422. Is k a multiple of 11?
True
Let a = 680 - 680. Suppose -h = 3*z - 280 - 1549, a = -4*z + 4*h + 2412. Does 38 divide z?
True
Let z(j) = -j**3 + 5*j**2 - 4*j + 4. Let d be z(4). Suppose 0*v = -d*v + 28. Is 13 a factor of (-24)/(-1) + (v - 4 - 1)?
True
Let v(f) = 11*f - 11