 d(p) = -p**2 + 6*p + 3. Let b be d(6). Let x(v) = -12*v**2 + 12*v + 4. Let y(q) = -5*q**2 + 5*q + 2. Let a(h) = -4*x(h) + 9*y(h). Is a(b) a multiple of 5?
True
Let k(i) = -10*i**3 + 7*i**2 - 24*i - 108. Does 12 divide k(-6)?
True
Suppose 3*m = 3*y - 0*m + 12, 0 = -2*y - m + 1. Let f be (-14)/(196/(-21))*(-32)/(-6). Is 3 a factor of (-11)/y - f/4?
True
Let h be ((-91)/(-14))/((-1)/(-2)). Let a = 13 - h. Suppose 4*k + 70 = 2*p - 4, -p - 4*k + 25 = a. Does 12 divide p?
False
Let p(t) = 12 - t**2 + 8*t + 11*t - 15*t + t. Is 6 a factor of p(6)?
True
Let n(r) = 3*r - 3. Let d be n(4). Let h(a) = 3*a**2 - 4*a - 9. Let t be h(d). Is t/(-27)*(-6)/4 a multiple of 4?
False
Let g(b) = b**3 + 7*b**2 - b - 3. Let z be g(-7). Suppose -9*x + 80 = -z*x. Is 6 a factor of x?
False
Let n be (-2 + 1)/((-1)/2). Let q be (-145)/11 - n/(-11). Let x = 4 - q. Is 9 a factor of x?
False
Let v(d) = 8*d**2 + 3*d**2 + 10*d**2 + 1. Let l be v(1). Is 11 a factor of l/(-4)*(0 + -2)?
True
Suppose -2*n - 2*n = -v + 512, 2*v = 2*n + 256. Let p = n - -294. Is p a multiple of 30?
False
Let v(r) = -r**3 + 4*r**2 - 2*r - 4. Let b be (-6 + 1)*6/(-10). Let c be v(b). Is 19 a factor of (78/9)/(c/(-3))?
False
Let b(m) = m**2 - 7*m - 4. Let q be b(10). Let r = q + -2. Does 24 divide r?
True
Suppose 0 = 2*p - p - 4*j + 5, 5*p + 5*j - 25 = 0. Suppose 2*a = u + 4*a - 33, -u = -p*a - 18. Let m = 58 - u. Is m a multiple of 11?
False
Suppose 8*f - 32 = -0*f. Suppose o + f*o - 390 = 0. Is 13 a factor of o?
True
Let o be (-1 + 2)/(-1)*2/(-1). Suppose -43 = -o*y + 87. Is y a multiple of 13?
True
Suppose 77*h - 16*h - 46360 = 0. Is 10 a factor of h?
True
Let c = 61 + -56. Suppose 474 = c*w - 4*g, 84 = 2*w - 5*g - 109. Is w a multiple of 27?
False
Suppose 9*d - 16*d = -2541. Suppose 0 = 9*x - 6*x - d. Is x a multiple of 24?
False
Let r(a) = a - 23. Let p be r(18). Let k(z) = -79*z - 3. Let o be k(p). Suppose -4*y + 0*y = -4*q + o, 5*y - 440 = -5*q. Does 39 divide q?
False
Suppose 3*w - 189 = -2*i + 1813, 0 = -4*w - 3*i + 2671. Does 64 divide w?
False
Let p = 873 - 516. Does 21 divide p?
True
Suppose -r - 8 = -0. Let p be (12/(-8))/(6/r). Is 9 a factor of (-1 - -3 - p) + 18?
True
Let x = 179 + -126. Let i = 95 - x. Does 5 divide i?
False
Is -1*(315/20)/(1/(-48)) a multiple of 28?
True
Let o = -2 - -8. Let q be 2/o + (-1)/3. Suppose -2*p = 3*x - 11, 4*x + p = -q*x + 18. Is 4 a factor of x?
False
Suppose 5*n + 4*v = 195, -v - 163 = -4*n - 28. Let q = n - 30. Is 4 a factor of q?
False
Let c = 157 - 276. Let t(o) = -20*o**2 + 3*o + 3. Let p be t(-2). Let x = p - c. Is 9 a factor of x?
True
Suppose -5*p + 1029 = 419. Is 11 a factor of p?
False
Let o(u) be the second derivative of -u**5/20 + u**4/12 + 7*u**2 - 7*u. Does 14 divide o(0)?
True
Suppose 25*t - 23*t - 4 = 0. Suppose 111 = m - 3*n, 3*m = -t*m + 3*n + 555. Does 14 divide m?
False
Suppose 3*p + 26 = 35. Suppose -4*l + 0*l + 112 = p*g, 5 = 5*l. Does 18 divide g?
True
Is (78/4)/((-5)/(-280)*12) a multiple of 2?
False
Let g = 1239 + 1119. Is g a multiple of 109?
False
Suppose 2*t = -0*t + 62. Let b = 53 - t. Is 11 a factor of b?
True
Suppose 3*l = 0, -4*k = 5*l - 10*l - 8. Suppose j = 5*c + k, -5*j + 56 = -5*c + 3*c. Is j a multiple of 2?
True
Let q(g) = 5*g - 30. Let z = 33 + -19. Does 20 divide q(z)?
True
Let s(m) be the third derivative of 13*m**6/120 - m**4/24 + 8*m**2. Is 16 a factor of s(2)?
False
Let b be 0 - -20 - 18/6. Suppose -b + 65 = y. Does 8 divide y?
True
Let u be 2 - (5 - 4 - -1). Suppose -3*a + 0 + 42 = u. Is a even?
True
Does 56 divide 1/(-2) + (11 - (-8190)/20)?
False
Let r(q) = 209*q + 998. Does 27 divide r(6)?
False
Suppose 2*f = f + 49. Suppose -23 - f = -3*k. Does 8 divide k?
True
Suppose 36 = 3*j + 6. Suppose -3*u + 8 = 5*r, 6 = -r - 5*u - j. Suppose 4*y - 5*q = y + 219, -5*q + 327 = r*y. Does 26 divide y?
True
Let x = 35 - 19. Is x*(4 - (2 + -1)) a multiple of 7?
False
Suppose -4*q + 1625 = -5*x, 2*x - 420 = -q + 6*x. Does 40 divide q?
True
Suppose 4*z + 2 = -14, 4*z + 11 = o. Let n = o - -35. Is 10 a factor of n?
True
Let y(q) = -3*q**3 - q**2. Let s(j) = -2*j**2 + 2*j + 2. Let g be s(-1). Let t be y(g). Suppose 4*f = -0*f + 3*l + 19, 2*l = -2*f + t. Is f a multiple of 7?
True
Suppose -2 = -2*p + 4. Let x(k) = 3*k**2 - 8. Let w(m) = 8*m**2 - m - 23. Let g(z) = -6*w(z) + 17*x(z). Is 8 a factor of g(p)?
False
Let c = 903 + -639. Let g = 517 - c. Is 11 a factor of g?
True
Let a = 74 + -70. Suppose -52 = -3*g + 2*g - 4*m, 5*g = -a*m + 308. Is 10 a factor of g?
False
Suppose -3*l - 4 = 4*v, 3*l = -6*v + 8*v + 20. Let c = 65 - v. Is c a multiple of 28?
False
Let h be 2 + 0/(-2 + -1). Let a(v) = 3 + v**2 - 8*v + 8 + h*v. Does 9 divide a(8)?
True
Suppose 9*o - 33149 - 1726 = 0. Is 125 a factor of o?
True
Let w = 14 + -15. Let k be (17 + -12)/(w + 2). Suppose -3*b - 88 = -4*l, l - b + k*b - 3 = 0. Does 9 divide l?
False
Let u be 2/6 + (-128)/(-12). Let b = 15 + u. Suppose c + 7 = -w + b, 3*c = w + 37. Does 14 divide c?
True
Suppose t + 1428 = 3*t. Suppose 4*o - x - 706 = 0, -4*o + 0*x + 5*x + t = 0. Suppose o = 24*l - 20*l. Is l a multiple of 11?
True
Suppose -3*t - 3*y = -61 - 125, 0 = t + 3*y - 66. Let w = t + 102. Does 18 divide w?
True
Let w be 6/(-5)*(-3 + (-59)/(-3)). Let u = w + 71. Is u a multiple of 5?
False
Let x(s) = s**3 - s + 3. Suppose 2*i = -5*d - 5, -4*d - 2 = i - 2*d. Let o be x(i). Suppose 5*m = o*n - 14 - 41, 4*m - 7 = -n. Does 9 divide n?
False
Suppose 4*w + 4*o - 22132 = 0, 366*w - 367*w = 3*o - 5525. Is 20 a factor of w?
False
Let b(t) = -t**2 + 5*t - 2. Let f be b(4). Suppose 0 = -y - f*y. Suppose 5*m - 4*u - 124 = 0, y = 2*m + 4*u - 0*u - 44. Does 7 divide m?
False
Let b be ((-198)/8 - 0)/(8/128). Let f = -275 - b. Does 11 divide f?
True
Suppose -22*y + 25 = -17*y. Suppose 0 = y*a - 13 - 122. Is 10 a factor of a?
False
Let k(x) = -x**3 + 8*x**2 - x + 3. Let b be k(7). Let m(a) = 13*a + 4. Let o be m(-2). Let y = b + o. Does 7 divide y?
False
Let g be (-8)/(168/(-99)) - 6/(-21). Suppose -g*v + 178 = 2*l, -2*v = 2*v - 8. Is l a multiple of 12?
True
Does 34 divide (-4 - (-4 - 546)) + -2?
True
Let w be (4/(-5))/(5/200). Let n = -24 + w. Is 22 a factor of -1*(n + (-2 - -5))?
False
Let l = -6 - -29. Suppose 0 = l*k - 18*k - 25. Suppose 3*s + s = 4*i + 364, 0 = k*s + 5*i - 405. Is 11 a factor of s?
False
Let o(w) = -3*w**3 - 4*w**2 - 3*w - 2. Let p be o(-3). Let r = -29 + p. Suppose 17*m = 18*m - r. Is m a multiple of 5?
False
Let h = -348 - -453. Let u = -21 - 54. Let a = u + h. Is 10 a factor of a?
True
Let u = -130 + 197. Suppose 0 = -3*c - 4*f + 93, 2*c + f - u = -0*f. Suppose -c = -0*a - 5*a. Is 4 a factor of a?
False
Suppose -22*v + 4552 + 15468 = 0. Is v a multiple of 7?
True
Suppose 0 = 4*k + 2 - 18. Let y be 2/(k - 11/3). Suppose -y*w + w + 100 = 0. Does 13 divide w?
False
Let o(z) be the third derivative of z**6/40 - z**5/12 - z**4/24 - 4*z**3/3 - 71*z**2 + 1. Suppose 2*q + 0*q - 8 = 0. Is o(q) a multiple of 20?
True
Suppose 0 = 4*l + 10 + 2. Let a be l/1 + (-3 - -34). Suppose -a = -5*g + 52. Does 13 divide g?
False
Let m = -28 - 145. Let f = -121 - m. Is f a multiple of 14?
False
Suppose 4*b + 2268 = 16*b. Does 9 divide b?
True
Let w be (1 - 2)/(0 - 1). Is w - 1233/(-15) - 12/(-15) a multiple of 12?
True
Let u(t) = -t**3 + 5*t**2 + 2*t - 1. Let l be ((-10)/(-8))/5 + (-38)/(-8). Does 8 divide u(l)?
False
Let c = -557 + 664. Does 3 divide c?
False
Let p(j) = -j**3 + 10*j**2 - j + 17. Let b be p(7). Is 6/5*(4 + b/2) a multiple of 9?
True
Let q = 277 + -137. Is q a multiple of 10?
True
Let u = 2182 + -1492. Is 31 a factor of u?
False
Suppose 5*b = -0*b - 5*g + 260, -3*b + 150 = -3*g. Suppose 0 = 5*a - k - 434, a + 2*k - 27 = b. Is 9 a factor of a?
False
Suppose -19*x = -15*x - 2*n - 1586, -5*x = 3*n - 1977. Is 6 a factor of x?
True
Let c = -36 - -6. Does 10 divide (12/(-10)*4)/(12/c)?
False
Let g = 110 - -934. Is 58 a factor of g?
True
Suppose 0 = -4*j - 16 - 0. Let g(f) = -36*f + 6. Let x be g(j). Let w = 224 - x. Is w a multiple of 20?
False
Let n(j) = 12*j**2 + 5*j. Is n(-8) a multiple of 13?
True
Let w = -4 + 9. Let u(d) = -d + w*d**2 - d**2 + 4 - 4 - 2. Does 18 divide u(-3)?
False
Suppose -196 = 2*b - 3316. Is 52 a factor of b?
True
Suppose -9*q = j - 11*q - 572, -2*j + 1141 = -3*q. Is 56 a factor of