 s(l) = l**2 + 129 + 13*l**3 + 3*l + 0*l**3 + 128 - 260. Does 24 divide s(x)?
False
Suppose -109 = -3*b + 5*m, 2*b + m - 135 = -3*b. Suppose 0*f - b = -o - f, -50 = -2*o - 4*f. Suppose 2*z + o = 2*c + 287, -5*c + 539 = 4*z. Is 40 a factor of z?
False
Is 96 a factor of (1/10)/(38/228) + 39242/5?
False
Suppose -3 = -o - 3*k + 92, 0 = 4*o + 2*k - 340. Suppose 2*x = -o + 383. Is 15 a factor of x?
True
Let x = 3894 - 2699. Is 177 a factor of x?
False
Let a(l) = 5*l**3 + 27*l**2 + 12*l - 167. Let h(x) = x**3 + 7*x**2 + 3*x - 42. Let y(c) = 2*a(c) - 9*h(c). Is y(12) a multiple of 5?
True
Suppose 0 = 2*b - x - 23, -2*b + x + 14 = 3*x. Is 10 a factor of (-20)/((-6)/b*23/138)?
True
Suppose -4*k + 46 - 30 = 0. Suppose c + 2*g - 103 = -k*c, 0 = 5*c - 5*g - 110. Suppose -23*i = -c*i - 120. Is i a multiple of 15?
True
Let u = -1687 + 2350. Is 6 a factor of u?
False
Let p(z) = 115*z**2 + 32*z + 135. Is p(-7) a multiple of 25?
False
Suppose 0 = -927*m + 912*m + 83835. Is m a multiple of 86?
False
Let l(h) = -20*h - 13. Let m be l(-5). Let s = 93 - m. Suppose 0 = s*c - 884 - 142. Is c a multiple of 9?
True
Let c be 5649 + (1 - 5)/1. Is c/9 - 16/72 a multiple of 19?
True
Let y(c) = c**3 + 15*c**2 + 20*c - 18. Let f(h) = h**2 + h - 13. Let u be f(3). Let d be u - 8 - (0 - -4). Is y(d) a multiple of 25?
False
Let u be ((-182)/4)/(-7)*2. Suppose b + 2*k = 43, -5*b + u*k - 14*k = -197. Is 2 a factor of b?
False
Does 35 divide 859 + -230 + (-13 - 0)?
False
Let d(v) = 2*v**2 - v + 2. Let a be d(0). Suppose -5*l - 1588 = -a*j, -5*j + 5*l = -0*l - 4000. Is 41 a factor of j?
False
Does 25 divide ((-2)/(-8) - 90595188/(-2320)) + 1/10?
True
Let b = 88 + -93. Let x(r) = r**3 + 7*r**2 + 4*r + 25. Does 14 divide x(b)?
False
Let f = 20944 + -11560. Does 69 divide f?
True
Is ((-2865)/4)/((540/(-320))/9) a multiple of 191?
True
Let m be (-2 + 6 - 9)/(-1). Suppose 8*v + m = 29. Suppose 5*d = v*d + 86. Is 18 a factor of d?
False
Suppose 5*r - m = 379, 3*m = 4*r - 181 - 120. Suppose 4*i = -k + r, -362 = -4*k - 3*i - 84. Is 4 a factor of k?
True
Suppose -5*n = 4*n - 72. Let a(h) = h**3 - 7*h**2 - 9*h + 11. Let j be a(n). Suppose -j*t + 3*u = 5*u - 858, -t - u = -285. Is t a multiple of 48?
True
Suppose 0 = 37*k - 29*k + 1000. Does 3 divide 1*-1 - 25/(k/440)?
True
Suppose -2*p - 4*p = -42. Let t(d) = -4 - p - 4 + 2*d**2 - 17 - 4*d. Is 18 a factor of t(9)?
False
Suppose -m + 10 = -6. Let k = m - -5. Suppose -13*v = -14*v + k. Does 7 divide v?
True
Let g(l) = 510*l**2 + 403*l - 2073. Does 32 divide g(5)?
False
Suppose -30*p + 323632 + 131247 - 88249 = 0. Does 181 divide p?
False
Let x = -326 - -3184. Is 47 a factor of x?
False
Let m = -21820 + 37156. Is m a multiple of 71?
True
Suppose -77*r = -75*r - 44. Suppose r*x - 2082 = 6630. Does 22 divide x?
True
Suppose 0*z - 5*z = 2200. Let u = z - -596. Does 26 divide u?
True
Let i(l) = -l**2 - 4*l + 7. Let z be i(4). Is 3/(15 + 0) + (-7470)/z a multiple of 15?
False
Let i be (-6)/(-5)*(-10)/3. Let j(z) = -z**2 - 22*z - 11. Let x be j(-17). Let q = x - i. Is 26 a factor of q?
True
Let a(h) = h**3 - h**2 - 12*h + 8. Suppose -3*t + 10 = -2. Let v be a(t). Let b(k) = 23*k - 25. Does 53 divide b(v)?
True
Let c be (22 + -1)*(-2)/(-3). Let i(r) = 21*r + 525. Let h be i(-26). Does 2 divide (2 + -23)*c/h?
True
Let s = -704 - -699. Is 20 a factor of 15129/54 + s/30?
True
Is 58 a factor of (-22)/99*-9 - -3652?
True
Let y be 10/12 - 1 - 260/312. Let r(l) = -19*l + 12. Is r(y) a multiple of 19?
False
Is 48/(-168) + (-1766)/21*-87 a multiple of 13?
False
Let b = 2005 + -6301. Let s be (-7)/(49/b) - 4/(-14). Suppose 3*j = 5*p + s, -j + 202 = -0*j + p. Is j a multiple of 39?
False
Let v be (554/(-6))/((-16)/12 - -1). Let n = v + -417. Let k = -52 - n. Is 11 a factor of k?
True
Let y be (64/(-10) - (-16)/40)/(-3). Suppose -4*f + 4*a + 88 = 0, -y*a - 37 = 2*f - 101. Does 9 divide ((-190)/(-60))/((-1)/(-2))*f?
True
Suppose 0 = -7*p - 70 - 14. Let m(k) = -k**3 - 13*k**2 - 20*k - 25. Is 25 a factor of m(p)?
False
Let n(t) = -3*t**2 - 12*t + 20. Let h be n(-5). Suppose -3530 = -h*c + 2*v, -2*c = c + v - 2107. Is 8 a factor of c?
True
Suppose -45236 + 5846 = -30*t. Is t a multiple of 20?
False
Let l be ((-24)/6)/8*278. Let c = -132 - l. Suppose 0 = c*u - 0*u - 581. Is u a multiple of 10?
False
Suppose 0 = -2*c - 2*w + 8, 3*c - 16 = -3*w - w. Suppose -4*v - 7*h + 792 = -9*h, c = -h. Is 18 a factor of v?
True
Let n = -55 - -55. Suppose -5*s - 3*m + 2 = 0, -s - s + 2*m + 4 = n. Is 9 - -26 - (1 + -5)*s a multiple of 11?
False
Let c(a) = -122*a + 29. Let i(z) = -244*z + 57. Let l(f) = 5*c(f) - 3*i(f). Let h be l(13). Suppose n - h = -7*n. Is n a multiple of 39?
True
Does 4 divide (7 - 138/2*(-152)/12) + -5?
True
Suppose -4*d - n + 787 = 0, 5*n = 35*d - 34*d - 181. Let j = 205 - 310. Let t = j + d. Is 13 a factor of t?
True
Let q(c) = -41*c + 12. Let o be q(-36). Let f = -740 + o. Is f a multiple of 44?
True
Let l(f) = -f**2 + 2*f + 9. Let r be l(4). Let q be (0 + 4 + -2)/(r/2). Suppose q*j - j - 105 = 0. Does 9 divide j?
False
Suppose 32 = 5*i + z - 5*z, -2*i + z = -14. Let l(w) = -w**3 + 13*w**2 - 15*w + 14. Let a be l(i). Let o = 418 - a. Is 34 a factor of o?
True
Let z(n) = 9*n**2 - 1. Suppose -5*x - 8 = 3*p, -5*p - 2*x + 24 = -3*x. Let r be z(p). Let q = r - 126. Does 7 divide q?
False
Let b be -2 + (3 - -35)/(-1 - 1). Does 4 divide (-18)/b + (-408)/(-14)?
False
Suppose 0 = -42*r + 46*r - 8440. Suppose 23*m - 18*m - r = 0. Suppose -2*t - k = -m, -2*t - t - 3*k + 636 = 0. Is 42 a factor of t?
True
Suppose 5*j + 4*h + 354 = 0, -5*j + 4*h + 47 = 393. Let o be (-1)/(((-21)/j)/(6*-11)). Suppose -4*b = -o - 160. Is 11 a factor of b?
False
Let t(w) = w**3 + 3*w**2 - 6*w - 4. Let c be t(-4). Suppose -3*f - 21 = -10*f. Suppose -c*g + 3*d = -50, 3*g + f*d - 46 = d. Does 7 divide g?
True
Let v(p) = 27*p**2 + 151*p + 499. Does 3 divide v(-9)?
False
Let t = -28 - -28. Suppose 15*f - 14*f - 18 = t. Let m = f + 18. Does 18 divide m?
True
Suppose 201272 = -17*g + 29*g - 4*g. Is g a multiple of 56?
False
Let v(l) = 578*l - 2218. Does 36 divide v(29)?
True
Let h(w) = w**2 + 146*w + 1416. Is 14 a factor of h(-136)?
True
Is 132 a factor of -13*11660/(-32) + (-2)/(-16)?
False
Let j = -72731 + 113574. Is j a multiple of 137?
False
Let o(s) = -s**2 - 37*s + 20. Let m be o(-28). Let g = -20 + m. Suppose 253*p = g*p + 41. Does 3 divide p?
False
Does 10 divide ((-38)/(-4) - -2)/(272/58752)?
False
Let w(k) = -411*k**3 + 201*k**3 + 211*k**3 + 42 + 20*k + 11*k**2. Is w(-6) a multiple of 6?
True
Let p = 11939 + -8512. Is p a multiple of 86?
False
Let o = 1603 + -525. Does 77 divide o?
True
Let j(v) = 5 - 5*v**2 + 2*v**3 + 10*v + 14 - 21. Does 6 divide j(4)?
False
Suppose 7*j - 11*j - 560 = 0. Let g = j + 981. Suppose 6*v = -211 + g. Does 15 divide v?
True
Suppose -16*m = -18*m + 5*w + 2685, 0 = m + 2*w - 1338. Does 20 divide m?
True
Suppose -48488 + 39191 = 14*w - 211639. Is w a multiple of 15?
False
Let j = -7410 - -15947. Is j a multiple of 69?
False
Suppose -1 = -z + 3*a, 3*a = 6*z - 8*z - 7. Let c be (-24)/16 + (-3)/z. Let b(t) = t**2 + 2*t + 49. Is 13 a factor of b(c)?
False
Suppose -2*a + x + 75262 - 2789 = 0, -5*a = 3*x - 181144. Is 18 a factor of a?
False
Suppose 655*m - 647*m - 21664 = 0. Is 4 a factor of m?
True
Suppose -5*u + l + 3776 = 0, -4*u - 8*l + 4*l = -3040. Does 63 divide u?
True
Let p(o) = o**2 + o - 2. Let j(s) = s**2 + s - 3. Let m(g) = -3*j(g) + 4*p(g). Let f(d) = 22*d**2 + 2*d + 1. Let c(v) = f(v) + m(v). Is 9 a factor of c(-2)?
False
Let y = 15139 - -2853. Does 26 divide y?
True
Let k be 2/((-1)/(-2 - -12)). Let w(p) = -5 + 4*p - 2*p**2 - 5 + 11*p + 3*p**2 - 30. Is w(k) a multiple of 12?
True
Let u(h) = -h**3 - 26*h**2 - 28*h - 18. Let f(q) be the second derivative of -q**3/6 - 37*q**2/2 + 17*q. Let o be f(-12). Is 23 a factor of u(o)?
False
Let w = 481 + -104. Let q = w - 71. Is q a multiple of 56?
False
Let u(t) = -3*t**2 - 4*t + 4. Let c be u(-3). Let h = c - -13. Suppose 3*n = -4*z + 2*z + 583, h*z = -2*n + 580. Is 40 a factor of z?
False
Let m be 404/(-4 + (-30)/(-5)). Let d = m + -86. Is d a multiple of 7?
False
Suppose 9*q = 13 - 4. Suppose 4 = -5*h - q. Let g = h + 69. Does 36 divide g?
False
Let n(x) be the first derivative of x**4/4 + 13*x**3/3 + 11*x**