 of 3?
False
Suppose -l = -4*l + 4*q + 21177, -21150 = -3*l - 5*q. Does 27 divide l?
False
Let v(m) = 5*m**2 - 4*m + 1. Let q be v(1). Suppose -6 = -q*c, 0*c - 4*c - 64 = -d. Suppose -3*n = 34 - d. Is n a multiple of 7?
True
Suppose 1858 = -18*h - 374. Let z = h + 128. Suppose -1155 = -0*q - z*q - 3*k, -2*q + 3*k = -555. Is q a multiple of 11?
False
Let b be 1/9 - 3/(351/(-61412)). Let n = b + 163. Is 8 a factor of n?
True
Let x be (-2)/((-8)/(-60)*5) + 184. Suppose -5*k = 6 - x. Is 4 a factor of k?
False
Let q(j) be the second derivative of j**5/4 + j**3/6 - j**2/2 - 5*j. Let h be q(1). Suppose -h*p = 4*x - 241, -4*x + 196 = 3*p + p. Is p a multiple of 9?
True
Suppose -2*t + 64 = 2*r, 7*r - 6*r - 5*t - 32 = 0. Let p be 2*(8/r + (-6)/8). Does 2 divide p*3*8/(-3)?
True
Let x(c) = -260*c**2 - 8*c + 15. Let n(j) = j**2 + j. Let t(y) = -5*n(y) - x(y). Does 45 divide t(2)?
False
Let n(a) = -2*a**2 - 19*a + 13. Let p be n(9). Let z = p - -741. Does 8 divide z?
False
Let r be (-4)/(-3)*18/8. Let y = r + 7. Let f = 36 + y. Is f a multiple of 13?
False
Let d = 407 + -437. Is 10 a factor of (27/(-6))/(d/1640)?
False
Let v = -998 + 5841. Is v a multiple of 56?
False
Let q(z) = 485*z - 529. Is q(4) a multiple of 6?
False
Let m(n) = 4*n**2 - 10*n + 52. Let b be m(5). Suppose -14*q = -150 - b. Does 4 divide q?
False
Let x(n) = -97*n + 132. Let y be x(-5). Let f = -22 + y. Does 26 divide f?
False
Let a(o) = -o**2 - 3*o - 12. Let g be a(-9). Let k = g - -64. Is 7 a factor of 21/((9/k)/(-3))?
True
Suppose -55*h + 42*h = -184171. Is 31 a factor of h?
True
Suppose 0 = -125*l - 3*l + 1524864. Does 33 divide l?
True
Suppose -131*l + 125*l + 1830 = 0. Suppose -5*m + 5*j = -10*m + l, 0 = 2*m - 5*j - 87. Let s = m - -50. Does 7 divide s?
False
Suppose -5*t - 738 + 13890 = -4*v, -8*v + 2604 = t. Does 12 divide t?
True
Let p = 31447 - 26945. Is p a multiple of 18?
False
Suppose g - 3*g = 4*q + 1584, 0 = 5*q + 5*g + 1975. Does 10 divide ((-2160)/(-960))/(1 - q/(-400))?
True
Suppose 5*k - 178 = 262. Let w = 92 - k. Suppose 7*l - 252 = w*l. Is l a multiple of 28?
True
Suppose -2*v = -4*t + 14, -2*t + 3*v - v = -10. Let s(n) = -10 - 19 - n**3 + 3*n + 21 - 2*n**t. Is 12 a factor of s(-4)?
True
Suppose 17*q - 11*q - 708 = 0. Suppose 4*c - 146 = -d, -2*c - 4*d = -q + 38. Does 4 divide c?
True
Let o(u) = -u**2 - 10*u + 29. Let b be o(-12). Suppose 4*g + 3*h + 184 = 689, -5*g + 625 = b*h. Is g a multiple of 11?
False
Let s = -190 + 192. Suppose 2*z - 564 = s*y, 2057 = 5*z + 3*y + 687. Is 9 a factor of z?
False
Is (5845/(-7))/1*-9 a multiple of 124?
False
Let v(y) = 40*y + 2. Let u be v(5). Let p be 8 + 10/1*3/(-6). Suppose 4*m = p*l - u, 0 = -2*l - 2*m + 90 + 40. Is 22 a factor of l?
True
Suppose -294*m = -299*m + 2415. Suppose -q + 5*o = -114 - m, o - 3037 = -5*q. Is 45 a factor of q?
False
Suppose 11*k + 4*k - 60 = 0. Suppose 875 + 53 = k*t. Is 12 a factor of (-56)/84 + -2 + t/6?
True
Is -2 + (-72)/(-33) - 1769475/(-825) a multiple of 83?
False
Let q(a) = -6*a + 12. Let i be q(-10). Suppose i = -8*y + 2*y. Does 3 divide (-183)/y - (-4)/(-16)?
True
Is ((-750)/12 - 12)/(2/(1 + -325)) a multiple of 137?
False
Suppose -q = 3, -2*s - 8 = 2*q - 2. Suppose s = 308*z - 298*z - 2760. Is z a multiple of 13?
False
Suppose -25*o + 27*o - 14 = 0. Suppose -f - 1 = -o. Is 23 a factor of ((-84)/18)/((-5)/(1035/f))?
True
Let n(z) = -4*z**3 - 5*z**2 - 7*z + 5. Let j be -4 - (-1 - (5 + (4 - 10))). Is n(j) a multiple of 13?
False
Let w(d) = -4*d - 21. Let v be w(-6). Suppose s + p - 291 = -v*s, -4*p = -3*s + 223. Let t = s + -55. Is t a multiple of 6?
True
Let b = 1996 + 3802. Suppose 870 - b = -8*w. Is w a multiple of 44?
True
Let s be (21/(-4))/(-7)*5372. Suppose 3*v + 4*g - 4029 = 0, -3*v + 0*v - 5*g = -s. Suppose v + 232 = 7*i. Is 45 a factor of i?
True
Suppose -48*q + 85259 + 65006 = -7*q. Does 22 divide q?
False
Let a(u) = 1. Let i(z) = -3*z**2 - 4*z + 52. Let v(q) = 2*a(q) - i(q). Let o(x) = -x**2 - x + 16. Let f(d) = -7*o(d) - 2*v(d). Is f(-5) a multiple of 3?
True
Let d(g) = 22*g**3 + 8*g**2 - 5*g + 31*g**3 - 52*g**3. Does 2 divide d(-6)?
True
Let b(m) = 13*m**2 - 67*m + 1946. Is b(38) a multiple of 28?
True
Suppose 4*w - 31*k + 30*k - 147484 = 0, -2*w + 73732 = -3*k. Is w a multiple of 22?
True
Is 0 + 24289 + (-15)/525*10*7 a multiple of 21?
False
Let v(q) = 19*q**2 + 17*q + 2. Let i be v(-1). Suppose -2*j - 946 = -4*f + 874, -2*f + 904 = -i*j. Is f a multiple of 12?
True
Let z(l) = -6*l - 27. Let w be z(-5). Suppose 4 + 2 = -2*n, -2*r = n - 5. Suppose -475 = -r*u + w*k, -2*u + 290 = -2*k + 50. Is 15 a factor of u?
False
Let w = 28 + -19. Suppose 0*s + 3*s + w = 3*y, 5*y + 3*s - 15 = 0. Suppose -y*j + 2*a + 188 = 0, -4*a + 68 = 3*j - 96. Does 5 divide j?
True
Is 414/46*11*230 a multiple of 23?
True
Suppose -3*p = 5*p - 48. Suppose 0 = z + 2*f - 3, -2*z - 4*f + 24 = -p*f. Does 9 divide z?
True
Is 9 a factor of (-4654429)/(-1014) - ((-26)/(-12) - 2)?
True
Suppose 16*a - 10*a = 7*a - 28176. Is 67 a factor of a?
False
Suppose j + 2*j = 18. Let v be 1/j - (-60)/72. Is 10 a factor of v + (-930)/(-21) - (-2)/(-7)?
False
Let s(a) = -10*a**3 - 11*a**2 + 5*a + 3. Let w be s(-9). Suppose 0 = -16*h + 14379 + w. Is h a multiple of 16?
True
Let u(y) = 113*y**2 - 27*y. Is u(-4) a multiple of 24?
False
Suppose 260 = 5*z + 2*a, 2*z - 61 - 43 = 2*a. Let v = 5670 - 4940. Suppose -47*y = -z*y + v. Is 28 a factor of y?
False
Let g be (3/(-15)*-5)/1. Let f(j) = j**3 - 5*j**2 + 3. Let i be f(5). Is i*g - (-91 - -9) a multiple of 22?
False
Is 13 a factor of (77627/(-44))/(10/(-200))?
False
Is 2 + (3 + -8 - -4 - -7680) a multiple of 107?
False
Let f = 5367 - 4961. Does 7 divide f?
True
Let h(j) = -j**3 - 2*j**2 + 4*j - 1. Let u be h(-5). Let x = u + 3. Does 16 divide x?
False
Suppose 0 = 64*g - 94606 - 27378. Is g a multiple of 7?
False
Let z(p) = -34*p + 50. Let q(c) = -c**3 - 6*c**2 - 7*c - 5. Let l be q(-3). Does 16 divide z(l)?
False
Let f(o) be the third derivative of o**7/210 + o**6/80 - o**5/60 - o**4/6 - 7*o**2. Let h(j) be the second derivative of f(j). Is h(3) a multiple of 40?
False
Let o(l) = 14*l - 4. Let p be o(4). Let n = -543 + 507. Let q = p + n. Does 16 divide q?
True
Let v = -17 - -21. Suppose 2*x = 3*n - 188, 9*n + 5*x = v*n + 305. Let c = n + -25. Is c a multiple of 14?
False
Let y(l) = 58*l**2 - 75*l**2 + 2*l**3 + 10 - l**3. Suppose 0 = -2*t - t + d + 51, -5*d = -t + 17. Is 5 a factor of y(t)?
True
Suppose -358 - 2554 = -13*o. Does 9 divide (-108)/48*o/(-6)?
False
Suppose -832*g + 223520 = -822*g. Does 22 divide g?
True
Let s = -376 + 373. Let r(f) = -9*f**3 - 3*f**2 - 7*f - 3. Does 6 divide r(s)?
True
Suppose -33202 - 286910 = -22*y - 32*y. Does 26 divide y?
True
Let u = -1395 - -2250. Does 6 divide u?
False
Is 13 a factor of 3/(-12) + 1 - (123777/(-68) - 12)?
True
Let h(t) = -t - 44. Let i be h(-2). Does 9 divide (-1058)/3*i/28?
False
Suppose 4*s + 2*u = 676, -2*s + 2*u = 7*u - 346. Let i = -117 - -230. Let n = s - i. Is 7 a factor of n?
False
Let v = 5 + 19. Suppose 8 = -4*t + v. Suppose -3*n - 5*r = -74, 0 = -t*n - 0*r + 5*r + 52. Does 7 divide n?
False
Let i = 8069 - -22693. Does 109 divide i?
False
Suppose -319*f = 68*f - 2735316. Is f a multiple of 19?
True
Let m = -237 + 1312. Is 9 a factor of m?
False
Suppose 3*y - 10 - 8 = 0. Suppose 3*s = -v - 7, 2*s + y*v - 9*v = 10. Is 58 a factor of s - (-200 + (3 - 5))?
False
Suppose 4*o + 92584 = 6*c + 2*o, 0 = c - 5*o - 15440. Does 21 divide c?
False
Suppose -14*h - 552 = 14*h - 30*h. Does 3 divide h?
True
Suppose 3*r - 79 = 35. Let z(o) = -26 + o + 4*o**2 + 9*o**2 + o**3 + r. Is z(-12) a multiple of 16?
True
Let z be (-3)/12 - 1717/(-4). Let q = z - -23. Suppose 61 = i - 2*m - 47, -4*i - 2*m + q = 0. Does 14 divide i?
True
Let s = -463 + 858. Let h = -326 + s. Does 3 divide h?
True
Let o(k) = -302*k + 7608. Is o(0) a multiple of 6?
True
Let r(l) = -l**3 + 28*l**2 - 36*l + 110. Is 26 a factor of r(18)?
False
Is 391 + 2 - (25 + -36) a multiple of 101?
True
Let b(q) = -q - 1. Suppose 0 = -20*o + 11*o - 36. Let r(f) = -4*f + 25. Let d(y) = o*b(y) - r(y). Is 15 a factor of d(12)?
True
Let p be (6 - -1) + (-28)/(-1 - 6). Suppose p*d = 206 + 113. Is 4 a factor of d?
False
Let v(o) = -o**3 + 16*o**2 - 5*o + 14. Let p be v(16). Let a = -90 -