 + 6*k + 27 = 0. Is 2 a factor of 23 + k/(-3) + 5?
False
Is 2*(320/720 - (-46144)/18) a multiple of 24?
False
Suppose 44 + 16 = 20*j. Suppose 2*w = b + 154, -j*w = -5*b - 232 - 13. Does 3 divide w?
True
Suppose -18*j = 486 - 43452. Is j a multiple of 31?
True
Suppose 0 = -11*p + 6*p - 650. Let s = -97 - 103. Let g = p - s. Does 27 divide g?
False
Let i(w) = 19*w - 14. Let m be i(4). Let k = 143 - m. Does 9 divide k?
True
Let n = -8594 - -33216. Does 72 divide n?
False
Does 28 divide (13 + -29 - -23789) + -1 + (-3 - -3)?
True
Suppose 0 = -3*j + 17*j - 12182 - 39142. Is 13 a factor of j?
True
Let v(f) = -13*f + 123. Let a be v(8). Let c = a + 20. Is c a multiple of 21?
False
Suppose -4*y - y + 6160 = 0. Suppose -15*w + y = -11*w. Is w a multiple of 14?
True
Suppose -w - 9 = -18. Let f(k) = 5*k**2 + k + 100. Is 16 a factor of f(w)?
False
Suppose -3*s = q - 3*q - 693, 3*s = 4*q + 687. Let g = 304 - s. Is 13 a factor of g?
False
Let c = 0 + 3. Suppose -2*q + 181 = -c*w, 0 = -2*q + 5*w - w + 184. Let p = q - 66. Is 2 a factor of p?
True
Let o be (6/(-8))/((-23)/(-92)). Let h(a) be the first derivative of -5*a**2/2 - 7*a - 3. Is 8 a factor of h(o)?
True
Suppose -3*g + 3*a = -9, -3*a + 9 = -2*g + 5*g. Suppose -3*q = -0*w - 3*w - g, q + 1 = 2*w. Suppose q*y = -2*y + 5*h + 210, -y + 22 = 3*h. Is y a multiple of 5?
False
Is ((-41520)/(-4 + 9))/(2 + -3) a multiple of 2?
True
Suppose 8 = 4*q + d, 2*q = -3*d - 2*d - 14. Suppose -3*i = -2*i + 5, 157 = 4*p + q*i. Suppose -p*r = -42*r - 105. Is r a multiple of 15?
True
Suppose 2*o = q - 646, -30*q + o = -32*q + 1297. Is q a multiple of 8?
True
Suppose -3425121 = -94*i + 2539555. Is i a multiple of 150?
False
Let b(p) = 6*p + 30. Let t be b(-8). Let x be t/(-8) - (-2)/(-8). Suppose -113 = x*h + 5*u - 343, 604 = 5*h - 2*u. Does 30 divide h?
True
Let f(n) be the third derivative of n**7/840 - n**6/240 - 7*n**4/24 + 13*n**2. Let x(r) be the second derivative of f(r). Is x(-6) a multiple of 18?
True
Suppose 2*h + 34 = m + 686, 0 = -m - 2*h - 648. Let z = m + 1376. Is 66 a factor of z?
True
Let o be (-4)/9 + (-352)/432*-30. Suppose 1189 = 4*l - 23*v + o*v, -5*l = -v - 1484. Is 6 a factor of l?
False
Suppose 133 = -2*s - 3*j, s - 19 = -4*j - 73. Let a = -31 - s. Is 8 a factor of a?
False
Let q = 23 + -43. Let a be (q/(-30))/((-4)/294). Let g = -16 - a. Is g a multiple of 17?
False
Let x(f) = f**3 - 8*f**2 + 2*f - 1. Let a be x(7). Let j = a - -16. Does 19 divide (j/15)/(3/(-72))?
False
Suppose -74*x = 111*x + 127*x - 1964976. Is x a multiple of 94?
True
Let g(r) = -23*r**3 + 3*r**2 - 6*r + 29. Let b(a) = 20*a**3 - 2*a**2 + 5*a - 28. Let z(j) = -7*b(j) - 6*g(j). Is z(-7) a multiple of 9?
False
Let b = 2523 - -28. Is b a multiple of 122?
False
Let c = 18844 - 12739. Is c a multiple of 79?
False
Let n be (-2)/((4 + -3)/(-1)). Let z = -8 + n. Is 17 a factor of -1 - (-3)/z*-58?
False
Suppose 6*y - 18 - 12 = 0. Suppose y*n - 7 = 2*h, 4*h - 8 = 2*h. Suppose -2*a - 10 = n*a, -222 = -4*x - 3*a. Is 19 a factor of x?
True
Suppose -210*g + 289*g - 1378708 = 0. Is 102 a factor of g?
False
Does 138 divide 23 + (-7785246)/(-399) - 4/(-38)?
False
Suppose -207*z = -206*z + 54. Let n = 144 + z. Does 45 divide n?
True
Suppose -y - 22 = 4*p, p - y + 1 + 2 = 0. Let d(j) = -j**3 - 17*j**2 - 2*j - 38. Let s be d(-17). Is 14 a factor of (-32)/12*((-390)/s)/p?
False
Let o(z) = z**3 + 5*z**2 - 7*z - 5. Let f = -89 - -92. Suppose 12 = -x + j + 2, f*j = 2*x + 25. Is o(x) a multiple of 5?
True
Does 36 divide ((-19)/((-76)/(-48)))/((-8)/3812)?
False
Suppose 303*a = 3*x + 306*a - 38295, x + 3*a - 12779 = 0. Is x a multiple of 47?
False
Let l(f) = -14*f + f**3 + 61*f**2 - 22*f**2 + 29 - 25*f**2. Is l(-8) a multiple of 75?
True
Suppose -98*a + 2*n = -101*a + 53221, -n + 88711 = 5*a. Is a a multiple of 58?
False
Suppose -5*k + 976*y + 36520 = 971*y, 2*k - 14593 = -3*y. Does 13 divide k?
False
Let f = 1 + 32. Let x(k) = k**2 + k - 5. Let a be x(-3). Is (-3)/(-12)*f - a/4 a multiple of 2?
True
Suppose 0 = r + 22 - 27. Suppose 0 = r*d + 4*y - 1490, -2*d + 385 = -2*y - 193. Is d a multiple of 7?
True
Let s(p) = 7*p + 33. Let w be s(-16). Let n = w - -46. Let t = n - -50. Is t a multiple of 14?
False
Suppose 0 = 2*r + 3*r - 135. Let i be (-16)/(-48)*(3 - -21). Suppose -i*s = -7*s - r. Does 5 divide s?
False
Let c = 64 - 40. Suppose c*v - 19*v = 735. Is 4 a factor of v?
False
Suppose -5*t = c + 350, -5*c - 6*t - 1729 = -2*t. Let j = c + 359. Does 3 divide j?
False
Let y = -1530 + 16948. Is 13 a factor of y?
True
Let y(u) = -746*u - 1426. Is y(-2) a multiple of 33?
True
Let u(f) be the second derivative of 5*f**3/6 - 43*f**2/2 - 26*f. Let d be u(14). Suppose 6*s - 123 = -d. Is s a multiple of 5?
False
Let f be 4/(-3)*(5 - -16). Let c(j) = j**2 + 4*j - 158. Does 32 divide c(f)?
False
Let r(f) = -12*f - 2. Let h be r(-2). Suppose -a - 3*a = 0. Suppose 3*s - 208 - h = 5*y, a = -3*s + 3*y + 222. Is 10 a factor of s?
True
Let v = -454 - -460. Suppose v*n - 732 = 1188. Is 20 a factor of n?
True
Suppose 2*w + 628 = 3*y, -5*w + 3*y = -2*w + 948. Let m = w + 343. Is m a multiple of 3?
False
Let n(o) = -5*o - 177. Let p be n(-28). Let s be (2 + 50)/(-2)*-2. Let a = s + p. Does 3 divide a?
True
Suppose 4*w = -4*l + 500 + 2632, l = 4*w - 3137. Is w a multiple of 7?
True
Suppose -49 + 174 = a. Let y be 2 + a - -5*1/(-5). Suppose 10*p = 17*p - y. Is 18 a factor of p?
True
Suppose -2992*j = -2994*j + 42364. Does 34 divide j?
True
Let m = -29 - -46. Let c(s) = s + 10. Let k be c(m). Suppose k = 2*z - 49. Is 8 a factor of z?
False
Does 16 divide 443 - -1961 - (0 - -3)*-3?
False
Let g(n) = 220*n**2 + 19*n - 25. Let l be g(5). Suppose 2*o + l = 4*w, 15*o = 10*o + 5. Is 38 a factor of w?
False
Let m(t) = 2*t**3 + 2*t**2 - 33*t + 19. Let k(b) = b**2 + 19*b - 13. Let v be k(-20). Is m(v) a multiple of 22?
True
Suppose -51 = -3*g + 2*g. Suppose g - 11 = -u. Let k = u + 91. Is 17 a factor of k?
True
Suppose -37 = -17*x + 48. Suppose x*m - 4*m = -4*u + 1404, -2*u + 5*m = -724. Is 22 a factor of u?
True
Let q(f) = -6*f**2 + 44*f + 11. Let b be q(15). Let k = 1021 + b. Is 9 a factor of k?
True
Let g(w) = 0 - 7 - 4*w + 4. Let f be g(-3). Suppose -m + f*m = 192. Is m a multiple of 15?
False
Let y be ((-2824)/(-10))/((-9)/((-135)/6)). Let b = 14 + y. Suppose -4*h + b = h. Is h a multiple of 15?
False
Let s(w) = -w**3 + 11*w**2 + 33*w - 35. Let d(q) = 2*q**3 - 23*q**2 - 65*q + 71. Let m(f) = 3*d(f) + 5*s(f). Is 10 a factor of m(16)?
True
Suppose -6*z - 125*m + 124*m = -370429, 2*z + 5*m - 123509 = 0. Is z a multiple of 13?
True
Suppose -44*m + 43*m + 352 = 0. Is (87 - 89)/(1 - 354/m) a multiple of 32?
True
Suppose 4*g + 13*s = 11*s + 4000, -5007 = -5*g + s. Is 78 a factor of g?
False
Suppose d + 4*b - 16597 = 0, -82916 = -5*d + 224*b - 221*b. Is d a multiple of 121?
False
Suppose 12 = 5*w - 193. Let k = w + -40. Let o = k - -32. Is 7 a factor of o?
False
Suppose -46*c + g + 51153 = -41*c, 3*c - 2*g - 30696 = 0. Is 33 a factor of c?
True
Suppose 6*n - 17460 - 18476 = -2*n. Is 14 a factor of n?
False
Let y = -99 + 63. Is (-3572)/y - 6/27 a multiple of 9?
True
Suppose 3*t + 2*n - 18 = t, -5*n + 9 = 2*t. Suppose -3*y = -0*y - t. Suppose 0*b - y*s + 100 = 4*b, 2*b + 3*s = 48. Is b a multiple of 27?
True
Suppose 0 = -18*b + 120 + 6. Suppose b*s = -1072 + 4222. Is s a multiple of 32?
False
Let w = 26 + -40. Let m = w - -16. Suppose m*n + 430 = 5*q, 2*n = -3*q + 3*n + 258. Does 14 divide q?
False
Suppose t + 5*h = -487, -t - 52 = -3*h + 435. Let s = -350 - t. Is s a multiple of 9?
False
Let f(d) be the first derivative of 10*d**3/3 - 15*d**2 - 106. Is f(-6) a multiple of 15?
True
Let z(f) = 529*f - 3162. Is z(42) a multiple of 8?
True
Let o be (-865)/6 - ((-20)/24)/5. Does 36 divide o/(-15)*((-220)/(-4) - -5)?
True
Suppose 401478 = 35*k + 21*k + 21*k. Is 6 a factor of k?
True
Let f(i) = -2*i**3 - i**2 + 24*i - 84. Let l(r) = r**3 - 12*r + 42. Let q(m) = -4*f(m) - 9*l(m). Let h be q(5). Does 22 divide (-1081)/h - ((-24)/(-28))/2?
True
Suppose 3*q - 2520 = -2*s, -3*s + 7*s + q = 5030. Let g = s - 856. Let d = g - 221. Does 15 divide d?
True
Let r be -4 + 0 + 6 + 2. Suppose y + 4*k - r = 20, 4*y + 4*k - 48 = 0. Suppose o - y - 16 = 0. Is 10 a factor of o?
False
Does 29 divide (5236/21 - -8)*3/