of a(i)?
False
Let c = 70 + -37. Let n(s) = s**2 - 13*s - 57. Is 48 a factor of n(c)?
False
Let q = -1006 + 1482. Suppose -4*x + q = -5*h, 3*h - 7*h - 5*x - 348 = 0. Let v = h + 152. Is v a multiple of 12?
True
Let t(i) = 33*i - 21. Let k be t(3). Let h = 77 - k. Is 35 a factor of -10*(-7)/(-2)*h?
True
Let m(i) = -i + 5. Let b be m(2). Suppose 0 = -4*y - 3*u + 6512, -4470 = -b*y + 4*u + 414. Is ((-18)/21)/3 + y/14 a multiple of 11?
False
Suppose -135*m + 195984 + 33586 = -172730. Is 22 a factor of m?
False
Suppose -62*f + 280312 = 58290. Does 112 divide f?
False
Suppose 0 = -r + 2*a + 2*a + 55, -a = 4*r - 152. Let x be 1 + 1 + 150 + r/(-13). Let y = -12 + x. Does 24 divide y?
False
Let x be (-5)/(-1)*(-16)/(-10). Let g(y) = 7*y**2 - 14*y - 3*y**2 - 2*y**2 - 4. Does 6 divide g(x)?
True
Suppose -5*n = 4*d + 1279 - 4279, 0 = n - 4. Is d a multiple of 19?
False
Let t = 8558 - 5873. Suppose 3*o + 498 = g, -5*g + o = 167 - t. Is 21 a factor of g?
True
Let a(p) = 9*p + 51 + 2*p - 90 + 50. Is a(5) a multiple of 22?
True
Let j(x) = -4*x - 12*x + 2*x**2 - 5*x**2 + x**3 - 19 - 7*x**2. Is j(13) a multiple of 14?
True
Let o(x) = 13*x**2 + 14*x - 223. Is 32 a factor of o(51)?
True
Let c(f) = 2*f + 14. Let u be c(-14). Let w(d) = d**3 + 13*d**2 - 15*d + 28. Let o be w(u). Suppose 0 = -o*s + 36*s + 66. Does 3 divide s?
False
Let d(j) = -2*j**3 - 50*j**2 - 57*j + 80. Is d(-25) a multiple of 39?
False
Suppose -41759 = -8*z - 14*z + 25737. Does 3 divide z?
False
Let l(q) = q**2 - 4*q + 14. Let s(m) = 3*m - 4. Let b be s(-2). Is l(b) a multiple of 7?
True
Let h(q) = 235*q**2 + 47*q + 116. Is 31 a factor of h(-5)?
False
Let r(q) = -13*q - 95. Let j be r(-8). Suppose -485 + 1889 = j*h. Is 13 a factor of h?
True
Let p be (-2)/2 + 9*(-3)/(-9). Suppose 0 = 3*h - h + p*x + 54, -4*x = -2*h - 72. Is 26 a factor of (h - -2)/((-20)/130)?
True
Let j(p) = -p**3 - 8*p**2 - 3*p - 20. Let q be j(-8). Suppose 0 = -z + q*c + 15, -3*z - 2*z - 2*c = -9. Is (-1)/z + ((-544)/6)/(-2) a multiple of 45?
True
Let s(w) = 3379*w - 319. Does 7 divide s(3)?
False
Let z = 1724 - -3850. Does 74 divide z?
False
Suppose -151 = -10*c - 31. Is 8 a factor of c + -11 + 3*31?
False
Let c(w) = -5*w**3 + 4*w**2 - 8*w - 9. Let z(l) = 2*l**3 - l**2 + 3*l + 3. Let b(s) = 3*c(s) + 8*z(s). Let h be b(-4). Is 41 a factor of h*(-1)/9*123?
True
Let c be (-2)/((1/4)/(-1)). Let f(p) = -c*p - 5*p**2 + 18 - 3*p**3 - 6*p**2 + 4*p**3 + 0*p**2. Is 26 a factor of f(12)?
False
Does 31 divide (2 - 6) + 6 - (-64851 + -5)/8?
False
Let r = 4155 - -1266. Is r a multiple of 13?
True
Let w be (12/9)/((-48)/27 - -2). Let x be 1/(w/(-60)*2). Does 5 divide (x + (-6)/(-12))*-2?
False
Let h(m) = -m**2 - 8*m + 5. Let c be h(-8). Let r(w) = -34*w + 124. Let b be r(3). Suppose -5*g = -2*s - b - 16, c*g - 36 = 4*s. Is 2 a factor of g?
True
Suppose -25 - 41 = -6*p. Suppose p*b + 5 = 973. Is b a multiple of 11?
True
Let k = 23761 - -4627. Is 94 a factor of k?
True
Suppose -10 + 10 = 4*s. Suppose -i - 20 = -s. Does 16 divide 6*5*(-30)/i?
False
Let m(v) = -v - 4*v + 19 + 5*v + 6*v. Let t be m(8). Does 23 divide t + 4*(-4)/(-8)?
True
Let u = 627 + -346. Suppose 2*n - u = 5*c, -c = n - 4*n + 415. Is 11 a factor of n?
False
Suppose -y = -4*y. Suppose 3*z = -f - 64 + 106, 0 = 4*f - 5*z - 202. Suppose -208 = -5*r + 4*g, r - 7*g + 3*g - f = y. Is 8 a factor of r?
True
Let m(h) = -h**3 + 9*h**2 - 6*h + 4. Suppose -2*u + 5*u - 24 = 0. Suppose -u - 20 = -4*p. Does 30 divide m(p)?
True
Suppose -2*c + 3*c + 2*g - 172 = 0, 5*c = 4*g + 902. Let z = c + -56. Is 8 a factor of z?
False
Suppose -2*v + 25186 = 3*w - 26263, v = -2*w + 34300. Is w a multiple of 30?
False
Let r be -3 - ((-5)/(-3) + 46/(-6)). Suppose -o = -r*l - 18, 2*l = -3*o - 2 + 1. Is o a multiple of 2?
False
Let s be -9 + 3 + (-3 - -43). Let q(k) = -2*k**2 + 80*k - 24. Does 6 divide q(s)?
True
Let y(v) = -v**3 + 11*v**2 - 6*v - 19. Let j be y(10). Suppose j + 144 = 3*o. Is o a multiple of 10?
False
Let q be (-140)/7*2/(-4)*3. Suppose -7*t = -10*t - q. Does 42 divide (-1092)/15*t/4?
False
Let s = 52 + -15. Suppose s + 195 = -4*j. Let q = 123 + j. Is q a multiple of 5?
True
Is 22 a factor of 1/(-1 - -18) - (-78775410)/3570?
True
Let b = 76 - 73. Let f = b + 0. Suppose f*d + 4*g = 46, 3*g - 34 = -2*d + g. Is d a multiple of 8?
False
Let u = 4109 + -3929. Does 6 divide u?
True
Let w(v) = 6*v**2 - 9*v + 9. Let o(j) = -5*j**2 + 8*j - 9. Let s(r) = 7*o(r) + 6*w(r). Let f be s(-9). Let c = 150 - f. Is c a multiple of 8?
True
Let q(d) = 7*d - 451*d**2 + 224*d**2 - 38 + 228*d**2. Does 4 divide q(11)?
True
Suppose 282*i = 278*i + 8952. Is 32 a factor of (i/(-12))/(((-3)/(-6))/(-1))?
False
Suppose 0*z = -3*z + 2*y + 8, -y + 10 = 2*z. Let g be (-11)/22 + 1758/z. Suppose 2*r = f + 411, 3*r - 145 = -5*f + g. Is 42 a factor of r?
False
Let f(o) = 6*o - o - 3 - 7 + 0*o. Let d be f(7). Suppose 2*j - 50 = -5*p, -j + 18 = -2*p - d. Is j a multiple of 7?
True
Let p(z) = 27*z**3 - 3*z**2 + 26*z - 80. Does 33 divide p(9)?
False
Let t be (-41)/(-13) - (20/26)/5. Suppose 2*f = -2, t*f + 0 = -4*h + 17. Suppose 2*j - 8 = 3*u + 17, -j + 30 = -h*u. Does 5 divide j?
True
Suppose -15*p + 31968 = 3*p. Let y = p + -133. Is 52 a factor of y?
False
Let q be (-16 + -4372)*(-1)/4. Let x = -630 + q. Is 22 a factor of x?
False
Does 19 divide (-5)/15 + (-5078352)/(-144)?
False
Is -6 - (1452/33)/(-2 + (-192)/(-97)) a multiple of 28?
True
Suppose -4321*c = -4295*c - 108342. Does 12 divide c?
False
Suppose 12*k - 15 = -123. Is 28 a factor of ((-64)/3)/(k*16/2808)?
False
Let d = -130 + 80. Let f = -55 - d. Let r(y) = -y**3 - 4*y**2 - 2*y - 8. Does 9 divide r(f)?
True
Let i(w) = -24*w + 2*w - 21*w - 27 - 53. Is i(-10) a multiple of 35?
True
Let q(h) = 5*h**3 - h**2 - h + 4. Let d be q(-2). Does 3 divide (1/(2/3))/((-3)/d)?
False
Suppose -w + 528 = -5*b - 578, 0 = -w + b + 1118. Suppose -1291 - w = -4*a. Does 90 divide a?
False
Suppose d = -g + 34067, 34067 = -50*g + 51*g - 4*d. Is g a multiple of 14?
False
Let q(a) = 1187*a**2 + 5*a - 2. Does 20 divide q(-1)?
True
Let j = -8 + 11. Suppose -7 = j*i + 8. Let x(v) = -8*v + 8. Is x(i) a multiple of 8?
True
Let l be (33/44)/(((-27)/(-24))/3). Suppose 4 = -f + l, 5*q = f + 22. Suppose 0 = b - 5*g, -q*b + 2*g = b - 69. Is 3 a factor of b?
True
Let n = -246 + 3548. Is 25 a factor of n?
False
Suppose 1 = -0*b - b. Suppose 0 = -5*h + 2*d - 251, -23*h - 5*d + 64 = -24*h. Does 11 divide 98/h - (-14 - (b - -1))?
False
Let y(r) = r**3 - 11*r**2 + 20*r - 21. Let l be y(9). Is (-1596)/(-7 + 4) + l a multiple of 14?
False
Let u be (3 - 75/9)*(-54)/4. Let y(a) = 28 + 29 + 42*a - u. Is 17 a factor of y(4)?
True
Let f = 809 - 804. Suppose f*h + x = 6578, 4*h - 6708 = -3*x - 1439. Does 34 divide h?
False
Suppose -2*w = -n + 28, 8*n - 2*w - 130 = 4*n. Suppose -3*q = m - n - 246, 112 = q + 5*m. Does 4 divide q?
True
Suppose -2337 + 717 = -18*z. Is 9 a factor of z?
True
Let d = 96 + -94. Suppose -1935 = -6*l + l - 2*r, 1157 = 3*l + d*r. Does 16 divide l?
False
Let w(t) = -t**2 + 11*t + 30. Let l be w(13). Suppose 0 = -5*j - p + 1035, -3*j - l*p = -9*p - 649. Is 16 a factor of j?
True
Let m be ((-66)/77)/((-6)/28). Suppose -13 + 33 = -m*l. Is ((-1)/2)/(l/730) - 3 a multiple of 7?
True
Let h(a) = 128*a + 10. Let m(w) = -640*w - 52. Let g(k) = 16*h(k) + 3*m(k). Is 65 a factor of g(2)?
True
Suppose 0 = 5*v - 5*g + 600, -5*v + 13*g = 17*g + 627. Let n = v - -320. Is n a multiple of 4?
False
Let o be 8*(-7)/((-14)/(-12)). Let k be (-78)/(-8) + 36/o. Is -51*(-6)/k*(2 - -1) a multiple of 17?
True
Let n = 17985 + -11096. Is n a multiple of 82?
False
Suppose 0 = 11*i + 14*i - 64662 - 6138. Is 3 a factor of i?
True
Suppose 4320272 = 216*q - 54160. Is q a multiple of 60?
False
Suppose 10*s = 6*s + 2*f + 756, 746 = 4*s + 3*f. Let l = -38 + 148. Let c = s - l. Does 13 divide c?
True
Let w(h) be the second derivative of -h**5/20 - 5*h**4/12 + 4*h**3/3 + h**2 + 55*h + 1. Is w(-8) a multiple of 10?
True
Is -262*(16 - 3)/(60/(-90)) a multiple of 6?
False
Let f(s) = s**2 - 30. Let m be f(-20). Let n = m - 328. Does 14 divide n?
True
Let t(d) = -45*d**3 + 5*d**2 - 17*d - 14. Is 44 a factor of t(-4)?
False
Let v = -14911 - -15408. Does 7 divide v?
True
Let w = 80 + -75. Suppose -2 - 9 = -b + 4*h, h = -w*b - 29. Does 7 div