4*g + 3*l = -l - 120, -5*g - 2*l - 165 = 0. Does 11 divide 129 + 2/(-2) - (-39 - g)?
True
Suppose -32 + 2 = -3*i. Let v(p) = 2*p**2 + 5*p + 15. Let z be v(i). Suppose -2*d = 2, z + 94 = 3*s + 4*d. Does 12 divide s?
False
Suppose -326*y + a = -327*y + 7870, -2*y - 5*a = -15734. Does 96 divide y?
True
Let r(q) = 4*q - 145. Let c be r(36). Is c*(-262 - (7 - 10)) a multiple of 25?
False
Suppose 5*x + 1 = -2*t + 11, 20 = 4*t. Suppose -3*b = 4*q - 417, x = 5*b - q - 4*q - 660. Is 10 a factor of b?
False
Let h = -850 + 1542. Let g = h + -484. Is 52 a factor of g?
True
Does 25 divide (-1)/(2 - (-2 - 3)) + 3982330/1435?
True
Let z(j) = 282*j + 1178. Is 6 a factor of z(-2)?
False
Suppose -56 + 18 = -2*r - 4*k, -5*k = r - 7. Let p = r + -24. Suppose -p*j + 56 = j. Is j even?
True
Suppose 6*y = 11*y - 25*y + 262640. Does 49 divide y?
True
Suppose -5*n + 675 = -0*n. Let b = 101 + -96. Suppose 0*m - b*m + n = 0. Is 9 a factor of m?
True
Suppose c + 3 = 2. Let p = -230 - -234. Does 29 divide 188 + (p + -6 - c*2)?
False
Suppose k + 4*y - 381 = 0, 5*k - 1429 = k + 3*y. Let h = k + 22. Is 16 a factor of h?
False
Suppose -500*r - 2037 = -493*r. Let x = -953 + 454. Let g = r - x. Is g a multiple of 52?
True
Suppose 0 = 3*h + 3*h. Suppose h = o - 33 + 13. Is 18 a factor of 9/((-45)/o)*-9?
True
Let h(b) = -70*b**3 + 6*b**2 - 54*b - 290. Is 25 a factor of h(-5)?
False
Let h = 17394 + -9358. Is 196 a factor of h?
True
Let w(r) = -2*r**2 - 9*r + 39. Let b be w(-16). Let j = b + 654. Does 13 divide j?
True
Let k = 239 + -449. Is 24 a factor of (-4*k/(-5))/(-1)?
True
Let f = -234 - -55. Is 2 a factor of f/(-3) - 44/(-33)?
False
Let m(o) = o**3 + 100*o**2 + 584*o - 120. Is 25 a factor of m(-86)?
True
Suppose -45 = -5*w + l + 4*l, -2*w = 4*l - 12. Suppose -50*i = -w*i - 42924. Is 60 a factor of i?
False
Let i be (-1 + (-126)/(-4))/(4/16). Suppose -2*h - 28 = -i. Is h a multiple of 4?
False
Suppose 829 = o - 1042. Let c = o - 1273. Does 23 divide c?
True
Let f(l) = -495*l + 5. Let i(q) = q**2 + 12*q - 14. Let b be i(-13). Let t be f(b). Suppose r - 114 = -3*n + 6*n, -4*r = -n - t. Is r a multiple of 18?
True
Let h be (0/(-4) - -2394)*(-3)/(-6). Suppose 4*k - 1381 = -5*z, -5*z + k + 164 + h = 0. Does 17 divide z?
False
Let c be (-38)/(-4) + 8/((-160)/50). Let q(f) = f + 236. Does 27 divide q(c)?
True
Let s be 8/((-2)/(-11) - (-78)/(-66)). Let b(k) = 78*k - 17 - 84*k - 1. Is 15 a factor of b(s)?
True
Suppose -59*b + 152934 + 95016 = 112*b. Does 2 divide b?
True
Let s be 1*(-4 + (-2030)/(4 + -6)). Suppose -4*a + 0*c - 4*c + 1356 = 0, -3*a + 3*c + s = 0. Is a a multiple of 13?
True
Let j = -5734 - -8732. Is j a multiple of 9?
False
Let k be (-115 - -1) + 12 + -10. Let t be 0 + (-2707)/(-7) + (-32)/k. Suppose -245 - t = -4*y. Is 17 a factor of y?
False
Let b = 1576 + -791. Let p = b + -525. Is 52 a factor of p?
True
Suppose 1311490 + 721793 = 127*j - 2486774. Does 129 divide j?
False
Let w(q) = -2*q + 22. Let s(h) = -h**2 + 18*h - 17. Let j be s(18). Let p be w(j). Let v = 110 - p. Is 9 a factor of v?
True
Let r(l) = l + 4. Let z be r(-6). Let i be 2 - (7 - z)/3. Let f = 31 + i. Is f a multiple of 30?
True
Let b = -45 - -42. Let f be 1/4 + (b/(-4) - -1). Is 24 a factor of 5/((-120)/(-1148)) + f/12?
True
Suppose -4*v + 588 = -224. Let s = -32 + v. Is s a multiple of 13?
False
Suppose 52*k - 57*k = -140. Let i(l) = l**2 - 20*l - 104. Does 17 divide i(k)?
False
Let m be (-18)/6*3/(-3). Suppose -4*j - 5*g + 7*g - 120 = 0, -3*g + 93 = -m*j. Let p = j - -99. Is 5 a factor of p?
True
Let f(m) = m**2 - 30*m - 39. Let y be f(32). Is 15/y + (-1152)/(-30) a multiple of 5?
False
Suppose -x - 4*l = -199, 4*l - 5*l = -5*x + 953. Is 6 a factor of x?
False
Let x = 65 - 71. Let l be (-3)/(x*(14/(-8) + 2)). Suppose -l*q = 5*y - 900, 5*y - 820 = -3*q + 85. Is y a multiple of 9?
False
Let o(c) = 2087*c - 7680. Is o(20) a multiple of 52?
True
Suppose -13*l + 3*l - 2579790 = 0. Does 22 divide (-2)/(-3)*l/(-226)?
False
Suppose -v = -4*w + 6763 - 402, w - v = 1594. Suppose 3*c - 171 = 5*p + w, 2*p = -5*c + 2923. Is 9 a factor of c?
True
Let d(b) be the first derivative of -b**4/12 - 31*b**3/6 + 6*b**2 - 7*b - 9. Let z(o) be the first derivative of d(o). Is 42 a factor of z(-30)?
True
Let g(c) = -313*c + 13. Let v(j) = -j**3 - 10*j**2 - 12*j - 29. Let u be v(-9). Is 11 a factor of g(u)?
False
Let z(d) = -6*d**3 + 14*d**2 + 7*d. Let o be z(-4). Suppose 6*w - 9*w + o = 5*q, 0 = -2*w - q + 375. Does 37 divide w?
True
Let a(c) = -c**3 + 37*c**2 - 37*c + 37. Let x be a(36). Does 33 divide 39590/60 - x/(-6)?
True
Is 6 a factor of (-2621 - -9)/(10/(-15) + 4 - 4)?
True
Let n = -54 + 141. Let r = n + -1. Does 23 divide r?
False
Let z be (-54 - 1)*(-198)/10. Suppose -1431 + z = -a. Is 11 a factor of a?
False
Let n(q) = -70*q + 736. Is n(-32) a multiple of 62?
True
Let u = -124 - -287. Suppose u*v = 167*v - 216. Is 54 a factor of v?
True
Suppose 85*n + 117697 - 162118 = 215679. Does 170 divide n?
True
Suppose -4*p = 4*s + 76, -10 = -4*p - 2*s - 80. Is (20/p)/(5/(-1220)) a multiple of 12?
False
Let n(u) = u**2 + 106*u + 3719. Does 197 divide n(140)?
False
Let o = -236 - -593. Suppose -3*p + 75 = -o. Does 17 divide p?
False
Let b be (-86)/60*-298 - 24/180. Let m = b + -184. Is m a multiple of 27?
True
Suppose 7*j - 5*j = 4*t - 946, -20 = -5*t. Let x = j + 666. Is x a multiple of 9?
False
Let w(c) = 0*c + 10*c**2 - 6 - 19*c**3 + 15*c + 20*c**3 + 0*c. Does 4 divide w(-7)?
True
Suppose 16*i - 14*i - 41080 = -4*c, 0 = 4*i - 16. Is 9 a factor of c?
False
Let r be 4 + -8 + 6 + 903. Suppose 11*s - 855 = r. Is 2 a factor of s?
True
Let x = 1730 - 170. Is 24 a factor of x?
True
Let g(k) be the third derivative of k**5/20 + 13*k**4/24 - 11*k**3/2 - k**2 + 47. Let w(c) = -2*c + 1. Let a be w(-2). Is g(a) a multiple of 24?
False
Let p = -76 + 79. Suppose -z + 2*z + 4 = 0, -3*z = -p*l - 72. Does 4 divide l/42*15/(-2)?
False
Let y(g) = -g**3 + 11*g**2 - 4*g. Let p be (-3)/(6/(-20))*(-2)/(-5). Suppose -6*v = -p*v - 20. Is y(v) a multiple of 20?
True
Let f(u) = u**3 - 8*u**2 - u + 7. Let h be f(8). Let s(p) = -14*p - 8*p - 2 + 4*p. Does 3 divide s(h)?
False
Let r be (-39550)/(-1750) - ((-4)/10 - 0). Let g be ((-8)/6)/(3/(-126)). Let b = g - r. Does 6 divide b?
False
Let p = 38 - -75. Suppose 2*j = -s + 79, -9*s + p = 3*j - 13*s. Is j a multiple of 17?
False
Let d = 394 - 394. Does 18 divide 3 + (4 - 9) + d + 835?
False
Is (748/5)/(94/235) a multiple of 11?
True
Let r be 2 - 1 - (-1 + (-2 - -8)). Does 17 divide 50*8 - (-18)/(7 + r)?
False
Let f = 586 - 574. Suppose -2594 = -f*y + 10*y. Does 86 divide y?
False
Let u = -278 + 283. Is (-6)/(-21) + (82420/28)/u a multiple of 16?
False
Let b(h) = -871*h - 81. Is b(-1) a multiple of 5?
True
Is 20 a factor of 1072/(-335)*575/(-2)?
True
Let u(k) = -2*k - 13. Let y be u(-11). Suppose y*s = s + 4064. Suppose 62*j = 66*j - s. Is j a multiple of 33?
False
Let r(x) be the first derivative of -x**4/4 - 2*x**3/3 - 3*x**2/2 + 317. Let a be 2*1*3/(-2). Is 7 a factor of r(a)?
False
Suppose 4*d = -l + 29611, -844*l - 4*d - 118424 = -848*l. Is l a multiple of 213?
True
Suppose 3*b - 4*u - 17938 = 0, -6 = -5*u - 26. Is b a multiple of 103?
True
Suppose -18 = -3*k, -z - 2*k + 9004 = -5356. Does 17 divide z?
True
Suppose -3*b + 3*h = 321, -h - 528 = 5*b + h. Let m be ((-9706)/69)/(0 + 4/6). Let q = b - m. Is q a multiple of 15?
True
Let i(s) = -18*s**2 + 4*s - 3. Let y be i(1). Suppose 2*m + 32 + 18 = 0. Let r = y - m. Does 4 divide r?
True
Let m be (143/(-52))/(-2*2/(-64)). Let b = m - -388. Does 18 divide b?
False
Let r = 196 + -93. Suppose 3*s = -5*c - 254, s - 2*c + r = -0*s. Let n = -64 - s. Is n a multiple of 8?
False
Let l(o) = 2*o**2 - 2*o - 9. Let x be l(-2). Suppose -2*n = -x*z - 67 + 11, 0 = 5*n + 2*z - 121. Is 10 a factor of n?
False
Suppose 0 = 4*b - z - 13032, 3*b + 7*z - 2*z = 9774. Is 87 a factor of b?
False
Let n = 103297 + -69417. Is n a multiple of 242?
True
Let f = 2151 + -1619. Is f a multiple of 38?
True
Let n = -104 + 108. Is 236 - n/((-4 + -1)/(-5)) a multiple of 29?
True
Let h(a) = a**2 + 14*a + 44. Let t be h(-18). Let d be (6/(-9))/(3/(-162)). Let w = t - d. Is w a multiple of 16?
True
Suppose -90 = -3*v - 0*v. Let r be ((-96)/v)/((-2)/5). Is r/(-2) + 92 + 3 a multiple of 