d + 568, d - 1 = 0. Is 38 a factor of g?
True
Let g = -7746 + 19890. Is g a multiple of 264?
True
Let v(j) = j**3 + 13*j**2 - 7*j - 1. Suppose y - 4*z = -z + 20, -2*y + 24 = 2*z. Let q be y/42*78/(-2). Is v(q) a multiple of 25?
False
Suppose -4*b + 2*j + 1536 = 0, 3*j + 4 = 5*j. Let l = -224 + b. Is l a multiple of 10?
False
Is (-21909)/(-3) + (-649)/(-59) a multiple of 138?
True
Let v(n) = n**3 - 22*n**2 - 3*n + 16. Let c be v(22). Is 58 a factor of (8575/c)/((-3)/18)?
False
Suppose 5*f - 19*c + 16*c = 10874, 10888 = 5*f - c. Is 4 a factor of f?
False
Suppose -17*k = -16*k + 2*v - 2854, -k + 2853 = 3*v. Suppose 2*a - 1904 = -r, 7*a - r - k = 4*a. Does 31 divide a?
False
Suppose 38*u = 10*u + 69763 + 18689. Is 27 a factor of u?
True
Suppose -4*k - 291 = -307. Let z(v) = -v**2 - 2*v**2 + 9*v**2 - 8*v - 2 + v**3 + 0*v**2. Is z(k) a multiple of 21?
True
Suppose 9243*b = 9248*b - 22860. Is 18 a factor of b?
True
Let k(s) = s**3 - s**2 + 3*s + 6. Let m be k(-4). Let f be (2*96/(-128))/((-6)/560). Let h = f + m. Is h a multiple of 27?
True
Suppose -3*w + 39 + 15 = 0. Let r be 136 - (-4 + -5 + 4). Suppose -w*q + r = -17*q. Is q a multiple of 16?
False
Let a = -35 - 14. Let m = -4826 - -4806. Let x = m - a. Does 29 divide x?
True
Let g = -13711 + 18347. Is g a multiple of 252?
False
Let b be (-28)/126 + (-29)/(-9). Suppose -4*f + 7 = u, 9 = -2*f - b*u - 0*u. Suppose -f*k = -78 + 27. Is 7 a factor of k?
False
Suppose -9*r = -2*r + 35. Let p(m) = -7*m + m - 6 + 0*m. Is 2 a factor of p(r)?
True
Let x = 2593 + 229. Does 12 divide x?
False
Let v = 26 + 97. Let s = v + -118. Suppose 992 = 21*q - s*q. Is q a multiple of 8?
False
Suppose -s = 2*q + 479, 0*s + 4*q + 2413 = -5*s. Let d = -385 - s. Is d a multiple of 4?
True
Let l be 34/8 + 6/(-24). Suppose 2*y = 4*f - 34, 3*y - 25 = l*y - 4*f. Is (y*10)/(-2) + 2/1 a multiple of 14?
False
Let v = 13222 + -9012. Is v a multiple of 26?
False
Let d = -550 - -850. Suppose 3*b + t = d, -8*t = -5*b - 4*t + 500. Is b a multiple of 10?
True
Let f be (-10)/(-15) + 8/6. Suppose -3*w + 5 = -2*w + c, f*c - 22 = -4*w. Suppose -w*d + 151 = 7. Is 9 a factor of d?
False
Let x(y) = -59*y - 862. Does 6 divide x(-29)?
False
Let c = 15422 + -14792. Is c a multiple of 7?
True
Let i(p) = -p**3 - 56*p**2 + 41*p + 1116. Does 160 divide i(-60)?
False
Let t = 60 - 57. Suppose t*u = 7*u - 8. Suppose 0 = -3*n - c + 384, c - 256 = -u*n + 2*c. Does 8 divide n?
True
Suppose 40*r - 57606 = -15846. Is 39 a factor of r?
False
Let o = 137 + -127. Does 73 divide 1095*(100/15)/o?
True
Let b(w) = -13 + 103*w + 2*w + 101*w + 36. Does 56 divide b(1)?
False
Let d(y) = 935*y + 4689. Is d(9) a multiple of 14?
True
Suppose 2*b - 4*i + 47 = 5*b, -2*i + 37 = 3*b. Suppose -5*s + 149 = w - b*s, 5*w - 620 = -5*s. Does 16 divide w?
False
Suppose -113*d + 310887 = -40258 - 146846. Does 67 divide d?
False
Suppose h = 5*c - 22549, 0 = -5*c + 5*h - 7600 + 30145. Does 89 divide c?
False
Suppose 25*u - 24*u = 4. Suppose -u*s - 29*q + 30*q + 469 = 0, 0 = -3*s - 5*q + 369. Is 53 a factor of s?
False
Let y(z) = z**3 + 49*z**2 + 77*z - 21. Is y(-26) a multiple of 18?
False
Let s = 24541 + -6949. Is 53 a factor of s?
False
Suppose 442 = -2*i - 648. Let o = -61 + i. Is (-2)/(o/(-3330) - (-3)/(-15)) a multiple of 9?
False
Let c(w) = 210*w**2 + 4*w - 40. Is c(4) a multiple of 12?
True
Let z(t) = t**3 + 10*t**2 + 9*t + 27. Suppose -146 = -6*o + 160. Suppose -3*p + 24 = o. Is 9 a factor of z(p)?
True
Suppose -5*f + 14 = -3*f. Suppose -416 = f*v - 20*v. Does 4 divide v?
True
Suppose -5*q + 11604 = d, 0 = -d - 305*q + 309*q + 11541. Is 23 a factor of d?
True
Suppose -2*g - g = -9, -3*g + 81 = 4*n. Let y(j) = 17*j - 2. Is 19 a factor of y(n)?
True
Let q = -430 - -432. Suppose -z + q*k = -540, 0*z = -4*z - 4*k + 2172. Is 9 a factor of z?
False
Let b = 19721 - 17558. Is b a multiple of 4?
False
Suppose 17392452 = 201*a + 338*a. Is a a multiple of 12?
True
Suppose -5*c + 585 - 645 = 0. Is 13 a factor of (-6)/2*(-2)/c*-230?
False
Let v be 32/((-32)/(-4))*(-129)/(-4). Suppose 0 = -4*t + t - 3*m + v, -3*t - 4*m + 133 = 0. Is 7 a factor of t?
False
Suppose 7*l - 9*l + 17933 = -5*g, -2*l = -4*g - 17930. Is 30 a factor of l?
False
Suppose -744 = 11*a - 9*a + j, 2*a - 3*j + 744 = 0. Let m = a - -409. Does 7 divide m?
False
Let k = 27 + -50. Let s = k + 22. Does 8 divide s - (-1 - -1) - (-4 + -83)?
False
Suppose 35*d = -d + 6192. Suppose 3*z + 4*t + 4 - d = 0, 2*t = 0. Does 8 divide z?
True
Suppose -5*z - 31 = 3*u, -2*u + u - 12 = 2*z. Suppose -10*x + 0*x + 260 = 0. Let o = x + z. Does 7 divide o?
True
Suppose -6*k = -k - 20. Let d be -56 + 1*k/2. Let g = 145 + d. Is g a multiple of 19?
False
Is 5/2*((-2659)/(-5) + (-73 - -70)) a multiple of 26?
False
Suppose 11*n - 88 = -11. Suppose n*q + 3174 = 30*q. Does 6 divide q?
True
Let c(v) = -5*v + 24. Suppose 0 = 2*b + 2*u - 62, -3*b + 69 = -3*u - 0*u. Let l be (b/(-12))/(6/16). Is 18 a factor of c(l)?
True
Suppose 99402 = 5*f + 2*l, -3*f + 37*l = 38*l - 59640. Does 6 divide f?
True
Let w be (9789/(-18))/(-13) - (-2)/12. Suppose -w*p = -47*p - 385. Let q = 40 - p. Does 29 divide q?
False
Let r(p) = 117*p**3 - 3*p**2 - 43*p + 86. Does 7 divide r(2)?
True
Let i be 50/11 - (-12)/(-22). Suppose -2*q + i*q = 0, 0 = 3*f - 2*q - 153. Does 17 divide f?
True
Let h = -371 + 409. Suppose h*t + 17394 = 64*t. Is t a multiple of 28?
False
Let m(c) = -2*c**2 + 4*c + 4. Suppose -10*p - 4 = -11*p. Let i be m(p). Let s(f) = 2*f**2 + 17*f - 4. Is s(i) a multiple of 16?
True
Let h be 535/(-2)*(0 + 16/(-10)). Let v = h - 148. Does 7 divide 35588/v - 2/20?
False
Let i = 784 - 482. Suppose 2*f = -2*k + i, -9*f + 605 = 4*k - 4*f. Does 15 divide k?
True
Let z(v) = -2*v**3 - 12*v**2 + 10*v + 16. Let p be z(-12). Suppose 4*s + 0*g - 2166 = 3*g, -2*g - p = -3*s. Is s a multiple of 45?
True
Suppose 4*o + 1816 = -220. Let i = -461 - o. Is i a multiple of 8?
True
Does 13 divide 96/(6540/(-65740) + 2/19)?
False
Suppose 6*b + 3*w = -8 - 37, w = b. Let m(d) = 3*d + 4 - 1 - 8*d - 4*d. Is m(b) a multiple of 12?
True
Let f(q) = -25*q - 19 + 0*q**2 + q**2 + 42*q. Let u be f(-19). Suppose -2*c + u + 23 = 0. Is 3 a factor of c?
True
Let w = 11052 - -11168. Is w a multiple of 55?
True
Let u be (0 - (0 + 1))/(1/135). Let r = 172 + u. Is 3 a factor of r?
False
Suppose 455789 = 110*p - 185621. Is p a multiple of 65?
False
Suppose s - 270 = -s. Suppose -3*k = -6*k - 4*t - 110, 0 = -5*k + 3*t - s. Let b = -11 - k. Does 19 divide b?
True
Let o(k) = 42*k**2 - 11*k - 84. Does 27 divide o(12)?
True
Suppose 48*d + 1124 = 50*d. Suppose -l - 122 = -d. Suppose -4*v + l = v. Is v a multiple of 8?
True
Let l(o) = o**2 - o + 6. Let w be l(-5). Let u = w + -26. Suppose 3*m - 8*m - 2*n + 104 = 0, 0 = -5*n + u. Is m a multiple of 14?
False
Let a(j) = 155*j**2 - 14*j - 11. Let l be a(-1). Suppose -7*u + l = -122. Is u a multiple of 6?
False
Suppose -312 - 1898 = -5*g - z, -2200 = -5*g + z. Suppose -2*l + 458 = 4*i, 4*i = 2*l + g + 21. Suppose -i - 141 = -4*t. Is 27 a factor of t?
False
Let r be 5/20*111*4 - -3. Let t = 465 + r. Is 20 a factor of t?
False
Suppose 5*v - 5*z + z - 208 = 0, -2*v - 3*z + 97 = 0. Suppose -9*u - v = 2*u. Is 21/1 - (-7 - 16/u) a multiple of 24?
True
Let o(p) be the third derivative of 0*p + 1/3*p**3 + 0 - 17/8*p**4 - 20*p**2. Is 13 a factor of o(-2)?
True
Suppose 4*g - 412*k - 27469 = -415*k, -4*k + 34336 = 5*g. Is g a multiple of 34?
True
Suppose 5*b + 2*t - 5955 = 0, 12*b + 2*t = 9*b + 3577. Is b a multiple of 11?
False
Suppose 66*q = 71*q - 148755. Suppose -11017 = -26*i + q. Is i a multiple of 49?
True
Let a = -101 + 98. Let c = 8 + a. Suppose -4*b - 3*y + 535 = 0, c*b + 237 = -y + 914. Is 16 a factor of b?
False
Suppose -284*b + 3600204 = -2758968 + 1893272. Is 17 a factor of b?
True
Let f be (-190 + 2)*(-15)/6. Let t be 118*(-3 + -1 - 42/(-28)). Let l = t + f. Does 35 divide l?
True
Let m(a) = 46*a**2 + 22*a - 63. Is 5 a factor of m(10)?
False
Let t = 1650 + -752. Suppose 2*z + 2*i - t = 0, 5*z - z = 4*i + 1772. Is z a multiple of 81?
False
Is 13 a factor of 8531 + 3 + -2 - (-15)/165*-33?
False
Let n(u) = -12*u - 46. Let k(l) = 5*l + 23. Let j(w) = 7*k(w) + 3*n(w). Is j(11) a multiple of 4?
True
Let s be 0*((-28)/(-98) + 11/(-14)). Suppose -5 = -t - s*t. Suppose 0 = t*y