- 3. Does 6 divide d(p)?
True
Let r = 17 + -12. Suppose 4*g - 4*i - 448 = 0, -r*g - 4*i = -0*i - 524. Is g a multiple of 27?
True
Suppose 5*a = -0 + 25. Suppose a*z = -15, 3*i + 0*z = z + 24. Suppose -2*b + i + 3 = 0. Is b a multiple of 5?
True
Suppose -5*v = -5*w - 350, 0*v + 4*v + 5*w - 271 = 0. Is 11 a factor of v?
False
Suppose m - 1 - 3 = 0. Suppose -2*y - 26 = -m*y + 4*r, y = -4*r - 17. Suppose 0 = 2*h - 11 - y. Is h a multiple of 3?
False
Let c(b) = b**3 + 8*b**2 + 8*b + 6. Let y be c(-8). Is (y/(-6))/(7/21) a multiple of 12?
False
Suppose -3*z - 155 = -4*z - 2*h, -3*z + 3*h = -465. Is 12 a factor of z?
False
Suppose 4*u - 15 = 65. Does 10 divide u?
True
Suppose 2*q = -3*q + 95. Is q a multiple of 3?
False
Let b(u) = 11*u - 7. Is b(4) a multiple of 12?
False
Suppose 13 = 5*g - 107. Does 8 divide g?
True
Suppose -83 = -4*p + 2*y + 109, 4*p + 5*y - 164 = 0. Is p a multiple of 23?
True
Let k be -5*(-2 + 2/5). Let q(d) = 13*d**2 + d. Let o be q(1). Suppose -2*y = -k - o. Is 4 a factor of y?
False
Suppose -3*g - m = -13 - 24, 5*g + 2*m - 60 = 0. Let k = g + -10. Is k a multiple of 4?
True
Let m = 83 - 146. Let c = -41 - m. Is 11 a factor of c?
True
Suppose 3*y + 17 - 83 = 0. Let k(j) = -36*j**3 - 2*j - 20*j**2 + 3*j + y*j**2. Is 16 a factor of k(-1)?
False
Does 27 divide (-400)/(-14) - 20/35?
False
Let o be -7*((-2)/(-7) + -2). Let t be 4/o - 16/(-6). Suppose 3*n - 4*s - 88 = 0, -26 = t*n - 4*n + 3*s. Is n a multiple of 16?
True
Suppose 15 = -5*c + 5*r - 2*r, 3*r + 12 = -4*c. Let n(b) = 231*b**2 - 88*b. Let f(i) = -8*i**2 + 3*i. Let v(w) = c*n(w) - 88*f(w). Does 4 divide v(1)?
False
Let l = -4 - -6. Suppose -2*d - 2*p = -4, d - 6 = -3*p - l*p. Is 16 a factor of (d + 0)*2 - -14?
True
Suppose -2*x - 16 = -6*x. Suppose -x*z - 27 = 37. Is 5 a factor of (2 + 2)*(-20)/z?
True
Let r = -11 - -25. Suppose -c - 2 = s - 6, 0 = 5*c + 2*s - 14. Suppose c*k - r = -q, 0 = k + q + 2*q + 3. Is k a multiple of 9?
True
Suppose 16 = 4*s, -6*x = -3*x - 4*s - 794. Is x a multiple of 30?
True
Let l(z) = -z**2 + z + 2. Let c be l(4). Let k be (-50)/(-18) - c/45. Suppose -k*f + 5*f - 2 = 0, 3*x - 13 = 2*f. Is x a multiple of 5?
True
Let v = 50 - 88. Let i = v + 54. Is 4 a factor of i?
True
Is 22 a factor of (-465)/(-3) - 3/3?
True
Let p be (9/(-15))/(4/(-20)). Suppose p*v - 80 = -2*v. Is 7 a factor of v?
False
Let v(m) = m**3 - 6*m**2 + m - 5. Let f be v(6). Suppose -3*d + 37 - f = 0. Is d a multiple of 3?
True
Suppose 61 = j + 21. Is 8 a factor of j?
True
Let o(m) = -5*m + 6. Let z(n) = -n + 1. Let r(i) = o(i) - 6*z(i). Let q be r(4). Suppose 2*k - 56 = q*l, 3*l + 58 + 0 = 2*k. Does 16 divide k?
True
Suppose -3*k - 281 = -4*s - 0*k, -5*k - 219 = -3*s. Does 18 divide s?
False
Let q = -175 + 265. Is q a multiple of 23?
False
Let b(x) = -x**2 - 13*x + 9. Let d be b(-12). Let h = d + 1. Does 11 divide h?
True
Let l(r) = 2*r**3 - 4*r**2 + 4. Let x(p) = 2 + 2*p - 3 + p**2 + 0*p**2 - 4. Let o be x(-4). Does 11 divide l(o)?
True
Let x(r) = -r**2 + 3*r - 2. Let n be x(3). Let t(h) = 7*h**2 - 3*h - 2. Let s be t(n). Suppose 2*c - 5*c = 3*v - 12, 3*c - 2*v - s = 0. Is 4 a factor of c?
True
Let u(q) = 2*q**3 - 2*q - 6. Let p(j) = j**3 - j**2 - 1. Let o(h) = -3*p(h) + u(h). Let l be o(4). Let b = -5 - l. Is b a multiple of 6?
False
Let h be (-2)/(-4)*(9 + -3). Suppose -h*y = -y - 52. Does 13 divide y?
True
Let m(j) = j**2 + 3. Does 6 divide m(3)?
True
Let d(j) = 229*j**2 + 3*j - 2. Does 23 divide d(1)?
True
Suppose -2*r + 8 = -76. Is 21 a factor of r?
True
Let u = -2 - -1. Is (-2 + 4)*(u - -8) a multiple of 14?
True
Is 13 a factor of 81 + 0 - (0 + 1)?
False
Suppose 3*a = -0*a + 528. Suppose 3*x - a = -x + 4*j, 0 = -3*x - 3*j + 102. Is x a multiple of 16?
False
Suppose -17 = l + 11. Is 7 a factor of ((-4)/(-8))/((-1)/l)?
True
Is 442/8 - (-12)/16 a multiple of 14?
True
Is 8/(-6)*(-68 + 5) a multiple of 14?
True
Let r(z) = -5*z + 3. Let d be r(2). Does 23 divide 90/d*42/(-9)?
False
Suppose 49 = 4*i - l, 2*i - 5*l - 12 - 17 = 0. Is 2 a factor of i?
True
Suppose 5*p - 3*h = 0, 0*h + 5*h = 4*p. Let q(d) = d**3 + d**2 - d + 4. Let n be q(p). Suppose -n*z + 117 + 39 = 0. Is z a multiple of 14?
False
Let n be (58 - -2)*(-15)/(-6). Suppose -n - 134 = -4*f. Is f a multiple of 14?
False
Suppose -3*d - 2*f + 37 = 0, -3*d = d - 2*f - 26. Suppose 3*m - 2*h - d = 0, 8*h = 4*h. Suppose m*j = -4*g + 77, 0 = -g - 0*j + 4*j + 24. Does 14 divide g?
False
Let n = -7 - 0. Let b = n + 37. Is b a multiple of 21?
False
Let f = 1 - 1. Suppose 2*r + b + 39 - 104 = f, r - 34 = b. Let t = -8 + r. Is t a multiple of 17?
False
Let f = 37 - -10. Is f a multiple of 24?
False
Is 13 a factor of 4 + (0 - 1)*-61?
True
Suppose c + i = -28, -7*c - 5*i = -3*c + 114. Let f = -13 - c. Is 13 a factor of f?
True
Let c = -29 - -107. Is 26 a factor of c?
True
Let a(c) = c**3 - 13*c**2 + 12*c + 3. Let t be a(12). Suppose -t*h = -4*h + 5*k + 78, -5*k - 282 = -4*h. Is 25 a factor of h?
False
Suppose 25 = 4*p - 87. Does 14 divide p?
True
Let c = -6 - -7. Is (c*2)/((-16)/(-216)) a multiple of 9?
True
Is 6 a factor of 1 - (-4)/(4/39)?
False
Is (-2355)/(-35) + (-2)/(-14)*-2 a multiple of 11?
False
Let f(t) be the third derivative of t**5/30 - t**3/3 + 2*t**2. Is 15 a factor of f(-4)?
True
Let a be 1/(10/(-6) - -2). Suppose l = a*l. Is 2 a factor of (-6)/9*-3 + l?
True
Let a = -15 + 19. Let z be 2*(3/(-2) + 1). Let d = z + a. Is d a multiple of 2?
False
Let g = 0 - -4. Let b be (-34)/(-8) + (-1)/4. Suppose -g*w = -2*j + j + 5, w - b = 0. Is j a multiple of 13?
False
Let y(x) = -x**2 + 7*x - 6. Let t be y(5). Suppose t*d = 123 - 15. Does 10 divide d?
False
Let c be 20/12 + 2/6. Suppose a - c = -0*a. Suppose -a = -d + 4*v, 2*d = -2*d + v + 38. Is 5 a factor of d?
True
Let a = 97 + -17. Is 11 a factor of a?
False
Let f(i) = 9*i - 4. Let m be f(4). Suppose 2*v = m + 24. Is v a multiple of 11?
False
Let c = 13 - 8. Suppose 11 + 14 = c*o. Is 2 a factor of o?
False
Suppose 40*z - 37*z - 306 = 0. Is 57 a factor of z?
False
Suppose 0 = 5*x - 3*i - 70, -x = -0*x + 3*i + 4. Let j = x + -8. Does 15 divide (-58)/j*18/(-12)?
False
Suppose -2*u - 4*m = -100, -5*u - m + 265 = 4*m. Suppose -y - u = -3*y. Does 12 divide y?
False
Is 9 a factor of (57/3)/(1 + (-5)/6)?
False
Suppose -j = -5*t + 2, -2*t = -j + 3 - 2. Suppose -2*a + 100 = j*a. Is 14 a factor of a?
False
Let w(m) = -m**2 + 10*m - 10. Let f be w(8). Let s(y) = 1 + 4 - 1 + 2*y. Is s(f) a multiple of 16?
True
Let b be 3/12 - 183/(-4). Let j = b - -7. Suppose 3*l - 159 = 3*i, -l - 5*i + j - 12 = 0. Is 17 a factor of l?
True
Let w = -171 + 242. Does 4 divide w?
False
Let g(b) = -b**3 + 9*b**2 - b - 7. Does 21 divide g(7)?
True
Suppose -7*u + 1399 = -92. Does 18 divide u?
False
Suppose -2*j + 0*t + 251 = 5*t, 4*j - 529 = -t. Is 35 a factor of j?
False
Suppose -d = 2*d - 366. Suppose -d - 46 = 3*g. Let s = -32 - g. Does 10 divide s?
False
Let s(y) = -4*y**2 + 2*y. Let h be s(2). Let j be (-344)/4*2/(-4). Let r = h + j. Does 10 divide r?
False
Let f(n) = 45*n - 1. Let w(l) = -l**3 - 7*l**2 + 8*l + 1. Let p be w(-8). Is 11 a factor of f(p)?
True
Let r be 5*(3 + (-11)/5). Is -9*r/(-12)*1 even?
False
Let l = -36 + -29. Let r = l + 101. Is 8 a factor of r?
False
Let y be ((-55)/(-4))/((-1)/(-8)). Let b = y - 69. Is 20 a factor of b?
False
Let z(v) = 8*v**2 + 44*v + 21. Let l(f) = -3*f**2 - 15*f - 7. Let o(m) = 11*l(m) + 4*z(m). Is 7 a factor of o(7)?
True
Let n(u) = u**3 + 9*u**2 + 8*u - 10. Let x(a) = a**2 - 8*a - 8. Let s be x(8). Let y be n(s). Is 8 a factor of 4/y + (-84)/(-10)?
True
Let c = 57 + -36. Let x be (c/28)/((-2)/(-216)). Suppose -x = -3*u - 0*u. Does 21 divide u?
False
Let n(w) = w**2 + 4*w + 14. Does 13 divide n(-6)?
True
Let t be (-1)/(2 + -3*1). Let o(p) = 5*p. Does 5 divide o(t)?
True
Let w = -13 - -41. Let j = w - 71. Let a = 77 + j. Is a a multiple of 13?
False
Let z = 17 + -5. Suppose 0 = -4*d + 5*d - z. Is 9 a factor of d?
False
Suppose 5*a + 138 = -82. Let o = a + 101. Does 16 divide o?
False
Let t be (-3 - -1) + (-105)/(-3). Suppose 0 = -4*w - 4*b - b + t, -w + 3*b = -4. Does 5 divide w?
False
Suppose -3*r + 2*r = -6. Suppose 0 = -5*j + 3*v + 185, -r*j + 111 = -3*j + 3*v. Suppose 3*h + 153 = 5*x, 3*x = -2*h + 51 + j. Is 10 a factor of x?
True
Let f = 27 + 27. Is f a mult