+ 431200. Does 85 divide c?
False
Suppose -223 = 4*y - m + 69, y = 5*m - 73. Let x = y - -126. Let n = -9 + x. Is 6 a factor of n?
False
Let c = -35521 - -58834. Does 10 divide c?
False
Let u(t) be the third derivative of -t**4/6 + 22*t**3/3 + 32*t**2. Is 16 a factor of u(3)?
True
Let d(b) = b**2 + 11*b + 25. Let w be d(-6). Let x be 48/w + (-2)/5. Is 3 a factor of 65/2 + (-5)/x?
True
Let a be 2/(5 - (-39)/(-9)). Suppose 2*y + y - a*s + 315 = 0, -y - 4*s - 130 = 0. Let r = 146 + y. Does 4 divide r?
True
Let a = 15032 + -2184. Is 11 a factor of a?
True
Let c(o) be the first derivative of 4*o**3/3 - 6*o**2 + 17*o + 41. Is c(4) a multiple of 11?
True
Suppose -179*b - 45167 = -539565. Is 12 a factor of b?
False
Let p(t) = -69*t + 507. Is 3 a factor of p(7)?
True
Let o(c) = 18*c**3 - 3*c**2 + 60*c - 330. Does 143 divide o(5)?
True
Suppose 8*d + 5076 = 35*d. Is d a multiple of 25?
False
Suppose -67414 = -8*i - 11464 + 34946. Is i a multiple of 186?
False
Suppose -16*w + 14*w - 17194 = -2*o, -8591 = -o - w. Is 42 a factor of o?
False
Suppose 865 = 16*k - 11*k. Let b = 336 - k. Is b even?
False
Let z = 92 + -29. Let y = 64 - z. Does 20 divide 2*((-1 - y) + 278/4)?
False
Let g(o) be the first derivative of 11*o**2/2 + 55*o + 57. Is 55 a factor of g(0)?
True
Suppose 3244 + 71 = 13*o. Let p = 53 + o. Is 14 a factor of p?
True
Let n = -55 + 28. Let f be (-662)/7 + n/63. Let h = -45 - f. Does 11 divide h?
False
Let h = 12725 + 58680. Is h a multiple of 12?
False
Let t = -2135 - -1252. Let y = t - -1360. Is y a multiple of 53?
True
Suppose -4*u + 1061 = m - 747, -5*m + 5*u + 9140 = 0. Suppose -5*h + m = -21. Is 9 a factor of h?
True
Is -105*(6 + (168/(-5) - 111/(-185))) a multiple of 27?
True
Let r(w) = 389*w - 763*w - 37 + 408*w - 17*w**2 + w**3. Is 4 a factor of r(15)?
False
Suppose 5*b = 2*q + 28771 - 7449, -4269 = -b + 5*q. Is b a multiple of 8?
True
Let x(f) = f**3 + 7*f**2 + f + 10. Let l be x(-7). Let i(y) = y**3 - 2*y**2 - 4*y - 1. Let q be i(l). Let o(v) = 4*v**2 + 7*v + 14. Is o(q) a multiple of 10?
True
Let j(y) = y**3 - 5*y**2 - 6*y + 3. Let x be j(6). Suppose 3*w - x*i = -51, -w - 14 = w + 2*i. Let t(s) = s**2 - s + 24. Is t(w) a multiple of 15?
True
Suppose 0 = -5*y - 178 + 208. Suppose 7730 = 16*k - y*k. Does 20 divide k?
False
Let b be -3 + -367 + 2 - (-28)/(-7). Is b*(-3 - (-7 + 5)) a multiple of 31?
True
Let w(h) = -33*h + 13. Suppose 4*p + 174 = -194. Let o = -95 - p. Is w(o) a multiple of 16?
True
Let v(z) = -525*z - 1528. Is 43 a factor of v(-63)?
False
Suppose -7 = 18*c - 7. Suppose 4*l - 832 = -4*z + 16, -l - 5*z + 220 = c. Does 42 divide l?
True
Let b = -6271 - -11394. Does 11 divide b?
False
Let d = 63 - -248. Suppose -w - 2483 - d = -5*a, 2*a + w = 1119. Is 13 a factor of a?
True
Let q(y) = -2*y - y + 3 - y - y**2 + 9*y. Let l be q(5). Suppose -7 = -b - 2*k + 19, -4*b - l*k = -89. Is b a multiple of 5?
True
Let x(l) = -10*l**3 + 12*l**2 + 2*l + 2. Let f be x(-4). Suppose -4*o - 4 = 0, -7*r - 5*o + f = -4*r. Does 8 divide r?
False
Suppose 0 = -62*u + 41903 + 229719. Is 52 a factor of u?
False
Let x be (-13)/5*-4*(-195)/(-52). Suppose -4*t = -5*i + 5975, -38*t + x*t = 5. Is i a multiple of 11?
True
Let w = -3918 + 20910. Is w a multiple of 59?
True
Let s(l) = 140*l + 380 - 464*l + 152*l + 143*l. Does 9 divide s(-17)?
True
Suppose 5*y = 168*y - 30*y - 344071. Is 148 a factor of y?
False
Let z(g) = g**3 - 2*g - 1. Let t(p) = 2*p + 14. Let u be t(-7). Let o be z(u). Is 5 a factor of (10/(-4))/(3/54*o)?
True
Let j(l) be the second derivative of 7*l**4/4 + 17*l**3/3 + 132*l**2 + 280*l. Does 18 divide j(-9)?
False
Let g(z) = -80*z - 16. Is g(-149) a multiple of 56?
False
Suppose 604*j + 25960 = 612*j. Is 8 a factor of j?
False
Suppose 0*g = -y - 4*g + 16, -3*y + 4*g = 16. Suppose 0 = -y*d + 5*d + 220. Does 27 divide 1/((-2)/d*(-4)/(-8))?
False
Let t = 2427 + -897. Suppose 5*a = -4*v + 1203, v = 6*v + a - t. Is v a multiple of 39?
False
Suppose 66*b = -55*b + 20449. Is 52 a factor of b?
False
Let j = 129500 + -74726. Is 306 a factor of j?
True
Let p = -8445 - -8655. Does 6 divide p?
True
Let x(j) be the second derivative of -53*j**5/40 + j**4/24 - 7*j**3/3 - 17*j. Let m(t) be the second derivative of x(t). Does 31 divide m(-1)?
False
Suppose -4*u + 1022 + 129 = 3*c, -2*u + 1895 = 5*c. Let r = c - -99. Is r a multiple of 14?
True
Let c = -156 - -159. Suppose c*q - 5082 = -q + w, 4*w - 5092 = -4*q. Suppose -14*h + q + 2957 = 0. Is 50 a factor of h?
False
Suppose 3*f + 0*f = 0. Suppose -w + 3*v = -2*v + 7, f = 5*v - 10. Suppose y = -w*y + 104. Does 14 divide y?
False
Let c be -3 + 8*22/(-4). Let h = -37 - c. Let l(o) = -o + 18. Is 5 a factor of l(h)?
False
Let q be (84/(-18))/(-7)*3*1. Let s be q*(4 + -3) - -68. Let j = -39 + s. Is j a multiple of 7?
False
Let u(b) = -b**3 + 12*b**2 + 3. Suppose 69*c = 73*c - 8. Suppose -45 = -5*f - 5*i, 29 + 8 = 3*f - c*i. Is u(f) a multiple of 13?
False
Suppose 15*r - 15 = 13*r - 3*q, 0 = 4*r - q - 23. Let n(t) = 147*t + 70. Does 34 divide n(r)?
True
Let a = -49 - -51. Suppose -a*g - 5*g = -14. Suppose -h + 105 = g*u, 4*u - 5*u + 53 = h. Does 36 divide u?
False
Let j(d) = 6*d**3 + 2*d**2 - 3*d. Let c be j(1). Suppose -c*z + 1272 = 2*g, 8*z = 9*z - 4. Does 13 divide g?
False
Let q = -358 + 89. Let j = 690 - q. Is j a multiple of 11?
False
Suppose -14*p + 10227 - 2191 = 0. Is 10 a factor of (-8)/14 - (-172528)/p?
True
Suppose 0 = -7*h - 11*h + 18. Is 17 a factor of -5*((-8189)/(-285))/(h/(-3))?
False
Let v(z) = z**3 - 3*z**2 + 5*z - 4. Suppose 5*t + 7 - 2 = 0, 4*x + 2*t = 6. Let i be v(x). Suppose 0 = -i*s - 0*s + 12. Does 6 divide s?
True
Suppose -11*u - 367 + 4877 = 0. Let t = -361 + u. Is t a multiple of 6?
False
Suppose -22*d - 4452 = -34*d. Suppose 3*w = -5*j + d, 5*w - 554 - 111 = j. Is w a multiple of 5?
False
Suppose 1701 = 779*a - 782*a. Let p = a - -805. Is 4 a factor of p?
False
Let g(b) be the second derivative of b**4/12 - 3*b**3/2 + 113*b**2/2 + 3*b + 44. Is 37 a factor of g(14)?
False
Let p(u) = -5*u**2 - 28*u + 1741. Let i(o) = -o**2 - 7*o + 435. Let z(l) = 9*i(l) - 2*p(l). Is z(0) a multiple of 18?
False
Let n = 7 + -5. Let z(s) be the third derivative of s**6/60 + s**5/20 - s**4/12 - s**3/3 + 194*s**2. Is 22 a factor of z(n)?
True
Is (43/3)/((-164)/(-16728)) a multiple of 17?
True
Suppose -5*p = -u - 10*p - 129, 0 = 4*u - p + 453. Let h = 197 - u. Suppose -9*r - 59 = -h. Is 4 a factor of r?
True
Let i(a) = 2*a**2 - 31*a + 1280. Does 40 divide i(0)?
True
Let n = -294 + 289. Is 3 a factor of (168/(-105))/(1 - (-7)/n)?
False
Suppose -p + 6 = k, -3*k - p = -2 - 14. Suppose -1855 - 1105 = -k*s. Is s a multiple of 8?
True
Suppose 1581 = 5*r + 7116. Let f = 1585 + r. Does 13 divide f?
False
Does 19 divide (-120)/20 - 2662*-3?
True
Let h(m) = -736*m - 3512. Is h(-21) a multiple of 105?
False
Let a = 38 - 34. Suppose -x - 520 = -4*u - 5*x, 535 = a*u + x. Suppose 2*p - z = u, p + 2*z = -3*z + 62. Is 29 a factor of p?
False
Suppose 0 = 4*s - 2*c + 894, 5*c = 2*s - 5*s - 703. Let h(u) = 91*u**2 - 6. Let x be h(-2). Let a = s + x. Does 12 divide a?
True
Let n be (14/(-3))/(6/9) + 5. Is 20 a factor of (-2)/(n/(-1))*5*-116?
True
Let x(y) = y**3 - 5*y**2 + 4*y - 1. Let m be x(4). Let r be -19 - -18 - (m - 1). Does 12 divide (54/(-15)*r)/(21/(-490))?
True
Suppose -26*d + 19*d = -8869. Let x = -838 + d. Is x a multiple of 59?
False
Is 32 a factor of (-590)/(-3)*26406/652?
False
Let l(t) = -t**3 - 21*t**2 + 51*t - 487. Does 186 divide l(-37)?
True
Let i = -284 + 299. Suppose -4*j + a = 163 - 576, 5*a = i. Is 9 a factor of j?
False
Let d(m) = -2232*m - 6. Let g be d(-9). Suppose -25*v + 4943 = -g. Is v a multiple of 75?
False
Let c(y) = -y**3 + 13*y**2 - 16*y - 51. Let t be c(11). Does 10 divide 1788/t*6 + (-12)/10?
False
Let b = 20029 + -14230. Does 39 divide b?
False
Let v be ((-6 + -21)/9)/(2/2). Let y be -3 + ((-6 + 3)/v - -14). Does 6 divide 49/4 + (2 - 27/y)?
True
Let z be (-3 + 65/25)*-10. Suppose 3*m - 4*q - 336 = 0, 0 = -z*m + 5*m + 5*q - 112. Does 16 divide m?
True
Let w be 205/(-3) + (-4)/6. Let r = -1883 - -2020. Let h = w + r. Is 15 a factor of h?
False
Suppose -337345 = -77*q + 13*q + 11*q. Is 95 a factor of q?
True
Suppose -2*a - 279296 + 679646 = 15*a. Is a a multiple of 75?
True
Let y(t) = 