)?
True
Suppose -7*b + 14*b = 65912. Does 107 divide b?
True
Let g(w) = 38*w**2 - 26*w + 4. Let p be g(-8). Suppose -10*h + p + 776 = 0. Is h a multiple of 30?
False
Let p = 106328 - 71599. Is 94 a factor of p?
False
Let g = 154 - 152. Suppose -b + 1092 = g*b. Is b a multiple of 39?
False
Suppose 0 = 13*w - 18*w. Suppose n - 242 = -5*f - w*n, 0 = f + 5*n - 34. Is f a multiple of 7?
True
Let i = 227 + -233. Let y(u) = -35*u + 2. Let n(w) = -2*w. Let s(j) = -22*n(j) + 2*y(j). Is s(i) a multiple of 20?
True
Suppose -3*s + 2*w + 32091 - 9474 = 0, -2*s + 15062 = 4*w. Is 2 a factor of s?
False
Let o = 591 - -17253. Is 17 a factor of o?
False
Let x(h) = h**2 + 9*h - 10. Let y be x(-10). Suppose -4*l - 1581 = 3*z, -2*z = -y*l + l + 1054. Does 19 divide z/(-5) + (6/(-15))/1?
False
Suppose 47*t - 458886 = -88056. Is 15 a factor of t?
True
Let w(c) = -2*c + 1. Let u be w(-1). Suppose i = -u*n - 5 - 12, 3*i + 26 = -4*n. Let y(g) = g**2 - g - 13. Is 5 a factor of y(n)?
False
Let x = -3071 + 5126. Is 15 a factor of x?
True
Let p = 320 + -493. Let l = p + 299. Does 14 divide l?
True
Suppose 0 = -0*j + j + 4. Let k be (0/(-2))/2 - j. Suppose 5*n - y = 143, 122 = k*n + y + 13. Is n a multiple of 5?
False
Does 119 divide 47126/6 + 48/(-128) + (-6)/(-144)?
True
Let w(y) be the first derivative of -y**4/4 + 10*y**3/3 - 6*y**2 + y + 121. Is w(5) a multiple of 11?
True
Let p(j) = 6*j**2 - 5*j - 5. Let b be p(5). Suppose b = 5*g + 980. Is g/(-3) - (-3)/(-9) a multiple of 6?
False
Suppose -5*x - 5*g = -465 - 700, 3*x - 734 = 4*g. Let h = x + -147. Does 2 divide h?
False
Suppose 2*k - d - 322 = 16, -k = 2*d - 164. Is 21 a factor of k?
True
Suppose 3*n = d, -n = -d + 5 - 3. Let a be 6/8 - n/((-4)/137). Let u = a - -30. Is 7 a factor of u?
False
Suppose 4*x = 5*k + 8, -5*x = 2*k - 0*k - 10. Suppose 756 = 5*v - 4*y, x*y - 5*y - 605 = -4*v. Is 19 a factor of v?
True
Suppose 0 = 5*k - y - 30, -17 - 1 = -3*k + 3*y. Let h be ((-48)/18 - 2/6) + k. Suppose -m - 654 = -3*m + 4*x, 0 = h*m - 5*x - 979. Is 17 a factor of m?
True
Let h = -433 - -917. Suppose -14*q + 1854 = -h. Is q a multiple of 13?
False
Let a = -1406 - -2090. Is a a multiple of 7?
False
Suppose 257574 + 179486 = 20*p - 0*p. Is 15 a factor of p?
False
Is (212/(-265))/((-6)/2385) a multiple of 2?
True
Suppose -8*u + 88 = 48. Suppose 0 = u*m - w - 644, -4*w = 5*m - 8*w - 641. Does 7 divide m?
False
Let s be 2/9 - (-1070)/45. Suppose -164 = -5*d - s. Suppose -149 = 27*n - d*n. Is n a multiple of 34?
False
Let f(i) = 5*i**3 - 3*i**2 + i. Let h be f(1). Suppose -3*w = -4*j + 123 + 434, 0 = -h*j + 4*w + 416. Suppose 4 + j = 6*m. Is 24 a factor of m?
True
Suppose 5*p = -0*p + 25. Suppose -p*j = 2*j. Suppose j = -4*c - s + 239, -17 - 105 = -2*c + 2*s. Is 21 a factor of c?
False
Suppose -3*u - 35*f + 11788 = -33*f, f + 3931 = u. Is 10 a factor of u?
True
Let j = -585 - -665. Suppose 3*a + 5*k - 3436 = 0, -76*a - 4566 = -j*a + k. Is a a multiple of 11?
False
Suppose 65*m - 542071 + 119929 = 46*m. Is m a multiple of 69?
True
Suppose -2*o + 2*l = -19054, -28595 = -1667*o + 1664*o + 5*l. Does 82 divide o?
False
Suppose -3613 = 20*r - 49793. Is 233 a factor of r?
False
Let k = -2956 + 17958. Is 23 a factor of k?
False
Let f(s) = -3*s + 20. Let a be f(5). Suppose -a*b - 3*w = -0*b - 65, 39 = 3*b + 5*w. Let c(v) = 3*v + 1. Is 5 a factor of c(b)?
True
Let p = 13099 + -5391. Does 82 divide p?
True
Suppose -54*q = -41673 - 239451. Does 19 divide q?
True
Suppose -24*g = -11*g + 3*g. Let j(t) = t**2 - 6*t + 1440. Is j(g) a multiple of 18?
True
Let g = 5045 + -4605. Is g a multiple of 20?
True
Suppose 4*y + 0*v + v - 4 = 0, v + 8 = 2*y. Suppose 2*c = 4*w - 12, -4*c + 0 - 6 = -y*w. Suppose 36 = 3*p - 2*p - w*h, -5*h = -3*p + 92. Is 14 a factor of p?
False
Let s(p) = -8*p - 59. Let i be (7 - 6)/((-90)/92 + 1). Let t = 37 - i. Does 13 divide s(t)?
True
Suppose 5*o = -4*q + 20, 5*o - 25 = -4*q - q. Suppose 916 = 4*k - d, -q*k + 254 = -4*d - 880. Does 16 divide k?
False
Let h = 32 - -23. Let p = -52 + h. Is -3 + 6 - (p/(-1) - 88) a multiple of 47?
True
Suppose 16943 + 6974 = 24*t - 21299. Is t a multiple of 137?
False
Suppose 5*b + 0*b - 2*a = -6878, -3*a = b + 1362. Does 7 divide (88/(-66))/(8/b)?
False
Suppose -5*u - l + 35 = 0, -l - 24 = -5*u + 21. Is 484/u + (-7)/14 a multiple of 10?
True
Suppose 58*k = -53*k + 2858250. Is 21 a factor of k?
False
Let v(h) = -23*h**3 - 10*h**2 + 24*h - 68. Does 11 divide v(-8)?
False
Suppose q + 3*l = l + 95, -5*l + 185 = 2*q. Suppose -6*c + 327 = -q. Does 24 divide c?
True
Suppose 2*p = -d + 52 - 5, 185 = 4*d + 5*p. Suppose -5*s = -2*v - 122, -4*s - 5*v = -46 - d. Is 3 a factor of s?
True
Suppose 0 = 13*p - 10*p - 12. Suppose 2*h + 4*s = 604, 189 = -p*h + 4*s + 1385. Is 15 a factor of h?
True
Let g(v) = v + 148. Let n(y) = -y**3 - 4*y**2 - 7*y - 32. Let f be n(-5). Is 8 a factor of g(f)?
True
Let w be ((-375)/(-20) - 1/4)*-2. Let u = -39 - w. Is u/(-4) - 966/(-28) a multiple of 5?
True
Let s = -11707 + 20554. Does 13 divide s?
False
Let n(l) = 8*l**2 + 1783 + 29*l**2 + 66*l - 1807 + l**3. Is 12 a factor of n(-35)?
False
Suppose -3*q = l + 32, -q - 2*q = 5*l + 220. Suppose -3*y = 3*c - 264, -46*y + 449 = 5*c - 50*y. Let o = l + c. Does 7 divide o?
True
Let w = 60 + -36. Is w/6 + (-2355)/(-5) a multiple of 19?
True
Suppose 5*g - 5*u - 7700 = 0, 18*g - 16*g + 5*u = 3031. Is 21 a factor of g?
True
Suppose 22584 = i + 5*t, 7*i + 3*t - 78166 = 79826. Does 23 divide i?
False
Let u(w) = 6*w**2 + 3*w + 449. Suppose 40*g = 20*g. Does 9 divide u(g)?
False
Suppose 405*b + 8298 = 411*b. Is 27 a factor of b?
False
Suppose -y = -497 + 323. Is y/2*5/(15/9) a multiple of 60?
False
Let i be -24 + 2 - (4 - 2). Let p = i - -29. Let k = 116 + p. Is 17 a factor of k?
False
Suppose -4*m + 8 = y, -3*m - 6 = -5*y + 11. Let g be m/((-15)/328) - 2/15. Let n = 158 - g. Is 20 a factor of n?
True
Is 660/((6/36)/((-35)/(-4))) a multiple of 150?
True
Suppose 405 = 184*y - 183*y. Let c = y - 0. Does 15 divide c?
True
Is 3264/(-51)*1145/(-2) a multiple of 20?
True
Let h(m) = -4*m - 24. Let l be h(-6). Suppose 94 = t - 3*n, l*t - t + n + 92 = 0. Let p = t + -53. Is 7 a factor of p?
False
Let o = 29 - 27. Let x(c) = 89*c + 2. Let f be x(o). Does 10 divide (12/(-10))/((-3)/f)?
False
Suppose -103968 = 13*l - 85*l. Is 76 a factor of l?
True
Suppose -8*n + 521 = -823. Suppose 0 = -j + 5*j - n. Is 21 a factor of j?
True
Let q = 1239 + -482. Let n = q - 484. Is 21 a factor of n?
True
Let n(r) = 51 + 20 + 94 - 41 + 3*r**2 - 32*r + 9. Is 72 a factor of n(29)?
True
Let z = 158 + -211. Let s = z - -59. Is s a multiple of 4?
False
Suppose 0*r - 2*r = 10. Let d = -2788 - -2784. Is 14 a factor of ((-188)/10 - d)*r?
False
Let s(w) = -8*w + 5*w + 37*w**3 + 2*w + 28*w**3 + 2*w**2. Let d be s(1). Let i = -54 + d. Does 4 divide i?
True
Suppose 0 = -3*z + 12*z + 8*z - 200192. Does 13 divide z?
False
Suppose 3*a - 14 = 5*y, a - y - 1 = -3*y. Suppose -5*i + a*i = 4, -h = -i - 62. Is h a multiple of 30?
True
Suppose -5*x - 44940 + 8885 = -4*h, h = -3*x + 9001. Does 85 divide h?
True
Let x = -2560 + 7476. Suppose 13*c - 9553 = x. Suppose 0 = -20*q + 13*q + c. Is 8 a factor of q?
False
Let p(d) = -2*d - 1. Let s be p(-2). Suppose -2*r + 4*m + 20 = 0, 10*r = 9*r - 3*m - 10. Suppose i - 183 = -r*j - 2*i, s*i = 5*j - 510. Does 33 divide j?
True
Let u(o) = o**2 + 24*o + 153. Let z be u(-11). Is 22 a factor of 3978/170*z/3?
False
Suppose -3*z + 1216 + 2468 = 3*j, -z + 2*j + 1222 = 0. Is z a multiple of 8?
False
Let z be 44/10 - 336/(-560). Suppose 3*b - 6*b - 5*m = -329, 0 = -3*b + z*m + 349. Is 113 a factor of b?
True
Let w = -13500 + 14130. Is w a multiple of 63?
True
Suppose -48*c = -38*c - 740. Suppose -c*h = -69*h - 2460. Is 63 a factor of h?
False
Let w(v) = v**3 + 10*v**2 + 18*v + 26. Let b be w(-7). Let u = 86 + b. Is u a multiple of 8?
False
Suppose -3*t = -1682 + 503. Let n = 1719 - t. Suppose 0 = -9*a - 462 + n. Is 4 a factor of a?
True
Suppose 48 = 28*b - 20*b. Does 52 divide (-794)/(-8)*((b - 7) + 9)?
False
Let r = 47343 - 28875. Is 27 a factor of r?
True
Let v(u) = u**2 + 9*u - 17. Let i(y) = -2*y**2 - 2*y + 12. Let o be i(-4). Let a be v(o). Let q = a - -22. Is q a multiple of 14?
False
Suppose -5*f + 7*f = 12. Let h(r) = 10*r**2 + 228 + 247 - 529