55*r + 30866 = 166*r. Does 56 divide r?
False
Let b = -3050 - -4394. Is b a multiple of 64?
True
Let q(t) = 4*t. Let w be q(8). Does 14 divide (-102)/4*w/(-24)?
False
Let w(c) = c**3 + 14*c**2 + 25*c - 1. Is w(-11) a multiple of 17?
False
Suppose 2*u - 138 = 5*p + 281, -2*u - 2*p + 412 = 0. Is 11 a factor of u?
False
Let v = 2 - -32. Does 5 divide v - -1 - (10 - 6)?
False
Suppose -10*b + 8*b + 254 = 2*s, 3*s - 385 = -5*b. Does 12 divide s?
False
Let v = -31 + 33. Suppose v*h = -0*h + 74. Does 8 divide h?
False
Does 58 divide 23/2*(-4 + 7 + 31)?
False
Let c(m) = 4*m**2 + 6*m - 19. Let h be c(-7). Suppose -7*s + 65 = n - 2*s, 5*s + h = 3*n. Is n a multiple of 25?
True
Let f(s) = 176*s**3 - s**2. Let l be f(1). Suppose 0 = -5*d + l - 65. Does 11 divide d?
True
Suppose 0 = -i + 4 - 3. Does 7 divide 19 + (-8*i)/4?
False
Let b = 5421 - 3371. Is b a multiple of 22?
False
Let o(r) = -2*r**3 - 13*r**2 + 9*r - 12. Let w(j) = -j**3 - 12*j**2 + 8*j - 12. Let q(y) = 2*o(y) - 3*w(y). Let s be q(9). Let c = s - 4. Does 7 divide c?
True
Let z(q) = -q**2 + 6*q + 4. Let a be z(5). Let r(j) = -a*j - 1 - j - 1. Is r(-7) a multiple of 22?
False
Let w(q) = q + 8. Let n be w(-8). Suppose 0*p + 2*p + 2*x - 14 = n, -3*p + 3*x = -15. Suppose -o = 2*m - 63, m - p*m - 2*o + 159 = 0. Is m a multiple of 11?
True
Suppose 3539 = 19*v - 5847. Does 12 divide v?
False
Let m(v) = 208*v**2 - 9*v - 18. Is 32 a factor of m(-2)?
True
Suppose 37*p = -8300 + 54920. Is p a multiple of 12?
True
Let w be 167/(-2) + (-2)/4. Does 14 divide (2/(-6))/(1/w)?
True
Let h(q) be the third derivative of -q**6/120 + 7*q**5/60 + 17*q**4/24 - q**3/6 + 5*q**2. Let v be h(9). Is 11 a factor of (-222)/v - (-2)/(-10)?
True
Suppose 0 = -19*w + 21*w - 486. Is 27 a factor of w?
True
Let o be 6/27 + 440/(-36). Is (-3)/o - (-31)/4 a multiple of 8?
True
Is (-4287)/(-6) - 1 - (-6)/12 a multiple of 6?
True
Let i be (-18)/12*(-8)/(-3). Does 7 divide (i/(-1))/(12 + -13) - -95?
True
Let k(c) = 5*c**2 + 6*c + 11. Let o = 38 - 44. Is k(o) a multiple of 30?
False
Let i(k) = 6*k + 30. Let j(m) = -6*m - 31. Let t(u) = -4*i(u) - 3*j(u). Is 21 a factor of t(-22)?
True
Is 57 a factor of 12*(2760/16 + 8)?
True
Let a = -166 - 11. Let g = -72 - a. Does 21 divide g?
True
Let s(d) = -d**2 - 10*d + 7. Let u be s(-10). Suppose -a + u = g, -2*g = 4*a - 17 + 3. Let n = 10 - g. Is n a multiple of 3?
True
Let c = -47 + 22. Let t = c + 88. Suppose -3*y + 0*y = -t. Does 11 divide y?
False
Let c(g) = 4*g**2 + 3*g - 13. Let n be c(5). Suppose v - 2*v = -n. Is v a multiple of 17?
True
Suppose -35*v + 16 = -5*o - 36*v, 0 = 2*o + 3*v - 4. Suppose 3*k - 1 + 10 = 0. Is 15 a factor of (-234)/o*(-4)/k?
False
Suppose -5*o - 172 = -2*q, -o - q + 2*q - 35 = 0. Let m = o + 40. Is 3 a factor of m?
True
Suppose -4*u = 4, 2*g = -2*u - 6 + 18. Suppose g*h - 2*h = 90. Does 6 divide h?
True
Suppose d - 1 = 4. Suppose 186 = d*c + 61. Does 25 divide c?
True
Let v(s) = -s**2 + 4. Let g(c) = c**2 - 3. Let l(i) = -3*g(i) - 4*v(i). Does 8 divide l(4)?
False
Let v(c) = c + 8. Let m be v(-6). Let b be 18/12 + m/(-4). Is 3 a factor of (2/6)/(b/9)?
True
Is 10 a factor of (-116)/36 + 3 - (-821)/9?
False
Let p = 8 - 2. Let k(h) = -2*h**2 + 19*h - 8. Does 17 divide k(p)?
True
Let a(w) = -w**3 - 7*w**2 + 2*w - 40. Is 22 a factor of a(-9)?
False
Suppose 4*j = 5*j - 5. Suppose 2*k - j*d = 3*k - 130, -3*d = -4*k + 405. Is k a multiple of 15?
True
Suppose -11*v - 45 = 21. Let x(o) = -o**3 - 5*o**2 + 4*o + 15. Does 4 divide x(v)?
False
Let d = 24 - 19. Suppose 3*k - 3*f = 36, -4*k - 36 = -6*k + d*f. Is 4 a factor of k?
True
Suppose -4*s + 3 = -o, 5*s - o + 3 - 8 = 0. Suppose y + 2*k = -y - s, -4*y + 2*k = -26. Suppose -2*c + y*u + 104 = 2*c, -6 = 2*u. Is 16 a factor of c?
False
Does 31 divide -7 - (-3 + -8 + -43)?
False
Let a(d) = -105*d + 78. Let x(c) = -8*c + 6. Let y(r) = -2*a(r) + 27*x(r). Is y(-17) a multiple of 18?
True
Let v = 1360 + -1141. Is 29 a factor of v?
False
Let q be (-84)/(-8)*(-56)/6. Let c = q + 233. Is 27 a factor of c?
True
Let j = 43 - 19. Suppose 0 = v + 3*v - j. Suppose -2*a - v = -46. Does 5 divide a?
True
Let k(y) = -154*y - 103. Is k(-3) a multiple of 20?
False
Suppose 0 = -0*t + t + 1, 0 = 3*m + 2*t - 247. Let n = -125 + 75. Let w = n + m. Is 26 a factor of w?
False
Let z be (0 + -1)*2*1/2. Is 1 + z + 27 + 15/(-5) a multiple of 5?
False
Let u(a) = 15*a**2 - 2*a - 24. Let f(c) = c**3 + c - 1. Let p(n) = -2*f(n) - u(n). Does 30 divide p(-8)?
True
Does 18 divide 480206/513 + 6/(-81)?
True
Let r = 83 - -152. Suppose -4*a - 120 + 36 = -o, r = 3*o + 5*a. Suppose 0 = v - 3*y, -4*v - 3*y = y - o. Is 5 a factor of v?
True
Let n(a) = 3*a**3 - 2*a**2 - 2*a + 1. Let p(d) = 4*d**3 - 2*d**2 - d + 2. Let g(t) = -3*n(t) + 2*p(t). Let j be g(3). Let y = 2 + j. Is y a multiple of 6?
True
Let l = -3 + 7. Let i be (-17)/(-17)*(2 + 45). Suppose l*c = -11 + i. Is c a multiple of 9?
True
Suppose 371 = s + 2*l, 5*s + 0*l - l - 1910 = 0. Suppose 4*t - 455 = -t - 2*h, s = 4*t + 5*h. Is t a multiple of 15?
False
Let v be ((-50)/(-30))/((-1)/(-12)). Suppose -15*k = -v*k + 95. Is 19 a factor of k?
True
Let u = 44 + -35. Let g = 1 + u. Is 10 a factor of g?
True
Let l(u) = 31*u**2 - 4*u + 1. Let i(z) = -154*z**2 + 20*z - 6. Let r(j) = -3*i(j) - 14*l(j). Is 12 a factor of r(2)?
True
Suppose -77 + 23 = -6*l. Let x be 5/(-15) - (-3)/l. Suppose -2*a + 24 = n, x = 2*a - 2*n + 6*n - 36. Is a a multiple of 5?
True
Suppose 2*l + 22 = -3*q, -2*l + 10 = -3*l - 2*q. Let t = l - -14. Suppose z - 2*z + 16 = t. Does 9 divide z?
False
Let a be 1/(-7) + 36/7. Suppose 4*v = 2*b + 2*b - 20, v = 3*b - a. Suppose 3*w - 2*w - 24 = b. Does 21 divide w?
False
Does 16 divide (-2)/(15024/(-22428) - 2/(-3))?
False
Let j = 15 - 59. Let o = 113 + j. Suppose -3*k + 189 = -u, 4*u - o = 3*k - 258. Does 16 divide k?
False
Suppose 4*z = -l + 10, -4*l - 3*z = -6 - 8. Suppose -28 = -w + 2*f, l*f + 2*f - 16 = -w. Suppose -3*j + w = y, -3*y - j = y - 118. Does 6 divide y?
True
Let p be 22/6 + 72/(-108). Suppose -p*w = -12*w + 1737. Does 23 divide w?
False
Let s(b) = b**2 + 4. Let n be (-3)/(-5) + (-6)/(-15). Suppose -h - n = -y, -4*y + h - 2 = 9. Is 10 a factor of s(y)?
True
Suppose 0 = -7*p - 970 + 9685. Is 20 a factor of p?
False
Is 11 a factor of 2/((36/(-25770))/((-18)/30))?
False
Suppose -4*g - 3*a = 2*a + 165, 3*a = g + 54. Let c = -2 + -21. Let i = c - g. Is i a multiple of 11?
True
Let i(o) = -o + o**3 + 10*o**2 - 2*o + 5 + 17. Does 10 divide i(-10)?
False
Suppose 0 = 3*k - 1 - 8. Suppose 0 = 4*b + k*i - 463, 6*i - 585 = -5*b + i. Does 16 divide b?
True
Let m = -34 + 339. Does 42 divide m?
False
Let g(c) be the first derivative of -c**3/3 + 49*c - 25. Is 9 a factor of g(0)?
False
Suppose -a + 47 = -445. Suppose -2*x + 3*x - 661 = -4*n, -2*x + a = 3*n. Does 24 divide n?
False
Suppose 82264 = 32*w + 20*w. Is w a multiple of 9?
False
Suppose 4*d - 116 = 2*c, -d - 3*c = -2*d + 24. Suppose b + 0*b = -3*y + d, -4*b - 4*y = -104. Is 8 a factor of b?
True
Let b be (-13521)/(-7) - 6/(-14). Is 28 a factor of b/16 - 15/20?
False
Let x = 32 - 28. Let p(y) = 34*y + 4. Let v be p(4). Does 14 divide v/(-15)*(-6)/x?
True
Suppose -5*w = 3*d - 2632, -3*d + 8*d - 4399 = 4*w. Is d a multiple of 11?
False
Let o = -47 + 51. Suppose -52 = -5*i - 0*i + o*d, 0 = 2*i - 3*d - 18. Is i a multiple of 12?
True
Is 46 a factor of (-1035)/25*(-2990)/39?
True
Suppose 2*z = -4*s + 38, -3*s + 26 = -z - 10. Suppose 9*y - s*y + 422 = 0. Does 32 divide y?
False
Let q = 3 - 0. Suppose 117 = q*c + 3*r, -c + r = -0*c - 31. Suppose 0 = w + 3*l + 11 - 41, w = -4*l + c. Is 5 a factor of w?
True
Does 5 divide 57 + (-28)/(-8)*(-24)/(-42)?
False
Let i be 21/(-2)*(-2)/3*3. Let h = 27 + i. Is h a multiple of 8?
True
Let z be (13 + -3)*4/8. Suppose -3*p + 5*y + 54 = -p, -z*p = -2*y - 93. Is p a multiple of 10?
False
Let w(v) = 2*v**3 + 3*v**2 - 2*v - 1. Let y be w(-3). Is 33/y*(-34)/3 a multiple of 12?
False
Let k(l) = 43*l**2 + 19*l - 100. Is k(4) a multiple of 4?
True
Let d(p) = 1. Let b(x) = -x + 2. Let y(u) = -b(u) + 4*d(u). Let c be y(-11). Let g(r) = -2*r - 5. Does 11 divide g(c)?
False
Let n be 313*((-5 - -4) + 2). Suppose -n - 86 = -3*h. Suppose h + 47 = 5*s. Does 12 divide s?
True
Is ((-11)/1)/((-39)/195) a multiple of 55?
True
Let b be 36*