7988 = -614. Is c a multiple of 27?
False
Let k(h) = h**3 + 12*h**2 + 12*h + 3. Let n be k(-11). Let f(x) = x**3 + 7*x**2 - 11*x + 7. Let o be f(n). Suppose 25 + o = 2*p. Is p a multiple of 14?
True
Suppose -2*c + 34 = -4*z, 4*c - 56 = 2*z - 0*z. Let h(b) = b**3 - 11*b**2 - 24*b - 8. Does 3 divide h(c)?
True
Let n(h) = h**2 - 15*h + 39. Let c be n(3). Suppose 5 - 500 = -c*p. Is p a multiple of 25?
False
Let u(i) = i**3 - i**2 + 2*i. Let b be u(0). Suppose b = -17*c + 18*c + 656. Is 11 a factor of (-2)/(-5) - c/10?
True
Suppose 3*x - p + 12 = 46, -53 = -5*x - 2*p. Suppose x*u = -1550 + 6060. Suppose -u = -3*d + 2*a + 432, 283 = d - 3*a. Is d a multiple of 28?
True
Suppose 3*z - 694 = -j, 223 = -4*j - 5*z + 2978. Suppose -3*k - j = -5*p + k, -25 = -5*k. Is 6 a factor of p?
False
Suppose 36*i - 6*i - 35773 = 23297. Does 11 divide i?
True
Suppose -k - 2*k = -72. Let h be -13 + 2 + (-6985)/(-55). Suppose 3*a + p - h = 0, 210 = 5*a - 2*p + k. Does 38 divide a?
True
Let y(o) = o**3 - 87*o**2 + 82*o + 383. Is y(86) a multiple of 2?
False
Let f = -136 + 76. Let k be (-2)/(-5) + (-1596)/f. Suppose 2*x - 5*a - k = -x, -2*a = -5*x + 26. Does 3 divide x?
False
Suppose -3*g = -5*s - 167 - 106, 0 = -2*g + 2*s + 186. Suppose -8*j + 32 = g. Does 6 divide 2/j + (-1690)/(-40)?
True
Let i(h) = -866*h**3 + 9*h**2 + 6*h - 5. Is i(-2) a multiple of 88?
False
Suppose -87856 = -4*m + 4*s, 49*m + 21972 = 50*m - 3*s. Does 120 divide m?
True
Let y(t) = -t - 10. Let h be y(0). Let f(z) = -z**3 - 21*z**2 + 7*z + 177. Let c be f(-21). Let v = c - h. Does 8 divide v?
True
Suppose 7*x - 484 = -148. Let z be (16/x)/(0 + (-1)/3). Does 2 divide (z - (-3)/7)*28/(-8)?
True
Let o(w) = -2*w - 9. Let g be o(-6). Suppose -74 = i + g*c, 2*c = -3*i - 0*c - 194. Let u = i + 103. Is u a multiple of 41?
True
Let s(d) = d**2 + 11*d - 13. Let n be s(-6). Let z be n/(-2 - (3 - 4)). Let r = z - 33. Is 8 a factor of r?
False
Let l(y) = -9243*y + 73. Is 88 a factor of l(-5)?
True
Let n be 4 + (32/(-1))/(-4). Let f be 8/n - 7/(-3). Is 3 a factor of (f/(-1))/((-4)/16)?
True
Suppose -650*o + 237 = -647*o. Let m = o + 353. Is 54 a factor of m?
True
Let m = -273 + 96. Let a = 719 - m. Suppose 3*l - a = -5*l. Is l a multiple of 23?
False
Does 36 divide -1 + 2 + 2985 + -2?
False
Suppose 25 = 3*d - 2*n, -5*d = -7*d - 4*n + 6. Let y(v) = 2*v + 113. Does 3 divide y(d)?
False
Let b = -484 - -488. Suppose 0 = b*s - 2*v - 665 - 9, 0 = 5*s - 4*v - 844. Is s even?
True
Suppose 2*m - p = 5088, -11*m + 6*m + 2*p = -12719. Is m a multiple of 31?
False
Let q(i) = -5*i - 38. Let j be q(-8). Let o be (-1 - (1 - 0)) + 2 + -1. Is 39 a factor of (j/(-8)*-10)/(o/(-82))?
False
Suppose -2*v - 152 = -21*v. Let g(t) = -t**3 + 10*t**2 - 2*t + 33. Is 15 a factor of g(v)?
False
Suppose -4*k = -290 + 282. Suppose d + 5*a - 798 = 0, 2*a + 904 = k*d - 656. Does 27 divide d?
True
Let i(y) = 4*y**2 - 45*y + 5. Let n be i(11). Let g(r) = -5*r**3 + 2*r**2 + 4*r - 6. Is g(n) a multiple of 102?
True
Suppose 0 = -3*n - 3*o + 41100, -o - 31719 = -5*n + 36775. Is 18 a factor of n?
False
Suppose -7*f + 4*z + 111220 = -59606, -f - z = -24399. Is 14 a factor of f?
True
Let v(o) = 102*o + 38. Let a be v(7). Suppose q - 1003 = -4*l, -a = -4*l + l - q. Does 9 divide l?
False
Let j(a) = 2*a**3 - 6*a**2 + 5*a - 9. Let t be 5 + ((-8)/(-2) - 4)/(-1). Suppose -4*b - t*d = -6, -b + d = 2*d - 2. Is 9 a factor of j(b)?
False
Suppose a = f - 18727 + 2688, 4*a - 16054 = -f. Is 13 a factor of f?
True
Suppose a + 28 = 28. Suppose a = 87*p - 89*p - 30. Let v = 61 + p. Does 8 divide v?
False
Suppose 0 = -11*o + 4*o - 455. Let x be (-16)/14*(3 + o/10). Suppose z + 5*n - 48 = 0, -x*n - n - 92 = -4*z. Does 28 divide z?
True
Suppose 18*v - 13 = 23. Suppose v*f = 4*f - 108. Does 6 divide f?
True
Let p(l) = 12*l - 12. Let h = -59 - -112. Let m = -48 + h. Does 9 divide p(m)?
False
Suppose 48648 = 3*v + 4*t, 6*t - 11575 = -v + 4655. Is 21 a factor of v?
True
Suppose 346*b + 341*b - 691*b + 6156 = 0. Does 6 divide b?
False
Let w(q) = -11*q**3 + 3*q**2 - 17*q - 31. Let t be w(-4). Let j = t + -205. Is 4 a factor of j?
True
Let j(y) be the third derivative of -7*y**4/6 + 25*y**3/3 + 18*y**2. Let z be j(-13). Let v = -214 + z. Is v a multiple of 50?
True
Suppose 122*f - 699311 - 484817 = 327452. Is 118 a factor of f?
True
Let c = 23 - 32. Let s be (-1)/c - 372/(-54). Suppose 8*u - 88 = s*u. Is 10 a factor of u?
False
Let p be 36/12 - 3*466/(-3). Let b = p - 319. Is 15 a factor of b?
True
Suppose 5*p + 1622 = 5*k + 6942, -2177 = -2*p - 5*k. Is p a multiple of 21?
True
Let p(m) = 186*m**3 - 4*m**2 - 15*m + 42. Is 34 a factor of p(3)?
False
Let m(a) = 9*a**3 - 3*a**2 + 11*a - 13. Let j(d) = -5*d**2 + 43*d + 20. Let l be j(9). Is 23 a factor of m(l)?
True
Is 12 a factor of 156*(-2795)/(-39) - 8?
True
Suppose 17*d + 1085 = 18*d. Suppose -d = -3*y + 256. Is 22 a factor of y?
False
Suppose 0 = 26*d - 27*d + 203. Suppose o = -4*u - 54, -47 = -2*o + 4*u - d. Let c = o + 118. Is c a multiple of 24?
True
Let p(v) = -v**3 + 10*v**2 + 13*v - 24. Let f be p(11). Is f*2/((-32)/936) a multiple of 19?
False
Let x(a) = -a - 106*a**3 - a**2 + 2 - 1 + 133*a**3 - 3. Is 26 a factor of x(2)?
True
Let w = -111 - -2960. Is w a multiple of 12?
False
Suppose 3*f + 3*o - 32313 = 0, -3*o = 610*f - 605*f - 53855. Is 11 a factor of f?
False
Suppose 7*m = 3*p + 3*m - 28338, 3*p - 28284 = -5*m. Is p a multiple of 22?
True
Let i = 82 + -149. Let n = 76 + i. Suppose -12*g = -n*g - 126. Is g a multiple of 12?
False
Let b = -114758 - -160734. Is b a multiple of 14?
True
Let y(l) be the third derivative of l**6/120 + 11*l**5/60 - 5*l**4/24 + l**3/6 - 7*l**2 + 3*l. Is 13 a factor of y(-9)?
True
Suppose 203*a - 54720 = 163*a. Is 3 a factor of a?
True
Let f(g) = -189*g - 190*g + 241 - 193*g + 563*g. Does 2 divide f(18)?
False
Let u = -26 + -26. Let i(y) = 2*y**3 - 22*y**2 - 15*y - 14. Let b be i(12). Let s = b + u. Is 7 a factor of s?
True
Let f(y) = -32*y**3 - 2*y**2 - 11*y - 17. Let l be 1/(26/(-74)) - (-2)/(-13). Does 86 divide f(l)?
False
Let r(v) = -v**3 - 9*v**2 - 19*v + 8. Is 4 a factor of r(-6)?
False
Let j(i) = -i**3 - 6*i**2 + i - 6. Let u be j(-6). Let v be (-5*1)/((-16)/(-16)). Is (u/v)/(18/180) a multiple of 4?
True
Suppose -w + 4*z = 4, 3 - 75 = -5*w - 3*z. Let o(h) = 12*h - 126. Is 9 a factor of o(w)?
True
Let r = 31438 + -19888. Is 42 a factor of r?
True
Suppose 17*h = 16*h + 102. Suppose -8*m - h = -9*m. Is 10 a factor of 306/15 - (-3 - m/(-30))?
True
Let c be (6/4)/(-1)*(-1010)/303. Suppose 2*q + 2*i - 241 - 907 = 0, -c*i = -q + 550. Does 57 divide q?
True
Let d(a) = a**3 - 101*a**2 + 41*a - 598. Is d(103) a multiple of 21?
True
Suppose 2*m - 2*n - n - 10 = 0, 0 = 2*m + 3*n + 2. Suppose 5*j = -25, -4*s = -m*j + 4*j + 646. Let w = s - -261. Is w a multiple of 12?
False
Suppose -83 = 6*f + 1. Let c be ((-240)/f)/3 - 4/(-14). Suppose 51 + 783 = c*w. Is w a multiple of 19?
False
Let w be (-3)/(-6)*(-8 + 14). Suppose 4*n = -w*v + 320, 6*v + 4*n - 536 = v. Is v a multiple of 4?
True
Let t(k) be the third derivative of k**4/8 + 107*k**3/6 + 2*k**2 - 36. Is 4 a factor of t(11)?
True
Let s(x) = -x - 6. Let v be s(-8). Suppose -v*o - 63 = -d + 109, -3*o = 4*d + 280. Is 13 a factor of o/(-5)*(3 + 2)?
False
Let t(k) be the first derivative of k**3 + 11*k**2 - 251*k - 154. Is 51 a factor of t(-25)?
False
Let n be (-540)/(-100)*(-20)/(-6). Let o be 10*(7/(-49) - 645/(-7)). Suppose -n*c + o = -2716. Is 38 a factor of c?
False
Let z(c) = 3*c + 33. Let t(x) = x. Let p(b) = -5*t(b) - z(b). Let f be -10*2/(-35) - (-102)/(-7). Does 19 divide p(f)?
False
Let q(d) = d**2 - d - 1. Let a be q(-5). Let n = a + -53. Does 7 divide (n - 0)*(-70)/40?
True
Let p = -242 + 246. Suppose -108 - 8 = -5*z + 4*f, p*z + 3*f = 68. Does 4 divide z?
True
Suppose 17 = -4*z - m - 0*m, -3*z = 5*m + 17. Let n(a) = -2 + 4 + 8*a**2 - 4 + 4*a + 1866*a**3 - 1865*a**3. Is 27 a factor of n(z)?
False
Suppose 20 = 6*b - 34. Suppose -661 = b*n - 5044. Suppose n + 1079 = 6*s. Is s a multiple of 25?
False
Let r(m) be the third derivative of m**5/30 - m**4/8 - 5*m**3/6 + 2*m**2. Let g(y) = -3*y**2 + 111*y - 104. Let q be g(36). Does 4 divide r(q)?
False
Let q(s) = 7731*s - 2155. Is 30 a factor of q(4)?
False
Let p(n) be the third derivative of