117 + h. Suppose t = q*c - 103 - 107, -4*c = -5*t - 280. Is c a multiple of 4?
False
Let g = 3242 + -1471. Is 11 a factor of g?
True
Let q(j) = -163*j + 2933. Is q(16) a multiple of 18?
False
Let y = -368 + 369. Does 16 divide (12/(72/2595))/(y/2)?
False
Let j = -44 - -39. Let t(u) = u**3 + 6*u**2 + 7*u + 14. Let m be t(j). Suppose 0 = m*w - 3*i - 417, -4*w - 4*i - i + 425 = 0. Is 21 a factor of w?
True
Let q be (-51)/(-5) - 2*(-1)/(-10). Suppose -26*l - q = -21*l. Does 12 divide l/(-9) + 338/18?
False
Let z = 8701 + -3733. Does 72 divide z?
True
Let d = 9361 - 5793. Is d a multiple of 16?
True
Let q be 2/(-1)*(-2)/1. Let l(d) = -d**3 - 32*d**2 - 40*d - 138. Let v be l(-31). Suppose -u + 177 = 4*u + 3*r, 0 = -q*u - 3*r + v. Is u a multiple of 36?
True
Let r be (-4)/18*-1 + (-43)/(-9). Suppose -2*b = -3*o - 39 - 2, 25 = -r*o. Suppose b*j - 1696 = 1073. Is j a multiple of 48?
False
Let k = 12806 + -6992. Does 66 divide k?
False
Let r = 9 + -6. Let l(n) = -12*n**2 + n**3 + 2*n + 2 - r + 10 + 2. Does 5 divide l(12)?
True
Let t(c) = -c**3 + 15*c**2 + 13*c - 81. Let m be t(16). Let k = 239 + m. Does 10 divide k?
True
Suppose 28 = -r - i - 8, -5*r + 2*i = 215. Is 5 a factor of (-47 + 0)*(r - -35)?
False
Let r = 6506 - 693. Is r a multiple of 93?
False
Let q be (-8)/14 - (-29500)/(-413). Is (6 - 42)/(6/q) a multiple of 17?
False
Let s = -2186 - -3526. Does 29 divide s?
False
Let g(s) = 4*s**3 + 108*s**2 - 39*s + 47. Is g(-27) a multiple of 25?
True
Let v = -8 + 10. Suppose 5*a - 8 = 4*r, -v*a - r = -5 - 6. Suppose -86 = -2*j + 4*o, -a*o + 133 + 15 = 4*j. Is j a multiple of 13?
True
Let b(c) = -c**2 + 5*c + 13. Let q be b(6). Suppose q*s - 1844 = -647. Let g = -19 + s. Does 32 divide g?
False
Let s be 21 + 4 - (6/(-3) - -1). Suppose -22*a - 528 = -s*a. Suppose -4*j = -4*p + a, 7*p = 2*p - 4*j + 192. Is 15 a factor of p?
False
Suppose 9*q - 477 - 468 = 0. Suppose 17*u + q = 955. Suppose -54*x = -u*x - 632. Does 11 divide x?
False
Suppose 2*g + f + 4 = 36, 0 = -g + 2*f + 11. Suppose g*b - 185 - 175 = 0. Is b a multiple of 4?
True
Let f be (96/42)/8 + 267/21. Let y(p) = 3*p - 40. Let u(c) = c - 20. Let h(l) = -10*u(l) + 6*y(l). Is 8 a factor of h(f)?
True
Let y be (-3)/(-15) - 7/(175/(-220)). Let v = 21 - y. Suppose -4*k = -5*b + 27, -7*k = -3*k + v. Is 3 a factor of b?
True
Let f(b) = 4*b**2 - 10*b + 3. Let z be f(7). Let h = 254 - z. Suppose q = h + 45. Is q a multiple of 26?
False
Let p(u) = -u**3 - 8*u**2 + 13*u - 50. Let d be p(-12). Let l = 514 - d. Is 3 a factor of l?
True
Suppose 5*o = 36 + 69. Suppose -2*c - i - 7 = 0, 4*c - o = 5*i - 70. Does 11 divide c/4*(-3040)/60?
False
Is 12/10*(-174405)/(-14) - 2 a multiple of 12?
False
Let v be 1 + (-5192)/(-12)*(-18)/(-12). Let h = v + -190. Is h a multiple of 47?
False
Suppose -4*l - 10 + 2 = 0, -b - 4*l = 128. Let j = -10 - b. Let p = j - 62. Is p a multiple of 48?
True
Let y = 112 + -120. Let x(u) = u**3 + 8*u**2 - 12*u + 15. Is x(y) a multiple of 37?
True
Let a = 40 + -31. Let z(l) = -a*l - 7*l**2 - 11 - 5 + l**3 + 5*l. Is z(8) a multiple of 7?
False
Suppose -22*g = 31 + 13. Is -2 - -21 - 1*g a multiple of 11?
False
Is 4*(-418)/88 + 6348 a multiple of 159?
False
Let j(p) be the second derivative of -p**5/20 - p**4/12 + 8*p**3/3 - p**2 - 72*p. Does 14 divide j(-7)?
False
Suppose -1274 - 2776 = 10*j. Let y be 9/(j/(-54546)) + 6/(-45). Suppose 9*o - y = 3*o. Is 12 a factor of o?
False
Let q be (4/5)/((-8)/40). Is 12 a factor of (0 + q)*5*(-12)/2?
True
Let n be 7/(7/6) + -2. Suppose -5*z - 3*g + 91 = 0, 5*z + 2*g + 66 = 8*z. Suppose -t + z = 3*r - 2*r, -t + 5 = -n*r. Does 2 divide t?
False
Suppose -51040 = -10*l + 403 + 457. Does 10 divide l?
True
Suppose 9*i - 31551 = -4*i. Suppose -3*n + 2*n + 468 = 5*k, -5*n + i = -4*k. Is 8 a factor of n?
False
Suppose -42 + 33 = -3*b. Suppose b*y + 21 = -0*y. Let p(u) = -u**2 - 9*u + 8. Does 11 divide p(y)?
True
Let p be (-2*(-10)/12)/((-6)/(-18)). Suppose -4*q + 985 = -2*d - 151, -1420 = -p*q + d. Does 37 divide -3*q/(-12) - (-3 + 0)?
True
Let r = -2446 - -4896. Suppose 110 - r = -5*d. Does 78 divide d?
True
Let b(h) = h**3 + 7*h**2 + 12*h + 23. Let z be b(-7). Let p = 177 + z. Is 21 a factor of ((-3)/(-3))/(4/p)?
False
Let s = 245 - 249. Does 63 divide (3/(-15)*s)/((-32)/(-5040))?
True
Let s(c) = 31*c**2 - 36*c + 706. Is 11 a factor of s(13)?
False
Let w = -127 + 131. Let q be (w - 3) + 69/3. Does 7 divide -21*(136/(-30) - q/30)?
True
Suppose 0 = 3*v - 41 - 40. Let z = v - 26. Is z - 415/(3 - 8) a multiple of 28?
True
Suppose -2*l + 3*k - 3 = 0, -2*l = -5*k - 1 + 14. Suppose -l*v + 49 = v. Is 12 a factor of 2/v + (152/7 - -2)?
True
Let o(f) = -4*f**3 - 3*f**2 - 8*f - 11. Let n be o(-3). Let p = n + -96. Is 7 a factor of ((-3)/(-9))/(p - (-1958)/978)?
False
Suppose 13 = 5*r - 2*k, 3*r = 3*k + 7 - 1. Is 5 a factor of r - ((-580)/(-15))/(3/(-9))?
False
Let a be 56/(6/810*10). Suppose 4*v + a = p, -3*p = -4*v - 2162 - 106. Is 9 a factor of p?
True
Suppose 58*f - 56*f + 4 = 0. Let y(t) = -3*t**3 - 5*t**2 - t + 3. Let c be y(f). Suppose 7 = 2*k - c. Is 8 a factor of k?
True
Suppose -5989 = -8*r + 7*r - 2*m, -5*m = -10. Is 18 a factor of r?
False
Suppose -3*r = -4*g + 101, 3*r = 11 + 4. Suppose -5*f + 2*k - g = 0, -f - 4*f - 19 = 3*k. Is 3 - ((-4)/f + (-882)/15) a multiple of 11?
False
Is ((-5)/10 + 0)/((-78)/3712020) a multiple of 4?
False
Let n(i) = i**3 + 21*i**2 - 3*i - 18. Let z be (5/1 + -2)*-7. Let q be n(z). Does 2 divide (-10)/q - (-29)/9?
False
Suppose 26*x + 3895 - 21 = 0. Let b = 249 + x. Is b a multiple of 10?
True
Suppose -18356 = -161*i + 174*i. Let j = i + 2728. Is j a multiple of 28?
True
Is (27 + -54 + 0)/(2/(-46)) even?
False
Suppose 0 = -i - o + 26 + 74, -4*i + 3*o + 365 = 0. Is (3/6)/(11/(-110)) + i a multiple of 45?
True
Let z = -14852 + 21820. Does 84 divide z?
False
Let r = -2 + 6. Let m(b) = 3*b**3 + 17 + b - 18 + 0*b**2 + b - r*b**2. Is 25 a factor of m(3)?
True
Suppose 11*j + 10 = 142. Suppose -9*w - j*w + 9240 = 0. Is w a multiple of 22?
True
Let w = -9 + 84. Suppose 0 = 3*k - 2*q - 12 + 3, 4*q = 12. Suppose 4*h - k*h = -w. Does 6 divide h?
False
Suppose -r - 3*y = -335, -13*r + y = -18*r + 1619. Suppose -4*t = -4*v + 624 + 12, 2*v = 3*t + r. Is v a multiple of 11?
True
Let k = 80 - 80. Suppose k*h + 5*h - z - 1676 = 0, 5*h - 1696 = -4*z. Does 14 divide h?
True
Let o(n) = 15*n**2 - 2 - n**3 - 6*n**2 + 21*n - 27*n. Let m be o(6). Let u = 3 + m. Is u a multiple of 24?
False
Suppose -2*o + o - 5*a + 160 = 0, 4*a = 5*o - 916. Let f be 2/5 + o/50. Suppose 62 = -2*u - 4*b + 180, 0 = -5*u - f*b + 283. Is u a multiple of 11?
True
Let q = 132 - 121. Suppose q*h = 5*h + 36. Suppose -1346 = -h*u - 98. Is 26 a factor of u?
True
Let n(w) = -w**2 - 6*w + 1. Let i be n(-3). Suppose -514 + 6594 = i*h. Is h a multiple of 91?
False
Let m(d) be the first derivative of d**2 + 16*d - 1. Let v be (-3)/(-21) + (-495)/(-63). Is 16 a factor of m(v)?
True
Let m be 4 + (50 + 4 - 2). Suppose 4*q + 4*q - m = 0. Let o = 43 - q. Is o a multiple of 18?
True
Suppose 0 = 4*u - 3 - 93. Let r = u - 3. Suppose -55 = -c + r. Is 12 a factor of c?
False
Let u = 71 + -19. Suppose -10 = -2*c, 0*c + c + u = -3*a. Let l(q) = q**2 + 18*q + 63. Is l(a) a multiple of 25?
False
Suppose 5*q = -5*v - 10, 12*q - 14*q - 4*v - 8 = 0. Suppose q = 2*u + x - 347, 4*u - 3*x = 561 + 118. Is u a multiple of 9?
False
Suppose 3*l - 60 = o, 3*o + 16 + 144 = 4*l. Let w = o + 329. Is 18 a factor of w?
False
Suppose -946560 = -68*x + 7*x - 7*x. Is x a multiple of 6?
True
Let h = -5390 - -6314. Is h a multiple of 44?
True
Let d(n) be the third derivative of -1/12*n**4 + 0*n + 0 + 1/20*n**5 + 20*n**2 + 0*n**3 + 1/24*n**6. Does 24 divide d(2)?
True
Let d = -14 + 17. Suppose -5*i = 15, -5*v + 2*i - d*i = 28. Let l(r) = 2*r**3 + 11*r**2 - 12. Is l(v) a multiple of 13?
True
Let k = -114 - -114. Suppose -2*x - 3*v = 21, -3*x = -k*x - 3*v + 24. Is 18 a factor of 4/(-6) - (2 + 672/x)?
True
Suppose 229*o - 108*o + 546*o = 34916783. Does 11 divide o?
True
Let a = 53 - 46. Suppose -2*k + 372 = 2*q, 2*k = 4*q - 3*q + 381. Suppose a*s = 10*s - k. Is s a multiple of 13?
False
Let s(p) be the first derivative of -p**3/3 + p**2/2 + 3*p - 17. Let a be s(0). Is (-154)/(-3) + (-7)/a + 3 a multiple of 6?
False
Let f(d) = d