pose 0 = 2*c + 4*a + 16, 2*a + 42 - 10 = -3*c. Is 13 a factor of 30/4*((-124)/c + -5)?
False
Does 13 divide 16/((-2016)/121898)*-9?
False
Let q be -194 + (2/9 - (-29)/(-9)). Let r = -46 - q. Does 15 divide r?
False
Let q(r) be the first derivative of -r**3/3 - 3*r**2/2 + 4*r - 8. Let y be q(2). Does 9 divide (24/(-20))/(y/135)?
True
Let l(i) = 9*i**2 + 26*i + 16. Let v be l(-10). Suppose k = -7*k + v. Is k a multiple of 3?
False
Let l = -123 + 127. Suppose 3*b = -n - n + 88, -l*n - 104 = -4*b. Does 3 divide (b + 21)/((1 - 0) + 0)?
False
Let f(u) = 3*u - 19. Let c be f(-7). Is 128/c*-5 + 6 a multiple of 10?
False
Let c = -7971 - -13552. Is 6 a factor of c?
False
Let s = 40823 + -23477. Is 49 a factor of s?
True
Let o(x) = 8*x - 6*x**2 + 37723 - 37693 + 23*x**2. Is 23 a factor of o(6)?
True
Let w(g) = -43*g + 161. Let f(l) = -22*l + 80. Let s(x) = -9*f(x) + 4*w(x). Let k be s(11). Suppose -5*r + h = 4*h - 1134, r - 5*h - k = 0. Does 45 divide r?
True
Let h(g) = 38*g - 3. Let z be h(7). Suppose 0 = 6*k - 1523 + z. Does 15 divide k?
True
Suppose 24*p - 29*p = -720. Suppose s - 71 = -5*z, -4*z + s = -2*s - 53. Let f = p - z. Is f a multiple of 26?
True
Suppose 6 - 8 = i + o, 5*o + 10 = 5*i. Suppose -2*j = -39*h + 37*h + 680, i = -2*h - 3*j + 655. Does 24 divide h?
False
Let y = -475 - -519. Suppose 2*h - y = -q, -2*h = -q + h + 44. Is 24 a factor of q?
False
Let a = -10895 + 26991. Is a a multiple of 16?
True
Suppose -5*c + 11980 = -5*i, 2*c + 28*i - 4816 = 24*i. Is 12 a factor of c?
True
Let o = 13 - -16. Suppose 7*f = -8 + o. Does 46 divide (-92)/(f/18*-3)?
True
Let r(t) = 8*t**2 - 275*t - 39. Is 6 a factor of r(37)?
True
Suppose 36*f = 22*f + 882. Suppose f*a - 46*a = 19261. Is a a multiple of 103?
True
Suppose -26*m - 4*w - 388 = -27*m, 0 = -5*m - w + 1982. Does 33 divide m?
True
Suppose 22*b - 3036 = 5610. Is b a multiple of 19?
False
Does 72 divide (-204)/510 + 17642/5?
True
Let o = -17952 - -19668. Is 6 a factor of o?
True
Suppose 0 = 5*t - 0*t - h - 38232, t + 2*h = 7653. Is t a multiple of 16?
False
Let u(f) = f**3 + f**2 - 11*f + 9. Let a be u(-4). Suppose 4*j + 223 = 3*g - 142, -g - a*j + 109 = 0. Is g a multiple of 21?
False
Let h = 14499 - -6093. Does 99 divide h?
True
Let n = -127 - -81. Let r = -38 - n. Does 13 divide 2*(0 + 148/r)?
False
Let m(v) = 2107*v**3 - 4*v**2 + 16*v - 24. Does 81 divide m(2)?
True
Suppose -51*j - 5*j = 21224. Let f = 398 + j. Is 9 a factor of f?
False
Suppose -276*z + 843 = -273*z. Let d = -135 + z. Is 32 a factor of d?
False
Let p = -322 + -483. Let a be (20/14)/((-23)/p). Suppose 3*v - 626 = -a. Is v a multiple of 24?
True
Suppose -3*o = 5*b - 32, -2*o + 20 - 6 = -4*b. Suppose -5*g + 11 = -o. Suppose 2*w - g*p = -w + 123, -4*w + 164 = p. Does 16 divide w?
False
Let u(f) be the second derivative of 3*f**5/20 - 3*f**4/4 - f**3/6 + 15*f**2 - 257*f. Is 4 a factor of u(6)?
True
Suppose -3*s + 3*j - 586 = -5*s, s - 284 = 3*j. Let k = s + -272. Is k a multiple of 6?
True
Let m = 68214 - 34794. Is 15 a factor of m?
True
Suppose -8*h - 2392 = -17808. Let u be h/4 + (4 + -1)/12. Suppose 5*w = -2 + u. Does 24 divide w?
True
Let a(d) = 19*d**2 + 8*d - 3. Let f be a(7). Suppose -8*q = -36*q + 392. Is 15 a factor of f/q + (-9)/(504/16)?
False
Suppose 0 = 12*u + 1463 + 1477. Let q = u - -465. Is q a multiple of 10?
True
Let r(n) be the second derivative of 31*n**4/12 + 4*n**3/3 - 5*n**2/2 - 46*n. Is 7 a factor of r(2)?
False
Suppose 4*v - 24 = 0, 9311 = 4*r - 2*v - 10513. Does 28 divide r?
False
Suppose 11*f = 10247 + 2040. Is f a multiple of 17?
False
Suppose 4*r + 8 = 20. Suppose -309 = -3*b - c, -r*b - 2*c = -94 - 215. Is 5 a factor of b?
False
Suppose -8*v + 9*v - 4*f = -4, -4*v + 2*f = -12. Suppose 0 = -u + 5*t + 448, 4*u - v*t - 1856 = -0*u. Is u a multiple of 26?
True
Let w(k) = -4*k**2 + 31*k + 23. Let y(a) = -5*a**2 + 32*a + 22. Let m(q) = -6*w(q) + 5*y(q). Let p be m(-25). Does 9 divide 102 + (p/3)/(3/9)?
True
Let h = 36565 - 6240. Is h a multiple of 237?
False
Suppose 12*f + 64 = -248. Let o(j) = -j**2 - 26*j + 29. Is 2 a factor of o(f)?
False
Let l(y) = y**2 - 104*y + 3030. Is l(151) a multiple of 13?
True
Let s = -88 + 80. Let g(w) = -w - 4. Let z be g(s). Suppose -z*i + 4*f + 246 = -46, -i = f - 71. Does 12 divide i?
True
Let k be 45/12 + -3 + (-1641)/12. Let g(d) = -d**3 + 9*d**2 - 11*d + 12. Let s be g(9). Let h = s - k. Is 9 a factor of h?
False
Let u(g) = -g**3 - 4*g**2 + g + 31. Let r be u(-5). Suppose -r*t + 44*t + 8673 = 0. Is t a multiple of 89?
False
Let p = -282 + 301. Suppose o - 3560 = -p*o. Is 8 a factor of o?
False
Suppose -42*r - 45*r = -81*r. Suppose -5*n + 3*b + 6846 = r, -8*n = -13*n - b + 6838. Does 24 divide n?
True
Let d(y) = 7 + y**3 + 12 - 1 + 2*y + 13*y**2. Let w be d(-13). Is (66/(-12) + w)/((-6)/8) a multiple of 3?
True
Let k(i) = -6*i**2 - 82*i + 26. Let o be k(-13). Suppose 0 = -71*b + o*b - 3822. Does 14 divide b?
True
Let f be -7 - 2368/(-4) - 6. Let a = f + -195. Does 24 divide a?
True
Let p(l) = 19*l**2 - 31*l - 113. Is p(-21) a multiple of 210?
False
Suppose -b + 5*q = -0*b + 95, -5*b - 5*q - 325 = 0. Let g = 122 + b. Is 11 a factor of g?
False
Let b(t) = 198*t + 936. Is 10 a factor of b(8)?
True
Let b(s) = 55*s**3 - s**2 + s + 1. Let c be b(1). Let x = c - 53. Is x/3 - (-2 + -1) a multiple of 2?
True
Suppose -17*f = -23*f - 7*f + 140322. Is f a multiple of 15?
False
Let l = 86225 - 38705. Is 45 a factor of l?
True
Is 19 a factor of -1 + (55/5 - 10 - -11383)?
False
Suppose 0 = -n - 3*n - 3*v + 83, 3*n + 2*v = 61. Let g(u) = -u**2 + 17*u + 12. Let q be g(n). Suppose -q*f + 90 = -198. Is 8 a factor of f?
True
Suppose 14*q + 4 = 15*q. Let i be 0 + 44 + 4 + (q - 11). Let y = i + -30. Is y even?
False
Is 4 a factor of 9695/3 + (-93)/(-279)?
True
Suppose -32*k = -7 + 263. Let j(c) = -56*c - 38. Is j(k) a multiple of 11?
False
Suppose -2*n - 4*c = -4, -5*n - 3*c + 9 = -8. Suppose -n*f + 9 = -27. Suppose 4*a + 420 = f*a. Is a a multiple of 28?
True
Let v(g) be the first derivative of g**4/8 - g**3/6 + 17*g**2/2 - 2. Let s(r) be the second derivative of v(r). Is 32 a factor of s(11)?
True
Let j be (-62)/(-155) + 4/(-10). Suppose j*z + 4*z + 4*n = 204, -5*z - 3*n = -249. Is z a multiple of 11?
False
Let x(n) = n**3 + 18*n**2 - 18*n + 23. Let y be x(-19). Suppose -4*v = -t - 1, -2*v - 5 = t - y. Suppose v = 13*p - 383 - 462. Is 10 a factor of p?
False
Suppose 67*g + 82*g = 144530. Is g a multiple of 119?
False
Let f(m) = 7*m**3 - m + 3. Let v be f(3). Let x be 1 - (4 + -3 - -119). Let n = x + v. Is n a multiple of 10?
True
Is ((-8772)/272)/(2/(-560)) a multiple of 45?
False
Suppose -5*w - 26*k = -30*k - 1734, -3*k - 1387 = -4*w. Suppose -3*b - 151 = -w. Is 13 a factor of b?
True
Let r = -7 - -16. Suppose 0 = -2*b + 48 + 90. Suppose 0 = -u + b - r. Is 13 a factor of u?
False
Let a be -9 - -14 - (0/(-2) - 827). Suppose -2*m + 534 = -a. Is 14 a factor of m?
False
Let t(a) = a**3 - 4*a**2 - 3*a - 10. Let f be t(5). Let h be f/(-3)*(1 + 0). Suppose -3*g - 4*l + 107 = h, 0*g + g = -l + 36. Does 14 divide g?
False
Does 90 divide ((-97701)/(-2))/3 - (13 + (-378)/28)?
False
Let k(q) = 54*q**2 + 47*q**2 - 102*q**2 - 41*q - 150. Is k(-29) a multiple of 5?
False
Let a(m) = 4*m + 15. Suppose -j - 4 = 4. Let c(l) = -l**2 - 9*l - 1. Let g be c(j). Is a(g) a multiple of 6?
False
Let y(h) be the third derivative of h**4/2 - h**3/6 - 26*h**2. Let d be y(3). Let c = d + 3. Is 19 a factor of c?
True
Let o = -25834 + 48714. Is 27 a factor of o?
False
Let h(t) be the second derivative of -1/2*t**4 + 0 - 2*t + t**2 + 1/2*t**3 - 3/20*t**5. Is h(-4) a multiple of 14?
False
Let t be (-46)/(-3)*1998/(-37). Is (571/(-3) - 1)/(184/t) a multiple of 41?
True
Does 18 divide (18964 - -1) + 8*21/28?
False
Suppose -3223*f = -3232*f + 161199. Does 96 divide f?
False
Let z = 232 - -126. Let q = z - 155. Does 33 divide q?
False
Suppose -3*u = -2*f + 40, -25*u + 23*u - 4 = 0. Suppose 2*b + f*a - 253 = 22*a, 5*a = -25. Is b a multiple of 50?
False
Let k = -1466 + 3903. Is 18 a factor of k?
False
Suppose 3*r + 26 = 14, 3*r = 5*t - 13662. Is t a multiple of 7?
True
Suppose z + 9 - 22 = 0. Suppose z*u - 7*u = -474. Let v = u + 99. Does 20 divide v?
True
Let c(r) = -2*r**2 - 3*r + 6. Let t be c(4). Let y = -38 - t. Suppose 