of 11?
False
Let k be 2 + -4 + 5 - 0. Suppose 2*d = -k*d - 5, 4*z - 12 = -4*d. Suppose z*m + 2*s - 64 = 0, 5*m + 4*s - 5*s - 94 = 0. Is m a multiple of 6?
True
Let g = 416 - 113. Suppose 5*q - 2*i = -294, -5*q - 4*i = -3*i + g. Let o = q - -73. Is o a multiple of 2?
False
Let t be (3 - (-98)/(-21))*-3. Suppose -50 + 56 = 3*x, -t*x + 745 = y. Is y a multiple of 56?
False
Let x = -17 + 14. Is 17 a factor of (x/(-9))/((-13)/(-19929))?
False
Let t = 50 + -48. Suppose -2*p + 1050 = 3*p - 2*d, -842 = -4*p + t*d. Let u = p + -124. Is u a multiple of 28?
True
Suppose 0 = -15*l - 9*l + 86426 + 23590. Is l a multiple of 8?
True
Suppose -12*i + 19*i = -686. Let y = -27 - i. Suppose 4*p - 305 - y = 0. Is p a multiple of 17?
False
Let u = 2787 - 323. Let h be 9/2*350/105. Suppose h*x = 461 + u. Is 8 a factor of x?
False
Let c = 50720 + -19505. Is c a multiple of 49?
False
Let v(h) = 3*h**2 + 2*h - 16. Let n be v(4). Suppose 0 = -43*a + n*a + 504. Does 14 divide a?
True
Suppose 97 = 2*k + 21. Suppose -2*z = -5*f + 103 + 119, -k = -f + 2*z. Suppose 2*r = f + 150. Does 20 divide r?
False
Suppose 2*c + 8 = 5*u, 6*c - 7 = -4*u + 7*c. Suppose -3*p = 4*n - 844, p - 5*n - 103 = 210. Suppose 10*m - u*m - p = 0. Does 15 divide m?
False
Let v = -1806 + 4696. Is 13 a factor of v?
False
Suppose -6*t + 2 = -292. Let d = t + -49. Is 13 a factor of (100/(-6))/(d + (-2)/9)?
False
Suppose -55*p + 7*p = 99*p - 4462479. Is p a multiple of 9?
True
Let y = -24 - -20. Let x be y/(-14) - (10/(-14) + -4). Suppose -r - 69 = -3*r - 5*f, -4*r = -x*f - 63. Does 5 divide r?
False
Does 21 divide ((-2656)/40)/((132/(-630))/11)?
True
Suppose 4*v = -5*z + v - 17, -18 = -2*z + 5*v. Let m be z/((18/168)/(3/(-2))). Does 12 divide (-3252)/(-54) - (m/(-18) + 1)?
True
Let y be ((-1)/(-3))/(2/18). Suppose 3*z - 153 = -y*h, 8*h - 149 = -3*z + 9*h. Is z a multiple of 10?
True
Let j(o) = 7*o**2 + o - 7. Let l be j(-3). Suppose -5*p + 4*p + l = 0. Suppose p = 2*s - 5*x, 2*s - s = 5*x + 24. Is s a multiple of 13?
False
Suppose 22*w - 7148 = -12*w + 2644. Does 8 divide w?
True
Suppose 85 = 3*p - 4*z, 0 = -2*p - 3*p + 3*z + 160. Suppose -x - 3*s = -87, 32*s = 3*x + p*s - 279. Is x a multiple of 5?
False
Let f(h) = -h**3 + 4*h**2 - 3*h + 1. Let s be f(3). Let y(p) = -p. Let u(g) = 14*g - 46. Let q(w) = s*u(w) + 6*y(w). Does 7 divide q(12)?
False
Let h(j) = -j**2 - 5*j - 2. Let u be h(-1). Let p(v) = -8*v + 10 - 8 + 0 + 35*v. Is 7 a factor of p(u)?
True
Suppose 4*t - 28 = -10*t. Suppose -t*g - 6 + 17 = -p, p + 14 = 3*g. Does 6 divide ((-4)/p)/((-4)/(-390))?
True
Let y(c) = 178*c + 260. Let o be y(-6). Let g = -340 - o. Does 12 divide g?
True
Let j(d) = -370*d + 1368. Is j(-6) a multiple of 46?
True
Let v(f) = -f**3 + 7*f + 8. Let t = -63 - -65. Suppose -3 = t*s + 7. Is v(s) a multiple of 20?
False
Suppose -141480 = -22*s + 24312. Does 28 divide s?
False
Suppose 2*w + 10*g = 6*g + 28, -58 = -3*w + 2*g. Suppose s - 630 = -2*a, -19*s + 630 = -w*s - 3*a. Does 15 divide s?
True
Let u be (-2)/(1/(35/(-14))). Let f(c) = 2*c**3 + 7*c**2 - 20. Is 58 a factor of f(u)?
False
Let r = 3793 + -1353. Is 20 a factor of r?
True
Suppose 2*k - 7*k + 32 = 4*x, -2*x - 3*k + 18 = 0. Let r be 4 + (-3)/x*2. Suppose 4*g - 3*g = r, -4*g = 4*q - 232. Is 8 a factor of q?
True
Let a(x) = -2*x**3 - 2*x**2 + 5*x + 10. Let h be a(5). Let q = 316 + h. Is 14 a factor of q?
False
Suppose -3*m - 1083 = -3*v, -7*v + 734 = -2*m - 9*v. Let q = -341 - m. Does 7 divide q?
False
Suppose 5*u = 4*u - 2*i + 283, -i = 0. Suppose 739*j - 1720 = 749*j. Let n = u + j. Is n a multiple of 37?
True
Let c(k) = k**2 + 3*k - 1. Let g be c(-3). Let z be (-88)/(-4) + 0 + g. Is 10 a factor of 6/z - (-474)/7?
False
Let j = 3472 - 2672. Is 32 a factor of j?
True
Suppose -5*f - 27 = 8. Is (-2)/5 - ((-3507)/(-15))/f a multiple of 14?
False
Let z = -152 - -156. Suppose 3*w - 4*d - 1956 + 743 = 0, z*w + d - 1592 = 0. Does 57 divide w?
True
Let k = 6966 - 3604. Is k a multiple of 12?
False
Let t(f) = 199*f**3 + 2*f**2 - 2*f + 1. Let a be (-1 - -3)/(5 - 3). Let o be t(a). Suppose 4*u = -2*y + 6*y + o, 5*u - 258 = 3*y. Does 14 divide u?
False
Let h(g) be the second derivative of -5*g**3/6 + 117*g. Suppose 2*y = -i - 3*y + 10, 2*i + 2*y = -12. Does 17 divide h(i)?
False
Suppose -4*d = 2*t - 4450, 129*d - 8893 = -4*t + 128*d. Is 117 a factor of t?
True
Let t(i) = -65*i - 1303. Is 11 a factor of t(-28)?
True
Suppose -4*f - 188 = 4*i, -f = 4*f - 3*i + 251. Let m be 1/((-1)/(-1934)) + -2. Is 3 a factor of (-6)/14 - m/f?
True
Suppose s = 5*s. Let u(v) = 10 + s + 2*v**2 - 47*v**3 - 3 - 8. Does 32 divide u(-1)?
False
Let a = 47 - 28. Suppose 7*i - 2*i - a = g, 0 = 5*i + 5*g - 25. Suppose -i*u + 0 + 336 = 0. Is u a multiple of 7?
True
Suppose -70*g = -45*g - 267200. Is 167 a factor of g?
True
Let v be (6 - 8)/(-1) + 738. Suppose -4*m = -v - 268. Is m a multiple of 14?
True
Let i = -900 + 1710. Suppose a + 2*b = -2*b + 172, 5*b = 5*a - i. Suppose 2*m = 88 + a. Is 14 a factor of m?
True
Let f(n) = -n**3 + 5*n**2 + 7*n - 4. Let z be f(6). Suppose -g - 3 = -a, -3*a + z*a + 2*g + 4 = 0. Suppose -2*w + 112 = a*w. Is 18 a factor of w?
False
Let d(u) = u**2 - 8*u - 24. Suppose -36*v + 20*v = 256. Does 18 divide d(v)?
True
Let v(f) be the first derivative of -f**7/168 + f**6/180 + f**5/30 + f**4/6 - 7*f**3 - 8. Let x(w) be the third derivative of v(w). Is x(-2) a multiple of 11?
True
Let y = 15304 + -13709. Does 145 divide y?
True
Suppose 2*d = 2*j - 6264, -217*j + 220*j + d = 9408. Is 168 a factor of j?
False
Suppose c = -4*r - 4*c - 31, -3*r - 3*c = 24. Let i(x) be the first derivative of x**4/4 + 10*x**3/3 + 5*x**2 + 29*x - 101. Is i(r) a multiple of 8?
False
Let a = 154 - -10846. Is a a multiple of 10?
True
Let v be (137 + -2 + -3)*(-1)/(-2). Let n = -60 + v. Let u = 18 + n. Is u a multiple of 12?
True
Let h(z) = 0 + 5*z**2 + 46*z - 10 + 3 + 29. Is 74 a factor of h(-18)?
True
Let o = 4189 - 2820. Is o a multiple of 31?
False
Let j = 94 - 91. Suppose j*s + 15 = 57. Is s a multiple of 3?
False
Let f = 2611 - -4490. Is f a multiple of 9?
True
Suppose -36*r + 39*r = 5*y - 39038, -r = 5*y - 39054. Does 71 divide y?
True
Let o = 18581 + 33456. Is 71 a factor of o?
False
Suppose -4*v + 0*u = u - 18, -2 = u. Suppose -12*a = v*t - 11*a - 6738, 0 = -2*t - 5*a + 2686. Does 26 divide t?
False
Let z = 4163 - -2902. Is 9 a factor of z?
True
Let p = -11 - -11. Suppose -4*o + 4 = 4*x, 2*o + p*o - 6 = -4*x. Is 8 a factor of (-114)/((x/8)/((-2)/12))?
False
Let j = 61 - 56. Suppose -5*h + j*s = -4*h - 7, 7 = 4*h + s. Suppose 3*x + h*x = 235. Is x a multiple of 8?
False
Suppose -u = -3*w + 470, -11*w = -3*u - 13*w - 1421. Let t = u + 601. Is 8 a factor of t?
True
Let g(t) = 4 + 7 - 1 - 47*t + 5*t. Is g(-16) a multiple of 31?
True
Suppose -7097 = -5*n + 2*s, -3*s + 0*s + 5696 = 4*n. Is n a multiple of 55?
False
Suppose -126*h + 57270 = -103*h. Is 18 a factor of h?
False
Let m(f) = -882*f - 123. Let k be m(-15). Is (3/(-9))/((-17)/k) a multiple of 47?
False
Let p(z) be the third derivative of 17*z**4/24 - 13*z**3/6 + 3*z**2. Let i be p(4). Does 19 divide 94/5 + 11/i?
True
Suppose 30*v - 18*v = -216. Let q(c) = -8*c - 78. Is 5 a factor of q(v)?
False
Let p = 723 + -659. Suppose -4*a - 4*c = -1908, -65*a + 2*c + 468 = -p*a. Is a a multiple of 33?
False
Suppose 0 = 4*w - 3*i - 27, 20 = 4*w + i + 3*i. Suppose -w = -3*k - 3*k. Is k - 3364/(-14) - 16/56 a multiple of 28?
False
Let p = -282 + 223. Is p/(-6 + (-462)/(-78)) a multiple of 13?
True
Suppose 0 = 5*j - 9*j + 2464. Suppose 3*h = -i + 917, 6*h + 3*i = 4*h + j. Does 17 divide h?
False
Let k(t) = 16*t + 6696. Does 7 divide k(-78)?
False
Let k = 47 + -44. Suppose 0 = 4*j - k*p - 959, -958 = -4*j - 3*p + 5*p. Is 27 a factor of j?
False
Suppose -18*z - 26*z + 104160 = -9*z. Does 6 divide z?
True
Let t(b) = -3*b**2 - 53*b - 4. Let o = -229 - -213. Does 22 divide t(o)?
False
Let q(f) = -113*f - 2. Let g be q(-2). Does 16 divide g/21*90/4?
True
Suppose 10*p = -8690 + 14810. Is 36 a factor of p?
True
Suppose 0*g - 155 = 5*g - 2*j, -46 = 2*g - 4*j. Let x = -192 - g. Does 3 divide x/(-33) - (-1 - 9/(-11))?
False
Is 4768730/930 + (-7)/(-3) a multiple of 5?
True
Let b be -36*(-6 + -3 + 1). Suppose a = -c - 4*c + 276, 2*a = 5*c - b. Is c a multiple of 4?
True
Let 