2 = h*l. Does 22 divide l?
False
Let m(i) = 6*i + 1. Let y be m(-1). Let w be (1 - 0)*(-25)/y. Let k = w + -1. Is 2 a factor of k?
True
Let j be 0/(3*(-3)/(-9)). Let o be j/(-1) + 1 + -2. Is (6 - -7)/(o/(-2)) a multiple of 9?
False
Let r(c) be the third derivative of c**6/120 + 7*c**5/60 - c**4/2 - 5*c**3/3 + c**2. Suppose 3*k + 18 + 6 = 0. Is 11 a factor of r(k)?
True
Suppose 5*f - 2*l - 143 = 126, 0 = -3*f + 5*l + 150. Is 5 a factor of f?
True
Let i(r) = 2 - 7*r - 4 + 0. Is i(-3) a multiple of 19?
True
Let q be (144 - 3)*4/3. Suppose 7*k - q = 2*k + u, -k + 43 = -2*u. Does 13 divide k?
False
Let c be 4/(-2) + 5 + -1. Suppose -2*f + c*y - 18 = 0, -4*y - 2 = 4*f - 6. Let d = 25 + f. Is d a multiple of 13?
False
Suppose 7*b = 9*b + 52. Is 2 a factor of (-10)/30 - b/6?
True
Suppose -2*c + 12 = 3*t + t, 0 = -2*t - 4*c. Suppose t*x + 5*u + 87 = 0, 3*x = -u + 23 - 80. Does 9 divide (x/(-4))/(1/2)?
True
Let c = 48 - 28. Suppose j - c = -3*j. Is j even?
False
Let l be (10/(-15))/((-2)/54). Suppose -2*r = -2*m - l, -4*m - 6 = -2*r + 14. Let n = 20 - r. Is n a multiple of 12?
True
Let x(i) = i**3 - 7*i**2 + 7*i. Let u be x(5). Let k = 5 - u. Let n = k + -11. Is 5 a factor of n?
False
Suppose -2*u + 4*t + 10 = 0, -u = -0*t + t - 20. Suppose 17 = 4*g - u. Does 8 divide g?
True
Let c(p) = p**3 - 7*p**2 + 9*p - 2. Does 4 divide c(6)?
True
Suppose 125 = 3*l - v, 4 = -2*v + 6*v. Suppose -3*j + 7*j + 5*n = 22, 0 = 2*j + 5*n - 16. Does 14 divide (j + (-14)/6)*l?
True
Let m(l) = l**3 - 6*l**2 - 19*l + 8. Is 11 a factor of m(9)?
False
Let x(b) be the first derivative of 2*b**3/3 - b**2/2 - 2*b + 8. Does 13 divide x(3)?
True
Suppose 2*z = -3*p + 422, -24 + 4 = -5*p. Does 22 divide z?
False
Suppose 7*c - 2*c - 30 = 0. Let r = c + 0. Suppose r = u - 6. Is u a multiple of 4?
True
Suppose 4*h + 25 = 5*j, -h + 3*h + 9 = -j. Let d be (0 - j)/(2 - 1). Is 6 a factor of 3*4*(d + 2)?
True
Suppose 5*q = 2*v + 998, -5*q + 11 = -9. Is 6 a factor of v/(-21) + (-2)/7?
False
Let d(n) = -n**2 - 3*n + n + n + 1 + 2. Let x be d(0). Suppose -x*a - 2*a + 165 = 0. Is 11 a factor of a?
True
Suppose -3*o = -r - 2*r, -3*o = -5*r. Suppose -3*g - 5*b + 24 = r, -4*g + b = 3*b - 18. Suppose 2*p = p + g*d + 19, 0 = 4*p + 2*d - 6. Is 4 a factor of p?
True
Let g(p) = -19*p - 4. Let y(w) = 57*w + 12. Let q(l) = -11*g(l) - 4*y(l). Is 20 a factor of q(-3)?
False
Let r(x) = x**2 - 3*x - 4. Let t be r(6). Let k = 1 - t. Let l = 23 + k. Is l a multiple of 5?
True
Let y(q) = -62*q + 6. Is y(-2) a multiple of 19?
False
Is 1/(-5) + 504/20 a multiple of 17?
False
Let h be 2/((-8)/12) + 1. Is (-165)/(-3) - (1 + h) a multiple of 14?
True
Let r(i) = -8*i**2 + 6. Let s(c) = -7*c**2 + 5. Let p(t) = 5*r(t) - 6*s(t). Suppose -2*u - 16 = -5*y, 4*y = -4*u - u + 26. Is 5 a factor of p(u)?
False
Is 22 a factor of (3 + 452/(-12))*-1*3?
False
Let l = -48 - -72. Is l a multiple of 8?
True
Let f be ((-18)/(-3))/(-3) - -1. Let m(h) = -60*h + 1. Let k be m(f). Suppose -5*p = 11 - k. Does 5 divide p?
True
Suppose 19*m - 192 = 17*m. Does 17 divide m?
False
Let a be 1/(-2) - (-46)/4. Let u(q) = -q + 23. Is u(a) a multiple of 5?
False
Let r(g) = -2*g + 6. Does 10 divide r(-13)?
False
Let d be 2/(0 - -2) + 4. Let s(g) = 4*g**2 + 0 + d - 5*g - 1. Does 10 divide s(3)?
False
Let g(y) = 2*y - 5. Let q be g(5). Is 10 a factor of 8/q*245/14?
False
Suppose -5*l = 4*k + 13, k = -k + l + 11. Suppose 0 = -7*c + k*c + 112. Is 8 a factor of c?
False
Suppose 2*b = 2*n + 238, -3*b - 2*n = -2*b - 110. Is b a multiple of 29?
True
Let z be (-3)/(-2)*(-8)/(-6). Let s(p) = -2 + 8 - z*p**2 + 6*p + p**3 - 5*p**2. Does 3 divide s(6)?
True
Suppose -2323 = -8*l - 403. Is l a multiple of 30?
True
Let j = 73 + 3. Does 11 divide j?
False
Let a(c) = -c**3 - 2*c**2 + c - 3. Let o be a(-3). Let k(v) = 4 - 6*v - v + v + o*v**2. Is k(4) a multiple of 13?
False
Let b = 151 - 86. Suppose -4*y = 4*p - 3*y - b, -p + 8 = 3*y. Is p a multiple of 3?
False
Let d(h) be the first derivative of 2*h**2 + 6*h - 3. Is d(5) a multiple of 10?
False
Suppose 5*f + 3*j - 4 = 0, 3*f + 5*j = -1 - 3. Let r(l) = l**3 + 3*l**2 - 2. Is r(f) a multiple of 9?
True
Let b = -4 + 6. Suppose -2*u + 104 = b*h - 0*h, -5*u = -h + 52. Does 21 divide h?
False
Let z = -12 + 80. Does 17 divide z?
True
Let x(i) = -i**3 + 5*i**2 - 2*i - 6. Let v = -13 - -18. Let j be x(v). Let m = 15 - j. Is m a multiple of 11?
False
Suppose -3*h - 5 = -14. Let s = h - -1. Let j(c) = 8*c - 5. Does 16 divide j(s)?
False
Let z = -5 - -6. Let j be 2 + (1 + -1)/z. Is 4 a factor of (j/4)/(1/12)?
False
Let d = 4 + -3. Let m(n) = -3*n**2 - n + 1. Let z be m(d). Is 11/(-3 + 2)*z a multiple of 15?
False
Let n = 102 - 74. Is n a multiple of 14?
True
Let s(z) = -29*z**3 + z**2 + 2*z. Let q(o) = 28*o**3 - o**2 - 3*o. Let g(a) = -3*q(a) - 4*s(a). Does 12 divide g(1)?
False
Let h = 18 + 98. Is 29 a factor of h?
True
Suppose 0*x = -x + 141. Is x a multiple of 26?
False
Is 26 a factor of 1*204/2 - -2?
True
Let z = 0 + 2. Let t be z/(-7) - 23/(-7). Suppose -2*d + 11 = t. Is d a multiple of 3?
False
Let i = 306 + -200. Does 12 divide i?
False
Let h(j) = j**3 + 7*j**2 - 7*j + 3. Is h(-7) a multiple of 13?
True
Suppose 0 = v + 11 - 23. Is v a multiple of 3?
True
Suppose -66 = 3*l - 5*l. Does 11 divide l?
True
Let y(v) = -v - 12. Let q be y(-12). Suppose 3*d + 15 - 57 = q. Does 14 divide d?
True
Let i(a) = 2*a**2 + 10*a - 4. Is i(-8) a multiple of 11?
True
Let v be (2 - (-3)/(-3))*12. Suppose 8*d = v*d - 80. Does 8 divide d?
False
Let u be 0 - -1 - (-1 + 0). Suppose -u*x = -x. Suppose x - 30 = -2*n. Is 9 a factor of n?
False
Let n = -5 - -5. Suppose 0 = -n*g - g + 1. Suppose 0 = b + 5*m - g, -4*b + m + 46 = 0. Does 7 divide b?
False
Let g(t) = t**2 + 9*t - 16. Does 12 divide g(-13)?
True
Is 6 a factor of 4/18 - 58*(-20)/45?
False
Suppose 25*k - 348 = 19*k. Does 13 divide k?
False
Let m be (-522)/8 - 1/(-4). Let h(u) = -13*u**3 - 2*u**2 + u - 1. Let o be h(-2). Let q = m + o. Does 16 divide q?
False
Suppose -2*d - n + 2 = n, -5*d - n - 11 = 0. Let h be -10 + (3*d)/(-3). Is 18 a factor of 2/h - 522/(-14)?
False
Is 13 a factor of 1824/54 - (-4)/18?
False
Suppose 2*q + 26 = 4*q. Suppose 10*w = q*w - 36. Does 12 divide w?
True
Let f = -57 - -94. Is f a multiple of 14?
False
Let x(y) be the third derivative of 17*y**5/60 - y**4/24 - 3*y**2. Is 6 a factor of x(-1)?
True
Let x be 5/(-2)*28/(-35). Suppose 0 = -x*r - 2*r + 28. Suppose -r = -4*j + 49. Is j a multiple of 4?
False
Suppose 6*y - 18 = -4*z + 3*y, -2*z = -3*y. Let n(o) = -o**z - o**2 + 2 - 3*o - 5 - 5*o**2. Does 15 divide n(-6)?
True
Suppose 64 - 8 = n. Is 17 a factor of n?
False
Let h be 16/(0 - 3/(-12)). Let f be (-261)/6 + 2/(-4). Let y = f + h. Does 10 divide y?
True
Let i = -2 - -34. Is i a multiple of 3?
False
Suppose -3*z + 162 = -0*z. Suppose -c = 2*c - z. Is c a multiple of 5?
False
Suppose 0 = -5*f + 193 + 142. Is f a multiple of 9?
False
Suppose -8*x = -4*x + 20. Let g(s) = -s + 4. Is 7 a factor of g(x)?
False
Suppose -2*s - 15 = -3*j, 43 = 3*j + 5*s + 7. Let t = 46 + j. Is 19 a factor of t?
False
Does 15 divide (18/(-6))/((-3)/121)?
False
Suppose -4*z - 3 = -3*z, 0 = -5*h + z - 272. Let l = 4 - h. Does 12 divide l?
False
Does 9 divide ((-28)/8 + 0)/(2/(-20))?
False
Let s(j) = 9*j + 8. Let q(n) = 3*n + 3. Let z(b) = -11*q(b) + 4*s(b). Does 3 divide z(2)?
False
Let d = 45 + 62. Let i = -46 + d. Does 13 divide i?
False
Suppose -m - 2*m + 21 = -p, -15 = -3*m. Let t(w) = 2*w**3 + 5*w - 3*w**2 - 2*w**2 - 3*w**3 + 6. Is t(p) a multiple of 12?
True
Is (-1 + 5)/((-4)/(-58)) a multiple of 27?
False
Suppose -16*c + 64 = -14*c. Is 16 a factor of c?
True
Let i be (-36)/(-27) + 4/6. Suppose i*n - 192 = -n. Does 16 divide n?
True
Does 11 divide (-3 + (1 - -3))*33?
True
Suppose 392 = 12*m - 8*m. Is m a multiple of 14?
True
Let r = -3 - -7. Does 2 divide r?
True
Let k(d) = 4*d. Let y(a) = 3*a - 1. Let j(q) = -5*k(q) + 6*y(q). Is 3 a factor of j(-8)?
False
Suppose -l - 88 = -2*l. Let j = l - 40. Is 13 a factor of j?
False
Let l(t) = -6*t**3 - 4*t**2 - t + 1. Does 13 divide l(-3)?
True
Suppose -3*z + 7 = -149. Suppose -4*g = -40 - z. Is 23 a factor of g?
True
Let j(w) = -2*w + 30. Does 16 divide j(-17)?
True
Suppose 3*u - 4*w - 24 = 0, -9 - 2 = -5*u - 3*w. Suppose -3*x = -f + 80, -146