uppose 0*m = -h*m + 20. Is m a multiple of 4?
False
Let c(x) = 2*x + 12. Let q(u) = u - 1. Let a(t) = c(t) + 5*q(t). Let y be a(5). Suppose 0 = 2*g - y. Is g a multiple of 18?
False
Let u(i) = i. Let m be (2 - -2)/(6/9). Let b be u(m). Does 2 divide (4/b)/((-10)/(-75))?
False
Let q be -3*74*(-1)/2. Let v = q - 58. Is v/6 + 2/12 a multiple of 3?
True
Let s(k) = 5*k**2 + 3*k + 4. Does 38 divide s(-5)?
True
Let b = 5 + -1. Let o(u) = -u**3 + 4*u**2 + 3*u + 1. Does 8 divide o(b)?
False
Does 24 divide (24/14)/((-5)/(-140))?
True
Let x = 36 - 29. Does 3 divide x?
False
Let h = -1 - -3. Suppose 3*v + 80 = -h*v. Let x = 55 + v. Does 13 divide x?
True
Let f = 40 - 24. Is f a multiple of 15?
False
Suppose 2*a - 18 - 10 = 0. Is a a multiple of 3?
False
Let p be (8/14)/(6/21). Suppose -p*l - l = 5*a - 179, 2*l - 112 = 4*a. Is l a multiple of 25?
False
Is (-36)/((-12)/8*1) a multiple of 6?
True
Suppose -93 = -4*l - 41. Is 2 a factor of l?
False
Let y(x) = x**2 - 8*x + 5. Let n be 3/(-12) - 33/(-4). Let i be y(n). Suppose -j + i = -2. Is 3 a factor of j?
False
Let u = 4 + 2. Does 3 divide u?
True
Suppose -4*i + 41 = -139. Is 5 a factor of i?
True
Suppose -4*v + 4*h + 20 = 0, 2*h + 3 = -3. Let u be (2 + -5)/((-3)/v). Suppose 7*m - u*m = 25. Is m a multiple of 2?
False
Let x(m) = m**2 + 5*m - 6. Let f be x(-6). Suppose f = -0*u - 5*u - 3*k + 53, -15 = -2*u + 5*k. Is u a multiple of 7?
False
Suppose 12 - 37 = -5*p. Suppose -2*m - 20 = -p*u, 4*m + m = -3*u + 43. Is u a multiple of 6?
True
Let t = 128 + -76. Is t a multiple of 10?
False
Suppose -3*n - 4 = 2*k, k + 0*k + 2 = -4*n. Let w be 0 + (n - -2) - -7. Suppose -f = 0, -28 - w = -x - f. Does 15 divide x?
False
Suppose 2*q - 5*d + 4*d = 53, 3*q + d = 67. Suppose 2*l + 2*l = 4*s - 28, 0 = 3*s - 4*l - q. Suppose -u - s*h = -18, -u + 10 = 2*u + h. Is 2 a factor of u?
True
Let m be ((-8)/(-10))/(4/40). Let s be 548/m + (-3)/2. Suppose s = 5*c - 2*y - 10, -5*c - y + 89 = 0. Is 10 a factor of c?
False
Is (-1 - 26/(-22)) + 3944/88 a multiple of 7?
False
Let p be (-20)/((-1)/(-2)*-2). Is (p + 0)/(1/1) a multiple of 10?
True
Suppose -4*r = 4, -q = -3*r - 2 - 1. Let o = 4 - q. Suppose 3*j = 7 + 8, o*l - 37 = -j. Is 4 a factor of l?
True
Let d(o) = 12*o + 2. Is 21 a factor of d(5)?
False
Let c(m) = -8*m - 12. Let q(k) = 4*k + 6. Let v(a) = 6*c(a) + 11*q(a). Let w be 47/(-7) - (-2)/(-7). Does 9 divide v(w)?
False
Let w = 104 - -15. Does 17 divide w?
True
Suppose -266 = -4*a + 94. Is a a multiple of 12?
False
Suppose -3*z = -z. Let n(d) = d**2 + d + 9. Is 3 a factor of n(z)?
True
Suppose 164 = -4*g + 640. Let i = -78 + g. Is 21 a factor of i?
False
Let d(b) = -3*b**2 + 4*b + 4. Let h be d(-4). Let j = h + 85. Is 10 a factor of j?
False
Let y be 3/(4/((-32)/6)). Let h be (150/8)/(y/(-16)). Let n = h - 37. Does 13 divide n?
False
Let d be 63/6 + (-6)/12. Does 13 divide 1630/25 - 2/d?
True
Suppose 4*p - 71 = 25. Suppose -5*a + p - 9 = 0. Suppose b = a*b - 72. Is b a multiple of 12?
True
Let d = 38 - 20. Does 6 divide d?
True
Let r be (8 - -61)*2/3. Let q = r - -7. Does 26 divide q?
False
Suppose n = -8 - 1. Does 16 divide 17/(-2 - 21/n)?
False
Let l(y) = y**3 - 3*y**2 - y. Let b be l(3). Let r be (-2)/(-3) + (-104)/(-6). Is r - (0/b - 0) a multiple of 9?
True
Let v be 1*(-2)/((-6)/39). Let c(w) = v*w - 8*w + 11*w + 1. Does 8 divide c(1)?
False
Suppose 2*f - 30 = 22. Is 13 a factor of f?
True
Is -1 - (-56)/(8/2) a multiple of 6?
False
Let p = 7 - 3. Let z(f) = 4*f - 3. Is z(p) a multiple of 13?
True
Suppose -5*m + 451 + 34 = 0. Does 10 divide m?
False
Let a(x) = 2*x**2 - 3*x - 3. Let j(k) = -k**3 + 9*k**2 + 4. Let d be j(9). Is 17 a factor of a(d)?
True
Let i(g) be the first derivative of g**3 + 2*g**2 + 4*g + 3. Let w be i(-3). Suppose 2*p + p - 4*m = w, -6 = -3*m. Is p a multiple of 9?
True
Is 24 a factor of -1 + 2 - (-3 - 46)?
False
Let k be (-1)/3 + 32/6. Suppose 3*u + 6 = k*u. Suppose 2*r = -0*w + u*w + 44, 66 = 3*r + 2*w. Does 13 divide r?
False
Suppose -6*h = -16 - 146. Does 4 divide h?
False
Suppose 5*c - z - 60 = 4*z, 0 = -2*c + z + 22. Is 20 a factor of (4/1)/(2/c)?
True
Let w = -7 + -24. Let m = w - -43. Is m a multiple of 7?
False
Let g = -58 + 113. Does 6 divide g?
False
Let b = -1 - 1. Let p be 4/(b*2/(-32)). Let l = 56 - p. Is l a multiple of 12?
True
Suppose 4*d - 61 = -37. Is 2 a factor of d?
True
Suppose -246 = -3*z - 90. Does 13 divide z?
True
Let t = 57 - 12. Is 13 a factor of t?
False
Let d(x) be the third derivative of 5*x**5/12 - x**3/6 + 5*x**2. Is d(-2) a multiple of 33?
True
Let u(t) = -t**3 + t**2 + 4*t. Let l be u(-3). Let j be l*(0 - (-6)/4). Is 1*j + 2/2 a multiple of 13?
False
Let v = -1 - -10. Let o be (-3976)/(-72) + (-2)/9. Let i = o - v. Is 23 a factor of i?
True
Let x(w) = -2*w**3 - w**2 + 4*w - 2. Let g(j) = 4*j**3 + j**2 - 7*j + 3. Let c(s) = -3*g(s) - 5*x(s). Does 13 divide c(-2)?
False
Suppose m + 3 = d, -5*d + 15 = -0*m + 4*m. Suppose m = -2*j - 2, -10 = -2*t + t - j. Is t a multiple of 5?
False
Let j(k) = -k**3 - 3*k**2 + 4*k - 3. Let d be 16/(-56) + 66/(-14). Does 13 divide j(d)?
False
Let d(v) = -4*v**2 + 3*v. Let a(n) = 5*n**2 - 3*n + 1. Let r(g) = -3*a(g) - 4*d(g). Let h be r(4). Does 7 divide -2 - h/((-3)/48)?
True
Let b = -143 + 251. Is b a multiple of 12?
True
Suppose -2 = t - 7. Suppose 207 = -t*g + 8*g. Is g a multiple of 20?
False
Suppose t - i + 6*i = 6, -5*t + i = -4. Let v be 1*(t - (1 + -1)). Is 4 a factor of (v + 1)*-1 - -10?
True
Let z(d) = d**3 + 5*d**2 - 6*d + 5. Suppose 12 = -3*m - 6. Let x be z(m). Suppose -4*f - x*k + 2*k + 79 = 0, -f + 18 = -k. Is f a multiple of 19?
True
Let y(s) = -s + 1. Let c be y(6). Suppose x = 4*x - n + 79, -x - 21 = n. Does 17 divide (-237)/c + 10/x?
False
Let v = -60 + 77. Is 11 a factor of v?
False
Suppose -2*t - t + l = -133, -3*l = -4*t + 184. Does 18 divide t?
False
Let w be (-1*1)/((-2)/14). Suppose -w = 5*y + 43. Let b = y - -26. Is b a multiple of 8?
True
Is 2 a factor of ((-3)/(-4))/((-6)/(-16))?
True
Let f be 587/(-9) - (-4)/18. Let k be f/25 - 2/5. Let y(a) = 3*a**2 + 4*a. Does 10 divide y(k)?
False
Suppose -163 = -3*v + 236. Is 18 a factor of v?
False
Is 14 a factor of (-1161)/(-33) + 10/(-55)?
False
Let p = 86 - -74. Suppose -2*q = 2*q - p. Does 8 divide q?
True
Suppose 6*x + 630 = 13*x. Is 9 a factor of x?
True
Suppose 3*s - 6 = 0, -2*s - 3*s - 38 = 4*o. Let f be (-25)/3 - (-8)/o. Does 2 divide -3*((-21)/f)/(-1)?
False
Let k = -88 + 136. Does 24 divide k?
True
Let u = -1 + 0. Let s be 3/(-9)*12*u. Suppose s*p - 37 = 3. Is p a multiple of 5?
True
Let f(p) = 6*p + 3. Let m be f(-4). Is 19 a factor of 2/(-7) + (-804)/m?
True
Suppose 2*v - 4 + 0 = 0. Is 2 a factor of v?
True
Let y = -2 + 1. Is 28 a factor of 2 + y/(3/(-162))?
True
Suppose 2*b + 13 - 5 = 0. Let r be (2/(-1))/2 + b. Is (1/(-3))/(r/75) a multiple of 2?
False
Let s be (2/(-6))/((-1)/3). Let x be (2 - s)/((-1)/(-10)). Let o = 16 - x. Is 4 a factor of o?
False
Let i = -15 - -110. Is i a multiple of 34?
False
Let f = 167 + -89. Does 26 divide f?
True
Let a = 46 + -11. Does 28 divide a?
False
Let v = 5 + 5. Suppose -2*w + 0*w = 2*c + 216, -5*w = v. Let n = -76 - c. Is n a multiple of 15?
True
Does 14 divide (4 - 8)*(-2 + -5)?
True
Suppose -10 = a - 3*a + 3*c, 0 = a - 5*c - 12. Suppose 2*i + 0*r = -5*r, -a*r = -4*i. Suppose i = 4*y - 7*y + 30. Is 7 a factor of y?
False
Suppose -2*q - 5*n + 55 = 0, -50 = -2*q + q + 2*n. Is 4 a factor of q?
True
Suppose 2*r - 3*v - 53 = 0, -2*r + 4*v + 24 = -r. Is 14 a factor of r?
True
Suppose -2*g - 4*y + 224 = 0, 4*g - 5*y - 143 = 240. Does 34 divide g?
True
Suppose 5*d = -5*c + 20, -c + 2*d - 2 = -3*d. Suppose -340 = -2*p - c*p. Suppose -2 = -5*y + p. Is 14 a factor of y?
True
Suppose 2*r - 2*n - 26 = 0, -7 - 45 = -4*r - 3*n. Does 3 divide r?
False
Suppose 13 = 3*i - 32. Is i a multiple of 6?
False
Suppose 4*m - 101 = -9. Is m a multiple of 6?
False
Suppose 95 = 3*h + 2*h. Is 5 a factor of h?
False
Let c(b) = -b**2 + 8*b - 9. Let o be c(6). Suppose -o*t = -8*t - 15, -2*k = -4*t - 514. Suppose -a = 4*a + p - k, -5*a + 5*p + 245 = 0. Does 20 divide a?
False
Let s = -3 - -3. Suppose -2*b = s, -4*z - 25 = b - 105. Does 9 divide z?
False
Suppose 136 = 4*o + 4*o. Does 17 divide o?
True
Let y = 157 + -93. Does 16 divide y?
True
Let q = 3