(-15)/(-6). Let d(p) = -p**3 + 9*p**2 + p - 6. Does 2 divide d(o)?
False
Let t(h) = -h - 1. Let f be t(-2). Let y(g) = -2*g**2 + 52*g - 45. Let c be y(25). Does 6 divide f + (c - 2 - -2)?
True
Suppose -3*d + 3 + 3 = 0. Does 5 divide 0/d - (-9 - 3)?
False
Is (-14)/(-77) - 4053/(-33) a multiple of 10?
False
Suppose 5*z - 142 - 8 = 0. Is z a multiple of 6?
True
Let b(t) be the second derivative of t + 0 + 5/12*t**4 + 1/20*t**5 - 1/6*t**3 - 1/2*t**2. Is b(-4) a multiple of 11?
False
Suppose -2*z + 33 = -7. Suppose 2*r = -5*d + 59 + z, -3*r + 99 = d. Is r a multiple of 8?
True
Let r(z) = 3*z**2 + 22*z + 27. Is r(-8) a multiple of 11?
False
Suppose 4*h - 10 = 6. Suppose 0 = -h*b - 117 + 433. Does 25 divide b?
False
Suppose 5*x - 5 = -3*m, -5*x + 2 = m - 3. Is 4 a factor of 4/((-8)/(-14))*x?
False
Suppose 4*r = 3*m - 38, -m + 0*m + 18 = -4*r. Is m a multiple of 5?
True
Let c(l) = l**3 - l**2 - 3*l. Let j be c(3). Let m = j - 5. Suppose m*w - 2*w - 62 = 0. Is 10 a factor of w?
False
Suppose -4*g = 23 + 25. Let o = -72 - g. Does 9 divide ((-2)/(-5))/((-2)/o)?
False
Suppose 0*n + 12 = 4*n. Suppose 4*j = -j + 2*q - 7, -3*q - 3 = -n*j. Is (j/9)/((-2)/30) even?
False
Let v = 60 - 41. Let b = v + -11. Is 8 a factor of b?
True
Let o be 10/(0/4 - 2). Let y(u) = -u**2 - 10*u - 3. Is 11 a factor of y(o)?
True
Suppose 4*a - 35 = -h - 0*h, 3*h = 5*a + 37. Does 19 divide h?
True
Let z be 2/(-7) + (-60)/(-14). Suppose 0 = -5*b - z*a + 37, 3*b = -5*a + 23 + 7. Suppose -3*n = 4*v - 4 - b, 0 = 4*n - 3*v - 12. Is 3 a factor of n?
True
Let h = 101 - -33. Is h a multiple of 37?
False
Does 19 divide 8 + -5 - 48*-1?
False
Let y = 3 - 1. Is 7 a factor of 26*(y/4)/1?
False
Let u(f) = f**3 - 9*f**2 + 2*f - 8. Suppose -21 = -4*z + 15. Is u(z) a multiple of 4?
False
Suppose b = -4*b + 80. Is b a multiple of 10?
False
Suppose 0 = a - 6*a + 215. Is 14 a factor of a?
False
Suppose -5*n - 4*f - 2 = 0, -f = 3*n - 2*f + 8. Let b be ((-12)/8)/(n/4). Suppose b*g = 6*g - 24. Is 7 a factor of g?
False
Suppose 3*v + 12 = -0*o + 3*o, -2*v = 2*o - 4. Suppose -6*s = 2*l - 7*s - 91, 0 = l - o*s - 58. Is 13 a factor of l?
False
Let t = -8 - -36. Is 10 a factor of t?
False
Is 17 a factor of (-8)/28 - 1623/(-21)?
False
Suppose 4*p - 9 = p. Suppose -d - 4*d + 580 = -5*g, -p*g - 116 = -d. Suppose 4*n - 116 = 5*w, -4*n + d = w - 0*w. Is 24 a factor of n?
False
Suppose -2*i - 4*n = 4, 25 = -2*i + n + 2*n. Let r = -8 - -5. Does 11 divide i/r*42/4?
False
Let j = -2 + 2. Does 3 divide (j - (1 - 0))*-7?
False
Suppose 0 = -2*x + m + 7, m + 0*m + 2 = -3*x. Let o be 1/x + (2 - 4). Is 8 a factor of 9 + -3 + 3 + o?
True
Suppose -t + 0*t = -5. Suppose t*y = 13 - 3. Suppose 15 = 2*h + 3*n, 4*h - 21 - 1 = y*n. Is h a multiple of 3?
True
Suppose -615 = -5*h + 5*z, 0*z - 5*z + 345 = 3*h. Is h a multiple of 15?
True
Let r = -2 + 7. Suppose 6*i + 4 = -u + i, 26 = r*u + 2*i. Is 4 a factor of u?
False
Let n = -50 + 107. Does 12 divide n?
False
Let h(s) = 9*s**3 + 19*s**2 - 5*s + 3. Let g(y) = -4*y**3 - 9*y**2 + 2*y - 1. Let m(t) = -13*g(t) - 6*h(t). Let p be m(4). Does 3 divide p/(-15) - (-4)/10?
False
Suppose 5*i + 3*a = 2*a + 57, i - 5*a = 1. Let x = -15 + i. Does 5 divide (-11 + 1)*x/8?
True
Suppose -5*p + 25 + 175 = 0. Suppose -p = -7*s + 2*s. Does 8 divide s?
True
Does 11 divide (-115)/10*(-3 + -3)?
False
Let m(i) be the second derivative of -i**3/6 + 5*i**2 + 2*i. Let h be m(5). Suppose 5*y = d + 36, -6 + 66 = 5*y + h*d. Does 8 divide y?
True
Let j(g) = 3*g**3 - 10*g**2 + 11*g + 8. Let s(q) = q**3 - 5*q**2 + 5*q + 4. Let u(x) = 2*j(x) - 5*s(x). Is u(-5) a multiple of 5?
False
Suppose 0 = 3*l + k - 14, -4*l - 3 = -4*k + k. Suppose -x - 4 = -l*x. Let f(b) = 4*b**2 + 2*b - 3. Does 10 divide f(x)?
False
Suppose 0 = -h + 5*k + 133, -4*h - k - 4*k = -407. Is h a multiple of 43?
False
Let i = -11 - -28. Let l = 23 - i. Is l a multiple of 6?
True
Let r(i) be the first derivative of -i**4/4 + i**3/3 - i**2/2 + 6*i + 6. Let x be (-2 + (4 - 2))/1. Is r(x) a multiple of 4?
False
Let l = 9 + -7. Is -3 + 47 + l + 0 a multiple of 12?
False
Suppose i + 10 = -i. Let v = i - 25. Does 13 divide -1 + (v/(-1))/2?
False
Let j = 11 - 5. Suppose 0 = -3*x + j*x - 6. Suppose 6 = -0*n + 2*n, -5*n + 43 = x*s. Is s a multiple of 14?
True
Suppose -86 = -3*y + 2*y. Suppose -2*x - y = -4*n, -80 = -4*n + 2*x - 6*x. Does 6 divide n?
False
Suppose 0 = -3*m + 5*m - 126. Suppose 2*c - n - 91 = -16, -2*c + m = -5*n. Is c a multiple of 11?
False
Let w = -20 - -38. Is 18 a factor of w?
True
Suppose 131 - 39 = 2*i. Suppose -2*t - o = -34, -2*t + 3*o + i = -2*o. Is 14 a factor of t?
False
Suppose 2*l - 5*t + 0*t = 95, l - 40 = -5*t. Is 15 a factor of l?
True
Let q be ((-60)/(-18))/((-2)/(-39)). Suppose -10 = r - q. Is 11 a factor of r?
True
Let a = -15 - -19. Suppose -a*o - 27 = -7*o. Is 9 a factor of o?
True
Let m(l) = l**3 - l**2 - 2*l + 148. Does 26 divide m(0)?
False
Suppose -2*k - k = -18. Suppose i - k*i = -145. Is i a multiple of 16?
False
Let b(i) = -i**2 - 12*i - 1. Let n be b(-8). Suppose -j - 2 = -n. Is j a multiple of 13?
False
Let w = 5 + -7. Let k be 2/(-4) - 35/w. Suppose 0 = 2*f - k - 43. Is 13 a factor of f?
False
Suppose 0 = 9*b - 14*b + 130. Does 8 divide b?
False
Suppose g - 5 = -0, 3*g + 246 = 3*t. Does 29 divide t?
True
Suppose 3*b + 2*b = 340. Does 21 divide b?
False
Let s = -66 - -116. Is 10 a factor of s?
True
Let l(k) = -k**2 + 16*k - 10. Let j(v) = v + 6. Let n be j(6). Does 19 divide l(n)?
True
Let u(h) = h**3 + 9*h**2 + 8*h + 2. Let x be u(-8). Suppose -4*z + 3*q = z - 26, -3*q - 14 = -x*z. Suppose 0 = z*y - 82 - 30. Is y a multiple of 14?
True
Let y = -53 - -26. Let r = -52 - y. Let p = r - -44. Is 19 a factor of p?
True
Let n(t) = 13*t - 15. Let d(h) = -4*h + 5. Let z(p) = -7*d(p) - 2*n(p). Let j be z(4). Suppose -2 - 7 = -j*s. Is 2 a factor of s?
False
Suppose 0*p = 3*p + 3*n - 366, n = 2*p - 238. Does 24 divide p?
True
Suppose l = -0*l + 47. Is l a multiple of 35?
False
Let k(r) be the second derivative of -5*r**3/6 - 5*r**2/2 + 4*r. Suppose 22 = -2*o + 8. Is k(o) a multiple of 10?
True
Is 3 a factor of -3 - (-13 - -1 - 0)?
True
Let u be 4/(2/(-35)*-5). Does 20 divide 4/u + 552/28?
True
Suppose 0*v = 4*v + 44. Let m = -1 - v. Does 10 divide m?
True
Let t(n) = -n**2 + 12*n. Is 11 a factor of t(11)?
True
Let f(g) be the second derivative of g**3/2 - 3*g**2 + 5*g. Does 3 divide f(5)?
True
Let d(m) = 6*m**2 + 2*m - 1. Let f be (2 + -1)/(3/6). Is d(f) a multiple of 27?
True
Let s = 37 + -64. Does 6 divide s*(3 + 30/(-9))?
False
Let b be (3 - (-4 - 8*-1))/1. Let c(v) be the third derivative of -11*v**4/24 + v**3/6 - v**2. Is 4 a factor of c(b)?
True
Let j = 104 - 80. Is 4 a factor of j?
True
Suppose -86 = -4*h + 106. Does 12 divide h?
True
Let o = -31 + 11. Let y = -8 - o. Suppose -3*t + y = -12. Is 7 a factor of t?
False
Let q(h) = -2*h**3 - 7*h**2 + 14*h + 46. Does 21 divide q(-6)?
False
Let j be 4 - 2 - 4*-1. Let b = j + -1. Is (-3)/((-6)/b + 1) a multiple of 11?
False
Let d(a) = 35*a - 5. Let o be d(4). Suppose -4*s + s + o = 0. Does 15 divide s?
True
Suppose 0 = -o - t - 0 + 7, -t - 2 = 0. Does 3 divide o?
True
Let t = -154 - -276. Suppose -3*i - 3*d - 14 = -t, 5*d = 5*i - 210. Is 10 a factor of i?
False
Let p = 11 + -19. Let n = p - -21. Is n a multiple of 6?
False
Let n = 8 - 6. Suppose 2*h - 4*l = 12, 0 = n*h + 2*h + 3*l - 35. Is h a multiple of 8?
True
Let p = 137 + -56. Is 13 a factor of p?
False
Let b = 4 - -1. Suppose -a - 48 = -b*a. Does 6 divide a?
True
Let p(n) = n**2 - 7*n + 5. Let j be p(6). Suppose b + 4*b - 170 = 0. Let k = b + j. Is k a multiple of 11?
True
Let f(b) be the first derivative of b**4/4 - b**3 - b**2/2 - 4*b - 3. Let a be 5/1 - (-1)/(-1). Is f(a) a multiple of 3?
False
Suppose 0 = 5*m + 25, r + m = -0*r + 3. Suppose 3*a + 124 = -3*l + r*l, -35 = -l + 4*a. Is 17 a factor of l?
False
Let f(z) = 8*z**3 + 2*z**2 - 2*z + 1. Does 4 divide f(1)?
False
Let l = -363 - -553. Suppose -5*i = -l + 40. Does 15 divide i?
True
Let l(v) = -v**3 - 7*v**2 - 11*v + 2. Let o(b) = -4*b**3 - 27*b**2 - 45*b + 8. Let x(y) = 9*l(y) - 2*o(y). Let u be 0 + -2*5 + 2. Is 10 a factor of x(u)?
True
Suppose 0 = -5*n - z - 25, 2*n + 2*z + 8 + 10 = 0. Suppose 0*q = -3*q - 90. Is 14 a factor of -6*n/q*-35?
True
Let v = 11 -