 = -v**2 - v - 5. Let n be o(-6). Let a = -115 + 60. Let y = n - a. Is y a multiple of 20?
True
Let s = 321 + -149. Suppose 5*q = 148 + s. Is q a multiple of 11?
False
Let d(w) = 0 - 2 - w + 7. Let x be d(2). Is 14 a factor of x*-2*-5 + -2?
True
Suppose 2*g + 761 = j, 3*g = -3*j - 2*g + 2316. Does 13 divide j?
True
Let c(u) = 2*u - 9. Let m be c(6). Let a(k) be the second derivative of k**4/3 - 5*k**3/6 + k**2 - 43*k. Is a(m) a multiple of 9?
False
Suppose 523*o - 514*o = 5166. Is 3 a factor of o?
False
Let k(p) = 7*p + 2. Let j be k(4). Let d = 53 - j. Is 21 a factor of d?
False
Suppose 9*i - 2*i = 126. Is 9 a factor of i?
True
Let d(u) = 9*u**3 - u**2 - 6*u + 3. Let y(a) = 5*a**3 - 3*a + 2. Let w(t) = 6*d(t) - 11*y(t). Is 11 a factor of w(-7)?
True
Let f = 37 - 32. Let k = f - -5. Is 2 a factor of k?
True
Let f(x) = x + 7. Let l(t) = -t - 3. Let m(i) = -3*f(i) - 7*l(i). Let s(p) = -p**2 - 11*p + 17. Let v be s(-12). Is m(v) a multiple of 8?
False
Let x be (-11)/7 + 2 - (-3856)/(-112). Is (-5593)/x + 1/2 a multiple of 11?
True
Let x(a) = 120*a - 180. Is 15 a factor of x(6)?
True
Let c(i) = -56*i**3 + i**2 + 2*i + 2. Let y be -6 - 265/(-55) - (-4)/22. Is 19 a factor of c(y)?
True
Let z = -22 + 36. Is z a multiple of 14?
True
Suppose -3*y + 17 = -4. Suppose -13 = -y*f + 43. Does 4 divide f?
True
Let g(o) = o**3 - 4*o**2 + o - 17. Is 21 a factor of g(8)?
False
Let b(s) = 2*s**3 + 37*s**2 - 13*s + 5. Is b(-18) a multiple of 3?
False
Let a = -59 - -138. Suppose -5*j = -4*q - 194, -2*j = -q - 2*q - a. Is j a multiple of 15?
False
Let i be (-10)/35 - 1038/(-7). Suppose q = i - 30. Let u = -69 + q. Does 24 divide u?
False
Suppose 0 = -2*z + 2743 - 373. Is z a multiple of 27?
False
Let f(c) = c**3 - 10*c**2 - c + 13. Let n be f(10). Is 95/n + 0 + 8/(-12) a multiple of 31?
True
Suppose 32 = 5*a + u - 2*u, a + 2 = 3*u. Suppose -a*m = -3*m - 88. Does 11 divide m?
True
Suppose -7*f - 3*s + 732 = -3*f, 0 = -3*f + 5*s + 520. Does 30 divide f?
True
Let f(q) = 11*q**2 - 3*q - 4. Let z be f(-4). Suppose -12 + z = 4*a + 5*d, 2*a = -d + 92. Suppose a = 2*x + 4. Is 11 a factor of x?
True
Let v be 28/6*(-3 - 657/(-6)). Suppose -2*o = 63 - v. Is 31 a factor of o?
True
Is (6 - (-2804)/10) + (-2)/5 a multiple of 11?
True
Suppose 74*m - 4124 = -3*o + 75*m, m - 1376 = -o. Is o a multiple of 55?
True
Suppose -t - 20 = 4*t, 4*t + 4 = -3*x. Let g be 6/(-5)*(-570)/x. Let s = g - 113. Is 13 a factor of s?
False
Suppose -23*d + 7999 = -27973. Is 17 a factor of d?
True
Let l(a) = -5*a**2 + 34*a - 6. Let v(s) = 2*s**2 - 11*s + 2. Let x(w) = -3*l(w) - 8*v(w). Is x(-10) a multiple of 14?
True
Let l be 1*0/(4 + -6). Suppose -2*t - 4*w = -86, l = -0*t + 2*t + 2*w - 80. Is t a multiple of 11?
False
Let k = -37 - -31. Let p be 0/(2 + -1) - 30. Does 9 divide (-9 - p) + k/2?
True
Let a = -363 - -435. Does 18 divide a?
True
Let p be 4/14 + 498/21. Let g = 3 - 1. Suppose -g*y = -y - p. Is 6 a factor of y?
True
Is (-12)/(-16) + (-3)/(-4)*747 a multiple of 33?
True
Suppose 3 - 29 = d. Let w = 30 + d. Suppose -4*h - x + 71 = 0, -w*h + 96 - 20 = -4*x. Is 4 a factor of h?
False
Suppose -5*u - 1 - 9 = 0, 3*b - 3950 = u. Does 28 divide b?
True
Let s = -20 - -25. Suppose -s*g + 28 + 17 = 0. Is 9 a factor of g?
True
Let a = 188 - 72. Does 5 divide a?
False
Let m(w) = 19*w. Let j be m(1). Suppose 15*y = j*y + 120. Is 34 a factor of 8/12*6 - y?
True
Let j = -3 - -3. Let g be (-1)/((-4)/(-4))*j. Suppose -r - 3*v = -2*v - 36, 5*v - 10 = g. Does 8 divide r?
False
Suppose -8 - 12 = -4*j. Let q(f) = -3 - j*f - 9 - 4*f - 3. Is q(-6) a multiple of 13?
True
Suppose v - 4 = -2*a, a + 26 = 3*v - 21. Let s be v/49 + (-2)/7. Suppose -t + 2 = s, -t = -11*m + 6*m + 128. Is m a multiple of 17?
False
Let p(d) = -775*d + 36. Does 39 divide p(-1)?
False
Let l(j) = -57*j - 242. Is l(-6) a multiple of 17?
False
Suppose 0*v - 416 = 4*v. Suppose -3*r + 4*m - 2*m - 485 = 0, 482 = -3*r - m. Let k = v - r. Does 17 divide k?
False
Let q = -1437 + 2061. Is 39 a factor of q?
True
Suppose 3*u = 13*u + 40. Let i(n) = n**3 + 6*n**2 + 3*n - 7. Does 4 divide i(u)?
False
Let n(q) = -20*q - 8. Let f be n(-2). Suppose -220 = -f*r + 28*r. Does 5 divide r?
True
Is 1236/18*(-4 - (-38)/2) a multiple of 103?
True
Let s(q) = 23*q**2 - 7*q + 2. Does 18 divide s(4)?
True
Let q(u) = -u**3 + 5*u**2 + u - 2. Let d(m) = -m - 2. Let h be d(-7). Let v be q(h). Is 23 + -3*3/v a multiple of 7?
False
Let c = -166 - -201. Does 35 divide c?
True
Let w(v) = v + 15. Let f be w(0). Suppose -4*b + 45 = -f. Does 31 divide ((-532)/42)/((-2)/b)?
False
Suppose 18601 = 8*s - 12823. Is 10 a factor of s?
False
Is (-8)/(-24) + ((-194560)/15)/(-4) a multiple of 17?
False
Let z = -45 + 33. Let f = z - -92. Is f a multiple of 8?
True
Suppose -t - 3*f - 2*f + 650 = 0, 5*t - 3250 = 5*f. Is 10 a factor of t?
True
Let n(s) = -4*s - 1. Let r(l) = -3*l - 1. Let j(q) = -2*n(q) + 3*r(q). Let b(g) = -g**2 + 7*g - 15. Let k(v) = b(v) - 6*j(v). Does 9 divide k(8)?
False
Let w = 697 + 111. Is 8 a factor of w?
True
Suppose -2*q - 3*q - 3*y = -5882, -1172 = -q - 5*y. Does 11 divide q?
True
Let a(h) = -h**2 + 10*h - 8. Let u be a(6). Suppose 12*l - u = 164. Does 5 divide l?
True
Suppose -5*m - 15 = 0, -5*m + 4*m = 3*v + 1242. Does 22 divide 9*(1/5 + v/(-35))?
False
Suppose -2*s = -5*s + 5*y + 325, -2*s + 216 = -3*y. Is 21 a factor of s?
True
Let l(m) = m**3 + 4*m**2 - 4. Let s be l(-4). Let o(v) = -v**2 + 15*v + 17. Let n be o(15). Let h = n - s. Is h a multiple of 16?
False
Suppose -12*f - 6*f + 21078 = 0. Is f a multiple of 13?
False
Let v(j) = j - 1. Let r(w) = -52*w**2 - 6*w + 6. Let f(q) = -r(q) - 8*v(q). Let d = 3 + -2. Is 13 a factor of f(d)?
True
Suppose -16*g = -18*g + 38. Does 2 divide g?
False
Suppose -h = 2*h - 9, 4*f - 4*h = 620. Suppose u = f - 2. Is 26 a factor of u?
True
Suppose 0 = 10*j - 15 - 5. Suppose 0 = j*f + 20 - 64. Is f a multiple of 11?
True
Let f = 16 - -1910. Is 9 a factor of f?
True
Let v be (1*3)/(-11 + 12). Suppose -2*n + v*p + 93 = 0, 0 = p - 4 + 3. Is n a multiple of 9?
False
Let n(v) = v**2 + 24*v + 26. Let a be n(-23). Suppose o - 6 = 4*o, 3*g - 78 = -a*o. Is g a multiple of 7?
True
Let r be (-4)/(-22) + (0 - 1868/(-11)). Let q = r - 95. Does 25 divide q?
True
Let t(d) = 16*d - 5. Suppose 0 = 4*x - l - 15, -4*l - 7 = -3*x + l. Does 9 divide t(x)?
False
Let a(z) = -6 - 3*z**2 - 8*z - 3*z**2 + 6*z**2 - z**2. Suppose -12 = 5*g + 5*o + 38, -5*o - 10 = -3*g. Does 3 divide a(g)?
True
Let v = -105 + 103. Is (49/(-42) - 1/v)*-18 a multiple of 6?
True
Let y(q) = 3*q - 187. Let b be y(0). Let m = -71 - b. Does 14 divide m?
False
Let f(o) = -o**3 - 4*o**2 - 17*o - 104. Does 10 divide f(-6)?
True
Let w = -2309 + 4139. Is 30 a factor of w?
True
Suppose 4*a = 3914 - 1754. Is a a multiple of 7?
False
Let m = 6 - -5. Suppose 6*y - 13 = m. Does 3 divide y?
False
Let o(y) = 20*y**2 - 12*y - 177. Does 39 divide o(-7)?
False
Suppose -306*m - 5165 = -311*m. Does 6 divide m?
False
Let a(l) be the third derivative of -l**5/60 - 5*l**4/24 + l**3 + 4*l**2. Let u be a(-6). Suppose 7*p - 2*p - 120 = u. Does 8 divide p?
True
Let m(r) = -11*r**3 + 2*r**2 - r. Let i be m(1). Let c = -22 - i. Is (21/c)/(2/(-16)) a multiple of 6?
False
Suppose 0 = -8*f + 4055 - 463. Does 15 divide f?
False
Let a(o) = 6 + 0 + 0 + 3*o**2 - 2*o**2. Let v be (-153)/(-17)*4/(-6). Is a(v) a multiple of 21?
True
Let h = -340 - -692. Is 8 a factor of h?
True
Let n be (-2)/3 + (-4080)/(-45). Suppose -5*o - n = -8*o. Does 4 divide o?
False
Let s be 27/45 - (-243)/(-5). Let x = s + 28. Let i = -12 - x. Is i a multiple of 3?
False
Let z be 5*2/35 - (-384)/28. Is 266/18 + -3 - z/(-63) a multiple of 3?
True
Let p = -83 - -121. Let k be (2 - (-1 + 5)) + -19. Let b = p + k. Does 6 divide b?
False
Suppose -5*h = 4*i + i - 510, -h + 82 = 5*i. Let a = h - 35. Is a a multiple of 27?
False
Suppose -6*v = -4*v - 100. Suppose 0 = 3*n + 2*n + v. Does 10 divide 3/(6/n)*-8?
True
Let p(h) = h**3 + 11*h**2 - 12*h + 8. Let v be p(-12). Is 20/5 - (-2 + (0 - v)) a multiple of 2?
True
Suppose -2*u + 15296 = 7*w + 3*w, 4*w = 4*u + 6104. Is 17 a factor of w?
False
Let u(m) = m**3 - 13*m**2 - 13. Let c be u(13). Is 5 a factor of 100*(3 + c/5)?
True
Let m(x) = x**2 + 11*x + 12. Let p be m(-9). Let v = p - -63. Is 19 a factor