b**2 - 9*b + 14. Is 25 a factor of k(a)?
True
Let x be (3 - 8 - 45)*-3*(-3)/(-9). Suppose -h - h = -76. Let l = x - h. Is 6 a factor of l?
True
Let a = -4567 + 12492. Is a a multiple of 17?
False
Suppose -3*k + 50*k = 18330. Does 5 divide k?
True
Let j(t) = -14*t**2 - 9*t + 1. Let f be j(-2). Let w = f + 90. Does 9 divide w?
False
Let f = 38 - 35. Suppose f*r - l = 123, 57 - 146 = -2*r + 3*l. Suppose -g - 3*m + 10 = 0, -g - 4*m = -3*g + r. Is 3 a factor of g?
False
Let a be 1/((9/(-222))/(-3)). Let c be (2 + -1)/(14/(-322)). Let y = c + a. Is y a multiple of 17?
True
Let k = 61 + -59. Suppose -16 = 2*j - 4*a, 0 = 3*j + k*a - 10 + 2. Let o(n) = -4*n + 84. Is 5 a factor of o(j)?
False
Suppose -3*r + 10 = o + o, 3*o - 14 = -4*r. Let z = 5 - r. Suppose a + z*a = -4*f + 240, a + 3*f - 60 = 0. Is 15 a factor of a?
True
Let g(k) = -k**3 - 9*k**2 - 2*k - 16. Let m be g(-9). Suppose -3*d - 2*c = -979, -7*d = -m*d - 4*c - 1617. Suppose 8*p - d = -45. Is p a multiple of 22?
False
Let w be (-29870)/11 + (-6)/11. Let a = 4102 + w. Is a a multiple of 13?
False
Let o be 3 - 58/18 - 3003/(-27). Suppose -115*i + 828 = -o*i. Let f = i + -90. Is f a multiple of 31?
False
Suppose -3*x - 162 = -5*k, -56 = -7*k + 5*k - x. Is 11 a factor of 30 + 1/(5/k)?
False
Let d(n) = 37*n**2 - 3*n - 3. Let t be d(-1). Suppose -27*v + t*v - 2960 = 0. Does 70 divide v?
False
Let i = 55 + -81. Let r be (-12)/3 + (i - 1). Let y = r - -121. Does 9 divide y?
True
Let r = 11544 - 4389. Does 15 divide r?
True
Let a(i) = -5*i**3 + i**2 - 20*i + 138. Is 40 a factor of a(-9)?
False
Suppose -4 = 3*b - 5*b, 0 = -h - 4*b - 4. Let o be (1 - (7 - 5))*h/1. Is 15 a factor of (3/(o/38))/((-3)/(-42))?
False
Let z be (12/10)/(15/(900/24)). Is 20 a factor of 523 + -7 + (z - -5)?
False
Suppose 59*s = -2*l + 55*s + 13264, -4*s = 4*l - 26532. Does 13 divide l?
False
Suppose 605*i - 347001 - 17766 = 566*i. Does 164 divide i?
False
Suppose 4*n = -0*n + 12. Suppose -5*c = 2*k - 2458, -n*k = 3*c + 78 - 1560. Is c a multiple of 49?
True
Let j(w) be the third derivative of w**5/30 - 55*w**4/24 - 55*w**3/6 + 80*w**2. Is 16 a factor of j(29)?
True
Let k be 4*5/30*-12. Let g(j) = 3*j + 15. Let o be g(k). Is (-3)/o + 472/24 a multiple of 8?
False
Let d be ((2 - -3 - 5)/(-1))/(-1). Suppose o + 5*s - 146 = 0, -6*o + 10*o - 5*s - 534 = d. Is o a multiple of 34?
True
Let j(c) = 2 - 115*c**2 + 71*c**2 + 55*c**2 + 22*c. Does 15 divide j(9)?
False
Let s(f) be the third derivative of f**5/40 + f**4 + 7*f**3/6 - 37*f**2. Let o(z) be the first derivative of s(z). Is 9 a factor of o(19)?
True
Let s(i) = 28*i + 172. Let z be s(-8). Suppose -4*w = 116 - 20. Does 26 divide ((-13)/(-3))/(z/w + -2)?
True
Let u(c) = -6*c**2 - 1 + 3 + 9*c**2 + 6*c. Let t be u(-2). Let d(m) = 42*m**2 - 2*m + 4. Is d(t) a multiple of 21?
True
Let h = 211 - 206. Suppose p = h*f - 1955, 7*p - 3*p + 410 = f. Is 26 a factor of f?
True
Suppose -4*s + 15141 = -5055. Does 20 divide s?
False
Suppose 0 = 4*v - 47 - 37. Suppose 12*a - v = 15. Suppose -3*l + a*t + 79 + 149 = 0, 0 = 5*l + 2*t - 373. Is l a multiple of 28?
False
Suppose 0 = 8*p + 155*p - 932197. Does 19 divide p?
True
Let i(r) = -6*r - 68. Let h be i(11). Let s = h + 238. Does 6 divide s?
False
Suppose -3*s + 14030 = -9070. Suppose 0 = -13*z - 9*z + s. Is 14 a factor of z?
True
Let c(l) = 13*l**3 - l**2 + 22*l - 99. Is 19 a factor of c(8)?
True
Is 22 a factor of 9/((-513)/(-151696))*3?
False
Suppose 0 = -243*p - 29*p + 348704. Is 97 a factor of p?
False
Let r(z) = 10*z**2 - 710*z + 791. Is r(134) a multiple of 37?
True
Suppose -5*k + 2*n = 44, 4*n + 6 = 2*n. Let j(s) = 2 + 3*s - 17*s + 8. Does 31 divide j(k)?
False
Let l(b) = -6*b + 359. Suppose 0 = 2*f + 2*y - 62, -2*f - 4*y + 57 = -y. Does 11 divide l(f)?
True
Suppose 0 = 8*g - 25 - 39. Let m(a) = a**3 - 7*a**2 - 11*a + 14. Let p be m(g). Let n(d) = d**2 + 22. Is 11 a factor of n(p)?
False
Let d = 349 + -343. Suppose 2*s - d*f + f - 461 = 0, 5*f - 5 = 0. Is 6 a factor of s?
False
Let o = 1550 - 94. Is 26 a factor of o?
True
Suppose -5*y + 48445 = 5*x, -133*x + 48459 = 5*y - 130*x. Does 24 divide y?
True
Let h = 175 - 354. Let v(s) = -12*s + 31. Let q be v(-19). Let k = q + h. Does 7 divide k?
False
Let u = -3249 + 4094. Is 6 a factor of u?
False
Suppose -99336 = -21*n + 30360. Does 24 divide n?
False
Suppose -15*i + 182710 = -2*u + 7*u, 3*i = -4*u + 36566. Is i a multiple of 18?
False
Suppose 2*k = 3*t + 6*k - 690, 0 = 4*k. Suppose -345 = -5*a + t. Suppose a = 3*m + 10. Is m a multiple of 9?
False
Let w = -281 + 329. Suppose 2*j - w = 4*c, -11*j + 16*j + 3*c - 159 = 0. Is j a multiple of 3?
True
Is 78 a factor of 150*(-8 - 6840/(-75))?
True
Suppose -12*f + 62 - 410 = 0. Let m = 54 + f. Is m even?
False
Let c(n) = 3*n + 12*n**2 + 2*n + 3 + 0*n + 0. Let v = 55 - 57. Does 9 divide c(v)?
False
Suppose -457*k + 435*k = -249128. Does 18 divide k?
False
Let l(h) = -7*h + 28. Suppose -6*g = 6 + 66. Is 14 a factor of l(g)?
True
Let z be 0 + (-12)/3 + 7. Suppose 4*j - 3*j = -z*l + 11, -5*l + 25 = 3*j. Suppose 0 = 4*o - m + l*m - 511, m - 639 = -5*o. Is 8 a factor of o?
True
Let w(h) = -34 + 885*h - 7 + h**2 - 874*h. Is 5 a factor of w(9)?
False
Suppose 0 = 25*j - 337822 - 54228. Is 59 a factor of j?
False
Suppose 2*i - 19 + 75 = 2*o, -5*o = 5*i + 120. Is (-4078)/i - (-12)/78 a multiple of 29?
False
Suppose 7*v = -83 + 6. Suppose 2*u + 65 = 7*u. Is 41 a factor of 0 + 65 + 2 - (u + v)?
False
Suppose 581 - 588 = -i, -2*i + 4174 = 4*k. Is k a multiple of 104?
True
Let z = -427 - -435. Suppose -6 = -2*x, -5*h = z*x - 11*x - 2331. Is h a multiple of 26?
True
Suppose 0 = 16*q + 74 - 522. Suppose 12*u = -q*u + 25760. Does 23 divide u?
True
Suppose 24*p = 11*p - 18850. Is p/110 - -13 - (-3502)/22 a multiple of 80?
False
Let q(p) = 7*p**2 + p - 1. Let v(l) = -20*l**2 - 3*l + 2. Suppose 0 = 4*k - k - 12, 4*k = -5*z - 69. Let u(r) = z*q(r) - 6*v(r). Does 4 divide u(-6)?
False
Suppose 15 = 3*i - 4*s + 7, 3*s + 6 = 2*i. Suppose -3*p + 4*g = -125 - 246, 2*p - 2*g - 244 = i. Is 2 a factor of p?
False
Suppose -11*w - 12 = -8*w, 0 = 3*t - w - 4306. Is 26 a factor of t?
False
Suppose -299 - 6 = 5*o. Let c = o - -29. Does 11 divide 1 - (-2 - -3)*c?
True
Suppose -4*b - 27 = -3. Let d be (-3 + -3)*158/b. Suppose -3*o = -n - 251, 3*o - d = o - 4*n. Does 10 divide o?
False
Let l(a) = 2*a**2 - 6*a + 6. Let j(o) = 26*o + 59. Let p(t) = -5*t - 12. Let s(y) = 2*j(y) + 11*p(y). Let c be s(-6). Is l(c) a multiple of 7?
True
Suppose 20*j - 22*j = -3*t - 23637, 0 = -4*j - t + 47309. Is j a multiple of 162?
True
Let g be (-25)/((-30)/(-6)) - 15. Is 15 a factor of (-16107)/(-65) - (-16)/g?
False
Suppose 5*g + 719 = 2094. Is g a multiple of 29?
False
Let c = 104 + -99. Suppose 67 = 6*b - c. Suppose -5*m + b*m = 441. Is m a multiple of 7?
True
Let v(m) be the first derivative of 10*m**2 + 30*m - 34. Is 10 a factor of v(12)?
True
Let a = 402 - 803. Let z = -277 - a. Is 31 a factor of z?
True
Let j(k) = 2 - 1 + 4*k**2 + 3 - k - 3*k**3 + 2*k**3. Let p = 207 - 211. Does 34 divide j(p)?
True
Let o = 358 + 128. Let k = o + -229. Is 38 a factor of k?
False
Let r(l) = 403*l - 9105. Is r(24) a multiple of 63?
True
Let h = 162 - 164. Let g(a) = 84*a**2 + 4*a + 8. Does 16 divide g(h)?
True
Let l = 6386 - 3011. Is l a multiple of 7?
False
Let d(k) = -19*k + 14 - 26 - 11. Is 30 a factor of d(-21)?
False
Suppose 11*x - 29 = 26. Suppose -4*c - 8 = 4*k, 2*c - x = 6*c + k. Is 3 a factor of (14/6 + -2)/(c/(-39))?
False
Let y = 4007 - -1568. Does 5 divide y?
True
Let p be (54/72)/((-2)/(-8)). Is 556/p - (4 + 40/(-15)) a multiple of 8?
True
Suppose -x + 30 = -126. Let v = x - 96. Is 10 a factor of v?
True
Suppose 0 = -4*c - 5*h + 2864, 4*c = -4*h + 1256 + 1608. Suppose 4*x = 2*i + c, -4*x + 718 = 4*i - 5*i. Suppose x = 25*f - 19*f. Is f a multiple of 15?
True
Suppose -220 = -2*i + 2054. Suppose 0 = 7*z - 4196 + i. Is z a multiple of 23?
True
Let d(h) = 123*h - 57*h + 65*h + 2. Let c = -1548 + 1550. Does 44 divide d(c)?
True
Let c(z) = 11*z**2 - 11*z + 2334. Does 25 divide c(43)?
True
Let n(d) = 10*d - 485. Is n(78) a multiple of 2?
False
Let i(m) = -2*m - 18. Let t = -1 - 21. Let f = -34 - t. Is i(f) a multiple of 6?
True
Suppose 1827 = -5*g - 2*w, 7*g - 7*w = 2*g - 1863. Let k = g - -647. Does 14 divid