Suppose m = -j + 8896, 8*j + 17776 = 10*j - 2*m. Is j a multiple of 156?
True
Let b = 1273 - 375. Suppose -29 - b = -9*v. Is v a multiple of 16?
False
Suppose -3*t - 825 = c + 2*c, -4*t = c + 1091. Let u = t - -557. Is 5 a factor of u?
True
Suppose 4*n = -2*f + 80, -5*f + 130 = -0*n - 4*n. Suppose 3*w = -657 - f. Does 4 divide 24/84 + w/(-7)?
False
Let x = -184 - -188. Suppose 10*b - 420 = -x*b. Does 15 divide b?
True
Let x = 39770 + -17289. Does 21 divide x?
False
Suppose 3*h = -2*r + 2074, -5*h + 5*r = 3*r - 3446. Suppose -55*u = -50*u + h. Let j = -94 - u. Is j a multiple of 5?
False
Let r(g) = 2*g**2 + 8*g + 8. Let b(v) = -3*v**2 - 15*v - 15. Let o(w) = -6*b(w) - 11*r(w). Let t be o(2). Is 6 a factor of ((-42)/(-5))/((-2)/t) - 0?
True
Let o = -3229 - -10373. Is o a multiple of 44?
False
Let k = 6 - 2. Suppose -c - 582 = -4*u, -5*u + k*c + 717 = 8*c. Let z = -91 + u. Is 6 a factor of z?
True
Let l be (3 - (1 - -1)) + 4. Let f = 23 + l. Let n = f + 36. Is 8 a factor of n?
True
Let w = 5630 - 2992. Is 152 a factor of w?
False
Suppose -6*z = -z - 95. Suppose 426 - 408 = 3*c. Let n = z - c. Does 13 divide n?
True
Let c(s) = s**2 + 4*s - 2. Let u be c(-4). Let k(n) be the third derivative of 17*n**5/30 + n**4/4 + n**3/3 - 178*n**2 - n. Is 21 a factor of k(u)?
True
Let j(t) be the second derivative of t**8/1344 + t**7/504 - t**5/10 - 17*t**4/12 + 44*t. Let c(v) be the third derivative of j(v). Is 55 a factor of c(3)?
False
Let r = 172 + -186. Let k(s) = s**2 + 3*s - 54. Does 16 divide k(r)?
False
Let h(y) = -209*y - 106. Let q(b) = -b**2 + 17*b - 58. Let x be q(13). Is h(x) a multiple of 82?
True
Suppose -d + 964 = 4*y, -2*d - 26*y = -21*y - 1940. Does 7 divide d?
True
Suppose -89*s + 128742 = -3*s. Is s a multiple of 24?
False
Let l(t) = 116*t - 3287. Is 106 a factor of l(107)?
False
Let f(x) = 39*x**2 + 13 - 3 - 22 - 2*x. Is 28 a factor of f(-3)?
False
Suppose 4*i - 12418 = 4*q + q, 2*i - 3*q = 6210. Is i a multiple of 66?
True
Suppose -3*g + 16 = -5*n, -g - 3*n = n + 6. Suppose -3*u - 2425 = -4*t, g*u = -2*t - 0*t + 1230. Is 14 a factor of 2/4 - t/(-4)?
False
Suppose 29*a - 34*a = -2*u + 278, 0 = -3*a + u - 167. Let v = 41 + -75. Let p = v - a. Does 20 divide p?
False
Let g be (1 - 4) + 6/2. Suppose h + 2*y + 9 = 0, h + g*h + 4*y + 19 = 0. Suppose -2*j - 688 = -5*q, 4*j = 5 - h. Is q a multiple of 19?
False
Let u(l) = -2*l**2 - 13*l + 0*l - 9*l + 4*l**2 + 80 + 4*l**2. Is 41 a factor of u(6)?
True
Suppose -4198378 = -570*f + 3422491 - 2053109. Is 37 a factor of f?
True
Suppose 0 = j + l - 279, -j - 123*l + 283 = -118*l. Is 2 a factor of j?
True
Let y be 3/9*(-6 + 9 + -3). Suppose 6*n = 4*n + 3*l + 833, 4*n - 3*l - 1681 = y. Does 18 divide n?
False
Let s(f) be the third derivative of 233*f**5/30 + 9*f**2. Does 49 divide s(-1)?
False
Let m be (8 - 995)*-1 - 5. Let z = m + -657. Does 5 divide z?
True
Let z = 119 - 122. Let m(r) = -27*r**3 + 2*r + 8. Is 17 a factor of m(z)?
True
Suppose 2*y = 4*f - 450, 1105 = -5*y - f + 6*f. Let v = y - -351. Is 39 a factor of v?
False
Let d(f) = f**3 - 11*f - 11. Let w be d(-5). Suppose 70 = 8*c + 814. Let m = w - c. Is 2 a factor of m?
True
Let n be ((-2)/8 + 12/(-16))*-1. Suppose -n = 5*d - 491. Let a = -62 + d. Does 12 divide a?
True
Let r be -10 + (-4)/((-16)/(-20)). Suppose -3 = 3*d, 6*z + 5*d + 5 = 2*z. Does 5 divide (-13)/(3/r + z)?
True
Let v = -4697 + 4575. Let w = -2 + -28. Let r = w - v. Is 23 a factor of r?
True
Let y = -317 - -317. Suppose -35*p + 6818 + 3892 = y. Does 18 divide p?
True
Let j be 0 + (-32)/(-24)*(-354)/(-4). Suppose g - 568 = -2*a - 53, 5*g + 1023 = 4*a. Let d = a - j. Is d a multiple of 26?
False
Let p be ((-26)/8 + 1)/(75/(-3800)). Let s = 300 - p. Is 12 a factor of 18/(-27)*s/(-4)?
False
Suppose 25*j - 7*j = j. Suppose -s = 4*c - 4763, 3*c - 4*s - 4638 + 1080 = j. Is 57 a factor of c?
False
Let g(l) = 76*l**2 + 5*l - 29. Is 4 a factor of g(7)?
False
Let k be ((-26)/4)/(2/4). Let h be (7 + -6)/(1/k)*-1. Suppose -y + 61 = -h. Does 8 divide y?
False
Suppose y = -s + 252, 5*y + 4*s = 8*y - 756. Is 2 a factor of y?
True
Let a(j) = 92*j - 632. Is a(15) a multiple of 22?
True
Let z(d) = 2*d**3 - 8*d**2 - 3*d + 6. Let w(b) = b**3 - 7*b**2 - 2*b + 6. Let g(o) = -o - 23. Let m be g(-18). Let p(k) = m*w(k) + 4*z(k). Does 29 divide p(3)?
False
Is (-109046)/(-49 + 35) + (-1)/(0 + -1) a multiple of 41?
True
Let g(v) = -v**2 - 19*v + 14. Let w(k) = -3*k - 5. Let c be w(6). Let h be g(c). Let u = h + 96. Is 3 a factor of u?
True
Suppose -1075 = 2*v - 3369. Is 5 a factor of v?
False
Is 6 a factor of 3/6*(-1 + -9 + 1766)?
False
Suppose -31*g + 40714 = -92845 - 7491. Is g a multiple of 35?
True
Suppose 137 = -18*l - 475. Let k = 34 + l. Suppose 0 = 4*x - 4*i - 40, k*x = -4*x - 4*i + 64. Does 9 divide x?
False
Let w(i) = -i**3 + 94*i**2 - 776*i + 261. Does 68 divide w(79)?
True
Let g = 24 - -479. Suppose 0 = 8*f - 553 - g. Is f a multiple of 11?
True
Suppose -4*f + 14637 = 3*w, 5*w + 97*f = 101*f + 24363. Does 9 divide w?
False
Let t(o) = 33*o + 20 - 97*o + 31*o. Is 25 a factor of t(-10)?
True
Suppose -13*f + 10*f - t + 91 = 0, 4*t = 3*f - 86. Suppose -2*x = -s - 1054, -527 = -x + 26*s - f*s. Does 17 divide x?
True
Suppose 0 = 4*o - 4*y - 74563 - 22685, 24330 = o + y. Is 11 a factor of o?
True
Let p = 7538 - 2921. Suppose 0 = -5*l + 4*k + 7324, 205 - p = -3*l - 2*k. Does 51 divide l?
False
Let a(t) = 1643*t + 1138. Does 113 divide a(9)?
False
Let w(r) = -56*r - 30. Let o be w(-18). Suppose 53*q = 47*q + o. Does 49 divide q?
False
Is ((-1785735)/(-420) - (-2 + (-11)/(-4)))/1 a multiple of 109?
True
Suppose -3*z = 4*w - 4609, -5*z + 3066 = -3*z + 4*w. Does 23 divide z?
False
Let h(c) = c**2 + 9*c + 19. Let v be h(-9). Suppose -v*l + 15*l + 12 = 0. Suppose l*p - 41 = -x + 4*p, -144 = -3*x - 4*p. Is 11 a factor of x?
True
Suppose -i = 3*w + 14, 2*w - i + 6*i = 8. Let k be 10773/(-95) + w/10. Is 17 a factor of (-2*k/4)/((-1)/(-1))?
False
Let b(t) = -t**3 - 21*t**2 + 22*t + 6. Let y be (-12)/4 - (-79 + 3)/(-4). Let r be b(y). Is r*5/10 - (1 - 15) a multiple of 6?
False
Suppose -9*c - 3261 = -10164. Suppose -23*h = -22*h - c. Is h a multiple of 59?
True
Let j be (-4 + -3)*5/1. Let x = j + 46. Suppose x*m - 365 = 6*m. Does 6 divide m?
False
Suppose 12*h - 5*q = 8*h + 8495, -2*h - 3*q = -4275. Does 32 divide h?
False
Is (6/(11 + -5))/(3 - 21360/7122) a multiple of 4?
False
Suppose -232 = 6*c + 1142. Let l = 479 + c. Is 25 a factor of l?
True
Suppose 169 = -42*v - 209. Does 17 divide -3*(354/v - 6)?
True
Let a = -368 + 1191. Suppose -4*i = -0*i + 3*m - 1078, 5*m + a = 3*i. Is 17 a factor of i?
False
Let i(m) = 16*m + 250. Let r be i(-20). Is 30/(2 - 4)*r/6 a multiple of 7?
True
Suppose -3*t - 25 = -31. Let u(p) = 2*p**3 + 4*p**2 - 8*p + 5. Let h be u(t). Suppose -144 = -3*f - h. Is 4 a factor of f?
False
Let o = 2166 - 4194. Is 13 a factor of (1/(-2))/((-2)/o*-3)?
True
Let q(h) = -h**3 - h**2 + 17*h + 18. Let o be q(-4). Let a = o + 695. Is 33 a factor of a?
True
Let l = 714 + 10710. Is 12 a factor of l?
True
Let n(a) = 942*a**2 + 12*a + 22. Does 17 divide n(-2)?
False
Suppose 2*z - 58 = -3*z + 2*y, -4*y + 64 = 5*z. Suppose p + 12 = -z. Let r = p + 57. Is r a multiple of 14?
False
Let d(c) = -261*c + 136. Let n(h) = 87*h - 45. Let v(u) = -4*d(u) - 11*n(u). Let p be v(28). Suppose p = 9*g + 2*g. Does 42 divide g?
False
Let g = 24601 - 13158. Does 101 divide g?
False
Suppose 115*v + 59400 = 159*v. Is 93 a factor of v?
False
Let i(t) = 63*t**2 + 2*t. Let x = 72 + -68. Suppose x*d = 3*d + 2. Does 32 divide i(d)?
True
Suppose 0 = -4*m - 5*p + 2572, 767 = -5*m + 4*p + 3941. Let o be (-1268)/6 - ((-25)/(-15) + -1). Let f = m + o. Is 63 a factor of f?
False
Let c be (10/(-20))/((-1)/6). Suppose -2*y - y + 23 = 4*o, 5*o - c*y = -5. Suppose -o*i = -14 - 76. Is i a multiple of 5?
True
Suppose 8 = 7*z - 11*z. Let s(i) = i**3 + 12*i**2 + 9*i - 14. Let g(b) = -b - 1. Let t(x) = z*g(x) + s(x). Is t(-10) a multiple of 39?
True
Suppose -2*p + c = -0*c - 158, 4*c + 392 = 5*p. Suppose -5*x + g = -3*g + 111, -4*x - p = -g. Let v = 179 + x. Does 40 divide v?
True
Is (330/(-30) + 196/(-4))/((-1)/4) a multiple of 4?
True
Is -18*(-12)/2052 - (-65795)/19 a multiple of 138?
False
Let j(f) = -f**3 - 18*f**2 - 10*f + 18. Suppose -3*t