= 5*m - 3*m - 2*b - 28, 3*b + 24 = m. Suppose 2 = -g + m. Does 6 divide g?
False
Let h = 110 + -110. Suppose 31*j - 29*j - 572 = h. Does 22 divide j?
True
Is (9 - 10)/((-3780)/944 - -4) a multiple of 6?
False
Let s = 322 - 58. Let y = s - 124. Suppose -w = -5*w + y. Is 29 a factor of w?
False
Let o = 28 - 24. Let v(r) = -r**3 + 6*r**2 - 7*r + 4. Is v(o) a multiple of 8?
True
Let d(y) = y**2 + 1. Let g be d(-1). Let k be -64 - (-3 - -1)/g. Is 4 a factor of (-612)/k - 4/(-14)?
False
Does 7 divide (-8)/(-9 + (-20404)/(-2268))?
True
Suppose -38*d + 9123 + 19681 = 0. Does 29 divide d?
False
Let r(b) be the third derivative of -b**6/20 + 7*b**5/60 + 5*b**4/12 - b**3/6 + 30*b**2. Is r(-3) a multiple of 10?
False
Suppose 0 = -2*n - 5*v + 1283 + 2737, 3*v = 5*n - 10081. Does 9 divide n?
False
Suppose 5*z + 3*d - 203 = 0, -26 = -2*z + 3*d + 51. Is 20 a factor of z?
True
Let b = 34 + -20. Suppose 9*o - b = 7*o. Is 10 a factor of (o/(-1) - -4)*-13?
False
Suppose 0*o - 3*o + 2*d = 32, 2*o = 2*d - 24. Let n be o/(-12) - (-142)/3. Let y = 80 - n. Does 8 divide y?
True
Suppose -72 = -3*i - 0. Suppose 4*h + i = v - 23, 3*h = -5*v - 64. Let p(n) = -3*n + 9. Does 12 divide p(h)?
True
Let l be 37/3*6/2. Let t = 301 - l. Is 33 a factor of t?
True
Suppose 0 = 5*t - 502 - 2753. Is t a multiple of 21?
True
Suppose 13*p - 15 = 10*p. Suppose 0 = p*w - 46 - 254. Is w a multiple of 10?
True
Let g = 537 + 354. Does 9 divide g?
True
Let q be 8 + -3 + 1 + -2. Let g = q + -9. Let r(k) = k**3 + 5*k**2 - 3*k + 4. Is r(g) a multiple of 9?
False
Suppose -6*a + 251 + 313 = 0. Is a a multiple of 27?
False
Let c(f) = f - f + 6*f - 36 + 14. Is 5 a factor of c(7)?
True
Let j be (-3 - (-3)/9)*36/(-8). Is (j - 1)/((-44)/16 + 3) a multiple of 8?
False
Let z(l) = -l**2 + 7*l + 2. Let d be z(8). Let b(u) = 4*u**2 + 14*u + 4. Does 5 divide b(d)?
False
Let f = 1 + 3. Suppose 76 = -f*m + 6*m. Is 10 a factor of m?
False
Let g(j) = j**2 + 11*j - 2. Let i be g(-11). Is 19 a factor of i/8 + (-2261)/(-68)?
False
Suppose 2*v - 3 = 29. Let s = -10 + v. Is 4 a factor of s?
False
Let t = -16 - -13. Let w be t/1 - 1/1. Is 1/w + (-867)/(-12) a multiple of 14?
False
Suppose 0 = q - 2*l - 11, -20 + 63 = 5*q - 4*l. Suppose -12*v + q*v + 55 = 0. Does 3 divide v?
False
Suppose 7*q - 3*q + 64 = 0. Let t(d) = 7*d**2 + 25*d - 24. Let w(j) = 3*j**2 + 12*j - 12. Let x(f) = -2*t(f) + 5*w(f). Is x(q) a multiple of 21?
True
Let q = -66 + 59. Let l(h) = -h**2 - 28*h + 7. Is l(q) a multiple of 13?
False
Let o be (-21)/(-4) - 13/52. Suppose 0 = -u - o + 25. Suppose 0 = l + u - 56. Is 12 a factor of l?
True
Let b(v) = v + 5. Let i be b(-5). Suppose 2*s - 174 - 16 = i. Is 19 a factor of s*((-17)/(-5) + -3)?
True
Let l be (-9)/((-2)/(-4) + -2). Let p = 157 + -160. Is 93/l + p/(-6) a multiple of 4?
True
Let d(u) = 4*u**2 + 4*u - 3. Let b be d(-3). Let h = 51 - b. Does 6 divide h?
True
Suppose 4*g - g = 6. Let o = 11 + 31. Let b = g + o. Is b a multiple of 9?
False
Let z = 18 - 10. Let d = z - 3. Suppose -18 = -d*i + 22. Is i a multiple of 2?
True
Let d(z) = -z**3 + z + 1. Let u = 14 - 12. Let s be d(u). Is (6/10)/(s/(-75)) a multiple of 3?
True
Let l be (-104)/32*(-3 - 1). Suppose -l = -4*s + 387. Does 25 divide s?
True
Let k = 47 + -51. Does 19 divide ((-32)/52)/k - (-492)/13?
True
Let z = -1483 - -2698. Is z a multiple of 84?
False
Suppose 123*q + 100 = 125*q. Does 15 divide q?
False
Let n(q) = q**3 - 12*q**2 - q + 18. Let f be n(12). Suppose 0 = f*l - 3*l - 600. Does 40 divide l?
True
Is 10 a factor of (-5*36)/(6*3/(-48))?
True
Let o be (-2)/(-6)*(2 - 14). Is 14 a factor of 1/(-2) - 282/o?
True
Let n(h) = 23*h**3 - h**2 + h - 14. Is 44 a factor of n(4)?
False
Let t be (2 - -1)*12/4. Suppose -3*b - t = -4*b. Is b - -1 - (-6 + 4) a multiple of 4?
True
Let i(l) = 3*l**3 - 6*l**2 + 20*l - 80. Is 37 a factor of i(6)?
False
Let f = -221 - -16. Let w = -96 - f. Does 15 divide w?
False
Let s be (-5)/(-1) + -2*1. Suppose 3*t - 5*f = 35, 5*t + 6*f = s*f + 81. Let r = t - 3. Is 3 a factor of r?
True
Suppose 0 = y + 2*q - 62, -27*q = 5*y - 25*q - 342. Does 10 divide y?
True
Let y be 28/4*(-72)/(-21). Let z = y - 22. Suppose z*c - k - 13 = 0, 3*c - c + 5*k = 19. Does 5 divide c?
False
Suppose -4*n = -3*m - 0*n + 469, 2*n = -2*m + 308. Is m a multiple of 9?
False
Suppose -2 - 6 = -4*n. Suppose 2*a - h + 34 = 7*a, 4*h = n*a - 18. Suppose 2*j + 40 = a*j. Is j a multiple of 8?
True
Let b = 1033 - 483. Is 55 a factor of b?
True
Let d(r) = -5*r + 29. Let v be d(8). Let g = 54 - v. Is g a multiple of 13?
True
Suppose -2*j = -2*h + 28, 0 = 10*h - 9*h - 5*j - 22. Does 3 divide h?
True
Let c(h) = -2*h - 19. Let d be c(-12). Suppose -l = -p + l + 6, 0 = 4*p - 5*l - 21. Suppose -71 = -p*f + v, -60 = d*f + 3*v - 170. Is 13 a factor of f?
False
Is 17 a factor of 316/12 + 11/3 + -3?
False
Suppose -2*w = -2*x - 904, 3*x = 134*w - 135*w + 444. Does 25 divide w?
True
Let o(f) = -f**3 + 8*f**2 - 7*f + 2. Let z be o(7). Suppose z*n = 17 + 9. Does 13 divide n/2*(-16)/(-8)?
True
Suppose -44*i - 40572 = -62*i. Does 7 divide i?
True
Let r be -2*((-2 - -2) + -2). Suppose 8 = -2*v + 4*o, 4*v - 4 = -v + r*o. Is 3 a factor of 8 - (v + (-3 - -1))?
True
Is (-3)/(-4) + (50365/20 - -9) a multiple of 79?
True
Let j = -1151 + 2245. Is j a multiple of 61?
False
Suppose -145*h + 150*h = 215. Is 12 a factor of h?
False
Let c be ((-144)/(-126))/((-2)/(-7)). Suppose 0 = 2*g + c*g - 1740. Is g a multiple of 15?
False
Let t(n) = 92*n - 518. Does 15 divide t(17)?
False
Suppose 2*s = 4*k - 6, 0 = -3*s - 0*s - 2*k + 15. Suppose -4*l = -5*i + 2964, 1771 = s*i + 2*l + 3*l. Does 22 divide i/20*15/6?
False
Let y = -96 - -100. Suppose 3*o - 424 + y = 0. Does 14 divide o?
True
Let s(k) = 18*k - 3 + 3 + 4 + 5*k**2 + 3. Is s(-6) a multiple of 12?
False
Suppose -a + 5 = 0, -73 - 107 = -5*k + 4*a. Let z = k + -20. Does 10 divide z?
True
Let c = 157 - 72. Suppose c = 4*g - w, -6*w = -4*w + 2. Does 16 divide g?
False
Let x = 0 + 3. Suppose -9 + 144 = x*c. Suppose 0 = 4*d + 4*w - 140, 3*d + w - 54 = c. Is 16 a factor of d?
True
Let q be (-5 - 8) + 6 - (-2 + -1). Does 11 divide 33 - (q + (-12)/(-3))?
True
Let v = -18 + 25. Suppose -2*j - 3*p - 2*p + 9 = 0, -4*j + p = -v. Let g = 27 + j. Is g a multiple of 12?
False
Is 39 a factor of (3 - -275 - 5) + 7 + -7?
True
Let m = 3 + -3. Suppose 2*g + 0*g = -4*i + 122, m = g + 5*i - 58. Does 21 divide g?
True
Suppose 4*q - 2486 = -5*r, -9*r - q + 498 = -8*r. Does 19 divide r?
True
Let h = -321 + 382. Is 4 a factor of h?
False
Let r(s) = s**2 - 8*s - 35. Does 8 divide r(-8)?
False
Suppose -1509*f = -1506*f - 1260. Does 42 divide f?
True
Suppose 4*q - 169 - 295 = 0. Is 11 a factor of q?
False
Suppose 0 = -2*h - 170 + 896. Is 33 a factor of h?
True
Suppose 3*b - v - 1977 = 0, b - 5*v + 1318 = 3*b. Is b a multiple of 54?
False
Let v = -2320 - -3832. Suppose -v = -8*p - 10*p. Is p a multiple of 14?
True
Let s(t) be the second derivative of -t**5/20 + t**4/3 + t**3/2 - 5*t**2/2 + 3*t. Let y be s(4). Suppose -p - 2*n + 0*n - y = 0, -5 = n. Is p a multiple of 3?
True
Suppose -12 - 22 = -3*m + 2*f, 3*m + f = 28. Let w = m - 6. Suppose 14 = v - w. Is 9 a factor of v?
True
Is 46 a factor of 26*(0 - 69)/(-3)?
True
Suppose 3*y + 2*z - 4*z = -158, -229 = 4*y + z. Is 5 a factor of ((-32)/y)/(2/133)?
False
Is 12 a factor of (-1)/(5*1/(-840))?
True
Suppose 472 = 14*h - 10*h + 4*p, -6 = 3*p. Is 3 a factor of h?
True
Let q = -1104 + 2131. Is q a multiple of 71?
False
Suppose 2*u + 4*w = 70, 0*w = -u + 2*w + 19. Let o = u - 16. Does 28 divide (3 - o)/((-4)/14)?
True
Suppose 17173 = 2*w + 11*w. Is w a multiple of 65?
False
Let n(v) = 2317*v - 179. Is n(2) a multiple of 13?
False
Suppose 0*p - 5*p - 4*u = -3375, -2*p + 1350 = 3*u. Is 5 a factor of p?
True
Let f(x) = 49*x**3 - 3*x**2 - 7*x. Let i(a) = -24*a**3 + a**2 + 3*a. Let m(s) = -2*f(s) - 5*i(s). Is m(1) a multiple of 3?
False
Suppose -64*c = -62*c - 50. Let a = -2 + c. Is 6 a factor of a?
False
Let y(j) = 31*j**2 - 20*j + 83. Is 28 a factor of y(4)?
False
Let t = -108 - -38. Suppose 3*l = -3*f + 5*f - 82, -53 = 2*l - 3*f. Let y = l - t. Does 12 divide y?
False
Let u be 4 - -2*20/(-4). Does 11 divide (125/10)/((-1)/u)?
False
Let a be 2 + (-5 + 1 - 15). Let c = a - -21. Suppose -8*i + 192 = -c*i. Is 16 a factor