(h) = h**3 - 10*h**2 + 125*h - 52. Is 13 a factor of f(13)?
True
Suppose -4000*r + 3906*r + 3534400 = 0. Is 157 a factor of r?
False
Let n(s) = s**2 + 10*s - 8. Suppose 3*d - 5*m + 18 = -35, 0 = -5*d + 5*m - 75. Let v be n(d). Suppose 7*c - 428 = v*c. Is c a multiple of 12?
False
Let t(u) = 20*u - 35*u + 79 - 23*u - 80. Let a be t(1). Let o = a + 146. Does 14 divide o?
False
Suppose 7*p - 108 - 207 = 0. Let h = p + -32. Is h a multiple of 4?
False
Let p be 0 + 6 - 1*3. Suppose -8*x + x + 14 = 0. Suppose p*c - 3*j = 6*c - 240, -x*c = -j - 148. Is c a multiple of 14?
False
Let y = 164 - 162. Suppose -3*x = 12, -4*x - 443 - 333 = -y*q. Is 15 a factor of q?
False
Let m(h) be the first derivative of 23 - 1/4*h**4 + 2*h - 2*h**3 - 3*h**2. Is m(-5) a multiple of 2?
False
Suppose -11*d = 38356 - 250744. Does 20 divide d?
False
Let y(x) = x**3 - 1. Let i(c) = -5*c**3 + 27*c**2 - 42*c - 71. Let s(u) = i(u) + 6*y(u). Is s(-28) a multiple of 63?
True
Let u be (-9)/12*464/2. Let c = 277 + u. Suppose 0 = -3*s - 7*l + 9*l + c, -5*l = -2*s + 76. Is s a multiple of 14?
False
Suppose 2*n - 14 = -3*i, 16 = 5*i + 4*n - 6. Suppose -i*a = -5*k + 1314, -2*k + 8*a - 3*a = -523. Is 8 a factor of k?
True
Let p(m) = -10*m - 1. Let u be p(1). Let i = u - -95. Suppose i = -16*j + 18*j. Is j a multiple of 21?
True
Let r(t) = t**2 + 12*t + 11. Let l be r(-13). Let x(d) = -16*d - l*d - 3 + 37*d + 5 + 114*d**3. Is 21 a factor of x(1)?
False
Suppose 7*x - 12 = 6*x. Suppose 10*h = x*h. Let a = h - -6. Does 6 divide a?
True
Suppose 12*z + 20 = 17*z. Suppose 3*t - 27 = -3*o, z*o + 3*t = -0*t + 32. Suppose o*r = 330 - 0. Is r a multiple of 22?
True
Suppose 5*t + 3*y - 2181 = 0, 5*t = -5*y - 0*y + 2175. Suppose -4*o - 154 = t. Let v = 201 + o. Is v a multiple of 52?
False
Is 14 a factor of (-100 - -5941) + -3*1?
True
Let n(f) be the third derivative of -f**4/12 + f**3/6 + 13*f**2. Let j be n(-2). Suppose 3*d + 5*q = 6*d - 97, -2*d + 23 = j*q. Does 4 divide d?
True
Suppose 49 = -7*r + 8*r. Let q = r + -22. Is 9 a factor of (-3)/9*0 + q?
True
Suppose -17*m + 5460 = 4*m. Is 20 a factor of m?
True
Let z = 28011 - -9519. Is 139 a factor of z?
True
Suppose 8*k = 1081 + 1447. Let v = -276 + k. Is 5 a factor of v?
True
Let o(g) = -4*g + 52. Suppose 85 + 25 = 10*l. Let b be o(l). Suppose -126 = b*t - 14*t. Is 4 a factor of t?
False
Let b be 14 + (14 - 11)*8/(-6). Let l(o) = 8*o**2 + 13*o - 90. Is 70 a factor of l(b)?
True
Does 60 divide ((930/150)/(12/165))/((-3)/(-108))?
False
Suppose 7 = -10*u - 3. Let l(d) = 10*d**2 - d - 2. Let p be l(u). Suppose 3*w = -z - 13 + 32, -z + 2*w = -p. Is z a multiple of 13?
True
Suppose 5*j - i - 23 = 0, -11*i = -4*j - 7*i + 12. Suppose j*z - 2266 = -366. Is z a multiple of 20?
True
Suppose -4*x + 3*d + 2469 = -2239, 1177 = x + d. Let n = x - 602. Is 20 a factor of n?
False
Let l = 3966 + -1413. Is l a multiple of 140?
False
Suppose 7*j = 6*j. Suppose j = -3*v + 84 + 252. Is 13 a factor of -4 + (v - 1) + -3?
True
Let v = -9321 - -25881. Is 15 a factor of v?
True
Let w(n) = 2*n**2 + 5*n - 9. Let d(b) = 6*b**2 + 15*b - 28. Suppose 2*m = -f - 0*m - 10, 4*m + 44 = -5*f. Let c(i) = f*w(i) + 3*d(i). Is 5 a factor of c(-6)?
True
Is 13 a factor of (-393943)/(-55) + ((-2)/30)/((-11)/66)?
True
Let l(i) = -26*i - 7 - 11 + 21*i + 2. Suppose 4*o + 5*c + 58 = 0, -12 = 2*o - c + 10. Is l(o) a multiple of 7?
False
Let c be ((-3)/9)/(1/(-18)) + -1. Suppose -4*i + 854 = -c*o, -5*o = i + 2*i - 658. Does 8 divide i?
True
Let w = -48 + 52. Suppose -21*l + 26*l = w*o + 2964, o + 1784 = 3*l. Does 16 divide l?
False
Let h = -2135 - -3779. Is 12 a factor of h?
True
Let w = 538 - 547. Is 35 a factor of (w + 79)*(-7)/4*-2?
True
Suppose 9*n - 11*n + 4*p = -614, 4*p - 8 = 0. Is n a multiple of 4?
False
Suppose -r = -3*g, 0*g + 4*r = 3*g. Let m be (g - (-4)/(-6))*-6. Suppose -3*p + 117 = 3*x, -p - m*x = -0*p - 45. Does 15 divide p?
False
Let c(a) = 6*a**3 - 9*a**2 + 10*a - 189. Let u(b) = 5*b**3 - 7*b**2 + 11*b - 189. Let n(g) = 4*c(g) - 5*u(g). Is 7 a factor of n(0)?
True
Suppose -4*f - 1635 = -3*g + 209, -4*g - 2*f + 2444 = 0. Is 68 a factor of g?
True
Let t(p) = 169*p**2 - 11*p - 13. Let l(k) = 253*k**2 - 17*k - 20. Let a(q) = -5*l(q) + 8*t(q). Does 28 divide a(-2)?
False
Let r = 39225 + -24796. Is 55 a factor of r?
False
Let l = -171 - 378. Does 61 divide 8/2*l/16*-4?
True
Let t be (-237124)/(-38) + 16/(-152). Suppose 0 = -21*l + l + t. Is 26 a factor of l?
True
Suppose -23*c + 420 = -17405. Suppose 4*r = 4*n + 544, -4*r = -3*n + 231 - c. Does 8 divide r?
True
Let k(v) = 603*v - 636. Is 31 a factor of k(10)?
True
Let s(l) = -2391*l + 671. Is 41 a factor of s(-2)?
True
Let l(y) = y. Let j(n) = -6*n + 32. Let w(b) = -j(b) - 4*l(b). Let s be w(18). Suppose -3*m + s*m = 212. Is m a multiple of 53?
True
Suppose 2786 = -i - 66*i + 15047. Does 3 divide i?
True
Let j(v) = 125*v - 129. Let y be j(-13). Let w = 2798 + y. Is w a multiple of 58?
True
Suppose -8*d - 80 = 912. Let j be (16 + -13)/(1/(d/6)). Does 16 divide (7 - (j - -3)) + -1 + -1?
True
Suppose 2*g + v + 4*v - 47 = 0, -g + 2*v = -10. Let x = g - 11. Suppose 0 = -x*h - 4*m + 108 + 120, 4*m + 124 = 3*h. Is h a multiple of 44?
True
Let m(k) = -k**2 - 4*k + 124. Let d be m(-15). Let s(u) = -71*u**2 + 1. Let l be s(1). Let f = d - l. Is f a multiple of 3?
False
Suppose -18*d + 9820 + 195174 + 178154 = 0. Is 10 a factor of d?
False
Let x be 2*(45/6)/3 + 1. Suppose x*r - 12 = -18. Does 24 divide 75 - (r + (0 - 1)*-2)?
False
Let h = 7577 - 5307. Is h/(-4)*(-246)/205 a multiple of 23?
False
Let v(h) = 2*h**3 + 51*h**2 - 25*h + 36. Let t be v(-26). Let d(u) = 4*u**3 - 22*u**2 + 11*u - 146. Is d(t) a multiple of 14?
True
Let y = 32 + -28. Suppose 0 = -5*p + 5*v + 45, -y*v = 5*p - 14 + 5. Suppose -4*s + 701 = 5*i - p*s, i - 3*s = 143. Does 44 divide i?
False
Let k(h) = 21*h**2 + 75 + h**3 - 75. Let j be k(-21). Suppose j = 2*o - 2*y - 34, 0 = -2*o + 7*o - 3*y - 95. Is 4 a factor of o?
False
Let s(q) = q**3 + 9*q**2 + q + 2. Let j be s(-5). Suppose 0 = -v - i + 102 + 37, 3*v + 4*i - 418 = 0. Let k = v - j. Does 35 divide k?
False
Let i = 7 + -2. Suppose 22*a = 722 + 752. Suppose 5*d - a = -2*t, -6*d = -d + i*t - 55. Does 4 divide d?
False
Let x = 3821 + 653. Is 37 a factor of x?
False
Let k(i) = -724 + 360 + 298 + 74*i. Is 21 a factor of k(6)?
True
Let p(w) = -w**3 - 63*w**2 + 94*w + 140. Is 20 a factor of p(-69)?
True
Let y be 6*(-1)/(-1) + 6. Let h = y - -468. Is 15 a factor of h?
True
Let l(w) = 3*w**2 + 29*w - 3. Let m be l(-10). Suppose -13*k + 4200 = m*k. Is k a multiple of 15?
True
Suppose -2*f - 137 - 999 = -w, 0 = 3*f. Suppose w - 386 = 5*o + 2*t, 5*t - 300 = -2*o. Is 13 a factor of o?
False
Let r(q) = -q**2 - 4*q - 6. Let s be r(-4). Let g(o) = -23*o + 3. Is g(s) a multiple of 11?
False
Let v = 48 - 41. Let h = -5 + v. Suppose -6 = -h*f, 2*i - 5*f = -f + 58. Is 5 a factor of i?
True
Let m = 15 + 165. Suppose -a - 2*a - 5*z = 111, -4*a + 4*z - m = 0. Let q = 87 + a. Is q a multiple of 9?
True
Let u be (7/((-14)/(-9)))/((-3)/186). Let j = u + 666. Is j a multiple of 52?
False
Suppose 5*o = 5*k - 30, 3*o - 3 = 4*o. Suppose -7*i + 33 = -2*i - 3*n, 4*i = -k*n + 48. Is 6 a factor of i?
False
Suppose -2*p = -5*b - 24 - 2, 30 = 4*p + b. Let d be -134 - p/12*-3. Is 18/(-12)*d/9 a multiple of 9?
False
Let a(w) = -41*w**3 - 14*w**2 + 8*w - 25. Let x be a(-8). Suppose -x = -21*k - 5727. Does 10 divide k?
True
Let x = -11488 - -23872. Does 12 divide x?
True
Let f be (-1)/(1/3) - (-17 + 9). Suppose -10*t + f*t = 190. Let w = t + 50. Does 2 divide w?
True
Let c(f) be the first derivative of -1 - 15/2*f**2 + 4*f. Is 18 a factor of c(-3)?
False
Suppose 9*g - 1572 - 327 = 0. Suppose -3*z + 329 + g = 0. Does 10 divide z?
True
Let a = 513 + -506. Let g = -62 - -148. Suppose -k = -2*v + g - a, -2*v + 88 = 2*k. Is 12 a factor of v?
False
Let k(f) = -29*f - 42. Let h(z) = 30*z + 42. Let n(l) = 6*h(l) + 7*k(l). Let u be n(-7). Suppose -9*j + 1546 = -u. Is 37 a factor of j?
True
Suppose 0 = 2*r + 6, -4*z + 8328 = -3*r - 1433. Does 46 divide z?
True
Suppose 0 = 2*n + 58*n + 38*n - 869456. Is 7 a factor of n?
False
Let q(g) be the first derivative of 5*g**3/3 - g**2 - 3*g - 14. Let y be q(-1). Suppose 3*h + 375 = 3*t, 0 = 2*t - 4*t + y*h + 246. Is 15 a fa