393 = 4*z - 9*z, 655 = -5*a - 2*z. Let w = a + u. Is 20 a factor of w?
True
Let a(q) = -2*q**3 - 3*q**2 - 5*q + 5. Let r be a(-3). Let n = r - -121. Is 8 a factor of n?
True
Suppose -12 = 15*q - 57. Suppose 2*b = 3*b + 3, -q*b - 45 = -4*s. Suppose s*i = -i + 880. Is 44 a factor of i?
True
Let x = 98953 + -58473. Is 20 a factor of x?
True
Let s = 280 + 529. Suppose -2*f - 813 = -5*b, 0*f + s = 5*b - f. Is 23 a factor of b?
True
Let g be 46455/150 + 3/10. Suppose -4*z + 46 = t, 5*t - 3*z = -7*z + g. Is t a multiple of 2?
True
Let k = -50 - -121. Let x = -108 + k. Is 3 a factor of 2 - 1 - x - (-4 - 0)?
True
Suppose 12 = -c - 4*k, -3*k + 4*k = -1. Is (8/8)/((c/126)/(-4)) a multiple of 9?
True
Suppose 38 = p - 50. Let o be -3*(5 - 110/(-15)). Let r = o + p. Is 51 a factor of r?
True
Does 206 divide ((-53)/(848/24))/(6/(-62192) + 0)?
False
Let z = -567 - -570. Let s be ((-21)/(-7))/((-1)/(-59)). Suppose -s - z = -u. Is 18 a factor of u?
True
Let v be 518/6 - 1/15*5. Let x = 350 - v. Is x a multiple of 8?
True
Suppose 6*l = 11 + 19. Let t = l + -7. Let w(d) = 7*d**2 - 5*d - 2. Is w(t) a multiple of 18?
True
Let q = -890 - -124. Let p be -4 + 69/15 + q/10. Let d = -56 - p. Does 5 divide d?
True
Suppose -30*a + 155940 - 1110 = 0. Does 8 divide a?
False
Suppose 3*g + 19524 = 3*v, 2*g + 9 - 19 = 0. Does 13 divide v?
True
Let r(f) be the first derivative of 8*f**3/3 + 5*f**2 - 126*f + 195. Is 5 a factor of r(6)?
False
Suppose -y + 0*y + 21 = -5*b, -3*b - 17 = -5*y. Let i be -1*1902/b*(-6)/(-9). Suppose 0 = 5*p - i - 373. Is p a multiple of 23?
True
Let k(v) = 7 - 14*v + 6 - v**2 + 15 + 8. Let n be k(-16). Suppose n*x + 5*a - 161 = 0, -x - 38 = -2*x + a. Is 39 a factor of x?
True
Let y(h) = 6*h**3 - 5*h**2 + 6*h - 7. Let x = -223 - -226. Is 5 a factor of y(x)?
False
Let p = 188 - 195. Let a(u) = -u**3 - u**2 + 11*u + 7. Does 14 divide a(p)?
True
Let v = 21145 + -12830. Does 3 divide v?
False
Let f = 6283 - 4813. Does 7 divide f?
True
Let s(y) = 6*y - 102*y**2 + 106 + 12*y + 101*y**2. Is s(0) a multiple of 26?
False
Let j = 1 + -1. Suppose 0 = 64*o - 1701 - 219. Suppose q + j*q - o = 0. Does 30 divide q?
True
Let w(h) = -2*h**3 - 11*h**2 - 150*h - 21. Is 16 a factor of w(-13)?
True
Suppose -23*m + 6314 = -1460. Suppose -m + 50 = -w. Is w a multiple of 36?
True
Let d(j) = 9*j - 205. Let x be d(23). Suppose -63 = x*h - 603. Is 15 a factor of h?
True
Let b(j) = -8328 - 8345 + 16700 + j. Suppose 0 = 4*l + 31 + 9. Is 4 a factor of b(l)?
False
Suppose 0 = -5*r - v + 335, -2*r - 2*r + 287 = -3*v. Is (11 - (-441)/(-18))*r/(-6) a multiple of 18?
False
Let b = 2191 - 1997. Does 2 divide b?
True
Suppose 2*q = -8, -2*h + 2*q - 42 = -3*h. Is 4 - (306/(-5))/(15/h) a multiple of 26?
True
Let y(j) = 11*j**2 - 117*j - 1067. Is y(-9) a multiple of 10?
False
Suppose 13352 = 20*y + 21*y + 9662. Is y a multiple of 9?
True
Is 22 a factor of (10 + -762 - -1)/(2/(-6))?
False
Suppose 3*m = -0*m - 2*m. Let p be -4*10/(-8) + m. Suppose p*v - 8*v + 183 = 0. Is v a multiple of 15?
False
Suppose -874*m - 1449 = -881*m. Does 5 divide m?
False
Suppose 0 = 3*k, 0 = -r - r - 5*k + 80. Let q be 3/((-12)/r) - 0. Is 7 a factor of (-3)/((-13)/q - 1)*-6?
False
Let w(z) be the second derivative of -z**6/144 + 17*z**5/120 - 3*z**4/2 - z. Let o(t) be the third derivative of w(t). Is 13 a factor of o(-7)?
True
Let t(k) = -k**3 + 5*k**2 + 3*k - 18. Let f(j) = 2*j**3 - 11*j**2 - 5*j + 37. Let m(g) = -2*f(g) - 5*t(g). Is m(7) a multiple of 37?
False
Does 32 divide 6/(-33) + 1279574/418?
False
Let g(i) = -10*i + 28. Let s be g(4). Is (2 + (-2 - s))/((-15)/(-490)) a multiple of 60?
False
Let l(s) = -5*s + 8. Let y be l(5). Suppose 12*x + 4 + 8 = 0. Is 26 a factor of (5 - y)/(x/(-3))?
False
Let s = 28 + -23. Suppose -555 = -s*h + 3*b, -50*h + 55*h - 555 = 2*b. Does 5 divide h?
False
Let n(s) = -s**3 - 47*s**2 + 364*s - 23. Does 3 divide n(-55)?
False
Let d(g) = 5*g**2 - g + 5. Let x be d(0). Suppose -w + 375 = -5*v, 3*w - 2*v + 702 = x*w. Is 13 a factor of w?
False
Suppose 18*g + 55 = 23*g. Let t(n) = -n**3 + 10*n**2 + 6*n - 27. Let x be t(g). Let y = 99 - x. Is y a multiple of 44?
False
Let d = -358 - -878. Does 9 divide ((-18)/(-4))/(20/d)*3?
True
Let r(c) = 2226*c + 158. Is 26 a factor of r(4)?
False
Let f(c) = 2*c**3 - 129*c**2 - 79*c - 106. Let r(m) = -m**3 + 86*m**2 + 53*m + 70. Let z(a) = -5*f(a) - 8*r(a). Is z(-21) a multiple of 63?
False
Let o = 810 - 810. Suppose o = -11*s - 8*s + 13129. Does 7 divide s?
False
Let d(i) = -i**2 - 27*i - 40. Suppose 6*n = -11*n - 408. Is d(n) a multiple of 16?
True
Let h be -4 + (-148)/(-16) - (-1)/(-4). Suppose -h*t = -t - 16. Is 43 a factor of (2/2)/(t*(-4)/(-688))?
True
Let y(g) = 4*g**3 + 4*g**2 - 4*g + 212. Is y(10) a multiple of 12?
True
Suppose -4*q + 26413 = -n, -12*n + 6600 = q - 9*n. Is q a multiple of 69?
False
Let s(j) = 3*j**3 - 2*j**2 - 3*j - 2. Let k be s(-1). Let i(m) = m**3 + 6*m**2 + 8*m. Let f be i(k). Suppose f = 9*u - 2202 + 771. Does 31 divide u?
False
Let m = 45 + 31. Suppose b - 5*x = 128, m = b - x - 36. Let w = b + -69. Is 13 a factor of w?
True
Let q = -229 - -229. Suppose q = 3*o - 2*m - 1522, -o = -2*m - 2*m - 524. Is 18 a factor of o?
True
Suppose 2*c - 8 = 0, -3*p + p + 3*c + 28 = 0. Suppose -17*j = -p*j + 474. Suppose -8*o + 82 = -j. Is o a multiple of 13?
False
Let w = -170 - -174. Suppose 4*o - o - w*r - 592 = 0, 2*o = -r + 380. Does 16 divide o?
True
Let o be 4233/(-11) - 46/253. Let j = -299 - o. Is j a multiple of 4?
False
Let j = 72594 - 40440. Does 99 divide j?
False
Suppose 0 = 61*s - 0*s - 13115. Is s a multiple of 19?
False
Does 218 divide (-17)/(51/(-120960)) + (18 - 8)?
True
Let z(n) be the third derivative of n**8/10080 - n**7/1680 + n**6/60 - 9*n**5/20 - 24*n**2. Let c(x) be the third derivative of z(x). Is 34 a factor of c(-6)?
True
Let q be 33/(-231)*14/(-2). Is 17 a factor of (-10)/15*(-1269)/6 - q?
False
Suppose -y + 59558 = 5*i, 3*i = -5*y + 24966 + 10804. Is i a multiple of 10?
True
Suppose -z = -3*g + 35247, 11747 = g - 0*z - z. Does 94 divide g?
True
Let m(p) = 152*p**3 + 8*p**2 + 30*p - 113. Is 52 a factor of m(3)?
False
Let k(s) = s**2 - 4*s. Let g be k(-1). Suppose -g*m = u - 2150, -u + 1826 = 4*m + 106. Let c = m + -142. Is 12 a factor of c?
True
Let m = -34 - -36. Let x(k) = -7 - 9 - m*k + k + 9*k. Is 3 a factor of x(7)?
False
Suppose -293*o = -294*o. Suppose -5*q + 9*q - 244 = o. Suppose -56*w = -q*w + 1100. Does 55 divide w?
True
Let u = 2388 + 5548. Is u a multiple of 10?
False
Suppose -27246 = -3*a - 4*i, 0 = -a + 3*i + 4221 + 4848. Is 34 a factor of a?
True
Let m = 1390 - -1725. Suppose 14*t - 15*t = 5*h - m, -2*h - 4*t = -1246. Does 89 divide h?
True
Let x(w) = 720*w - 827. Is x(5) even?
False
Let s(o) = o**3 - 24*o**2 + 22*o - 6. Let u(f) = -2*f**2 + 54*f - 120. Let j be u(24). Is 29 a factor of s(j)?
True
Let c(d) = -7*d + 979. Suppose -3*g + 2*j - 2 = 0, 5*g - 5*j + 5 = -0. Is 17 a factor of c(g)?
False
Suppose 91*r + 2*n = 88*r + 248, 2*r = 5*n + 140. Is r a multiple of 8?
True
Suppose -13*y + 80 = -5*y. Suppose -y = w - 2*w. Suppose -140 = -15*i + w*i. Is i a multiple of 14?
True
Let x(l) = l + 7. Let d be x(4). Suppose -y + d = 7. Suppose -y*p + 444 = -0*p. Is p a multiple of 14?
False
Suppose 3*p = -0*p - 0*p. Suppose 3*i = i + 2*k - 6, p = -3*i - 5*k - 9. Is 22 a factor of (39/1)/(i + 81/24)?
False
Let k(c) = -4*c + 8. Let x be k(4). Let m be 5/(-10) + 132/x. Let h = 72 + m. Is 9 a factor of h?
False
Suppose -3*d - t = -5*d + 2237, 3*d = t + 3353. Is 36 a factor of d?
True
Does 45 divide (1 - (-115)/2)/(24/1104)?
False
Suppose 90*l = 153*l - 1851129. Is 212 a factor of l?
False
Let c = 118 - 114. Suppose -p = -c, 2*p - 124 = -s - p. Is s a multiple of 2?
True
Let n(y) = 4938*y**2 + 1425*y + 2848. Is 158 a factor of n(-2)?
True
Let m = 30 - 28. Suppose -7*t + 4257 = m*t. Let z = -217 + t. Is 16 a factor of z?
True
Suppose 38 = -4*v - 5*a - 12, -4*v = -a + 62. Does 3 divide 231/15 + 3 - (-6)/v?
True
Let w be (36/(-10))/((-4185)/(-700) + -6). Suppose 0 = 138*n - w*n + 30900. Is n a multiple of 30?
False
Let m = 30 - 30. Let d be (-17 - -132)*(1 + m). Suppose 0 = 4*h + 2*i - 92, 0*h - 5*i + d = 5*h. Is 14 a factor of h?
False
Let i(d) = -769*d - 4908. Is 108 a factor of i(-12)?
True
Let w be