= m. Is 14 a factor of m?
True
Let n(p) = -10*p - 3. Let t(j) = j**2 + 8*j + 3. Let k be t(-7). Is n(k) a multiple of 14?
False
Let z be 2/(-1 + 3)*2. Suppose p + 4 = z*p. Is 3 a factor of (p - -3) + -1 + 2?
False
Let p(k) = k + 8. Suppose -3*x + 9 = -3. Is 4 a factor of p(x)?
True
Let r be 11/((-2)/2) - 3. Let y = -2 - r. Does 12 divide y?
True
Let s be -4 + 2 + 0 + -1. Is s/(-12) - (-321)/12 a multiple of 6?
False
Let t = 39 - 16. Suppose 3*m - t = 1. Let l = 16 - m. Is 3 a factor of l?
False
Suppose -6*z + 40 = -5*z. Is 20 a factor of z?
True
Let q(d) = d**2 + 2*d + 10. Does 15 divide q(5)?
True
Let u(f) = -f + 4. Let g be u(0). Is 6/(-9)*(-114)/g a multiple of 18?
False
Let i = -11 - -9. Is (i - 64/(-10))*5 a multiple of 11?
True
Suppose l + 4*h - 18 = 0, 3*l + h = 3*h + 26. Let b be l/(-2)*5/(-5). Suppose 2*a = b*p + 59, 0 = -4*a - a + 4*p + 156. Does 14 divide a?
False
Let t be (-1 - (-2 - 119)) + 0. Suppose -6*j = -j - t. Is j a multiple of 14?
False
Let q = 19 + -78. Let m = q + 28. Let h = 3 - m. Does 17 divide h?
True
Suppose 4*s - 287 = -n, 103 + 110 = 3*s + 3*n. Is 24 a factor of s?
True
Let q = -85 - -130. Does 14 divide q?
False
Suppose -p + 5*k - 8 = -156, 4*p = k + 649. Does 26 divide p?
False
Let f be -9*2*19/(-57). Suppose f*w = -9 + 297. Is w a multiple of 16?
True
Let u(h) = 11*h**3 + 21*h**2 - 28*h - 25. Let i(y) = 7*y**3 + 14*y**2 - 19*y - 17. Let v(r) = -8*i(r) + 5*u(r). Is 34 a factor of v(-9)?
False
Let d(r) = -2*r**2 - 23*r + 9. Does 2 divide d(-11)?
True
Suppose 0 = p - 4*i - 3, -5*p + 3*i = -1 - 14. Suppose p*y = -22 + 58. Is 12 a factor of y?
True
Suppose 231 = z - 63. Is z a multiple of 69?
False
Let a = 7 + -1. Let m(i) = -i**3 + 8*i**2 - 8*i + 5. Is 18 a factor of m(a)?
False
Does 12 divide ((-72)/14)/(8/(-168))*1?
True
Let g(t) = -13*t + 1. Let s be g(-7). Let z = 134 - s. Does 23 divide z?
False
Let w be 18/8 - 1/4. Suppose w*u - 3*a - 17 = 0, -u + 0*a - 5 = 3*a. Suppose -24 = -u*k + k. Is 3 a factor of k?
False
Suppose -6 = -0*v + 3*v. Let c(x) = x**2 + 3*x + 3. Let u be c(v). Does 17 divide (-10)/u*(-2)/1?
False
Let s be (-144)/(-15)*10/2. Suppose 2*f + s = -2*f. Is 9 a factor of (8/f)/(1/(-21))?
False
Let q(k) = -2*k**3 - 5*k**2 - 2*k + 3. Let j be q(-3). Suppose 3*i = -0*y + 4*y + j, 5*i - y - 30 = 0. Is 6 a factor of i?
True
Suppose u + 12 = 2*w, 0 = -u + 1 - 3. Let a(o) = o**3 - 7*o**2 - 7*o - 9. Let n be a(8). Let d = n + w. Is 4 a factor of d?
True
Let r = -22 - -10. Let t = r - -29. Is t a multiple of 7?
False
Suppose 2*v - v = u - 9, -3*u = -v - 29. Let h = u - 1. Is h a multiple of 3?
True
Let f(y) = -y**3 - 3*y**2 + 0*y**2 - 3*y - 2 + 3. Suppose -v + 0*v = -2*p - 8, p + 4*v = 5. Is f(p) a multiple of 10?
True
Let r be -3 - 12/(-8) - (-6)/4. Suppose 0*q = q - 2. Suppose r = q*w - 3*w + 30. Is 15 a factor of w?
True
Let h(t) = t - 1. Let o(y) = 8*y + 4. Let b(q) = -4*h(q) - o(q). Let j be (9/(-18))/(2/4). Is b(j) a multiple of 12?
True
Let h(u) = 3*u**3 + 2*u**2 - 2*u. Let p(b) = b**3 - b**2 - b + 1. Let l(x) = -h(x) + p(x). Is 11 a factor of l(-3)?
False
Let h be (6/(-4))/((-1)/(-6)). Let t = -5 - h. Suppose t*g + 4 = -0*g, -146 = -5*s + g. Is 17 a factor of s?
False
Let m = 87 - 15. Does 24 divide m?
True
Let z = 8 + 0. Is 12 a factor of (-95)/(-4) - (-2)/z?
True
Suppose -5*n + 709 = -r + 279, 5*r + 344 = 4*n. Is 15 a factor of n?
False
Suppose -4*o + 35 = 2*w - 7*w, 4*w - o = -28. Does 7 divide (1*-1)/(w/161)?
False
Let l be (3 + -12)*(-6)/(-2). Does 27 divide 1*(l/(-1))/1?
True
Suppose 0 = 5*w - w + 8. Let g be ((w - -4) + -16)/(-2). Suppose g = b + 3. Does 4 divide b?
True
Suppose -j = -3*j + 22. Is 2 a factor of j?
False
Let l(p) = -2*p**2 + 5*p + 18. Let s(r) = -3*r**2 + 8*r + 27. Let v(h) = -8*l(h) + 5*s(h). Does 7 divide v(4)?
True
Let i be (77/2)/(1/(-2)). Let a = i + 159. Let p = -48 + a. Does 17 divide p?
True
Let k(q) = -q**2 + 4*q + 8. Let m be k(6). Let l = m - -40. Is l a multiple of 12?
True
Suppose -5*s - n = -646, 9*n + 410 = 3*s + 4*n. Is s a multiple of 13?
True
Suppose -133 = -3*m + 32. Is 31 a factor of m?
False
Does 26 divide ((-1 - -11) + -1)/((-96)/(-832))?
True
Let v(s) = s**3 + 8*s**2 - 26*s + 2. Is v(6) a multiple of 39?
False
Is -12*(44/(-6) - -1) a multiple of 11?
False
Let d = 38 + -58. Let w be (-2)/(-6)*3*2. Is 22 a factor of (8/d)/(w/(-110))?
True
Suppose -3*a - 4*n = -33, -44 = -5*a - 3*n - 0*n. Is a a multiple of 2?
False
Does 3 divide -2 + (-32)/(-6) - 18/54?
True
Suppose 2*n + 9 = 4*z - 1, 3*z - 2*n - 5 = 0. Let h = z - 14. Let i(t) = -6*t - 9. Does 18 divide i(h)?
False
Suppose 0 = -n - 2*n + 6. Let z be 116*((-5)/(-2) - n). Suppose 0 = 2*d - z + 10. Does 12 divide d?
True
Let x be 2/1 - (-5 - -2). Suppose -4 = 4*i, x*y - 23 - 18 = i. Let t = y - -5. Is t a multiple of 13?
True
Let i = -7 + 19. Let k be 64/i + 3/(-9). Suppose 2*g - 6 = -h, -3*h - k*g + 16 = -7. Is 14 a factor of h?
False
Let j(c) = c**3 - 5*c**2 + 2*c - 6. Let u be j(5). Suppose 5*z + 89 = u*k, 4*k - 5*z - 88 = -z. Is 8 a factor of k?
False
Suppose 0 = -s + 149 + 131. Does 20 divide s?
True
Suppose 159 = 2*i - 5*i. Does 11 divide (2 - 5)/3*i?
False
Let z be 3/(-12) - (-13)/4. Let t be (70/(-2))/(1/(-4)). Suppose l = -z*l + t. Is 20 a factor of l?
False
Let v be ((-1 - -740) + -2)*1. Suppose -2*u = 3*u + 4*s - 952, -4*u + 5*s + v = 0. Suppose -4*q = -4*y + q + u, -q + 4 = 0. Does 16 divide y?
False
Suppose -8*x + 3*x = 0. Let q(b) = -b**2 + 2*b**2 + 22 - 2*b**2. Is q(x) a multiple of 11?
True
Suppose 3*u = u + 6. Suppose 5*z - 2*d = u*d + 70, -5*z - 5*d = -20. Let h(s) = s**2 - 6*s - 3. Does 12 divide h(z)?
True
Let i(j) = j**3 + 7*j**2 - 9*j - 6. Let q be i(-8). Suppose -b - 4*s + 10 = 0, b + 2*b - q*s - 2 = 0. Is b a multiple of 2?
True
Let j(q) = -q**3 + 2*q**2 + q + 24. Does 4 divide j(0)?
True
Let z = -5 - -8. Suppose 3*w = z*j + 99, -j + 36 = 2*w + 3*j. Suppose b = 5*c + w, 3*c = c - 10. Is b even?
False
Suppose -p + 0 - 3 = 0. Is (-5 + (-1 - 1))*p a multiple of 20?
False
Let o be 2 - ((-1)/1 - 2). Is 4*((-380)/(-8))/o a multiple of 18?
False
Let l be (-52)/(4 - 2 - 3). Suppose -s - 3*s + l = 0. Does 13 divide s?
True
Suppose l - 5*s = -2*l + 428, 4*s = -5*l + 701. Does 47 divide l?
True
Let j be (-1)/6 + (-5)/(-30). Let f(m) = -2*m - 1 + j + 4 + m**2 + 0*m. Is f(2) a multiple of 3?
True
Suppose -q - 6 = -8. Suppose 0 = -3*h + 2*h - 2*c - q, -4*h - 4*c = -8. Is 6 a factor of h?
True
Suppose -25 = -5*n, 5*z + 117 - 747 = 2*n. Is z a multiple of 15?
False
Let h = 24 - 8. Is h a multiple of 4?
True
Suppose i + 447 = 2*o + o, 306 = 2*o + 2*i. Is o a multiple of 30?
True
Suppose -2*j + 7 = 3*k - 4*k, -k = -3. Suppose 5*x + 0*m - 46 = -2*m, m + 52 = j*x. Is 10 a factor of x?
True
Let j be 4/3*(0 - 3). Is 14 a factor of (-52)/j + (1 - 0)?
True
Suppose 2*o + 100 = -0*o - z, -157 = 3*o - 2*z. Let j = o - -105. Suppose -2*y + j = 10. Is 11 a factor of y?
True
Let w(c) be the third derivative of 0*c**4 + 0*c + 0 + c**2 - 1/60*c**5 - 11/60*c**6 + 0*c**3. Is 8 a factor of w(-1)?
False
Let l = 32 - -24. Is 9 a factor of l?
False
Let h(y) = 0*y**2 + 5*y - 3*y + 0 + y**2 + 4. Does 3 divide h(-3)?
False
Let c(b) = b**3 + 12*b**2 + b + 5. Is c(-10) a multiple of 15?
True
Let t = 14 - 8. Suppose t = 4*k - 46. Let c = -8 + k. Is c a multiple of 5?
True
Let n be (-2)/(-5) - 3894/(-15). Suppose -3*k - k + n = 0. Does 22 divide k?
False
Let i be 13/((-39)/(-9) - 4). Let u = 63 - i. Does 8 divide u?
True
Let v = 4 - 4. Suppose 5 = -v*k + k. Let q = 1 + k. Is 2 a factor of q?
True
Let i(t) = 2*t**2 - 3*t. Let u be i(2). Suppose -3*x + 61 = 4*l, -x - u*l + 14 = -7*l. Does 14 divide x?
False
Suppose 0 = 3*v - 2 - 13. Suppose p + 19 = 5*x, 4*p - v*x + 89 + 17 = 0. Let w = p + 59. Is w a multiple of 13?
False
Suppose -4*r + 58 = -38. Does 5 divide r?
False
Let b(r) = 52*r**2 - 3*r - 2. Is b(-1) a multiple of 31?
False
Let g(y) = y**2 + 2*y - 8. Let n be g(0). Is (-9 - n)/((-1)/29) a multiple of 12?
False
Suppose 0 = -f - 3*f + 136. Let c(z) = -z - 3. Let y be c(-5). Suppose -t = 4*n - f, -5*t + 202 = 2*n + y*n. Does 15 divide t?
False
Let q = -4 - -3. Does 21 divide 39 - (q + 0/1)?
False
Let x be 20/(-50) - (-48)/(-5). Does 2 divide (-4)/10 - 24/x?
True
Suppose -4*s + 3*q = -19, -4*s = -0*s + q - 15. Is 12 - s/(-