Is f(6) a multiple of 29?
True
Let w be (0 - 2)*66/(-12). Let k = w + -7. Suppose 4*m - 8 = -0*m, m + 50 = k*h. Does 13 divide h?
True
Let j be (-4 - -14)*93/6. Suppose 5*c + 3*n = j, -2*c + 0*n + 51 = -n. Does 14 divide c?
True
Suppose 3*c = -4*v + 286, -8*c = -5*c + 3*v - 282. Is 15 a factor of c?
True
Let s = -1052 + 2042. Does 64 divide s?
False
Let z(s) = s**2 - 10*s + 93. Is z(-16) a multiple of 15?
False
Suppose 0 = -y - 2*y + 153. Let l = 20 + y. Suppose 0 = 3*r - 7 - l. Does 17 divide r?
False
Let a be 21/14 - 130/(-4). Let i = a - -6. Does 7 divide i?
False
Suppose -35 - 21 = -7*y. Suppose y*r + 190 = 3*b + 3*r, 0 = 2*r + 4. Does 20 divide b?
True
Let h be 439/(-4) + 2/(-8). Let v = -154 - h. Let z = v - -65. Is z a multiple of 3?
True
Let v(l) = 5*l**2 - 5*l + 4. Let g be v(4). Let o = -26 + g. Is 9 a factor of o?
False
Let m(d) be the third derivative of d**6/120 + d**5/5 - 5*d**4/24 - 3*d**3/2 + 3*d**2 - 1. Let c be 1/(-2) + (-46)/4. Does 14 divide m(c)?
False
Suppose 7*d + 16 - 2662 = 0. Is 39 a factor of d?
False
Let z = -16 - -17. Let m be 755/15 - z/3. Does 26 divide (9/(-6))/((-1)/m)?
False
Suppose 0 = -9*w + 1558 + 1601. Is 27 a factor of w?
True
Does 6 divide 20*6*(1 + (-4)/(-8))?
True
Let u(y) = 14*y**2 - y - 10. Let w be u(-7). Suppose v - 8 = 3*v, 3*k = 2*v + w. Is 45 a factor of k?
True
Let u(r) = r - 4. Let l = -7 - -10. Let b be u(l). Let j(n) = -86*n + 1. Is 26 a factor of j(b)?
False
Let w(q) = 19*q + 3. Let t(l) = -2*l - 1. Let z(o) = t(o) - w(o). Is z(-4) a multiple of 6?
False
Let q(u) = u**3 + 43*u**2 - 70*u - 109. Does 23 divide q(-43)?
False
Let i = -20 + 167. Does 25 divide i?
False
Let k = -246 - -120. Is (k + 2)/(2/(-2)) a multiple of 31?
True
Let y(c) be the third derivative of 5*c**4/24 - c**3/6 + 2*c**2. Let g be (-50)/(-15)*6/5. Does 6 divide y(g)?
False
Let z(q) = 3*q**2 - 36*q + 2. Let t be z(12). Suppose 0*r - t*j = -r + 23, 0 = 4*r + j - 56. Is 7 a factor of r?
False
Suppose -4 = -5*o + 3*x + 10, 0 = -2*o + 2*x + 8. Let s(d) = -9*d + 37. Let r be s(4). Is 18 a factor of r + o - (-50 - 4)?
False
Suppose 0 = 2*r + 2*r + 96. Let g be -1 + 5 - r/12. Suppose -16 = -g*p + 2*p, 2*m + 5*p = 32. Is m a multiple of 3?
True
Let b be (-4)/(-14) + (-1590)/(-70). Let y = b + -44. Let r = y - -44. Does 9 divide r?
False
Is 11 a factor of (28/21)/(8/1182)?
False
Let x = 371 + 841. Is 9 a factor of x?
False
Let s = 2881 + -1000. Is s a multiple of 11?
True
Suppose -4*m - 1 = 5*z, -5*z + 4*m - 2 + 33 = 0. Suppose 3*f = -i - 41, 2*f - 93 = z*i + 30. Let a = i - -61. Is 10 a factor of a?
True
Let r(v) = v**3 - 11*v**2 + 8*v + 15. Let i be r(10). Let l be i/15*(-3)/1. Suppose 0 = 2*b + l - 121. Is b a multiple of 12?
True
Let g = 278 + -196. Suppose 0 = 7*y - 1160 + g. Is y a multiple of 27?
False
Suppose -10*a + 7*a + 3072 = 0. Let s be (-2)/(-6) - a/(-24). Suppose 21 = r + w, -r + 2*w = 2*r - s. Is r a multiple of 15?
False
Suppose 2*v + 185 = -161. Let y = v + 434. Is 9 a factor of y?
True
Let h = 1 + 9. Suppose -2*o - 6 + 4 = 5*m, -5*o + h = 5*m. Suppose b + o*b = 35. Does 4 divide b?
False
Let z be 4/18 - 175/(-63). Suppose -6*t + z*t = 5*c - 483, -3*t = -c - 501. Is t a multiple of 35?
False
Suppose 23*p + 16*p = 26754. Is p a multiple of 14?
True
Suppose -z = b + 2*b - 92, 0 = -b + 2. Is z a multiple of 12?
False
Suppose 6*t = 2*h + 1728, 5*h = 5*t - 127 - 1303. Does 19 divide t?
False
Suppose -2*i + 7*i = 2*x + 1850, 2*i = -2*x + 726. Is i a multiple of 23?
True
Suppose 5*b = -0 + 30. Suppose -2 = f - b. Suppose -f*r - 3*c + 24 = -3*r, 3*c + 96 = 4*r. Does 12 divide r?
True
Let d = -16 + 8. Let k(g) = g + 11. Let r be k(d). Suppose 2*n = r*n - 27. Is 13 a factor of n?
False
Suppose -5*p - 2*j + 1729 = 0, 6*j - 4*j - 1039 = -3*p. Is 26 a factor of p?
False
Suppose 5*a - 10*a = -1420. Is a a multiple of 15?
False
Suppose -54*b = -62754 - 24024. Is b a multiple of 19?
False
Let j(b) = b**3 + 5*b**2 + 6. Let c be j(-5). Is (5 - c - 0)*-133 a multiple of 19?
True
Let i(s) = -s**2 + 9*s - 13. Let z be i(6). Let u = -2 + z. Suppose 15 = u*g, -3*g - 46 = -2*d - g. Is 9 a factor of d?
False
Let v(l) = -l**2 + 17*l - 1. Let r = 91 - 34. Suppose 0 = 4*m + 1 - r. Is 9 a factor of v(m)?
False
Is 15 a factor of 926 + ((-62)/217)/((-2)/28)?
True
Let f(r) = r**3 - 10*r**2 + 17*r - 12. Let w be f(8). Is 11*6/w*-2 a multiple of 11?
True
Suppose -7*k - 4*g = -3*k - 3504, -3*k + 2628 = -3*g. Is 12 a factor of k?
True
Let f(n) = n**2 + 3*n - 8. Let c be f(-4). Does 4 divide ((-24)/15)/(c/80)?
True
Suppose 0 = 4*i - 3*i - 5. Suppose -2*c + i*q + 21 = 0, 3*q - 5 = -c - 0*c. Is 8 a factor of c?
True
Let o(b) = -b**2 + 3*b**3 - 2*b**3 - 9*b**2 + 2*b + 19. Is o(11) a multiple of 17?
False
Suppose 395*k - 3213 = 388*k. Is k a multiple of 9?
True
Let b(m) = -m**3 - 5*m**2 + 27*m + 15. Let l(c) = c**3 + 4*c**2 - 27*c - 15. Let p(j) = -6*b(j) - 5*l(j). Is p(-12) a multiple of 21?
True
Suppose 7*d - 72 = 3*d. Let n(o) = o + 6. Let t be n(-9). Is 6 a factor of d + (-8 - -2)/t?
False
Suppose -402*v + 840 = -399*v. Does 35 divide v?
True
Suppose -s - 20 = -27. Suppose s*j = 2075 - 612. Is 18 a factor of j?
False
Suppose 5*a + 7 = 32. Suppose z = -a*p + 5 + 21, -5*p + 4*z + 21 = 0. Suppose p*c - 92 = c. Is 15 a factor of c?
False
Suppose -147*m = -144*m - 279. Does 7 divide m?
False
Let q(s) = -s**2 - s. Let d(u) = -7*u**2 + 4*u - 9. Let m(a) = -d(a) + 5*q(a). Does 21 divide m(10)?
False
Suppose -4*v = -2*s, 5*s + 2 = 4*v + 14. Suppose 2*r + 48 = 3*l, -5*l + v*r = -3*r - 85. Let g = l + -8. Does 3 divide g?
True
Let b(o) = o**3 + 12*o**2 - 31*o - 26. Is b(-14) a multiple of 4?
True
Suppose -y - 2*v = -58, 220 = -3*y + 7*y - 4*v. Let r = y - -7. Suppose 5*i + 4 + 11 = 2*z, -5*z + r = -4*i. Is z a multiple of 4?
False
Let n(i) = -6*i - 4. Let c be n(-5). Let x = 45 - c. Does 8 divide x?
False
Let o be -6*((-3)/(-9) - 0). Let p be (12/(-6))/((-4)/(-490)). Is p/(-5) - (-1 + o) a multiple of 13?
True
Let o(t) = 59*t - 116. Does 10 divide o(14)?
True
Let l = 1390 + -965. Is 25 a factor of l?
True
Suppose -10*u + 98 = 4*u. Suppose -u*s + 14*s = 1316. Does 22 divide s?
False
Let y(i) = 142*i - 6. Let b be y(-4). Let k = -309 - b. Is 57 a factor of k?
False
Let k(p) = -13*p + 2. Let x be k(-1). Let l = -13 + x. Does 14 divide (3 - -12)/(l - 1)?
False
Suppose -9*b + 608 = -b. Is b a multiple of 3?
False
Let a(w) = w**3 + 5*w**2 - 19*w - 9. Let f be a(-15). Is -5 - (f/6 - -4) a multiple of 46?
False
Suppose h + 1390 = 3*s, 431 - 1357 = -2*s + h. Does 8 divide s?
True
Suppose -4*j - 276 = -60. Let x = j + 79. Does 4 divide x?
False
Let w(q) = -q**3 - 4*q**2 + 6*q + 12. Let b be w(-5). Let s be (-246)/14 + (-3)/b. Let o = s - -60. Is o a multiple of 14?
True
Suppose 2*m = -0*m + 114. Suppose m = b - 15. Suppose -88 = -2*r + b. Is r a multiple of 18?
False
Let x(l) = 2*l**2 + 12*l + 15. Let t be x(-7). Let k = 46 - t. Does 12 divide k?
False
Let w = 27 + -35. Let v(m) be the third derivative of -5*m**4/24 + m**3 + 4*m**2. Is v(w) a multiple of 23?
True
Suppose 0 = -2*a - 3*a - 30. Let h be 8/a*(-3)/(-2). Let b(d) = 10*d**2 - d - 2. Does 10 divide b(h)?
True
Suppose 0 = 37*p - 234 - 25. Does 2 divide p?
False
Suppose -3*y - 2*m + 697 = -m, -4*m + 709 = 3*y. Let k be 24/10 - (-2)/(-5). Suppose y = 3*l - 5*q, -2*q + 170 = k*l - 0*q. Is 32 a factor of l?
False
Let y = 70 + -67. Let t(c) = 2*c**3 - c**2 - 8*c + 7. Does 4 divide t(y)?
True
Let l(j) = 14*j**2 + 11*j - 91. Is 21 a factor of l(7)?
True
Let i(c) = -c**2 + 6. Let j be i(0). Suppose -2*s + j = -0*s. Is s a multiple of 3?
True
Let m = -13 + 9. Is 13 a factor of (-338)/6*(-10 - m)/2?
True
Let p(u) = -u**3 + 14*u**2 + 8*u + 15. Let y be p(15). Let f = 152 + y. Suppose 9*c - 324 = 4*c - 4*j, 2*j + f = c. Does 16 divide c?
True
Let u be -2 - (4 + 5/(-2)*-12). Is (u/(-24))/((-1)/(-246)) a multiple of 54?
False
Is -2 - (-1 - -2 - 372) a multiple of 34?
False
Suppose -3*n + 2037 - 383 = -5*k, 2730 = 5*n - 3*k. Is 16 a factor of n?
False
Suppose -5*u = 11 + 14. Does 18 divide ((-9980)/16)/u + 2/8?
False
Let m(k) = 6*k**2 + 4*k. Let a(t) = -t**2. Let d(q) = -5*a(q) - m(q). Let o be d(-4). Suppose o = 5*c - b - 195, 89 = 3*c + b + 4*b. Does 19 divide c?
True
Let x = -370 - -820. Is 45 a factor of x?
True
Let w(