- 25. Let m be n(-2). Suppose -2*g = -2*l - 24, m = -g - 4*l + 24. Does 9 divide g?
False
Suppose -36*l = -30*l + 5238. Let g = -241 - l. Is g a multiple of 8?
True
Suppose -4*i - i = -12183 - 20617. Is 21 a factor of i?
False
Let u be (-6)/(-45)*6 + 24/20. Suppose -4*g - 40 = -4*h, 3*g - 58 = -3*h - u*h. Let s = 46 - h. Is 7 a factor of s?
True
Let k = 4694 + -2395. Does 3 divide k?
False
Let d = 1026 + -132. Suppose 11*s = 8*s - d. Let f = s - -473. Does 35 divide f?
True
Let f(b) = 45*b**2 + 4*b - 9. Is 5 a factor of f(-7)?
False
Let p(m) = 2*m**2 + 5*m - 28. Let s be p(3). Is 11 a factor of 603/(s + 4) - (4 + 0)?
False
Suppose 5*p - 107 - 46 = 3*t, -3*p + 103 = -2*t. Let g = t + 308. Suppose -5*q - 17 = -g. Is q a multiple of 20?
False
Let w(i) = 3*i**3 - 15*i**2 - 5*i + 9. Let f(c) = 2*c + 2. Let o(h) = 2*f(h) + w(h). Is o(7) a multiple of 12?
True
Is (-22)/(-8) - (-724812)/304 a multiple of 11?
True
Suppose 3*g - 7*g - 252 = 0. Is 6 a factor of 1*(2 - g) - (-1)/1?
True
Let i be ((-20)/12)/(1/3). Let s be 2/i + 22/55. Is 8 a factor of 51 + s + 1 + 4?
True
Does 27 divide 213577/35 + (-133)/(-35) + -4?
True
Suppose 3*r + 398 = -2*i, -5*i - 852 - 189 = -4*r. Let o be 1 + (-2 - -291) - 1. Let x = i + o. Does 12 divide x?
True
Suppose -c - 2*h - 8 = -777, c + 5*h = 793. Does 8 divide c?
False
Let r be (5355/68)/((-6)/(-16)). Let y = 405 - r. Is y a multiple of 31?
False
Let s = -45 + 9. Let f = -150 - s. Let q = 206 + f. Does 21 divide q?
False
Suppose 4*g - 2*j = 794, 2*j - 76 + 674 = 3*g. Suppose 5584 = 200*h - g*h. Does 50 divide h?
False
Suppose -24*g - 27 = 117. Let d = 8 + -10. Is (-16 - -22)/(d/g) even?
True
Let w = 22174 + -8312. Does 9 divide w?
False
Suppose 3*f - 3*m + 15 = 2*m, -2*f + 15 = 5*m. Suppose -3*t - 2501 - 2529 = 5*j, -j - t - 1006 = f. Does 24 divide j/(-7) + 8/28?
True
Suppose -30 = 2*z - 42. Let d be 15 + (-6)/2*z/9. Suppose d*y = 10*y + 270. Does 18 divide y?
True
Let c = 244 - 235. Suppose c*n - 10*n + 21 = -t, 4*n + 2*t = 114. Is 13 a factor of n?
True
Is (12/20)/((-8)/(-6) - (-323226)/(-242460)) a multiple of 6?
True
Let y = 7 + -5. Let o(n) = -n**y + 121*n**3 - 62*n**3 - 55*n**3. Does 2 divide o(1)?
False
Suppose -41405*a + 41412*a = 4298. Does 60 divide a?
False
Suppose 4*u - 83 = -3*p, 4*u - 14 - 49 = p. Let t(a) = 2 + 18*a**2 - 16*a - a**3 + 37 + 0*a**3. Does 14 divide t(u)?
True
Let j(g) = 3*g**2 - 7*g - 20. Let d be j(-8). Let u be d/5 + (34/10 - 4). Is u - (12/(-16))/(9/(-24)) a multiple of 34?
False
Let u(h) be the second derivative of h**4/12 - h**3/3 + 20*h**2 - 120*h. Is u(-25) a multiple of 55?
True
Let n = 279 + -256. Suppose -27*y + n*y = -268. Is y a multiple of 10?
False
Let g(i) = 11*i**3 - 3*i**2 - 21*i + 4. Let m(j) = 16*j**3 - 4*j**2 - 32*j + 6. Let r(l) = 8*g(l) - 5*m(l). Is 11 a factor of r(4)?
True
Suppose -p + 7509 - 6898 = 0. Is 7 a factor of p?
False
Let q = 34787 + 23348. Suppose 42*y = 12929 + q. Does 12 divide y?
True
Is (2 - (7 - 6)) + (3 + 82616)*1 a multiple of 18?
True
Is (-14357)/(-6) - ((-1105)/102)/(-13) a multiple of 26?
True
Suppose 0 = -3*l - 2*l + 5*j - 90, -4*l + 5*j - 77 = 0. Let n(w) = 5*w**2 + 22*w + 11. Is 6 a factor of n(l)?
True
Let k(r) = 16*r - 134. Let j be k(21). Suppose -6*y = -248 - j. Does 25 divide y?
True
Let w(v) = 42*v**2 - 201*v - 3968. Is 8 a factor of w(-22)?
False
Let h = 288 - 282. Suppose 2 = -2*z, h - 546 = -k - 4*z. Is 16 a factor of k?
True
Suppose -26*p + 6 = -24*p. Suppose -3*i + 880 = 4*g, 16*g = 21*g - p*i - 1073. Is 46 a factor of g?
False
Suppose 59686 = -76*n + 87*n. Does 7 divide n?
False
Let s(l) = 5*l**2 + 15*l - 37. Let x be s(-13). Suppose x - 53 = 5*z. Suppose r = 2*w + 5 + 51, -2*w = -2*r + z. Is 14 a factor of r?
True
Let l(t) = -2*t**2 - 25*t + 48. Let x = -44 - -30. Is 4 a factor of l(x)?
False
Let s(h) = -4*h - 4. Let i be s(-3). Suppose d = -119 - i. Let g = 215 + d. Does 22 divide g?
True
Suppose 2*y - 83548 = -2*s, 144*s + 2*y + 41801 = 145*s. Is s a multiple of 17?
False
Let r be 3/18 - (-777)/(-18). Let q = -41 - r. Suppose s - x = 33, -q*s + 174 = 3*s + 4*x. Is 11 a factor of s?
False
Suppose -16*f + 45887 = -64321. Does 123 divide f?
True
Let y be (-18)/81*-9*-367. Let i = 1049 + y. Is i a multiple of 45?
True
Let r(l) = 430*l**2 - 168*l + 486. Does 6 divide r(3)?
True
Suppose 3*i = -2*p + 15394, -43*i + 48*i - 7690 = -p. Is p a multiple of 140?
True
Let a = 35 + -32. Suppose 4*t = m - 426 + 1429, m = -a. Is t a multiple of 5?
True
Let k = 563 - 588. Let c = 1068 + k. Is 11 a factor of c?
False
Let g = 19494 + -11436. Does 52 divide g?
False
Let u = -76 - -80. Suppose 5*i = 4*q - 4879, -4*q + 2420 = -2*q + u*i. Does 19 divide q?
True
Let g(j) = -j**3 - 19*j**2 - 2*j + 17. Suppose 170 = -7*q - 362. Let r be ((-5)/5)/((-4)/q). Does 11 divide g(r)?
True
Let o(b) = 45*b**2 + 4. Let t(n) = 90*n**2 + 7. Let k(q) = 9*o(q) - 4*t(q). Does 56 divide k(4)?
True
Let p(j) be the second derivative of -j**5/5 + j**4/12 + j**2 - 405*j. Let t be (-2)/(-2*(-1)/2). Is 7 a factor of p(t)?
False
Let n(a) = -3*a**3 + 2*a**2 + 6*a + 8. Let r be n(-4). Suppose 4*s + 4*s = r. Does 13 divide s?
True
Let d(m) = -m**2 - 2*m + 5. Let c be d(-3). Let r(y) = -33*y + 8 - 20 - 2*y**c + 22. Is r(-7) a multiple of 12?
False
Suppose -7*a = -4*a - 3. Let y be a - -3 - (-10)/(-5). Is 14 a factor of (y + 2)*(-168)/(-16)?
True
Let h be 93/(-18) - (-4)/24. Let s be 89 + (2 + h - -2). Suppose -32 - s = -q. Is q a multiple of 18?
False
Let r be (-2)/11 + 390005/121. Suppose 2033 + r = 12*g. Suppose -2*q + q = -5, -3*x + 3*q = -g. Is x a multiple of 28?
False
Let z be 1/((-9)/(-72)) + -2 + 1. Does 18 divide (-279)/(((-2)/14)/(2/z))?
True
Suppose -336*f = -95*f + 1679023 - 6023289. Is f a multiple of 27?
False
Let y(v) = 360*v**2 + 29*v - 109. Is y(3) a multiple of 7?
False
Let z = -29 - 31. Let u = z + 13. Let k = 75 + u. Does 6 divide k?
False
Let m(g) = g**2 + 10*g + 4. Let l be m(-10). Suppose 0 = 4*n - 2*n - 6. Suppose l*j = -4*a + 112, 5*a - 92 = n*j + 72. Is a a multiple of 13?
False
Does 65 divide 5/((-45)/(-97542)) - -8?
False
Suppose 34 = 7*q - 22. Let i be (q/10)/(12/(-90)). Does 16 divide 964/10 - i/(-15)?
True
Let r(y) = -y**2 + 44*y - 40. Let c be r(43). Suppose -c*o = -k - k - 239, -3*k = -5*o + 398. Is o a multiple of 4?
False
Let p = 91 - 73. Suppose 8*t - p - 6 = 0. Suppose 0 = 7*h - t*h - 424. Does 9 divide h?
False
Let k = 7041 + -66. Does 25 divide k?
True
Suppose -5*n + d + 73 = 0, 5*n - 26 = 2*d + 50. Suppose -18*h + 8 = -n*h. Is h/(8/12) - -35 a multiple of 6?
False
Let k(b) = -6*b**3 - 21*b**2 - 75*b + 5. Let r be k(-6). Suppose p + 59 = r. Does 8 divide p?
True
Let m(u) = -4*u**3 - 20*u**2 - 35*u + 70. Does 56 divide m(-14)?
True
Suppose -4*b = -2*f - 808, -3*b - f - f + 592 = 0. Suppose -4*s + b = -172. Is 21 a factor of s?
False
Suppose 30 = -3*l + 9*l. Suppose 12 = -v - l*v. Is -5 + v + 5 + 95 a multiple of 19?
False
Let x(q) = 4*q**3 + q**2 - 2*q - 1. Let n be x(-2). Let p be (-830)/n*(-10)/(-12)*3. Suppose s + 3 = p. Is 40 a factor of s?
True
Suppose -3*l = m - 3, 7*m - 5*m - l - 6 = 0. Suppose -4*y + 25 = -m. Suppose 4*t = y*t - 45. Does 5 divide t?
True
Suppose 3*b = -9, 3*i - 5*i + 4*b = -356. Is 19 a factor of (-3 + 4)*i + -1*1?
True
Let d = 40 + -39. Let v(m) = m**2 - 4*m + 3. Let k be v(d). Is 6 a factor of (18 - k)/((-1)/(8/(-12)))?
True
Let f = 7450 + 993. Does 7 divide f?
False
Suppose 107783 = 40*a - 22217. Is a a multiple of 50?
True
Suppose -22*l - 5 = -17*l. Is 30 a factor of (l - -2)*1758*2/12?
False
Let w be ((-24)/42)/(4/336*-3). Is 6 a factor of 118*-6*(-8)/w?
True
Let h be (-12)/(-18) + (-704)/(-6). Suppose -116*g + h*g + 3194 = 4*w, 0 = g - 1. Is 41 a factor of w?
False
Let v be 3 + -8 + (1 - 3). Let d(f) = -4*f + 40. Is 34 a factor of d(v)?
True
Let v(a) = 2*a - 13. Let l be v(8). Suppose i - l*y - 76 = 0, 2*y - 590 = -5*i - 142. Suppose -r + d + i + 32 = 0, 602 = 5*r - 4*d. Is r a multiple of 10?
False
Suppose 20*i - 11*i = 13*i. Suppose -7*n - 504 + 2317 = i. Is n a multiple of 37?
True
Is 67 a factor of 6*(2655/10 + -4)?
False
Suppose 2*a = 2*j + 647 - 153, 745 = 3*a - 5*j. Suppose -246*r + 370 = -a*r. Does 66 divide r?
False
Suppose 25*a = 27*a - 22. Suppose a - 12 = -f. Is 12 a factor of 15/(-10)*2 + 17*f?
Fa