0). Let k = 62 + m. Does 42 divide k?
True
Suppose -241*s = -7070798 - 1227796. Is 26 a factor of s?
False
Suppose 455 = a - 8*a. Let w = -61 - a. Suppose 148 = 4*y + w*c, -6*c = -c - 5. Is y a multiple of 18?
True
Let x = -3764 - -4954. Does 8 divide x?
False
Suppose 0 = -4*s - 585 + 3377. Is 1*(-1 + 3)*s/4 a multiple of 20?
False
Let u(m) = 7*m**2 + 5*m + 8. Let c(t) = -t**2 + 2*t + 6. Let d be c(3). Suppose d*a + a = -8. Is 2 a factor of u(a)?
True
Suppose 64*l = 18*l + 525182. Does 13 divide (-3)/(l/(-5698) + 2)?
False
Suppose 3*d = u - 101, -40 = d - 3*u - 9. Suppose 9*t = -9 - 9. Let z = t - d. Does 5 divide z?
False
Does 21 divide (-112 + 4)*(-862)/6 - (-439 - -436)?
True
Suppose -162 = -2*q - s, -170 = -2*q - 0*q + s. Suppose 2*b - q - 373 = -2*d, -905 = -4*b + 3*d. Suppose b = 4*v - f, -5*v + 401 - 130 = 3*f. Does 6 divide v?
False
Suppose 5*t - 4*g - 2384 = 0, -t + 479 = -g - 2*g. Is 7 a factor of t?
True
Let u be (-14)/(-84) + (-647)/(-6). Does 5 divide 2322/u*(1 + 1)?
False
Let z be 1/(13025/8650 + 3/(-2)). Suppose 412 + z = 3*n. Is 26 a factor of n?
False
Suppose -3*s - 7853 = -2*b, -6*b - 3*s + 3949 = -5*b. Is b a multiple of 14?
True
Let n(u) = 3*u**3 - 6*u**2 - 5*u + 25. Let y be n(-7). Is 1*y/(18/(-6)) + 5 a multiple of 15?
False
Let v(a) = -2*a**2 + 29*a + 89. Let n(m) = -m**2 - m. Let q(z) = -3*n(z) + v(z). Is 5 a factor of q(-30)?
False
Let i = -146 + 124. Let b be i/(-12) + (0 - (-8)/48). Suppose -2*x + 2*u = -166, -b*x = -7*x + 2*u + 400. Does 32 divide x?
False
Let u(z) = -16*z**2 - 5*z + 30. Let t be u(7). Let m = -406 - t. Does 8 divide m?
False
Suppose -19*a + 27 = -49. Suppose -3*c + 8*c - a*j = 1889, -2*j + 1883 = 5*c. Is c a multiple of 13?
True
Let q = -1193 + 11183. Is 114 a factor of q?
False
Let d(y) = y**3 + 5*y**2 - y + 1. Let x be d(-8). Let t = x - -480. Is t a multiple of 27?
True
Suppose 0 = -15*h - 32 + 77. Suppose -h*b + 286 = -59. Does 8 divide b?
False
Let v = 7692 + -2964. Is 6 a factor of v?
True
Let j(g) = -125*g**3 + 8*g**2 - 25*g - 34. Is j(-4) a multiple of 78?
False
Let v(r) = r**2 + 10*r - 29. Let p be v(-13). Suppose -2*s = -5*u - p, -s + 3*u - 42 = -3*s. Is 41 a factor of 2406/s - (-8)/(-20)?
False
Let b(a) = -a - 82*a**3 - 4*a**2 + 21*a**3 + 4 + 26*a**3. Is 18 a factor of b(-2)?
True
Suppose 979*u - 2073 = 978*u + 3963. Is 19 a factor of u?
False
Let r be 5 - (-116 - (0 + 2)). Suppose -119*c = -r*c + 384. Is 4 a factor of c?
True
Let z = -13629 - -15267. Is z a multiple of 6?
True
Let l(x) = -x**2 + 2*x. Let i be l(2). Suppose 3*s + 0*s - 12 = i. Suppose 4*n + 0 - 88 = s*r, 5*n - 60 = -5*r. Is n a multiple of 17?
True
Let h(n) = n**3 - n**2 + 2*n - 16. Let i be 7/(-21) + (-128)/(-24). Does 47 divide h(i)?
True
Let z = -19 + -140. Let v be (16/(-12) - -2)*z. Let n = 120 + v. Is 7 a factor of n?
True
Let q = -597 + 597. Suppose -i + q = 5*b - 104, -92 = -5*b + 2*i. Is 3 a factor of b?
False
Suppose -6281*h = -6276*h + 2485. Let u be -260 - -3 - (-2)/(-1). Let s = u - h. Is s a multiple of 34?
True
Let i(g) = 53*g**2 + 2*g + 9. Suppose 3 - 6 = -2*b - u, 3*u = 3*b - 27. Let m be i(b). Does 27 divide m/4 + (-2)/8?
True
Let j(k) = -4*k**3 - k**2 + 5*k - 13. Let i(q) = -q**3 - q**2 - 1. Let t(s) = -5*i(s) + j(s). Let l be t(-5). Does 16 divide (l/4)/(16/(-32))?
False
Let k(g) be the third derivative of -g**6/120 + g**5/15 - g**4/4 + 2*g**3/3 - 30*g**2. Let m be k(2). Suppose -12*p + m = -72. Is p a multiple of 4?
False
Suppose -b + 6 = 4. Suppose b*k + c - 370 = 5*c, -5*k - 4*c + 855 = 0. Does 10 divide k?
False
Let d = 92 + -92. Let p(w) = w**3 + 6*w**2 - 2*w. Let t be p(-6). Suppose 5*x - 5*n + 2*n - 528 = d, 3*n = t. Does 10 divide x?
False
Let x = -1717 + 2717. Is x a multiple of 3?
False
Suppose 115075 = 3*y - g, 5*y - 3*g = 3*y + 76712. Suppose 29*s - y = 2589. Is 34 a factor of s?
False
Let l = 173 - 155. Suppose -l*o = -9*o - 432. Does 23 divide o?
False
Let k be (-6)/(-10)*15*3/9. Suppose -k*w + 1312 = 2*g - 813, 2*w + 4*g = 1430. Suppose 14*p - w = 9*p. Is 47 a factor of p?
True
Let l be (145 + -1)/6 - (-2)/(-1). Suppose -r - l = -28. Is 42 a factor of -9*1*14*(-2)/r?
True
Let h(s) = 2*s**3 + 123*s**2 - 400*s - 425. Is h(-64) a multiple of 15?
True
Suppose -4419*x - 166180 = -4*p - 4423*x, 0 = -3*x + 3. Is 98 a factor of p?
False
Suppose -224 = -54*c + 46*c. Let i = c - -379. Is i a multiple of 31?
False
Let i = -339 + 660. Let j = i + -479. Let w = -95 - j. Does 21 divide w?
True
Let m(b) = -b**3 + 4*b**2 - 4*b + 6. Let s be m(3). Let v be -4 + -114*(-2)/3 - s. Suppose -l + 3*u = -2*l + v, -4*u = -12. Is 14 a factor of l?
False
Let p(n) = -4*n**2 + 7*n**2 + 10 - n**2 - n**2 - n**3. Let l be p(0). Suppose l*u - 85 - 635 = 0. Does 33 divide u?
False
Let p = -9006 - -12692. Is 38 a factor of p?
True
Suppose 4*h - 16 = 0, -h + 47 = 5*z + 2*h. Let n(f) = -7 - z - 21*f + 6 - 13. Is 13 a factor of n(-3)?
False
Suppose 0 = -5*c - 11*c + 528. Suppose -v + c + 17 = 0. Is 10 a factor of v?
True
Let w = -274 + 285. Suppose -w*b + 2386 + 2795 = 0. Does 34 divide b?
False
Let k(u) = -22*u - 35. Let p be k(-14). Let q = -133 + p. Is 5 a factor of q?
True
Let j be (28/(-6) - 1)/((-18)/(-270)). Let u be (0 - 3 - -2) + 11. Let s = u - j. Is 26 a factor of s?
False
Let m = 373 - -10. Suppose -384*x = -m*x - 120. Is x a multiple of 12?
True
Let n(p) be the third derivative of -5*p**4/6 + 4*p**3 - 37*p**2 + 2*p. Let s(t) = -t**3 - 9*t**2 + 12*t + 12. Let x be s(-10). Does 17 divide n(x)?
False
Suppose 0 = 9*j + 1652 - 35168. Suppose -141*i + j = -137*i. Is 42 a factor of i?
False
Let i be -46*(-2 + 6/4)/1. Let c = i - -505. Is c a multiple of 22?
True
Suppose 0 = 593*l - 592*l - 4212. Does 12 divide l?
True
Suppose 18*p = 476*p - 3122644. Is 32 a factor of p?
False
Let f(o) = 496*o**2 + 20*o + 2. Suppose -5*y - 29 = 24*y. Does 13 divide f(y)?
False
Is -3*(-8)/3 - (-33956 + -118) a multiple of 13?
False
Let x(y) = 281*y - 246. Does 18 divide x(42)?
True
Suppose 5*u - 15731 = -11*s + 8*s, s - 3*u = 5253. Does 5 divide s?
False
Let t be 0/(5 - 0)*1. Suppose 2*q + 3*y = -t*y + 88, 0 = 4*q + 2*y - 168. Let b = -25 + q. Is 14 a factor of b?
False
Let j = 9585 + -3027. Does 4 divide j?
False
Suppose -3 + 18 = 3*h, 0 = 3*z + h - 3389. Suppose -4*r - 2*r = z. Let f = r - -313. Is 27 a factor of f?
False
Let q = -471 + 812. Suppose -1117 - q = -6*d. Is 12 a factor of d?
False
Let n(p) = -p**2 - 25*p + 8. Let z be n(-6). Suppose -19*s + z = -2975. Does 15 divide s?
False
Let h(f) = -97*f**2 - 4*f - 10. Let w(b) = 1. Let d(a) = 65*a**2 + 3*a + 5. Let i(t) = d(t) + 2*w(t). Let n(c) = 5*h(c) + 8*i(c). Does 23 divide n(-2)?
True
Suppose -9*v - 37 = 8. Let w be (-4)/(-1*v/(-85)). Is 11 a factor of (-5)/15*3 + w?
False
Let g be (-1154)/(-3)*(-9)/27*9. Let m = -591 - g. Is m a multiple of 12?
False
Let v(k) = 5*k**2 - 3109 + 11*k**2 - 3143 + 24*k + 6299 + k**3. Is 31 a factor of v(-14)?
False
Suppose 5*p - 2*j - 8989 = 0, -2*j - 10 + 16 = 0. Is p a multiple of 257?
True
Let j be (-108)/45*(2 - 17). Let s = 38 - j. Is (2/2 - s)/((-5)/435) a multiple of 16?
False
Suppose -4*l = -5*q - 6 - 6, 2*l - 6 = -5*q. Suppose 6 = -v + 3*h, l = v - 3*v + 3*h. Suppose 0 = v*u - 166 - 236. Is 21 a factor of u?
False
Let l = 17 + -36. Let r = 22 + l. Suppose -r*k = -3*o - 136 - 587, 4*o - 251 = -k. Is k a multiple of 13?
False
Let s = 85 + 4. Let c be ((-297)/45 + 4)/(1/15). Let p = c + s. Is p a multiple of 21?
False
Let m(f) = f**2 + f. Let v(h) = h**3 - 10*h**2 - 6*h - 9. Let n(c) = 4*m(c) + v(c). Let g be n(7). Let r = 5 + g. Does 11 divide r?
False
Let o(d) = -6*d**3 + 3*d + 1. Let m be o(-1). Suppose -297 = -m*b - 177. Is 3 a factor of b?
True
Suppose -v - 2*o + 5023 = 0, 4*v + 86*o - 81*o = 20086. Is v a multiple of 21?
True
Let t(d) = 3*d**2 - 19*d + 11. Let h be t(11). Suppose 9*o = -2*o + h. Is o a multiple of 15?
True
Let v(i) = -i**3 - 5*i**2 - i + 1. Let t be v(-5). Suppose -t*h = -h - h. Suppose -85*k + 88*k - 390 = h. Is 13 a factor of k?
True
Let d(o) = -4*o**3 + 12*o**2 - 14*o - 1. Let c(b) = -5*b**3 + 13*b**2 - 15*b. Let r(f) = -5*c(f) + 6*d(f). Is r(-4) a multiple of 8?
False
Suppose 14 = -3*f - 1, f = 2*m - 29. Let r be 8/m + 11/(-3). Is -80*r*2/6 a multiple of 40?
True
Let d(w) = 1046*w**3 + 43*w**2 - 42*w - 1. Does