+ 5*n - k = 0, 5*m - 1306 = -4*n + 664. Is 10 a factor of m?
True
Let x(d) = -807*d + 947. Is 17 a factor of x(-7)?
True
Suppose 18 = -4*s + 34. Suppose 4*t = l - t + 2, -2*l - 4*t = s. Is 4 a factor of (-32)/l + -2 + 2?
True
Suppose 21*k = 22*k - 28. Let p = k + -26. Suppose -s = -t + p*s + 144, -4*t + 546 = 3*s. Is 22 a factor of t?
False
Let y = 52 + -310. Let s = -81 - y. Suppose -39 = -2*f + s. Does 27 divide f?
True
Let q = 33616 - 19183. Does 17 divide q?
True
Is 6/8 + (-566600)/(-800) a multiple of 12?
False
Let g(r) = 29*r - 147. Is g(37) a multiple of 11?
False
Let w(f) be the first derivative of -3*f**2 - 22*f - 1 - 4*f + 5 - 10*f. Is 8 a factor of w(-14)?
True
Suppose -121*k + 113*k + 1088 = 0. Suppose -q - f + k = 22, q = f + 108. Is q a multiple of 19?
False
Suppose 0 = -173755*q + 173758*q - 3567. Does 41 divide q?
True
Let p(x) = x**2 + 39*x - 134. Let v be p(-42). Let o(n) = n + 1. Let r(a) = -37*a + 18. Let k(h) = -o(h) + r(h). Does 25 divide k(v)?
False
Suppose 0 = -2*a - 2*a + 2492. Suppose 4*j - a - 321 = 0. Suppose -2*z - 4*l = -212, -2*z + j = -5*l + l. Does 14 divide z?
True
Let j(f) = 7*f - 110. Let w be j(-17). Let n = w - -361. Is n a multiple of 4?
True
Suppose o - 13230 - 408 = -3*l + 2*o, 0 = -o. Is l a multiple of 2?
True
Let w = -2950 + 8370. Does 10 divide w?
True
Let d be 1*((-20)/(-25) - (-6)/5). Suppose d*j + 23 = 1067. Does 9 divide j?
True
Suppose 5*b - 30976 = q + 5970, 12*q + 14848 = 2*b. Is b a multiple of 4?
True
Let j = 49 + -119. Let g = -70 - j. Does 27 divide (-112)/(g - 1) + (4 - 8)?
True
Suppose -s = 5*r - 1710, 5*r + 441 - 2166 = -4*s. Let o = r + 555. Does 14 divide o?
True
Let r(h) = h**3 + 12*h**2 - 12*h + 12. Is 5 a factor of r(-6)?
True
Let s(h) = 1 - 3 + 17*h - 5*h**3 + 4 - 2*h**2 - 16*h. Let n be s(-1). Suppose -11 = -3*f + 5*c, -5*c = -f - n + 11. Is f even?
True
Suppose -64923 = -42*i + 67419. Is i a multiple of 137?
True
Let r(x) = -380*x - 2438. Is r(-48) a multiple of 110?
False
Let d(m) = -2*m**2 + 14*m - 26. Let v be d(8). Let h be -1 + (2 - 3 - v). Suppose -h = -z + 4*w, -4*z + z + 104 = 4*w. Does 6 divide z?
True
Let w(r) = -11*r - 18*r - 45 + 25*r - 3. Let l be w(-12). Suppose l = 3*v - 12, 0 = h - 2*v + 12 - 129. Is 18 a factor of h?
False
Let b = 106 - 101. Let q(c) = 37*c + 31. Is 14 a factor of q(b)?
False
Suppose x = -4, -p + x + 28532 = -13727. Is p a multiple of 15?
True
Let a = -261 + 272. Suppose a*y + 161 - 1118 = 0. Does 6 divide y?
False
Let f(t) = 68 - 14*t - 13*t + 16*t. Does 36 divide f(-7)?
False
Let c(v) be the third derivative of v**6/120 + 3*v**5/10 - v**4/24 - 14*v**3/3 - 13*v**2. Let b be c(-18). Does 8 divide (5 + -2)*(3 - b)?
False
Let a(p) = -18*p + 55. Let o be a(11). Let r = o - -142. Is 8 a factor of -1 + r - (-47 + -3)?
True
Suppose 2*p = -5*d + 2*d + 11, -5*p - 5*d = -40. Suppose p*w - 4676 = -w. Is 11 a factor of w?
False
Suppose -3*x + 11370 = -12*w, 3*w = -3*x - 2*w + 11251. Does 22 divide x?
True
Let q = 3829 - 595. Is 98 a factor of q?
True
Suppose -5*u - 1 = -0*u + 4*c, 3*u - 21 = 3*c. Suppose i + 4 = u*i. Suppose 186 = 3*o - 3*p, -4*o + 275 = o + i*p. Is 9 a factor of o?
False
Suppose 38 - 34 = 2*o. Suppose -o*u + 18 = -8. Let z(h) = 19*h - 17. Does 23 divide z(u)?
True
Let h(x) = x**2 + 13*x - 222. Let r be h(-47). Let c = r + -768. Is 79 a factor of c?
False
Let l(q) be the second derivative of -q**4/12 + 14*q**3/3 + 69*q**2 + 2*q + 2. Does 23 divide l(23)?
True
Let r(b) = b**3 - 10*b**2 + 10*b - 4. Let a be r(9). Suppose -4*m - a*j = -8, -2*j + 5*j = -5*m + 10. Let o(z) = 7*z**2 + z + 2. Does 4 divide o(m)?
True
Suppose -3*z - 120 = -z. Let y(n) = -n**2 - 5*n - 54. Let o be y(-14). Let b = z - o. Is b a multiple of 24?
True
Let s be (1 - ((-14)/6 - -3))*357. Suppose 515 - s = 2*y. Is y a multiple of 22?
True
Suppose -17 = -0*v + v - 4*s, 5*s - 16 = 3*v. Suppose a + v = 2*a. Suppose 4*d + 3*g - 467 - 1 = 0, 364 = a*d - g. Is d a multiple of 24?
True
Let h = 7162 + -5248. Is 58 a factor of h?
True
Let j be 16/(-72) + (-94)/(-18). Let y(i) = 47*i - 26. Is y(j) a multiple of 19?
True
Let k(r) = 6*r**2 + 10*r + 12. Let p be k(-4). Is 29 a factor of 18037/p - 15/12?
False
Let k be (-74)/(-185)*(-73 + (-6 - -9)). Let v be 16/(-6)*(-33)/(-2). Let w = k - v. Is w a multiple of 16?
True
Suppose 0 = -4*l - 2*b + 6904, l - 2*b = -l + 3464. Is 3 a factor of l?
True
Let w(z) = z**2 + 7*z - 15. Let f be w(0). Is 58 a factor of (-5872)/(-60) - -6 - 2/f?
False
Let n(w) = 30*w**2 + 158*w - 8. Does 9 divide n(-8)?
True
Let q(v) = 7*v**2 + 4*v + 6. Let z be q(10). Suppose 63*n = 61*n + z. Is n a multiple of 16?
False
Let j(d) = -4*d**3 + 87*d**2 + 6*d - 279. Does 12 divide j(21)?
False
Suppose 6*c - 219 - 141 = 0. Let n = 18 - c. Is 1/(-7) - 1965/n*4 a multiple of 16?
False
Let u(g) = -290*g**3 - 46*g**2 - 214*g - 62. Is u(-5) a multiple of 36?
True
Let d(a) = -43*a + 14. Let o be d(1). Does 3 divide o/(410/(-45) - -9)?
True
Let t(y) = -7*y**3 - y**2 - 4*y - 4. Let q(c) be the first derivative of c**3/3 + 2*c**2 + 2*c + 12. Let p be q(-2). Is 14 a factor of t(p)?
True
Let y = 8781 + 2289. Is 30 a factor of y?
True
Suppose -4*q + j + 68162 = 0, -93*j + 91*j = -2*q + 34072. Does 170 divide q?
False
Suppose -14*s = 22*s - 1332. Suppose s*l + 2070 = 40*l. Is 23 a factor of l?
True
Suppose 65630 = 18*q + 9092. Is 23 a factor of q?
False
Let o(k) = 5*k**2 - 12*k - 15. Let t be o(-6). Let i = -163 + t. Is i a multiple of 13?
False
Let i = 74 - -495. Let j = i + -415. Is 22 a factor of j?
True
Suppose -2*z = 3*z - 10. Let s(f) = 13*f**3 - 4*f**2 + 2*f. Does 4 divide s(z)?
True
Let c = 117 - 181. Does 28 divide (404/(-8) + 4)*c/12?
False
Let v be 280/((8/148)/1). Let s = v - 812. Is 54 a factor of s/27 - (114/(-27) + 4)?
True
Let m be 120/(-72) + -325*(-376)/6. Suppose m = 17*b + 4606. Is b a multiple of 16?
False
Let c = -5979 + 2198. Is 36 a factor of c/(-7) + 34/(-238)?
True
Suppose 0 = -4*b - g + 340, -4*g + 184 = 2*b - 0*b. Let q = b - 124. Let p = -27 - q. Does 13 divide p?
True
Suppose -318 = -5*t - 4*h, 2*t - 7*h - 116 = -3*h. Let v = 312 - 326. Let x = v + t. Does 8 divide x?
True
Let w(p) = -p**3 - 4*p**2 - 14. Let t be w(-7). Suppose -137*j + 80 = -t*j. Is j a multiple of 2?
True
Suppose -a + 363 + 1195 = 0. Suppose a - 6038 = -7*i. Is 16 a factor of i?
True
Let t(a) = -a**3 - 9*a**2 + 9*a - 10. Let b be t(-10). Suppose b = 5*g + 5*s - 2220, -2*g + 3*s = -s - 912. Is g a multiple of 16?
True
Let z(d) = -34*d + 632. Let m be z(17). Let f = 4 + -1. Suppose -f*u = -2*k + m, -2*u = -8*k + 3*k + 135. Is 5 a factor of k?
False
Is 4 - ((-5450 - 18) + -22) a multiple of 67?
True
Let b = 32 + -20. Suppose 110*m = 112*m - b. Does 19 divide 19*(6/18 - (-28)/m)?
True
Let h(b) = b**3 - 84*b**2 - 901*b - 225. Is 93 a factor of h(94)?
True
Let r(v) be the first derivative of 3*v**6/8 + v**4/12 - v**3/3 + 5*v**2/2 + 4. Let a(t) be the second derivative of r(t). Is a(1) a multiple of 16?
False
Let t = -349 - -450. Suppose 0*v - t = -v - 5*u, -131 = -v + u. Is v a multiple of 18?
True
Suppose -4*c + 120 = -4*y, -4*y = -y - 4*c + 93. Let a = y - -19. Does 5 divide (a/10)/((-2)/30)?
False
Let u(l) = 34*l**3 + l**2 - 3*l + 3. Let v(c) = -c**3 - 13*c**2 + 11*c - 40. Let n be v(-14). Is 27 a factor of u(n)?
False
Let s(k) = 16*k - 38. Let m be s(3). Suppose -m*q + 18*q = 2320. Does 58 divide q?
True
Let l(w) = 29*w - 4. Let x(j) = -19*j + 3. Let n be 2/(6/3)*7. Let p(i) = n*x(i) + 5*l(i). Is 5 a factor of p(2)?
True
Suppose 42*v - 313111 + 157376 = 529705. Does 20 divide v?
True
Suppose 5*t + 11*y - 67515 = -17232, -3*y = -t + 10041. Is t a multiple of 35?
False
Let r = 67 + -90. Let q = 26 + r. Suppose 0 = -5*g + 2*b + 575, -q*b = g + b - 93. Is 24 a factor of g?
False
Let o = 427 + -423. Suppose o*f = 1989 + 871. Does 13 divide f?
True
Let v be 5/((-15)/6)*-4. Let f be (3/2)/(4/v). Suppose f*m + 45 = 4*m. Is 9 a factor of m?
True
Suppose -107*z + 104*z = -3*u - 85692, -57086 = -2*z - 4*u. Is z a multiple of 77?
False
Suppose 7*l + 26 = 117. Suppose -3*f = -l - 14. Is 9 a factor of f?
True
Let v = -95 + 72. Let c(p) = -p**2 - 23*p + 31. Is 10 a factor of c(v)?
False
Let g(f) = 2*f + 33. Let i(j) = 1. Let b(n) = g(n) - 4*i(n). Let p be b(-13). Let w(l) = 3*l**3 - 5*l**2 + 2*l