204 = 4*v - 6*m, 2*m = -b*v + 192. Is v a multiple of 7?
True
Suppose 12*d - 69311 = 10657. Is 8 a factor of d?
True
Suppose 5*c + 5*r - 6546 = 6*r, 3*c + 3*r - 3942 = 0. Is 10 a factor of c?
True
Let p be (-4956)/(-196) - (-6)/(-21). Suppose -p*a + 32*a - 1078 = 0. Is a a multiple of 11?
True
Suppose 113 - 101 = 4*l. Let d(f) = 250 - 3*f - f - 6*f**l - 3*f**2 - 253. Is 6 a factor of d(-2)?
False
Let y be 4*(-9)/(-6)*(-8)/(-24). Let h(s) = -25*s + 9*s**2 - 9*s**y + 4*s**2. Does 16 divide h(12)?
False
Suppose -5*x = -w + 3045, 252*w - 250*w + 5*x = 6075. Is w a multiple of 80?
True
Suppose -d - 5115 = -h, -4*h + 443*d - 446*d + 20502 = 0. Is 46 a factor of h?
False
Suppose 14083*z - 14095*z = -5568. Is z a multiple of 2?
True
Let f = -25 - -13. Let a = 15 + f. Is (-9)/a*1 - -18 a multiple of 10?
False
Let h(s) = -s**3 - 4*s**2 + 5*s + 1. Let c be h(-6). Let i be -109 + ((-36)/(-2))/2. Let v = c - i. Is v a multiple of 12?
False
Suppose 3071*s = 3072*s - 1235. Is 6 a factor of s?
False
Suppose 6*w = 3*w + 65373. Suppose 8*z - w = -3*z. Suppose -10*v + z - 241 = 0. Does 20 divide v?
False
Let i(z) be the second derivative of 11*z**3/6 + 7*z**2 + z - 3. Is 12 a factor of i(14)?
True
Suppose -135*q + 134*q - 9 = 0. Let u(a) be the second derivative of a**4/12 + a**3/2 + 7*a**2/2 + 2*a. Is u(q) a multiple of 4?
False
Let i(f) = 594*f - 726. Is 66 a factor of i(13)?
True
Suppose -s = -3*k + 15, k = -2*k + 5*s + 3. Suppose -g + k = -4*g. Does 31 divide 188/3 + g/3?
True
Let q = -49 - -143. Let v(b) = -q*b + 3 + 23*b + b. Is v(-1) a multiple of 22?
False
Does 42 divide (56 + 2)*(32 - -2)?
False
Suppose 118*y + 16416 = 126*y. Does 80 divide y?
False
Suppose -217 - 103 = -8*d. Suppose -44*m + d*m = -160. Suppose 39*r = m*r - 231. Is 11 a factor of r?
True
Let p(k) be the third derivative of k**6/60 - 2*k**5/15 + k**4/6 - 3*k**3/2 + 8*k**2. Does 23 divide p(5)?
False
Let w be (6 + -1 + -3)/((-4)/(-34)). Suppose -w*k = -19*k - 94. Let x = 103 - k. Does 15 divide x?
True
Suppose -8*q - q - 23*q + 149856 = 0. Is q a multiple of 21?
True
Let n be ((-1)/3)/(145/75 + -2). Suppose 155 = n*i - 205. Is i a multiple of 2?
True
Suppose 0 = 14*n - 34571 - 9142 - 122887. Does 85 divide n?
True
Let m be 10/25*60/1. Suppose -8 = -4*v, 5*b + 16*v - 11*v = 355. Let a = b + m. Is 13 a factor of a?
False
Let i be (14/2)/(-2 + 39/18). Let a = i + -66. Is 33/(-44)*(0 - a)*-8 a multiple of 24?
True
Let j(w) = 12601*w + 23. Is 48 a factor of j(1)?
True
Let b(o) = -o**2 - 5*o + 2. Let c be b(-2). Suppose 44 = -c*z + 292. Does 2 divide z?
False
Let o be 4/12*(-6)/10*-10. Suppose 0 = 5*z - 4*n - 809, o*n + 170 = z + 7. Does 12 divide z?
False
Suppose 14*s - 316005 - 60723 = -30*s. Is 79 a factor of s?
False
Let q(x) = x**2 + 45*x - 1514. Is q(125) a multiple of 7?
False
Let k(h) = -6*h + 81. Let v be k(13). Suppose -6*f + f + i + 139 = 0, -93 = -3*f + v*i. Does 2 divide f - (6 + -7) - 8/2?
True
Suppose 16*o - 7*o = 27*o - 150372. Is o a multiple of 98?
False
Let f = 5845 - -1295. Is f a multiple of 34?
True
Let f = 29525 - 20765. Does 60 divide f?
True
Let d be 1/((-21)/(-6) + 1 + -5). Let v be 4/((-32)/d) + 44/16. Suppose 1156 = 5*u - m, -v*u + 5*m - 51 = -749. Is 21 a factor of u?
True
Does 5 divide (-19 - -6) + 56 + -3?
True
Let s(z) = -29*z - 1. Let y be s(-2). Let v be (y/(-5))/((-26)/260). Let u = v + -39. Is 25 a factor of u?
True
Let n(t) = -2 - 24*t + 1 - 6*t**3 - 17*t + 40*t + t**2. Let w be n(-1). Let c(d) = 8*d - 45. Does 11 divide c(w)?
True
Let v(q) = -17*q + 240. Suppose 5*m + 5*u - 65 = 0, 0 = 6*m - 4*m - 4*u - 20. Is 36 a factor of v(m)?
True
Let t be (-567036)/153 + (-45)/51 + 1. Is (144/(-2))/2*t/327 a multiple of 12?
True
Let o be (1 - 19)/(10/(-5)). Suppose 930 = -6*n + o*n. Suppose -2*l + 168 = y, 590 + n = 5*y - 5*l. Is 44 a factor of y?
True
Suppose -3*t = -g - 7015, 0 = 8*t - 3*t - 4*g - 11701. Is t a multiple of 24?
False
Let y = -771 - -1299. Let x = 958 - y. Is x a multiple of 4?
False
Let q(u) = u**2 + u - 37. Let w be q(-5). Let o(f) = -6*f. Let k be o(2). Is (-2 - k)/5 - w a multiple of 13?
False
Suppose -147 = -6*j + 5*j. Let q = 177 - j. Is 10 a factor of q?
True
Let i = 743 - 475. Is 11 a factor of i/(-201) - 65*(-16)/6?
False
Suppose 4*z - 50 = 5*v, -5*v + 2*v = -z + 9. Suppose -4*n - 2 = 3*l - 17, z = 3*l + 2*n. Suppose -2*g - 5*a = -271, 0*a = -l*a + 15. Is 16 a factor of g?
True
Is (-10595)/(-6) - (-790)/(-948) a multiple of 5?
True
Let i = 147 + -127. Is 94 - (i/(-2) + 5) a multiple of 9?
True
Let d(c) = c**2 - 24*c + 14. Let a be d(23). Let n = a - -205. Is 14 a factor of n?
True
Suppose 284*j - 28245 = 277*j. Is 12 a factor of j?
False
Let w(p) = 2*p**2 - 42*p - 324. Let s be w(46). Suppose s = 5*v - 1029. Does 22 divide v?
False
Let x(l) = -l**2 + 6*l - 8. Let g be x(5). Let o be ((-88)/(-3) + g/9)*3. Does 10 divide (-1*o)/(2*6/(-8))?
False
Suppose -4*c + 4*y + 12 = 0, -2*c - 2*y + 12 = 6. Is (9/c - 8)/(3/(-345)) a multiple of 25?
True
Let q(s) be the third derivative of -11*s**4/24 - 6*s**3 + s**2 - 56. Let t(x) = x**2 + 5*x - 7. Let n be t(-5). Is 14 a factor of q(n)?
False
Suppose 268*b - 9115567 = -1724158 + 8217179. Is 139 a factor of b?
True
Let n(r) = 5*r**2 - 16*r - 69. Let v be n(15). Suppose 0 = -6*f - 2*f + v. Is f a multiple of 2?
True
Suppose m + 1712 = 3*d, -d + m = 295 - 867. Let n = d + -342. Is n a multiple of 19?
True
Let a(m) be the second derivative of -95*m**3/6 + 29*m**2/2 - 22*m. Let r be a(-5). Suppose 2*c = 6*c - r. Is 12 a factor of c?
False
Let j = 424 - 103. Let r = -161 + j. Does 5 divide r?
True
Let m = 170 - -665. Is 35 a factor of m?
False
Let c(s) = 2*s**3 + 21*s**2 - 24*s - 90. Does 39 divide c(-11)?
False
Suppose a = -2*g + 13809, 4*g + 125*a = 128*a + 27633. Does 14 divide g?
False
Suppose -37 = -4*o - 5*t + 255, -2*t = 8. Is (9 - o)*-18 - 0 a multiple of 18?
True
Suppose 4249 + 52142 = 5*x - 10239. Is x a multiple of 42?
False
Let x = 160 - 84. Suppose -4*w - 209 = 3*q, x = -w + 4*q - 0*q. Let y = -40 - w. Does 4 divide y?
True
Let b be ((-147)/12)/((-1)/(-4)). Let c = 60 + b. Let m = c + 14. Does 25 divide m?
True
Let q(x) = 129*x - 5063. Does 3 divide q(73)?
False
Suppose 0 = -4*o - 2*n + 45788, 0 = 5*o - 3*n - 10482 - 46709. Is o a multiple of 9?
False
Let q(c) = -c**3 + 7*c**2 - 9*c - 15. Let z be q(5). Does 17 divide ((-2312)/16)/(5/z)?
True
Let k be 3 + 3*(-2)/(-3) + -1. Suppose c + s = 8, c = k*c + 4*s - 29. Suppose -5*y = -c*p + 130, -3*p + 0*y + 154 = y. Is p a multiple of 13?
False
Let a be 15/1*(-4)/(-12). Suppose -p + 6*p - 26 = 2*w, 5*p - a*w = 20. Suppose -54 = -3*u + 3*v, -3*u + 4*u - p = 4*v. Does 16 divide u?
False
Suppose -58581 = -3*w + 42081. Is 54 a factor of w?
False
Let n(a) = 3*a**2 - 223*a - 570. Does 72 divide n(99)?
False
Let p(w) = 6*w**2 - 12*w + 82. Let c(i) = 26*i**2 - 47*i + 329. Let b(a) = -2*c(a) + 9*p(a). Is b(-18) a multiple of 69?
False
Suppose 4*f - f = -w, -5*w = -5*f. Let l(t) = -21 + 2*t - t + w*t + 12*t. Is 14 a factor of l(4)?
False
Let g = 40 - 11. Let d = g - 26. Suppose -4*p = 2*u - 5*p - 125, -2*u + d*p = -119. Is 32 a factor of u?
True
Let p = 9752 + -5374. Is 9 a factor of p?
False
Let u be 6/(168/(-7)) + 21/4. Is u/1*(168/5)/2 a multiple of 14?
True
Suppose 0 = 131*z - 20*z - 1186812. Does 99 divide z?
True
Let c = 298 + -331. Let x(n) = -10*n - 126. Is 6 a factor of x(c)?
True
Let q(o) = 2*o**2 - 2*o - 28. Let t(x) = x**2 + x - 1. Let c(p) = -q(p) + t(p). Let f(y) = 5*y - 5. Let l be f(1). Is 3 a factor of c(l)?
True
Suppose -a = -7*a + 3600. Suppose -4*i + a = -2*i. Let f = i + -160. Does 28 divide f?
True
Let i = 147 - 154. Is 4 + i/14 + (-78)/(-4) a multiple of 23?
True
Let i(x) = -x**3 - 6*x**2 - 7*x - 5. Let t be i(-5). Let p(a) = 17*a + 29. Let h be p(12). Suppose -4*j = 3*d - h, -j - 2*j + t*d = -153. Does 7 divide j?
True
Let o(m) = 13*m + 382. Suppose -20 = -4*c, -22*n + 19*n = 3*c + 45. Is 5 a factor of o(n)?
False
Suppose 2988*b - 5*i = 2991*b - 99482, -3*b + 4*i = -99419. Does 96 divide b?
False
Suppose 7941 + 3499 = v - 2*i, 0 = 2*v + 3*i - 22908. Does 13 divide v?
False
Let r(z) = -2*z**2 + 11*z + 8. Let f be r(6). Suppose 3*s - 256 + 100 = -5*h, 4*s - 208 = -f*h. Is 460/s + (148/(-52) - -3) even?
False
Is 31 a factor of -4*(((-9)/15)