b) = w*n(b) - d(b). Is k(0) a multiple of 23?
True
Is -14 + 1 + 12 + 1054 a multiple of 7?
False
Suppose -4*p + 2*p = 3*p - 10475. Is 5 a factor of p?
True
Suppose -5*r + 2*o + 31596 = 0, 16*r - 4*o + 12648 = 18*r. Is 16 a factor of r?
True
Let a(u) = 71*u + 18. Let w(o) = -8*o + 107. Let s be w(13). Is a(s) a multiple of 11?
True
Let j = -25998 - -41412. Is 29 a factor of j?
False
Is 7 a factor of 4/1 - (33 - 13122 - -42)?
False
Suppose 331*t - 4166300 = -352*t. Does 3 divide t?
False
Does 2 divide (-4 + 6)/((-16)/(-20344))?
False
Let i be 1*-12*(8 - (3 - -2)). Let p be (-17)/(((-1)/(-2))/(i/24)). Suppose -p = -4*y + 3*v, 5*v + 60 = -0*y + 5*y. Does 13 divide y?
False
Let z be (-7038)/(-17) - (1 - 2). Suppose 0 = 4*w + 2987 - z. Let s = -379 - w. Is 36 a factor of s?
False
Let u(o) = -4*o - 23. Let x be u(-8). Suppose 0 = -6*l + 63 + x. Let f = 26 + l. Does 16 divide f?
False
Let n(p) = p**3 + 5*p**2 - 6*p - 4. Let j be n(-6). Let g(b) = 4*b + 1 + 0 + 9 - 28*b. Does 40 divide g(j)?
False
Let i(u) = 765*u - 87. Let p be i(-4). Is 8 a factor of p/(-18) + (5 - 29/6)?
False
Let b(j) = -4*j**2 - 132*j - 28. Is 11 a factor of b(-31)?
True
Let l(g) = 8*g**3 - g**2 + 71*g + 132. Is 14 a factor of l(8)?
True
Let m(b) = -b**3 + 23*b**2 - 19*b + 51. Let u be (0 - -63)*(-10)/(-30) + 1. Does 3 divide m(u)?
True
Suppose -27*u = -35*u - 72. Let x be 597/u + -4*2/12. Let y = x - -87. Is 8 a factor of y?
False
Let c(v) = v**2 + 14*v - 22. Let b(d) = d + 1. Let r(a) = -6*b(a) - c(a). Let l be (1*(1 + 19))/(-1). Is 16 a factor of r(l)?
True
Let x(d) = 439*d**2 - 4*d + 7. Let s(f) = 878*f**2 - 7*f + 12. Let o(c) = -2*s(c) + 5*x(c). Is 24 a factor of o(2)?
False
Let q be ((-1)/(-5))/(6/90). Suppose 0 = -3*y - y + 2*z - 28, 21 = -q*y - 5*z. Does 22 divide 1/((-28)/(-12)) - 459/y?
True
Suppose -5*h + 3194 = n, 80*n - 75*n - 3190 = -5*h. Does 9 divide h?
True
Suppose 113*z - 123*z + 23000 = 0. Is 50 a factor of (z/(-8))/((0 + 1)/(-2))?
False
Let l(i) = i**3 - 5*i**2 - 7*i - 21. Let y be l(7). Let j = 31 - y. Suppose 0 = -j*d + 15, -2*u + d = 5*d - 108. Is 7 a factor of u?
False
Let f be 1/((-2)/4 - (-3042)/6108). Let g = f + 836. Does 33 divide g?
False
Suppose -10115 = 6*x + 2*x - 42339. Is 210 a factor of x?
False
Let d(t) = -t**2 - 10*t - 12. Let f be d(-8). Let r(s) = -s**3 + 12*s**2 - 14*s + 20. Let p be r(8). Does 41 divide 2*p/16*f?
True
Let c = -1834 - -2401. Is 75 a factor of c?
False
Let o(y) = y**3 + 21*y**2 - 293*y + 31. Is o(-29) a multiple of 11?
False
Does 38 divide 1 + 1 + (7 - 1*(-3708 + -7))?
True
Let j be (-4)/(-1) + (-2)/1. Let n(o) = -6*o + 287. Let w be n(22). Does 4 divide w/10 + 1/j?
True
Let r(l) be the third derivative of 11*l**4/8 - 7*l**3/2 + 60*l**2. Is r(4) a multiple of 34?
False
Let f(g) = 1189*g**2 - 58*g - 152. Is 196 a factor of f(-6)?
False
Suppose 0 = -p - 2*g + 68, 4*p + g = 5*p - 68. Suppose -6*m = -8*m + p. Is 2 a factor of m?
True
Suppose 16*v - 21*v = j - 5786, 3*j - 2317 = -2*v. Does 10 divide v?
False
Let g be (-1723)/(-5) + -2*(-12)/60. Let h = -241 + g. Is 8 a factor of h?
True
Suppose 2*n - 2*m - 48394 = 0, -m = -5*n - 23316 + 144305. Does 222 divide n?
True
Suppose 5*u - 3*k - 1841 = 0, -108*k + 1435 = 4*u - 105*k. Is 16 a factor of u?
False
Suppose 4*l - 19 = -u - 6, 2*u = -3*l + 11. Suppose -5*i - l*j + 1453 = -j, 562 = 2*i - 4*j. Does 31 divide i?
False
Let p(o) = 21*o**2 - 20*o - 19. Let w(u) = -32*u**2 + 30*u + 29. Let m(n) = -7*p(n) - 5*w(n). Is 11 a factor of m(6)?
True
Suppose 716 + 120 = 11*q. Let f = -23 + q. Is f a multiple of 9?
False
Let h be -2*(1 + (-12)/8). Suppose 5*k + 26 = r + h, 5*r - 33 = 2*k. Suppose 4*a = r*q - 185, -113 = -4*q - 4*a + 35. Is q a multiple of 6?
False
Let z(p) = 9*p - 2 - 21*p + 15*p. Let r be z(2). Is 5 a factor of (43/(-4) + -1)/((-1)/r)?
False
Let v be 10/2*(11 + 371/(-35)). Suppose d + v*d = 708. Is d a multiple of 59?
True
Let g(p) = 76*p - 146. Let l(r) = r**3 - 11*r**2 - 37*r - 62. Let i be l(14). Does 22 divide g(i)?
True
Let q be (-55)/66 + (-2297)/(-6). Let d = q + -208. Is d a multiple of 5?
False
Is 10 a factor of (-8)/(-7) - (-1621774)/539?
True
Suppose 4*f + 10 = -f, -4*f + 1 = -3*w. Let j(c) = -7*c**2 - 8. Let p(l) = -14*l**2 - l - 16. Let k(z) = w*p(z) + 5*j(z). Is k(-4) a multiple of 36?
True
Suppose -5*p + 9 - 19 = 3*c, -2*p + 7 = -c. Is 11 a factor of 3 + 2 - p/((-2)/210)?
True
Let o be (-4)/18 + (-1196)/(-36). Suppose -4*c = -51 - o. Is 12 a factor of 3/c + 3/42*502?
True
Let z = -3270 + 10771. Is 61 a factor of z?
False
Let f(v) = -v**3 + 8*v**2 + 5. Let k be f(8). Suppose -4*u - 5 = -k*u. Suppose 4*y - 8 = 0, -3*l + u*y = -0*y - 101. Is 5 a factor of l?
False
Let i = -28 - -32. Suppose i*h + 3*z - 752 = -0*z, -4*h - 5*z = -752. Is 26 a factor of h?
False
Suppose -34918 = -38*w - 12*w + 304832. Does 151 divide w?
True
Suppose -w = -2*m + 39236, 2*m = 14*w - 12*w + 39236. Is m a multiple of 17?
True
Suppose g + 238*k - 15879 = 234*k, 0 = 3*g + 4*k - 47661. Does 19 divide g?
False
Suppose -2*r - r = 5*y - 14, 2*y - 2 = -3*r. Suppose 0 = y*t - 4*x - 20, 5*t + 5*x - 26 - 9 = 0. Let q(c) = 8*c - 1. Does 22 divide q(t)?
False
Let n(q) = -q**3 - 13*q**2 - 47*q - 182. Does 62 divide n(-22)?
True
Let q = 839 - 494. Is 97 a factor of 24*(-4 + q/6)?
False
Let w be 5 + 2 + 45/(-15). Suppose -415 = -4*v - 3*b, -w*b + 210 = v + v. Is 13 a factor of v?
False
Let h(r) = -72*r**2 - 3*r - r**3 + 67*r**2 - 3*r. Let q be h(-3). Suppose -5*l - 25 = 0, -4*w - 5*l + 288 + 135 = q. Is w a multiple of 14?
True
Suppose -43*r = -66*r - 8655 + 63970. Is 13 a factor of r?
True
Let s(y) be the second derivative of y**4/12 - 2*y**3/3 + 11*y**2 + 5*y. Is 17 a factor of s(0)?
False
Let b = 112 - 228. Let z = 178 + b. Suppose 3*d - 94 - z = -3*t, -5*t = d - 60. Is 10 a factor of d?
True
Let g be (-8)/(-20) - (716/10)/(-1). Suppose 0 = -g*m + 71*m + 418. Is 34 a factor of m?
False
Let r = 691 + -691. Suppose p + 4*j - 883 = r, -p = -3*j + 420 - 1331. Does 17 divide p?
False
Let d = -47 + -95. Let k = d - -138. Does 8 divide 4*k*155/(-62)?
True
Is 7 a factor of (-31)/(-155) + -6*10060/(-75)?
True
Let g = 1 - -4. Suppose -4*b = -g*i, -2*b - 22 = -4*b - 3*i. Suppose -44 = -o - 5*t, b*o - 332 = 3*t - 0*t. Is o a multiple of 8?
True
Suppose 5*d = -j + 14 - 42, -d + 2*j = -1. Let h be 3 - d/((-20)/12). Suppose -24*q + 20*q + 440 = h. Does 11 divide q?
True
Let o be (1 - 1)*2/4. Let k(n) = o*n**2 + 0*n**2 - 3 + 0 - 9*n - n**3 - 7*n**2. Does 4 divide k(-6)?
False
Let b(m) = 3*m**3 - m**2 - 7*m - 11. Let w(r) = 8*r**3 - 2*r**2 - 15*r - 23. Let z(y) = 5*b(y) - 2*w(y). Is 8 a factor of z(-7)?
True
Suppose -f = 2*j + 36, 2*j + 0*f = -3*f - 40. Let t = j + 53. Is 18 a factor of t?
True
Suppose 2*q = -3*g + 2*g + 23, -4*q - 5*g = -43. Does 7 divide (-606)/4*(28/q - 7)?
True
Let x(u) = -u - 15. Let c be x(-21). Suppose -c*r - 552 = -1470. Does 17 divide r?
True
Does 5 divide -1 + -2 + -2 + 1155?
True
Suppose -2*w = w - 12. Let h(z) = -w - 1 + 7 + 6*z + 2*z**2. Does 4 divide h(-5)?
False
Let l(v) = 6*v + 4*v**2 - 3*v - 2*v**2 - 4 + 6. Let p be l(-4). Let n = 14 + p. Is 6 a factor of n?
True
Let f(i) = i**3 - 9*i**2 + 8*i - 14. Let j be (-25)/(-3) - 18/54. Let l be f(j). Let x(n) = n**2 + 5*n - 2. Does 31 divide x(l)?
True
Suppose -1325*d - 19 = -1336*d + 3. Suppose -5*z + 10 = -a - a, 3*a - 5*z = -10. Suppose -4*s - 178 = -3*h, a = d*h - 3*s + 16 - 135. Is 9 a factor of h?
False
Let z(w) = 580*w**3 - 2*w**2 + 4*w - 3. Let s be z(2). Let b = -1568 + s. Does 31 divide b/22*2/3?
True
Let i = -14 + 14. Suppose 2*a - 2*r + r + 26 = i, -3*a - 41 = -r. Let b(g) = -4*g - 19. Does 8 divide b(a)?
False
Let d(w) = -w - 2. Let x(k) = 2*k**2 - 92*k + 90. Let r(s) = -8*d(s) - x(s). Is r(49) a multiple of 12?
True
Does 73 divide (-2 + 1)/(-4 + (-177387)/(-17739) + -6)?
True
Let b be (100/18 - (-20)/45) + -3. Suppose 5*i - b*w = 201, -3*i + i + 87 = w. Is i even?
True
Let u(h) = 47*h + 16. Let y = -66 + 63. Let p(i) = 47*i + 17. Let m(w) = y*p(w) + 2*u(w). Is m(-4) a multiple of 10?
False
Suppose 2*m = -4*l + 27 + 449, 5*l = 3*m - 758. Does 3 divide 4/(-84)*-7*m?
False
Let q(o) = -3*o + 1. Let x(m) = 17*m + 249. Let d(j) = -4*q(j) + x(j). Is d(32) a multiple of 17?
True
Let p(x) = -x**3 + 3*x - 1. Let b be 2 + (-4)/(-5 +