-7*m + 429. Does 4 divide m?
False
Let f = 77089 - 49361. Is 192 a factor of f?
False
Suppose -3 = 2*l + 4*x - 17, -15 = -3*x. Let v(p) = -10*p - 12. Let m(o) = o + 1. Let w(h) = l*m(h) - v(h). Does 23 divide w(2)?
True
Suppose -2*i = -5*o + 70, 0 = i + o - 3*o + 36. Let c = i - -136. Is 8 a factor of c?
True
Let c(t) = t - 8. Let f be c(-22). Is 15 a factor of 155/f*-34 + 2/(-3)?
False
Let r = -3813 - -6201. Is r a multiple of 3?
True
Is (-165969)/(-6) + -3 + (-259)/518 a multiple of 22?
False
Suppose -109*d + 136*d - 108108 = 0. Does 52 divide d?
True
Let y = -560 - -1028. Suppose 3*a - y = 2*q, -q + 4*a - 85 = 154. Let r = -61 - q. Does 17 divide r?
True
Suppose 0 = 5*d + 4*h - 782 - 472, -h + 1 = 0. Does 50 divide d?
True
Suppose -2*c = -116*f + 115*f + 92, 0 = 5*f - 10. Let q = 277 - c. Is q a multiple of 46?
True
Let y = -267 + 124. Let u = 312 + y. Does 13 divide u?
True
Let c(b) = b + 6. Let j be c(-2). Suppose -8*r - j*r = 0. Suppose -4*q + 2*x + 178 = -r*x, q - 27 = -3*x. Is q a multiple of 14?
True
Let r = -128 - 138. Let g = r + 668. Does 6 divide g?
True
Let g be 5*(2/(-3))/(4/(-18)). Suppose -1465 = -4*o - 0*o + 5*x, 3*x = -g. Is o a multiple of 20?
True
Let j = 5725 - 5206. Does 3 divide j?
True
Suppose -10*r = -4*k - 7*r + 19835, 0 = -3*r - 3. Does 37 divide k?
True
Let b(j) be the first derivative of j**3/3 + 3*j**2 + 4*j + 5. Does 11 divide b(-7)?
True
Let c(v) = -22*v - 73 + 25*v + 20*v. Is c(5) a multiple of 42?
True
Suppose 0 = -2*z + 5*n + 14, 0 - 11 = -3*z + 5*n. Does 2 divide 5 - (z - -1) - 3?
True
Suppose -4*m - 268 = -2*s, s - 4*m + 122 = 2*s. Suppose s*v - 127*v - 303 = 0. Is v a multiple of 3?
False
Does 5 divide (-8)/1 + (-7 - 19710/(-6))?
True
Suppose -38456 = -13*j - 1276. Does 44 divide j?
True
Suppose -151*f = -158*f + 665. Suppose -l + f = -79. Is l a multiple of 14?
False
Suppose 10*h = 691 + 2719. Let d = h - 326. Is d a multiple of 3?
True
Let n = 87 + 0. Let c = n - -279. Suppose 4*l = -3*h + 645, -4*h - 56 + c = 2*l. Is 23 a factor of l?
False
Suppose 2*q + 5*k - 1 = 0, 4*q - 3*k - 16 = k. Suppose -26 + 32 = q*x. Suppose -815 = -5*d - 3*o, 815 = 3*d + x*d - o. Is 12 a factor of d?
False
Suppose -10*d + 152768 = -6*d + 7*d. Does 16 divide d?
True
Does 29 divide 3619574/168 + ((-57)/252 - 2/(-14))?
False
Does 8 divide (-2223)/(((-176)/168)/11 + (-5)/168)?
True
Let v = 8157 + 2908. Is v a multiple of 56?
False
Let o(w) be the first derivative of w**4/4 - w**2 - w + 40. Let z be (-5)/(-2) - 4/8. Does 3 divide o(z)?
True
Let l(u) = -u + 17. Let h be l(5). Let x = 2 - h. Is (x + -5)/((-2)/34) a multiple of 51?
True
Suppose -37*t + 10057778 = 429*t + 936760. Is 27 a factor of t?
False
Suppose -o - 125 = -131. Does 22 divide ((-3)/o)/(1/(-92))?
False
Let g be ((-1)/(-9))/((-5)/(-105))*-6. Let h(l) = l**2 + 15*l + 16. Let p be h(g). Suppose -y - 5*v + 31 = 3, y - 22 = -p*v. Is 9 a factor of y?
True
Let p(d) = 309*d - 4299. Does 28 divide p(15)?
True
Does 28 divide -2 + 4 - (4770864/(-240) - 6/(-10))?
True
Suppose -3*g + 2*b + 6526 = 0, -2*g + 2*b + 2883 + 1467 = 0. Is 34 a factor of g?
True
Let o(t) be the second derivative of 11*t**3/6 + 13*t**2 + 14*t. Let y(c) = 11*c + 27. Let n(g) = -7*o(g) + 6*y(g). Is 5 a factor of n(-10)?
True
Suppose 228 = -10*f + 22*f. Let z = f + 0. Is 0 + -5 + z/1 a multiple of 2?
True
Let w(z) = -2*z**3 - 90*z**2 - 24*z - 15. Is w(-46) a multiple of 17?
True
Let q(d) = d**2 + 3*d - 25. Let z be q(-7). Suppose 3*c + 200 = 5*n + 8*c, 0 = -2*n - z*c + 75. Is 27 a factor of n?
False
Let g be (-3)/(-1*12/(-2608)). Is 13 a factor of 42/(-18) + g/(-12)?
True
Let l(y) = -2 + 51*y - 9 - 12 - 24 - 5 + 4*y**2. Does 56 divide l(-25)?
False
Suppose -3*y - 3*b + 9 = -63, 5*y + 2*b - 105 = 0. Suppose 4*s = 2*s + 770. Suppose -y*t = -14*t - s. Is t a multiple of 11?
True
Suppose 968 + 1180 = 4*y. Let b = y + -761. Let g = b - -392. Does 10 divide g?
False
Let p(r) = 9*r + 305. Let c be p(-36). Is 4 a factor of c - -11 - -75*3?
False
Suppose 159*m + 263*m - 1021080 = 41*m. Is m a multiple of 20?
True
Let n be 2/(-12) - 6618/36. Does 3 divide (-174)/(-8) + 138/n?
True
Is 25 a factor of (-297039)/(-12) + -3*14/168?
False
Let t(a) = -a**3 - 12*a**2 + 3*a + 20. Let k(d) = 2*d**3 + 12*d**2 - 2*d - 19. Let m(n) = -2*k(n) - 3*t(n). Is m(9) a multiple of 20?
False
Suppose 833 = 9*z - 2434. Let u = z - 303. Is u a multiple of 10?
True
Let k be (-2 - 16/(-10))*(-10 - -5). Suppose -3*j = k*j - 1745. Suppose -2*p = h - 6*h + j, -2*p - 4 = 0. Does 6 divide h?
False
Let r(g) = -1485*g - 88. Does 14 divide r(-4)?
True
Suppose 20 = 202*n - 197*n. Suppose 4*c - 5*j - 121 + n = 0, 4*j + 144 = 5*c. Is c a multiple of 3?
False
Suppose 3*t - 23413 - 5405 = -0*t. Is t a multiple of 40?
False
Suppose -5*g = 3*x - 25, -3*x + 2*x - 10 = -2*g. Suppose -g = -3*w + 7, -2*w - 604 = -4*t. Is 17 a factor of t?
True
Let m = 191 + -47. Let l be (-390)/(-45)*6/8*12/39. Is 2 a factor of -1 + l - m/(-18)?
False
Suppose 2*l = -4*t - 18, -7*t = -5*t + 2*l + 6. Let g(w) = -w**3 + 6*w**2 + 21*w - 9. Is 27 a factor of g(t)?
True
Suppose 3*z + 156 + 63 = 0. Let k = z + 84. Suppose 10*m - k*m = -45. Is m a multiple of 7?
False
Suppose 10*u + 1269 = -21. Let x = u + 329. Is 28 a factor of x?
False
Let v(g) = 373*g**3 + 29*g**2 + 6*g - 2. Is v(2) a multiple of 10?
True
Let x = -8 - -10. Let i be -2*39 + (0 - x). Let w = i + 117. Does 9 divide w?
False
Suppose -181 = t + y + 2*y, -543 = 3*t - y. Let j = t + 201. Is j a multiple of 5?
True
Let u(f) = 34*f**2 + 39*f - 186. Let l = 410 + -405. Is u(l) a multiple of 37?
False
Let u = -210 + 214. Suppose -2*l + u*l + 3*n - 419 = 0, -4*n - 654 = -3*l. Does 22 divide l?
False
Let h = 491 + -386. Suppose -106*o = 3*p - h*o - 2979, -4*p + 3980 = 4*o. Does 62 divide p?
True
Suppose 0 = 2*s + 2*w - 6, 5*s - 6 = s + 2*w. Let h be 12/(-10)*(-1*250)/s. Let t = h - -59. Does 14 divide t?
False
Let s(z) = -z**3 + 7*z**2 - 7*z + 11. Let x be s(6). Let h be -4 - 7*(-5)/x. Suppose 70 = 2*j - 5*g, j + 7*g - 35 = h*g. Is 7 a factor of j?
True
Let v = 91 - 54. Let d be (-12)/(-78) + v/13. Suppose -d*j - g + 191 = 49, 3*j - 2*g = 148. Is 7 a factor of j?
False
Let o = -1485 + 7900. Is o a multiple of 142?
False
Let k(l) be the second derivative of -20*l**3 - 148*l**2 - 216*l - 1. Does 46 divide k(-4)?
True
Let f = 14463 - 5234. Is 6 a factor of f?
False
Is 28 a factor of 3/2 + (-747)/(-2)?
False
Let v(g) = g**3 + 179*g**2 + 249*g + 3091. Is 16 a factor of v(-177)?
False
Let t = 34 + -31. Suppose t*o - 70 = 2*o. Suppose l = -8 + o. Is 11 a factor of l?
False
Suppose -3*p + 25 = 4*u, -6*p = -9*p + u + 35. Suppose -15*q - 40 = -p*q. Let f = q + 67. Is f a multiple of 25?
False
Let f(s) = 43*s - 6. Let q be f(-6). Let v be (-3 - -2)/(36/5184). Let m = v - q. Is m a multiple of 30?
True
Let s(o) = -21*o - 80. Let p(l) = -l**2 - 20*l - 5. Let h be p(0). Is s(h) a multiple of 25?
True
Let u = -91 - -116. Suppose 30*h - u*h = 1115. Let s = -143 + h. Is s a multiple of 50?
False
Let o(p) = -14*p - 186. Let f be o(-13). Let u(a) = -243*a - 18. Does 20 divide u(f)?
False
Suppose -3 = -6*l + 69. Suppose i + 162 = d, l + 13 = -5*i. Is 4 a factor of d?
False
Suppose 0 = -3*t + 6, 5*c = 4*t - 3*t + 23. Suppose m = -0*m - c*b - 2, 4*b + 24 = -4*m. Is (3 + 0)*m/(-3) a multiple of 3?
False
Suppose 0 = -11*w + w + 740. Suppose -y + w = -255. Does 55 divide y?
False
Let j be 1102/(-10) + 108/(-135). Let x(u) = 42*u - 3. Let n be x(3). Let v = n + j. Is v a multiple of 2?
True
Let a(z) = 5*z**3 - 22*z**2 - 13*z - 4. Let u(v) = -11*v**3 + 44*v**2 + 25*v + 7. Let q(l) = -9*a(l) - 4*u(l). Is q(8) a multiple of 12?
False
Let w = -88 + 60. Let i = 14 + 33. Let v = i + w. Is v even?
False
Let h(y) = 2*y**2 + 4*y + 21. Let j(a) = -a**2 - 3*a - 19. Let b(d) = 3*h(d) + 4*j(d). Does 7 divide b(-4)?
False
Let a be (-12)/54 - (-6862)/18. Is 6 a factor of (4/(-6))/((-2)/a)?
False
Does 20 divide ((-25 - -4) + 22)*26619?
False
Let z = -315 + 324. Suppose -o - 2*o = -z, 4*o = g - 255. Does 38 divide g?
False
Let r be ((-70)/(-15) - 8)/(2/450). Does 5 divide ((-82)/10)/(3*10/r)?
True
Let b = 982 - 496. Is 4 + b/2 + -1 a multiple of 60?
False
Suppose 2*o = 5*m - 21 - 30, o + 4*m - 7 = 0. Let p = o - -5. Is (20/p)/(2/(-60)) a multiple of 15?
True
Let u(y