c a multiple of 18?
False
Suppose -3*t + 468 = 3*i - 6*i, -2*t - 5*i + 312 = 0. Let v be t + -4 - (3 + -1). Let o = -94 + v. Is 7 a factor of o?
True
Suppose -9*k - 64 = -41*k. Suppose -4729 + 122 = -4*v + 3*m, 2316 = k*v - 4*m. Does 14 divide v?
True
Let o(t) = t**2 - 5*t - 10. Let a be o(7). Let y = -1761 + 1764. Suppose y*f + 5*d - 119 = 0, a*f - 144 - 6 = 2*d. Is 8 a factor of f?
False
Let w(j) = -8*j - 3. Let r be w(-10). Let i = 137 - r. Is 4 a factor of i?
True
Let k(x) = 6*x**3 + 15*x**2 + 41*x - 220. Is 44 a factor of k(7)?
True
Let q(o) = o**3 - 11*o**2 + 15*o - 16. Suppose -t + 10 = 1. Let a be q(t). Let y = a + 75. Is 11 a factor of y?
False
Suppose -116*v + 118*v = -3*b + 3024, -v = 2*b - 2016. Is 24 a factor of b?
True
Is 4 + 8593 - -7*7/((-49)/2) a multiple of 15?
True
Let o(g) = -55*g - 19. Let c(x) = 54*x + 19. Let y(k) = 5*c(k) + 6*o(k). Let d be y(9). Is 6/42 - d/7 a multiple of 40?
True
Suppose -52*s - 37459 + 12627 = -68*s. Is 97 a factor of s?
True
Let u = 16 - 12. Is u/10 + (-7)/(175/(-2565)) a multiple of 2?
False
Let w(d) = 3*d**3 + 77*d**2 - 214*d + 32. Is w(-18) a multiple of 26?
True
Let j = 27209 - 4278. Is 248 a factor of j?
False
Let q(v) = 2*v**3 + 14*v**2 - 5*v + 66. Is 25 a factor of q(13)?
False
Suppose 599*n - 593*n = 48. Suppose -845 = -n*y + 8435. Is y a multiple of 40?
True
Suppose 8*l - 4712 - 2832 = 0. Is (l/14 - (-6)/42)*6 a multiple of 17?
False
Let y(f) be the third derivative of 17*f**5/60 - f**4/12 - 10*f**3/3 - 23*f**2 - 1. Is y(-4) a multiple of 21?
False
Suppose a - 2 = -3*p + 4, -4*a - 2*p = 26. Let u(y) = -y**3 - 8*y**2 + y - 12. Let c be u(a). Let x = c - -25. Does 17 divide x?
True
Suppose -1796 = -2*r - 0*r - x, 0 = -3*x + 6. Suppose -8*s + 2607 = -r. Is s a multiple of 12?
False
Let q(p) be the third derivative of p**4/2 + 12*p**3 + p**2. Let t be q(-6). Suppose 3*w + 170 = 2*b - 220, t = 5*w. Does 39 divide b?
True
Is -2*-4*(-58084)/(-16) a multiple of 13?
True
Suppose r - f - 1389 = 0, 1602*r = 1601*r + 5*f + 1393. Is 8 a factor of r?
False
Let l(p) = 11*p**3 - 10*p**2 + 50*p + 21. Does 123 divide l(6)?
True
Let o be (-1)/4*6*(-6)/(-9). Let p be o/4 + 5724/48. Let l = 187 - p. Does 4 divide l?
True
Let z(m) be the second derivative of m**4/12 - 2*m**3/3 - 4*m**2 + 4*m - 1. Is z(10) a multiple of 5?
False
Suppose -10*v + 7168 = -3*v. Let j = v - -377. Is 26 a factor of j?
False
Let p be (0 - -110) + 3 + (-51)/17. Suppose 0 = 92*a - p*a + 22986. Does 13 divide a?
False
Does 40 divide -184508*(1 - 30/28) + 24/28?
False
Suppose -3*f + 2481 = -18522. Suppose 7*v = 825 + f. Is v a multiple of 13?
True
Suppose 3*n + 8 = -n. Let g(m) = -39. Let q(c) = 2*c - 18. Let u(b) = 3*g(b) - 6*q(b). Does 3 divide u(n)?
True
Suppose 4*m = -2*g + 11680, 3*g + 2*m - 5802 = 11722. Is g a multiple of 179?
False
Let g = 39373 + -24882. Does 43 divide g?
True
Let u(c) = -4*c - 8. Let d be u(-4). Suppose 0 = w - d + 5. Suppose -w*y - 68 - 187 = -4*g, 0 = -g - y + 69. Is 33 a factor of g?
True
Let k(c) = c**3 - 35*c**2 - 44*c - 30. Let a be k(36). Let l = a - -652. Is 58 a factor of l?
False
Suppose 20080 = -45*p + 7278 + 141052. Does 57 divide p?
True
Let l(b) = -9*b - 52. Let m be l(-15). Suppose -4*x + 3*w + 416 = 8*w, 4*w = x - m. Is x a multiple of 11?
True
Let y(n) = 429*n**3 + 7*n**2 - 95*n + 355. Is 70 a factor of y(4)?
False
Let i be (-5)/((-20)/16) + 1/(-1). Let h be 1154/i - 2/(-6). Suppose 640 = 5*c - y - y, 0 = -3*c + y + h. Is c a multiple of 6?
False
Let v(h) = h**2 + 6*h - 11. Let y be v(-6). Let a(s) = s**3 + 11*s**2 - 11*s + 15. Does 68 divide a(y)?
True
Let a = 3213 + -169. Does 4 divide a?
True
Let j be -3*(3 - 2315/15). Let x = 87 + j. Suppose x - 1597 = -12*u. Does 44 divide u?
True
Let u(p) = -6*p**2 - 13*p - 2. Let i be u(-2). Suppose i = -5*d - 4*t + 3116, d - 9*t + 6*t = 627. Is 39 a factor of d?
True
Let f(z) = 7*z**3 - 136*z**2 + 44*z + 7. Is f(20) a multiple of 260?
False
Let h(y) be the third derivative of -y**6/120 + 13*y**5/60 + 2*y**3/3 + 2*y**2. Let k be h(13). Is k/30 - 3580/(-150) a multiple of 12?
True
Let g = -52 + 54. Suppose 10*n = 9*n + g. Suppose -2*h - 176 = -4*z, -2*z + h + 96 = n*h. Does 23 divide z?
True
Let r(i) = 4*i**3 - 3*i**2 - i + 1. Suppose 0 = t, 3*n + 4 = -n + t. Let a be r(n). Is 19 a factor of (76/2)/(54/10 + a)?
True
Let o be 3/1*(-2 + (-8)/(-3)). Let p be o/((-12)/3)*-4 - -2. Suppose -p*s + 2 = 2*a - 4, 0 = -4*a + 3*s + 34. Is a a multiple of 5?
False
Let u be (2 - (-3)/6*-6)/1. Let f = 2 - 4. Is 18 a factor of (-1 + 3 + 80)*(u - f)?
False
Let u be (-5 - 134) + 20/4. Is (u/(-5))/((-8)/(-220)) a multiple of 21?
False
Let m(u) = -25*u + 37. Let p(i) = 10*i**3 + 2*i**2 - 4*i - 5. Let f be p(-1). Is m(f) a multiple of 37?
False
Does 62 divide 12 + -9 + 5 + 612?
True
Suppose 5*b = 19*b - 560. Suppose 61*g - b*g - 9408 = 0. Is 6 a factor of g?
False
Let u(z) = 2*z**2 - 4*z - 17. Let m be u(5). Let p(l) = 5*l**2 - 17*l + 42. Is 20 a factor of p(m)?
False
Let v be (-12)/(-54) - 205/(-9). Suppose 5*n - v = -3. Suppose n*p + 8 = 6*p. Does 2 divide p?
True
Let u = -247 - -264. Suppose -13*j = -u*j + 6360. Is 30 a factor of j?
True
Suppose -p + 12161 = -3*j, -11*j - 6 = -13*j. Is p a multiple of 31?
False
Let w = 1348 + 2612. Is w a multiple of 11?
True
Let n(m) = -m**2 - 18*m - 20. Let a(v) = v**2 + 17*v + 19. Let d(t) = 6*a(t) + 5*n(t). Let u be d(-11). Suppose -u*k = -401 - 106. Is k a multiple of 13?
True
Let x(m) = -m**2 + 11*m - 6. Let v(l) = -l + 1. Let g be 30/(-4)*8/10. Let a(j) = g*v(j) - x(j). Does 4 divide a(6)?
False
Let z(w) = -793*w + 54. Let h(c) = 158*c - 11. Let p(v) = 11*h(v) + 2*z(v). Is 20 a factor of p(4)?
False
Let o(c) = -1 + 13*c**2 + 8*c - 3*c - 6*c. Let s be o(-1). Suppose -2 = -3*y + s, -5*y = -g + 25. Does 10 divide g?
True
Suppose 5*f + 0*n + 85 = 2*n, f - 5*n = -40. Let a be ((-408)/36)/((-2)/f). Let x = 140 + a. Is 4 a factor of x?
False
Suppose 13*r = 15*r - 70. Suppose -2*f + 93 = -r. Let a = f - -72. Is 17 a factor of a?
True
Let b be 5610/(-22)*(-18)/10. Suppose -b*c - 1760 = -464*c. Is 12 a factor of c?
False
Let w be (10/(-8))/((-21)/84). Let c = 212 + w. Is 2 a factor of c?
False
Let t(p) = 43*p + 1342. Is 32 a factor of t(39)?
False
Let t = 65 + -55. Let o be (48/t + -6)/(3/110). Is (5 + (-2 - -1))/((-4)/o) a multiple of 22?
True
Is 29 a factor of 2/(-4) + 0 + 27171/18?
False
Let b(i) = 5 - 3 - 7 + 518*i + 2 - 5. Is b(1) a multiple of 34?
True
Suppose -9*i = -i - 112. Suppose -i*o + 5280 = o. Is 44 a factor of o?
True
Suppose 21 = 3*x + 4*b, -2*x - 3*b = -7*b + 6. Suppose x*y = 3*c + 12, 12 = -c + 5*y - 2*y. Suppose c = r + 3*r - 428. Does 20 divide r?
False
Let a = -2048 + 2049. Let y = 342 - 7. Is 11/55*y*a a multiple of 24?
False
Let v(n) = 3*n**2 + 73*n - 47. Let r be v(-25). Is 10 a factor of (27/18)/((-341)/114 + r)?
False
Suppose -2*y + 832 + 1072 = -3*f, -2*f = -2*y + 1272. Let q = 744 + f. Is q a multiple of 16?
True
Let n(h) = -1. Let a(m) = -m**2 + 2. Let d(w) = 4*a(w) + 9*n(w). Let b be d(-1). Is 20 a factor of b*(-8)/20 - 59*-1?
False
Suppose 2*s + 20061 + 39795 = 8*s. Is s a multiple of 29?
True
Suppose f - 4*s - 205 = 44, 0 = 5*f - 2*s - 1245. Let j = f + -193. Is 4 a factor of j?
True
Suppose -152*q - 2272 = -150*q. Let w = -752 - q. Is w a multiple of 16?
True
Let s = 13089 + -7399. Is 10 a factor of s?
True
Let f = 25395 + -12343. Is f a multiple of 13?
True
Suppose -108310 = -182*g + 96258. Is g a multiple of 4?
True
Let j be 4*(-5)/20*-3. Let k be (-30)/(-25)*(3 + j + -1). Is 16 a factor of k*1/2 + (-1323)/(-7)?
True
Let w = 25 + -38. Let m(i) = -8*i + 11. Let z be m(w). Is z/(4*4/16) a multiple of 16?
False
Let g(o) = 662 + 0*o - 635 + 16*o - o**2. Is g(9) a multiple of 5?
True
Let z = 43488 - 31188. Is 123 a factor of z?
True
Let n be -10473*4/(-12) + -3. Suppose 0 = 10*t - 6*t - n. Is 22 a factor of ((-1)/(-2))/(4/t)?
False
Suppose -94*k + 98*k = 48. Suppose -3*i = k*i - 3930. Is 10 a factor of i?
False
Suppose -4*w = 1060 - 4004. Suppose -56*k = -55*k - w. Is 8 a factor of k?
True
Suppose -18*h - 5*f = -21*h + 423, 2*f = 0. Let j be (0 - 2)/((-2)/539). Suppose j = 5*w - h. Is 34 a factor of w?
True
Let s = -13736 + 25039. Is 31 a factor of s?
False
Suppose -38*p = -16*p - 39600. Does 72 divide p?
True