 + 40 - 2 = 0, -33 = -3*h + 3*y. Is 5 a factor of h?
True
Suppose -30 = -3*s - 4*p + 20, 45 = 2*s + 5*p. Let y be 39/(-3) - (-2 + -1). Is 2 a factor of y/(-2)*4/s?
True
Suppose -4*m = -5*d + 119, 4*d = 2*m + m + 96. Does 6 divide d?
False
Suppose -s + 102 = 2*s. Is 17 a factor of s?
True
Let f(l) = l**3 - 4*l**2 - 7*l + 3. Let q = 8 - 2. Is f(q) a multiple of 9?
False
Let z = -145 + 100. Let j = z - -64. Is j a multiple of 10?
False
Suppose 2*m + m = 12. Suppose 487 = 5*p - m*i, 2*p + 2*i = -0*i + 202. Is p a multiple of 30?
False
Let r(m) = -m**2 + 7*m - 2. Let v be r(6). Suppose -v*b + 32 + 32 = 0. Is b a multiple of 6?
False
Does 6 divide (-276)/(-16) + -2*(-6)/16?
True
Let k = 108 + -152. Let n be (-96)/k + (-4)/22. Is (-5 - -1)/(n/(-5)) a multiple of 5?
True
Suppose 8*c = 13*c - 250. Is 13 a factor of c?
False
Suppose -3*z + 89 = -z + 5*o, 0 = -2*z - 4*o + 90. Is z a multiple of 24?
False
Suppose 0 = -25*a + 22*a + 111. Is 7 a factor of a?
False
Suppose 3*w - 17 = -5. Is w a multiple of 3?
False
Let v(h) = -h - 1. Let s be v(4). Let w(c) = c**2 - 6*c. Let t be w(s). Suppose 0 = 2*l - 3*l + t. Is 15 a factor of l?
False
Let c(h) = 6*h**3 + 4*h**2 - 5*h + 1. Let b(o) = 5*o**3 + 3*o**2 - 4*o + 1. Let n(u) = -3*b(u) + 2*c(u). Does 5 divide n(-2)?
True
Suppose 0 = -l + 1, 2*l - 2 = -7*v + 3*v. Suppose 0 = -t - v*t - 9. Let q = t - -25. Is q a multiple of 16?
True
Suppose 730 = -7*s + 12*s. Is 63 a factor of s?
False
Let x = 93 + -52. Does 18 divide x?
False
Suppose 3*s + 2*s = 0. Suppose 0*h - 48 = -h - 4*o, -3*h + 4*o + 96 = s. Does 14 divide h?
False
Let i(w) = -172*w + 1. Let o be i(-2). Suppose -10*n = -5*n - o. Is n a multiple of 13?
False
Let x = 165 - 61. Suppose -5*o + x = 4*t, -8 - 12 = -5*o. Is t a multiple of 10?
False
Suppose -3*j + 551 = -2*p, -j - p - 367 = -3*j. Does 16 divide j?
False
Let u = 133 + -76. Is 24 a factor of u?
False
Suppose u - m = 69, -m = 5*u - 2*m - 353. Suppose -3*v - 1 + 7 = 0. Suppose -r + 40 = k + 2*r, v*k - u = -3*r. Does 14 divide k?
False
Suppose 10*o + 43 - 933 = 0. Is 28 a factor of o?
False
Suppose d - 11 = -4*t + 14, 3*d - 75 = -5*t. Is d a multiple of 9?
False
Let h be (-330)/(-18) + 3/(-9). Suppose 5*b - 3 = 4*w - 22, -8 = 4*w + 4*b. Suppose 0 = -v + h - w. Is 10 a factor of v?
False
Let x(m) = -m**2 + 11*m - 14. Does 9 divide x(8)?
False
Suppose 2*o = -0*o + 4*g - 130, -4*g - 83 = o. Suppose -2*q - 94 = 118. Let b = o - q. Is b a multiple of 19?
False
Let t = -24 + 45. Does 20 divide t?
False
Suppose 0 = -5*g - 2 + 12. Suppose -1 = -g*f + 5. Suppose 0 = 3*k + f, 4*a = -5*k + 127. Is a a multiple of 14?
False
Suppose 51 = 3*c - n - 0*n, 5*n = 15. Is (-4)/c + (-330)/(-27) a multiple of 5?
False
Suppose 4*l - 5*m = -5, -3*m = 1 - 4. Suppose l = -2*v - 23 + 83. Is 15 a factor of v?
True
Let p = -15 - -15. Suppose p = 2*z - i - 70, 5*z - 5*i - 170 = -0*z. Is 12 a factor of z?
True
Let a be -3 + 2 - (7 - 47). Suppose 3*p = 6*p - a. Is p a multiple of 6?
False
Suppose 5 - 29 = 2*a. Is 6 a factor of a*((-9)/(-3) - 4)?
True
Let b be (0 - 0 - -1) + 0. Let y = 1 + b. Suppose 5*l - 70 = -5*g, 0 = y*g - 6*g + 3*l + 35. Is 4 a factor of g?
False
Let k(m) = 5*m**3 - 3*m**2 + 2. Let n(y) = -5*y**3 + 3*y**2 - 2. Let w(a) = 7*k(a) + 6*n(a). Let x(i) = -i**2 + 4*i + 7. Let c be x(5). Does 13 divide w(c)?
False
Let v(o) = 27*o**2 + 4. Is v(-2) a multiple of 8?
True
Suppose -3*h - 2*a - 1 = 9, 0 = -h + 4*a + 20. Suppose x = 2*p - 58, -3*x + 134 = 5*p - h*p. Is 14 a factor of p?
True
Let b(q) = 3 + 2 + q**2 + q + 1. Let o be b(-6). Suppose -f = f - o. Does 10 divide f?
False
Suppose -y = -3*y + 12. Let g(j) = j**2 - 5*j + 10. Is 8 a factor of g(y)?
True
Suppose -5*p - 15 = 3*v, 3*p - 5*v + 3 = -6. Is 2 a factor of 1/(-2*p/18)?
False
Let i(b) = -b**3 - 62. Let n be i(0). Let p = -38 - n. Is p a multiple of 13?
False
Let p be ((-2)/3)/(4/(-6)). Suppose 2*z - s = -6, 2*z + 4*s = p + 3. Let j = z + 10. Is 4 a factor of j?
True
Suppose 184 = 2*z - 136. Suppose -125 = 3*x - 5*d - 364, -3*d - z = -2*x. Let j = x + -49. Is j a multiple of 17?
True
Suppose 15*r - 640 = 11*r. Is r a multiple of 40?
True
Let z = -55 - -91. Is z a multiple of 4?
True
Let j be 32 + (0 + 2 - 0). Let r = -16 + j. Is 18 a factor of r?
True
Let g(m) = -2*m**3 - 5*m**2 + 7*m. Let f be g(-5). Suppose 6*k - f = k. Is k a multiple of 9?
True
Suppose 77 = -4*y + 5*y. Suppose y = 2*d - 43. Is 15 a factor of d?
True
Let j = -201 + 309. Is j a multiple of 12?
True
Let d(m) = -m + 5. Let g(k) = 2*k + 16. Let r be g(-11). Does 7 divide d(r)?
False
Let h(r) = 22*r + 3. Let f(x) = 23*x + 3. Let v(o) = 4*f(o) - 3*h(o). Is 21 a factor of v(3)?
False
Suppose -l - l = -2. Is (l + 15)*12/12 a multiple of 6?
False
Let o(x) = -7*x**3 - x**2 + x + 1. Let q be -5 + 5 - (2 - 1). Let p be o(q). Is 12 a factor of (p - 5)*(37 + 0)?
False
Let u(w) = w**3 - 4*w**2 + 2. Let n be (-102)/(-24) - (-1)/(-4). Let t be u(n). Suppose -2*k = -7*k - z + 55, 4*k + t*z - 50 = 0. Does 5 divide k?
True
Let v be (4 - -4)*1/2. Suppose v*m = 5*m + 4*u - 4, -5*m + 20 = -3*u. Is 17 a factor of m/(-8) + (-94)/(-4)?
False
Is 18 a factor of (-16)/40 - 507/(-5)?
False
Let z(q) = -q - 8. Let o be z(-8). Let u(s) = s - 6. Let r be u(8). Suppose 3*d = -r*d + k + 70, 3*d + 2*k - 42 = o. Is 7 a factor of d?
True
Let j = 6 + -4. Suppose 4*q + 2*h - 58 = 0, 31 = j*q - h - 4. Is 8 a factor of q?
True
Let x be (-4)/(-2) - (-1)/1. Suppose 0 = -x*h + 5*v + 112, 5*h - 95 = -2*v + 71. Is h a multiple of 17?
True
Suppose 2*n = 5*n - 189. Is 21 a factor of n?
True
Let s(c) = -c**3 + 7*c**2 + 6*c - 4. Is s(6) a multiple of 17?
True
Let c(n) = -11*n + 2. Does 17 divide c(-6)?
True
Let t(k) = 8*k**2 + 5*k + 7. Let m(f) = 4*f**2 + 3*f + 4. Let y(w) = 7*m(w) - 3*t(w). Is y(-3) a multiple of 5?
True
Let v be 44/(-3)*12/(-8). Suppose n - v = -4*d, 2*n - 9*d - 44 = -4*d. Suppose 5*f = 13 + n. Is f a multiple of 4?
False
Let h(b) = -b**2 - b**3 + 2 + 0*b**3 + 0*b**2. Let k be h(0). Suppose 7 = -k*j + 5*c + 53, -3*c + 30 = 2*j. Is 11 a factor of j?
False
Let n(h) = h**2 - 4*h - 2. Let b be n(-3). Suppose b + 25 = 4*c. Is 8 a factor of c?
False
Let m(z) = z**2 + z + 39. Let s be m(0). Suppose -s = -4*w + w. Is w a multiple of 7?
False
Let p be (-119)/(-28) + (-6)/(-8). Suppose -4*i + p*i = 0. Suppose -m + 15 = -3*c, -5*c + i = 4*m - 43. Is 12 a factor of m?
True
Let r(g) = -g**3 + 9*g**2 + 10. Is 6 a factor of r(9)?
False
Let r(f) = f**3 + 8*f**2 + 5*f - 8. Let o(h) = -3*h - 5 + 4 + 0. Let p be o(2). Is 6 a factor of r(p)?
True
Suppose 2*m + 68 = 4*s, s - 1 = -0*s. Let i = m + 80. Is 12 a factor of i?
True
Let i(m) = -m**2 + 12*m - 18. Is i(7) a multiple of 17?
True
Let b = -13 + 18. Let j(o) = 2*o - 1. Is 6 a factor of j(b)?
False
Let j = 1 - 3. Let y = 47 + -51. Is 34/y*-2 + j a multiple of 15?
True
Let d(j) be the first derivative of -j**4/4 + 2*j**3 + 3*j**2/2 - 8*j + 1. Let r be d(6). Suppose -p - r = -3*p, -3*y = 4*p - 149. Is 14 a factor of y?
False
Suppose 1 - 7 = 3*v, 3*k = -3*v + 6. Suppose k*d + 8 = 0, 5*d - 38 = -2*t + 2*d. Is 12 a factor of t?
False
Suppose 0 = -d + 3*y + 6 - 37, 2*y = -3*d - 60. Let f be d/(-1) + -1 + 2. Suppose 0 = -2*k + 3*k - f. Does 18 divide k?
False
Suppose 3*y - 97 = 11. Is 11 a factor of y?
False
Suppose -18*d - 62 = -s - 17*d, -4*s + 2*d = -258. Is s a multiple of 4?
False
Let l be (72 - 0)*5/10. Let x be 1 - 2 - l/(-6). Suppose 0 = 4*r - x*r - 2*m + 21, m = r - 12. Is r a multiple of 9?
False
Let p(j) = 8*j - 54. Let h be p(8). Let w(u) = -u**2 - 10*u + 5. Let y(c) = -3*c**2 - 19*c + 10. Let k(q) = -5*w(q) + 2*y(q). Does 7 divide k(h)?
False
Let y(u) = 1. Let h(c) = -c - 1. Let v(m) = h(m) + 5*y(m). Does 2 divide v(0)?
True
Let q(o) be the second derivative of -o**5/10 - o**4/12 - 3*o**2/2 + o. Is q(-3) a multiple of 14?
True
Does 18 divide 896/12 + 1/3?
False
Let y = -14 + 2. Suppose z + 1 = 5. Let n = z - y. Is n a multiple of 8?
True
Let y(w) = -9*w + 5*w - 2 - 6*w. Is y(-5) a multiple of 14?
False
Suppose 3*a - d - 44 - 20 = 0, d = a - 24. Suppose -a = -4*u - u. Is u a multiple of 4?
True
Suppose -3*j + 4*j = 3. Suppose -5*q = 5*x + 115, -3*x = 3*q + q + 74. Does 11 divide j/x*22*-3?
True
Let i(y) = -3*y + 2. Let w be i(3). Let s(j) = j**2 + 5*j - 8. Let f be s(w). Does 13 divi