14 + 13. Is w(-7) a multiple of 6?
False
Suppose 3*d - 9*k + 5*k - 681 = 0, 5*k + 1140 = 5*d. Is d a multiple of 34?
False
Let o(t) be the third derivative of 17*t**5/30 - t**4/12 + t**3 - 11*t**2. Is 23 a factor of o(2)?
True
Let b = -413 + 486. Does 8 divide b?
False
Suppose 0 = -3*f + 4*f - 2. Let w(n) = 0*n**f - 4*n**2 + 3 + 2*n + 4*n**3 - 4 + n**2. Is w(3) a multiple of 22?
False
Let y(t) = 3*t - 46 - 5*t + 45. Let d be y(-2). Let l(z) = z**2 + 3*z + 3. Is 8 a factor of l(d)?
False
Let h(m) = -m**2 + 31*m - 119. Does 2 divide h(25)?
False
Let l be 1/((4/2)/10). Let b be 4/14 - 156/(-42). Suppose -l*q - 2*n + 105 = 3*n, 0 = -b*q - 3*n + 85. Is 22 a factor of q?
True
Let r(z) = 2*z**3 - 38*z**2 + 44*z - 35. Does 56 divide r(18)?
False
Let b = 89 - -285. Is b a multiple of 34?
True
Let u be (32080/(-9))/(-2) - (-24)/(-108). Suppose -8*h = h - u. Is 22 a factor of h?
True
Let q = 245 + 161. Does 6 divide q?
False
Let g(d) = d**3 - 2*d**2 - 2*d + 1. Let b be g(-2). Let w(h) = h + 13. Is w(b) a multiple of 2?
True
Let v be 9/(-5)*10/(-3). Let s(j) = 3*j**2 - 6*j - 8. Is s(v) a multiple of 16?
True
Suppose 11*q - 6*q = 0. Suppose 2*j + 3*j = q. Let a(z) = -z**3 - z**2 - z + 8. Is a(j) a multiple of 5?
False
Suppose -7*s + 46170 = 20*s. Is 18 a factor of s?
True
Let f = 1090 - 530. Is f a multiple of 20?
True
Let b be (2 - (-1 + 2))*-25. Suppose 13*o + 5*y = 12*o - 30, 0 = -5*o + 4*y - 34. Let x = o - b. Is x a multiple of 12?
False
Suppose -5*d + 176 = 4*z - 3*d, -202 = -5*z + 2*d. Suppose -5*o + 6*o = 4*i + 20, -3*o + 3*i = -z. Suppose o = r + k - 3*k, k = 4*r - 76. Does 7 divide r?
False
Let s(z) = 1. Let v(b) = -10*b - 1. Let l(q) = -3*s(q) + v(q). Is l(-13) a multiple of 9?
True
Let y = -69 + 136. Suppose 78 = f + y. Is f a multiple of 2?
False
Let n = 10 - 7. Let p be (-1)/(1/(-1))*n. Does 8 divide 71/p + (-2)/(-6)?
True
Suppose -2591 = -h + 3751. Is h/98 - 4/(-14) a multiple of 14?
False
Let v = 820 - 489. Let h = v - 211. Is 8 a factor of h?
True
Let w = 76 + -69. Suppose -5*b + 219 = -3*q, 3*b + 3*q + 174 = w*b. Does 9 divide b?
True
Suppose -2*l = -58 + 52. Let w(s) = -3*s**2 + 18*s + 3. Let j(d) = 3*d**2 - 18*d - 2. Let n(a) = l*j(a) + 2*w(a). Is n(8) a multiple of 16?
True
Let z = 390 + -347. Is z a multiple of 19?
False
Let g = 6348 - 4190. Is 13 a factor of g?
True
Let r = 2 + 4. Let j be r/(4*4/24). Suppose o = -2*g + g + 6, 3*o = -j. Is g a multiple of 9?
True
Let z(s) = -s**3 - 16*s**2 - s + 36. Is z(-16) a multiple of 4?
True
Let h(w) = 37*w**2 - w - 34. Is h(-5) a multiple of 16?
True
Suppose -2*s - 14*o = -10*o, 4*s = -5*o + 6. Let f = -1 + 1. Suppose r + s*r - 390 = f. Is r a multiple of 26?
True
Let h(p) = -3*p - 4. Let w = 10 + -12. Let z be h(w). Suppose z*o - 64 = -16. Is o a multiple of 8?
True
Suppose 5*y + 0*y - 25 = 0. Suppose 77 = y*c + 4*j, 5*c - 5*j = -0*c + 50. Is 11 a factor of c?
False
Suppose 4*t = 5*q - 940 - 2132, 4*t - 1856 = -3*q. Does 28 divide q?
True
Suppose -w + 0*w - 16 = 0. Let c = 19 + w. Suppose 0*k + o = 3*k - 32, -k = c*o + 6. Is 3 a factor of k?
True
Let p = -530 + 1868. Is 21 a factor of p?
False
Suppose -6*x + 20 = -x. Is 31 a factor of (x/(-8))/(((-14)/220)/7)?
False
Let d(t) = 84*t**2 + t - 3. Let b be d(3). Suppose -4*j + 8*j - b = 0. Is 27 a factor of j?
True
Let u = 372 - -111. Does 21 divide u?
True
Let t = 177 + -11. Let c = t - 86. Is 8 a factor of c?
True
Suppose 0 = -2*z + z + 141. Let w = z - 75. Is 22 a factor of w?
True
Suppose 3*b - 20 = -b, 9 = z + b. Suppose z*w - 297 = 67. Does 22 divide w?
False
Suppose -3*l + 8*l = 0. Is 36 a factor of 110 - ((5 - 3) + l)?
True
Let k(u) = u**3 + 9*u**2 + 6*u - 10. Let f be k(-8). Suppose -m - 120 = -f*m. Is 7 a factor of ((-126)/m)/(1/(-4))?
True
Let j(w) = 18*w**2 + 5*w + 8. Let z(p) = 9*p**2 + 3*p + 4. Let h(y) = 3*j(y) - 5*z(y). Is h(2) a multiple of 20?
True
Let y be -3 - (-1)/(-2 + 3). Let r(n) be the first derivative of -10*n**2 + 1. Does 13 divide r(y)?
False
Let a(k) = k**2 + 2*k + 2. Let z be a(-2). Suppose -186 = -0*h - z*h. Let q = h + -43. Is q a multiple of 18?
False
Let j(b) = -6*b + 96. Let u = -59 + 59. Is j(u) a multiple of 16?
True
Suppose 4*b - 5*v = -1233, 5*v = -3*b - 117 - 834. Let g(r) = -r**3 + 6*r**2 + 21. Let c be g(9). Let i = c - b. Does 30 divide i?
True
Let m(o) be the second derivative of -5*o**3/6 - 3*o**2 + o. Suppose -7*l = 59 - 38. Is m(l) even?
False
Suppose -3*g + 452 + 1060 = 0. Does 28 divide g?
True
Let c be -2*(-1)/3*3. Suppose -3*b + 64 = -w, 4*b = c*b + 2*w + 44. Is 17 a factor of b?
False
Is 79 a factor of (1/(-3))/((-31)/95883)?
False
Let i(t) = 159*t**2 - 97*t - 193. Is 13 a factor of i(-2)?
True
Let w(u) = -u**2 - 4*u - 2. Let m be w(-4). Let k be 77/14 - m/4. Suppose -3*t + k*t = -2*x + 27, 57 = 5*x - 3*t. Is x a multiple of 6?
True
Let i = -16 + 21. Suppose i*m = -3*w, -5*w - 2*m + 4 = -3*w. Does 2 divide w?
False
Let h(q) = q**3 + 9*q**2 + 2*q + 19. Does 6 divide h(-8)?
False
Let l(i) = 3*i**2 - 2*i**2 + 6*i**2 - 3*i - i**3 - 4. Let m = 19 + -13. Is l(m) a multiple of 9?
False
Let v = 24 - 8. Suppose -10*y = -14*y + v. Is y a multiple of 3?
False
Let f(m) = 44*m - 15. Let s(y) = -66*y + 22. Let i(o) = 7*f(o) + 5*s(o). Is 5 a factor of i(-2)?
False
Let p be 10*(-1)/(-7) + (-8)/(-14). Is 4 a factor of (1 - -1)/p*60?
True
Let u(h) = 14*h + 5. Let a be u(-4). Let r(m) = -36*m + 1. Let j be r(2). Let s = a - j. Is s a multiple of 5?
True
Suppose -1660 - 50865 = -25*n. Is 11 a factor of n?
True
Let p(n) = 84*n - 832. Is 15 a factor of p(18)?
False
Let r = -134 - -5. Let d = 63 + r. Let t = d + 115. Does 33 divide t?
False
Suppose -4*m + 3*w = -49, -25 = -5*m - w + 22. Let i = m - -102. Is 21 a factor of i?
False
Let w = -55 - -63. Suppose w*k - 6*k = 212. Does 18 divide k?
False
Suppose 0 = 5*s + 4*t - 230 - 245, 5*t = 25. Is s a multiple of 13?
True
Let h = 1612 - 870. Is 18 a factor of h?
False
Suppose 100*z = 95*z + 2205. Is 21 a factor of z?
True
Let d = 758 + -375. Is d a multiple of 41?
False
Is (-2 + 30/(-35))*(-238)/4 a multiple of 7?
False
Let l = -825 - -1241. Is 26 a factor of l?
True
Let a(h) = 8*h - 5. Let l be a(2). Let r(i) = i**3 + 12*i**2 - 11*i + 18. Let v be r(-13). Let o = v + l. Is 3 a factor of o?
True
Suppose 4*i + 0*i = 60. Let a be -1 - (-5)/(i/9). Suppose -a*j = -5*j + 48. Is j a multiple of 9?
False
Suppose -4*f - 1 = -w, -3*f - 2 = -0*f - 2*w. Suppose f = -2*s - s - 6. Does 17 divide (-2 - 42/s) + -2?
True
Let h be (-51620)/(-150) + 4/(-30). Let k be 0/(-3) + -2 + h. Suppose 0 = -5*z - 4*j + k, -5*j - 58 = -z + 22. Is z a multiple of 10?
True
Let z(t) = -2*t**3 - 12*t**2 - 11*t - 21. Let x be z(-9). Let p = x + -365. Suppose -4*f = -2*b - 198, -4*f - 3*b + p = -6*b. Is 19 a factor of f?
False
Suppose -3*q = 5*a - 1117, 0 = a - 2*q + 110 - 323. Is a a multiple of 24?
False
Suppose -5*q + 76 = 3*i, 0 = 3*q - i - 25 - 29. Let s = 20 - q. Suppose -8 = 2*o, v + 2*o = s*v - 62. Is v a multiple of 7?
False
Let b = -166 - -3811. Does 40 divide b?
False
Let r(m) = -4*m + 12. Let s(v) = v. Let z(o) = r(o) + 3*s(o). Let w be z(6). Suppose 2*q - w*q = -76. Is 19 a factor of q?
True
Suppose -2*t - 76 = -5*t - 4*x, 5*t + 5*x - 125 = 0. Is t a multiple of 8?
True
Let p(x) = -x**2 + 6*x + 6. Let f be p(7). Let u be -62*f/2 - -4. Is 9 a factor of 3 - (u*-1 + 2)?
True
Let d(p) = 276*p**3 - 6*p**2 + 4*p + 1. Does 55 divide d(1)?
True
Let x(d) = 3*d - d**2 + 3*d**2 - 5*d + 5*d. Is 20 a factor of x(-4)?
True
Let x be (4/(-5))/(20/(-50)). Suppose 51 = 2*l + 3*o, 44 = 2*l - 2*o - x*o. Does 8 divide l?
True
Suppose 0*z = -3*z + 15, 3*o - 16 = -2*z. Suppose 105 = 3*p - 5*a + 27, 52 = o*p - a. Does 18 divide p?
False
Is 3 a factor of 6/27*(521 - -10)?
False
Let t(n) = 51*n - 7. Let f(v) = -2*v**3 - 2*v**2 - 2*v + 2. Let h be f(0). Does 5 divide t(h)?
True
Let f be (-32)/(-18) - 4/(-18). Suppose u = 3*k - 0*u - 153, f*u + 98 = 2*k. Is k a multiple of 10?
False
Let f = 6 - 13. Is (-2)/f - (-729)/21 a multiple of 7?
True
Let k(l) = -282*l**3 - 6*l**2 - 3*l + 4. Does 7 divide k(-1)?
False
Let s = 216 - 187. Is s a multiple of 24?
False
Does 11 divide 4*4*(-87 - -197)?
True
Suppose 226 = 4*c - 214. Does 14 divide c?
False
Let l = 132 + 156. Is l a multiple of 12?
True
Let l(q) = 2*q - 5. Let c(b) 