- 4*o - 557 = 0, -k + x*o + 744 = 3*k. Is k a multiple of 12?
False
Let a(p) = 3*p - 7*p**2 - 2 + 4 + 12*p**2 + 59*p**3 - 4*p**2 - 724*p**3. Is a(-1) a multiple of 40?
False
Let p = -15 - -19. Suppose -4*n = 4*s, -s - p*s + 4*n + 36 = 0. Suppose 512 - 36 = s*g. Is 17 a factor of g?
True
Let j = -24765 + 40638. Is 33 a factor of j?
True
Suppose -x + 25 = -j, -6*j + 3*j - 31 = -x. Does 7 divide x/77 + (-3526)/(-7)?
True
Let n be (-154)/(-35) - 2/5. Let d(a) = 23*a**2 - 7*a + 17. Is 51 a factor of d(n)?
True
Let d = 19552 + -8515. Is 11 a factor of d?
False
Let s be -11 + (-3 + 2)/((-1)/3). Let k(f) be the second derivative of -f**4/12 - 5*f**3/3 + 9*f**2/2 + 18*f. Does 4 divide k(s)?
False
Does 15 divide (-2761670)/(-4005) - 8/(-18)?
True
Suppose 13*k - 15*k = -4*z + 42, -4*k - 284 = -28*z. Let l(r) = 0*r + 5 + r + 1. Is l(z) a multiple of 16?
True
Let z = 254 + -596. Let h = z + 369. Is 11 a factor of h?
False
Suppose -4*y - 84 = -20. Let w = y + 12. Let u(a) = 2*a**2 - 4*a - 7. Is 33 a factor of u(w)?
False
Suppose -34*p - 2897 = -38*p + 575. Does 124 divide p?
True
Suppose 10*p = 15*p + 10. Let k(u) = -106*u - 8. Let n be k(p). Suppose h - 398 = -2*m - 3*h, -h + n = m. Is 16 a factor of m?
False
Let i be 5*(-3 + 1 - (-3 + 0)). Suppose -y = -i*c - 5*y - 90, y - 37 = 3*c. Let q = 28 - c. Is 6 a factor of q?
True
Let q(g) = 4*g + 32. Let l be q(-7). Suppose -l*k + 1207 = 5*d - 738, -4*k + 3*d = -1905. Is k a multiple of 52?
False
Let d(n) = 3*n - 49. Let h be d(18). Let b(y) = -2*y + 4*y**3 + y**2 - 22 - 3*y**3 + 2*y**2 + 0*y**2. Does 30 divide b(h)?
False
Let g(b) = -8*b**3 + 11*b**2 + 5*b - 2. Let q = 122 - 118. Let k be g(q). Let h = -180 - k. Does 23 divide h?
True
Let x be 2/4 + 18/(-4). Let c(f) be the second derivative of -11*f**3/2 - 4*f - 25. Is c(x) a multiple of 33?
True
Suppose g - 12*g = g - 122544. Does 7 divide g?
False
Let g be 128/3 + 4/(-6). Suppose -41*i + g*i - 4 = 0. Suppose i*c - 567 = 3*p, -5*c + 2*p = -479 - 235. Is 16 a factor of c?
True
Suppose -7350 = -2*h - 3*g, -h - g + 1357 = -2318. Does 7 divide h?
True
Suppose -o - 187 = -1222. Let j = 107 + o. Is j a multiple of 23?
False
Let c(z) be the third derivative of z**6/120 + 11*z**5/60 + 19*z**4/24 + 5*z**3/6 + 18*z**2. Is 20 a factor of c(-5)?
True
Let f(o) be the third derivative of o**5/60 + 5*o**4/8 + 155*o**3/3 - 2*o**2 + 23*o. Is f(0) a multiple of 31?
True
Let u(p) be the first derivative of -3*p**2/2 + 68*p - 197. Is 29 a factor of u(-45)?
True
Let f(r) = -3*r**2 + 16*r + 2. Let w(s) = 2*s**2 - 11*s - 1. Let z(t) = -5*f(t) - 7*w(t). Let m be z(-2). Suppose m*j - 309 = 447. Is 36 a factor of j?
True
Let r(l) = 3*l**3 + 3*l**2 - l - 24. Let k be r(5). Let w = k - 412. Is 5 a factor of w?
False
Suppose -m + 16851 - 3033 = -4*i, 2*m - i = 27587. Does 130 divide m?
False
Suppose -2*n + 3*d - 4957 = -6*n, d = 4*n - 4961. Suppose n = -t - 3*t. Let m = t + 442. Is 11 a factor of m?
True
Let z(n) = 5*n**2 - 11*n + 22. Let u(f) = -9*f**2 + 23*f - 43. Let o(p) = -6*u(p) - 11*z(p). Suppose 3*l + 6 = 0, -18*m - 26 = -16*m + l. Does 4 divide o(m)?
True
Let m(l) = -2*l**2 + 42*l - 29. Let t be m(20). Does 25 divide 2/9 - (16040/(-72) - t)?
False
Let k(j) = 3*j - 182. Let z be k(0). Let u = z + 479. Is u a multiple of 33?
True
Let c = 362 + -70. Suppose -c - 944 = -3*s. Is 8 a factor of s?
False
Suppose 0 = 2*g + 4*x - 988, -345*x - 980 = -2*g - 347*x. Does 3 divide g?
True
Suppose 3*n - 6*n - 2*k = -2859, -5*n = 4*k - 4763. Suppose 0 = m - 4*a - n, -4*a + 3196 = 4*m - 724. Is m a multiple of 17?
False
Suppose 5*j = 2*j + 2*j. Is 18 a factor of (-12 + 2)/(j + (-14)/1113)?
False
Let p(c) be the third derivative of -c**5/60 - 5*c**4/8 - 2*c**3 - 2*c**2. Let h(g) = -g**3 + g**2 + 9*g. Let v be h(4). Does 3 divide p(v)?
True
Suppose 3*m = 5*r - m - 57, 15 = r + m. Suppose 8*d - 1267 = r. Is 20 a factor of d?
True
Does 180 divide 1 - -2875 - (2/13 - (-6102)/(-1469))?
True
Does 9 divide -3*27/(-3)*(-1918)/(-21)?
True
Let y be 18/(157/(-22) + 7). Does 14 divide y/(-297) + 21520/18?
False
Let q(d) = -d**2 + 10*d + 67. Let o be q(12). Let c = 205 - o. Does 18 divide c?
True
Suppose -3*k - 7071*s = -7066*s - 73326, 4*k - 97768 = 2*s. Does 202 divide k?
True
Suppose -14*v + 7709 = -27*v. Let m = -482 - v. Is 5 a factor of m?
False
Let q(f) = 10*f**3 + 6*f**2 + 16*f - 206. Does 35 divide q(16)?
False
Suppose -8*y + 11456 = -38024. Does 14 divide y?
False
Let u = -112 + 228. Let h = -56 + u. Is 12 a factor of h?
True
Let p(k) = k**2 - 6*k - 55. Let h be p(11). Suppose h = -8*c + 1335 - 319. Is c a multiple of 6?
False
Let l(p) = -p**2 - p - 1. Let a(n) = -n**2 - 3*n. Let h(u) = -a(u) + 2*l(u). Let r be h(2). Is ((-12)/1)/r + 20 a multiple of 8?
False
Suppose -693 = -t - 2*s + 677, -5*t + 4*s = -6808. Suppose 314*z - t = 312*z. Is z a multiple of 22?
True
Let a = 13035 + -9939. Is 24 a factor of a?
True
Suppose 0 = 3*b - 4*p - 10115, -249*b - 3*p + 13470 = -245*b. Is 47 a factor of b?
False
Suppose 0 = 4*c - 11*v + 8*v - 14351, -4*c + 5*v + 14361 = 0. Does 28 divide c?
True
Let f(v) = v**3 - 69*v**2 + 1202*v + 34. Does 4 divide f(37)?
True
Suppose -3*i - 2*i + a = 726, -2*a + 430 = -3*i. Let y be 6*1/3*i. Does 9 divide 4/(-16)*y*1?
False
Suppose 226*f - 230*f = -2*h - 8058, -3*f + 6042 = -2*h. Is f a multiple of 144?
True
Suppose 15 = -2*z + 29. Is z - (1 + (-2556)/6) a multiple of 9?
True
Let s(l) = 4*l - 119. Let q be s(-17). Let m = q + 305. Is m a multiple of 14?
False
Suppose -5*x - q = -203, -x - 4*q + 8 = -44. Let h be (-4)/(-10)*35*16. Let y = h - x. Is 46 a factor of y?
True
Let f(u) = u - 448. Let v be f(0). Let h = v + 627. Is h a multiple of 4?
False
Let n(i) be the third derivative of i**5/3 - i**4/4 + 77*i**3/6 + 35*i**2. Is 31 a factor of n(5)?
False
Suppose -3*i - 18 = 0, 13956 = -34*o + 37*o - 2*i. Does 14 divide o?
True
Let f be 1/(2/(-7) - 104/(-168)). Suppose 5*m - f*m = -3*s + 240, m + s - 118 = 0. Is 34 a factor of m?
False
Does 110 divide 2 - 166221/(-11) - (-2 - 5)?
False
Suppose m + 2*z + 6 = 3*m, 2*m - 6 = -2*z. Suppose -m*d - 3*u = -1563, d - 5*u + 2086 = 5*d. Is 5 a factor of d?
False
Let d(n) = 140*n**2 - 448*n + 3. Does 29 divide d(6)?
False
Suppose 2*v - 7*p = -2*p + 3, 3*v - 16 = -4*p. Suppose 2*s - r - 12 = -5, 5*s = -v*r + 24. Suppose -72 = -5*x + s*m + 24, -2*x = -m - 39. Does 5 divide x?
True
Suppose -r + 2*t = 69, 5*r + 0*t = -4*t - 373. Let n = -71 - r. Suppose -64 = -4*k + 4*d, n*k + 2*d + 0*d = 28. Does 4 divide k?
False
Let a(n) = 125*n**2 + 12*n - 9. Is 27 a factor of a(6)?
True
Suppose -k + 3*z = -366 - 1, -3*z = 0. Suppose 3*t = 569 + k. Is t a multiple of 29?
False
Suppose -2*p + p - 2*p = 0. Suppose -12*d + 16*d - 8 = p. Suppose -5*q = -5*x - 35, -5*q + d*x + 16 = -19. Is q a multiple of 3?
False
Let l = 350 - 322. Is 30 a factor of 270/(((-21)/l)/(-1))?
True
Let u = -16463 - -59117. Is u a multiple of 15?
False
Let h = -200 + 209. Suppose 6*v = -h*v + 645. Is 6 a factor of v?
False
Let c(q) = -239*q + 892. Does 93 divide c(-22)?
False
Let n = 1725 - -451. Does 9 divide n?
False
Is 18 a factor of 2151 - 0 - (-49 + 40)?
True
Suppose -7*v + 2*v = -15. Suppose -v*a + 7 = -269. Is 12 a factor of (4 + (-52)/16)*a?
False
Let y = 330 - 354. Let r = 32 + 27. Let v = r + y. Does 7 divide v?
True
Suppose 5*r - 75 = -4*a, 2*a - 10 = -r + 11. Suppose -r*m - 9*m = -1720. Is m a multiple of 35?
False
Let r(c) be the first derivative of -c**4/12 - 7*c**3/2 - 3*c**2 + c + 7. Let w(d) be the first derivative of r(d). Is w(-12) a multiple of 34?
True
Let p(s) be the first derivative of s**5/20 - 7*s**4/6 + 5*s**3/2 + 12*s**2 - 17*s - 26. Let o(b) be the first derivative of p(b). Is o(14) a multiple of 26?
True
Let b(y) = 8*y**3 - 4*y**2 - 2*y. Let m be 24*3/30 - 2/5. Suppose -s - 13 = -2*t + 2*s, -m*s = -4*t + 14. Does 22 divide b(t)?
True
Let s be (0 + (-20)/(-6))/((-58)/(-174)). Is 17 a factor of (2332/(-8))/(-11)*s?
False
Suppose 0 = p + 5*z + 9529 - 30954, -4*z - 28 = 0. Is p a multiple of 28?
False
Let o(g) = 10*g**2 + 61*g + 118. Let v be o(28). Suppose -v = -15*y - 39*y. Is 4 a factor of y?
False
Let p(i) = -987*i + 10. Let w be p(-10). Is 5 a factor of 1/(-55)*5 - w/(-22)?
False
Let q be ((-24)/36)/(1 - (-250)/(-246)). Let r be (0 - (4 - 8)) + q. Let 