uppose 3*m = b*m - 14. Is 12 a factor of m?
False
Does 4 divide -8*(-6)/(-9)*-3?
True
Let t be (3 - 13/2)*4. Let k = t + 30. Does 16 divide k?
True
Let d(o) = 5*o**3 - o**2 + o. Let u be d(1). Let h be ((-2)/3)/(u/(-15)). Suppose -h*x + 74 = -2*v, -4*v = -2*x - v + 70. Is x a multiple of 14?
False
Let v = 50 + -6. Does 17 divide v?
False
Let z(k) = 0 + k - 4 - 4*k**2 - 2*k**3 + k**3. Let y be z(-4). Let q = y - -17. Is q a multiple of 9?
True
Let t(g) = -g**3 - 5*g**2 - 4*g + 1. Let p be t(-4). Let u(i) = -4 + 0 + 4*i - p. Does 8 divide u(5)?
False
Let i(g) = -g + 4. Let l = 9 - 6. Let n = l - 7. Is i(n) a multiple of 8?
True
Suppose 3*c + j - 187 = 184, -2*c + 248 = j. Is c a multiple of 20?
False
Let s(p) be the second derivative of -p**5/20 - p**4/2 - 7*p**3/6 - 3*p**2 + 5*p. Let t be -3 + -1 + 2 - 3. Is s(t) a multiple of 4?
True
Does 5 divide 3/((-2)/(5 + -35))?
True
Let d(j) = -3*j + 1. Let b be d(-1). Suppose 0*h - 2*h - 8 = o, 5*h + 33 = b*o. Is 2 a factor of o?
True
Let t = 15 + 52. Let h = -19 + t. Does 12 divide h?
True
Let c(k) = 3*k**2 + 2*k - 4. Suppose 0 = b - 3. Suppose 2*g + 3 + b = 0. Does 17 divide c(g)?
True
Let u(p) = -p - 8. Let k be u(-14). Suppose 2*w - 15 = i, i + w = k*w - 27. Let y = i - -19. Is 7 a factor of y?
False
Is 24 a factor of ((-696)/32)/((-1)/4)?
False
Suppose -3 = -2*m + 71. Is m a multiple of 10?
False
Let c be (-2 - (1 + 0))/(-1). Suppose -3*f + 31 = 4*r, 8 = -c*r - 7. Let x = 39 - f. Is x a multiple of 11?
True
Let f be (-10)/4*(-8)/10. Let h be 9/(-2)*(-24)/54. Suppose 3*y - f*n = 94, -h*n + 4*n = 5*y - 154. Is y a multiple of 10?
True
Let b be 4/6*18*-2. Let y = b + -15. Let q = -27 - y. Does 12 divide q?
True
Suppose -3*u + 125 = 2*p, -5*u = 3*p - 237 + 30. Does 23 divide u?
False
Suppose -18 = -4*d - 6. Suppose 216 = 4*p - 2*o, 4*p - 4*o - 54 = d*p. Is 27 a factor of p?
True
Is 29 a factor of ((-7)/35)/((-4)/30)*58?
True
Does 9 divide 2/(10/(-195)*-1)?
False
Let b = -5 - -9. Suppose 3*q - 17 = -17. Suppose q*i - 56 = -b*i. Does 7 divide i?
True
Suppose -a = a + 4. Let y(x) = -x. Let g be y(a). Suppose v - 19 = -6*z + g*z, -5*v + 3*z + 210 = 0. Does 13 divide v?
True
Suppose 7*l - 2*l = -25. Suppose 6*s - 10 = s. Is 3 a factor of l/((-1)/s - 0)?
False
Let m be 2/7 - 504/49. Let z = m + 12. Suppose 2*r + 0*s + z*s - 28 = 0, -10 = -5*s. Is 12 a factor of r?
True
Let d(j) = 3*j**2 - 6*j - 3. Does 14 divide d(-3)?
True
Suppose -3*j + 38 = 2*h - 7*j, -h + 4*j = -13. Suppose x - h = -8. Is x a multiple of 11?
False
Let k(x) = -3*x**3 - 8*x**2 - 2*x - 16. Let z(c) = 4*c**3 + 9*c**2 + 3*c + 17. Let s(m) = -3*k(m) - 2*z(m). Does 3 divide s(-6)?
False
Suppose 0*i - 5*i - 125 = 0. Let g = 15 - i. Is 19 a factor of g?
False
Let k = 21 - 15. Is (0 + -3)/k*-24 a multiple of 6?
True
Suppose 5*s + 0 = 15. Suppose m = s*o + 18, -3*o - 2*m - 8 - 10 = 0. Does 6 divide o/(-5)*(2 + 3)?
True
Let y be 8/(-28) + (-9)/(-7). Suppose 3*t + y = x - 1, 10 = -5*x - 5*t. Does 2 divide 4/(-12)*(x - 11)?
True
Let q = -104 + 148. Is 7 a factor of q?
False
Let j(t) = t**2 + 13*t + 7. Let s be j(-13). Suppose -2*g + 4*g - 68 = 0. Suppose -w + 4*u + g = 0, 2*w + 2*u = s*u + 53. Is 7 a factor of w?
True
Suppose -2*k = 2*k + 2*m - 4, 0 = -4*k + m - 2. Suppose 13 = 3*w + 5*x, -w = -k*w + 3*x - 3. Is 5 a factor of w?
False
Suppose c = -g + 24, -2*c = -5*g - 0*g - 55. Is 5 a factor of c?
True
Suppose -7*r + 3*r - 3*m = -20, m + 20 = 4*r. Suppose r*d - 60 = -5*k, -k - 36 - 6 = -5*d. Is d a multiple of 9?
True
Let x(y) = -y**3 + 11*y**2 + 3*y - 13. Is 10 a factor of x(10)?
False
Let v = -11 + 15. Suppose 0 = -v*c + 34 + 6. Is 5 a factor of c?
True
Suppose 4*v = 3*v + 24. Does 24 divide v?
True
Let d(j) = 23*j**2 + j. Is 10 a factor of d(-2)?
True
Let o be 2/(-11) + (-24)/(-11). Suppose o*i - 40 = -2*i. Does 5 divide i?
True
Let v(q) = -q**2 - 7*q - 6. Let l be v(-5). Suppose 0 = 8*t - l*t. Suppose -4*f + 2 + 10 = t. Does 2 divide f?
False
Let s(x) = -x**2 - 12*x - 2. Let z be s(-9). Let g be 112/5 - 10/z. Suppose g = 4*p + 6. Is 4 a factor of p?
True
Suppose -4*y + 4 = -4. Suppose 15 = y*u + 5*f, 4*u = -f + 32 - 11. Suppose -5*s = 2*l - s - 56, u*l - 104 = 2*s. Is 11 a factor of l?
True
Let d(a) = 5*a**2 + 3*a - 3. Let g be d(2). Suppose 0 = v - g + 6. Is v a multiple of 12?
False
Suppose 4*b = -b + 15. Suppose -u + j = 0, 0 = -2*u - 2*u + j - b. Is 5 a factor of (-15)/(-6)*u*-2?
True
Suppose j = -3*j + 4. Suppose -j = -3*s - 16. Let n(d) = -2*d - 6. Is 4 a factor of n(s)?
True
Suppose 2*q = -2*q + 16. Does 24 divide -12*(1 + (-15)/q)?
False
Suppose 612 = 14*l - 2*l. Is l a multiple of 17?
True
Is (11 + -12)/((-1)/82*2) a multiple of 3?
False
Suppose -3*v = -n + 9, -v = -2*n + 2*v + 9. Let i = 18 - 13. Suppose i*z + 81 - 216 = n. Is z a multiple of 13?
False
Is 6 a factor of ((-10)/3 + 0)*(-65 + 11)?
True
Suppose -3*x = 6 - 0. Let i be (6 + x)*(-2 - -3). Suppose i*d - 64 = -12. Does 13 divide d?
True
Let q(n) = 83*n + 1. Is 12 a factor of q(1)?
True
Suppose 0 = c - 53 - 0. Does 8 divide c?
False
Suppose p + 2*r = r - 4, -2*p = -5*r + 15. Let z be ((-273)/p)/(2/10). Suppose -z = -5*f - 93. Does 18 divide f?
True
Suppose -5*d + 30 - 5 = -g, -2*d + 22 = 2*g. Let y(t) = t**2 - 5*t - 4. Let u be y(d). Suppose -4*j + 102 = u*k, 3*j + 2*k - 87 = -3*k. Is j a multiple of 12?
True
Let x be (-13 + 0)*(0 - 3). Suppose 5*k - x = 61. Suppose -y - 4*y + k = 0. Does 2 divide y?
True
Is -15*(-7 - -1) - -3 a multiple of 24?
False
Suppose 0 = -k + 8. Let c(d) = -d**2 + 10*d + 7. Is 23 a factor of c(k)?
True
Let u(q) be the second derivative of 0*q**2 + q**3 - 4*q**2 - 2*q + 3*q**2. Is 11 a factor of u(3)?
False
Let y(p) be the first derivative of p**3/3 - 2*p**2 + 4*p + 2. Let u be y(6). Does 4 divide u/1 - (3 - 2)?
False
Let g be -2*12/8 - 89. Let z = -63 - g. Does 6 divide z?
False
Suppose -5*k + 2*h = -1 - 5, -3*k - 3 = h. Suppose 4*a - 2*a - 11 = -f, k = 4*f + 5*a - 35. Suppose -27 + 2 = -f*s. Is 4 a factor of s?
False
Suppose 0 = 3*u + 5*k + 41, -3*u + 3*k - 5*k - 47 = 0. Let d = 37 + u. Suppose -d = -h - 3*h. Is 5 a factor of h?
True
Let m(t) = 0*t**3 - t**2 - t**3 + 8 + 2*t**3 + 0*t**2. Let c be m(0). Let n = 26 - c. Does 9 divide n?
True
Does 26 divide 2 + 60 - (1 + 0)?
False
Let a(c) = c + 13. Is a(-4) a multiple of 4?
False
Suppose -4 + 8 = -2*m. Does 5 divide (-3 - (-16 + 1)) + m?
True
Let o = 6 + -2. Suppose o*v + 122 - 418 = 0. Is 16 a factor of v?
False
Suppose 120 = 12*o - 8*o. Is 15 a factor of (-3 + 8 - 2) + o?
False
Let o(n) = 8*n - 2. Let s be o(-8). Let w = -40 - s. Does 13 divide w?
True
Let c(n) = 23*n - 41. Is c(7) a multiple of 24?
True
Let t(p) = p**3 + 10*p**2 + 8*p + 3. Let c be ((-8)/(-12))/((-2)/(-3)). Suppose 0 = -z - c - 8. Does 11 divide t(z)?
False
Let v = -2 - -7. Let b(f) = -f**2 + 8*f + 3. Does 18 divide b(v)?
True
Let w = -4 + 7. Let p be (2 + -2 - w) + 2. Is 3*4 - 0/p a multiple of 6?
True
Let r(c) = c**3 - 4*c**2 + 2*c + 1. Let q be r(2). Let t = 6 + q. Suppose 1 = -2*v - 3*k - 2, -t*k = v + 9. Is v a multiple of 6?
True
Let w(r) be the first derivative of -r**4/4 + 5*r**3/3 - 2*r**2 + 5*r + 3. Let u be w(4). Suppose -5*g - 4*z + 25 = 0, -g - u*z - 16 = -0. Is 9 a factor of g?
True
Suppose s = -2*s + 81. Suppose 0*h - h = -3. Suppose -j = h*a - 30, j + a = s - 3. Does 10 divide j?
False
Suppose -4*i = -4*q + 120, 8*i = 2*q + 4*i - 62. Suppose 4*l + 3*p - q = 0, 3*p + 0*p = 9. Let w = l - -4. Is w a multiple of 6?
False
Let l(h) = -3 + 2 - 4*h - 2*h**2 - 17*h**3 + 2*h. Let b be l(-1). Suppose b = 3*u - 5. Is 7 a factor of u?
True
Let p = 129 + -75. Is 27 a factor of p?
True
Suppose 0 = 2*h + 10 - 54. Does 11 divide h?
True
Let k(q) = q**2 - 6*q + 5. Let j be k(6). Let y(b) = b**2 + 15*b + 17. Let s be y(-14). Suppose 5*m = j*d + 180, 4*m + s*d - 149 + 5 = 0. Does 18 divide m?
True
Suppose -3*y - 52 = -214. Is y a multiple of 11?
False
Is (2/2)/(16280/(-4072) - -4) a multiple of 40?
False
Suppose -5*c - 1 + 26 = 0. Let x = c - -54. Does 20 divide x?
False
Let f = 10 - 8. Suppose -f*g = 4*p - 54, 0 = 4*g - 2*p - 2*p - 48. Is 6 a factor of g?
False
Let a = 5 + -14. Let r be (0 - 1)*(a + 3). Is 17 a factor of 124/r - 14/21?
False
Let c(d) = -d - 14. Let i be c(-12). Let a(z) = -43*z - 2. Is 21 a factor of a(i)?
True
Suppo