 Is ((-152)/p)/((-2)/35) a multiple of 20?
False
Let h(n) = n**3 + 10*n**2 - 4*n. Let q be h(-10). Suppose 29*j + q = 30*j. Is 13 a factor of j?
False
Let g = 17 + -48. Let v = 29 - g. Is 12 a factor of v?
True
Let v be (-1 + -36)/(3/(-6)). Let u = v + -24. Suppose -z + u = z. Is 11 a factor of z?
False
Let z = -8 + 10. Is (-12)/(z/(-8)*6) a multiple of 6?
False
Let v = -129 - -129. Let f(t) = t**3 + 4*t**2 + 4*t + 3. Let g be f(-3). Suppose b - 24 + g = v. Does 12 divide b?
True
Suppose 4*j + 8 = 0, -3*a - j = 2*a + 27. Is 14 a factor of 416/10 - 2/a?
True
Suppose -10*g + 1408 - 508 = 0. Suppose p - x - g - 61 = 0, -p = -3*x - 141. Is p a multiple of 18?
False
Let p(b) = b**3 + 4*b - 4. Let y be 2/2 - (-2 - 0). Does 11 divide p(y)?
False
Let f(k) = k + 9. Let p be f(-5). Suppose 4 = p*q - 4. Suppose -5*h - z + 78 = 0, -q*h - z = z - 36. Does 15 divide h?
True
Let u be -1 + (6/(-2) - -5). Let j(d) = 38*d**3 - 2*d**2 - d + 2. Is 37 a factor of j(u)?
True
Let q(p) = -4*p + 10. Let y be q(3). Is 2*(33/2 + y) a multiple of 5?
False
Let s = 85 - -60. Does 4 divide s?
False
Suppose 3*r - 3*n - 6150 = 0, 5*n = 3*r + 1178 - 7324. Is 38 a factor of r?
True
Let b(z) = 55*z**2 + 29*z. Is b(-3) a multiple of 59?
False
Let s(l) be the first derivative of 17*l**2 + l + 8. Suppose p = 2 - 1. Is 10 a factor of s(p)?
False
Let s = 647 + -46. Does 21 divide s?
False
Suppose -9 - 26 = -5*n. Suppose n*a = 4*a + 18. Is 7 a factor of ((-76)/a)/(4/(-6))?
False
Let b = 453 - 302. Is b a multiple of 11?
False
Let w be (-18)/(-4)*44/22. Let v = w - -10. Does 19 divide v?
True
Let y be 25*4*-1*20/(-16). Suppose -5*p + 340 + y = 0. Is 26 a factor of p?
False
Suppose -2*a - 11 = -221. Let f = a - 21. Does 14 divide f?
True
Let h(t) = -10*t + 13. Let f(v) = v. Let c(w) = 22*f(w) + 2*h(w). Is 13 a factor of c(0)?
True
Suppose 2 = -2*b - 0*b. Is 520/10*(1 - b) a multiple of 13?
True
Suppose 6 = -2*d + 18. Suppose -d*m = -0*m - 216. Is m a multiple of 4?
True
Let r(z) = -z**3 - 6*z**2 - 4*z + 7. Let v be r(-5). Let f(t) = 0*t + t - 1 + 7 + t**v. Is 6 a factor of f(0)?
True
Is 36 a factor of 42/(((-2)/(-24))/((-8)/(-16)))?
True
Let u(j) be the first derivative of -5*j**2 - 8*j + 37. Is u(-5) a multiple of 14?
True
Is (-4)/(-38) + 1268410/2090 a multiple of 17?
False
Let n be (34/(-6))/((-5)/15). Suppose -n*l + 13*l - 28 = 0. Let t = 23 + l. Does 16 divide t?
True
Suppose -957 = -3*z + 4*d + 499, 4*z - 1993 = -5*d. Does 12 divide z?
True
Suppose 0 = 4*b + 5*t - 192, -2*b - 2*b + 5*t + 192 = 0. Suppose b = 5*u - 52. Suppose -5*k + 130 = -u. Is 10 a factor of k?
True
Suppose -5*t - 46 = -116. Suppose 11*p - 9*p = t. Is (-4 + p)*4/6 a multiple of 2?
True
Does 15 divide (2 + 43)/((-1)/(-37 + 1))?
True
Let y be -11 + 0 - 4/(-1). Is (-783)/(-15) - y/(-35) a multiple of 13?
True
Let o(d) = 3*d**2 + 11*d - 133. Is 13 a factor of o(7)?
True
Let u(g) = 2*g**3 - 3*g**2 + 6*g - 4. Let r be u(2). Suppose -3*s + 18 = r. Suppose s*j = 2*d - 2*j - 54, -4*d + 69 = 5*j. Is d a multiple of 8?
False
Let r(o) be the third derivative of o**6/120 - 7*o**5/60 - 5*o**4/12 - 7*o**3/6 - 2*o**2. Let f be r(8). Let w = 32 + f. Is 3 a factor of w?
True
Let m = -6 - -13. Suppose -2*z = -m*z + q + 13, 5*z - 3*q = 9. Suppose 4*h = 4, -32 + 91 = 4*j + z*h. Is 10 a factor of j?
False
Suppose -2*q = -2*f + 4154, 0 = 3*f - q - 5151 - 1088. Suppose -9*n = 713 - f. Is 45 a factor of n?
False
Let j(n) = -2 - 2*n**2 + 5*n**3 - 2*n**3 + n**3 - 5*n**3 - 4*n. Let s be j(-2). Suppose -3*p + 9 = -s. Is p a multiple of 5?
True
Let n(z) = 9*z**2 + 19*z - 27. Does 12 divide n(-15)?
False
Let t(s) = 2*s**2 + 4*s - 3. Let p be t(2). Suppose -p = 5*u + 2. Let w = u - -9. Does 2 divide w?
True
Let u(t) be the second derivative of 2*t**2 + 0 - t**3 - 1/12*t**4 + t. Is 3 a factor of u(-6)?
False
Let a = 33 + -28. Let j(n) = 14*n + 1. Let m be j(2). Suppose 2*r - 4*r + 3*o = -22, a*r = o + m. Does 2 divide r?
False
Suppose 2*n = 6*n - 3*y + 7, 2*n + 3 = y. Let f(t) = -4*t**3 + t**2. Let j be f(n). Suppose 0 = -j*l + 94 + 191. Is l a multiple of 19?
True
Let c be -2 - (-4 + 1 - -2). Let z be (c + 0/4)*0. Suppose g + z*g = 53. Does 14 divide g?
False
Let c be (-16)/4 - -1 - (-5 - 2). Suppose 975 = -c*i + 9*i. Does 15 divide i?
True
Let u = 1136 - 800. Is u a multiple of 24?
True
Let i(y) = 11*y**2 + 10*y - 10. Let c(a) = 32*a**2 + 31*a - 30. Let z(b) = -2*c(b) + 7*i(b). Does 20 divide z(4)?
False
Suppose 3*j = h, 3*h = j + 2*j. Suppose j = -5*y + 12 + 3. Suppose -36 = -3*z + y*v, -2*v = -z + 11 + 3. Is 6 a factor of z?
False
Let d(i) = -3*i + 27. Let h be (-1)/(0 - 2/(-22)). Is d(h) a multiple of 50?
False
Suppose 3*s - 526 = 2. Does 22 divide s?
True
Suppose 3*a = 8 - 2. Does 11 divide (-5 - 13/(-5))/(a/(-125))?
False
Let n(a) = -3*a**2 + 7*a + 31. Let l(b) = b**2 - 2*b - 10. Let p(d) = 17*l(d) + 6*n(d). Does 9 divide p(7)?
False
Suppose -f - 75 = 23. Let w = -299 + f. Is 18 a factor of w/(-7) - 4/(-14)?
False
Let r be (-156)/(-65) - 6/(-10). Suppose 0 = -r*c - 2*v + 96, -32 - 13 = -2*c + 5*v. Let z = -8 + c. Is z a multiple of 11?
True
Is ((-188)/(-10))/((-340)/(-26350)) a multiple of 38?
False
Let b be (-3)/3 + -2*165/(-6). Is -4*(-7)/(147/b)*7 a multiple of 24?
True
Let a be 16/(-9) - 10/45. Let q be (-1)/a - 371/(-14). Suppose 0 = k - 24 - q. Is 18 a factor of k?
False
Let l be (-3)/(-9) - 256/(-24). Let h(j) = j**3 - 12*j**2 + 11*j + 9. Is 7 a factor of h(l)?
False
Is (44/10 + -4)/((-8)/(-740)) a multiple of 2?
False
Suppose 5*y + 504 = 3*a, -6*y + 2*y - 12 = 0. Is a a multiple of 12?
False
Suppose 0 = -13*d + 11*d + 476. Let m = -110 + d. Is m a multiple of 16?
True
Suppose -2*t + b + 1574 = 0, 5*b = 4*t - 1875 - 1267. Let i(a) = a**2 + 5*a + 8. Let r be i(-7). Is 12 a factor of t/r + (-2)/(-11)?
True
Let v = 764 - 423. Does 61 divide v?
False
Let r be (-21)/49 + 62/14. Suppose 3 = -r*p + 15. Suppose -5*j - 2*z = -98, 3*z = j - 3 - p. Does 9 divide j?
True
Suppose 1209 = 3*h - 2*t + 311, -3*t = h - 281. Is h a multiple of 10?
False
Let a(m) = -4*m - 22. Let x be a(-6). Suppose -27 - 17 = -4*u + 2*g, -x*u + 4*g + 16 = 0. Is u a multiple of 4?
True
Suppose u = 2*m - 59 + 516, 0 = -u - 5*m + 485. Is u a multiple of 10?
False
Suppose -6 = -5*w + 9. Is 26 a factor of (-1)/w + -1 + 952/12?
True
Let b(j) = j**3 - 17*j**2 + 76*j + 8. Is 19 a factor of b(5)?
False
Let a(f) = f**3 + 7*f**2 + f + 3. Let g be a(-7). Let u be -2 - (2*g - 0). Let j = u - -24. Is 6 a factor of j?
True
Let x(g) = -g**2. Let r(m) = -3*m**2 - 16*m + 28. Let f(u) = -r(u) + 6*x(u). Let d(j) = 2*j**2 - 11*j + 19. Let o(p) = -7*d(p) - 5*f(p). Is 24 a factor of o(6)?
False
Let i be (-9)/6 - 1626/12. Let d = -85 - i. Does 26 divide d?
True
Suppose 2*j - 1 = 3, 0 = 2*i - 5*j + 4. Let k(u) = 0 + i*u + 5 + 0*u. Is k(5) a multiple of 7?
False
Let c(w) = 4*w**2 - 21*w - 72. Does 24 divide c(-13)?
False
Suppose -354 = 6*a - 1668. Let n(q) = -q**3 - 6*q**2 + 4*q + 1. Let u be n(-8). Let h = a - u. Does 25 divide h?
False
Let o(w) be the third derivative of -w**6/120 - w**5/15 - w**4/6 - 5*w**3/6 - 32*w**2. Is 8 a factor of o(-5)?
True
Suppose 4*i = 0, 0 = -c - i - 0*i + 17. Let s = c - -10. Does 27 divide s?
True
Suppose -5*g = -6 - 9. Let n be 11196/132 + 4/22. Suppose n - 4 = g*m. Is m a multiple of 6?
False
Suppose 3*w = 11902 - 2092. Let f(t) = -t + 4. Let d be f(12). Does 23 divide w/39 + d/(-52)?
False
Let n(t) be the second derivative of 11*t**3 + 19*t**2/2 + 4*t. Does 25 divide n(3)?
False
Suppose 2*g - 21 + 133 = 0. Let j(l) = l**3 + l**2 - 4*l - 2. Let a be j(-3). Let r = a - g. Does 30 divide r?
False
Let k(b) = 2*b**2 + b - 8. Let z be k(-4). Let q be z + 0 - 2/(-1). Suppose -q - 54 = -2*m. Is m a multiple of 19?
True
Suppose 4*l + 4*x + x - 70 = 0, -2*l - 5*x = -40. Suppose s - 2*g = -2*s + 246, 5*g - 267 = -3*s. Suppose s = -12*h + l*h. Is 14 a factor of h?
True
Let h(d) = 14*d**2 - 41*d + 46. Is 110 a factor of h(10)?
False
Let m(o) = 5 + 2*o + 6*o + 4. Let y(d) = 9*d + 9. Let h(u) = -6*m(u) + 5*y(u). Is h(-8) a multiple of 4?
False
Suppose 0 = 4*j + 3*l + 1764 - 18225, l + 4117 = j. Let b be (-6)/15 - j/35. Let w = b - -239. Does 37 divide w?
False
Let s(z) = 2*z**2 - 16*z + 302. Is 16 a factor of s(-31)?
True
Suppose -63 = -q + v, 0 = -v - 32 + 34. Does