True
Suppose -76*w - 28*w + 101266 + 502454 = 0. Is 45 a factor of w?
True
Let i be 4/(-16) - 2/((-24)/(-69)). Let v(f) = -f**3 - 3*f**2 + 6*f + 6. Let u be v(i). Is (u/(-1) + -3)*30/(-9) a multiple of 18?
True
Let x = 629 + 2710. Is 21 a factor of x?
True
Let g(m) = 16*m**2 - 3*m - 3. Let v = -49 - -78. Suppose 5*u + v + 4 = 4*a, 0 = -a - u - 3. Does 11 divide g(a)?
True
Let f = 8299 + -6608. Is f a multiple of 4?
False
Suppose 1195 = 4*h + 5*b, -5*b = h - 6*h + 1505. Let u = h - 34. Suppose 11*a = 4*a + u. Does 4 divide a?
False
Suppose 52*m = 5*m + 11388 + 362. Is m a multiple of 14?
False
Suppose 4*z + 461 = 16285. Suppose -4*o - 4*k = -z, 3*o + 2*o + 2*k - 4933 = 0. Suppose 14*r - o = 9*r. Is r a multiple of 16?
False
Let r = -1376 - -1953. Does 75 divide r?
False
Let b be 2*(-3 - -2) + 565 + 0. Let h = b - -349. Does 21 divide h/14 - 2/14?
False
Suppose -48 = -3*z + 5*u + 4, 0 = 4*z - 4*u - 64. Let r = 296 + -208. Suppose r = -z*d + 16*d. Is d a multiple of 4?
True
Is (-4*21/(-6))/(3/111) even?
True
Suppose -384 = 11*f - 8*f. Let i = f + 323. Does 13 divide i?
True
Let l = -6112 + 7097. Does 2 divide l?
False
Suppose -t = -2*z + 8, -7*t - 12 = -3*z - 4*t. Is 24 a factor of (206/z + 1)*80/25?
True
Is 16 a factor of 872925/35 - 1/(-7)*(-1 + 3)?
False
Let r be (-2)/4 + (0 - (-15)/10). Does 26 divide ((-552)/(-80)*6)/(r/5)?
False
Let h = -13 + 28. Let i(v) = 2*v**2 + 25*v - 37. Let z(o) = 3*o**2 + 49*o - 73. Let y(n) = -5*i(n) + 3*z(n). Does 7 divide y(h)?
False
Suppose -82*r = 63545 - 65459 - 247776. Is 105 a factor of r?
True
Let f = -59 - -57. Is 21 a factor of ((-216)/96)/(f/168)?
True
Suppose 5*m = -4*s + 10966, 5*m - 3*s - 8362 = 2576. Is 30 a factor of m?
True
Is 7 + (0 - 4) - 2 - -2 - -641 a multiple of 2?
True
Suppose -c + 9 = 5*d, 0 = 2*d - d + 4*c + 2. Let o(m) = 2*m**3 + 2*m**2 + 3*m - 4. Is o(d) a multiple of 26?
True
Let n(t) = 32*t**3 + 3*t**2 - 3*t - 7. Let q be n(3). Let r = q + -541. Suppose -2*w - 3*w + o + 422 = 0, -o = 4*w - r. Is 12 a factor of w?
True
Is 306445/45 + 9/81 a multiple of 2?
True
Let z(l) = 6*l + 3. Let m be z(-1). Is (-2039)/m + 40/(-60) a multiple of 19?
False
Let i = 74 - 63. Suppose -1 = -3*l + i, -10 = -3*b - l. Is (0 - (-75)/b)*(-80)/(-25) a multiple of 8?
True
Let k = 80 - 85. Let b(u) = -u**3 - 2*u**2 - 9*u + 3. Is 22 a factor of b(k)?
False
Suppose 3*v + b - 3 = 13, -4*v + 48 = -4*b. Let g be (-1286)/7 - 2/v. Let t = g - -328. Is 16 a factor of t?
True
Suppose -496*p + 206189 = -455*p. Is p a multiple of 47?
True
Let n be -79 + 0 - (-8 + 4). Let s be (-2)/(-6) - n*(-4)/(-18). Let a = 64 - s. Is 4 a factor of a?
False
Suppose -4*l + 124 = -999 + 175. Does 3 divide l?
True
Let b be 7 + -9 - 2/(-1). Let m be (b + -15)/(8/24). Let w = -9 - m. Does 9 divide w?
True
Suppose k - 3*k + 1682 = 3*g, -2466 = -3*k + 5*g. Does 13 divide k?
True
Let f(r) = -5*r + 8*r**2 + 3*r**2 - 13 + 2*r**3 - 3. Let k(q) = -q**3 - 5*q**2 + 3*q + 8. Let o(b) = -6*f(b) - 11*k(b). Does 38 divide o(-12)?
False
Suppose -5*c - 2*b + 1 = 0, -4*c + 0 = 5*b + 6. Suppose -4*s - 6 = 5*j - 4, 5*j + 3*s - c = 0. Suppose j*l = -l + 126. Does 5 divide l?
False
Let k be 1/((-1062)/1594*-3 + -2). Let h = -279 - k. Is 25 a factor of h?
False
Let f(x) = -x. Let w(v) = 5*v + 5. Let p(k) = -f(k) - w(k). Let q be p(-15). Let d = 1 + q. Is 7 a factor of d?
True
Let s(c) = -25*c**2 + 16*c + 4. Let p(t) = 5*t**2 - 3*t - 1. Suppose 0 = 5*a + 2*m - 104, a - m = 13 + 12. Let o(n) = a*p(n) + 4*s(n). Is 18 a factor of o(-3)?
True
Let b = 5741 + -4373. Is 24 a factor of b?
True
Suppose 279 + 234 = 6*z + 13*z. Let i(c) = 15*c**2 - c - 1. Let k be i(4). Suppose k - z = 2*y. Does 15 divide y?
False
Let m(q) be the third derivative of 5*q**4/12 - 13*q**3/6 - 287*q**2. Suppose 5 - 13 = -2*n. Is m(n) a multiple of 9?
True
Let v(i) = i**3 + 11*i**2 - 9*i - 8. Let s be 2/(-4) - (-70)/28. Suppose z = m + 16, 0 = -s*m - 3*z - 0*z - 7. Is 13 a factor of v(m)?
True
Let w(p) = -19*p - 103. Does 13 divide w(-67)?
True
Suppose 65824 - 12372 = 14*n. Is n a multiple of 33?
False
Let y(t) = t**2 - 6*t + 8. Let l be y(5). Is 11 a factor of (81 - 8/(-2)) + l + 0?
True
Suppose 4*s = -4*y + 1300, -s + 5*s = 20. Is y a multiple of 32?
True
Let x(m) = m**3 + 10*m**2 + 8*m - 1. Suppose 0 = z - 0*z + 3*s, -3*z - 21 = 2*s. Let i be x(z). Does 10 divide (-328)/(-32) + (-2)/i?
True
Suppose 7*i - 24 + 66 = 0. Let v be (i/(-3) + 20/5)*1. Suppose -5*q = 3*b - 755, 4*q - b - 591 = -v*b. Is q a multiple of 14?
True
Let a = 0 + 2. Let l(c) = -281*c - 25. Let u(r) = -92*r - 8. Let y(f) = 2*l(f) - 7*u(f). Does 33 divide y(a)?
False
Suppose 0*f = -4*p + 2*f + 16, -16 = 4*f. Let b be (-7 + p + 8)/(3/4). Suppose 5*c = b*u - 0*u - 453, -c - 348 = -3*u. Does 39 divide u?
True
Let y = 7575 - 1719. Is 8 a factor of y?
True
Suppose -42*l = -44*l + 8646. Suppose 3*v - 3225 = -0*v - 5*a, -4*v + l = -a. Is v a multiple of 20?
True
Suppose 11*c - 94 = -6. Is 4 a factor of 597/6 - ((-60)/c)/5?
False
Suppose 14*c - 13*c - 5*v - 4390 = 0, -3*v = 3*c - 13134. Is 60 a factor of c?
True
Let j(d) = -d + 18. Suppose 12 = 4*t - 32. Let y be j(t). Suppose 0 = y*u - 2*u + 2*n - 249, -198 = -4*u - n. Does 7 divide u?
True
Suppose -28684 = -2*a + 4*v, -81*a + 86087 = -75*a - 5*v. Is a a multiple of 13?
True
Let s be -3 + (-46)/(-14) + 5451/7. Suppose -5*w + 3*t + s = 0, 5 - 2 = -t. Is w a multiple of 14?
True
Suppose 99 = -180*l + 189*l. Suppose -7869 = -l*d + 2284. Is d a multiple of 32?
False
Does 15 divide (-3628)/(-6)*(420/(-24) + 19)?
False
Let y(c) = 160*c**2 - 187*c - 1764. Is 159 a factor of y(-9)?
True
Let s = -11691 + 21329. Is s a multiple of 62?
False
Let z = -629 - -1018. Suppose c - z = -77. Suppose g - 429 = -4*a - 0*a, 3*a = -4*g + c. Is 18 a factor of a?
True
Is 7 a factor of 484402/56 + (-44)/1232?
False
Suppose 15*k + 2177 = 19*k - b, 0 = -5*b - 25. Let i = 578 - k. Is 3 a factor of i?
False
Suppose -22*d = -7948 - 9014. Does 89 divide d?
False
Let a(z) be the second derivative of -6*z**2 + 3/2*z**3 + 1/12*z**4 + 25*z + 0. Is 4 a factor of a(-11)?
False
Let k be 2390*(-6 - (-11)/2). Let a = -667 - k. Is 14 a factor of a?
False
Let s(m) = 3*m**2 + 9*m + 2. Let w be s(3). Suppose 5*v - 344 = w. Is v a multiple of 10?
True
Let a be ((-7)/14)/((-57)/12 - -5). Let g(d) = 2 + 23*d - 6*d**3 - 3*d**2 - 23*d. Is 19 a factor of g(a)?
True
Suppose 0*l - 12 = -4*l. Let z be (l/(-4) + -3)*-4. Suppose 10*v = z*v - 545. Is v a multiple of 19?
False
Let w be ((-25)/(-4))/((-14)/(-168)). Let f = w - 83. Is 13*f*(-1)/2 a multiple of 8?
False
Let z be (4/((-16)/34))/(20/40). Let i(x) = -32*x + 2. Is i(z) a multiple of 9?
False
Suppose -2*g + 56406 = 19*g. Suppose o = 4*o - 12, -5*p = -o - g. Is 12 a factor of p?
False
Let a be (-87696)/(-210) - ((-6)/(-15))/(-1). Suppose -19*w + 17*w = y - 821, -w = 2*y - a. Is w a multiple of 8?
True
Suppose -111*a = -105*a - 22830. Is 9 a factor of a?
False
Let p = 38 - 92. Is (p/(-7) + -6)*35 a multiple of 15?
True
Let p(u) = -3*u + 3 - 2*u**2 + 3*u**3 - 5*u + 0*u**3 - 4*u**3. Let j(m) = 2*m**3 + 3*m**2 + 15*m - 6. Let z(q) = 4*j(q) + 7*p(q). Is z(3) a multiple of 18?
True
Let t(s) = -s**3 - 3*s**2 + 47*s + 61038. Is t(0) a multiple of 22?
False
Let k(i) = 9*i - 1. Let h(s) = -10*s + 1. Let j = -13 - -10. Let v(n) = j*k(n) - 2*h(n). Is v(-3) a multiple of 22?
True
Is 10 a factor of 55407/23 + (-5 - -24)?
False
Suppose -22*g = -19*g + a - 11470, -5*g - 4*a = -19105. Is 3 a factor of g?
True
Suppose 0 = 3*o + h + 77, -2*h = -5*o - 6*h - 133. Let x = 121 - o. Suppose 3*t + n - x = 0, -3*n - 200 = -4*t + n. Does 6 divide t?
False
Suppose l = 2*k + 14, 4*l + 0 = 8. Let z be (-2)/(22/(-691)) - k/33. Let y = 13 + z. Is y a multiple of 19?
True
Suppose 0*m - 4838 = -m + 532. Is m a multiple of 57?
False
Let w = 32 - 352. Is 48 a factor of (w/1)/((-14)/21)?
True
Let c(d) = 10*d + 100. Let y(u) = 11*u + 99. Let o(g) = -3*c(g) + 2*y(g). Does 3 divide o(-17)?
False
Suppose -3982*w + 4148*w = 5613124. Is 106 a factor of w?
True
Let b(y) = -y**3 + 5*y**2 + 40*y - 32. Let o be b(9). Let m be 2/8 + 6537/12. Suppose -o*k + m - 193 = 0. Does 22 divide k?
True
Let b be (12 + -11)*(-6)/4*-2. Suppose -t + 3*t = 4*u + 2368, b*t - u - 3552 = 0. Is 10 a factor of t?
False
Let k be -14*(-9 - (-272)/3