- 488 = -m. Does 46 divide a?
False
Let a = 110 - 316. Let p = a + 267. Does 16 divide p?
False
Suppose 67*r = 73*r. Is 9 a factor of 2066/6 - r - 375/(-225)?
False
Let g(k) = 6*k**3 - 13*k**2 - 42*k + 127. Does 7 divide g(8)?
False
Let h = -5254 + 12540. Does 20 divide h?
False
Is -24 - (-479)/1 - 7 a multiple of 32?
True
Let x(c) = -c**2 - 2*c - 12 + 48 - 21 - 10*c. Let u be x(-13). Suppose 5*l = -5*n + 520, 2*l - 4*n = -u*l + 424. Does 15 divide l?
True
Let q be (6*1/(-4))/(1/(-74)). Let s be 2/(24/q) - 5/20. Suppose -s*w + 465 = 6*w. Does 31 divide w?
True
Let h(t) be the third derivative of t**6/120 + 11*t**5/60 + 3*t**4/4 + 4*t**3/3 - 4*t**2 - 1. Is 13 a factor of h(-7)?
True
Suppose 14198 = 32*a - 7402. Does 35 divide a?
False
Let n = 394 + -353. Suppose -7*u = -4*u + s - 143, -u = -s - n. Does 2 divide u?
True
Let q(m) = 39*m**2 - 16*m - 50. Let t be q(-4). Let u = 1136 - t. Is 83 a factor of u?
True
Let w(z) = -11*z - 7. Let p(r) = r**3 - 17*r**2 - 19*r + 1. Let b be p(18). Let i(k) = 34*k + 22. Let y(t) = b*w(t) - 6*i(t). Is 12 a factor of y(-5)?
True
Suppose -274*w + 180 = -269*w. Suppose 2*h = -2*h + 360. Let o = h + w. Is o a multiple of 21?
True
Let m = 12561 + -10768. Is 51 a factor of m?
False
Suppose -5*f + 38 = 18, 3*f - 2187 = -3*n. Does 22 divide n?
False
Let j = -30831 + 57725. Is 17 a factor of j?
True
Let v be 6*((-4)/24*-20)/2. Suppose 386 = v*g + 56. Is g a multiple of 3?
True
Suppose 6*u + 9 = 3*u. Let m be 2/u - (-1552)/6. Suppose 4*a - 114 = m. Is a a multiple of 21?
False
Let a = -154 + 276. Suppose 770 = -9*p + a. Let z = -6 - p. Is z a multiple of 11?
True
Suppose -26*g - 839025 = -79*g - 60*g. Does 45 divide g?
True
Let a(f) = -21*f - 87. Let t be a(-11). Suppose s + 5*q - 64 = 0, -2*s - 3*q = s - t. Is s a multiple of 18?
False
Suppose 3*d - 70*d + 122878 = 0. Is 12 a factor of d?
False
Let y = 77 + 469. Suppose -11*u + y - 128 = 0. Is u a multiple of 19?
True
Let s(r) = 3*r - 13. Let z be s(3). Let w be 3/z - (-86)/8. Is 7 a factor of (22/(-55) - 276/w)*-1?
True
Let o = -19 - -19. Is 29 a factor of 2/(6/783)*(o + 1)?
True
Let i be 3*(39/(-9) + 1). Let l(n) be the third derivative of n**5/60 + 5*n**4/12 + 19*n**3/6 + 367*n**2. Is l(i) a multiple of 19?
True
Suppose -7*k + 5*k = -5*f - 2341, 3*k + f = 3503. Suppose 0 = -4*a - 4*p + 28, 5*p - 13 = a - 20. Suppose -k = -a*g - g. Is 18 a factor of g?
False
Suppose 0 = 5*y - y - 8. Suppose i = 3*c - 294, c - 75 = -3*i + 13. Suppose -y*o = -3*o + c. Is 28 a factor of o?
False
Let r(l) = 6*l**2 + 4*l + 50. Is 23 a factor of r(10)?
True
Suppose -85*z + 280247 = -168553. Is z a multiple of 6?
True
Let a be (168/63)/((-2)/(-3)). Suppose -d = -a*d. Suppose d = 9*f + f - 350. Does 5 divide f?
True
Suppose -551*y = 2*m - 546*y - 18097, m = -y + 9056. Is 13 a factor of m?
True
Suppose 38*a - 34573 = 97439. Is a a multiple of 9?
True
Is 26 a factor of (68775/15)/((-2)/(-4)) - 4?
False
Let s = -654 + 657. Suppose s*p = 0, -p - 358 - 6 = -2*u. Does 13 divide u?
True
Suppose -2*n = -0*n + 84. Let h be 1/3*n/(-1). Suppose -h*v = -12*v - 56. Does 14 divide v?
True
Let r be (3354/(-4))/(48/(-3584)*2). Suppose -20*p + r = 8*p. Is p a multiple of 26?
True
Let u be 55/(-22)*(-8)/5 + -3. Let j be ((-16)/20 - 0) + u/(-5). Is 762/2*((-10)/15)/j a multiple of 41?
False
Let i = 409 + -405. Let j(v) = -v**3 - v. Let w(a) = -4*a**2 - 9*a + 2. Let p(s) = -3*j(s) + w(s). Does 18 divide p(i)?
False
Let x be 4/10 + 330/(-75). Let u be 9/((-36)/56) + x. Let d = 151 + u. Is d a multiple of 18?
False
Does 4 divide 1 + 6/(-4)*(-107584)/96?
False
Suppose -16 = -4*m, m + 529 = 5*r - 3*m. Suppose 974 + 1223 = 13*g. Let a = g - r. Does 20 divide a?
True
Is 30 a factor of -4 + 132/30 + 87672/20?
False
Suppose -4*t + 888 = 168. Let m = 397 - t. Let s = 364 - m. Does 21 divide s?
True
Let j be 5/60 + 115/60. Suppose 5*y = -5*r + r + 944, -j*y - 3*r = -372. Is y a multiple of 24?
True
Let b(a) = -192*a + 1488. Is 17 a factor of b(-5)?
True
Let q(v) = 1794*v**2 - 21*v - 20. Let f be q(-1). Suppose 4895 = 5*o + f. Is o a multiple of 11?
False
Let y be 6094/(-12) + (-14)/84. Let q = y + 934. Does 11 divide q?
False
Let d be 5/10 - 1856/(-128). Let s be (-2)/4*-4 - -4. Suppose -d*l = -s*l - 1539. Is 16 a factor of l?
False
Let h(v) = 29*v**2 - 251*v - 11. Let x be h(9). Suppose 2*s = -4*d - 2*s - 260, 290 = -5*d + 2*s. Let j = d + x. Is 2 a factor of j?
False
Suppose -456 = -3*x + x + 2*g, -5*x - 2*g + 1161 = 0. Suppose 0 = 2*l - 2*m + 25 - x, 4*l + 3*m = 426. Is l a multiple of 11?
False
Let v = -2613 - -4231. Suppose -v = -17*s + 1459. Does 7 divide s?
False
Suppose 6*l - 1418 = -104. Let p = -201 + l. Does 2 divide p?
True
Let g be ((-18)/(-7) - 2)*(-4697)/(-22). Let j = g + 378. Is 6 a factor of j?
False
Is 31 a factor of (-278012)/(-38) + (-25)/(950/4)?
True
Suppose 0 = -3*r - 5*l + 15589, 3*r - 16050 + 457 = -4*l. Is 43 a factor of r?
True
Suppose 3*z + 915 = 6*z + 3*x, -5*x + 5 = 0. Let v = z + 327. Is 31 a factor of v?
False
Suppose -2*a + 911 = 3*h, -4*a - 299 = -2*h + h. Suppose k + h = x - 12, -4*x + 1260 = 4*k. Does 9 divide x?
True
Let o(w) = -134*w**2 + 20*w + 63*w**2 + 7*w + 68*w**2 + 3. Let y be o(9). Suppose 4*v - 248 = -b - y*b, 3*b + v - 192 = 0. Is 5 a factor of b?
True
Let p(b) be the third derivative of -1/24*b**4 + 0*b + 1/3*b**3 + 0 + 18*b**2. Does 2 divide p(-1)?
False
Let l be 3/(-4) - (-778)/(-8). Let r = l - -101. Suppose -r*d - 440 = -3*v - d, d = -4. Is 36 a factor of v?
True
Let h(z) = -z**3 + 6*z**2 + 9*z - 12. Let k be h(7). Suppose 0 = -5*p + 3*m + 5895, k*p + 4*m = 2262 + 122. Is p a multiple of 52?
False
Suppose b = -2*b - 3. Let t be -6 + 11 + 2/b. Suppose 3*r + t*z = 99, -2*r + 6 + 69 = -z. Does 9 divide r?
True
Let y = 39 - 53. Let r be 8/14 - (-134)/y. Let z = r - -111. Does 26 divide z?
False
Let f(l) = -66*l**3 - 2*l**2 + 2*l + 2. Let b(y) = y**2 + 8*y + 14. Let j be b(-6). Suppose 3*u + 2*c - 7*c + 13 = 0, j*c = u + 5. Does 21 divide f(u)?
False
Suppose 17899 = -25*i + 43*i - 136685. Is 144 a factor of i?
False
Let a = 2615 + -949. Is a a multiple of 45?
False
Suppose -4*w + 8 = 4*q, 3*q = 5 + 4. Let b be ((-1)/(-2) - w)*4/3. Suppose -b*h = -h - 187. Is 17 a factor of h?
True
Let m = 3565 - -1245. Suppose -5*x - a - a = -m, -15 = -3*a. Is x a multiple of 30?
True
Let d(o) = -911*o**3 + 10*o**2 + 25*o + 28. Is d(-3) a multiple of 77?
True
Let r(k) = -18*k + 10 + 15 + 6*k + 17*k. Does 15 divide r(49)?
True
Let z = -156988 - -226253. Is 18 a factor of z?
False
Let q(l) = l**3 - 6*l**2 - 7*l + 4. Let r be q(7). Suppose -r*t + 298 = k - 2*k, -5*t - 4*k = -362. Is t a multiple of 5?
False
Suppose -26*s + 4101 = 1345. Let k = s + -73. Is 14 a factor of k?
False
Let x be -4 + 1 - (-9 + 126)/9. Let s(u) = u**3 + 17*u**2 + 10*u - 19. Is s(x) a multiple of 4?
False
Let q = 95946 + -40812. Is q a multiple of 224?
False
Is 6 - (-21 - (-19 - -22601)) a multiple of 13?
False
Suppose 8195*y - 8189*y - 88032 = 0. Does 105 divide y?
False
Let k = 100 - 190. Let j = k - -57. Is 12 a factor of 11/j*(-535 + -1 + 2)?
False
Let v = 1011 + 726. Suppose 2*z = 4*k + 1404, -3*z - 2*k + v + 353 = 0. Does 14 divide z?
False
Let v = -762 - -3282. Does 7 divide v?
True
Let l(r) = 253*r**2 - 313*r - 939. Is l(-3) a multiple of 3?
True
Let y be 21/14*12/9. Suppose -104 = 2*l - l + 2*m, -y*l - m - 199 = 0. Let k = -71 - l. Does 17 divide k?
False
Suppose -2*b = 4*y - 100, -2*y = -b + 47 + 3. Let o = -25 + b. Let m = 65 - o. Is m a multiple of 40?
True
Is (-39938)/(-3) + (224/14 - 176/12) a multiple of 35?
False
Let y(p) = 30*p - 354. Let g be y(17). Suppose -2*a = g - 796. Is 10 a factor of a?
True
Let u = 10891 - 9434. Is 47 a factor of u?
True
Let v(u) = u**3 + u + 20. Let l(h) = -2*h + 17. Let k be l(9). Let i be 1*(-3 + 3)/k. Is v(i) a multiple of 4?
True
Suppose -14*h = -7*h + 273. Let t = -28 - h. Suppose 0 = -7*f + t*f - 320. Is f a multiple of 21?
False
Let a(p) = p + 37. Let j(s) = -1. Let o(x) = a(x) + 2*j(x). Suppose 24*c - 1504 + 370 = -39*c. Does 8 divide o(c)?
False
Suppose -4960*r = -4978*r + 52200. Is 100 a factor of r?
True
Suppose 60*p - 102 = 43*p, 4*p + 27240 = w. Is 64 a factor of w?
True
Let q = 52 - 53. Let y be 933/9 + q + (-6)/9. Suppose 2*v - y = -4*m, 0 = v - 5*m - 9 - 7