Does 11 divide p?
True
Suppose -4*p = -3*m - 14 + 5, -5*m - 4*p = 15. Does 10 divide (m - (-68)/16)*8?
True
Let d(y) = 2*y**2 - 4*y - 1. Let r be d(5). Let x = r + -11. Is x a multiple of 6?
True
Let n(h) = -7 + 11 - 3*h + h. Is 12 a factor of n(-10)?
True
Suppose -p - z + 15 = 0, 2*p + 4*z = 9 + 11. Is 10 a factor of p/(-4*(-2)/12)?
True
Let r be 26*(-3 + (-5)/(-2)). Let s = r + 51. Does 14 divide s?
False
Let v(l) = l**3 + 5*l**2 + 4*l + 4. Let z be v(-4). Suppose b + g = 23, g = 5*b - z*g - 125. Is 13 a factor of b?
False
Suppose 0 = r + r - 20. Let f be ((-76)/10)/((-1)/(-10)). Does 19 divide 20/(-4)*f/r?
True
Let n(g) be the third derivative of g**6/120 - g**5/12 - 5*g**4/24 - g**3/3 - 3*g**2. Let r be n(6). Suppose 0 = -s + 2*s - r. Does 4 divide s?
True
Suppose -4*t = -8, 4*f - 730 = 4*t - 3*t. Let k = 259 - f. Is 34 a factor of k?
False
Let z(j) = 9*j**3 - 1. Let s = 8 + -7. Is z(s) a multiple of 4?
True
Let q = 48 + -38. Is 10 a factor of q?
True
Let c(b) = -5*b**3 + 2*b**2 + 2*b + 1. Let t be c(-1). Let z(j) = -j**3 + 5*j**2 + 7*j - 4. Let w be z(t). Suppose -45 = -w*n + 13. Does 11 divide n?
False
Is 22 a factor of ((-198)/(-27))/(4/66)?
False
Suppose 0 = 3*d - 60 + 3. Let g = 49 - d. Is 5 a factor of g?
True
Let u(n) = -3*n**2 + 11*n + 6. Let w(j) = -8*j**2 + 33*j + 18. Let k(z) = 11*u(z) - 4*w(z). Is k(-8) a multiple of 9?
True
Is ((-5)/(-4))/(13/52) a multiple of 2?
False
Suppose 5*c + 5*d = c + 229, -4*c - 2*d + 226 = 0. Is 28 a factor of c?
True
Suppose 4*b - g = 417, b - g = -0*g + 105. Let c = b - 70. Is c a multiple of 17?
True
Suppose -d - r = -155, 3*r + 6 = -0*r. Does 10 divide d?
False
Let u be -1 + 10 + (-8)/4. Suppose 2*n = -2*c, -4*c - 6 = -5*c + 2*n. Suppose h = c*h - u. Is 5 a factor of h?
False
Let l be 2/(-4)*(-3 - 1). Let w be (-5)/(1/(-12)*l). Suppose 2*a = -a + w. Does 5 divide a?
True
Let s(j) = 12*j**2 - 4*j + 2. Let i be s(2). Let h(m) = -m**2 + 7*m - 6. Let c be h(5). Suppose d = c*d - i. Is 7 a factor of d?
True
Let x(g) = -2*g + 3. Let v be 105/20 + 1/(-4). Let p be x(v). Let a(f) = f**2 + 5*f - 7. Does 5 divide a(p)?
False
Suppose 11*s - 12 = 7*s. Suppose -3*d - 3*g + 330 = 102, s*g - 153 = -2*d. Is d a multiple of 25?
True
Let d(v) = v + 1. Let j be d(5). Suppose -j*n - 52 = -2*n. Is 8 a factor of (n + 1)/((-4)/6)?
False
Let n = 97 + -16. Suppose -4*l + 0*i = -3*i - n, 0 = -2*l - 4*i + 24. Is l a multiple of 6?
True
Suppose -96 = -5*m + 34. Does 13 divide m?
True
Let k = -4 - -7. Suppose -k*m + 3 = -12. Suppose 28 = m*g - 212. Is g a multiple of 18?
False
Let w(u) = -u**2 - u. Let t be w(-2). Let r be 1/t + 4/8. Suppose 2*d - 6*d = p - 68, r = d + 4*p - 32. Is d a multiple of 10?
False
Suppose -10*f + 48 = -6*f. Is (7 - f)*(-41)/5 a multiple of 13?
False
Let n = -7 + 16. Is n a multiple of 3?
True
Is 3*(1 - 69/(-9)) a multiple of 13?
True
Suppose 5 = -4*v + 13. Suppose -v*p + 7 = -17. Does 6 divide p?
True
Is 16 a factor of (256/40)/((-4)/(-10))?
True
Let j be 1 + 0 - 26/2. Let m be ((-341)/(-33))/((-2)/(-12)). Let p = j + m. Does 17 divide p?
False
Suppose -4*g = -2*g - 3*o - 576, g - 288 = -2*o. Suppose -a + g = -3*a. Is 13 a factor of ((-3)/(-6))/((-4)/a)?
False
Let v(k) = k**3 - 5*k**2 + 5*k. Let h be v(4). Suppose 2*i - 259 = 5*d, i - h*i - d = -346. Suppose 3*s + i = 3*g, 40 + 105 = 5*g + 5*s. Does 17 divide g?
True
Suppose 2*h - h + 8 = -4*x, -h - 3 = -x. Let y be (x + (-15)/(-6))*22. Suppose 4*j - y = 19. Does 7 divide j?
False
Is 4 + 44 - (0 - 1) a multiple of 7?
True
Let l(b) = 23*b + 4. Is 32 a factor of l(4)?
True
Suppose -3*s - 4*m + 67 = 0, 5*s + 0*m = -5*m + 105. Is 8 a factor of s?
False
Suppose -3*s + 327 = -2*q - 2*q, -545 = -5*s - q. Does 14 divide s?
False
Let d = 10 - 4. Let r = d - 4. Is r even?
True
Let p(n) = -n. Is p(-9) a multiple of 9?
True
Let f be 3 + (6/(-3) - -2). Suppose 6*v - 1 = -f*o + v, -2 = 2*v. Is o even?
True
Suppose -2*r + 3*h = 4, 0*h + 12 = -4*r + 5*h. Let m be (-2)/r - 153/(-12). Suppose 4*y = 4*o + 76, -3*y + 4*o - m + 66 = 0. Does 10 divide y?
False
Suppose 0 = -2*u - 17 - 11. Let s be 1214/u + (-2)/7. Is 1/4 + s/(-4) a multiple of 13?
False
Let d(v) be the second derivative of v**4/12 + 2*v**3/3 + v**2 - 2*v. Let a be d(-4). Suppose -4*i - 2*n + 92 = 0, -3*i + a*i - n = -25. Does 15 divide i?
False
Let p be -2 - -1 - 3/(-3). Let h be ((-11)/2)/(2/(-4)). Suppose p*g = g - h. Is g a multiple of 7?
False
Let w(s) be the second derivative of 11*s**4/12 - s**3/6 + s**2 + 8*s. Is 16 a factor of w(-2)?
True
Suppose -m - 44 = 3*m. Let u = -9 - m. Suppose -n + u*n - 16 = 0. Is n a multiple of 8?
True
Suppose -z + 4*b = 3, -2*z + 18 = -0*z - 2*b. Suppose -5*c + 37 + z = 0. Does 5 divide c?
True
Suppose 0 = -3*f + 2*u + 222 + 92, 0 = -4*u - 4. Does 8 divide f?
True
Suppose y + 14 = 2*q - y, 0 = -2*q + y + 9. Is 6 a factor of (51 - 9)/(4/q)?
False
Let d(n) = 10*n**2 - n**3 + 2 - 5*n - 3*n**2 + 0*n**3 - 9. Is 9 a factor of d(5)?
True
Let w be 16/(-28)*14/(-4). Suppose -o = w*o - 39. Is o a multiple of 13?
True
Let i(m) = -m**2 - 6*m + 3. Let f = 3 + -1. Suppose 8 = -2*c + 4*x, -f*c = 3*c + 3*x + 33. Is 2 a factor of i(c)?
False
Let m(z) = -1 - z**2 - 8*z + 1 - 2. Let w be m(-8). Is (-50)/(-2)*w/(-5) a multiple of 5?
True
Suppose 0 = -3*b - 2*b + j + 107, 4*b - 78 = -3*j. Is 7 a factor of b?
True
Let u(l) = 4*l**2 - l + 1. Is u(4) a multiple of 12?
False
Suppose 0 = 5*l - 9*l + 260. Does 13 divide l?
True
Suppose 0 = 4*i - 14 + 6. Suppose -2*l - 3*t = -156, 5*l + i*t = -3*t + 395. Suppose 5*x = -5*j + 185, 3*j - l = j + 5*x. Is j a multiple of 11?
False
Let p be 206/(-6)*6/(-2). Let b = p + -73. Is 15 a factor of b?
True
Suppose 2*b = 5*b - 327. Suppose 2*i - 106 = 4*h, 0 = -2*i - 2*h + 3*h + b. Is 11 a factor of i?
True
Is 12 a factor of 1165/25 + 4/10?
False
Let p(i) = -i**2 - 15*i + 46. Does 10 divide p(-14)?
True
Let a = -31 + 73. Does 10 divide a?
False
Suppose -139 = -3*t - 25. Is t a multiple of 19?
True
Suppose 0 = 4*m - 29 - 115. Does 7 divide m?
False
Let n = 73 - 29. Is 31 a factor of n?
False
Is 5/10 + 74/4 a multiple of 10?
False
Suppose -3*a - 2 = -8. Let l be ((-2)/(-3))/(a/(-102)). Let w = l + 62. Does 14 divide w?
True
Let r = 14 + -10. Suppose 3*y = -0*y - 5*l + 75, -28 = -2*y + r*l. Does 2 divide (3/4)/(5/y)?
False
Suppose -2*v = -0*v - 30. Let p = v - 7. Is p a multiple of 4?
True
Let m = 1 + 0. Let f be (m + -2)*(-14)/(-1). Let d = 16 - f. Does 15 divide d?
True
Let n = 89 + -43. Is 23 a factor of n?
True
Let k(s) = 44*s**3 - s**2 - s. Let h be k(-1). Let d = h + 83. Suppose 3*j - 5*w - d - 24 = 0, 84 = 4*j - w. Is j a multiple of 21?
True
Let c(i) = -i**3 + 2*i**2 + 4*i + 98. Is 14 a factor of c(0)?
True
Let p = -113 - -163. Is p a multiple of 23?
False
Let o(k) = k**2 + 4*k - 3. Let v be o(-5). Suppose 3 = -c - v*c, 2*c + 110 = 4*x. Is 11 a factor of x?
False
Let p(a) = a**2 - 5*a + 2. Let i be p(6). Let g(w) = -w + 4. Let t be g(i). Is (t + 0)/((-1)/12) a multiple of 24?
True
Suppose z = -3*d + 3, 0 = 2*z + 4*d - 9*d - 6. Is z a multiple of 3?
True
Suppose 8*g + 28 = 12*g. Is 3 a factor of g?
False
Suppose 4*l - 3*l = 4. Does 17 divide (-254)/(-4) - l/(-8)?
False
Let i(h) = -4*h**2 + 1. Let x be i(1). Let y(o) = -3*o - 4. Let b be y(x). Suppose -4*p + 65 = 5*w, -b*w = -0*p + p - 20. Does 15 divide p?
True
Suppose m - 375 = -5*b + 3*m, 3*b - 4*m = 211. Is 18 a factor of ((-16)/14 - -2)*b?
False
Let u(c) = c. Let k(l) be the second derivative of -l**5/20 + 3*l**4/4 + 2*l**3/3 - 2*l**2 - 2*l. Let y(g) = -k(g) + 4*u(g). Is y(9) a multiple of 2?
True
Suppose 16 = i - 5*m, 2*i + m - 44 = 5*m. Is 10 a factor of i?
False
Suppose -5*x + 150 = -2*x. Is x a multiple of 13?
False
Let v(i) = 2 - i**2 - i - 10 - 9*i + 0*i**2. Is 16 a factor of v(-6)?
True
Let z be 24/(-9) + (-2)/(-3). Let p be (0 - 0)/(z/(-1)). Suppose o = 29 - p. Is o a multiple of 17?
False
Let v be ((-42)/(-9))/((-2)/6). Let a = 28 + v. Does 7 divide a?
True
Suppose -2*z + 2*b = -282, 0 = 2*z - 7*z - b + 717. Does 11 divide z?
True
Let f(g) = 4*g**2 + 6*g + 4. Let l be f(-6). Suppose 0*w - 4*w = -l. Is w a multiple of 9?
False
Does 5 divide (-8)/(4/(-1)) + 13?
True
Suppose -5*o + 2*p + 247 = -0*o, p - 244 = -5*o. Does 30 divide o?
False
Is 16 a factor of -3*141/(-9)*1?
False
Suppose -4*b