 + 3. Is b(n) a multiple of 6?
True
Let t(a) = a - a - 2*a - 11*a. Let b = 1 - 2. Is 6 a factor of t(b)?
False
Let y be (9/(-12))/((-4)/64). Suppose -5*z - r = -y - 180, 0 = 5*z - 3*r - 184. Is z a multiple of 19?
True
Suppose 0 = -5*l + 2*l. Suppose l = -3*m + v + 4, 3*m + v - 3*v - 8 = 0. Suppose 4*p = p + 3*d + 51, -5*p - 4*d + 49 = m. Is 13 a factor of p?
True
Let r be (-168)/(-14)*4/3. Suppose 0 = -19*u + r*u + 705. Is 16 a factor of u?
False
Let z(o) = -2*o**3 + 47*o**2 + 52*o - 12. Is 55 a factor of z(24)?
True
Suppose -5*n - 34 = -3*u, -2*u + 2*n + 3 = -13. Suppose a - 68 = -x, -x + 5*x = u*a + 251. Does 12 divide x?
False
Suppose -2001 - 2154 = -4*q - 3*i, 3*i = -5*q + 5196. Is 17 a factor of q?
False
Let i(w) = -w**2 + w + 1. Let m(v) = 4*v**2 - 17*v + 12. Let b(p) = 3*i(p) + m(p). Let k be b(11). Is 23 a factor of (6/(-4))/(k/552)?
True
Let j = 53 + -35. Let i be 32/j + (-8)/(-36). Suppose 3*k - 44 = w - 2*w, -i*w + 74 = 5*k. Is 6 a factor of k?
False
Let g(s) be the first derivative of -s**4/4 - 14*s**3/3 - 8*s**2 - 14*s - 126. Let m = 8 + -21. Does 23 divide g(m)?
False
Let a be (1/(-3))/((-3)/27). Suppose q + a = 5*s, s - 2 = q - 3. Is 15 a factor of 1 - s - -3 - -28?
False
Suppose -7*d + 2864 = h - 3*d, -3*h - d = -8636. Is h a multiple of 30?
True
Suppose -2*r = -7*r + 25. Suppose x = -r, 1 = y + 5*x + 3. Is 5 a factor of y?
False
Let i(q) = -q**2 - 13*q - 35. Let x be i(-10). Is -1*295/x - 4 a multiple of 5?
True
Suppose -3*w = -4 - 8. Suppose 6 = w*y + 3*c, 6*y + 2*c = 4*y + 4. Suppose -b - 4 + 12 = y. Does 8 divide b?
True
Let i(h) be the third derivative of -4*h**6/15 - h**5/60 + h**4/24 + h**3/3 - 8*h**2. Does 12 divide i(-1)?
False
Let p = 148 + -106. Is 6 a factor of p?
True
Suppose -300*u + 140 = -305*u. Is 3 a factor of 8/u + 2110/35?
True
Suppose -1 = 7*n - 8. Is 24 a factor of 3 + 93*(-2)/(-6)*n?
False
Let m(z) = -3*z**3 + 97*z**2 - 2*z + 7 + 2*z**3 - 91*z**2 - 3. Let p be m(3). Suppose -4 = x - p. Is x a multiple of 4?
False
Let x = -26 - -25. Does 7 divide (-5)/7 - x - 480/(-35)?
True
Suppose 4*x = 3*j - 50, 5*x = j + 4*x - 17. Let m = j - 16. Suppose m*v - v = 26. Is 26 a factor of v?
True
Does 6 divide (0 - 2)*(-2241)/27?
False
Let o(a) be the third derivative of 43*a**6/120 - a**5/30 + a**4/24 + a**3/6 + 12*a**2. Is o(1) a multiple of 4?
False
Let z = 27 - 27. Suppose -4*r = -z*r - 5*j + 3, 3 = 3*r - 2*j. Suppose 0 = -r*n + 9 + 234. Does 18 divide n?
False
Suppose -548*f = -544*f - 240. Is 18 a factor of f?
False
Suppose 40*l - 41*l = -860. Is 21 a factor of l?
False
Suppose 10*y = 5*y + 3*v + 207, -3*v = y - 45. Let t = 44 + -26. Let u = y - t. Is 9 a factor of u?
False
Let s(m) = 2*m**3 - 9*m**2 + 4*m - 1. Is 88 a factor of s(11)?
False
Let r = 1 - -4. Let h = -42 - -75. Suppose r*d - h = -3. Does 2 divide d?
True
Let u(z) = 36 + 4*z + 2*z - 38 - 4*z + 73*z**2. Does 14 divide u(2)?
True
Suppose -43*f = -58599 - 2676. Is f a multiple of 14?
False
Let l be 612/14 - 4/(-14). Let d = -61 - l. Let z = d + 151. Is 23 a factor of z?
True
Suppose -5*q + 60 = -5*p, 2*q + 0*q + p - 18 = 0. Is 8/(-18)*30*(-132)/q a multiple of 11?
True
Let z(p) = -2*p**2 - 53*p - 3. Is z(-9) a multiple of 13?
True
Let q(u) = 540*u**2 + 4*u + 4. Does 10 divide q(-1)?
True
Let p be 45/(-10)*4/(-3). Suppose 130 = 4*q - p*q. Is 5 a factor of -1*3*q/15?
False
Suppose -3*m - 2*o = -0*o + 1, -5*m + 4*o = -13. Is 12 a factor of (-528)/(-12) - (-1 - m)?
False
Let a be (-65)/26*6/(-5). Let k(c) = -9 - 2*c + 6*c - c**a + 14*c**2 - 4*c**2. Does 7 divide k(10)?
False
Is 5 a factor of 3*(20/10 - -60)?
False
Suppose 7*h - 3*h - 108 = 0. Suppose 0 = 29*j - h*j - 80. Is 8 a factor of j?
True
Suppose -g + 68 = -457. Suppose g = -3*v + 8*v. Is v a multiple of 17?
False
Let b = -127 + 148. Is b a multiple of 7?
True
Let m(s) = 95*s**3 + 5*s**2 - 35*s + 58. Is 46 a factor of m(2)?
False
Let a = 21 + -17. Suppose -a*m = -q, 0 = -5*q - 0*q - 3*m + 23. Suppose 0*d - 72 = -f - d, 0 = q*f - 5*d - 288. Does 36 divide f?
True
Let w be (72/16)/((-1)/(-2)). Suppose w*g - 132 = 7*g. Is g a multiple of 22?
True
Suppose 0 = -5*g + 4*g + 37. Suppose 5*r - 148 = g. Does 7 divide r?
False
Suppose 6 - 20 = -7*x. Suppose -x*m - 1112 = -10*m. Is m a multiple of 9?
False
Let o(g) = 27*g + 46. Does 4 divide o(5)?
False
Let o(x) be the first derivative of 2*x**3/3 - 3*x**2/2 + 16*x + 26. Is 30 a factor of o(-8)?
False
Let b = -11 + 11. Let h be 12 - (b + (0 - 3)). Is (-20)/(-6) + 10/h even?
True
Let i(f) = -6*f + 2. Let h be i(-3). Suppose 4*u = -u + h. Suppose -5*c + 4*k + 110 = 0, -39 = -3*c + u*k + 35. Does 6 divide c?
True
Let t = 441 + -215. Is 41 a factor of t?
False
Let w(d) = 10*d - 28. Let h be w(18). Let g = h + -75. Is 10 a factor of g?
False
Let b(f) = -4*f**3 - 4*f**2 - 6*f - 2. Let g be b(-3). Suppose -m + 0 = -5*j + 3, 5*j = -4*m + g. Is m even?
False
Let p(f) = -7*f**3 + 6*f**2 - 8*f. Let c be p(4). Let k = 548 + c. Is k a multiple of 41?
True
Suppose -2*w - 42 = -5*p - 712, 3*w - 994 = 2*p. Does 22 divide w?
True
Let h = 1407 + -833. Is 12 a factor of h?
False
Let i = 33 - 30. Suppose -i*v + 101 = -58. Is 9 a factor of v?
False
Let l(q) = 9*q. Let z be l(-6). Let g be (-1612)/(-16) - 3/4. Let c = g + z. Is 23 a factor of c?
True
Suppose -11*u - 16565 = -48102. Is 34 a factor of u?
False
Let k(q) = -10*q + 320. Is 5 a factor of k(19)?
True
Let x(q) = -8*q**2 - 2. Let r be x(-2). Let g = -62 - r. Let t = g - -54. Does 10 divide t?
False
Suppose -2 = -n + 1. Suppose 0*d - n*d = -12. Suppose -6*s + 62 = -d*s. Is s a multiple of 8?
False
Suppose 652 = l - 155. Is 33 a factor of l?
False
Let d = 24 - 17. Suppose 3*a = w + 5*a - d, 0 = w - 4*a - 13. Is (3/w)/(1/15) a multiple of 2?
False
Let m = 16 - 15. Is m/4 - 2172/(-16) a multiple of 34?
True
Let o(a) = 5*a + 31. Suppose -3*r + 7*r + t = 17, -4*r + 26 = -2*t. Is o(r) a multiple of 56?
True
Let j = -1 - -2. Let l be j - (3/(-3) + -2). Suppose 0 = -2*c - l*r + 76 + 120, -2*c + r = -186. Is 28 a factor of c?
False
Let u be (-5)/10 - 1/(-2). Let x = 4 + u. Is 306/24 + 1/x a multiple of 13?
True
Let n(k) = 6*k**2 - 23*k + 121. Is 95 a factor of n(17)?
False
Let v = 85 - -515. Is 15 a factor of v?
True
Let c(x) = x + 1. Let p(d) = 0*d - 5*d**2 + 8 - 3*d + 6*d**2 - d. Let f be p(4). Is 9 a factor of c(f)?
True
Suppose 3*s + 3 = -3*m - 6, 4*m + 2*s = -2. Suppose m*d + 0 = 4. Suppose -2*y - d*y + 108 = 0. Does 9 divide y?
True
Let x be ((-24)/(-18))/((-2)/(-6)). Suppose 5 = -5*k, x*k - 671 = -5*b - 75. Does 15 divide b?
True
Suppose -12*g + 15*g = 5*y - 25, 0 = -4*g - 20. Let s = 3 - 2. Suppose -27 = -y*k - s. Does 3 divide k?
False
Suppose l = 55 + 7. Let u = l + -30. Is 32 a factor of u?
True
Let c(s) = -s**3 + 4*s**2 + 13*s - 6. Let m be c(6). Suppose -5*t + 2*y + 242 = m, 86 = 3*t + 3*y - 55. Is 16 a factor of t?
True
Let b(q) = 114*q**3 + q**2 - 8*q + 12. Does 16 divide b(2)?
True
Suppose 5*h - 334 = -4*s, 125 = 3*h - 5*s - 68. Is 5 a factor of h?
False
Let g(h) = 8*h**3 + h**2 - 3*h + 1. Let i be g(2). Is 16 a factor of (210/i)/((-2)/(-48))?
True
Let q = 30 - 39. Let v = q + 26. Is v a multiple of 6?
False
Let q = 112 - 18. Let n = q + 71. Is 55 a factor of n?
True
Let d be (-9 - -8)/((-1)/(-66)). Let v = 34 - d. Is 20 a factor of v?
True
Let z(g) = -62*g - 292. Is 12 a factor of z(-26)?
True
Suppose -5568 = -37*v + 29*v. Is 8 a factor of v?
True
Let n = 86 - 1. Let c = n + -35. Does 10 divide c?
True
Let y(j) = j**3 - 7*j**2 + 5*j - 3. Let k be y(5). Let c = k - -36. Is c a multiple of 8?
True
Let i = 52 + 1. Suppose -3*u + 3*d - d = -41, -4*d = 3*u - i. Is u a multiple of 10?
False
Let n = 3 - 0. Suppose -2*i + 6 = -y + i, -4*y + 3 = -n*i. Suppose 5*m = 4*l + 331, -2*m - 2*l = y*l - 106. Is 21 a factor of m?
True
Let f be 125/2 + 1/2. Let k = 37 - 33. Suppose 3*i = k*i - f. Is i a multiple of 21?
True
Suppose 3*w + t = -t - 52, 0 = 2*w + 4*t + 48. Let q be (1 + -9)/(w/14). Let c = 25 - q. Is 3 a factor of c?
False
Suppose -2*g + 0*g - c = -513, -2*c + 2 = 0. Let y = g + -129. Let o = y + -76. Does 17 divide o?
True
Let w = 9 + -5. Suppose w*s - 175 - 201 = 0. Does 15 divide s?
False
Is 21 a factor of 6/(-2) - (-17 + 6 + -136)?
False
Let q = 4 + 26. Let c be 1235/2 - 15/q. Suppose 3*s - c = -200. Does 28 divide 