. Suppose 4*g - 67 = 53. Let o be (-2)/5 + g/75. Does 11 divide m(o)?
False
Suppose -37*n + 41*n + 3*l - 19934 = 0, 0 = n + 5*l - 4958. Is 58 a factor of n?
True
Let k(l) = -2*l - 6. Suppose -a - o - 17 = -0, -25 = a + 3*o. Let f be k(a). Suppose 5*j = -0*j - f, n - 3*j = 55. Is 22 a factor of n?
False
Is 56 a factor of ((-224)/70)/(1/(-595))?
True
Let d = -268 + -167. Let v be (-1)/2 - d/10. Suppose o + 1 = -s + v, 4*s = -3*o + 124. Is 11 a factor of o?
True
Let n be (-45)/(-10)*140/3. Let u(o) = -o**3 - 27*o**2 - 29*o - 32. Let b be u(-26). Suppose 0 = b*z - 49*z + n. Does 17 divide z?
False
Let v = -835 - -1070. Is v a multiple of 14?
False
Suppose 0 = -6623*m + 6613*m + 47940. Is 29 a factor of m?
False
Suppose -3*r - 2 + 5 = 0, 0 = q + 2*r - 7. Suppose q*t + 10 = 5*g, 0*t = 4*t + 4*g - 32. Suppose -140 = -5*n - t*b, -11 = 3*n + b - 95. Is 9 a factor of n?
False
Let x be (-2)/((4/(-10))/(-1)). Let g(k) be the first derivative of -5*k**2 + 6*k - 774. Is g(x) a multiple of 27?
False
Let w(p) = -4437*p + 3654. Is 12 a factor of w(-12)?
False
Let t(p) = -19*p**3 - 3*p**2 + 6*p + 5. Let c(s) = 37*s + 108. Let y be c(-3). Does 43 divide t(y)?
True
Let d(r) = r**2 - 22*r + 21. Let c be d(21). Suppose f - 247 = 739. Suppose -7*u - 41 + f = c. Is u a multiple of 15?
True
Suppose 2*h + 8 = 14. Suppose h*r - 4*r = 4*g - 59, -74 = -5*g - r. Suppose 0 = -2*m + m + g. Is m a multiple of 2?
False
Suppose 9*u - 688 = u. Suppose 362 - u = 3*d. Let r = d - 0. Does 23 divide r?
True
Suppose -37799 = -5*l - 78*o + 77*o, 0 = 2*l - o - 15121. Is l a multiple of 60?
True
Let y = 78483 + -39371. Does 138 divide y?
False
Let t(q) = 3059*q + 449. Is 12 a factor of t(6)?
False
Suppose 139*t + 17670 = 144*t. Is t a multiple of 38?
True
Is 9 a factor of (2116/(-200) + 18/225)*-180?
True
Let z(v) = -8*v + 10. Let s(q) = 17*q - 20. Let b(f) = 3*s(f) + 5*z(f). Let h(u) = 21*u - 20. Let y(p) = -7*b(p) + 4*h(p). Does 3 divide y(2)?
False
Let z(y) = y**2 + 93*y - 80. Is 40 a factor of z(40)?
True
Is 8 + -9 + 8974 + 0 + 3 + 1 a multiple of 47?
True
Let o(f) = 7*f**2 - 19*f + 5. Suppose 0 = 5*v + z - 42, 6*v - v + 4*z - 48 = 0. Is o(v) a multiple of 28?
False
Suppose -5*q + q = -3*d - 236, -4*q = -5*d - 244. Suppose q*k - 60*k + 128 = 0. Suppose k = 4*u - 32. Is 3 a factor of u?
False
Suppose -4*t = j - 5*t - 51, 5*j - 210 = -4*t. Let m be (39/(-9))/((-2)/30). Let g = m - j. Does 4 divide g?
False
Let k(i) = -i**3 + 13*i**2 + 9*i + 8. Let v be k(-8). Suppose -2671 = -3*x + v. Does 49 divide (-26)/(-39) + x/9?
True
Suppose 0*o = 5*o + 3*z + 4, -3*z + 14 = -4*o. Let a(i) = -208*i + 58. Is a(o) a multiple of 6?
True
Does 45 divide (-23 + 12)/11*-3735?
True
Let p(s) = -6*s**3 - 98*s**2 - 37*s - 105. Is p(-17) a multiple of 15?
True
Suppose -p - 5 = -i - 2*i, 10 = 4*i + 2*p. Suppose -i*g + 5*m - 7 + 3 = 0, -2*g + 4 = -m. Suppose 5*b - 4*x - 684 = 154, -5*b + 841 = -g*x. Does 34 divide b?
True
Suppose 62 = 3*k + w + 2490, -2436 = 3*k + 3*w. Does 15 divide 1*((5 + -1 - k) + -1)?
False
Let a be ((-10)/(-15))/(4/(-426)). Let g = a - -184. Let b = 2 + g. Is b a multiple of 27?
False
Suppose 588*k = 626*k - 5852. Does 7 divide k?
True
Let i(s) = -199*s - 380. Is i(-3) a multiple of 2?
False
Let h be (1 + -2)/5 + 15656/(-95). Let m = 197 + h. Does 16 divide m?
True
Let b(a) = 6*a**2 - 47*a - 1091. Is b(-23) a multiple of 6?
False
Let h(l) = l**3 + 7*l**2 + 5*l + 5. Let q be h(-6). Suppose -4*m + m = y + q, -5*m = -4*y + 24. Is (-5 - 3)*y/(-1) a multiple of 4?
True
Let m(a) = -a**2 - a + 1. Let d(l) = l**3 + 14*l**2 - 12*l - 7. Let p(z) = d(z) + 4*m(z). Is p(-7) a multiple of 9?
False
Suppose 7*z + 472 = 36963. Is 21 a factor of z?
False
Let b(p) = -3*p**3 - 27*p**2 - 8*p - 47. Is 16 a factor of b(-17)?
False
Let y(n) = 1058*n - 444. Is y(3) a multiple of 15?
True
Let v be ((-1)/(-4))/((-71)/12 + 6). Let d be (-574)/(-3) + 1 + v/(-9). Suppose -d = -z - 5*o, 0*o - 986 = -5*z + o. Does 42 divide z?
False
Suppose 41 = 9*g - 13. Let v(c) = c - 3*c**3 - 29 - g*c**2 + 17 + c. Is v(-5) a multiple of 32?
False
Suppose 0 = 5469*a - 5450*a - 27417. Is a a multiple of 39?
True
Let l(n) = -147*n**2 + 4985*n + 12. Does 35 divide l(9)?
True
Suppose 0 = -7*q - 435 + 484. Let f(u) = 6*u**2 - 24*u + 12. Is f(q) a multiple of 8?
False
Let q = -12 + 17. Suppose 68*f + 4*h - 8 = 69*f, 4*f + 32 = -h. Is (-150)/9*(f + q) a multiple of 8?
False
Let y = 33 + -27. Let m(d) = -d**3 + 5*d**2 + 7*d + 4. Let a be m(y). Suppose 0 = a*r - r - 513. Is 27 a factor of r?
False
Suppose 5 = 5*x, 4*j + j = 4*x - 64. Is ((-51)/j - -1)/(3/8) a multiple of 5?
False
Let g = -31 + 37. Suppose -3*a = -3*p - g, 0*a = -3*a + 3. Is 8/((-9)/(-12) - p/(-4)) a multiple of 3?
False
Let t(l) = 3*l + 56. Let h be t(0). Let i = h + -41. Suppose -10*x = -i*x + 250. Is 25 a factor of x?
True
Let f(i) = -22*i - 130. Suppose -2*d = -5*g - 45, 14 + 13 = -3*g - 2*d. Does 4 divide f(g)?
True
Is 98 a factor of 11 - 25 - -2379 - -11?
False
Suppose t = 256 + 32. Let a = t + -129. Is 53 a factor of a?
True
Let y(i) = -i**2 + 6*i + 55. Let r be y(11). Let j(p) = 2*p**2 + 4*p + 438. Does 8 divide j(r)?
False
Let s(m) = -12*m - 2 - 2*m**2 - 7*m**2 - 2*m**2 + m**3 + 0*m**3. Let g be s(13). Suppose 4*c = 2*r - 7*r + 307, -3*r + g = c. Is 34 a factor of r?
False
Suppose 13*x = 19127 + 46276. Is x a multiple of 63?
False
Suppose 0 = 5*y - 3*y - 6. Let w be 1*(y + -1 + -171). Let t = -39 - w. Is t a multiple of 26?
True
Let j = 17151 + -11950. Does 19 divide j?
False
Let p be (1 - 3 - -4)*(-1717 + 3). Does 4 divide 2*(-1)/(-13) - p/26?
True
Is 25210/(-3)*(-144)/120 a multiple of 15?
False
Let x(d) = 88*d - 3. Let w(l) = 222*l - 8. Let a(s) = -5*w(s) + 12*x(s). Let m(c) = -c**2 - 3*c + 2. Let n be m(-4). Is a(n) a multiple of 7?
True
Let f(g) = 9442*g + 11108. Does 28 divide f(5)?
False
Does 43 divide 0 + (-12 - -15864)/3?
False
Let j = 49 + -47. Suppose -j = -4*t + 22. Suppose 0 = -p - v + 175, -4 = -2*v + t. Does 10 divide p?
True
Suppose 0 = -4*a - 2*g + 48, -4*a + a - 4*g = -41. Let t = a + -11. Suppose 5*d + 5*k - 570 = 0, -4*d + d + 3*k + 324 = t. Does 15 divide d?
False
Let c be (-358)/(-3)*(-9)/6. Let t = 45 - c. Is t a multiple of 32?
True
Suppose 4*z - q - 3111 = -0*z, 2352 = 3*z + 3*q. Is z a multiple of 41?
True
Suppose 4*r = -3*t - 35, -3*r - 8 = -2*t - 3. Let w(c) = c**3 + 6*c**2 + 4*c. Let q be w(-3). Is t/25 - (-498)/q a multiple of 33?
True
Let u(r) = r**3 + r**2 - r + 1. Let t(z) = -3*z**3 - 5*z**2 + 6*z + 32. Let d(l) = t(l) + 4*u(l). Let a be d(0). Let x = 13 + a. Does 7 divide x?
True
Let p(f) = 4*f**2 + 88*f + 13. Is 25 a factor of p(-129)?
True
Let i(c) = -3*c**3 + 10*c**2 + 2*c + 24. Is i(-8) a multiple of 56?
True
Suppose 9*b - 586368 = -39*b - 105840. Does 213 divide b?
True
Let l(c) = -c**2 - 48*c + 241. Let n be l(-40). Suppose -3*v = 4*z - 2528, -2*v + n = -4*z - 1091. Is v a multiple of 14?
False
Suppose 4*y - 1348 = -2*c, -1378 = -4*y + 4*c + 18. Is y a multiple of 137?
False
Suppose -4*j - 3*z = -76287, 66*j - 19072 = 65*j - z. Does 117 divide j?
True
Let k = -33146 - -55541. Is k a multiple of 63?
False
Let f = -56 + 2751. Is 55 a factor of f?
True
Suppose q + 4*q = -75. Let s be (-2)/10 - 1344/30. Is 25 a factor of (-6)/s - 2113/q?
False
Suppose 138*a + 22 = 127*a. Is 10/a - (-32 + 13) a multiple of 4?
False
Suppose 32*g - 93*g + 7023200 = 339*g. Is g a multiple of 49?
False
Let r(x) = 2*x - 3. Let m be r(3). Suppose z + 5*s = 343, m*z + 714 = 5*z + 3*s. Is z a multiple of 20?
False
Let p = -5149 - -10880. Does 24 divide p?
False
Let p(t) = -47*t + 31. Let m = 50 - 45. Let b be p(m). Is (b/15)/((-12)/30) a multiple of 15?
False
Does 9 divide (1 + -1)/(-2 + 4) - (-29 - 736)?
True
Suppose 14*d + 1210 = 16*d. Suppose 2*h - d = 511. Does 35 divide h?
False
Let z be (3 + -2)*1 + 1. Let o(h) = h**3 + 40*h**2 + 72*h - 149. Let l be o(-38). Suppose 7*g = 4*m + z*g - 600, 450 = 3*m - l*g. Is m a multiple of 38?
False
Is (2 - 15) + 4 - (3 + -565) a multiple of 54?
False
Suppose -71*m + 21620 = 4*l - 76*m, 0 = 2*l - m - 10810. Is 7 a factor of l?
False
Let l(v) = -38*v - 89. Let k(f) = -40*f - 88. Let h(d) = -3*k(d) + 4*l(d). Does 21 divide h(-16)?
True
Let h(w) be the second derivative of 13*w + 3*w**2 + 0 - 23/3*w**3. Is 48 a fact