+ 3. Does 41 divide d(-7)?
True
Let v(f) = 41*f + 1. Let x be v(-1). Suppose 2*p = -3*b + 4 + 101, 0 = 4*p + 4*b - 216. Let a = p + x. Does 17 divide a?
True
Let l = -62 + 71. Is l a multiple of 5?
False
Is (-1 - -2)*105 + -1 a multiple of 26?
True
Let l = -41 - -113. Does 24 divide l?
True
Let r be (2/(-1))/((-2)/(-4)). Is (6/r)/((-3)/16) a multiple of 8?
True
Suppose -u - 575 = -6*u. Is u a multiple of 26?
False
Suppose 2*g = 4*h + g - 1429, h + 3*g - 341 = 0. Is h a multiple of 20?
False
Is ((-8)/(-4))/(6/108) a multiple of 10?
False
Let q be (0*(-4)/8)/1. Does 3 divide -1 - q - (-9 - -2)?
True
Let p(i) = -29*i**3 - 7*i + 3. Let f(q) = 43*q**3 + 11*q - 5. Let l(k) = 5*f(k) + 8*p(k). Is l(-1) a multiple of 17?
True
Let z(c) = c**2 + c + 11. Let a be z(0). Let o(t) = t**3 - 12*t**2 + 11*t + 3. Let r be o(a). Suppose -j + 0*j + h + 9 = 0, -r*h + 1 = -j. Is j a multiple of 7?
True
Suppose -3*f = 23 - 122. Let o be (f - (1 + -2))/1. Let g = o - 20. Is 8 a factor of g?
False
Suppose 0 = -g - 2*g - 15. Let f be 10/(-1)*2/g. Suppose 0 = -4*b - 3*k + 173, 3 = -f*k - 1. Is 22 a factor of b?
True
Suppose 0 = -v - 6 + 2. Let g be (0 + 0)/(v/2). Suppose -5*y + 2*y + 27 = g. Is 9 a factor of y?
True
Let h be -3 + -3 + 3*1. Does 6 divide (1 - (h - -7)) + 10?
False
Suppose -36 = -12*k + 8*k. Is k a multiple of 3?
True
Let y = 5 - 9. Is 6 a factor of (-98)/(-8) - y/(-16)?
True
Let w(v) = v**2 + v**2 + 10*v + 7 - v**2. Let p be w(-8). Let j(g) = -g**3 - 10*g**2 - 11*g - 4. Is j(p) a multiple of 5?
False
Let q(f) = f**3 - 13*f**2 - 14*f + 11. Is q(14) a multiple of 11?
True
Let v(p) = -15*p - 22. Is v(-8) a multiple of 7?
True
Let j(n) = n - 5. Let s be j(4). Let f = -1 + s. Let m(k) = -15*k - 2. Is m(f) a multiple of 14?
True
Is 4 a factor of (-21 - -1)*(-7 - -6)?
True
Suppose -3*f = -2*f - 96. Suppose 4*y + f = 4*a, 0*a + y = 3*a - 70. Does 10 divide a?
False
Let f(h) = 6*h - 7. Let x = -9 + 16. Let k be f(x). Suppose r - k = 7. Is 14 a factor of r?
True
Suppose -h - 52 = -2*o - 0*h, -o = 5*h - 48. Suppose -p + o = -61. Is 28 a factor of p?
False
Let a = 48 + -21. Let h = a - 7. Does 20 divide h?
True
Let z = 0 - -5. Suppose 0 = z*o - o. Suppose -a + 0*a + 8 = o. Is a a multiple of 8?
True
Let s(c) be the second derivative of c**7/630 - c**6/360 + c**5/40 - c**4/6 + c. Let j(y) be the third derivative of s(y). Does 8 divide j(2)?
False
Suppose -4*a + 164 = -0*a - 5*q, -3*a + 123 = 4*q. Does 9 divide a?
False
Let m be (3/(-9))/((-3)/(-27)). Is (-4)/((m - -4)/(-2)) a multiple of 8?
True
Suppose -c + 3*c = 0. Suppose c = -0*b + b - 2. Suppose b*d - 22 - 71 = -p, -p = -5*d + 215. Is 20 a factor of d?
False
Let f(g) = 25*g + 2 - 7*g - 3 + 3*g. Does 20 divide f(1)?
True
Let j(y) = -3*y - 6. Is j(-7) a multiple of 5?
True
Let n = 8 + 0. Is 3 a factor of n?
False
Suppose -5*l = -0*l - 30. Does 16 divide ((-192)/(-9))/4*l?
True
Suppose 8 = u + u. Suppose 0 = u*r + r - 5*o, 0 = -2*o + 4. Suppose 2*j - 60 = -r*j. Does 7 divide j?
False
Let x(g) = -g + 23. Suppose -2*i - 4*o = 4, -3 = -4*i + 2*i + 3*o. Is 6 a factor of x(i)?
False
Let f(l) = l**3 - 7*l**2 - 12*l + 2. Does 8 divide f(9)?
True
Suppose 21 = 5*q - 4. Let o(z) = z**2 - z - 6. Let p be o(10). Suppose -p = -q*i + 16. Is 20 a factor of i?
True
Let t(a) = a**3 + 3*a**2 - 4*a - 1. Let k = 22 - 16. Let z be ((-3)/(-6))/((-1)/k). Does 11 divide t(z)?
True
Let a(k) = -2*k - 15. Is 3 a factor of a(-10)?
False
Does 11 divide (-1 + 50*2)/(6/4)?
True
Let a(k) = 19*k**2 - 7. Let c(u) = -9*u**2 + 3. Let r(w) = -6*a(w) - 13*c(w). Let b(p) be the first derivative of r(p). Is 11 a factor of b(7)?
False
Suppose 3*b = -4*z + 47, 2*z + 4*b = -0*b + 26. Is 6 a factor of z?
False
Let q = 49 - 19. Is q a multiple of 15?
True
Suppose 0*z + 98 = z + u, -3*z - 2*u + 289 = 0. Let s = -45 + z. Is s a multiple of 24?
True
Let g = -53 + 116. Is 12 a factor of g?
False
Let s be (-37)/(-7) - (-6)/(-21). Let a(y) = 2 - 4*y - s - y + 2*y. Is a(-6) a multiple of 15?
True
Suppose 2*g - 6 = -g. Let x(d) = -3 - 3 - 1 + 26*d + 4. Is x(g) a multiple of 25?
False
Suppose -3*s + 3*l + 24 = 0, 0 = -2*s - l - 4*l + 37. Suppose s = -w + 3. Is 13 a factor of 1/4 + (-102)/w?
True
Suppose 3*c - 55 = -2*c. Let u = 16 - c. Is 15 a factor of 2/u + (-123)/(-5)?
False
Let s be 5*(1 - 0 - 0). Suppose s*o + 2*k - 29 = 0, -3*o - 4*k + 23 = 2*o. Suppose 3*x - o + 1 = 0. Does 2 divide x?
True
Let b be (8/1)/((-6)/3). Let y = b + 80. Is 10 a factor of y?
False
Let d = -20 + 53. Let c = 48 - d. Suppose -4*a + c + 25 = 0. Is a a multiple of 5?
True
Let y(b) = 34*b + 8. Is y(3) a multiple of 11?
True
Suppose 12 + 16 = 2*b. Let t be b*(-2 - (-33)/6). Let a = t + -35. Is a a multiple of 11?
False
Let a(k) = -9*k**3 - 2*k**2 + 2*k + 3. Is 6 a factor of a(-2)?
False
Let w = -12 - -39. Let z(s) = -s**3 + 6*s**2 - 3*s - 2. Let n be z(5). Is 15 a factor of w + -1 + n/2?
True
Let b(c) = c**3 - 9*c**2 - 9*c - 8. Let o be b(10). Let v = 6 - o. Is v a multiple of 4?
True
Let v be (-4)/14 + 19/(-7). Is 2 a factor of 3/v*-1 - -6?
False
Let y(h) = h**2 + 7*h + 6. Let j be y(-6). Let k = j + 0. Let s(g) = g**3 + g**2 - g + 15. Does 15 divide s(k)?
True
Is -236*((-12)/8 + 1) a multiple of 19?
False
Suppose 2*j - 26 = j. Is 26 a factor of j?
True
Suppose 19 = -4*w + 3*d, 6*d - 16 = 3*w + 2*d. Let g be 2/(-1*w/54). Suppose -4*c = 4*q - 16 + 4, -5*c + g = 2*q. Does 7 divide c?
True
Let c = -35 - -49. Is 7 a factor of c?
True
Is (4/(-3))/((-20)/90) a multiple of 2?
True
Let v(c) = -c**2 + 6*c - 5. Let m be v(5). Let u = 18 - m. Is ((-38)/(-4))/(3/u) a multiple of 19?
True
Let k(q) = -2*q - 5. Let j be k(-6). Let i = j + -4. Is (1/(-2))/(i/(-36)) a multiple of 3?
True
Let b(n) be the first derivative of 1/3*n**3 - 3*n + 5 - n**2. Is 16 a factor of b(-5)?
True
Let z(f) = -f**2 + 9*f - 10. Let b be z(7). Suppose b*k - u = 21 + 38, 2*k - 3*u - 27 = 0. Is k a multiple of 10?
False
Let f = -5 - -36. Let c = f - -27. Suppose q + 11 = -5*p + c, -q = -2*p - 19. Does 9 divide q?
True
Let v(q) = q**2 - 6*q - 1. Suppose 5*h = 4*h + 8. Does 13 divide v(h)?
False
Suppose 0 = -m + 4*b - 105, 3*m = 2*m - 3*b - 91. Let g = m + 148. Suppose -h - g = -2*l - 4*h, 3*h - 9 = 0. Does 7 divide l?
True
Let x be (-3)/5 + 441/(-15). Let m be (x/(-8))/((-2)/(-48)). Suppose -2*q = -7*q + m. Is 8 a factor of q?
False
Let d be (2 - 0) + -2 + -4. Let u be (-8)/d + (0 - 2). Suppose c = 4*n - 12 - 6, u = -2*n - 2*c + 4. Is 4 a factor of n?
True
Let x(d) = d**3 + 4*d**2 + d + 1. Let g be x(-4). Let l = 5 + g. Is 4/3*27/l a multiple of 9?
True
Suppose -101 = -5*r - 1. Is 20 a factor of r?
True
Let u(p) = -18 + 3*p**3 - 4*p**3 + 5 + 11*p + 8*p**2. Let l be u(9). Let r = 10 + l. Does 15 divide r?
True
Let p(j) = -3*j**3 - 2*j + 1. Let s = -1 + 2. Let o be p(s). Let w(f) = f**3 + 4*f**2 + 3. Is w(o) a multiple of 2?
False
Let b be 150/(-18)*(1 + -4). Let k(h) = h**3 - 6*h**2 + 5*h + 4. Let r be k(5). Suppose 0 = r*c + b - 89. Does 8 divide c?
True
Let o(f) = -f**2 - 17*f - 33. Is o(-10) a multiple of 3?
False
Suppose 5*v - 55 = -3*y, -4*y + 4*v + 60 = 8*v. Suppose -5*f = -y - 15. Suppose -f*k - 10 = 0, 0 = 4*i - 2*k - 6 - 10. Is i even?
False
Let i(p) be the second derivative of p**4/12 - 2*p**3 - 5*p**2 - 5*p. Is i(14) a multiple of 18?
True
Let m be 0 + -84 + (2 - 3). Let w = m + -18. Let g = -74 - w. Does 11 divide g?
False
Let w = 70 + -27. Is 36 a factor of w?
False
Let m = 4 - 2. Suppose 26 - 4 = m*n. Is n a multiple of 3?
False
Suppose -4 = w + w + 2*t, -3*w = -2*t - 14. Suppose -20 = -3*v + w*g, -3*g - 16 = -0*v - v. Is v even?
True
Suppose -5*h = 11 - 116. Does 3 divide h?
True
Let d(a) = 4*a + 2*a**2 + a**2 + 2*a**2 - 4*a**2 + 3. Is d(-7) a multiple of 12?
True
Let y(a) = 2*a**2 - 18*a + 8. Is y(10) a multiple of 5?
False
Suppose -150 = -m + 4*p, -4*m + 3*p = -p - 624. Suppose -m = -5*v - 48. Is v a multiple of 11?
True
Let i(g) = g. Let j be i(-3). Is 6 a factor of 0 - (j + 1 + -12)?
False
Let a(m) = -m**3 + 2*m**2 + 2*m - 2. Let h be a(2). Let p be -2*-61*h/4. Let j = -35 + p. Is j a multiple of 26?
True
Suppose 0*a = a - 4. Suppose -x = -a*x. Suppose l - 4 = -x. Is 2 a factor of l?
True
Let l be (0 - 0) + (-35)/1. Let u = l + 88. Let y = u - 34. Is 7 a factor of y?
False
Suppose 2*a = 36 + 6. Is a a multiple