 + l - 8. Is j(-1) a multiple of 47?
True
Suppose 3*z + 30 = 2*q - 3*q, 90 = -4*q + 3*z. Let v be (q/(-21))/4 - (-18)/(-14). Is 16 a factor of (v + -190 - 1)*(-34)/68?
True
Let d(r) = 5*r**2 + r - 4. Let j(i) = i**3 - 2*i**2 + i + 6. Let n be j(4). Let t = -45 + n. Is d(t) a multiple of 10?
False
Let o(v) = -159*v + 48. Let q be o(-3). Suppose 0 = -2*n - n, 3*s + 5*n = q. Is s a multiple of 18?
False
Let a(g) = -g**2 + 6*g. Let c be a(5). Suppose 0*r = c*r - 210. Suppose -5*v = -117 + r. Is 15 a factor of v?
True
Suppose 11*d + 68321 = 184*d - 17314. Does 5 divide d?
True
Suppose 0 = -104*z + 11*z + 254448. Is z a multiple of 36?
True
Let c(x) = 2*x**2 - 67. Let r(n) = n**2. Let v(t) = c(t) + r(t). Does 16 divide v(-7)?
True
Suppose -8*w + 2287 = 3*n - 6*w, -3*n = 3*w - 2286. Suppose -5*u + n = -3*g, 119 = u + g - 40. Is 7 a factor of u?
False
Let h(x) = -51*x - 3. Let p be h(-2). Let y be p*4*2/4. Suppose -2*r = 4*a - y, r + 2*r - 294 = -5*a. Is 12 a factor of r?
False
Suppose -204 - 66 = -5*w. Let p = 59 - w. Suppose 3*r - 5*n - 72 = 0, 2*n - p*n = -3*r + 66. Does 4 divide r?
False
Let a = -960 - -1960. Suppose -440*y + 435*y = -a. Is 10 a factor of y?
True
Let n = 5815 + -3230. Suppose 7*k - 18*k + n = 0. Suppose 0 = -6*x + 11*x - k. Does 11 divide x?
False
Suppose -27*u - 76*u = -1954395 - 4677569. Does 242 divide u?
False
Let s = -72 - -71. Let m = s - -6. Suppose -m*i - 16 = -61. Is i a multiple of 5?
False
Let n(k) = -71*k + 558. Let a(l) = 35*l - 278. Let o(y) = 9*a(y) + 4*n(y). Is 12 a factor of o(30)?
True
Let y = -10 + 29. Let x(m) = -2*m**3 + 38*m**2 + 6*m + 6. Does 24 divide x(y)?
True
Is (-1)/(-29) + (-13214565)/(-21315) a multiple of 4?
True
Suppose -4*c + 5*s = 41, -4*s + 17 = 2*c + s. Let h be c*(550/(-4))/5. Let b = -22 + h. Is 11 a factor of b?
True
Let z = 217 - 213. Suppose -5*n + 608 = 2*a - 74, 0 = -z*n - 4*a + 548. Is n a multiple of 12?
False
Suppose 5*i - i = p - 85, 4*i + 60 = -4*p. Does 8 divide -10*(-4 - (-448)/i)?
True
Let n = -94777 - -148357. Is n a multiple of 285?
True
Let t = 10093 + -9543. Is t a multiple of 2?
True
Suppose -5*b + 4*m - 66 = 0, 3*b = 5*m - 63 + 13. Is (1 - -6)*-1*(b - 3) a multiple of 16?
False
Let c = -39558 - -44508. Is 10 a factor of c?
True
Let g(i) = -i + 15. Let a(c) = -2*c - 6. Let f be a(-9). Suppose 5*p - f = r, -r - 3*p + 2*p = 6. Is g(r) a multiple of 3?
False
Let y = -834 + 585. Let q be (1713/3)/1 - -3. Let x = y + q. Does 25 divide x?
True
Let u be ((-540)/5)/(-12) + -11. Let c(z) = 12*z**3 - 3*z**2 - 8*z - 4. Let f(n) = n + 1. Let a(h) = -c(h) - 6*f(h). Is 6 a factor of a(u)?
True
Let y = 49808 + -23325. Is 19 a factor of y?
False
Let c = 3080 - -49. Suppose -1797 = -p - 3*u, -3*p + 2267 = 4*u - c. Is p a multiple of 100?
True
Let k = 3872 - 2652. Is 20 a factor of k?
True
Suppose 2*i = i + 7. Suppose -4 = d, 7*v = 6*v + 5*d - 59. Let l = i - v. Is 14 a factor of l?
False
Suppose -147*j = -3*o - 145*j + 48649, 3*o = -4*j + 48619. Is o a multiple of 31?
True
Suppose 3*w + 15389 = 5*y, 5*w - 947 = y - 3994. Does 23 divide y?
True
Suppose 195*g + 14*g + 15*g - 5352704 = 0. Is 58 a factor of g?
True
Suppose 0 = 41*z - 50*z + 3591. Is z a multiple of 57?
True
Let o(u) = -28*u**2 - 2*u. Let b be o(1). Is 16 a factor of (-75)/5*384/b?
True
Suppose -3341 = 84*b - 189821. Does 129 divide b?
False
Let f(w) = w**3 + 11*w**2 + 23*w + 12. Let d be f(-8). Suppose 0 = d*i + 2778 - 10458. Is 7 a factor of i?
False
Let y be (15/(-2))/(36/(-24)). Suppose -v = 0, 0 = -y*s + 3*v + 2939 + 3331. Is 38 a factor of s?
True
Let a(w) be the third derivative of 10*w**4/3 - 17*w**3/6 + 23*w**2. Let p be a(4). Suppose 5*s - p = 667. Is s a multiple of 18?
False
Suppose -2*f + 8919 = 331*w - 332*w, 5*f + 4*w = 22304. Is f a multiple of 10?
True
Suppose -38*r = -40*r + 17612. Is r a multiple of 14?
True
Let k(u) = 23*u - u**3 - 15*u**2 + 2 - 4 - 41*u. Let x be k(-13). Let q = -20 - x. Does 34 divide q?
False
Let g(u) = u**3 + 7*u**2 + 9*u + 25. Let p be g(-5). Is (7/((-14)/6))/((-9)/p) a multiple of 4?
False
Suppose 4*j - 5*f = -5, -3*j = -0*j + 2*f - 2. Suppose -28*r + 41*r - 1573 = j. Is 7 a factor of r?
False
Suppose 3*g - 13608 = -21*g. Let c = g - 258. Is c a multiple of 6?
False
Suppose -2414 - 2850 = -8*l. Does 30 divide 20/((l/(-30))/(-7) - 3)?
True
Let i(r) = -r**3 - 37*r**2 - 53*r - 75. Let z be (-8)/20 - (-178)/(-5). Is 28 a factor of i(z)?
False
Suppose -349*k - 17244 = 347*k - 705*k. Does 10 divide k?
False
Let a(d) = 64*d + 237. Let b be a(11). Does 18 divide b - (-2)/8*-20?
True
Suppose 0 = 2*w + 3 - 7. Does 6 divide 156/(-117)*(-657)/w?
True
Let n = 849 + 1925. Is n a multiple of 122?
False
Suppose 5*j - q - 605 = 0, -2*j + 3*q + 242 = 6*q. Does 16 divide 0 + 3 + (j - -7)?
False
Let g = 337 + 88. Suppose -r = -5*d - 170, 3*r - g = -0*d - 2*d. Does 18 divide r?
False
Let g(n) = 14*n**3 + 12*n**2 - 24*n + 72. Does 182 divide g(8)?
False
Suppose -5*a = -c + 25302, -84 = -3*a - 87. Is 41 a factor of c?
True
Let o(l) = -l**3 - l**2 + l + 1. Let n(i) = 31*i**3 + i**2 + 2*i. Let c(q) = n(q) - 3*o(q). Is c(2) a multiple of 24?
False
Suppose 3792 = p - 3*t, 15128 = -p + 5*p - 2*t. Does 84 divide p?
True
Let r = -28 - -2. Let s = r + -16. Let m = s + 74. Does 17 divide m?
False
Let n(p) = p**3 - 8*p**2 - 3*p - 5. Suppose 0 = -4*f + h + 5, -2*f + 7*f + 5*h = -25. Suppose -t + 9 = -f*t. Is 3 a factor of n(t)?
False
Let a be (-8)/(-7 - (-5 - 0)). Let g(y) = 120*y - 110. Is 37 a factor of g(a)?
True
Suppose 5*s + 3*f + 272 = 0, -2*s + 3*f + f = 88. Let b = 16 - s. Let z = 118 - b. Is z a multiple of 10?
True
Suppose -8*t = -3*t. Suppose -2*i = -t*i - 4. Suppose -5*c + 595 = i*c. Is c a multiple of 17?
True
Let a = -1753 + 2938. Suppose -723 = -3*l + y, y = -5*l - 4*y + a. Suppose l = -0*s + 10*s. Is s a multiple of 6?
True
Suppose 515 = -z + 523. Let j(v) = 13*v + 106. Is j(z) a multiple of 10?
True
Suppose 0 = -22*u - 12857 + 57825. Is u a multiple of 28?
True
Let k(g) = 66*g + 15. Is 15 a factor of k(50)?
True
Suppose p - 712 = -2*o, 189*o = 190*o - p - 350. Is 4 a factor of o?
False
Let a = -1621 - -4981. Does 7 divide a?
True
Let q = 44 + -19. Suppose 0 = 2*z - 5*s + q, 2*z + 6 = 2*s - 4. Suppose m - 13 - 11 = z. Does 12 divide m?
True
Let z = -35 + 39. Suppose 3*o - 5*m = -m - 1, z*o + m - 24 = 0. Suppose -2*y = -0*h + o*h - 21, 2*h = 2*y. Is 3 a factor of y?
True
Let c be 3/6 - (-1)/(4/(-290)). Let l be (c/27)/(3/9). Let r(f) = f**3 + 11*f**2 + 16*f - 7. Is r(l) a multiple of 46?
False
Let r(w) = 137*w**2 - 3*w + 2. Let l = -36 - -40. Suppose l*f - 12 = -5*m + 2, 5*f + 2*m = 9. Is 34 a factor of r(f)?
True
Let u be ((-36)/27)/((-3)/((-18)/(-4))). Suppose -u*l = 5*t - 4, 0 = -3*l + 2*t - 1 + 7. Suppose 0*p + l*p - 248 = 0. Is 34 a factor of p?
False
Suppose 672 = 4*l + a, -4*l + 14*a + 660 = 18*a. Is 13 a factor of l?
True
Suppose -28632 = -7*b + 3*z, 3*b - 16*z + 21*z = 12296. Does 22 divide b?
True
Let k(r) = -7*r**3 + 2*r**2 + 4*r + 7. Suppose 161 = -3*w + 155. Does 9 divide k(w)?
True
Let p be 66/12*52 + 2/(-2). Suppose -2*f = f - 12. Suppose 307 = f*c - p. Does 37 divide c?
True
Let u(o) = o**2 + 9*o - 18. Let z be u(-11). Suppose -3*p = -3*q - 3, 5*q - 4*p + z = -3. Is (q - 27/(-5))*20/3 a multiple of 14?
False
Let i(y) = 379*y - 448. Does 72 divide i(16)?
True
Suppose -11*l + 7*l = -256. Suppose l*p = 60*p. Suppose 5 = -5*v, -h + 3*v + 7 + 50 = p. Is 7 a factor of h?
False
Let u be (-12)/8*30/(-9). Let h(m) = 3*m**2 - 7*m + 56. Does 32 divide h(u)?
True
Let h(i) = 2*i**2 + 16*i - 7. Let y = -3 - 6. Let t be h(y). Suppose -4*f + 7*f = 3*p + 69, -5*p - t = -f. Does 13 divide f?
True
Is 111 a factor of 4/5*-5 + 7219?
True
Let v = 10351 - -57. Is 61 a factor of v?
False
Let f be (-2)/(-11) - 520/(-44). Suppose -6*k - f = -2*k. Is (-48)/(-7)*(-21)/k a multiple of 11?
False
Let k be 2*(2 - -1)/(1 - -2). Suppose -k*o + 200 = 3*o. Does 39 divide o?
False
Let k be 18*((-1)/(-2) + 2 - 1). Let w = k + -26. Is w/2*-6 + 128 a multiple of 14?
False
Let o(j) = -6*j**3 - 22*j - 24*j**2 - 12 + 5*j**3 + 37 + 7*j**2. Is 6 a factor of o(-16)?
False
Let w = -49 + 12. Let z(g) = -25*g - 48. Is z(w) a multiple of 58?
False
Let z be 49 - 46 - 5*1. Does 40 divide 20/(((-36)/(-336))/((-3)/z))?
True
Suppose 0 = m -