508 = -4*v + 4*o, 0 = -4*v + o + i. Is 8 a factor of v?
True
Let m(h) = -h - 14. Let i be (-10)/(-4)*56/20. Suppose i + 47 = -3*t. Is 3 a factor of m(t)?
False
Suppose -3*u = -2*p - 355, p + 0 = -2. Let i = u + -101. Suppose i*w - 5*w - 1364 = 0. Does 21 divide w?
False
Is 43 a factor of (-25714)/(-13)*3/6?
True
Let k(t) = -3*t + 31. Let v = -30 + 34. Let c be (v - (-39)/(-9))*27. Is k(c) a multiple of 16?
False
Let t(f) = -12*f - 7*f + 3*f - 9 - 11. Let h be t(-9). Let l = h + -19. Is 15 a factor of l?
True
Let m = -2756 - -12087. Is m a multiple of 9?
False
Suppose 3*g = 2*g + 3*j - 47, -3*g - j - 181 = 0. Suppose 40*v - 4761 = -29*v. Let u = v + g. Does 10 divide u?
True
Let x(v) = 202*v - 1711. Is 20 a factor of x(66)?
False
Let v = -50 - -54. Suppose 0 = -3*o - 4*g + 1096, 2*o = v*o + g - 724. Suppose o = 4*n - x + 105, 2*n - 155 = -5*x. Does 6 divide n?
False
Let g be 4/10 - (-111)/(-15). Let l(o) = -10*o + 6. Is l(g) a multiple of 18?
False
Suppose -4*j + 20 = 0, 0 = -0*t - 2*t - 4*j + 8. Let u(i) = i**3 + 7*i**2 + 4*i + 6. Let v be u(t). Suppose p - v = 6. Is p a multiple of 15?
False
Let j = -359 - -597. Suppose -2*r + 16*r = j. Is 2 a factor of r?
False
Suppose 92*d - 93*d = -85. Let z = -45 - -95. Let u = d - z. Is u a multiple of 5?
True
Suppose 5*w = -w. Suppose -4*y + 3*x + 11 = w, 5*y - 5*x - 8 = 12. Is 6 a factor of 2/5 - y*292/20?
False
Suppose -19 = 2*d - 37. Let p(j) = -7*j - j**2 + 7 + 7 + 9*j + 8*j. Does 5 divide p(d)?
False
Let p(w) = -14*w - 24. Let x be 38*-1*1/2. Does 7 divide p(x)?
False
Let y(o) = 6*o**2 + o - 3. Let g be y(2). Let v = g + 18. Let m = v + 21. Is m a multiple of 7?
False
Suppose -2*i + 2379 = -2683. Is i a multiple of 23?
False
Let c = -593 + 601. Does 15 divide (53 + -1 + c)*(6 + -3)?
True
Suppose 5*a - 2199 = -2*b + 1573, 3*a = -2*b + 2264. Let n = a + -251. Is 9 a factor of n?
False
Let z = 126 - 122. Does 12 divide z/10 - 47036/(-110)?
False
Let h = 13054 + -6372. Does 13 divide h?
True
Suppose -g - 265 = 2*n - 314, 2*g + 3*n - 103 = 0. Suppose 2*c + 2*c = -24. Is g + -1*(-2 - c) a multiple of 20?
False
Suppose 2*z - 5*n = 2050, -5*z + 4*n - 392 + 5568 = 0. Does 4 divide z?
True
Does 10 divide (44 - 42) + -1803*2/(-6)?
False
Suppose -34989 - 45091 = -28*s. Is 13 a factor of s?
True
Suppose 687*j + 25820 - 1171930 = 175678. Does 13 divide j?
True
Suppose 0 = -5*b + 8*b - 159. Suppose 4*y + 5*p = 3*y - 1, p = -3*y + b. Let w(v) = v**2 - 14*v + 7. Does 17 divide w(y)?
True
Let j = 11311 - 9155. Is 4 a factor of j?
True
Suppose 2*t - 3*g - 21 = -0*g, -g = -2*t + 11. Let x(z) = 8*z**3 + 2*z + z**2 + 8*z**t - 7*z**3. Is x(2) a multiple of 7?
False
Let a(b) = 35*b - 309. Is 33 a factor of a(23)?
False
Let t be 6/(-25 - -7) + 158/6. Suppose -20*g - 2508 = -t*g. Is 19 a factor of g?
True
Suppose -2*b + 14584 = -87*v + 88*v, -4*b + 43748 = 3*v. Is 10 a factor of v?
True
Let t(o) = 2*o - 27. Let c(z) be the first derivative of -z**2/2 + z + 46. Let j(f) = 4*c(f) - t(f). Does 17 divide j(-12)?
False
Suppose 0 = 5*i - 3*x + 2, 3*i - 10*x = -5*x + 2. Let w(r) = -62*r - 17. Does 7 divide w(i)?
False
Suppose -6*l + 244 = t, 3*t - 4*l - 709 = l. Let r = t + 37. Does 5 divide r?
True
Let o = -1265 - -1265. Let k(d) = -60*d + 3. Let u be k(5). Is ((-30)/9 + o)/(22/u) a multiple of 3?
True
Let g be (57500/375)/(1/(-3)). Let r = 906 + g. Does 81 divide r?
False
Let h = -13177 - -16828. Is h a multiple of 2?
False
Let m(f) = f**3 + 2*f**2 + 2*f - 6. Let h be m(9). Suppose 16*b - 5449 = h. Is b a multiple of 8?
False
Let f be (-1774)/10 - 13/(-195)*6. Let j = f - -318. Does 14 divide j?
False
Let x(b) = b**3 + 6*b**2 + 5*b + 17. Let j be x(-7). Let u = j + 356. Suppose u = 2*h - 5*p - 101, -5*h = -4*p - 992. Does 20 divide h?
True
Let d = 49 - -11. Suppose 0 = -0*n + 2*n - 5*h - 165, -n = 5*h - d. Does 25 divide n?
True
Suppose 2*w - 204 = 4*v, 10*w - 7*w - 295 = -5*v. Let z = -60 + w. Is z a multiple of 4?
True
Suppose 55090 + 11032 = 112*z - 56518. Is z a multiple of 3?
True
Let i(f) = 39*f**2 - 161*f + 1035. Is 11 a factor of i(23)?
True
Let d = 1166 - 689. Suppose -10*r + 8217 = d. Is 18 a factor of r?
True
Suppose 5*c + 44 = 59. Suppose s - 124 = -3*l + 285, 3*l + 1263 = c*s. Does 11 divide s?
True
Let t(m) = -152*m - 11. Let y be t(-10). Suppose 15249 = 19*j - y. Is 42 a factor of j?
True
Is 11 a factor of ((-337869)/372)/((-18)/24)?
False
Suppose 0 = -0*m + 2*m + v - 170, -4*v = 5*m - 425. Let n = 107 + -107. Suppose 0*b + 45 = b + 4*f, n = 2*b + 3*f - m. Does 35 divide b?
False
Suppose 0 = 11*n - 4*k - 98422, -15*n + 16*n + 5*k = 8926. Is n a multiple of 21?
True
Suppose 3*c - 2270 = -2*c. Is 2 + (c - -19 - (0 + -1)) a multiple of 55?
False
Let s(f) = -15*f**3 + f**2 + 5*f - 3. Let i be (6 - 3)/((-12)/12). Does 6 divide s(i)?
True
Let d(o) = o**2 + 13*o - 8. Let r(n) = n**2 + 14*n - 8. Let w(f) = -3*d(f) + 4*r(f). Is 34 a factor of w(-22)?
True
Suppose 7*r - v + 15 = 3*r, 0 = 4*r - 3*v + 13. Let h be r/(88/(-1118)) + 10/55. Does 9 divide h*(26/6 + -3)?
False
Let a = -2492 - -2995. Is 2 a factor of a?
False
Suppose 0 = -i + 64 - 11. Let x(q) = -q**3 - q**2 + q - 63. Let h be x(0). Let p = i - h. Is p a multiple of 24?
False
Suppose 21*d + 81 = 396. Suppose 2*m = 3*b - 175, 2*b = -b + d. Let k = 115 + m. Does 7 divide k?
True
Suppose 3*h - 4*t - 55557 - 22920 = 0, -3*t = -h + 26154. Does 57 divide h?
True
Suppose -12*c = -53*c + 60967. Let d = -1003 + c. Is d a multiple of 8?
False
Let r be ((-270)/12)/((-6)/16). Let s be -756*((-1)/2 + 13/(-6)). Is s/r + 3/(-5) a multiple of 12?
False
Suppose 26*g + 575 = 3*g. Let h(z) = z**2 + 20*z - 15. Is 5 a factor of h(g)?
True
Let a(m) = 83*m**2 - m + 170. Does 18 divide a(13)?
True
Let m(u) = 3*u**3 - 5*u**2 + 5*u - 6. Let d be 3*1*(-4)/12*-11. Let r = d - 8. Is 9 a factor of m(r)?
True
Suppose -11*d + 17625 + 43612 = 0. Is d a multiple of 21?
False
Let i(v) = 7*v - 12. Let w be i(2). Let t be -31*(w + -4) - -1. Suppose -c = -j + c + 32, 0 = 4*j + 5*c - t. Does 16 divide j?
False
Let h be ((-6)/(-4))/(((-105)/(-14))/15). Suppose 4*z = -f + 104, 0 = h*f - 5*z + 7*z - 292. Is 27 a factor of f?
False
Let p(t) = 65*t + 1. Let z(s) = -s**3 - 8*s**2 - 7*s + 9. Let x be z(-7). Suppose 10*o - 2*a - 5 = x*o, 2*o - 3*a - 8 = 0. Is p(o) a multiple of 11?
True
Let n(s) = 2*s**2 - 14*s + 29. Let r be n(5). Let u(q) = q**2 - 11*q + 27. Is u(r) a multiple of 6?
False
Suppose -81717 - 384408 = -61*z + 6*z. Is z a multiple of 5?
True
Let z be (3/9 - 1)/(28/(-504)). Does 13 divide (-12)/z - 574/(-2)?
True
Let b(c) = c**2 + 11*c - 7. Let g(q) = q**2 + 10*q - 6. Let j be ((-6)/4)/(5/((-80)/6)). Let l(f) = j*g(f) - 3*b(f). Is l(5) a multiple of 8?
False
Suppose 0 = 14*h - 59 - 53. Suppose h*q + 288 = 5528. Is 38 a factor of q?
False
Suppose 1301*b = 1185*b + 1493848. Is 4 a factor of b?
False
Let q(t) be the first derivative of -t**5/20 + 11*t**4/12 + 7*t**3/3 + t**2/2 - 19*t - 15. Let n(s) be the first derivative of q(s). Is n(10) a multiple of 31?
False
Let s be (-2)/(-5)*(-4 - (-4 - -20)). Let u = s - -71. Suppose 2*l - u - 217 = 0. Is 14 a factor of l?
True
Let b = 7106 - 2716. Is b a multiple of 119?
False
Suppose 2*j = -9*c + 89989, -3*c = 5*j - 394 - 29637. Is c a multiple of 13?
True
Let k = 6641 - 257. Is k a multiple of 57?
True
Suppose -20*n + 2*m + 55446 = 0, m - 4*m + 5567 = 2*n. Is n a multiple of 47?
True
Suppose -48 + 4 = -4*o. Suppose -o = 3*m - 6*m - k, -20 = -5*m - 2*k. Suppose m*l - 60 = -0*l. Is l a multiple of 2?
True
Let q(d) = d**2 - 3*d - 6. Let n be q(10). Suppose 4*w = -n - 68. Let a = w + 177. Does 18 divide a?
True
Let z be 15 - (-5 - -4)/1. Is 49 a factor of (-3 + 64)/((36/z)/9)?
False
Suppose -5*x - 188 + 732 = -l, -4*x - 2*l = -438. Let j = x - 39. Is j a multiple of 35?
True
Suppose 645*l = 637*l + 128. Is 150*(7 + (-104)/l) a multiple of 75?
True
Suppose -600*d + 597*d - 15 = 0. Does 73 divide (-192)/d*725/58?
False
Let j = 302 + -298. Is 7 a factor of (-1)/j - 2244/(-16)?
True
Suppose -57965 - 35599 = -46*f. Does 47 divide f?
False
Is (-6 + -184023)*12/(-36) a multiple of 14?
False
Suppose -12*j + 2636 + 21127 = 27. Does 2 divide j?
True
Suppose -3*h = -h + 3*h - 1275. Does 4 divide h?
False
Let t be (-6)/((-30)/42 - 4/14). Suppose -t*y = -10 - 8. Suppos