 -11. Is 2 a factor of p?
False
Suppose 2*p - 8 = 2. Let k be p/(-15) - (-7)/3. Suppose k*s + 9 - 35 = 0. Is s a multiple of 12?
False
Suppose -q - 2*o = -3, -6*q + 3*o + 45 = -2*q. Let p = q + -15. Is -1 - (-18)/(p/(-3)) a multiple of 4?
True
Suppose q + 4*q + 2*f - 323 = 0, 3*q + 4*f - 191 = 0. Suppose m = -3*v + 5, -5*v + q = 2*m - 10*v. Let g = m + -9. Is g a multiple of 11?
True
Let b be (3/6)/(2/12). Suppose -4*d - b*j = -4, -d + 2 + 4 = 2*j. Is 6 a factor of d + 0 - (-18 - -4)?
True
Let v = 95 + -67. Let m = v - 9. Is m a multiple of 19?
True
Suppose -5*k + 0*k = 2*v + 54, 0 = 4*k - 2*v + 36. Let x = k + 6. Let m = x - -10. Is m a multiple of 3?
True
Suppose 5*w - 4*p = 5, 6*p = w + p + 20. Suppose 0 = -w*x + 151 - 26. Is 9 a factor of x?
False
Let u be (-16)/(-3)*(-24)/(-16). Let d(h) = h**2 - 8*h + 3. Does 3 divide d(u)?
True
Suppose -5*m + 23 = -4*m - 3*y, 4*m + 3*y - 47 = 0. Is 10 a factor of m?
False
Let w = 41 - 24. Suppose -2*l + 143 = -w. Suppose 2*o + 3*o - l = 0. Is 8 a factor of o?
True
Let u(s) = s**2 - 3. Let i be u(-6). Suppose -2*c + i = c. Let n = c - 1. Does 4 divide n?
False
Let g = 199 - 176. Is 4 a factor of g?
False
Let p(z) = 14*z. Let c be p(6). Suppose -m + 4 = 3*k - 1, 4*m - 4*k = c. Does 9 divide m?
False
Let i(j) be the second derivative of -j**4/24 + j**2/2 - j. Let z(g) be the first derivative of i(g). Is z(-2) even?
True
Suppose 0 = w + 3, -w - 36 = r - 4*r. Let j = r + 12. Does 9 divide j?
False
Let l(d) = -d**2 + 2*d + 3. Let c(q) = -4*q**2 + 7*q + 10. Let m(o) = -2*c(o) + 7*l(o). Is m(3) a multiple of 10?
True
Let p(v) = v**2 + 9*v + 33. Does 5 divide p(-11)?
True
Let m(i) = i**3 - 3*i**2 - 3*i + 2. Suppose -7 - 9 = -4*b. Let f be m(b). Suppose -2*j = -30 - f. Is j a multiple of 8?
False
Let g(v) = -4*v**2 - 6*v - 3. Let c(w) = w**2. Let j(b) = 5*c(b) + g(b). Let d be j(7). Suppose 0 = d*i - 11 - 121. Is 13 a factor of i?
False
Suppose 2*l = -4*y + 94, 5*l - 114 = 4*y + 191. Does 23 divide l?
False
Suppose -2*w = -z + 10, 0 = 2*z - 5*z - 2*w + 38. Suppose 5*c - 4*c = z. Suppose 63 = 3*s - c. Is 9 a factor of s?
False
Suppose 4*t - 5*a = -18, t - 3*a = -2*a - 4. Let u be 3*t/3*41. Let w = -57 - u. Is 9 a factor of w?
False
Let v = -30 + 50. Is v a multiple of 11?
False
Suppose 0 = 4*k - 12, -6*k + 2*k = -3*p + 24. Is 12 a factor of p?
True
Let w = 234 + -109. Does 25 divide w?
True
Suppose 4*b - 44 - 172 = 0. Is 18 a factor of b?
True
Let o be 28 + -3 - 2*1. Suppose a + 40 = 4*v, 4*a - 37 = -4*v + o. Is v a multiple of 11?
True
Suppose 3*m + 84 = -4*n, m = -4*n + 2*n - 42. Is 18/(-3)*n/2 a multiple of 21?
True
Does 34 divide 7680/28 + -2 + 2/(-7)?
True
Suppose -6*y + 146 + 46 = 0. Is 8 a factor of y?
True
Let w be 403/9 - (-8)/36. Suppose -5 = 5*j + w. Is (-4)/j + (-196)/(-10) a multiple of 10?
True
Suppose f - 6 = 9. Is ((-18)/f)/((-1)/25) a multiple of 15?
True
Let d = 55 - 50. Is d even?
False
Let q(s) = 8*s**2 + 5*s**2 - 7 - 7 + s**3 + 15*s. Is q(-11) a multiple of 21?
True
Suppose 0*x + 12 = -3*x, -5*x = -3*l + 125. Is l a multiple of 12?
False
Let f(c) = c**2 - 9*c - 3. Let z be f(10). Let b be (z - 7)*1/(-2). Suppose -3*n - 3*l = -72, 3*n - l = -b*l + 88. Does 14 divide n?
True
Let d(u) be the second derivative of -u**5/20 + 3*u**4/4 + 5*u**3/3 + 4*u**2 + 13*u. Let o(s) = 10*s**2 + s - 1. Let t be o(1). Is 5 a factor of d(t)?
False
Let n(o) = -o**3 - 13*o**2 - 13*o + 15. Suppose -3*x - 35 = 1. Does 11 divide n(x)?
False
Suppose 5*v = i + 13, 0 = 6*v - v + 3*i - 1. Suppose 3*n - v*n = 0. Let t = 45 - n. Is 15 a factor of t?
True
Let p(r) = -9*r - 6. Let w be p(-7). Does 20 divide (-5 + 4)/((-1)/w)?
False
Suppose 30 + 12 = 3*k. Does 10 divide k?
False
Is -2*865/(-10) + -2 a multiple of 19?
True
Let j = -5 - -8. Let k be (-78)/9*j/(-1). Suppose k = 2*d - 42. Is 9 a factor of d?
False
Let n = -326 + 460. Suppose -p = 3*f - 3*p - n, 0 = -2*f + p + 88. Is 19 a factor of f?
False
Does 5 divide (-3)/7 + 855/35?
False
Let r(p) = 26*p + 1. Let a(i) = -5*i. Let s(u) = 11*a(u) + 2*r(u). Is s(-5) a multiple of 9?
False
Suppose 3*o + 3 = 0, u + 3*o + 2 + 1 = 0. Let l(n) = -56*n**3 + n**2 - 1. Let p be l(-1). Suppose u*a = -4*a + p. Is 11 a factor of a?
False
Let w(u) = 7*u - 5. Let q = 7 - 5. Let l be ((-5)/2)/(q/(-4)). Is 12 a factor of w(l)?
False
Suppose -9*i + 424 = -332. Is 12 a factor of i?
True
Let c(p) = -9*p**3 - 2*p**2 - p. Let x be c(-1). Let j be ((-4)/6)/(x/(-36)). Is 2/j - (-22)/3 a multiple of 3?
False
Suppose 10 = -0*x - x. Let o(f) = -2*f - 7. Is 13 a factor of o(x)?
True
Let z = -15 + 36. Let x = z + -5. Suppose 3*s - o = 4*o + 25, -4*s - 2*o + x = 0. Is s a multiple of 5?
True
Let g(x) = -3*x + 48. Let l(b) = 2*b - 49. Let h(s) = -3*g(s) - 4*l(s). Is h(0) a multiple of 24?
False
Suppose 0 = 2*o + 98 - 28. Is 1 - (-2)/((-2)/o) a multiple of 12?
True
Let q = 0 + 5. Suppose q*k - 181 - 109 = 0. Is k a multiple of 29?
True
Suppose -5*c = -2*h, -c - 3*h = -2*c - 13. Suppose -3*j = -c*j + 4. Is (3 + -1)*(-14)/j a multiple of 6?
False
Suppose l + 3 = 2. Let r be 2/((2 + 0)*l). Does 13 divide r/5 + 141/5?
False
Let i(p) = -5*p - 6. Is 19 a factor of i(-13)?
False
Suppose 0 = -4*z - 1 + 13. Suppose 5*s + 5*b = 45, -z - 35 = -4*s - 2*b. Is s a multiple of 3?
False
Let j = 7 + -2. Suppose -j*z + 70 = 5*c, 4*z = -0*c - c + 23. Is 5 a factor of c?
False
Suppose 3*g = 2*w + 123, 2*g - 73 = -2*w - 1. Does 13 divide g?
True
Let o = -6 - -61. Is 13 a factor of o?
False
Let v = -68 + 98. Does 15 divide v?
True
Suppose p - 5*x + 25 = 0, 0*x + 5 = -3*p + x. Suppose p = -2*t + 4*t + 4*s + 16, 4*t + 32 = s. Is 15 a factor of (-74)/4*(-10 - t)?
False
Let x(r) = -4 - 3*r + 4*r + 0. Let l be x(5). Does 19 divide 43 + (2 - l)/1?
False
Let v be (-1 - -2)/(0 - 1). Let l = -3 - v. Let n(j) = -10*j - 3. Is n(l) a multiple of 14?
False
Suppose -5*d + 109 - 33 = 2*n, 103 = 3*n + 2*d. Does 22 divide n?
False
Let c = -83 - -163. Suppose u - c = 5*j - 2, u + 5*j = 88. Is 22 a factor of u?
False
Let m(g) = -6*g + 1. Let w(s) be the third derivative of -s**6/120 + 7*s**5/60 + s**4/24 - 3*s**3/2 - 2*s**2. Let t be w(7). Does 8 divide m(t)?
False
Let i be (-8)/(-3)*(-9)/(-6). Suppose 2*m - 2*s - 44 = 0, 23 = 2*m + i*s - 27. Does 23 divide m?
True
Let q = -1 + 19. Let u be q*(-5)/(45/(-6)). Suppose -4*c - u = -2*v, 5*v - c - 57 = -0. Is 4 a factor of v?
True
Suppose 5*i - 5*m + 4*m - 28 = 0, 12 = i + 3*m. Let c = -4 + i. Suppose 6*t = t - c*k + 64, -4*k + 44 = 3*t. Is 5 a factor of t?
False
Suppose -7*q + 266 = -0*q. Is 19 a factor of q?
True
Let v(m) = 7*m - 6. Suppose o - 11 + 2 = -3*c, 31 = 3*o + 5*c. Let p = -8 + o. Does 9 divide v(p)?
False
Suppose -2*x = -0*x. Suppose x*q - 2*q + 2*r = -118, q = 3*r + 61. Does 16 divide q?
False
Suppose -3*x = x + 4, 116 = 5*i - x. Is 23 a factor of i?
True
Let h = -85 - -60. Let t = 14 - h. Does 8 divide t?
False
Let p = -13 - -45. Does 16 divide p + 3 + 2 + -5?
True
Let x = 188 - 131. Does 8 divide x?
False
Let q be (2/8)/(4/16). Does 7 divide -3 + -10*(-2 + q)?
True
Let c be 4/(-10) + 24/10. Suppose 0 = -c*j + 5*j - 24. Suppose -u + j + 2 = 0. Is 6 a factor of u?
False
Let a(x) = -2*x. Let s(f) = 3*f - 1. Let o(c) = 4*a(c) + 3*s(c). Let b be o(2). Does 3 divide 4 + (b - 3/(-3))?
False
Suppose 4*u - 40 = 32. Let v be 3/18 - (-33)/u. Is 6 a factor of v/(-2) + (-7)/(-1)?
True
Let m(g) = -g**3 + 5*g**2 + 4*g - 6. Let o(w) = -w**2 - 5*w - 3*w - 9 + 2. Let c be o(-6). Is 7 a factor of m(c)?
True
Let p(i) = i - 7. Let c be p(8). Suppose -2*y - 7*o = -3*o - 18, y = 3*o - c. Let n = 9 + y. Does 11 divide n?
False
Let j(m) = m**3 - 5*m**2 - 9*m - 4. Is j(8) a multiple of 9?
False
Suppose -2*k + 5*k = n - 37, -3*k + 123 = 3*n. Suppose 0 = 4*l - 0*l - n. Let x = l + 0. Is 4 a factor of x?
False
Is 11 + -4*((-10)/(-8))/(-5) a multiple of 10?
False
Let j(k) = k**2 - 5*k - 9. Let p be j(7). Suppose 3*z = -2*i + i + 17, 4*i + p*z = 40. Suppose -1 = 2*w - 5*o - 0, w = i*o - 13. Is w a multiple of 12?
True
Suppose -5*x - 49 = -2*s - 6*x, 0 = -s - x + 22. Is s a multiple of 10?
False
Suppose -85 = 6*b - 193. Is 8 a factor of b?
False
Let d = -5 - -17. Let g = -9 + d. Suppose -z + 48 = g*z. Is 12 a factor of z?
True
Let c = -3 + 6. Suppose -2*t - 2*v + 50 = c*t, 5*t + v = 50. Does 5 divide t?
True
Suppose