oes 10 divide i?
False
Suppose o + 3*k = -175, 0 = k + 3*k - 16. Let g = 210 + o. Is 11 a factor of g?
False
Suppose 0 = 8*b - 1714 + 122. Does 43 divide 8/2*(b/2 + 8)?
True
Let v(n) = 2*n**3 - 8*n**2 - 2*n - 22. Let f(a) = -a**2 + 10*a - 18. Let r be f(4). Is 5 a factor of v(r)?
True
Suppose -35497 = -15*c - 10297. Is c a multiple of 6?
True
Let s = -576 + 212. Let o be -1 + 3/(12/s). Let n = 162 + o. Is 10 a factor of n?
True
Suppose 5*d + 5*r - 27 - 173 = 0, 0 = -2*d - 4*r + 72. Suppose -67*s + d*s + 21620 = 0. Does 94 divide s?
True
Let a = 81 + -76. Suppose 0 = -a*b + 15, 0 = 4*x - 6*b + 5*b - 321. Suppose -5*w = -y - 835, w - 95 - x = 2*y. Does 41 divide w?
False
Let p(x) = -8*x + 258. Let y be p(33). Does 11 divide 11 + y + -6 - 354/(-2)?
True
Let k(i) = -27 + 49 + 3*i - 2*i + 3*i - 5*i. Is k(8) a multiple of 2?
True
Suppose -3*d + 0*d + 2*d = 0. Suppose 0 = -6*h + 12 - d. Is 9 a factor of (-2796)/(-84) - h/14*2?
False
Suppose -188*h + 195*h - 665 = 0. Let s = h + 248. Does 15 divide s?
False
Is 1*13533*(-279)/(-837) a multiple of 23?
False
Let r = -459 + 462. Suppose -r*f = 0, -4*g + 231 + 569 = -4*f. Does 25 divide g?
True
Let a = -65 + 297. Let x = a + -120. Is x a multiple of 14?
True
Suppose j - 5*q + 106 = -2*q, 4*q - 338 = 3*j. Let k = j + 36. Let y = 172 + k. Does 15 divide y?
True
Let z = 9279 - 9271. Let i be 362*2/((-4)/(-3)). Suppose 0 = -z*m + i + 641. Is 37 a factor of m?
True
Let d be ((-30)/12 - -6)/(2/24). Let v be 26/(-12) + -7 + 301/d. Is 2 a factor of (5 - (5 + v)) + 12 + 0?
True
Let m(p) = 3576*p**3 - 33*p - 4*p**2 - 3577*p**3 - 7*p**2 - 23. Does 16 divide m(-10)?
False
Let b(r) = 59*r**2 - 153*r - 58. Does 9 divide b(11)?
False
Suppose -2090*z + 2075*z = -21525. Is z a multiple of 26?
False
Let n(j) = 10*j**2 - 7*j + 9. Let o(s) = s**3 + 22*s**2 + s + 25. Let d be o(-22). Does 6 divide n(d)?
True
Let u = -78 + 129. Let h = -170 - -146. Let d = u + h. Is 9 a factor of d?
True
Suppose -3*q = 5*n - 73094, 2*q = -4*n + 33105 + 25367. Does 9 divide n?
False
Let k = 5550 + -3454. Suppose 4*d - 6*d = -k. Is d a multiple of 14?
False
Let a be (7 - 5)*(0 + -4). Does 5 divide (a/4 + 1 - -106)*2?
True
Suppose 8*m - 14*m + 72 = 0. Let n(j) = -j + 3. Let f be n(5). Does 7 divide 1928/m - f/6?
True
Suppose -2*y + 760 = -0*y. Suppose -y = -5*p + 4*t - 5, 3*t = 0. Suppose -4*x + 375 = 6*z - z, p = z - 5*x. Does 15 divide z?
True
Suppose 3*p + 40552 = 2*j, -907*j = -903*j - 2*p - 81136. Does 8 divide j?
True
Let c be -3 + 5 - (-4)/(-2). Suppose -20*o = -17*o - 366. Suppose c*m + m = o. Does 17 divide m?
False
Suppose 23*x = 4*x + 76. Let s(q) = 32*q - 21. Is s(x) a multiple of 17?
False
Is (17 - 22) + (4 - -2233) a multiple of 93?
True
Let j(r) = -2*r**3 + 13*r**2 - 4*r - 10. Suppose -p - 4 - 2 = -f, 4*p = 0. Let c be j(f). Suppose c*w + 11*w = 2652. Is 17 a factor of w?
True
Let g = -3 - -7. Let y be 77/7 + 24/(-3). Suppose -y*w + 3*l + 207 = 0, -l - g*l = 2*w - 131. Does 8 divide w?
False
Let w(o) = -o - 5*o**2 + o + 8 + 5*o + 6*o**2. Let z be w(-4). Is 3 a factor of ((-2)/z)/((-19)/228)?
True
Suppose 0 = 3*r - 9, -2*r - 2*r = s - 762. Let c = s + -334. Is 16 a factor of c?
True
Let l(j) = -94*j - 2071. Is l(-53) a multiple of 41?
True
Let s(j) = -17*j**3 + 6*j**2 + 46*j + 75. Is 209 a factor of s(-9)?
True
Let x(d) = -5*d**2 + 2*d - 12. Let i(v) be the second derivative of -5*v**4/3 + 3*v**3/2 - 24*v**2 + 16*v. Let k(g) = 2*i(g) - 9*x(g). Is k(4) a multiple of 23?
True
Let a = 258 - 170. Is (a/(-12)*4)/(6/(-135)) a multiple of 15?
True
Let b be (-4)/18 + 8*(-4)/(-144). Suppose 2*f + 1 = 3*a - 1, b = -4*f + 4*a. Suppose 45 = 5*g + 3*r - 189, -2*g + f*r + 100 = 0. Does 12 divide g?
True
Suppose 2754 = 5*u - 86. Suppose u - 9676 = -12*x. Suppose 5*k - x = -14. Is 25 a factor of k?
False
Let c(k) be the first derivative of 49*k**2/2 + k + 17. Is 31 a factor of c(3)?
False
Suppose -20*s + 16*s - 7665 = -5*b, 4*s - 4567 = -3*b. Does 53 divide b?
False
Suppose -3*i = 4*k - 6555, 90*k = -2*i + 87*k + 4368. Is i a multiple of 229?
False
Suppose 0 = 44*b - 47*b + 6. Suppose -5*g + 1787 = b*y - 1113, -y + 1443 = -g. Is y a multiple of 24?
False
Let d(k) be the first derivative of k**3/3 + 15*k**2/2 + 29*k - 54. Does 3 divide d(-18)?
False
Suppose 0 = 5*g - 20 - 5. Suppose 2*j - 214 = 2*s, -s - 545 = -g*j - 6*s. Is j a multiple of 27?
True
Let w(d) = -d**3 - 3*d**2 + 2*d - 6. Let f be w(-4). Let p be (1 - (f + 0))*-4. Suppose 5*t - 72 = -p*h, 2*t = -0*t + h + 34. Is t a multiple of 2?
True
Let w(i) = -3*i**2 + 23 + 4*i**2 + 0*i**2 - 42 - 4*i. Does 26 divide w(13)?
False
Let v = -205 - -209. Let g(p) = 6*p**3 - 4*p**2 + 11*p - 26. Is 21 a factor of g(v)?
False
Suppose 3*t + t = 16. Suppose 2*w = t*w - 8. Suppose -w*h - 4*z = -332, -h - 5*z + 31 + 32 = 0. Is 11 a factor of h?
True
Suppose -3*i = 5*u - 280, -5*i = -3*i - 3*u - 155. Suppose 3*h + 5*a - i + 28 = 0, 0 = 2*h + a - 31. Is 2 a factor of h?
True
Suppose -4*y + 7*y - 3 = 0, -j + 372 = -5*y. Is j a multiple of 13?
True
Let n be 1*6/24 + (-11)/(-4). Let i(h) = 6*h**3 - 6*h**2 + 6*h + 4. Does 13 divide i(n)?
True
Let i(h) be the second derivative of h**5/20 - h**4/3 - 7*h**3/3 + 18*h**2 - 114*h. Is 5 a factor of i(8)?
True
Let b = 182 - 175. Suppose -13*y - b*y = -640. Does 4 divide y?
True
Let t be (-125)/2*(-208)/65. Suppose 44*u - 49*u = -t. Does 10 divide u?
True
Suppose -4*p + 12 = -0*p. Suppose -2*o = 4*l + 2, p = o + l + 1. Suppose -3*y = -o*b - 482, 0*b = 4*y - b - 654. Is y a multiple of 10?
False
Let o = -25 - -612. Let t = -129 + o. Is t a multiple of 46?
False
Does 14 divide (-21 + 484/22)/(4/41160)?
True
Let x = -2 + 15. Let u be 3*x/(117/660). Suppose 0 = 2*l + 3*a + a - u, a = 4*l - 467. Does 29 divide l?
True
Suppose -8*i = -174 + 206. Let x(m) = 6*m**3 - 2*m**2 + 5*m - 6. Let l(u) = 13*u**3 - 5*u**2 + 11*u - 13. Let s(p) = 4*l(p) - 9*x(p). Is s(i) a multiple of 51?
True
Is 41/(1230/(-90972))*-10 a multiple of 193?
False
Let q = -114 + 117. Suppose -3*t = -3*d + 3, -13 = -3*d + 2*d - q*t. Suppose 4*y - 418 = -3*a + 35, y - 137 = d*a. Is y a multiple of 39?
True
Is 49 a factor of (8784/252)/((-3)/(-231))?
False
Let x(g) = -2*g**3 + 28*g**2 + 5*g + 87. Let w be x(14). Suppose -158*j + w*j = -151. Does 5 divide j?
False
Suppose 15*j = 3873 + 7197. Does 82 divide j?
True
Suppose 2*v = -8, 3*j - v = 2*v + 42450. Is 194 a factor of j?
False
Let q be (642/24)/(3/(-12))*-5. Let k = -211 + q. Does 81 divide k?
True
Suppose 2*f + 11 = -5. Let n be (f/(-10))/((-2)/5). Is 16 a factor of n/7 - (5 - (-2358)/(-21))?
False
Let y be (-8)/((-32)/(-20)) + 219. Let l = y + -107. Does 13 divide l?
False
Suppose 2*l - 7*l + 108470 = -4*k, -3*l - 3*k = -65055. Is l a multiple of 14?
False
Let n = 20630 + -12413. Is 83 a factor of n?
True
Suppose 9*v = 8*v - 232. Let b = v + 286. Is 9 a factor of b?
True
Suppose -4 = 4*u, 5*l = 5*u - u + 229. Let f = l - 57. Is 21/f*(-96 + 0)/2 a multiple of 14?
True
Suppose j - 6*c + 7*c - 17197 = 0, 4*j - 2*c - 68746 = 0. Is j a multiple of 43?
False
Let g(l) = -l**3 + 7*l**2 - 2*l + 24. Let p be g(7). Suppose 13*v + p = 8*v. Let z(a) = -16*a + 13. Is z(v) a multiple of 45?
True
Suppose 33 = 4*b + 17. Suppose -2*f + 3 = n, f = -0*n - b*n - 9. Is 21 a factor of ((-2)/(-2))/(n + (-598)/(-199))?
False
Let v = 3974 - -40. Is v a multiple of 18?
True
Let n be (-4)/(-2)*22470/(6 - -9). Suppose 0 = 2*h + 876 - n. Does 106 divide h?
True
Let u be ((-15)/9 - -3)*(-3)/(-1). Suppose -4*s - s + 4*p = -50, u*s + p = 40. Is 31 a factor of 2062/s - 4/20?
False
Let m = 2 + -2. Suppose m*s - s + 5 = 0. Suppose -36 = -s*x - x. Is 2 a factor of x?
True
Let u(z) = -z**3 + z**2 + 3*z - 6. Suppose -9 = -13*y + 10*y. Let a be u(y). Let g = a - -59. Is 22 a factor of g?
True
Let n = 16567 + -10287. Is n a multiple of 40?
True
Let z(l) = 25*l**3 - l**2 - 6*l - 12. Suppose 8 = -18*b + 62. Is z(b) a multiple of 24?
False
Let i(y) be the first derivative of -y**3/3 - 17*y**2 - 38*y + 12. Is 27 a factor of i(-19)?
False
Suppose -2*v = -6*v - 7*v. Let p be v - ((-16)/48)/(2/78). Suppose 3938 = p*k + 376. Does 25 divide k?
False
Suppose -1940 = -3*n - 1721. Suppose l = 135 + n. Does 9 divide l?
False
Let r(g) = 12*g**3 + 16*g**2 - 46*g - 91. Is 92 a factor of r(9)?
False
Let g(u) = u**