16. Does 9 divide n(4)?
True
Let m(a) = -3*a + 2. Let u be m(-6). Suppose 0*n = -n - 5. Let q = n + u. Is q a multiple of 15?
True
Let g(v) = v**3 + 10*v**2 + 14. Let x be g(-10). Suppose -4*z + 0*z - 2*k + x = 0, 2*z = 5*k + 25. Is 3 a factor of z?
False
Let x(h) = -h**2 - 5*h. Let o be x(-3). Let k(d) = 2*d - 6. Let c be k(4). Suppose -5*i + c*r = -148, 0 = -o*i + 4*i + 2*r + 64. Is 14 a factor of i?
True
Suppose 0 = -m + 4*m - 6. Suppose 4*i = m*p, 4*p + 5*i = 2*p + 18. Suppose p*f - 6 = 30. Is 4 a factor of f?
False
Let g(v) = -v**2 + 5*v - 3. Let d be g(5). Let l = 5 + d. Suppose 0 = -l*w - 7 + 27. Is w a multiple of 10?
True
Suppose -4*i + 5*s = -17, 0 = 4*s + 2 + 2. Suppose -i*u - 65 = 2*u + 4*y, 3*u + 3*y = -36. Let h = u + 30. Is 5 a factor of h?
False
Suppose 2*v = -4*v + 1542. Suppose 5*j + 3*n = 6*n + v, -3*j + 4*n = -152. Does 20 divide j?
False
Let m = -159 + 231. Is m a multiple of 24?
True
Let y(b) = b**3 + 12*b**2 + 12*b + 10. Let q be y(-10). Suppose 6*t - 3*t = q. Does 13 divide t?
False
Does 44 divide (-12)/1*(-132)/18?
True
Let s = 2 + 51. Is 21 a factor of s?
False
Suppose -o - 4*o = -5*x + 495, 291 = 3*x - 5*o. Does 26 divide x?
False
Let u = -10 - -6. Does 12 divide 2/u*144/(-6)?
True
Suppose 4*p = 4*d + 44, 3*d + 45 = 4*p - 1. Is p a multiple of 13?
True
Let k = 12 - 18. Let c be (-100)/k + (-4)/6. Let g = 22 - c. Is g a multiple of 3?
True
Does 28 divide 5/1 + 245 + 38?
False
Let s(h) = -h**3 + 2*h + 3. Let j(c) = 0 - 2 - c**2 + 2*c + 4. Let d(f) = 3*j(f) - 2*s(f). Does 4 divide d(2)?
True
Suppose 4*h = -2*x + 108, 174 = 4*x + h - 7. Is 22 a factor of x?
True
Is (4 - -151)/5 - 6/(-2) a multiple of 9?
False
Suppose 3*v + 15 = 75. Does 20 divide v?
True
Let c(i) = -i**3 + 4*i**2 + 7*i - 6. Let a be c(6). Let o = a - -90. Is o a multiple of 18?
True
Is 7 a factor of ((980/(-10))/(-7))/(2/11)?
True
Does 19 divide (151 - (-6)/3) + -1?
True
Let r(i) = i**3 - 6*i**2 - 4*i. Is r(7) a multiple of 5?
False
Let d = 6 - 3. Let w(f) be the third derivative of f**4/6 - 8*f**2. Does 8 divide w(d)?
False
Let u(h) = -6*h - 6. Let o = 3 - 0. Let p be o*(-1 + 3/(-9)). Is 7 a factor of u(p)?
False
Suppose -4*n + 14 = 5*o + 36, -n = -2*o - 1. Let u = o + 12. Is u even?
True
Suppose 12 = -4*f + 7*f. Suppose -3*j + 77 = l, 6 + f = 5*l. Does 25 divide j?
True
Suppose -15 = -4*c + 3*l, 0 = -2*c - c - 5*l - 25. Let u = c - -17. Does 17 divide u?
True
Suppose 0 = -5*f + 5*q - 100, -5*f - 4*q = -5*q + 92. Let b be (f/(-15))/(2/15). Suppose -b = -3*a + 57. Is 15 a factor of a?
False
Suppose 5*g - 2*l = 2*l - 8, 0 = 2*g + 2*l - 4. Let a = g + 3. Suppose 0 = -8*w + a*w + 5*u + 75, 4*w + 4*u - 84 = 0. Is w a multiple of 9?
True
Let c(q) = -q**3 - 3*q**2 + 2*q + 1. Is 18 a factor of c(-6)?
False
Let r(h) = 9*h + 6. Let x be (-2)/((-2)/(-1) + -3). Is r(x) a multiple of 8?
True
Suppose -3*p - q + 6 = p, -2*q = 2*p. Let u(k) = -2*k**2 + 4*k**p + 6 - 5. Is u(-4) a multiple of 11?
True
Let h(f) be the second derivative of f**3/6 + f**2/2 - f. Is 4 a factor of h(8)?
False
Let m = 4 + -1. Let z(u) = -6*u**3 + u**2 - 1. Let w be z(1). Does 4 divide (-2)/m*81/w?
False
Let s be -5*6/10*2. Let g(c) = -c**3 - 6*c**2 - 5*c - 8. Is g(s) a multiple of 11?
True
Let h be (8/(-6))/(10/(-15)). Suppose -h*c = 17 - 81. Is c a multiple of 26?
False
Let r(l) = 11*l - 1. Let g be r(3). Suppose 8 = -3*b + g. Let u(t) = t**2 - 8*t + 7. Is 7 a factor of u(b)?
True
Suppose -2*m - m = 2*w - 2, 0 = -5*w + 2*m + 24. Suppose -5*h = 2*i - 39, 0 = -2*i + w*h + 20 + 28. Is i a multiple of 15?
False
Let r(n) be the third derivative of -n**4/6 - 3*n**2. Let f be r(-1). Suppose 3*o + f*p = 117, -20 = o - 3*p - 72. Is 15 a factor of o?
False
Is (132/8)/((-6)/(-8)) a multiple of 8?
False
Suppose -66 - 54 = -5*v. Suppose 4 - v = 5*a. Let y(g) = g**3 + 6*g**2 - 3*g + 2. Does 16 divide y(a)?
False
Let a(t) = t**3 - t - 2. Let u be a(2). Suppose -n = 5*g - 193, g + u*n = 5*n + 41. Suppose j + 2*j = g. Does 13 divide j?
True
Let d be 6*(2*-1 - -3). Let c be 0*(9/(-3))/d. Suppose c*y = -5*y + 25. Does 3 divide y?
False
Let z(o) = o**3 - 4*o**2 + 3*o - 10. Is z(4) even?
True
Let i(n) = n**3 - 6*n**2 + 4*n - 3. Let w be i(5). Let m be (-2 - -34)*(-6)/w. Let p = m + -3. Is 15 a factor of p?
False
Is 14 a factor of (183/15 + -1)*5?
True
Let z(a) = a**3 + 5*a**2 - 17*a + 6. Does 8 divide z(-6)?
True
Let d = 392 - 112. Is 40 a factor of d?
True
Let c = 7 - 4. Suppose -g - 5*l + 41 = c*g, 0 = 5*g - 3*l - 5. Is g a multiple of 2?
True
Let u = -22 + 86. Is u a multiple of 15?
False
Let a be (-4)/(-18) + (-50)/(-18). Let n(l) = -l + 7. Let q be n(a). Suppose -g = 5, 2*g = -q*i - 0*i + 162. Is i a multiple of 16?
False
Let c(l) = -9*l + 1. Suppose -s - 10 = n + 2*n, 2*s + 2 = 0. Is 10 a factor of c(n)?
False
Is 2/(-7) - (-15045)/105 a multiple of 11?
True
Let t be 584/10 + 8/(-20). Suppose -4*o - t + 334 = 0. Is 21 a factor of o?
False
Let w(q) = q**3 - 4*q - 4. Let l(y) = y + 7. Let i be l(-3). Is 17 a factor of w(i)?
False
Let l = 86 - 37. Let q = 95 - l. Is q a multiple of 12?
False
Is 5 a factor of (-14)/63 + (-2)/((-18)/497)?
True
Does 25 divide 2/14 + 1384/14?
False
Is -10*-148*5/25 a multiple of 37?
True
Let r(b) = b**3 + 3*b**2 + b + 7. Let u be r(-3). Does 6 divide -8*1*(-8)/u?
False
Let g(w) be the second derivative of w**5/20 + 7*w**4/12 - 3*w**3/2 + 5*w**2 + 2*w. Is 9 a factor of g(-8)?
True
Suppose 0 = 2*g + g. Suppose -p = -3*a - 25, -3*p + 3*a + g*a + 93 = 0. Does 17 divide p?
True
Let h(m) = 141*m**2 - 2*m + 1. Let g be h(1). Is 3 a factor of 4/10 - g/(-25)?
True
Suppose 0 = 4*b - 5*b + 26. Suppose 0 = -2*u + 4 - 0. Suppose -u*a + 0*a = -b. Does 13 divide a?
True
Let d(q) = q**2 + 2*q - 5. Is 15 a factor of d(5)?
True
Let p = 3 - -29. Is p a multiple of 9?
False
Let f be 1*1/(3/(-543)). Let q = -121 - f. Does 15 divide q?
True
Let d be (-4 - -3) + 16 + -3. Is 5 a factor of (4/(d/15))/1?
True
Let p = -15 - -22. Let n(l) = l**3 - 6*l**2 - 7*l + 2. Let z be n(p). Suppose y - k + 6 - 31 = 0, -z*y + 4*k = -58. Is 17 a factor of y?
False
Let g be -5 - 0 - (-3 + 4). Let v(r) be the third derivative of -r**6/120 - r**5/10 - r**4/24 + 7*r**3/6 + 2*r**2. Is v(g) a multiple of 5?
False
Suppose 15 = k + 4*y - 5, 0 = 2*k + 2*y - 16. Suppose 0 = k*i - 5*u - 192, i + 2*u - 48 = 7*u. Suppose i - 144 = -4*h. Is 24 a factor of h?
True
Let v = 64 + -137. Let t = -41 - v. Suppose -x + t = x. Is x a multiple of 15?
False
Let x = 19 - 13. Suppose 5*p = 3*p + 2*z - x, z = -3*p + 11. Is p/11 + (-300)/(-44) a multiple of 4?
False
Suppose 2*v + 4*a - 13 - 111 = 0, 3*v - 180 = -4*a. Is 14 a factor of v?
True
Is 14 a factor of (1*-2)/10 - (-8336)/80?
False
Suppose -12 = -4*p + 40. Suppose -15 = 3*g, 2*g - 4*g - 56 = -2*t. Let y = t - p. Does 3 divide y?
False
Suppose -8*k = -3*k - 110. Is k a multiple of 22?
True
Let a be (8/10)/((-4)/70). Let l = 22 + a. Is 8 a factor of l?
True
Suppose 21 - 107 = -2*t. Does 16 divide t?
False
Suppose 5*q + 0*q - 45 = 0. Does 3 divide q?
True
Let h = -22 - -41. Is h a multiple of 3?
False
Is 1/(1 + 30/(-31)) a multiple of 7?
False
Is 21 a factor of (21*-2)/(2/(-14)*2)?
True
Let l(y) = -y + 19. Let j be l(14). Suppose 3*s + 3*z - 43 = -s, 0 = -j*s - 5*z + 55. Is 5 a factor of s?
True
Let q(k) = -k**2 - 8*k - 8. Suppose -2*l + 18 = l - 3*r, 4*l - 3 = -3*r. Suppose -l*j = -4*j - 6. Is 4 a factor of q(j)?
True
Let z = 277 - 193. Suppose 5*m = 4*f - 89, f - 2*m + z = 4*f. Is f a multiple of 9?
False
Suppose -5*f + 2*f = -21. Let k = 10 - f. Suppose -4*u = 4*w - 48, -5*w + 38 + 2 = k*u. Is 5 a factor of u?
True
Let v(p) = 1 + 1 - 2*p - p - 15*p**2 + 20*p**2. Is 26 a factor of v(4)?
False
Let r be -1 + 0 + (-5)/(-1). Suppose -r*c + 220 = c. Does 14 divide c?
False
Is 5 a factor of ((-14)/28)/(1/(-20))?
True
Suppose w = -w - 2. Let n be (2 - w - 0)/1. Suppose -n*l - 4*u - 5 = -19, 2 = 3*l - 2*u. Is l even?
True
Suppose -5*j + 265 = 5*n, -j - 3*n + 68 = n. Is j a multiple of 12?
True
Suppose 0 = -4*f + 62 - 18. Suppose -3*s + f = 2*i, -19 = -3*i - 2*i + s. Is 3 a factor of i?
False
Let y(p) = 2*p. Let c be y(3). Suppose 2*h = 16 + c. Let u = 1 + h. Is u a multiple of 5?
False
Let s(w) = -w**3 + 17*w**2 - 8*w - 9. Let k(u) = u**3 - 18*u**2 + 8*u + 10. Let r(d) = 3*k(d) + 4*s(d). Is r(13) 