 562 = 5*q - d. Is q a multiple of 21?
False
Let g = -4 + 8. Suppose -12 = -g*w + 8. Let a(u) = 2*u**3 - 7*u**2 + u - 3. Does 12 divide a(w)?
False
Suppose 0 = -2*l + a + 1214, 0 = 4*l - 773*a + 777*a - 2392. Does 54 divide l?
False
Let x = 7 - 5. Suppose 5 = -3*c - v, v = -4*c - x*v - 15. Suppose -l + 5*p + 85 = -c*l, -1 = -p. Does 18 divide l?
True
Let j = 9686 + -5594. Is 66 a factor of j?
True
Let g = 1040 - -17019. Is g a multiple of 105?
False
Let j = 2008 - 1928. Is 80 a factor of j?
True
Suppose 0 = r - 5 + 3. Let j(d) = 7*d - 3. Let y be j(r). Is 7 a factor of 5/(-10)*-4 + 3*y?
True
Let x = -2505 - -7923. Is x a multiple of 63?
True
Let m = -205 + 128. Does 2 divide -12*3*m/42?
True
Suppose -v = 2*g - 4528, 5*v = 11*g + 3*v - 24919. Is 15 a factor of g?
True
Let x(c) = 20*c - 80. Let v be x(8). Let y = -61 + v. Does 19 divide y?
True
Suppose -3*g + 17 = 5. Suppose 0 = 4*b + g*y, b + 3*b + 24 = 2*y. Is 33 a factor of (1*73/b)/(2/(-8))?
False
Let w(z) = -3*z**3 + 9*z**2 + 24*z + 135. Let s be w(-9). Suppose 5*x = 6*x - v - 953, -3*x - 5*v = -s. Is x a multiple of 43?
False
Let t = 58 - 146. Does 5 divide 1 + -4 + -5*t/20?
False
Let a = -113 - -85. Let n = a + 27. Is 6*165/10 - n a multiple of 25?
True
Suppose -3245 - 23089 = -13*j - 5*j. Does 37 divide j?
False
Let r be 3/(-9) + 380/6. Let j(i) = -i**3 + 36*i**2 + 4*i - 147. Let z be j(36). Let h = r - z. Is h a multiple of 10?
False
Does 17 divide 41/((-1763)/(-215))*67592/10?
True
Let s(y) = -1481*y**2 - 2*y + 1482*y**2 + 4 - 13 + 4*y**3. Is s(3) a multiple of 21?
False
Suppose 3*j + 3*y = 3, 2*j - 4*y + y = 27. Let r = 206 + -203. Suppose 0 = -j*t + r + 717. Is t a multiple of 20?
True
Let t(q) = q**3 - 9*q**2 + 11*q - 18. Let u be t(8). Suppose -g + u = -2*g. Is 13 a factor of 0 + -2 - g - -122?
False
Suppose -19*o = -8*o + 6*o - 156417. Does 148 divide o?
False
Let h = 119 - 171. Let x be h*(-3 + 2/4). Suppose x = 5*i - 0*z + 5*z, -z = -i + 20. Is 7 a factor of i?
False
Suppose o = 3*i - 14, -5*o = -3*i + 38 - 16. Suppose -i*w + 0 = u - 2, -2*w + 4 = 2*u. Suppose 4*t - u*z - 62 = 0, -t + 2 = -0*t + 4*z. Is t a multiple of 8?
False
Let n(j) = 145*j - 132. Is n(24) a multiple of 12?
True
Let q = -268 + 376. Suppose -q*h = -104*h - 2100. Is h a multiple of 35?
True
Let a(s) = -s**3 + 26*s**2 + 4*s - 13. Is 14 a factor of a(-23)?
True
Let y be 8/(-2)*((-10)/(-5))/2. Is 15 a factor of (-2)/y*(-1)/(1/(-3604))?
False
Let b = -775 - -3193. Is b a multiple of 62?
True
Let s = -1612 + 3823. Does 67 divide s?
True
Let m be 36*(-2)/(4/10 - 108/(-30)). Let z = -1 + 4. Does 16 divide (m/24)/z + (-385)/(-4)?
True
Let t(k) = 122*k - 821. Is t(45) a multiple of 13?
False
Let r be (-2)/7 - 305768/(-28). Suppose -z - 27*z + r = 0. Is z a multiple of 39?
True
Suppose -4*d = 10*j - 8*j, j + 4 = 0. Suppose -4*h + 2*i + 132 = 0, d*h - 4*i + 12 = 72. Does 17 divide h?
True
Let v be -1 + 3 + (0 - 0). Let o(j) = -10*j + 42*j**2 - 2 - 31*j + 42*j. Is 21 a factor of o(v)?
True
Suppose -36*f + 1408 = -2912. Is 1*(f + 2) - -8 a multiple of 3?
False
Is 13 a factor of ((-9711)/(-996))/((-6)/(-376))?
True
Let q(n) = 6 + 3 + 12*n**2 - n**3 - 1 - 12*n. Let g be q(11). Let x(i) = 5*i**2 + 2*i. Is 13 a factor of x(g)?
True
Let l = -50 + 52. Suppose v = -l*c + 4*c + 14, 0 = -2*v + 3*c + 24. Let m(s) = 27*s - 7. Does 37 divide m(v)?
False
Let c(i) = 5*i**3 - 14*i**2 - 49*i. Let u be c(-2). Let p(v) = 9*v + 13 + 0 - 3. Is p(u) a multiple of 4?
True
Suppose -4*v - 1440 = -4*m, 0 = -2*m + 3*v + 1015 - 292. Is 14 a factor of m + 1 - (8 - 14)?
True
Suppose 4036 = 5*h - 4*h - 3*z, 2*h + 4*z = 8012. Is h a multiple of 41?
True
Let j(a) be the third derivative of -a**5/60 - 19*a**4/24 - 7*a**3/6 - 7*a**2. Suppose 2*f + 2*f = -64. Is 4 a factor of j(f)?
False
Suppose -16 = -2*w + 8. Let d be w*1*(-8)/16. Let u(h) = -20*h - 21. Is u(d) a multiple of 11?
True
Suppose -19 + 15 = -2*u. Suppose 3*z = 4*d - 0*z + 9, -u*d + 5*z - 15 = 0. Let h = d + 76. Is 19 a factor of h?
True
Suppose -95779 + 7675 = -24*m. Suppose -7*l - 1487 = -m. Does 11 divide l?
False
Let d(c) = 71*c**2 - c - 1. Suppose -2*g - 2*x + 9 = -x, 2*g - 29 = -5*x. Let f be 2/1 - (0 - 1) - g. Is 23 a factor of d(f)?
True
Is (38/95)/(4*(-5)/(-843700)) a multiple of 128?
False
Let m = 924 - 222. Is m a multiple of 27?
True
Suppose 21*j = 12*j + 22779. Let y = -1397 + j. Does 42 divide y?
True
Let j(n) = -202 + 70*n - 16*n + 24*n. Does 22 divide j(4)?
True
Is ((56/(-21))/8)/(2/(-11472)) a multiple of 111?
False
Let b(x) = -x**3 + 7*x**2 + 19*x + 17. Let s be b(9). Suppose -h = 5*i - 14 - 2, 4*h = 2*i - 24. Does 3 divide h/(-24) + -22*s/(-24)?
True
Let j be (88640/15)/(1/9*3). Suppose 16*x + 1600 = j. Is x a multiple of 52?
False
Suppose 31*a + 66 = 28*a. Let t = a - -113. Is 23 a factor of t?
False
Let s = -1703 + 3997. Is s a multiple of 74?
True
Let s = 313 - 310. Suppose 4*a = s*j + 4116, 4*a = -0*j - 2*j + 4096. Is a a multiple of 57?
True
Let a(u) = 11*u**2 - 58*u + 368. Does 19 divide a(8)?
True
Does 28 divide (-2554)/((64 - 65)/(-1 - -2))?
False
Suppose 0 = 7*b + 88 - 326. Let g = b + 220. Let i = g + -137. Is 13 a factor of i?
True
Let h = 2572 - 1699. Does 35 divide h?
False
Let f(o) = 101*o**2 - 1272*o + 8899. Does 4 divide f(7)?
True
Let j = -72 - -39. Let k = 58 + j. Is 32 a factor of 123 + k/10*2?
True
Let m(c) = 13*c + 3. Let g(d) = -4*d**3 - d**2 - 3*d - 3. Let r(l) = -l**2 + 5*l - 5. Let t be r(4). Let v be g(t). Does 6 divide m(v)?
True
Let f(a) = a**3 + 17*a**2 - 11*a + 36. Let y be f(-17). Suppose -210 = 3*p + 213. Let g = y + p. Is g a multiple of 12?
False
Suppose -1085*b + 4*y - 35985 = -1090*b, -3*b - 2*y = -21593. Is b a multiple of 5?
False
Let q be ((16/(-3))/4)/((-8)/12). Let m be (87/5 - q) + (-16)/40. Does 18 divide 21*(36/(-15))/((-7)/m)?
True
Let c(q) = 549*q - 31. Let b be c(-1). Let g = b - -730. Is 5 a factor of g?
True
Suppose -591*g + 586*g - 7828 = -r, 4*r - 31445 = g. Does 8 divide r?
False
Suppose -6201 = -17*f + 30179. Is 54 a factor of f?
False
Suppose -19*p + 38*p - 1772080 = -61*p. Is p a multiple of 17?
True
Let x(o) = -o - 7*o**2 + 155 - 5*o**3 + 4*o**3 + 6*o**2. Let p = 3 + -3. Is 22 a factor of x(p)?
False
Let a(i) = 349*i - 4810. Is a(14) a multiple of 6?
False
Let p(f) = f**2 + 23*f + 27. Let q = -58 + 36. Let w be p(q). Suppose -4*d + 108 = -d - 2*t, -w*t = -5*d + 180. Is d a multiple of 4?
True
Let q = 1048 + -730. Let t = q + -144. Is 58 a factor of t?
True
Let i(f) = -2*f**2 - 90*f - 74. Let g be i(-44). Suppose -3838 = -g*s - 1528. Does 3 divide s?
True
Suppose -2 = -4*y + 6, 5*y = -3*f + 7. Let b be 12/(-4) - (0 - f). Let z(r) = -4*r**3 - 2*r**2 - 4*r + 2. Is z(b) a multiple of 13?
False
Let k(r) = -31*r**3 - r**2 + 116*r + 510. Is k(-4) a multiple of 5?
False
Let n(b) = -2809*b + 2438. Is 182 a factor of n(-6)?
True
Suppose 5*d = 7*d - 118. Let l = d + -63. Let c = 40 - l. Is c a multiple of 23?
False
Suppose 2*w - 7*w + 5*u + 410 = 0, -u = 5. Let m = 78 - w. Is m - (36/(-3))/2 a multiple of 7?
True
Let t = -124 - -127. Suppose 0*g + t*g = z + 558, -4*g = -5*z - 2801. Let w = -340 - z. Does 17 divide w?
True
Suppose 7*a = 4454 + 22265. Suppose 13*m + a = 10122. Is 12 a factor of m?
False
Suppose -3*w = -32 - 46. Is (70/(-5))/((-4)/w) a multiple of 5?
False
Let u = -26560 + 36964. Does 89 divide u?
False
Let y(m) = -m**3 + 11*m**2 - 24*m - 9. Let g be y(4). Is 26 a factor of 4039/g + 2 + -3 + 5?
False
Suppose 0 = -2*y + i + 6039, -1522*y + 4*i + 15090 = -1517*y. Does 2 divide y?
True
Is 45 a factor of 8 + 666/(-81) - (-12152)/9?
True
Let x(s) = s**3 - 7*s**2 - 12*s - 48. Is 4 a factor of x(16)?
True
Suppose -n + 6*n - 623 = 3*s, -3*n = 15. Let w = s + 219. Is 3 a factor of w?
True
Suppose -6*s + 2*s - 6 = -z, -s - 18 = -3*z. Let m(j) = -3*j**2 + 7*j - 11. Let f(v) = v + 1. Let t(a) = -3*f(a) - m(a). Is 8 a factor of t(z)?
True
Let o = 12039 - 6582. Is 53 a factor of o?
False
Let a = -77 - -61. Let x = a - -19. Suppose x*k = -k + 384. Is 16 a factor of k?
True
Suppose -91*w + 42 = -90*w. Is (684/w)/(3/147) a multiple of 42?
True
Let r be 37044/8 - -3 - 3/(-6). Suppose 67*f - r = 53*f. Is f a multiple of 4?
False
Let g(z) be the third derivative of z**5/60 + z**4/4 - 7*z**3/3 + 46*z**2. Let o be g(3). Suppose -o*f +