uppose 5*r + 469 = l, -2*r - 57 = l - 526. Suppose 1103 + l = 4*s + 2*z, 5*s - 1972 = z. Is 6 a factor of s?
False
Let h = -5500 - -6103. Is h a multiple of 5?
False
Suppose 0 = -6*q - 7384 - 5420. Let l = q - -3447. Is l a multiple of 12?
False
Suppose -74*n = -71*n - 27. Let z(g) = -2*g - 12. Let c be z(10). Does 3 divide 227/n + c/144?
False
Let a = 1904 + -1222. Does 62 divide a?
True
Suppose -5*o + 8 = -4*i - 16, 4*o - 2*i = 18. Suppose 0 = 2*x - 3*x + 3*j + 944, o*j = -x + 923. Is 55 a factor of x?
True
Let w(v) = -v**3 - v**2 + 4*v - 5. Suppose 5*c + 25 = 4*j, 2*c = 3*c + 1. Suppose -5*q = j*x + 10, -5*q - 3*x = -8*q - 18. Is w(q) a multiple of 9?
True
Suppose 182*x = 186*x - 1848. Let s = -434 + x. Is 10 a factor of s?
False
Let r(w) = 22*w**2 + w - 3. Let p be r(2). Let o = p - 95. Does 33 divide (4 - 18/4) + (-2116)/o?
True
Let u be 4 + (-7 - -8) + 0. Suppose -7*p + 4*p - 1211 = -u*b, 2*b - 3*p - 488 = 0. Is b a multiple of 79?
False
Let c be -2*(-3 + 4) - 0. Does 58 divide c - 36/(-15) - (-4626)/10?
False
Let t(c) = 8*c**2 - 42*c - 8. Let r be t(4). Let l(f) = -7*f - 208. Is 11 a factor of l(r)?
False
Let v = 97 - 97. Suppose 2*q - 4*o - 478 = v, -q + 4*o - o + 237 = 0. Is q a multiple of 13?
False
Suppose -15*s + 3*s + 17666 - 3134 = 0. Is 7 a factor of s?
True
Let b(q) = -1983*q**3 - 242*q**2 - 483*q + 1. Does 3 divide b(-2)?
False
Let m(s) = -4*s**2 - 10*s - 85. Let k be m(-5). Is 28 a factor of (5728/(-40))/(9/(k/6))?
False
Let h be (6 - 1)/(20*(-7)/(-336)). Suppose h*u + 2*t - 868 = 8*u, 2*t = -8. Is 20 a factor of u?
False
Let r be 70/30 - 2/(-3). Suppose 0 = -5*a + 3*g + 15, -r*g = -a - 7 - 2. Suppose 0 = a*w - 7*w + 26. Is w a multiple of 19?
False
Let m(d) = -469*d + 6. Let u be m(-2). Suppose -5*r + u = 3*h, r - h - 3*h - 198 = 0. Suppose -2*k + 0*k - r = -4*x, 5*k = -15. Does 9 divide x?
False
Suppose -4*f + 2*j = -20938, -f - 102*j + 5230 = -107*j. Does 9 divide f?
False
Let k be (-396)/(-15) - 12/(-20). Let l = -20 + k. Is (l - -3)/1 + -1 even?
False
Let c = 14 - 10. Suppose -3*a + 2*a = c*z - 267, 2*a = -2*z + 138. Does 6 divide z?
True
Let h be 536/201*((-10)/(-4) + -1). Suppose 194 = h*o - 2*s, 0 = -0*o - 2*o - 2*s + 112. Is 6 a factor of o?
False
Let v = -22786 - -13471. Is v/(-30) + (-1)/2 a multiple of 10?
True
Suppose 0 = -3*l - 4*l + 56. Suppose v - l - 68 = 0. Suppose 29 = 5*b - v. Is 21 a factor of b?
True
Suppose g = -12*o + 10*o + 16574, 0 = 4*o - 28. Does 20 divide g?
True
Suppose 3*i - 6*l + 5*l - 16 = 0, 0 = -5*i - 3*l + 22. Let k = 138 + -60. Suppose -m = -y + k, 0*y + 400 = i*y - 3*m. Is 15 a factor of y?
False
Suppose 0*j = -t - 5*j + 43, -j = 2*t - 86. Suppose -5*g - 3*h = -337, -3*g + h + 126 = -g. Suppose -3*s + d + g = 0, -t = -4*s + 3*s - 5*d. Is 3 a factor of s?
False
Let j = -11578 + 20488. Is j a multiple of 99?
True
Let r = -560 + 139. Let s = 691 + r. Is s a multiple of 30?
True
Is 9 a factor of (-11 + -16)*5222/(-21)?
True
Let d be (-10)/(-6)*15/5. Let w be -18*((-21)/(-6) - d). Suppose -r = -28 - w. Is 10 a factor of r?
False
Let j(l) = -l**3 + 56*l**2 - 53*l + 179. Does 32 divide j(41)?
False
Let m(k) = 148*k + 66. Let i be m(13). Suppose -2*o = 4*h - i, 1655 = 4*h - o - 320. Is h a multiple of 21?
False
Suppose 172 = 18*z - 44. Suppose -z - 10 = -11*m. Suppose -b - 3*k = -219, -m*b + 4*k + 437 = -51. Is 32 a factor of b?
False
Suppose -i - 56 = -3*f, f = 2*i + i + 152. Let g = i - -270. Does 11 divide g?
True
Suppose -g - 4 + 28 = 5*k, 4*g - 4*k - 168 = 0. Let m be -1 - (-2 + -4) - 25. Let n = m + g. Does 9 divide n?
False
Let z(p) = 36*p**2 - 26*p - 122. Let x be z(-4). Suppose 16*q - 6894 = -x. Does 66 divide q?
True
Suppose 4*s + 23 - 4 = 5*z, 5*z - 5*s = 20. Suppose -d = -i + 3689, 10660 + 7791 = 5*i - z*d. Does 22 divide i/24 + (-1)/(-6)?
True
Suppose 2*b = -6, 0*m + 672 = 3*m + 5*b. Let q = -3211 + 3154. Let g = m + q. Is g a multiple of 43?
True
Suppose 0 = 5*s + 55 - 45. Is 76 a factor of (-3 + -3)/(5/365*s)?
False
Suppose -2000 = -99*q + 95*q. Suppose -62*p - q = -66*p. Is p a multiple of 5?
True
Let b = 3598 - 2938. Is 35 a factor of b?
False
Suppose 28 = 12*w + 136. Is 42285/135 - -11 - (-2)/w a multiple of 24?
False
Suppose 4*k = 3*o + 7509, 4*k + 3*o - 8445 + 954 = 0. Is k a multiple of 13?
False
Let c(n) = 270*n**2 + 216*n + 660. Does 111 divide c(-3)?
True
Suppose 0 = -17*s + 22*s - 360. Let f = 75 - s. Is 7 a factor of -1 - (f/6*-2 + -48)?
False
Let t(b) = 2*b**2 - 12*b - 48. Let m be t(-6). Suppose -1078 = -5*n - 3*z, -339 = -2*n - 5*z + m. Is n a multiple of 87?
False
Let h(d) = -d**3 + 17*d**2 + 269*d + 2. Does 76 divide h(26)?
True
Suppose 1933 = 8*b - 610 - 1825. Is b a multiple of 3?
True
Let x(s) = 55*s**2 - 18*s - 10. Let f be x(-7). Suppose -2*z = 3*y - f + 1137, 5*z + 1097 = 2*y. Does 11 divide y?
False
Suppose 0*v + 4*v - 12 = 0. Suppose 4*c - 1040 = -4*z, c - 3*z + 7*z = 257. Suppose -v*s = -4*p - c - 63, 0 = -2*s + 4*p + 216. Does 18 divide s?
True
Let q be (1 - 7)*7/(-14). Let x(j) = -6*j**2 - 5*j**2 - 6*j + 6*j**2 + j**q - 3*j**2 - 1. Is 13 a factor of x(9)?
True
Let p(w) = -9*w - 7. Let d be p(3). Let n = 61 + d. Suppose -n = 11*l - 269. Does 11 divide l?
True
Let g be ((-14)/(-28))/(2/(-4)) - -167. Suppose -590 = -12*p + g. Does 18 divide p?
False
Suppose -s = -4*l + 52559, -250*l + 254*l + 3*s = 52579. Does 136 divide l?
False
Suppose 3*j - 2*m - 39 = 162, 0 = j - 3*m - 74. Suppose 54*u = 49*u + j. Suppose 3*z - 656 = -u*z. Is z a multiple of 20?
False
Let t(z) = 6*z**2 + 77*z - 39. Let i be t(-18). Let d = 967 - i. Is d a multiple of 8?
True
Let l = 5752 - -30328. Is l a multiple of 31?
False
Let z = -24796 + 70811. Does 11 divide z?
False
Let p = -1092 + 2835. Is 5 a factor of p?
False
Does 12 divide 61371/(-12)*5152/(-483)?
True
Suppose 2*r - 305 = 3*b, -5*b - 3*r - 507 = -5*r. Let y = b + 124. Suppose 4*w = 389 + y. Is w a multiple of 13?
False
Let g(j) = 2*j**3 - 31*j**2 + 15*j. Let n be g(15). Suppose n = -h - 20 + 25. Suppose -4*v + 642 = 5*a, v + h*a = 93 + 60. Is 45 a factor of v?
False
Suppose 0 = -0*v + 7*v - 35. Suppose -4*g + 12 = -4*c, 10 = -2*c + 3*g - v*g. Let f = c + 181. Is f a multiple of 14?
False
Suppose -x - 3 = b + 1, -2*b = 3*x + 5. Is 8 a factor of 5 - b/((-14)/(-836))?
False
Suppose -2*t = 11*n - 8*n - 4, 0 = t - 3*n + 7. Is 22 a factor of ((-5791)/(-5) - t) + 44/(-220)?
False
Let h be (-138)/4*(-5)/30*4. Suppose -14*k - h*k = -1998. Does 9 divide k?
True
Let k(b) = 536*b**2 + 3*b + 3. Suppose 0 = -7*m - 25*m - 32. Is k(m) a multiple of 62?
False
Let w(f) = -122*f**3 + 2*f**2 + 2*f + 1. Let o be (3/(-2))/(21/(-56)). Suppose o*b + 2 = -2. Does 10 divide w(b)?
False
Suppose 0 = 189*f - 184*f - 3990. Let p = f + -764. Is p a multiple of 3?
False
Let c be (-11 + 2)*(-3)/(-9). Let d(v) = -2*v**2 + 31*v + 14. Let r be d(16). Does 11 divide r/c - 1312/(-12)?
True
Let u = -21 + 27. Suppose -u*n = 5*n + 33. Is 32 a factor of 40 + n - 0 - (-4)/4?
False
Does 12 divide (11 + -21)/(0 + (-8)/5404)?
False
Let r(h) = h**3 + 9*h**2 + 13*h - 6. Let n = 1 - 12. Let s be r(n). Let v = -182 - s. Is v a multiple of 19?
True
Let a = -273 + 238. Does 47 divide 8406/15*1 - (-14)/a?
False
Let i = 460 + -229. Suppose -i*m = -212*m - 1387. Is m a multiple of 5?
False
Let p be 6651/6 - (15/6 + -1). Suppose -12*t - 15*t = -p. Is t even?
False
Suppose -4*w + 3*z + 4199 = 0, -4*w - 561 + 4774 = -z. Is 5 a factor of w?
True
Let j(x) = x**2 + 13*x + 32. Let v be j(-14). Suppose v*u = 38*u + 3224. Is 13 a factor of u?
True
Let i(j) = -2*j**3 - 219*j**2 + 204*j + 685. Is i(-111) a multiple of 242?
True
Let l = -2385 - -4293. Is 12 a factor of l?
True
Let h = -453 - -455. Let a(n) = 3*n**2 - 2*n + 4. Let v be a(2). Suppose v*s = h*s + 3160. Is s a multiple of 46?
False
Suppose 0 = 3908*m - 3944*m + 57240. Is m a multiple of 53?
True
Let w(z) = -z**2 - z. Let o(g) = -20*g**2 - g - 27. Let r(h) = -o(h) + 5*w(h). Suppose -663 - 170 = -254*f + 183. Is r(f) a multiple of 15?
False
Suppose 292*h - 290*h = 14776. Suppose 34*w = h + 6994. Is 9 a factor of w?
True
Does 7 divide 300/(-175) - (-20322)/21?
True
Let q(p) = -10*p + 657*p**2 - 8 - 610*p**2 - 5*p. Is 5 a factor of q(4)?
False
Does 44 divide 141854/8 + ((-12)/72)/((-6)/9)?
True
Does 16 divide (-5 - -2) + 5 + 7 