es 11 divide n?
True
Let b(h) = h**2 + 5*h - 8. Let q be b(-6). Let m = 1 + q. Is 13 a factor of (-2 - (m - 27))*2?
True
Suppose -3*q - 3*p - 102 = 0, -2*p + 0*p = 0. Let t = 90 + q. Does 8 divide t?
True
Let y(w) = 2*w**3 + 3*w**2 - 1. Let h = -11 + 8. Let g be y(h). Does 16 divide (-7)/((-52)/g - 2)?
False
Suppose u - 36 = -u. Let x be 24/108 - (-1364)/u. Suppose 12 = -l + x. Is l a multiple of 16?
True
Let w = 3 - -2. Let q be w*(32/(-20) - -2). Is 17 a factor of q/(8/(-148))*-1?
False
Let k be (12/(-8))/((-6)/8). Suppose -k*q = -7*q + 585. Let r = -55 + q. Does 31 divide r?
True
Let m(b) = -104*b - 812. Does 6 divide m(-13)?
True
Let b(l) = l**2 + 8*l + 5. Let u be b(-6). Let p = u + -8. Let a = 48 + p. Is a a multiple of 10?
False
Suppose 150 = -123*u + 129*u. Is u a multiple of 15?
False
Let q(p) = 2*p + 3. Suppose 2*v = v + 6. Let g be q(v). Suppose 0 = t + 4*t + g, -2*t = -2*s + 126. Is s a multiple of 15?
True
Is 54/9 + -4 + 42 a multiple of 22?
True
Suppose -4*x + 0*p + 5*p = -469, 0 = 4*x + p - 487. Is x a multiple of 6?
False
Let v(w) be the third derivative of 7*w**5/6 + w**4/8 - w**3/6 + 6*w**2. Let k be v(2). Suppose f + 4*f = k. Is 18 a factor of f?
False
Let y(b) = b**3 + 4*b**2 - 5. Let g be (6/5)/((-18)/60). Let f be y(g). Is 22 a factor of (-6)/(-15) + (-278)/f?
False
Suppose 0 = 4*i - f - 2210, 0*i + 2773 = 5*i + 4*f. Suppose 7*j - 3*j - i = -5*h, -2*h = 2*j - 278. Does 12 divide j?
False
Let t = 5 - 7. Let c(r) = -9*r**3 - r**2 + 2. Let h be c(t). Is (-1082)/(-14) + (-20)/h a multiple of 20?
False
Let c be (-845)/143 - 1/11. Let s = 166 + c. Is s a multiple of 16?
True
Suppose 2*l - a - 1451 = 0, -5*a - 460 = -2*l + 971. Is 26 a factor of l?
True
Let d(f) = -30*f - 95. Is 14 a factor of d(-11)?
False
Let s(b) = -b**3 + 3*b**2 + 5*b + 2. Let z be s(4). Let h be 3 + -4 + z/2. Suppose -5*a + h*i + 0*i + 567 = 0, -4*i + 561 = 5*a. Is 27 a factor of a?
False
Suppose 23*c - 27*c + 5*g + 3519 = 0, 0 = -3*c - 4*g + 2678. Is 75 a factor of c?
False
Suppose -40 = -3*q - 7*q. Suppose h - 38 + q = 0. Is h a multiple of 15?
False
Suppose -3*h + 107 + 58 = 0. Let d = 133 - h. Is 15 a factor of d?
False
Suppose 4*j = 5*i + 1718, -j + 3*i = 2*j - 1287. Suppose 2*n - j = -2*b + 241, 3*b + 653 = 2*n. Is n a multiple of 14?
False
Let i(g) = g**3 - 22*g**2 + 14*g - 108. Does 10 divide i(22)?
True
Suppose -595 = -0*g + 5*g. Let p = -43 - g. Does 19 divide p?
True
Let k(x) = -2*x - 4. Let u be k(0). Let z = 30 - u. Is z a multiple of 7?
False
Suppose -3*b + d = -5138, -3427 = -2*b + 11*d - 10*d. Is b a multiple of 46?
False
Let l = 144 - 142. Suppose l*k + g - 45 = 0, g + 10 = -3*k + 75. Does 2 divide k?
True
Suppose 5*u = -4*n + 8358, -4*u - 8*n = -3*n - 6690. Is 10 a factor of u?
True
Let b(v) be the third derivative of -v**5/20 + 13*v**4/24 + 11*v**3/6 - 11*v**2. Let k(s) be the first derivative of b(s). Is k(-14) a multiple of 15?
False
Is 2 a factor of (7360/192)/(2/6)?
False
Let w(b) = -807*b**3 + b**2 - 2*b - 4. Is w(-1) a multiple of 11?
False
Suppose -2*n - 5*m - 49 = 0, 0 = -3*n - 4*m + 2 - 58. Is (-2)/n - 2228/(-24) a multiple of 4?
False
Let r(h) = -6*h - 21. Let w be r(-6). Suppose 16*p - w*p - 31 = 0. Is 6 a factor of p?
False
Suppose 0 = 25*q - 1366 - 4484. Is q a multiple of 78?
True
Let w = -22 - -24. Suppose -2*p = p - 15. Suppose 3*j + p*n = 36, j = -2*n - w + 14. Is 4 a factor of j?
True
Suppose 5*u - 86 - 14 = 0. Let k = 16 + u. Is 13 a factor of k?
False
Suppose 3*o + 2 = -4. Let g = -8 - o. Is 3 a factor of (g/4)/(3/(-22))?
False
Let k(g) = 2*g**2 - 16. Let f be k(4). Let m = 12 + f. Is 14 a factor of m?
True
Suppose -9 = -4*h - 1. Suppose 3*d - 210 = -h*d. Is 20 a factor of d?
False
Let n(y) = 343*y**2 + 2*y. Is n(1) a multiple of 27?
False
Suppose 3*t + 0 = 12. Let l(k) = 3*k + 2 - 7*k + 7*k. Is l(t) a multiple of 14?
True
Let q = -1828 + 3928. Is q a multiple of 19?
False
Let m = -12 - -10. Let n(k) = -3*k**3 - 4*k**2 - k + 8. Let g(p) = p**3 - p**2. Let q(u) = m*g(u) - n(u). Is 20 a factor of q(-4)?
True
Let t = 21 - 14. Let a be t*16/28*1. Suppose 4*j = -z + 78, -2*z = -a*j - j - 104. Is z a multiple of 13?
False
Let d be 37 + 3 + -7 + 2. Let c be ((-240)/(-84))/(2/d). Suppose 13 - c = -u. Is u a multiple of 10?
False
Suppose -3*t + 18 = -12*t. Let s(c) = -c**2 - 3*c - 2. Let l be s(-3). Is l + t - -13 - 1 a multiple of 4?
True
Suppose -b - 9*m + 6*m = -187, 4*b = -m + 792. Is 23 a factor of b?
False
Suppose 3*y + 8 = 7*y. Suppose 0 = 5*j + 5*o - 0*o - 180, -2*o - 60 = -y*j. Is 11 a factor of j?
True
Suppose -j + 141 = 2*m, -2*m - j + 279 = 2*m. Let r = m - -77. Is r a multiple of 39?
False
Let o = -1 + 4. Suppose 0 = -t + 17 - o. Does 4 divide t?
False
Suppose -253 = d + 511. Is d/(-16) - 2/(-8) a multiple of 6?
True
Let j(f) be the second derivative of f**4/6 - f**3/2 - 9*f**2/2 + f. Let x be (-4 - -8) + 0 + 1. Is j(x) a multiple of 11?
False
Let k(c) = -c**2 + 2*c + 10. Let p be k(3). Suppose -2*t = -p*t + 70. Does 7 divide t?
True
Suppose 115 + 31 = -2*r. Let m = r + -86. Is m/(-12) + 2/(-8) a multiple of 13?
True
Let d(l) = -l**3 - 6*l**2 - 6*l + 4. Suppose -31 = 5*n - 3*y, -y + 14 = -2*n + y. Let g be d(n). Suppose 2*b - g = 63. Is b a multiple of 11?
False
Let s(o) = -o**3 - 3*o**2 + 2*o + 2. Let m be s(3). Let f(z) = 7*z - 144. Let u be f(31). Let x = m + u. Does 10 divide x?
False
Let w(y) = 2*y**2 - 2*y - 23. Is w(-4) a multiple of 2?
False
Let b = 372 - 270. Is b a multiple of 3?
True
Let w(y) = 46*y + 229. Is 10 a factor of w(-4)?
False
Let z be (-5)/10*(-8)/6*18. Suppose -82 = -2*k - z. Is k a multiple of 7?
True
Let o = 11 + -10. Let a = -17 - o. Let f = a - -31. Is 7 a factor of f?
False
Suppose 87*j = 84*j + 222. Is 4 a factor of j?
False
Suppose 218 = 6*u - 3*u - i, -i - 362 = -5*u. Let g = 104 - u. Is g a multiple of 32?
True
Let s(x) = 4*x**2 - 4*x - 20. Let p be s(-5). Suppose -2*j - 20 = -6*j. Suppose -2*f + 2*t = -p, -8*f = -4*f - j*t - 202. Does 16 divide f?
True
Suppose -26 = 4*g + 5*c, -4*g - g + 2*c = 16. Let k be (-249)/g + 3/4. Suppose -p - 6 = -k. Does 17 divide p?
False
Let z(c) = -2*c**2 + 26*c - 56. Is z(8) a multiple of 3?
True
Let t be -15 - (1 - 3) - -4. Suppose -17 = 4*w + 35. Let f = t - w. Is f a multiple of 2?
True
Let s = 238 + 115. Suppose 4*h + 3*y + s = 2008, 4*y - 1652 = -4*h. Suppose 4*w - h + 108 = 0. Is w a multiple of 14?
False
Does 6 divide (-8)/6 - (-24600)/90?
False
Let t be -3 + 140*(2 + -1). Let b = t + -7. Suppose -64 = -2*c + 2*n, 0*n = -4*c + 2*n + b. Is 14 a factor of c?
False
Let k(f) = -2*f**2 - 2*f + 11. Let c(b) = -b**2 - b + 5. Let q(s) = 5*c(s) - 2*k(s). Let g(y) = y - 4. Let o(t) = -3*g(t) - 4*q(t). Does 14 divide o(-2)?
True
Suppose 5*k - u = -6*u + 8665, k - 1748 = -4*u. Is 96 a factor of k?
True
Let i(v) = 6*v + 40. Let s(k) = -k**2 + 5*k - 4. Let q be s(4). Is 10 a factor of i(q)?
True
Let h(z) = -z**2 + 4*z + 3. Let i be h(4). Suppose i - 12 = -r. Is 3 a factor of r?
True
Suppose 4980 + 460 = 8*b. Suppose 0 = -9*x + 4*x + b. Is 37 a factor of x?
False
Let k(u) = -u**3 + 7*u**2 + 14*u - 30. Is 15 a factor of k(5)?
True
Suppose -181 = 7*y - 482. Let h = y + 11. Is h a multiple of 18?
True
Let s(b) = 71*b**2 + 3*b + 4. Let p(q) = -70*q**2 - 3*q - 4. Let w(a) = -4*p(a) - 3*s(a). Is w(-1) a multiple of 15?
False
Let z(m) = m**2 - m - 1. Let v be z(-1). Let g(y) = 5*y + 278 + 2*y - 279. Is g(v) even?
True
Let c = 22 + -16. Suppose -c + 2 = -4*s. Is 18 a factor of 9/27*(s + 92)?
False
Is 3 a factor of (8 - 15)*(-2)/2*93?
True
Suppose -3*r - 32 + 107 = 0. Is 11 a factor of ((-14)/(-4) - 1)*690/r?
False
Let r be 1 + (7 + -4 - -1). Is 14 a factor of 139 + 1*(r + -4)?
True
Let s be 18/6 + (-14 - -1). Let t be 4/s*-5 + -20. Let q = 7 - t. Does 15 divide q?
False
Suppose 0 = v + s - 8, -s - 3*s + 2 = -2*v. Suppose 94 = 3*a - v*w, 5*w - 16 = w. Does 10 divide a?
False
Let l(x) = 11*x**2 - x + 12. Is l(-6) a multiple of 17?
False
Let w = 533 - 383. Is 10 a factor of w?
True
Suppose 0 = -m + 3*o - 2*o + 1, o + 25 = 5*m. Does 10 divide 1/m + 1673/42?
True
Let n(y) = 5*y + 11. Let u(i) = 2*i - 9. Let c be u(7). Is 12 a factor of n(c)?
True
Let q = 17 - 17. Suppose q = 6*t - 4*t - 26. Does 13 divide t?
True
Let s = 31 + 292. Is 17 a factor of s?
True
Let d(i) = 