p - 1. Let a(q) = q**2 - 4*q + 1. Let k(v) = 5*a(v) + 2*z(v). Is k(2) a multiple of 3?
True
Let j be (-7)/(-2) - 3/6. Suppose -j*f = -f - 34. Is f a multiple of 17?
True
Let j = -44 - -17. Let q = 7 - j. Is 17 a factor of q?
True
Let n be 15/(-5) + (59 - -1). Suppose 0 = -5*l + 3*l + w + n, 48 = 2*l + 2*w. Is l a multiple of 18?
False
Suppose 3*c = 5*c. Let t be 16 - -4 - (c + 1). Suppose -18 = -i + t. Does 13 divide i?
False
Let o = -7 - -9. Suppose -o*n + 8 = -0. Is 2 a factor of n?
True
Suppose -2*l + 195 = l - f, l + 5*f = 49. Is 8 a factor of l?
True
Let z(i) = -45*i**3 + 1. Let q = -6 + 5. Is 19 a factor of z(q)?
False
Suppose 3*k = 233 + 526. Is 28 a factor of k?
False
Let z(h) = -h**2 - 13*h - 10. Let k be z(-13). Let o = k + 15. Does 2 divide o?
False
Let r = 34 + -20. Suppose r = -3*j - 25. Does 5 divide 2/(-1) - (0 + j)?
False
Let n = 41 - 26. Is n a multiple of 5?
True
Does 12 divide 22 + (-1 - -1) + 16/8?
True
Suppose 5*l + n = 110, -l - 3*l + 88 = 4*n. Does 11 divide l?
True
Suppose -2*a - 3*a + 10 = -5*z, 5*a - 26 = -3*z. Suppose -5*q = -5*n - 22 - 43, 3*q = -a*n + 25. Suppose 2*g - q - 13 = 0. Is 12 a factor of g?
True
Let l be (4/3 - 1)*3. Let k(p) = 35*p**3 - 2*p**2 + 1. Let q be k(l). Suppose 4*a - 4 - 9 = -3*b, -4*b - 2*a + q = 0. Is b a multiple of 4?
False
Let g(d) = d**3 + 6*d**2 + 5*d + 2. Let m be g(-4). Suppose 3*h + m = 68. Is 9 a factor of h?
True
Let c(x) be the third derivative of 5*x**4/24 - 4*x**3/3 - 4*x**2. Is 5 a factor of c(3)?
False
Let j = -127 + 192. Suppose 0 = -3*q - 2*k - 4 + j, -2*q + 5*k + 66 = 0. Is q a multiple of 17?
False
Let d(b) = 49*b**2 - b + 1. Is 17 a factor of d(-1)?
True
Suppose 5*g + o - 93 = g, -4*o = 2*g - 64. Does 11 divide g?
True
Let h(b) = 5*b**2 + 1. Suppose -2*n + 5*w = -18, 4*n + 3*w - 62 + 26 = 0. Let t be 6/4*(-12)/n. Is 8 a factor of h(t)?
False
Suppose 0 = 5*w - 0*w + 5. Let g be (-3)/((0 - -1)/w). Is (-2)/(g/66*-1) a multiple of 16?
False
Does 10 divide (-1*(-40)/(-6))/((-5)/15)?
True
Is (3/(-2))/((-3)/28) a multiple of 7?
True
Suppose 4*n - 90 = -4*s + 3*n, -3*s = -n - 64. Is 22 a factor of s?
True
Suppose -5*d + 2*d + 12 = 0. Suppose d*r + 0*r = -v + 28, -r - 3 = 0. Is v a multiple of 21?
False
Let j(q) = q - q - 6*q - 4. Let x be j(-4). Let d = x - 12. Is d a multiple of 8?
True
Suppose -q = -4, 0*q - 60 = -2*x + 2*q. Suppose -j + 0*j = -x. Is 17 a factor of j?
True
Let d(m) = -2*m**3 + m**2. Let k be d(-1). Suppose 5*p = k*g - 15, 2*p + 4*g + 4 = -2. Does 16 divide (-3 - 0) + 22 + p?
True
Suppose -x + 41 + 37 = -g, 2*g - 136 = -2*x. Does 13 divide x?
False
Suppose -2*l + 45 + 0 = 3*r, 0 = 3*r + 3*l - 45. Is 8 a factor of r?
False
Suppose -2*d + 5 = -15. Let g = -4 + d. Does 3 divide g?
True
Suppose -t - x = -104, -39 - 73 = -t - 5*x. Is 15 a factor of t?
False
Let l be ((-18)/(-8))/(1/(-12)). Suppose 3*v + 3*x + 32 = -82, -x = -5*v - 196. Let i = l - v. Is 6 a factor of i?
True
Suppose 0 = -4*s + x - 4 + 16, -2*x - 10 = -s. Suppose 9 = s*g - 35. Does 22 divide g?
True
Let u(h) = 23*h**2 + 4*h + 3. Is u(-2) a multiple of 19?
False
Let x be 3/(-2)*(-45 - -1). Let w be 6/21 + x/14. Suppose w*a - 65 = 5*r, -3*a + 13 + 58 = 5*r. Is a a multiple of 13?
False
Suppose 2*s = -3*r + 61, 0*s + 2*s - 79 = 3*r. Is 16 a factor of s?
False
Let i(g) = 38*g**2 + g. Does 5 divide i(1)?
False
Let j(z) = -z**2 - 9*z + 1. Suppose 0 = 4*p - 15 + 3. Suppose -p*w + 2*k - 32 = -0*w, 56 = -5*w + 4*k. Is j(w) a multiple of 4?
False
Let o be 6*((-3)/6 - -1). Let s(f) = -13*f - 3. Let h be s(o). Is 14 a factor of ((-15)/6)/(3/h)?
False
Let k = -88 - -133. Does 14 divide k?
False
Let y(t) = 3*t - 9*t - 3*t + 2*t**2. Does 2 divide y(5)?
False
Suppose 0*r + 2*r = 3*z + 51, 18 = r + z. Does 21 divide r?
True
Let k be (-696)/(-27) + (-4)/(-18). Suppose 93 = 4*u - 3*o - k, -4*o - 52 = -2*u. Does 14 divide u?
False
Let v = 10 + -8. Is (4/2)/(v/8) a multiple of 8?
True
Let d(h) = -h**3 + 6*h**2 + 2*h - 5. Is d(5) a multiple of 15?
True
Let s(u) = -u**3 - 8*u**2 - 7*u + 4. Let h = 6 + -13. Let j be s(h). Let b(a) = a**2 - 3*a + 5. Is b(j) a multiple of 8?
False
Let p(a) = -a**3 + 7*a**2 + 8*a + 11. Let d be p(8). Let q(t) = -t**3 + 12*t**2 - 11*t + 7. Let w be q(d). Let j = 13 - w. Does 6 divide j?
True
Suppose 0 = -2*g + 5*p + 13, -5*g - 2*p + 0*p = 40. Let v(h) = -2*h - 8 + h - 3*h. Does 7 divide v(g)?
False
Let g(z) = -5*z**2 + z + 3*z**2 + 4*z**2 - 3*z**2. Let q be g(5). Is 242/8 - (-5)/q a multiple of 14?
False
Is (4 - (-6)/(-15))/(6/40) a multiple of 8?
True
Suppose 2*v - 5*j = 166, 1 = j - 1. Is v a multiple of 11?
True
Suppose 25 = -5*q + 65. Let c(y) = y**2 - 5*y - 10. Is 7 a factor of c(q)?
True
Is 30 a factor of (-1436)/(-16) - 1/(-4)?
True
Does 11 divide (102/(-8))/((-3)/8)?
False
Suppose 3*t = 6*t. Suppose 0*r - r = 2*k - 30, t = -3*r + 3*k + 135. Is r a multiple of 20?
True
Let g(r) = r**3 + 10*r**2 + 1. Let h be g(-10). Is ((-6)/(-15))/(h/45) a multiple of 5?
False
Let y(k) = -k**3 - 8*k**2 - 6*k + 1. Let s(t) = -t**3 - t**2 + t - 7. Let g be s(0). Let x be y(g). Is (65/(-2))/5*x a multiple of 13?
True
Let o(c) = 5*c**2 + 5*c + 2. Suppose -2*w = -0*w + 6. Is 18 a factor of o(w)?
False
Let b(h) = h**3 - 2*h**2 - 2*h. Let u be b(3). Suppose 0 = -0*y - 2*y + u*v + 129, 2*y - 119 = 5*v. Is 24 a factor of y?
True
Let j(l) = -l**3 - l**2 + l. Let k(c) = -c**3 - 8*c**2 - c + 2. Let f(g) = -2*j(g) + k(g). Is f(7) a multiple of 15?
True
Let j = -6 + 23. Let n = j + -1. Is 8 a factor of n?
True
Let u(x) = x**3 + 5*x**2 + 3*x. Let q be u(-4). Suppose 0 = b - 1, 2*g = q*g + 5*b - 191. Does 29 divide g?
False
Is 10 a factor of 4901/52 + 1/(-4)?
False
Is -12*((-13)/(-5))/(8/(-20)) a multiple of 16?
False
Let b = 85 + -73. Suppose 4*l + 57 - 9 = 0. Let t = b - l. Is t a multiple of 24?
True
Let a be (8/10)/((-5)/(-25)). Suppose -j + 3*m = -a*j + 15, 0 = -4*j - 5*m + 18. Does 2 divide j?
False
Does 24 divide 28/8*(-1 - -19)?
False
Let r(g) = 7*g + 3. Let n(h) = h**3 + 5*h**2 + 3*h - 1. Let k be n(-4). Does 7 divide r(k)?
False
Suppose -4*d = -5*w - 61, 5*d - 70 = 4*w + w. Is d a multiple of 9?
True
Let v = 17 - -45. Let w be -1 + (1 - 6)*5. Let z = w + v. Is 14 a factor of z?
False
Suppose -2*w = 2*c, 3*w - 5*c - 18 = 6. Let a(l) = 5*l**2 + 5*l - 4. Let o be a(w). Suppose 0 = -0*d - 4*d + o. Is d a multiple of 14?
True
Suppose j + 3*m + 0 = -2, 4*m + 1 = -3*j. Let i(c) be the first derivative of 11*c**3 - c**2 + c - 6. Is 16 a factor of i(j)?
True
Suppose -2*o = -x + 32, x + x + 4*o = 104. Is 21 a factor of x?
True
Suppose -6*x + 71 - 5 = 0. Suppose 10 = l - x. Does 7 divide l?
True
Let d(b) = b. Let n be d(4). Suppose g + 1 = 0, 5*g = -n*h + g + 80. Does 18 divide h?
False
Suppose -3*o + c = -3*c - 328, 5*o + 5*c = 570. Does 21 divide (-1)/3 - o/(-3)?
False
Let d = -5 + 9. Suppose d*a - 5*m - 82 = 0, 0*m - 2 = m. Suppose 2*q - a = 3*x, 4 = 2*x - 0. Is q a multiple of 4?
True
Suppose o = -3*o - 52. Let i = o + 29. Is i a multiple of 13?
False
Let f be -1*-13*(3 - 2). Let x = f + -9. Suppose 0 = 4*j - 8*j + x*n + 112, -4*j + 5*n = -114. Does 13 divide j?
True
Let n(f) be the third derivative of f**6/120 - f**5/12 - f**4/12 - f**3/3 + f**2. Let b be n(6). Suppose z + b = 2*z. Is z a multiple of 11?
True
Let b(z) be the first derivative of z**2/2 + 4*z + 4. Is 4 a factor of b(5)?
False
Suppose 19 = 2*d - c, 4*c = -4*d + 45 + 23. Let n = d - 8. Suppose n*i - i - 81 = 0. Is 13 a factor of i?
False
Suppose 26 = 5*s - 9. Let g(v) = -v**2 - 3*v + 2. Let j be g(-3). Let c = s - j. Is c a multiple of 3?
False
Let q = -12 + 20. Is 8 a factor of q?
True
Let w(k) = -k + 11. Is w(-7) a multiple of 9?
True
Let p = -5 - -9. Suppose 4*g + 3*c - 191 = -g, g = p*c + 52. Is g a multiple of 18?
False
Suppose 6*t = 3*t. Let i = t + 9. Is i a multiple of 9?
True
Let c(i) = i**2 - 2*i - 3. Let v be c(3). Suppose 3*n - 5*u - 116 = v, 6*n - n + 5*u - 220 = 0. Does 16 divide n?
False
Let z(l) = -l + 2. Let f be z(-6). Is 8 a factor of (-2)/f + (-452)/(-16)?
False
Let w = -77 + 131. Is w a multiple of 18?
True
Let j be (9/(-6))/((-1)/2). Let q(c) = 3*c**2 - 4*c + 1. Let s be q(j). Suppose -5*i - s = -106. Does 9 divide i?
True
Let b(g) = 13*g + 1. Is 40 a factor of b(3)?
True
Does 3 divide (9 - 10)/(1/(-15))?
True
Let l(f) be the 