14 = -5*u. Suppose -m + 1 = -d, 2*m + d - 6*d + 1 = 0. Is 42*2*a/m a multiple of 14?
True
Suppose -5*b - 1960 = 5*i, -5*b - 1186 = 3*i - 4*b. Let r = i + 727. Does 10 divide ((-2)/(-5))/(3/r)?
False
Is 15 a factor of 15*(4/32 - 6122/(-48))?
False
Suppose 0 = 3*u - 5*i + 146 - 1280, 0 = 2*u - 3*i - 755. Is u a multiple of 6?
False
Suppose 5*a - 163 = -2*y, a + 2*y = 35 - 4. Does 33 divide a?
True
Suppose 3*x - 2*c - 2309 + 267 = 0, -4*x - 2*c + 2718 = 0. Is 17 a factor of x?
True
Let c(o) be the second derivative of -o**5/20 - 17*o**4/12 + 13*o**3/6 - 12*o**2 + 111*o. Let d be (6/7)/(2/(-42)). Is 22 a factor of c(d)?
True
Let y(f) = 46*f**2 + 7*f - 2. Is 14 a factor of y(-6)?
False
Let k(s) = -s**3 + 28*s**2 + 34*s + 95. Does 12 divide k(29)?
True
Let i(n) = 9*n**2 - 20*n - 30. Is 46 a factor of i(-6)?
True
Let l be 273*-2*2/4. Let a = l + 492. Suppose -a = -3*f + 2*r + 39, 0 = 4*f - 4*r - 348. Is 28 a factor of f?
True
Suppose 2*m = m - 2*s, -m = -3*s - 25. Suppose 0 = m*p - 2*p - 48. Is 4 a factor of p?
False
Let k = 181 + 338. Does 3 divide k?
True
Let m(v) = -17*v + 20. Let l be m(-6). Let d = l - 1. Is d a multiple of 21?
False
Suppose r + 2*z - 65 = 0, 0 = 5*r + 2*z - z - 370. Let l = r + -46. Does 6 divide l?
False
Let c be (36/(-27))/(1/(-3)). Suppose -851 + 223 = -c*r. Let m = -112 + r. Does 8 divide m?
False
Let l = -6 + 8. Let s(w) = 3*w - 5*w + 8 - 6*w + w + w**l. Does 15 divide s(11)?
False
Suppose 17*x - 37772 = 1821. Does 16 divide x?
False
Let j = -1 - -1. Suppose -4*r - 4*u + 84 = j, -r + 40 = r + 4*u. Is 22 a factor of r?
True
Suppose 0 = -10*j + 134 - 1014. Is 16/j + 3273/33 a multiple of 16?
False
Suppose b - 2*q - 12 = 0, 2*b + 3*q + 16 = -q. Suppose b*a - 5*a + 144 = 0. Let m = -4 + a. Is m a multiple of 22?
True
Let q(w) = w**3 - 9*w**2 - 3*w + 5. Let s be q(7). Let n = -72 - s. Is 12 a factor of -8 + 4 + -2 + n?
True
Suppose -68 = -8*u + 524. Let p = u + -66. Is 4 a factor of p?
True
Let l = 697 + -691. Let n(w) = -w**2 - 3*w - 5. Let t be n(-5). Is (-2 - l/(-15))*t a multiple of 6?
True
Let d(q) = -4 - 2 + 5*q - 2*q**2 + 4*q**2. Let l be d(-4). Is 6 a factor of l*3*(-10)/(-6)?
True
Let n = -16 - -29. Let m = n - -247. Is m a multiple of 52?
True
Suppose -270*o + 292*o - 7546 = 0. Is o a multiple of 15?
False
Let r(w) = w**2 + 3*w - 4. Let j be r(-3). Let a be (-18)/(-8)*(-96)/(-9). Let t = a + j. Is t a multiple of 20?
True
Suppose d = -t - 4*d + 10, 4*t - d - 19 = 0. Suppose -280 = -t*a + b, -4*a + b = -b - 218. Is 19 a factor of a?
True
Suppose 0*p - 4*p + t = 9, -2*t + 15 = -5*p. Let k be (0 - (p - -10))/1. Does 6 divide (k/(-5))/((-3)/(-10))?
True
Let h be (-3)/9 + (-13)/(-3). Let b = -23 - -25. Suppose -b*l = -h*l + 20. Is 5 a factor of l?
True
Let a(s) = 16*s - 13. Let g be a(-7). Let i = 41 - g. Is i a multiple of 25?
False
Let z be (6 - 8)*((-11)/2 + 1). Let g = z - -183. Is 44 a factor of g?
False
Suppose 4134 + 7449 = 11*k. Does 13 divide k?
True
Is 58 a factor of -6 + (-32604)/(-13) - 8?
True
Let p = 1819 - 1319. Is p a multiple of 26?
False
Let p = 64 + -6. Let m = p + -6. Does 13 divide m?
True
Let b be 1136/48 + (-2)/3. Let d = -18 + b. Suppose -56 = -4*l - c, -l = 4*l - d*c - 95. Is l a multiple of 8?
False
Suppose i - 3*v = 16, -4*i + 36 + 28 = -2*v. Let c = i + -10. Suppose c*t - 20 = t. Is t a multiple of 3?
False
Is 75 a factor of (13 - (3660 + 8))*2/(-5)?
False
Let k(m) = 498*m**3 + 2*m**2 - 2*m - 4. Is 16 a factor of k(2)?
True
Let c(m) = -m**3 - 7*m**2 - 8*m - 9. Let r be c(-6). Suppose -g - 4*o + 11 = 2*g, 4*g - r*o = -2. Is -14*(g - 6/4) even?
False
Suppose 0 = -6*n + 591 - 207. Does 16 divide (-75)/10*n/(-6)?
True
Let i(d) = -d**3 + 13*d**2 + 15*d - 21. Let x be i(14). Let p = x - -9. Suppose -4*t - 2*n - 3*n = -46, -p*t - 2*n + 22 = 0. Is 6 a factor of t?
False
Suppose 0 = 7*b - 2*b - 20. Suppose 3*s + b*u = 8 - 1, 0 = 4*s - 4*u - 28. Suppose -4*l + 115 = s*i - 93, -i = -2*l + 118. Does 25 divide l?
False
Let a be 234/(-15) - (-4)/(-10). Let i be 4/(-3) + a/24. Is -3 - (-3 - i)*23 a multiple of 10?
True
Suppose p = -3*w + 1708, -w + 4*w - 3*p = 1716. Suppose -w = -2*l - l. Is l a multiple of 13?
False
Let x(w) = 14*w**2 - 18*w + 67. Is x(5) a multiple of 11?
False
Suppose 2*c = 5*o - 673, -3*o - 3*c + 415 = -7*c. Let p = 56 - 131. Let b = o + p. Is 12 a factor of b?
False
Let g(h) = h**3 + 19*h**2 + 18*h + 54. Let t be g(-23). Is 4/18 + t/(-36) a multiple of 6?
False
Let k(a) = a**3 + 10*a**2 + 9*a + 3. Let h be k(-9). Suppose -6*n = -4*n - h*j - 139, 0 = 3*n + 4*j - 200. Is 17 a factor of n?
True
Let z(b) = -b**3 + 5*b**2 - 3*b - 1. Let i be z(3). Let h = i + -4. Suppose -h*k = 2*o - 178, 2*o + 1 = 3*o. Does 22 divide k?
True
Let j = 468 + -58. Is 10 a factor of j?
True
Let l = 7 + -10. Let p be ((-132)/8)/l*-4. Let b = p - -40. Does 9 divide b?
True
Is 2 a factor of 1 - -2*(-355)/(-10) - 0?
True
Let v = 12 + -26. Let m = -20 - v. Is (m/(-12))/(1/98) a multiple of 13?
False
Let o(r) = 452*r - 160. Does 124 divide o(2)?
True
Let q = 39 + 44. Let n = q + -67. Is n a multiple of 8?
True
Suppose -4*c + m + 3*m = 16, -m = -2*c - 4. Suppose -k - 1 + 0 = c. Does 16 divide (-382)/(-8) - k/4?
True
Suppose -3*l = -o - 8*l - 18, -4 = l. Suppose -y + w - 4*w = 6, 0 = o*y - 3*w - 15. Suppose 0 = 5*k + 2*u - 27, y*k = 7*k - 3*u - 40. Is 3 a factor of k?
False
Let k be 4/(-3)*21*-10. Let b = k + -168. Is b a multiple of 16?
True
Let x(c) = -c**3 - 4*c**2 + 5*c + 2. Suppose -2*o + 5 = -3*o. Let g be x(o). Does 7 divide (-4 - -14) + -2 + g?
False
Suppose r - 408 = 3*u + u, 4*u - 4*r + 408 = 0. Let p = 159 + u. Is p a multiple of 19?
True
Suppose 0 = -89*d + 104*d - 5880. Is d a multiple of 28?
True
Let r = -88 + 67. Is (-2 - -70)*r/(-12) a multiple of 17?
True
Let j be (-12)/42 + (-172)/(-14). Let y be (j + -7)/(1 + 0). Suppose -y*b + 106 = n, 3*n + b = 6*b + 378. Is 38 a factor of n?
False
Let v be (0/(-6))/(-1 - 0). Let c(f) = -f**3 + f**2 + 2*f - 17. Let s(w) = -4*w**3 + 4*w**2 + 7*w - 51. Let k(o) = -7*c(o) + 2*s(o). Does 11 divide k(v)?
False
Suppose 0 = 5*i + t + 81, 4*i + 2*t + 0*t = -66. Does 19 divide (-5)/20 + (-932)/i?
False
Let u = 2587 + -1176. Does 41 divide u?
False
Let w be 2378/6 + 11/(-33). Suppose -8*q = -12*q + w. Does 11 divide q?
True
Let l(s) = -21*s - 35. Is l(-23) a multiple of 16?
True
Does 70 divide (1 - 0 - 169)/(6/(-20))?
True
Let v(j) = j**2 - 14*j + 13. Let h(u) = -7*u + 7. Let q(i) = -5*h(i) + 3*v(i). Is q(4) a multiple of 6?
True
Let r = 15 + -19. Is 148/((-11 + 3)/r) a multiple of 13?
False
Let x(q) = -8*q**3 - 36*q**2 - 56*q + 65. Let d(n) = -3*n**3 - 12*n**2 - 19*n + 22. Let z(m) = 11*d(m) - 4*x(m). Is z(13) a multiple of 8?
True
Let f be (24/15)/((-2)/(-5)). Suppose 3*i - 2 = -f*t + 5*t, -6 = 3*t. Suppose -2*d - 3*o + 44 = i, 0 = 4*d - o - 26 - 34. Is d a multiple of 4?
True
Suppose 8*d - 4140 = -15*d. Is d a multiple of 15?
True
Let d = 15 - -154. Let q = d - 106. Does 21 divide q?
True
Let u(n) = n**3 + 2*n**2 + 4*n + 3. Let i be u(-3). Let k = i - -48. Is (4*-1)/((-4)/k) a multiple of 10?
True
Let y be (-2)/3*(15 - 81). Let j = 161 - y. Is 15 a factor of j?
False
Let a = 20 + -10. Let d be (-10)/(-4) + (-5)/a. Suppose 3*p = d*p + 18. Is 18 a factor of p?
True
Suppose -3*g + 184 = -g - 3*f, 4*f - 348 = -4*g. Is g a multiple of 8?
False
Let c = -111 - -552. Suppose 2*q + c = -q. Does 29 divide q/(-3) - 3/(-3)?
False
Let p be (315/(-28))/(9/24). Let q = p + 38. Does 4 divide q?
True
Suppose 97 = 16*o + 1. Let w(z) = -z**3 + 10*z**2 - 16*z + 17. Does 13 divide w(o)?
True
Suppose -3*c + 5*c = -56. Let z = c - -40. Is 15 a factor of (85/(-68))/((-1)/z)?
True
Suppose -p = p + 4. Let h be (3/p)/(10/20). Let d(y) = -9*y + 3. Does 23 divide d(h)?
False
Suppose 23 = 6*h - 7*h. Let t = 32 + h. Is 2 a factor of t?
False
Let q(j) = -4*j - 2. Let k be q(-1). Suppose 4*n - 3*i - 70 = 0, n - 3*i + 10 = k*n. Is 16 a factor of n?
True
Let n be ((-10)/(-3) - 3)*-213. Let h = -51 - n. Is h a multiple of 20?
True
Suppose 2270 = 5*h - 1440. Is h a multiple of 14?
True
Suppose z + 11*z - 3264 = 0. Is z a multiple of 17?
True
Suppose 0 = -5*k + k + 68. Let a(y) = -y**3 + 18*y**2 - 15*y - 25. Is a(k) a multiple of 5?
False
Suppose 12*j + 19 = 91. Let t(u) = 8*u**2 - 3*u - 19. Is 54 a factor 