. Let b(i) = 7*c(i) - 3*p(i). Is 17 a factor of b(-14)?
True
Let h(x) = 13*x**2 - 1317*x - 406. Is 31 a factor of h(103)?
True
Suppose -4*w = 1 - 5. Let y(n) = 17*n**2 - 649*n + 257. Let q be y(38). Is 8 a factor of -5 + w/(1/q)?
False
Suppose 140 = -a + 646. Let w = 538 - a. Does 2 divide w?
True
Suppose -562 = s - 2953. Does 58 divide s?
False
Let i(n) = -213*n + 38. Let z(y) = -71*y + 13. Let u(f) = 6*i(f) - 17*z(f). Let g be u(5). Does 37 divide (g/(-15) - 1)*5?
True
Let t = 33185 - 15398. Does 19 divide t?
False
Let a(v) = 2*v**3 + 4*v**2 + 4*v + 2. Let d be a(-2). Let x(r) = -89*r**3 - 5*r - 6 - 2*r - r + 90*r**3 + 7*r**2. Is x(d) a multiple of 21?
False
Suppose 11*b - 14*b = z - 7829, -3*z = 3. Suppose 2*k = -10, 45 = -4*n + k + b. Does 8 divide n?
True
Let b = 2840 + -1783. Does 5 divide b?
False
Suppose -1087*n = -1092*n + 2*v + 78064, 5*v - 15656 = -n. Is 6 a factor of n?
False
Let d(l) = -4*l**3 - 30*l**2 + 31*l - 228. Is d(-21) a multiple of 40?
False
Let r = -62 - -64. Let n(b) = 127*b**2 - 12*b + 7. Is 48 a factor of n(r)?
False
Suppose 2*s + 6962 = -25*u + 27*u, u + 5*s = 3463. Is u a multiple of 146?
False
Suppose 4*j + 3 = -r, -2*j - 1 = r - 2. Is 2 a factor of (33/(-6))/((-1)/(-8)*j)?
True
Let w(y) = y**2 - 9*y - 20. Let h be w(9). Let a be ((-332)/10)/(2/h). Suppose -251 = -11*q + a. Is q a multiple of 17?
False
Let d = 55 + -59. Let b(n) = -2*n**2 - 5*n + 8. Let y be b(d). Is 11 a factor of (25/y)/((-4)/16)?
False
Suppose y - 4*b - 113 - 33 = 0, 0 = -4*y - 4*b + 604. Is 10 a factor of y?
True
Let u(j) = 2109*j - 2491. Is u(3) a multiple of 4?
True
Let x be ((-1)/(4/21))/((-3)/40). Suppose -10*g + 3*g = x. Is g/4*(-108)/10 a multiple of 3?
True
Let u = -55 + 76. Let n = u - 33. Does 3 divide -1 - -5 - 60/n?
True
Is 66 a factor of 13 + 290*(-1040)/(-32)?
True
Let z(h) = -h**3 - 8*h**2 - 2*h - 12. Let j(m) = -3*m**3 - 24*m**2 - 6*m - 37. Let g(i) = 6*j(i) - 17*z(i). Let q be g(-8). Does 8 divide (-4 + 132/9)/(q/(-6))?
True
Does 15 divide 39019 + ((-46)/(-5) - (-132)/(-110))?
False
Let g be (9/15)/(3/15). Let o(f) = -f**g - 3*f + 2*f + 4*f + 17. Is 2 a factor of o(0)?
False
Let u(s) = -37*s - 5*s**3 - 39 + 2*s**3 + 4*s**3 + 26*s - 21*s**2 + 13. Is u(22) a multiple of 24?
True
Is (2 - (-32)/2)*(-170)/(-102)*198 a multiple of 61?
False
Suppose 0 = -5*s + 589 - 549, -5*k + 52380 = 5*s. Is k a multiple of 8?
False
Suppose 15*m - 5037 = 12*m. Let r = -626 + m. Does 60 divide r?
False
Let p(g) = g**3 + 5*g**2 + 21. Let v be p(-5). Suppose 18*d = v*d - 117. Is 2 a factor of d?
False
Suppose 18958 - 122 = j + 2*i, 2*i = -4*j + 75338. Is j a multiple of 73?
True
Let f be (4/(-5))/((-4)/250). Suppose 49*i = f*i - 2. Is (66/15)/(i/60) a multiple of 6?
True
Let x be (-64)/288 - (-57424)/18. Suppose -17*t + x = -6*t. Is 58 a factor of t?
True
Suppose 2*x + 73 = 3*x. Let o = 6 - x. Let h = 121 + o. Does 12 divide h?
False
Let n = 24 + -3. Suppose 7*p - n = -0. Suppose -p*y + 34 = -2*y. Does 10 divide y?
False
Suppose -2 = -2*j + 4*z, -3*j - 3*z = 55 - 13. Let u be 0 + 1 + (-3)/j*3. Suppose 3*b = u*n - 288, -2*b = 5*n - 24 - 734. Does 30 divide n?
True
Suppose 3*r = a + 9616 + 895, -5*r + 17521 = a. Is r a multiple of 8?
True
Suppose -11*m - 557 = -2999. Let q = 442 - m. Is q a multiple of 10?
True
Let o be -4 + 2 + (0 - -3) + -5. Let v(t) = t**3 - 2*t**2 - 3*t + 6. Let y be v(o). Does 20 divide (-13)/(y/(-108))*78/(-9)?
False
Suppose -21*s - 82375 = 11*s - 696935. Is 167 a factor of s?
True
Suppose -32 + 29 = -w. Suppose w*p = -4*k + 35, -k + 5*k = 20. Let f(d) = 4*d**2 - 4*d - 17. Is 26 a factor of f(p)?
False
Let z be 10*(-1 + 2)*1. Let t(y) = -13*y**2 + 9*y - 29*y + y**3 + 6*y**2. Does 10 divide t(z)?
True
Suppose -c - 4 = -3*c. Let p be (-20150)/(-182) + (-45)/(-35). Suppose 2*y - 4*k + p = 6*y, -5*k - 35 = -c*y. Does 11 divide y?
False
Let r be 5 - 16 - -5 - 302/1. Does 8 divide (-162)/12*(1 + r/12)?
False
Let j = 2792 + -4862. Let h = j - -1212. Is 35 a factor of (1 - 1) + h/(-6)?
False
Let d = 121 - 118. Suppose -c = c - 2*l + 8, -4*l = -d*c - 10. Let v(q) = -q**3 - 4*q**2 - 19*q - 6. Does 10 divide v(c)?
True
Let b = 2059 + -454. Is 15 a factor of b?
True
Suppose -z + 3*v + 15 = 0, -5*z = -3*v + 4*v + 5. Suppose 39*i - 35*i - 116 = z. Is 9 a factor of i?
False
Let b = -418 + 4642. Suppose 12*d + b = 45*d. Is 9 a factor of d?
False
Let a(r) = r**2 + 8*r + 2. Let d be a(-8). Suppose 4*z - 20 = 5*o, 3*o = -d*o - 3*z - 55. Let p(y) = 2*y**2 + 12*y - 2. Is p(o) a multiple of 15?
True
Let f(t) = -2*t**3 - 96*t**2 + 148*t - 49. Is 47 a factor of f(-50)?
False
Suppose 3*j = -m + 6, j - 3*m - 2 = -4*m. Suppose -4*z = 3*a - 1, -a = -j*z - 4 + 17. Is 12/48 + 143/z a multiple of 9?
True
Let a(b) = -5922*b + 60. Does 8 divide a(-1)?
False
Suppose 5*c + 5*b - b = -2968, 0 = 4*b + 8. Is (-3 - c) + (-6)/(-1) a multiple of 7?
True
Let i(d) = -22*d - 29. Let t be i(-4). Is 18 a factor of (1 + 4)*3422/t?
False
Suppose 77 = 5*k - 4*o, -3*k - 21 = -4*o - 64. Let v(c) = -c**2 + 18*c - 3. Let t be v(k). Suppose t*m - 18*m + 64 = 0. Is m a multiple of 8?
True
Let y be -24 - -27 - (0 - -1). Suppose 2*u + 2 = -4*f - 0, -y*u = -4*f + 2. Suppose -d + b - 181 = -6*d, f = d - 4*b - 32. Is 12 a factor of d?
True
Suppose -7*r - 1409 = -30165. Is 10 a factor of r?
False
Let g = 9028 - -2588. Does 88 divide g?
True
Suppose 4*h = 5*g + 20994, 13*h - 8102 = -5*g + 60256. Is 22 a factor of h?
False
Let f(o) = -137*o + 890. Is 8 a factor of f(-20)?
False
Let q(r) = r**2 + 20*r + 37. Let c be q(-19). Let n be (-6)/c + (-2)/(-6). Suppose -6*k - 2*k + 224 = n. Is 28 a factor of k?
True
Let p = -881 - -881. Suppose 43*c - 27*c - 1056 = p. Does 3 divide c?
True
Let c = -2990 - -6162. Suppose -5*m = 1212 - c. Is m a multiple of 18?
False
Let f(a) = -19*a - 110. Let y be f(-6). Suppose 0 = -y*c + 5*l + 221, 4*l + l + 44 = c. Is c a multiple of 24?
False
Let j(b) = -364*b - 60. Is 9 a factor of j(-43)?
False
Let j be 18/(-3)*-1*(-9)/(-27). Suppose 0*f = f + 4*d - 58, 0 = -j*d + 2. Does 18 divide f?
True
Suppose 38*j = -892 + 33838. Is 17 a factor of j?
True
Suppose -23*r + 15425 = -790. Is r a multiple of 37?
False
Let q(y) = -11*y + 143. Let g(t) = -2. Let w(i) = -3*g(i) + q(i). Is 21 a factor of w(-14)?
False
Let p(r) = r**3 - 8*r**2 - 2*r - 213. Let k(n) = n**3 - 8*n**2 - 2*n - 213. Let g(i) = 4*k(i) - 5*p(i). Is g(0) even?
False
Let v be 14 - 4 - 7 - (-20 + 0). Suppose -v*f + 17798 - 3101 = 0. Is 71 a factor of f?
True
Does 22 divide 18/(-33) + 23519520/528?
False
Suppose -13*p - 8*p + 148904 = -262045. Is p a multiple of 11?
True
Let d(m) = 8*m + 50. Let u be d(-6). Suppose -k + 526 = -2*s, 3*k + u*s - 2084 = -k. Is 29 a factor of k?
True
Suppose v - 4*y = 23 - 16, -y = v - 7. Is (1162 - -2) + (5 - (v + -8)) a multiple of 13?
True
Let o(s) = -15*s + 129 - 278 + 130 + s**2. Is 30 a factor of o(-11)?
False
Suppose -7236 = 7*t + 20*t. Let l = 405 + t. Is l a multiple of 4?
False
Let b(n) = 4*n**2 + 75*n + 1. Let x be 4*4/40 - 69/(-15). Is b(x) a multiple of 28?
True
Let j(g) = 7*g**3 + 3*g**2 - 9*g - 13. Let f(a) = -20*a**3 - 10*a**2 + 27*a + 39. Let o(v) = -4*f(v) - 11*j(v). Is o(5) a multiple of 41?
True
Let r = 492 - 1061. Let c = -447 - r. Is 50 a factor of c?
False
Let z(f) = 2*f**3 - 36*f**2 + 19*f + 21. Let l be z(17). Is (l/4)/(-13)*22 a multiple of 3?
True
Let g = 38 - 38. Suppose 4 = 2*w - 5*m, -4*w + 2*m - m + 26 = g. Is 6 a factor of 172/14 + 2*w/(-49)?
True
Let i = -8174 + 30644. Does 13 divide i?
False
Let m(b) be the first derivative of b**4/4 - 8*b**3/3 + 9*b**2 - 5*b + 1923. Suppose -2*j = -5*j + 21. Is 18 a factor of m(j)?
True
Let o be (0 + 0)/(-17 - -19). Suppose -z - 4*s = -3, -z - 2*z = -s - 9. Suppose -5*j = 20, z*n - 118 = -o*n + j. Does 28 divide n?
False
Suppose 4*f - 4*s - 81 = s, 0 = f - s - 19. Suppose 0 = -8*i + f*i - 1056. Is 16 a factor of i?
True
Suppose -87*z = -3377919 + 1534725 - 1423134. Is 104 a factor of z?
True
Let y(c) = 13*c - 2*c + 6 + 16*c + 18*c. Is 3 a factor of y(1)?
True
Let b(c) = c**2 - 3*c + 6631. Is 13 a factor of b(-80)?
False
Suppose -10*f = -6*f + 5*l + 1306, -2*l = 2*f + 652. Let a = f + 788. Is 32 a factor of a?
False
Suppose r = 40 - 37. Suppose 193 = 2*s - 15. Suppose r*i = 28 + s. Does 22 divide i?
True
Let d be 