29*n + 36*n = 1372. Is 49 a factor of n?
True
Suppose 0 = -5*o - 0*o + 235. Let s(m) = m**2 - m - 20. Let w be s(0). Let r = w + o. Does 21 divide r?
False
Let k(i) = i**2 + 7*i - 11. Does 2 divide k(3)?
False
Let i(w) = -w**2 + w - 1. Let n(v) = -5*v**2 + 8*v - 7. Let y(o) = 6*i(o) - n(o). Let f be y(1). Is 12 a factor of 3/(f + 23/11)?
False
Suppose -i + 2*i - 5 = 4*z, 2*z - i + 5 = 0. Suppose l = 2 + 1, z = -2*b - 3*l + 27. Suppose 2 - 4 = -h + 3*j, -j = -2*h + b. Is 5 a factor of h?
True
Suppose 4*x + 12 = 0, 5*x + 84 = -5*t + 339. Is 18 a factor of t?
True
Suppose -3*b = 3 - 6. Let c(d) = d - b + d**2 + d - 1. Is 13 a factor of c(5)?
False
Let o = -2 - -14. Is 4 a factor of o?
True
Suppose -6*i = -3*i + 3. Is (3 - 2)/(i/(-37)) a multiple of 9?
False
Suppose -n = 1 - 2. Let d be (n + -1)/(8/4). Let f = 7 + d. Is 4 a factor of f?
False
Suppose -i = 2*p + 5, -4*p - 4*i + 4 - 24 = 0. Let n = 14 - p. Let b = -4 + n. Does 10 divide b?
True
Let c(p) = -p**3 - 4*p**2 - 5*p - 4. Is c(-5) a multiple of 23?
True
Suppose 0 = -4*i + 131 - 19. Is 4 a factor of i?
True
Let y be (-18)/((-3)/1) + -3. Suppose 3*l - 99 = -f, 2*f + y*f + 2*l = 469. Does 31 divide f?
True
Let f(k) = 5*k**2 - 6*k - 5*k + k**3 - 3 + 6*k. Suppose -5 = 4*z + 7. Is f(z) a multiple of 12?
False
Let m(f) = f**3 + 2*f**2 + 5*f - 2. Does 29 divide m(3)?
True
Let o = -68 + 124. Is 28 a factor of o?
True
Suppose -197 = -3*b + 13. Let r = b - 40. Is r a multiple of 15?
True
Suppose 3*w - 3 = -45. Let k = w + 20. Does 6 divide k?
True
Let d be (19*8 - 3) + 1. Let l = d + -107. Does 11 divide l?
False
Suppose -2*v = 3*h - 309 - 71, 2*h - 250 = -3*v. Suppose 0*s + 4*s = h. Does 16 divide s?
True
Let q(g) = -g**2 - 6*g - 1. Let l be q(-5). Suppose 0 = -l*o + 8, -2*u + 122 = -0*u - 4*o. Suppose 4*p = -p + u. Is p a multiple of 13?
True
Let o(c) = -c**2 + 5*c - 4. Let m be o(6). Is 15 a factor of ((-6)/(-4))/((-1)/m)?
True
Let w(t) = -t**3 - t**2 - 35. Let r be w(0). Let j = -11 - r. Does 8 divide j?
True
Suppose s = 5*s. Let m be 1/(3/15) - s. Does 6 divide (m/((-15)/(-36)))/1?
True
Let s(y) = -y**2 - 5*y + 1. Let t be s(-4). Does 7 divide (4 + 2)*t/3?
False
Let n(f) = 4*f**2 + f - 2. Let x be n(1). Suppose -58 = -x*s - 4*b, 5*s - 40 - 115 = 5*b. Is 18 a factor of s?
False
Let s be ((-5)/15)/(2/(-6)). Let y = -8 + s. Let j(b) = b**3 + 9*b**2 + 6*b + 1. Is j(y) a multiple of 20?
False
Suppose -a + 395 = -6*a. Let g = -54 - a. Is g a multiple of 12?
False
Let w(k) be the third derivative of -k**6/120 + k**5/60 + k**4/24 - k**3/6 + 2*k**2. Let y be w(0). Is (-3)/(y + 0/3) a multiple of 3?
True
Suppose z - 89 = 6*w - 2*w, 4*z = w + 11. Let b = w - -44. Is 7 a factor of b?
True
Suppose -2*j - 2*m = -90, -2*j - m + 3*m + 90 = 0. Is j a multiple of 9?
True
Let w be (-4)/18 - 1463/(-63). Let q = 33 - w. Is q a multiple of 6?
False
Does 4 divide (-93)/(-12) + (-4)/(-16)?
True
Let r be (-1)/((-2)/((-36)/(-2))). Suppose 0 = -0*i - i + r. Suppose -i - 81 = -5*z. Is 9 a factor of z?
True
Let o = 48 - 34. Is o a multiple of 14?
True
Let a(r) = 7*r - 7 + 4*r**3 + 0*r - 5*r**3. Let f be a(-6). Suppose 4*w - f = -35. Is 12 a factor of w?
False
Let c = 86 - -10. Does 32 divide c?
True
Let d = 202 - 118. Is 12 a factor of d?
True
Let g(b) = -2*b - 7. Let d(p) = -6*p**3 + p**2 + p - 1. Let q be d(1). Let l be g(q). Suppose -2*y + 38 = -l*m, 4*y + m - 63 = 13. Does 19 divide y?
True
Let j = 88 - 14. Is 6 a factor of j?
False
Let l(g) = -11*g**3 + 7*g**2 + 18*g - 1. Let y(r) = 5*r**3 - 4*r**2 - 9*r. Let t(o) = -6*l(o) - 13*y(o). Is 32 a factor of t(-6)?
True
Suppose 3*n - 50 - 4 = 0. Is n a multiple of 5?
False
Suppose 20 = 5*x - 0. Suppose -x*h + 3*u = -12, -4*u + 3*u = 4*h - 12. Suppose -n + 3 = 0, 0 = v + h*n - 5 - 20. Is v a multiple of 16?
True
Does 12 divide 9/3 + (1 - -264)?
False
Let w = 8 + 23. Is w a multiple of 31?
True
Is -18 + 21 - 1*-207 a multiple of 21?
True
Let q(b) = -2*b + 2. Let w be 2/(-6)*(-6)/1. Suppose -4*m + x = -m + 11, w*m - 2*x + 2 = 0. Does 12 divide q(m)?
True
Suppose 2*u - 2 - 8 = 0. Is u a multiple of 5?
True
Suppose -4*a = 2*m + 12, 16 = 2*m - a + 3. Suppose 0 = -m*k - k + 90. Does 18 divide k?
True
Suppose 18 = -5*h + 7*h. Does 7 divide h?
False
Suppose l + 78 = -2*t + 5*t, -l - 52 = -2*t. Is t a multiple of 22?
False
Let m = -9 - -38. Suppose 4*s - m = 3. Does 4 divide s?
True
Suppose 9*p = 4*p + 80. Is 14 a factor of p?
False
Let s(a) = 126*a**2 - 1. Let j be s(-1). Let z = j + -74. Is 12 a factor of z?
False
Let a(z) = 8*z + 4. Let m be a(2). Suppose m = -4*o - 0*o, -2*o + 50 = 5*d. Is d a multiple of 4?
True
Suppose 2*v = 6*v - 12. Is 2 a factor of v?
False
Suppose -500 = -6*l + 2*l. Let r(n) = 3*n**2 - 8*n + 8. Let g be r(6). Let b = l - g. Is 19 a factor of b?
True
Suppose -5*y + 15 = 2*z - 8, -2*z - y + 11 = 0. Suppose -3*h = 12, 6*o = 3*o - z*h + 80. Is o a multiple of 14?
False
Let v be 3/6*-2 + 1. Suppose -2*y + 5 = 5*b - 8, 4*y - 16 = v. Is (-6)/b*(-6)/4 a multiple of 9?
True
Let w(m) be the first derivative of -5*m - 1/3*m**3 - 11/2*m**2 + 3. Is 16 a factor of w(-7)?
False
Suppose 5*v - 77 = -3*t, v + 6*t - 33 = t. Suppose b - 3 = v. Is b a multiple of 16?
True
Let a be ((-14)/8)/(2/8). Let n = -4 - a. Is 2/6*10*n a multiple of 5?
True
Is 27 a factor of (-84)/(-1) + -1 + -2?
True
Let o be 1 + 0 - (4 + -3). Suppose 2*w + o*w = -14. Let r = w - -10. Is r even?
False
Suppose -2*p = 3*p - 20. Let z(a) = a + 5 - 6 - 1. Is z(p) even?
True
Suppose -2*z + 7*z - 4*o - 302 = 0, -o = -2*z + 119. Is 5 a factor of (-4)/6 + z/6?
False
Let o be 0 - -2 - -5 - -3. Let l(m) = -m**3 + 12*m**2 - 9*m - 8. Is l(o) a multiple of 26?
False
Let u = -2 - -5. Let r be (-4)/6 + 17/u. Suppose r*a - p = -5*p + 52, 3*a - 15 = 3*p. Is 8 a factor of a?
True
Let l(n) = n**2 - 2*n - 3. Is 12 a factor of l(-3)?
True
Suppose -8*q = -6*q. Suppose 4*x = -q*x - 116. Let m = x + 55. Is 12 a factor of m?
False
Let o = 6 - 12. Is 2/o + 700/12 a multiple of 24?
False
Let b(d) = -d**2 + 15*d - 18. Let a(f) = -f**3 - 11*f**2 + 12*f + 2. Let o be a(-12). Suppose o*j = 2, -2*j = 4*i - 0*j - 50. Does 7 divide b(i)?
False
Suppose s + 2*d = 76, 4*s + 3*d = -91 + 400. Is 13 a factor of s?
True
Let g be 7 + 3*(2 - 3). Suppose -q = t - 2*q, 0 = g*t + 5*q - 45. Is t a multiple of 5?
True
Let q be (-1 + 0)*3*4. Let v be -3 + q*1 - 3. Let r = v - -34. Does 9 divide r?
False
Let h(p) = 4 + 3*p**3 - p**3 - 3*p**3 + 3*p**2 + 7*p + 1. Let m be h(-4). Suppose -5*s - 19 = -m. Is s a multiple of 5?
False
Let c(g) = g**2 + 4*g - 1. Let v(k) = k - 1. Let l be v(4). Suppose -13 = p + 2*f, 0*p = -l*p - f - 24. Is 20 a factor of c(p)?
True
Let u = 4 - 4. Let r(j) = -2*j - 6. Let m be r(-5). Suppose -m*f - o + 56 = -2*o, u = -3*o. Does 7 divide f?
True
Let f = 5 - 2. Let j(a) = a - 1. Let d be j(f). Is (d/(-5))/((-3)/90) a multiple of 12?
True
Let d be 7/3 - (-1)/(-3). Let o(m) = -7 - m - m**d + 5 + 7 + 5. Is 5 a factor of o(0)?
True
Suppose -5*q + 23 = -12. Let l(g) = g**2 - 4*g - 1. Is l(q) a multiple of 20?
True
Suppose 3*h = h - 12. Let z be ((-6)/(-4))/(h/(-16)). Suppose z*x + 8 = b, -4*b + 2*b + 28 = -2*x. Is b a multiple of 16?
True
Suppose -3*f + 8*f = -5*l + 370, -4*l + 8 = 0. Does 16 divide f?
False
Suppose -24 - 1 = -5*j. Let r = 0 + j. Is 4 a factor of r?
False
Let s = 8 - 6. Suppose s*z - 7 = 7. Is 6 a factor of z?
False
Suppose -5*x = 12 + 3. Let s be 2*-11*(x + 2). Let z = 2 + s. Is 12 a factor of z?
True
Suppose 2*y - 3*y + 3*t + 8 = 0, -t - 1 = 0. Suppose 0 = y*s + 9 - 24. Suppose 4*g - 4 = 0, -3*u + s*g + 34 = -2*g. Does 13 divide u?
True
Suppose 3*r + 348 = 4*x, 4*r = -5*x - 345 - 88. Is (-1 - -7)/((-21)/r) a multiple of 8?
True
Let x be 3/(-2 - (-21)/9). Is 88/3 - (-6)/x a multiple of 15?
True
Does 10 divide (-87)/(-2) + (1 - 12/8)?
False
Suppose -3*t - 5*k = -131, -2*k + 170 = 4*t - 0*k. Is t a multiple of 21?
True
Let b be (0 - -1)*(1 - -9). Does 2 divide ((-1)/(-1))/(2/b)?
False
Let j be (-2)/((4/(-62))/1). Is 9 a factor of -1 + 0 + 2 + j?
False
Is (108/15)/(5/50) a multiple of 12?
True
Let z = 12 + 2. Is z a multiple of 7?
True
Let k = -61 - -91. Does 6 divide k?
True
Suppose -4*r = 5*z - 6*z + 49, 3*z + 3*r = 192. Is z a multiple of 4?
False
Suppose -3*i - 360 = -8*i. Does 24 divide i?
True
Suppose 0 = -3*u 