se
Suppose -4*y + 4*a = -2028, 11 = -5*a - 4. Suppose 247*s = 250*s - y. Is 14 a factor of s?
True
Suppose -203*r = -210*r + 693. Let m = r - 12. Is 13 a factor of m?
False
Let h(j) = 1332*j**2 - 320*j - 319. Does 14 divide h(-1)?
False
Suppose 2*v + 5*m - 15 = 0, 0 = -2*v + v - 3*m + 6. Let c = v + -12. Suppose c*t = 17 + 43. Does 10 divide t?
True
Let b(o) = 11*o**3 - 22*o**2 + 118*o - 267. Does 37 divide b(14)?
False
Let n(j) = 6*j - 115. Let l(u) = -7*u + 113. Let o(b) = 4*l(b) + 3*n(b). Does 17 divide o(-6)?
False
Let x = 1700 + -945. Suppose -5*g = -5*i - x, 5*g - g = -i + 599. Suppose -223 = -4*c + 2*l - 23, -2*l = -3*c + g. Does 10 divide c?
True
Let v = 190 - 190. Suppose 2*r - 3*j - 80 = 0, -5*r + v*r + 187 = -j. Does 6 divide r?
False
Let j(y) = y**3 - y**2 + 5*y - 10. Let m be j(0). Let c(d) = -d**2 + 7*d - 3. Let u be c(7). Does 8 divide 286/4 + u + (-35)/m?
True
Let d = 2570 - 2164. Is d a multiple of 58?
True
Suppose c + 5*u - 19 = 0, -2*u = -3*c + 2*u + 114. Let l = -27 + c. Suppose 0 = -l*h + 3*h + 432. Does 44 divide h?
False
Suppose -o = -7*o - 96. Let j be (-78)/52*o/6. Is j - 0 - (-11 - -3) a multiple of 12?
True
Suppose 22 = 2*y + 4*i, 2*y - 6*y + 8 = -i. Is 57 a factor of 3/(-6) + ((-2817)/(-2))/y?
False
Let i(z) = -2*z**3 - 3*z**2 + z + 2. Let x be i(-3). Suppose -4*h = -q - 0*q - 4, 4*q + 5*h - x = 0. Is (98 + -191)*(-1)/(3/q) a multiple of 40?
False
Let b be (-17)/2*(11 - -11). Let n = 490 + b. Does 22 divide n?
False
Suppose 0 = -p, -5*u + 0*u = -p - 250. Let a = 113 - u. Suppose -392 = -70*o + a*o. Does 13 divide o?
False
Let r = 4550 + -3542. Is r a multiple of 19?
False
Let j(r) = -7*r + 98. Let y be j(13). Let o(f) = 156*f + 121. Is o(y) a multiple of 26?
False
Let g(z) = 36*z + 3114. Is 18 a factor of g(29)?
True
Let m(p) = p**2 - 116*p + 2911. Let a be m(87). Let d = 3 + 0. Suppose -d*g - a = -5*z - g, -4*g + 394 = 5*z. Is z a multiple of 13?
True
Let o(v) = 8*v + 46. Let s be o(-6). Is 2 a factor of 47 + (-10 - s) + 5?
True
Let b(l) = 4*l**2 + 86*l - 31. Let w be b(-22). Let p = w + 473. Does 18 divide p?
True
Let j = 9073 + -4874. Does 17 divide j?
True
Let m(q) = 6*q - 21. Let z be m(3). Is 3 a factor of z/2 + 114*(-1)/(-4)?
True
Let d = -14489 - -26065. Is d a multiple of 18?
False
Suppose 16852 = 2*q - 2*l, -38*q - 8440 = -39*q - l. Does 3 divide q?
True
Let o(i) = 2*i**2 + 6*i + 66. Is 6 a factor of o(15)?
True
Let d = 34571 - 24204. Is d a multiple of 10?
False
Let x(w) = -15*w + 392. Let r be x(26). Does 19 divide ((-3)/(-12)*r)/((-15)/(-16530))?
True
Let a(q) = -160*q**3 - 2*q**2 - 2*q. Let n be (-10)/(-80) - 27/24. Does 16 divide a(n)?
True
Suppose 14*j = -0*j. Let w(l) be the second derivative of l**4/12 + l**3/3 + 49*l**2/2 - 11*l. Does 4 divide w(j)?
False
Suppose -437*q = -425*q - 200940. Does 85 divide q?
True
Is ((-28461)/(-212))/(-179) + (-2)/(16/(-35302)) a multiple of 19?
False
Let m = -36 - -30. Let b be (-2)/4*(-1 + (-1 - m)). Is 24 a factor of (-7 - b)/(1/(-24))?
True
Let i(v) = 12*v - 1. Let h be i(9). Let l = h - 106. Is 12 + (-4 - -8 - l) a multiple of 15?
True
Let a(i) be the first derivative of 13*i**3/3 + 11*i**2/2 + 22*i - 169. Is 14 a factor of a(-10)?
False
Suppose -2*j = 4*y + 451 + 369, 0 = 2*j - 2*y + 844. Let o = -340 - j. Is 13 a factor of o?
True
Let v = -10727 - -18422. Is 95 a factor of v?
True
Let o(c) be the second derivative of 3*c**4/2 + 9*c**2 + 8*c - 1. Is 90 a factor of o(-7)?
True
Suppose 5*q - q - 136 = 0. Let g = q - -43. Suppose -j + g = -15. Is 23 a factor of j?
True
Is -2*(23 + (-115865)/10) a multiple of 13?
True
Suppose m - q - 1548 - 3613 = 0, 3*q + 20644 = 4*m. Is m a multiple of 12?
False
Suppose x - 132 = 2*r, r + 203 = 3*x - 173. Suppose -2*k - 4*m - x = m, -5*k - 248 = -3*m. Let d = k - -104. Is 8 a factor of d?
False
Let p(w) = -w**2 - 10*w + 23. Let r be p(-16). Let g = r - -59. Does 14 divide (-4 - g/6)*-18?
False
Suppose 3*q = -5*u + 37967, 234 = u + 5*q - 7333. Is u a multiple of 19?
False
Let s(d) = 5*d**2 - 29*d + 269. Does 40 divide s(-18)?
False
Let s be (16/(-24))/(6/45*-1). Suppose -s*v - 3*v - 912 = 0. Let b = 160 + v. Is b a multiple of 23?
True
Let p = -29 - -24. Let f be (32/12 + p)/(2/(-12)). Let q(d) = d**2 - 11*d - 8. Is q(f) a multiple of 5?
False
Let c(i) = i**3 - 5*i**2 + 4*i + 2. Let r be (-2)/(-3) + 7/((-63)/(-30)). Let y be c(r). Suppose y*f - 315 = -3*f. Does 10 divide f?
False
Let d(x) = -3 - 515*x - 535*x + 991*x. Is 7 a factor of d(-5)?
False
Is (123 + -121)/((1 - -2)/3750) a multiple of 10?
True
Suppose -t = -3*f + 25, 9*f + 9 = 10*f - t. Suppose -4*b - m = -2138, -4*b + 5*m - 2146 = -f*b. Is 29 a factor of b?
False
Let v(y) = -y**3 + 52*y**2 - 45*y - 398. Is v(50) a multiple of 98?
True
Suppose 2*y - 19 = y - 3*j, 2*y - 36 = -5*j. Suppose -s = 3*s. Suppose 0 = -u - 2, -g - 5*u + y = -s*g. Does 8 divide g?
False
Let n be (1/1)/(1/8). Does 13 divide 234*(24/(-80) + n/10)?
True
Let h(i) = -i**3 + 9*i**2 - i - 10. Let b = 3 + -2. Let w be (b - -4) + -5 + 6. Does 14 divide h(w)?
False
Let k be 9/(3 - (854/172 + -2)). Let v = k + 545. Is v a multiple of 27?
False
Suppose 2*c - 70 = n, -n + 3*c - 37 = 31. Let g be (-38)/133 - n/14. Suppose g*s - s - 544 = 3*u, -4*s + u + 536 = 0. Is s a multiple of 19?
True
Let a be 8*(4/1 + (-153)/34). Let t be -52*(a/16 + 0). Suppose -t*u + 768 = -5*u. Does 12 divide u?
True
Suppose -a + 168 = -5*a. Let b be 14/a + (-1)/(-3). Let o(n) = n**3 + 2*n + 52. Is 13 a factor of o(b)?
True
Suppose 3*r = -90 - 102. Let c = -66 - r. Does 3 divide (5/c)/((-2)/28)?
False
Let t(y) = -3*y**2 - 7*y - 6. Let k be t(-4). Let x = -7 - k. Let b = x - -5. Is 5 a factor of b?
False
Suppose -16*g + 13*g - 135 = 0. Let t = 41 + g. Is 10 a factor of t/4*1 - -16?
False
Suppose 45*u = 35*u + 2200. Suppose 7*g = 9*g - u. Is 5 a factor of g?
True
Let x be (-6)/((-72)/20)*3*15. Suppose -589 = -5*r + 3*f, r - x - 48 = -2*f. Does 13 divide r?
False
Suppose 3*d = -12, -34 = -2*s - 2*d + 28. Suppose -15*y = -s*y + 12580. Is 16 a factor of y?
False
Suppose 5*i + 3*v - 5303 = 12235, -5*i = -3*v - 17562. Does 13 divide i?
True
Let z = 188 + -207. Let i = 85 - z. Is 8 a factor of i?
True
Let n(b) = -4*b**3 + 80 + b**3 - 3*b + b**2 + 2*b**3. Let c(l) = l**2 + 25*l + 66. Let r be c(-22). Does 10 divide n(r)?
True
Let h = 302 + -312. Suppose -2*v - 5*q - 2 + 1 = 0, -2*q = -v + 4. Let r = v - h. Is 7 a factor of r?
False
Let x be (-2)/6 - (-248)/(-3). Let n(q) = -63*q + 208. Let y be n(4). Let l = y - x. Is 12 a factor of l?
False
Suppose 0 = -11*l + 686 - 26. Suppose -2*i - 5*v = -5, 0 = -0*i - 5*i - v + 1. Suppose i - l = -z. Is 10 a factor of z?
True
Suppose -61*j = -57*j - 8. Suppose j*d - 7*d = 2*p - 7, -6 = 2*d + 3*p. Suppose d*q + 45 = 249. Is q a multiple of 14?
False
Let f be 9/(-5) - -1 - (-777)/(-35). Let r = f + 4. Let z = r - -55. Is z a multiple of 12?
True
Suppose -933120 = 90*w - 378*w. Does 60 divide w?
True
Let s be 80/(-12)*12/(-5). Suppose -15*r - 105 = -s*r. Does 5 divide r?
True
Suppose -222142 = -209*z + 146325. Does 3 divide z?
False
Let t = -55 - -190. Let l(c) = -c**2 - t - 153 + 309 - 18*c. Does 7 divide l(-15)?
False
Suppose -32 = -d - 31. Let v be (3/d)/3 + -3. Let t = v + 117. Does 9 divide t?
False
Let n = -92 + 95. Suppose 5*r + 398 = n*z, z + 0*r - 130 = -r. Does 13 divide z?
False
Let v(k) = 882*k**2 + 15*k - 38. Does 44 divide v(3)?
False
Let t(w) = 24*w + 154. Let f be t(-6). Is f/(-50)*-395 + (5 - 1) a multiple of 6?
False
Suppose 2*n - 6*f - 1150 = -8*f, 0 = n + 2*f - 574. Suppose 75*w - 71*w = n. Does 36 divide w?
True
Suppose 48*i - i - 235 = 0. Suppose -3*k - i*j = -1743, 5*j = k - 109 - 472. Is 9 a factor of k?
False
Let v(s) = 315*s + 981. Is v(6) a multiple of 87?
True
Let u(i) = 81*i**2 - 43*i - 11. Is 14 a factor of u(-6)?
False
Suppose -69*m - 87*m = -132*m - 33000. Does 25 divide m?
True
Let y(z) = 1883*z**2 + 80*z - 381. Is y(4) a multiple of 13?
False
Let f(q) be the third derivative of -q**6/24 - q**5/10 - q**4/8 - 5*q**3/2 - 137*q**2. Is f(-4) a multiple of 17?
True
Suppose -2*j + 2*k + 21006 = 0, -3*j - 3*k - 7805 = -39344. Does 71 divide j?
True
Let m(t) be the first derivative of 4*t**2 - 118*t - 72. Is 10 a factor of m(20)?
False
Does 35 divide 1/3*94709 - (-16)/48?
True
Let