ppose -23*x = -9*x - 18340. Does 37 divide x?
False
Suppose -s = 5*n + 5 - 34, 2*n + 22 = 2*s. Is s a multiple of 8?
False
Suppose -29*q + 33*q - 24 = 0. Let i(m) = m**2 + m - 2. Does 10 divide i(q)?
True
Let x = 1033 + -801. Is 4 a factor of x?
True
Suppose -5*c = 109 + 6. Let j = c + 6. Let g = j + 39. Does 9 divide g?
False
Suppose -41812 = -10*n - 5622. Is 14 a factor of n?
False
Suppose 0 = -5*p - 0*t + 4*t + 1930, -2317 = -6*p + 5*t. Is p a multiple of 3?
False
Suppose -5*q - 50 + 0 = 0. Let l(s) = -2789*s**2 - 8 + 1394*s**2 - 13*s + 1394*s**2. Is l(q) a multiple of 9?
False
Suppose 3*u = u + 124. Let j be ((-2)/(-6))/(1/(-96)). Let z = u + j. Does 6 divide z?
True
Suppose -8*j + 1640 = -4*j. Is j a multiple of 45?
False
Let z be (-4)/6 - 1106/(-3). Suppose 8*j - z - 88 = 0. Is 8 a factor of j?
False
Let j = 32 - 32. Suppose j = 21*o - 18*o - 96. Is 8 a factor of o?
True
Is -5884*-1*12/24 a multiple of 78?
False
Let t = -153 + 277. Does 40 divide t?
False
Let v(f) = 18*f**2 + f - 1. Let x be v(-2). Let u = x - 26. Let w = u + -27. Is w a multiple of 4?
True
Let k(d) be the first derivative of -d**2/2 + 2*d - 4. Let t be k(2). Suppose -5*g + 160 = 5*z - g, t = 5*z + 3*g - 155. Is z a multiple of 14?
True
Suppose 0 = y - 3*y + 5*p + 39, 4*y = -4*p + 36. Does 10 divide (y - -3)/(-2 + 14/4)?
True
Let m(c) = c**3 - 1. Let v(r) = 47*r**3 + 2*r**2 + r - 3. Let x(y) = 3*m(y) - v(y). Does 17 divide x(-1)?
False
Suppose 1008 = 18*x - 14*x. Does 12 divide x?
True
Let k be (-2 - -5) + (-108 - 1). Let z = k - -193. Does 13 divide z?
False
Let g = 46 - -28. Is g a multiple of 2?
True
Let z = 624 + -344. Does 8 divide z?
True
Suppose 41*y = 42*y + 1196. Is 8 a factor of 1*(-2)/(-8) + y/(-16)?
False
Suppose -22325 = -13*z - 6*z. Is 47 a factor of z?
True
Suppose 0 = -4*c - 64 + 4. Let b be ((-12)/c)/((-6)/(-75)). Is 15 a factor of 302/b + 3/(-15)?
True
Suppose 0 = -4*q - 0*q + 8, t + 3*q - 14 = 0. Is t a multiple of 8?
True
Let u(i) = -3*i**3 + i**2 + 2*i + 1. Let h be u(-1). Suppose 3*x + 39 = 5*v + 14, -x - h*v + 15 = 0. Suppose -d + 40 - 6 = x. Does 26 divide d?
False
Let j(r) = 2*r + 218. Let h be j(0). Suppose -4*a + h - 74 = 0. Is a a multiple of 12?
True
Let t = -3 + 163. Is t a multiple of 33?
False
Let a = -66 - -47. Let v be 2/8 - (-26)/(-8). Does 15 divide v*(a - -2 - -2)?
True
Is 3 a factor of 0 + 0 + 3 - (-8)/2?
False
Let b = -34 - -31. Is 47 - (-12)/b - 3 a multiple of 4?
True
Suppose 668 = 2*g + g - 4*z, -4*z + 4 = 0. Does 28 divide g?
True
Let z = -376 - -432. Is 28 a factor of z?
True
Suppose -3*o + 99 = -14*o. Let s(q) = -6*q - 7. Is 10 a factor of s(o)?
False
Suppose 4*o + 2*r - 13 = r, 2*r - 6 = -3*o. Suppose s - 5*y - 174 = -2*y, -167 = -s - o*y. Does 34 divide s?
False
Is 11 a factor of (-2)/2 - (-17)/((-170)/(-1220))?
True
Let f(l) = 2*l**3 - 7*l**2 - 55 + 0*l**2 + 9*l + 57. Is 16 a factor of f(5)?
False
Suppose -1204 = -r + 3*r. Suppose 72 = 2*i + 7*i. Does 15 divide r/(-8) + (-2)/i?
True
Let f be 4 + (0 - 15/(-3)). Suppose -f*k = -10*k + 26. Is 23 a factor of k?
False
Let r be (-360)/(-3 - 0) - 0. Suppose 4*x = -z + r + 44, 0 = 5*x - 4*z - 226. Does 24 divide 14/x - (-160)/6?
False
Let a(f) = -f**3 - 11*f**2 + 2*f + 7. Let d be a(-5). Let b be d/(-3) - (-3 + 6). Let x = -16 + b. Is 22 a factor of x?
False
Let a(r) = -r**3 + 8*r**2 + 3. Let c be a(8). Suppose 4*n - 98 = -c*n. Does 2 divide n?
True
Suppose 5*q = -d + 265, -2*q + 412 = 2*d - 110. Does 13 divide d?
True
Let x(a) = -a**3 + 45. Let m(k) = -k. Let z be m(8). Let p be 0/(z/(-2 + -2)). Does 10 divide x(p)?
False
Let k(r) be the third derivative of r**6/120 + r**5/12 - r**4/12 - 5*r**3/6 - 6*r**2. Suppose 4*o = o - 12. Is k(o) a multiple of 14?
False
Let c(d) = d**3 + 15*d**2 - 18*d - 10. Let w = -20 - -4. Is 4 a factor of c(w)?
False
Suppose 0 = 2*v - 2, 96*y = 98*y - v - 439. Does 5 divide y?
True
Suppose -5*a = -20, -3*m + 3 - 26 = a. Let q = m - -9. Suppose -2*z - 4*j + q*j + 36 = 0, -64 = -3*z - 4*j. Does 7 divide z?
True
Suppose 5*q - 57 = -162. Let o = q - -82. Does 12 divide o?
False
Suppose 4*y = -2*w - w + 10, 4*y = -2*w + 4. Let o(t) = t - 1. Let x be o(1). Suppose x = w*k - 8*k + 44. Is 18 a factor of k?
False
Let r be (344/(-12))/(4/(-6)). Suppose -m + r + 18 = 0. Is 14 a factor of m?
False
Suppose -b - 2*b = -5*o - 10, 5*o = -2*b - 10. Let d(r) = -3*r + 18. Is 9 a factor of d(b)?
True
Let h be (-8)/6*18/(-4). Suppose 6*a - 4*a = h. Suppose -a*c + 156 = c. Does 13 divide c?
True
Suppose 5*r = -5, 2*h - 2*r = -0*r + 12. Suppose 9 + 6 = -h*q. Is 8 a factor of -35*3/q - 3?
True
Let q(r) = -r**3 - 13*r**2 - 2*r - 8. Let y be q(-13). Suppose 5*a + 8 = y. Suppose 2*j + a*j + 4*u = 44, -2*j - 3*u = -22. Is 10 a factor of j?
False
Suppose 0 = 3*f - m + 4, 5*f = 2*m - 0*m - 7. Let p be 4/(4/f) - -26. Let y = p - -55. Is y a multiple of 16?
True
Let h(u) = u**2 - 8*u + 2. Let x be h(8). Suppose 0 = x*f + 6, -5*b + 0 + 17 = f. Suppose 2*y - 58 = 2*w, -b*w - 2 = -18. Is 11 a factor of y?
True
Suppose 4*b = 3*l + 257, 5*l + 4*b - 325 + 796 = 0. Let j = l - -116. Is j a multiple of 25?
True
Let m be 2/(-4)*12/(-1). Suppose m*u - u = 125. Let r = -6 + u. Is r a multiple of 8?
False
Suppose -132*a - 666 = -138*a. Does 10 divide a?
False
Let f(w) = -3*w + 38. Is f(2) a multiple of 2?
True
Let i(p) = -3*p**3 - p**2 + p + 1. Let w be i(-1). Suppose -2*t + 2*u = 3*u - 13, w*u - 31 = -5*t. Suppose -11 = 2*x + t*n, n + 3 + 9 = x. Does 5 divide x?
False
Let v(m) = -11*m**3 - 2*m - 2. Let i = -39 + 38. Does 5 divide v(i)?
False
Suppose 5*r = 4*o + 6*r - 19497, r = 5*o - 24378. Is o a multiple of 25?
True
Suppose -y = -4*q + 562, -5*q = -4*y - 18 - 679. Suppose 4*f - 171 = -u, -75 = -5*f - 2*u + q. Is 6 a factor of f?
True
Let l(c) = 179*c - 18. Let r be l(6). Suppose -m = 11*m - r. Is m a multiple of 14?
False
Suppose -4*p + 4*a - 3 - 1 = 0, 4*p - 5*a + 8 = 0. Let c(o) = -53*o + 1 - 3 + 55*o. Is 4 a factor of c(p)?
True
Let r(v) = -13*v**2 + v. Let h be r(1). Suppose 0 = 6*n + 6*n - 228. Let z = h + n. Is z a multiple of 4?
False
Let d be 3 + 0 - (2 - 2). Suppose -d*x + 812 = 32. Does 52 divide x?
True
Let h = 248 + -114. Is 7 a factor of h?
False
Let y(h) = -h**2 + 34*h - 97. Does 14 divide y(28)?
False
Suppose -3*d + 1 = 4*v, 1 = v + 2*d + 7. Suppose 3*j = -v*o + 325, o = 1 - 6. Does 23 divide j?
True
Suppose 4*j = -8, 2*z + 2*j - 464 = -j. Suppose 7*m - z + 4 = 0. Is 18 a factor of m?
False
Suppose 0 = 2*g - 3*g + 113. Let r(d) = d**2 + 18*d - 3. Let m be r(-11). Let s = g + m. Does 11 divide s?
True
Let d be (12/(-30))/(1/(-5)). Suppose -d*b + 15 = b. Suppose -66 = -b*x - 16. Is 10 a factor of x?
True
Let w(a) = 882*a. Does 63 divide w(2)?
True
Let a = -31 + 29. Let x = a - -44. Is 9 a factor of x?
False
Suppose 3*a = -9, -4*w = -4*a + 7 - 3. Is (2 - (-6)/w)/(11/1056) a multiple of 8?
True
Is 9 a factor of (2 - -1546) + 14 + (-42)/2?
False
Let a(f) = 4*f**3 + 4*f**2 - 2*f - 4. Let m be a(3). Suppose 5*p - m = -2*z, z = 2*p - 5*p + 81. Let v = 53 - p. Does 25 divide v?
True
Let h(j) = -j + 7. Let b be h(7). Is 30 a factor of ((-26 + b)*2)/(16/(-48))?
False
Suppose u - 2*u + 9 = 0. Suppose -2*n + u = -n. Suppose 3*s - 2*a = 32, 2*s - s - n = -a. Is 3 a factor of s?
False
Let s = 1020 + -697. Does 6 divide s?
False
Is 10 a factor of 4 - ((-6460)/6 + (-46)/(-69))?
True
Let p be 2*((-3)/6 - -2). Let w(h) = -5*h**3 + 3*h + 0*h**3 + 4 + 3*h**p + 3*h**3 + 7*h**2. Does 13 divide w(-5)?
True
Let w be (-7 + -13)*(2 - 1). Is 4/w - ((-524)/20 + -1) a multiple of 3?
True
Let x = 39 + -36. Suppose 0 = -8*w + x*w + 305. Is 33 a factor of w?
False
Suppose -69 = -2*g - 9. Does 10 divide g?
True
Suppose c - 855 = -5*l, l + 0*c - 2*c - 182 = 0. Suppose l + 532 = 8*s. Is s a multiple of 10?
False
Suppose 43*s + 0*s = 40721. Is s a multiple of 15?
False
Suppose 0 = 4*d - 5*d + 175. Is d a multiple of 5?
True
Let m(y) = 5*y**2 - 2*y + 2. Let g(v) = v**3 + v + 1. Let k(i) = g(i) + m(i). Suppose -4*p + 11 = t, 5*p - 10 = -3*t - 5. Does 2 divide k(t)?
True
Suppose -p - 65 = 29. Let m = -58 - p. Does 6 divide m?
True
Is (-8)/(-56) + 1034/14 a multiple of 74?
True
Suppose z = -4*z - 5, 3*p - 3*z = 21. Suppose 49*j - 44*j = 0. Suppose -x = -j - p. Does 6 divide x?
True
Let q(m) = 33*m + 6. Let f be q(3