14 = -0*h, 5*m + 2*h - 57 = 0. Is m a multiple of 7?
False
Suppose 5*l = 3*l + 4. Suppose 60 = 2*q + l*q. Does 13 divide q?
False
Does 19 divide ((4 - 1) + -82)*-1?
False
Let c(f) = -40*f**3 + f**2 - 1. Let j be c(-1). Does 14 divide 2/3 - j/(-3)?
True
Suppose -6*o + 0*o + 306 = 0. Does 9 divide o?
False
Suppose -y - y = 0. Suppose -3*s + 2*s + 9 = y. Is 3 a factor of s?
True
Let p be (1 - 3)/((-1)/(-2)). Suppose -u - 41 = -5*a + 5, -4*u - 154 = -5*a. Let l = p - u. Does 12 divide l?
False
Let w = -139 - -216. Does 9 divide w?
False
Suppose 12 + 13 = -z. Let n = z - -37. Is n a multiple of 5?
False
Is 4 a factor of 0 - (-10 - -6)/((-2)/(-4))?
True
Let n(l) = -24*l**2 - 10*l + 11. Let k be n(8). Is k/(-105) + 2/(-7) a multiple of 11?
False
Suppose 284 - 2 = 3*x. Does 14 divide x?
False
Suppose 30 - 87 = -3*d. Is (-1 - -2) + d + -2 a multiple of 7?
False
Let i = 16 - 10. Let x(j) = 10*j - 5 + j**3 + 0 - 7*j**2 - 2. Does 17 divide x(i)?
True
Is 1360/30*12/8 a multiple of 10?
False
Let q = 12 - -7. Does 19 divide q?
True
Let j = -51 - -56. Is 3 a factor of j?
False
Suppose 5*z - m + 2 + 24 = 0, 0 = z - 5*m + 10. Let h = 0 - z. Is h a multiple of 2?
False
Let t(g) = -g - 1. Let y(p) = 0 + 2 + 9*p - 7. Let b(k) = -t(k) + y(k). Is 9 a factor of b(3)?
False
Let k(h) = 7*h + 3. Suppose 4*u - 7 = -4*g + 1, g - 14 = -3*u. Does 15 divide k(u)?
True
Suppose 4*b + 2 = f, -2*f + 4 = b + 3*b. Suppose m + b*m = 14. Does 14 divide m?
True
Suppose 3*z + 15 = -v, -2*z + v + 1 = 16. Let n(k) = -k**3 - 4*k**2 + 3*k - 2. Is n(z) a multiple of 24?
False
Let w be (3/(-3) - 6) + 1. Let p = w - -10. Suppose p*a - 9 = 23. Is 6 a factor of a?
False
Let o(q) = -2*q**3 - 3*q**2 - 3*q + 2. Let j(y) = y - 2*y**2 + y**2 + 0*y**2 - 1 - 2. Let i be j(0). Is o(i) a multiple of 24?
False
Suppose 2*v = -0*c + c - 11, -4*c = 4*v + 4. Suppose 6 = c*a - n + 3*n, n = 0. Suppose 14 = a*q - 10. Is q a multiple of 12?
True
Let s be ((-5)/(-3))/(5/15). Suppose u = 14 + s. Suppose -4*l + u = -3*l. Is 18 a factor of l?
False
Let z = 171 + -112. Let l = z - 29. Is 10 a factor of l?
True
Let i = -20 + 24. Suppose -4*h + i*z + 13 = -159, -5*h = -2*z - 230. Is h a multiple of 18?
False
Suppose -4*w + 2*x + 80 = -22, -4*w = 3*x - 127. Let v be (-1 - -3)*w/(-8). Let b = v + 13. Does 3 divide b?
True
Let q(l) = -l**2 - 15*l - 33. Does 7 divide q(-9)?
True
Let a(s) = -5 + 3*s + 5. Let r be a(2). Let p(t) = t**3 - 7*t**2 + 8*t - 7. Does 4 divide p(r)?
False
Suppose -10 = c - 6*c. Suppose 5*x = -4*f - 7, 7 = -c*f - x + 2*x. Is 9 a factor of (-56)/f - (-2)/(-3)?
True
Suppose 40 = -3*y + 247. Is y a multiple of 8?
False
Let m be -1*1*(-15)/5. Suppose -i = m*i - 36. Is 4 a factor of i?
False
Let l(q) be the second derivative of 3/2*q**3 + 2*q - 3/2*q**2 + 1/2*q**4 + 0 - 1/20*q**5. Is 4 a factor of l(7)?
False
Let o(m) = 5*m**2 - m + 2. Let v = -3 - -1. Does 12 divide o(v)?
True
Suppose -4*w = -5*l - 20, -5*l - 4*w - 1 = -21. Suppose -h + l = 2. Is 14*(h/(-4))/1 a multiple of 6?
False
Let i(z) = -z - 4. Let g be i(-2). Let u(p) = -p**2 + p - 2. Let l be u(g). Let w = l - -12. Does 4 divide w?
True
Let a be (2/(-4))/((-1)/4). Suppose 0 = z - a*z + 5. Suppose 67 = z*d - 3*i, 4*i = -4*d + i + 32. Is 11 a factor of d?
True
Suppose a - 1 = -5. Let i(v) = v - 1. Let w(r) = r**3 + 5*r**2 - 2*r + 3. Let f(n) = 2*i(n) + w(n). Is f(a) a multiple of 13?
False
Is 284/16 - 1/(-4) a multiple of 6?
True
Let r(g) = -2*g**3 - 4*g**2 - 3*g - 1. Let t = 20 + -23. Is 13 a factor of r(t)?
True
Suppose a - 92 = -4. Suppose 109 = 3*w + n, -16 = -3*w + 4*n + a. Is w a multiple of 11?
False
Let y(l) be the second derivative of -l**7/840 + l**6/45 - 3*l**5/40 + l**4/12 - l**3/6 + l. Let z(t) be the second derivative of y(t). Is z(6) a multiple of 9?
False
Suppose 4*t + 2*q - 630 = 0, -6*t + 4*t + q + 309 = 0. Suppose t = 2*m - 4*d, 3*d + d - 90 = -m. Is 22 a factor of m?
False
Let w(q) = -q - 1. Let r(y) = y**2 + 3*y - 4. Let f(c) = r(c) + w(c). Is 15 a factor of f(5)?
True
Let r(d) = 2*d**2 - 2*d**2 + 4*d + 2 + 2*d**2. Does 10 divide r(-5)?
False
Let s(w) = w**2 - 3*w + 12. Does 20 divide s(12)?
True
Is 6 a factor of -6 - 12/(-4) - -33?
True
Suppose -2*w + 68 = -28. Let z be ((-3)/(-2))/(9/w). Suppose -y + z = q, -2*y + 13 = -0*q + q. Is 4 a factor of y?
False
Suppose -3*z + 6*z - 27 = 0. Let x = z - -5. Is 6 a factor of x?
False
Suppose -114 = 2*j - 4*j. Is j a multiple of 19?
True
Suppose -p + 300 = -4*p. Let x = -48 - p. Does 6 divide x/5 - (-2)/(-5)?
False
Let z(w) = 2*w**2 - 3*w - 1. Let x be z(3). Let o be ((-4)/x)/((-2)/96). Suppose -4*a + 2*a = -o. Does 10 divide a?
False
Let t(d) = d**2 - 11*d - 12. Let n be t(12). Suppose n = 2*l + 5*m - 33, -4*l + 3*m + 71 = -34. Is l a multiple of 14?
False
Let b be (-300)/16 + 2/(-8). Let r be (b - (-1 - -1))/1. Let f = 31 + r. Is 12 a factor of f?
True
Let t = 19 + 9. Does 8 divide t?
False
Suppose 3*q - 24 = -q. Suppose -6 = 2*j - 0*j. Does 17 divide j/18 - (-217)/q?
False
Let w = -13 - -133. Is w a multiple of 30?
True
Let w = 29 - 8. Suppose -31 = -4*u + w. Is 13 a factor of u?
True
Suppose -4*q + q = 90. Let m be 72/q*(0 - 15). Suppose m = 4*d + w, 0 = -w - 0*w - 4. Is d a multiple of 4?
False
Let d(r) = r**3 + 8*r**2 - 2*r - 11. Let n be d(-8). Let k(w) = w**3 - 4*w**2 - 5*w + 4. Does 2 divide k(n)?
True
Let h(f) = -f**3 + 10*f**2 + 11*f + 1. Let y be h(11). Is 15 a factor of ((-420)/98)/(y/(-7))?
True
Suppose -3*l + 183 = -0*l. Does 19 divide l + -1 - 33/11?
True
Is ((-5)/10)/((-3)/108) a multiple of 18?
True
Let c = 5 + -3. Let r be (3 - (c - -1)) + 26. Suppose -3*k + r = 5*i - 0*i, 5*i = -2*k + 19. Is k a multiple of 2?
False
Let z(t) = t + 15. Let f be z(0). Let w = -9 + f. Is ((-4)/w)/((-4)/84) a multiple of 7?
True
Does 13 divide (234/15)/((-4)/(-10))?
True
Suppose 3*q + 70 = 4*q. Is q a multiple of 14?
True
Let t = -7 - -19. Does 12 divide t?
True
Let f = 7 + -12. Let t be ((-16)/(-5) + -2)*f. Does 10 divide (-3)/t*2*10?
True
Does 35 divide (-4)/(-18) + 12840/54?
False
Let v = 145 + -104. Does 7 divide v?
False
Let b(o) = o - 5 + o - 3*o - o. Is 2 a factor of b(-4)?
False
Suppose 4*d + 3 = d. Is 15 a factor of (-4 + -9)*d*4?
False
Suppose -3*s = 2*z + 7, 3*z - 2*s - 18 = 6*z. Let l(q) = 3*q**2 + 56*q + 47. Let p(w) = -w**2 - 19*w - 16. Let j(o) = -6*l(o) - 17*p(o). Is 21 a factor of j(z)?
False
Suppose -z - 9 = -3. Let x(b) = 4 + 0*b - b - 2 - 5*b. Does 19 divide x(z)?
True
Let u(h) = -22*h**2 + 1. Let y be u(-1). Is (-7)/(y/36) - -2 a multiple of 14?
True
Suppose 36 = -0*g + 2*g. Is g a multiple of 3?
True
Let j be 6/5*(-15)/(-6). Suppose 4*z + 0*z - 209 = -j*b, -4*z - 260 = -4*b. Is 24 a factor of b?
False
Let c be 3 + (-1 - -1) - 3. Suppose 2*t - 36 = -c*t. Let s = t + -6. Is 4 a factor of s?
True
Let s(r) = -r**2 - 7*r - 4 - 2*r + 10. Let q = -22 - -17. Is 13 a factor of s(q)?
True
Suppose -3*l + 30 = -27. Is 19 a factor of l?
True
Let k = 0 + 2. Suppose -3*y + 3 = 0, -k*h + 2*y = 3*h - 53. Is 11 a factor of h?
True
Is 4 a factor of (-126)/(-8) + (-1)/(-4)?
True
Let q(o) = -3*o**3 + 5*o**2 + 4*o + 8. Does 29 divide q(-3)?
False
Suppose 0*n - 38 = 2*n. Suppose 0 = -4*z + 8*z. Is 14 a factor of (z + n)/(1 + -2)?
False
Suppose 26 = 5*p + 3*i, -4*i = -5*p - 2 + 14. Suppose 6*n = p*n - 6. Let b = n + 16. Is 13 a factor of b?
True
Let o(y) = -y**3 - 4*y**2 + 6*y + 7. Let r be o(-5). Let s be ((-25)/2)/((-1)/r). Suppose a = -4*a + s. Is a a multiple of 5?
True
Let q(y) be the third derivative of -3*y**2 + 0*y**4 + 0 + 1/20*y**5 + 1/6*y**3 + 0*y. Is 5 a factor of q(-2)?
False
Suppose -7*l + 12 = -4*l. Let f = l - -17. Is 15 a factor of f?
False
Suppose u + 6 = 3*f, -2*u + 28 = 2*f - 0*f. Let k = 3 - u. Let y(a) = -2*a - 6. Is 3 a factor of y(k)?
True
Does 43 divide 5603/65 + 3/(-15)?
True
Let h = -25 + 35. Let j be (-4)/10 + (-116)/h. Let o = 21 + j. Is 9 a factor of o?
True
Suppose z - 5 - 17 = 5*g, -3*z + 22 = -4*g. Suppose 2*j = -z*j + 172. Does 18 divide j?
False
Let p be (-10)/15*-3*1. Suppose 2*y = -p*y + 84. Is 12 a factor of y?
False
Suppose 0 = -4*t + 4*a + 72, 2*t - t + 3*a - 10 = 0. Is t a multiple of 4?
True
Let p(j) be the third derivative of -j**5/60 - j**4/8 + j**3/2 + j**2. Let x be p(-3). Suppose -2*r + 2 = -2*m - 6, x*m + 16 = 5*r. Is r a multiple of 2