**2 + 4*n + 4. Is 9 a factor of i(-5)?
True
Suppose 4 = a - 1. Let x(h) = -4*h + 2*h - a*h + h + 4. Is 15 a factor of x(-3)?
False
Let y = 68 - 44. Does 6 divide y?
True
Suppose 0 = -m - 2*f - 16, -2 = 4*f + 6. Let x(l) = l**2 + 11*l + 18. Is 21 a factor of x(m)?
False
Let x = 14 + 34. Is x a multiple of 7?
False
Suppose -309 = -5*m + 4*f, -2*f + 276 = 4*m + 2*f. Is 9 a factor of m?
False
Suppose -3*d - 2*d + 365 = 0. Suppose 4*k - 7 = d. Is k a multiple of 5?
True
Suppose -4*p - 2*g - 110 + 400 = 0, -12 = 4*g. Is 11 a factor of p?
False
Suppose 3*h = 2*h - 2. Is -3 - h/2*8 even?
False
Is (-2 - 0) + (-2)/((-2)/39) a multiple of 12?
False
Is (-2 + 43)*-4*2*-1 a multiple of 41?
True
Let h(v) = v**3 + v**2 - v. Suppose 3*d + 6 = x, -d = -3*x + 3*d + 3. Let o be h(x). Is o/(-10)*(-58)/(-3) a multiple of 10?
False
Let x(p) = p**3 - 7*p**2 + 2*p - 10. Suppose -4*v - z - 3*z + 48 = 0, 2*v + z = 19. Let f be x(v). Suppose 4*j = w - f, 3*j + 64 = 5*w + 5*j. Does 12 divide w?
True
Let b be 27/5 - (-6)/(-15). Let o(g) = -g**2 + 7*g - 5. Let u be o(b). Is 8 a factor of (-6)/(-2 + u/4)?
True
Let r(x) = -x**3 - 2*x**2 + 7*x - 4. Let m(d) = -2*d**3 - 5*d**2 + 13*d - 7. Let f(c) = -6*m(c) + 11*r(c). Suppose -n + 32 = -5*n. Does 4 divide f(n)?
False
Suppose 2*i - j = 12, 2*i + j = 5 - 1. Suppose 5*w - i = 26. Does 2 divide w?
True
Suppose 0 = -3*q - q + 12, -5*p = 3*q - 89. Is 4 a factor of p?
True
Let h(f) be the second derivative of f**3/3 + 3*f**2/2 + 2*f. Let z be h(5). Suppose 5*k - 67 = z. Is k a multiple of 8?
True
Suppose -1 + 6 = b - 4*o, 100 = 5*b - 5*o. Suppose 2*q + 6*g - 3*g = b, -2 = -q + 2*g. Is q even?
True
Let j(d) = 41*d. Let o be j(2). Suppose 2*s = -0*s + o. Does 15 divide s?
False
Let q(p) = 2*p + 1. Let t be q(1). Suppose t*n - 14 = -2. Is 2 a factor of n?
True
Let q(l) = -l**2 - 2*l + 5. Let c be q(-4). Let v be ((3 - 3) + c)*2. Let w(y) = -y**2 - 7*y. Does 3 divide w(v)?
True
Let b be (-4)/(-10) + 496/10. Suppose z + z = -b. Is 6 a factor of ((-90)/z)/(3/10)?
True
Does 14 divide ((-28)/6)/(5 - (-1494)/(-297))?
True
Suppose -2*c + 15 = -7*c. Let s be (3 - 1) + (-2 - c). Suppose s*t - 6*t - 3*a = -78, 64 = 4*t - 4*a. Does 9 divide t?
False
Let j(x) = 2*x - 4. Let u(h) = -15*h**3 - 2*h**2 + h. Let p be u(1). Let m be p/(-12)*(-30)/(-4). Is 11 a factor of j(m)?
False
Suppose 4*r + 55 = f, -1 = -r - 5*f - 20. Does 14 divide 1*r/6*-12?
True
Let i(r) = r - 2. Let j be i(4). Does 3 divide (10/j + 0)/1?
False
Suppose -3*y - l = -77, -3*l = -y + l + 43. Suppose 0 = -2*f + 5*m + y + 26, -4*f = 4*m - 120. Is f a multiple of 12?
False
Let o = 24 - 20. Let g(w) = 6*w**2 - 4*w + 1. Is g(o) a multiple of 19?
False
Let c(a) = 9*a + 9. Does 18 divide c(5)?
True
Let k(y) = -2*y - 1. Let a(m) = 2*m + 1. Let p(u) = -6*a(u) - 5*k(u). Is p(-5) a multiple of 9?
True
Let z = 169 - 109. Is 15 a factor of z?
True
Let n(f) = 4*f**3 + f**2 - 3*f + 2. Let i be (-80)/(-44) + 4/22. Does 16 divide n(i)?
True
Let q(a) = -a**3 - 5*a**2 + 6. Suppose -25 = 3*x - 10. Is q(x) a multiple of 5?
False
Let n = 4865 + -1139. Let k be 2/(-5) + n/15. Is k/18 + 4/18 a multiple of 7?
True
Let i(d) be the second derivative of -5*d**3/3 + d**2/2 + d. Let x be (-5 - -3) + 3 - 3. Is 7 a factor of i(x)?
True
Let g(p) = p + 3*p + 7 - 1. Let a be g(6). Suppose -x + 0*x + a = 0. Is x a multiple of 11?
False
Suppose -2*q - 5*t = q - 247, -2*t + 158 = 2*q. Suppose 2*y + 0*y = -q. Let g = y + 57. Is 10 a factor of g?
True
Suppose 0 = 5*z - 4*z - 6. Is 2 a factor of z?
True
Let p(i) be the third derivative of 0 - 1/12*i**5 - 1/120*i**6 + 0*i**3 - 1/8*i**4 - 4*i**2 + 0*i. Is p(-5) a multiple of 4?
False
Let a be (-6)/2 + (-126)/(-6). Let c = 26 - a. Does 7 divide c?
False
Let j(m) be the second derivative of -2*m + 2*m**2 + 1/3*m**4 + 1/20*m**5 + 0 - 1/3*m**3. Is j(-4) a multiple of 7?
False
Suppose -x + r + r + 5 = 0, 0 = -4*x + 4*r + 16. Suppose 60 = p + x*p. Is p a multiple of 15?
True
Suppose -5*n + q - 6*q = -15, 5*n - q + 15 = 0. Let u = n - -13. Is 11 a factor of u?
True
Suppose 0 = -4*a + 4*l + 340, 2*a = -3*l + 81 + 69. Is a a multiple of 9?
True
Suppose k + 7 = 2*k. Is 12 a factor of k/21 + (-286)/(-6)?
True
Let d(b) = -2*b**3 + 12*b**2 + 7*b + 5. Let v(h) = h**3 - 6*h**2 - 4*h - 2. Let a(m) = 4*d(m) + 7*v(m). Let r = 4 - -2. Is a(r) a multiple of 3?
True
Let h = 7 + 6. Is h a multiple of 7?
False
Suppose 0 = -4*i + 3*i + 3*h - 37, 4*i = -5*h - 97. Is i/(-5)*(-5)/(-2) a multiple of 6?
False
Suppose 5*i + 2*d = 1194, -d = -0*i - i + 243. Suppose -b - i = -5*b - c, 3*c = 5*b - 300. Does 15 divide b?
True
Let p be 0*3/(-6 - 0). Suppose -37 = -p*s - s. Is 13 a factor of s?
False
Let o be (-4)/(-2 + (-16)/(-10)). Is 21 a factor of 9/45 + 758/o?
False
Suppose 3*q - 2*q = 90. Does 9 divide q?
True
Let k(x) = -x**2 + 6*x - 5. Let p be k(4). Suppose p*b - 100 = -2*b. Does 10 divide b?
True
Let v be 1/4 + (-1)/4. Let s(c) = -7*c**3 + c**2 + 8*c**3 - 2*c + 2*c + 18. Does 9 divide s(v)?
True
Suppose 7*l = 5*l + 10. Suppose 4*k - l = -3*b + 78, 0 = -3*b + 4*k + 43. Is 17 a factor of b?
False
Suppose 6*s - 335 = -65. Is 28 a factor of s?
False
Suppose 2*z - 36 = 2*j, 0*j - 4*j - 58 = -3*z. Let m = 8 - z. Is (-3)/(-2)*(-16)/m a multiple of 4?
True
Suppose 5*t + 2 = 12. Suppose 3*o - 5*o + 10 = 0, -4*o = -t*a - 8. Is a a multiple of 3?
True
Let s be (-94)/18 + 18/81. Let q(g) = -g + 1. Is q(s) a multiple of 5?
False
Let l(z) = -14*z. Suppose 4*x = x - 12. Is 28 a factor of l(x)?
True
Let v(g) be the first derivative of g**3/3 - g**2 - 5*g - 2. Let c be v(4). Suppose c*f + 75 = 6*f. Does 18 divide f?
False
Let k be 15/10 + (-2)/(-4). Suppose 5*u - 2*z = 16, -5*u - 3*z = -k*z - 22. Suppose 2*w - u*w = -42. Is 19 a factor of w?
False
Let s = -14 - -14. Let t be ((-20)/8)/(2/(-28)). Suppose -4*q - q + t = s. Is 3 a factor of q?
False
Let c(w) = w**2 + w - 10. Let o be c(-6). Is 14 a factor of 102/5 - (-12)/o?
False
Suppose -l + 4*l - 105 = 0. Suppose -2*p + 53 + l = 0. Is 22 a factor of p?
True
Suppose 7 + 5 = 4*t. Suppose 5*w - 2*a + 0*a = -1, 3 = 3*w - t*a. Is 8 a factor of (-55)/(-6) - w/(-6)?
False
Let n(o) = -5*o - 6. Is n(-6) a multiple of 12?
True
Let q = 176 + -120. Is 28 a factor of q?
True
Suppose -21*q + 462 = -18*q. Is q a multiple of 21?
False
Let l = 6 + 1. Let u be (2/(-7))/((-1)/l). Suppose u*k + 39 = 3*k. Is 13 a factor of k?
True
Suppose 5*g + 5*b - 20 = 0, 3*g + 3*b = g + 12. Suppose 0 = 4*u - g*u + 240. Let l = u - -112. Does 26 divide l?
True
Let q be 2 + -4*2/(-4). Suppose c = -q*c + 920. Is c/32 + (-1)/(-4) even?
True
Does 19 divide (-19)/(-2)*(0 + 7 + 3)?
True
Suppose 4*x + 3*d - 1 = 21, -x + d = -2. Suppose -x*b = -3*b - 83. Is b a multiple of 23?
False
Is ((-2)/(-2))/(-4 + (-306)/(-76)) a multiple of 10?
False
Let c(q) = q**2 + 5*q - 29. Does 32 divide c(12)?
False
Let s be 3/(2 + 1)*0. Suppose s = -4*i + 3*n + 40, 26 = 3*i + 3*n - 4. Does 10 divide i?
True
Let q(b) = b**2 - b + 110. Is 22 a factor of q(0)?
True
Let g(s) be the third derivative of s**6/120 - s**5/15 - s**4/12 - 5*s**3/6 - s**2. Does 5 divide g(5)?
True
Is 63/(-3 + 6 + -2) a multiple of 11?
False
Let d(j) = -4*j + 8. Let s be ((-4)/6)/(8/60). Let r(v) = v**2 + 7*v + 3. Let z be r(s). Does 10 divide d(z)?
False
Suppose 2*t + 3*t = 0. Suppose g + a = 37, -5*a = -g - t*g + 25. Is g a multiple of 14?
False
Suppose -3*h - r + 25 = 0, -r = -4*h - 6*r + 48. Let m = 14 - h. Is 6 a factor of m?
False
Suppose -39 = -k - 15. Suppose k = b - 6. Is 12 a factor of b?
False
Suppose 0*p - 2*p = 108. Let c = -17 - p. Is c a multiple of 15?
False
Let t = -244 - -349. Is t a multiple of 13?
False
Suppose 15 = 3*p, 2*t - 2*p + 3*p - 9 = 0. Suppose 2*x + 68 = 6*x - 4*r, t*r = 10. Is x a multiple of 22?
True
Suppose -k + 32 = -7. Is k a multiple of 14?
False
Let v = 4 - -1. Suppose r = v*k - 3*k + 3, -4*r + 47 = -k. Is r a multiple of 13?
True
Suppose -4 = 3*o - 2*o. Let g = -71 + 68. Is g/(-3) - (-1 + o) a multiple of 6?
True
Let l be (2/(-3))/(3/(-27)). Is 10 a factor of 114/8 - l/(-8)?
False
Let f be 21/(-2)*2/(-3). Suppose 0 = -5*h + f + 8. Suppose -4*o + 15 = h. Is 3 a factor of o?
True
Let r = -61 - -109. Suppose 5*z + r = z. Is ((-27)/z)/((-3)/(-32)) a multiple of 12?
True
Suppose d + 3*z = 42, 0 = 4*d + z - 5*z - 216. Is 17