 4*g. Let d be x(-4). Suppose -d*j + 18 = -45*j. Suppose 0 = -3*y + j + 3, -2*a - 4*y = -152. Is a a multiple of 11?
False
Let a be (6/8)/((-1)/(-68)). Let g be 1/2 + 22/(-4)*-3. Is 3 a factor of 62/6 - g/a?
False
Let l = -478 - -882. Suppose -3*c + 361 = -l. Suppose 0 = 5*d + 5*n - c, 2*n = d - 22 - 14. Is 18 a factor of d?
False
Let p(u) = 1. Let o(v) = 27*v + 2. Let w(k) = -o(k) - 3*p(k). Let d = 3 + -4. Is 22 a factor of w(d)?
True
Let d = -18349 - -32047. Is 52 a factor of d?
False
Suppose 0 = 364*c - 314*c - 254800. Does 52 divide c?
True
Suppose -307607 = -55*f + 1298613. Is f a multiple of 298?
True
Suppose 4*b - 4260 = 3*k - 301, -1983 = -2*b + 5*k. Is b a multiple of 6?
False
Let f(p) = -2*p - 6. Let i be f(-8). Let d be (-2)/((-3)/(585/i)). Suppose 65 = 5*u - l - 2*l, 3*u - d = l. Does 13 divide u?
True
Suppose d - 1114 = -z, 3366 = -0*z + 3*z - 5*d. Suppose 5*o - z = 333. Does 62 divide o?
False
Suppose 0 = -8*l + l - 798. Let r = l - -152. Is 3 a factor of r?
False
Let l(n) = 16*n - 17. Let b be l(4). Suppose 0 = 3*h + 8 - b. Let q = 28 - h. Is 4 a factor of q?
False
Let z be (77439/(-933))/(2/(-10)). Let q = -277 - -46. Let l = z + q. Is 23 a factor of l?
True
Let k(a) be the third derivative of a**5/60 + 5*a**4/12 + 19*a**3/6 + 12*a**2. Let d be k(11). Suppose -10*c + d + 0 = 0. Is 5 a factor of c?
True
Suppose -129*m = -1790 - 17560. Is m a multiple of 10?
True
Let m(d) = -7 - 4 + 2 + 3*d. Let o be m(3). Suppose z - 6*z = 5*b - 105, o = -z + 2*b + 21. Is z a multiple of 7?
True
Let n = 0 + 0. Suppose n = -2*c - 4*i, 2*i = -7*c + 5*c + 8. Is 2 a factor of c?
True
Let t = 278 + -279. Does 49 divide 7644/(-12)*1/t?
True
Let m be (-2)/(-8) - 231/(-4). Let o(v) = -2*v**2 - 24*v - 16. Let y be o(-12). Let a = y + m. Does 14 divide a?
True
Let k(n) = 8*n**2 + 72*n - 546. Does 381 divide k(-63)?
True
Let i(a) = -a**2 - 15*a - 43. Let r be i(-10). Is 0/(0 - r) + 1190 a multiple of 14?
True
Suppose 750708 = 15*n - 39*n + 78*n. Does 14 divide n?
True
Suppose 0 = 2*o + 5*z + 8, -6*o + 42 = -o - 3*z. Is 22 a factor of o/4*(9 + (-5890)/(-30))?
True
Let f(w) = -2882*w**3 - 8*w**2 - 12*w + 2. Let g(j) = 961*j**3 + 3*j**2 + 4*j - 1. Let q(b) = 3*f(b) + 8*g(b). Is q(-1) a multiple of 10?
True
Let b(r) = -813*r**3 - 10*r**2 - 19*r + 21. Is 104 a factor of b(-3)?
False
Let q(o) = -o**2 - 13*o - 26. Let k be q(-3). Suppose 0 = k*p - 242 - 38. Does 7 divide p?
True
Suppose p = 3*h + 6924, 19*h + 4 = 21*h. Does 77 divide p?
True
Does 23 divide -10*(103/(-10) - 636/(-795))?
False
Let h be 1 - (2 + -4)/2. Suppose -h*i = -5*o - 135, 5*i = -65*o + 67*o + 285. Is i a multiple of 9?
False
Let t = -12 - -13. Let g be -3*t + 40/12*3. Suppose -75 + g = -2*u. Is u a multiple of 29?
False
Let q(f) = -5941*f - 3821. Is 17 a factor of q(-2)?
False
Suppose 25 = 5*c - 5*u, 2*c - 11 = 4*u + 1. Let o(q) = -3*q - 23. Let p be o(-11). Is p - 7 - c/(-1) a multiple of 2?
False
Suppose 32 = -2*c + 28, 0 = -2*p + 5*c + 98. Let l(i) = -i**3 + 4*i**2 - 2*i - 1. Let z be l(2). Let r = p - z. Does 6 divide r?
False
Let b(t) = -7*t**3 - 10. Let o(a) = a**3 - a**2 + a - 1. Let v(m) = b(m) + 6*o(m). Suppose -30*p + 34*p = 5*x + 48, 4*p = -x. Does 32 divide v(x)?
True
Let g = -309 + 1069. Suppose -8*t + 232 = -g. Does 31 divide t?
True
Suppose -3*x + 12 = -5*a, 0 = -10*a + 12*a - 6. Is x/2*92/69 a multiple of 3?
True
Let i be (4 - (-86)/5)*-5. Let s = i - -19. Let r = -27 - s. Is 12 a factor of r?
True
Suppose 3*p = 6*p - 12. Let z be (-4 - 17/(-4)) + (-473)/p. Let d = z - -240. Is d a multiple of 35?
False
Let b(o) = 5406*o - 240. Is b(4) a multiple of 22?
True
Suppose -107*s + 180624 = -36*s. Does 48 divide s?
True
Let f(k) = -37*k**2 - 17*k - 64. Let q(p) = 38*p**2 + 16*p + 64. Let j(l) = 3*f(l) + 4*q(l). Is j(-6) a multiple of 41?
False
Suppose 36*l - 138321 = 4*l + 5*l. Is l a multiple of 19?
False
Let v be 154/(-2 + 0 - 0). Is (-2)/(-7) - 23078/v a multiple of 25?
True
Let g = 28 - 28. Suppose m = 0, a + 3*m - 324 - 133 = g. Does 14 divide a?
False
Let i = 34988 + -20913. Does 25 divide i?
True
Suppose -5*g = 3*n + 14, -26 = -2*g - 5*n - 24. Let b be 56/3*(-6)/4. Does 13 divide ((b/6)/7)/(g/234)?
True
Let w = -747 - -690. Let j = w + 99. Does 6 divide j?
True
Suppose 16735 = -18*g + 6142 + 71991. Does 10 divide g?
False
Let b(y) = 95*y**2 + y + 2. Let s be b(-1). Suppose d + 530 = 5*t - 4*d, -2*t + 220 = -4*d. Let a = t - s. Does 3 divide a?
True
Let h(j) be the first derivative of -j**4/2 - 8*j - 68. Is 12 a factor of h(-4)?
True
Let k = 2 - 10. Let l be (-17)/(-5) + (-9)/((-180)/k). Suppose 5*j + 2*x - l*x - 65 = 0, -5*j = -4*x - 80. Is j a multiple of 12?
True
Suppose 4 = -5*i - d, -9*i + 8*i + 5*d + 20 = 0. Suppose 26*f - 28*f + 8 = i. Suppose -4*n + 92 = f*a, -a - 3*n = -4*n - 15. Does 19 divide a?
True
Suppose 7*k - k - 24 = 0. Suppose k*x + 6 = 5*x. Suppose 402 = x*h - 78. Is 7 a factor of h?
False
Let d be (-2 - 7)*-5*(-2)/(-30). Suppose 6*g = 5*g + 3*a + 720, 0 = -d*a. Is 45 a factor of g?
True
Let f be (743/(-5) + -3)*(-60)/(-6). Is 17 a factor of f/(-18) - -12*5/(-270)?
False
Let u(k) = 546*k + 5927. Does 37 divide u(32)?
False
Let v be (-1264)/(90/9 + -9). Let m = 2188 + v. Is m a multiple of 84?
True
Let r be (38 - 42) + (-2)/(4/(-182)). Suppose -31*b = -34*b + r. Does 29 divide b?
True
Let t(j) = -1287*j + 2247. Does 11 divide t(-4)?
False
Let p(m) = 396*m**2 - 145*m - 725. Is p(-5) a multiple of 50?
True
Suppose 9936 + 18696 = -21617*z + 21620*z. Is z a multiple of 33?
False
Let j(v) = -2*v**3 - 16*v**2 - 14*v. Let f be j(-7). Suppose 6*t - 749 + 209 = f. Does 15 divide t?
True
Let g(n) = 2*n**3 - 58*n**2 + 116*n - 42. Is g(28) a multiple of 13?
True
Let d(x) = 47*x**2 + 7*x - 74. Is d(-3) a multiple of 2?
True
Let y = 81 - 71. Let h(o) = -40*o**2 + y*o**2 - 19 + 18*o**2 - o**3 + 22*o. Does 13 divide h(-14)?
True
Let u = -7674 - -7682. Let a be 740 + -2 + 0/1. Suppose 5*o = u*o - a. Is 41 a factor of o?
True
Let g = 9651 - -3588. Suppose -30*u + 22401 = -g. Is u a multiple of 22?
True
Suppose -s = -5*q + 23585, 3*s + 23575 = 19*q - 14*q. Does 28 divide q?
False
Let m(a) = -1138*a - 159. Is 89 a factor of m(-1)?
True
Does 31 divide (51064/2 - 8) + -3 - 8?
True
Let l = -72 - -78. Suppose 0 = -2*b + l. Suppose -i + 3*i = 4*u - 350, -375 = -4*u - b*i. Is 6 a factor of u?
True
Suppose 10 = -3*z + 5*a, -4*a = z - 6*z + 5. Suppose -h - z*s + 106 = 0, 2*h + 11*s - 212 = 6*s. Does 42 divide h?
False
Suppose 1242 = 58*b - 49*b. Suppose 4*a = -12, 2 + 20 = q - 4*a. Suppose -12*f + b = -q*f. Is 23 a factor of f?
True
Suppose -4*o = -14*o - 250. Let p = o - -28. Suppose -2*q - q + 48 = -3*u, -q = -p*u - 14. Is q a multiple of 14?
False
Let g = 256 - 233. Suppose -621 = -g*a + 20*a. Is a a multiple of 12?
False
Let b(d) = -528*d - 204. Does 36 divide b(-10)?
True
Let w be ((-11)/((-66)/(-324)))/((-4)/6). Suppose 5*m - 177 = 53. Let q = w - m. Does 5 divide q?
True
Suppose 220780 = 71*r + 95*r. Is 14 a factor of r?
True
Suppose -7*x + 25 = 4. Suppose x*z - 171 = 657. Is 4 a factor of z?
True
Let t(x) be the third derivative of 13*x**7/5040 - 7*x**6/720 + 3*x**5/10 - 25*x**2. Let n(p) be the third derivative of t(p). Is n(9) a multiple of 22?
True
Let y(l) = -l**3 + 28*l**2 + 23*l - 210. Is 22 a factor of y(19)?
True
Suppose 8*t + 154098 = -110*t + 575122. Is 8 a factor of t?
True
Is (4418 - -2) + (98/42)/((-3)/(-9)) a multiple of 19?
True
Suppose 0 = -7*o - 32 + 32. Suppose -6*k = -d - 7*k + 128, o = 5*d - 5*k - 590. Does 10 divide d?
False
Let m(n) = -5*n**3 - 5*n**2 + 38*n + 23. Let a be m(-9). Suppose 15*g + a = 38*g. Is 4 a factor of g?
False
Let i(m) = -788*m + 8475. Is i(-3) a multiple of 37?
False
Let t = -280 + 318. Does 37 divide ((-4551)/82)/((-3)/t)?
True
Let h = 12048 - 7120. Does 11 divide h?
True
Let i be (-3 - -7)*-1*2*-118. Suppose i = 5*y + 79. Does 17 divide y?
False
Suppose 2*y - 79392 = -5*r, 5*r - 62463 = y + 16926. Suppose 2948 = -30*x + r. Is 9 a factor of x?
False
Suppose -56*b + 148575 = -120057. Does 13 divide b?
True
Let c(q) = -5*q**2 + 3*q**2 - 28*q - 13 + 22*q. Let j be c(-5). Is 15 a factor of (-12)/(-8)*(j/(-1) - 3)?
True
Suppose 0 = l, 0*l + 2 = b + l. Suppose 98 = 5*v - 3*j - 11, -b*v - j = -48. Is 8 a factor of v?
False
Let g(u) = -5 +