1 + 3)*1). Suppose -4*m + 5*t - 266 = -646, -192 = -2*m + b*t. Is 18 a factor of m?
True
Let k be 5*(-38)/(-45) + (-4)/18. Suppose -k*f - 4*z = -304, f - 3*f + 146 = -z. Is 37 a factor of f?
True
Let k be (-8540)/(-36) + (-6)/27. Suppose o - 5 = -2, 0 = 3*b + o - k. Suppose 0 = 10*f - 162 - b. Is f a multiple of 3?
True
Let a be 4*(-9 + 7 - (-7)/2). Suppose 3*k = 2*b + 143, 2*b = 2*k - a*k + 172. Is 2 a factor of k?
False
Suppose 0 = -2*g + 5*k + 37213, -3*g - 89*k = -92*k - 55779. Is 6 a factor of g?
False
Let t(a) = -a - 1. Let h be t(-1). Let l be (11 + 2 - 3)*1. Suppose h = l*n - 6*n - 108. Is n a multiple of 8?
False
Let p be ((-3)/((-30)/55))/((-5)/(-20)). Suppose -26*o + 5*b + 1139 = -p*o, o - 316 = -5*b. Does 68 divide o?
False
Let j(h) = 270*h**2 + 6*h - 4. Does 15 divide j(1)?
False
Is 0 + 4 - 6 - (0 + -2)*1526 a multiple of 41?
False
Let u = 2276 + -1772. Is u a multiple of 63?
True
Let i be -8 - (-8 + 3 + -6). Suppose -4*k + 10 = k. Suppose k*y + 466 = 5*m + 4*y, -5*m + 451 = -i*y. Is 23 a factor of m?
True
Let w be -1*(1 + -18)/(1 - 0). Suppose -2*y - w = -3*s, -23 = -4*s - 3*y + 6*y. Let l = 28 - s. Is 3 a factor of l?
False
Suppose -5*k + 10078 = 2*m, -4*m + 4*k = -10042 - 10170. Is m a multiple of 27?
True
Let o be 4/6*6 - 8. Let q(h) = -55*h - 13. Let x be q(o). Suppose 5*a = x + 513. Is a a multiple of 18?
True
Is 30414*(-24)/(-126) - 1/7 a multiple of 7?
False
Suppose 0 = 11*t - 237426 + 46818. Is 19 a factor of (t/9)/(-8)*6/(-4)?
True
Suppose 111 = 2*w + 3*v, -4*w - 22 + 251 = -v. Let h(f) = -f**3 + 6*f**2 + 30*f - 170. Let y be h(5). Suppose -y*c + 2*c = -w. Is 7 a factor of c?
False
Suppose -5*p + 26*h = 23*h - 5870, 3*p = 5*h + 3522. Is p a multiple of 12?
False
Let z = 191 - 106. Let d = -70 + z. Let h = 119 + d. Does 17 divide h?
False
Let l = 29 + -13. Suppose -13*b + l = -36. Suppose -154 = -2*s - 5*h, -2*h + 280 = b*s - 6*h. Does 18 divide s?
True
Let a be -3 - 1/((-2)/12). Let u be 3*a/36 - 47/(-4). Let l(p) = 3*p**2 - 29*p - 10. Is 38 a factor of l(u)?
False
Suppose -25*a + 12*a + 5616 = 0. Suppose -11*y - a + 1268 = 0. Is 21 a factor of y?
False
Let c(p) = -2*p**3 + 17*p**2 + 7*p + 12. Let y be c(9). Does 62 divide 124/y*(-153)/(-18)*-6?
True
Let j(f) = -9*f + 92. Let w be j(10). Does 49 divide (-4941)/(-7) + (-8)/(-56) - w?
False
Let u = -178 + 3648. Does 6 divide u?
False
Let f(h) be the first derivative of -2*h**2 - 2*h - 17. Let d be f(-3). Let b = d + 22. Does 2 divide b?
True
Suppose 27*x - 517 = -20*x. Suppose -4*v + j + 64 = -2*j, 4*v - 40 = -3*j. Suppose -44 = x*k - v*k. Is k a multiple of 22?
True
Let s(b) = -40 - 10*b + 36 - b**2 + 2*b**3 + 7*b**2 + 0*b**3. Is s(4) a multiple of 30?
True
Suppose -37*y + 248467 = -233273. Does 10 divide y?
True
Suppose -41*u = -43*u + 18. Let r(a) = -a**3 + 16*a**2 + 2*a + 35. Does 31 divide r(u)?
True
Let m(b) = -37*b - 2703. Is m(-123) a multiple of 9?
False
Let o(w) = -w**3 + 130*w**2 - 90*w + 224. Is 6 a factor of o(129)?
False
Let s = 19868 - 12398. Is 10 a factor of s?
True
Suppose p - 3179 - 1030 = -3*w, -1414 = -w - 4*p. Is 8 a factor of w?
False
Suppose 7*y - 22 = -1. Suppose -5 + 15 = y*p + 4*w, -3*w = 3*p - 9. Suppose 4*f + 3*k - 225 = 0, p*f + 0*f - 145 = 5*k. Is 12 a factor of f?
True
Let f be (14/(-14))/(1/17). Let g(z) = -22*z + 13. Is 18 a factor of g(f)?
False
Suppose 3*s - 7*h = 15785, 4*s + 2*h - 21010 = 4*h. Is 59 a factor of s?
False
Is 11 a factor of 102*(-1760)/(-30) + -1 + 4?
False
Is (-546275)/(-50) - 30/20 a multiple of 48?
False
Suppose 0 = 5*m + 15, 3*z - m - 149745 = -6*m. Does 15 divide z?
True
Let g = -40 + 55. Let m be (-5 + 125/g)/(4/138). Suppose 4*o - 117 = m. Does 7 divide o?
False
Suppose -140*d = -5781602 + 1903602. Is 25 a factor of d?
True
Let u = 58 - 42. Let m(d) = 34*d**2 - 2*d - u*d**2 + 2*d. Does 9 divide m(-1)?
True
Let g(l) = l**3 + 8*l**2 + 6*l - 1. Let t(f) = -2*f**3 - 2*f**2 - 1. Let w be t(1). Let m be g(w). Suppose -i = 2, 2*i - 4*i + m = s. Is s a multiple of 25?
False
Suppose 0 = 2*j - 53 + 51. Let z(r) = r**3 + 6*r**2 + r - 5. Let m be z(-5). Is (-4 + m)*(0/(-4) + j) a multiple of 2?
False
Let l(b) = -24*b**2 - 5. Let k(q) = 49*q**2 + 10. Let z(h) = -2*k(h) - 5*l(h). Let o(i) = -37*i - 183. Let p be o(-5). Is 19 a factor of z(p)?
False
Let i(k) = 1386*k + 15. Let x(h) = 173*h + 2. Let p(b) = -4*i(b) + 33*x(b). Let s = 11 + -10. Is p(s) a multiple of 29?
False
Let p = -4322 + 5549. Is 84 a factor of p?
False
Let x(g) = -29*g - 6. Let r be x(-3). Let y = 88 - r. Suppose -4*a - 5*n + 65 = 0, 3*a - 4*n - 3 - y = 0. Is 5 a factor of a?
True
Let i = 11510 + -1830. Does 43 divide i?
False
Let f be 737/3 - (-1 + 2/3). Suppose 0 = 2*i - 4*x - f, 3*i - 324 = x - 4*x. Is i a multiple of 30?
False
Suppose 0 = -3*m + 12, 4*l = 8*l - 3*m - 46584. Does 33 divide l?
True
Is (-40)/(-10) - (-1025 - 6/6) a multiple of 22?
False
Let l(r) = 33*r**2 - r - 32. Is l(-17) a multiple of 13?
False
Is (1647/5)/(56/2520) a multiple of 81?
True
Suppose 100*y - 15 = 99*y. Suppose p - 60 = y. Suppose -3*d + p = -21. Does 8 divide d?
True
Is 24 a factor of 261/(-87) + 17031*1?
False
Suppose 0 = 2*n - 4, 3*z - n + 10 = n. Let h(f) = 19*f**2 + 35*f - 42. Let d(l) = -6*l**2 - 12*l + 14. Let b(x) = z*h(x) - 7*d(x). Is b(7) a multiple of 47?
False
Is 155 a factor of -4*((-609794)/56 - 30/(-70))?
True
Let x(u) be the third derivative of u**4/6 + 25*u**3/6 + 27*u**2. Let m be x(-5). Let t(d) = 22*d + 24. Does 11 divide t(m)?
False
Let n = 245 - 221. Suppose 1377 = 33*r - n*r. Does 14 divide r?
False
Let p = -11477 + 17768. Is p a multiple of 27?
True
Let d be 2/(2 + -6) - 65/26. Let o be (-2)/d + 10/3. Suppose k - 350 = -3*f + 2*k, -2*k = -o*f + 470. Is f a multiple of 34?
False
Suppose 0 = -432*t + 136*t + 1874272. Is 54 a factor of t?
False
Let m = 112022 + -73067. Is 265 a factor of m?
True
Let m = 3615 + 8746. Is m a multiple of 17?
False
Let t = -11326 + 16017. Is t a multiple of 136?
False
Let c(t) = 87*t**2 + 41*t - 235. Is 33 a factor of c(5)?
True
Let m(k) = 1 + 5*k - 9*k + 29. Let t be m(9). Does 46 divide 1110/(-20)*16/t?
False
Let h(p) be the second derivative of 0 - 53*p + 3/2*p**2 - 19/2*p**3. Is 5 a factor of h(-1)?
True
Let j(r) = 4*r**2 - 2. Let n = -79 + 49. Let g be (-4)/3*n/(-20). Does 14 divide j(g)?
True
Let m(z) = -11*z + 16. Let q be m(2). Let g(f) = -f - 8. Let j be g(-9). Is 1 + j - (-44 + q) a multiple of 7?
False
Is (1072/(-201))/(10/(-26607)) - 2/5 a multiple of 258?
True
Let x be (-27 + 22)*(-1 - 2/(-1)). Let t be 14/x*(-140)/8. Suppose -2*q - t = -125. Does 4 divide q?
False
Let n be ((-1)/2)/(3 - 95/30). Suppose 3*v - 619 = 2*y, 2*v = n*v - y - 208. Is v a multiple of 29?
True
Let p = -5373 + 10605. Is 11 a factor of p?
False
Suppose 0 = -5*t + a + 55915, 5*a = 2*t - 16617 - 5726. Is 2 + t/27 - 12/54 a multiple of 52?
True
Does 28 divide ((-646)/51 - 6)*243/(-1)?
True
Let v = -164 - -168. Suppose -6 = -v*b + 6, 333 = i - 2*b. Is 42 a factor of i?
False
Let x(k) = -5*k + 207 + 53*k**2 - 52*k**2 + 41*k. Does 23 divide x(-36)?
True
Let c(l) = l + 47. Let q be c(-10). Suppose -q*k = -39*k + 656. Is 41 a factor of k?
True
Is (17 + (-24099)/145)/(1/(-145)) a multiple of 196?
False
Let p(v) = v**3 + 9*v**2 - 14*v - 12. Let n be p(-10). Let u be 2/(n/(-8) + 4). Suppose -u*q = -635 - 361. Is 47 a factor of q?
False
Suppose -4*i - 2*i = -654. Suppose -15*h - 296 = -11*h. Let m = h + i. Is m a multiple of 29?
False
Let u(y) be the second derivative of 19*y**4/6 + 3*y**3/2 - 33*y**2/2 + 11*y. Let q be u(-9). Does 41 divide q/18 + 2/(-3)?
True
Let p(k) = -k - 8. Let v be p(4). Let g = 19 + v. Let q(m) = m**3 - 5*m**2 - 10*m + 5. Does 11 divide q(g)?
True
Suppose 0 = -3*y + 18, -s - 3*y = -3871 + 124. Does 78 divide s?
False
Let y = 22495 - 12055. Is 52 a factor of y?
False
Let h(g) = g**3 - 68*g**2 + 69*g - 127. Let n be h(67). Let t(x) be the second derivative of 2*x**3/3 + 13*x**2/2 - x. Is t(n) a multiple of 8?
False
Let c be (42/(-28))/((-1)/2). Suppose n = -2*s - 6, n + c - 6 = s. Suppose -11*p + 9*p - 4*f + 86 = 0, 5*f - 5 = n. Is 3 a factor of p?
False
Suppose -32 = 8*s + 16. Let n(m) = -58*m + 14. Is 8 a factor of n(s)?
False
Let l(y) = -10*y**3 - 11*y**2 - 60*y - 12. Is 96 a factor of l(-6)?
True
Suppose 24*j - 30*j + 3472