s 9 a factor of m(-2)?
False
Let k = -57 + 44. Let a = k - -59. Is a a multiple of 46?
True
Let w = -2 + 9. Let a = -7 + w. Suppose 3*t + 18 - 93 = a. Does 5 divide t?
True
Suppose -5*c + 4*v = -5456, -3*c + 2*v + 3281 = 7*v. Does 14 divide c?
True
Let v(l) = -2*l - 13. Let k be v(-9). Let t(x) = 4*x - 4. Let f(o) = 4*o - 5. Let y(w) = -2*f(w) + 3*t(w). Is 6 a factor of y(k)?
True
Let h(o) = 68*o + 13. Let v be h(5). Suppose 2*c + 71 = -4*u + v, 4*u - 281 = -3*c. Suppose w - 19 - u = 0. Does 30 divide w?
True
Suppose 6*b - 925 = 2771. Does 28 divide b?
True
Let b be (-342)/(-126) - (-4)/14. Suppose 4*z - b*m - 89 - 50 = 0, -z = 3*m - 16. Is z a multiple of 7?
False
Let j(p) = -p**3 + 7*p**2 + 3*p + 2. Let h be j(7). Let d = 19 - h. Is 11 a factor of (16 - 0/d) + 1?
False
Let x(a) = a**2 - 14*a + 12. Let i be x(14). Let k(h) = 6*h - 22. Is 25 a factor of k(i)?
True
Is (-1*1)/((-34)/14790) a multiple of 15?
True
Does 14 divide 1659*((-5)/(-3) + -1)?
True
Suppose -c + u + 7 = -0*u, -4*c + 29 = -3*u. Let v = c + 6. Let m = v + -8. Does 3 divide m?
True
Let m(q) = 27*q - 62. Is m(9) a multiple of 66?
False
Let c(d) = 17*d**2 + 4*d + 8. Let j be c(-6). Suppose -2*b = 2*b - j. Suppose 3*g = -5*u + b, -3*u + 2*g - 7 = -85. Does 18 divide u?
False
Let q = -45 + 45. Let p = q - -19. Is 8 a factor of p?
False
Does 36 divide -3*(-1800)/8 + 5/(-1)?
False
Let m = 12 + -10. Suppose -4 = -4*b - 3*n - 0*n, m*n + 2 = -5*b. Let i = 1 - b. Is i a multiple of 3?
True
Suppose 1586 = -2*s + 6*s - 5*u, 0 = -5*s + 3*u + 1976. Is s a multiple of 8?
False
Let o(v) = -v**2 + 33*v + 120. Is 5 a factor of o(27)?
False
Suppose -4*b + 0*y + 8 = -4*y, -2*b + 3*y = -1. Let i(v) = v**2 - v + 4. Is 24 a factor of i(b)?
True
Suppose 10 = -s + 3*s. Suppose 26 = d - s*i, 3*d - 8 = i - 0*i. Is 22 - d - (-2 - -1) a multiple of 11?
True
Let w = 230 + -146. Is 14 a factor of w?
True
Let k(w) = -4*w - 2. Let z be k(-1). Suppose -z*t = 3*t - 15. Suppose t*q - 3 = 0, 0 = 5*u - 3*q - 66 - 41. Is u a multiple of 7?
False
Suppose 21*y - 294 = -0*y. Is 7 a factor of y?
True
Suppose -59 = 4*m - 451. Is m a multiple of 49?
True
Let k be 1/2*-2*5. Let s = 41 - 30. Let a = s + k. Is 5 a factor of a?
False
Let b be 605 - ((-2 + 1)*0)/(-2). Suppose -6*w = 5*w - b. Is 12 a factor of w?
False
Let c = -6 - 3. Let w be (-204)/c + 1/3. Let y = 4 + w. Is 15 a factor of y?
False
Let a(s) = s**2 + 6*s. Let j be a(-6). Suppose -5*b - 4*x - 197 = j, -b - 46 = x + 2*x. Let m = 23 - b. Is 20 a factor of m?
True
Let i be -3 + 0 + 796/4. Let m = -101 + i. Is m a multiple of 16?
False
Let n(q) = q**2 + 5*q + 1. Let t be n(-7). Is -7*(5*6/t)/(-2) a multiple of 7?
True
Let r = 1959 + -1143. Is r a multiple of 12?
True
Let b be ((-1)/(-2))/(11/(-374)). Let z = 1 - b. Suppose 4*c - z = 2*c. Is c a multiple of 3?
True
Suppose 30*d + 486 - 1356 = 0. Is 2 a factor of d?
False
Let t(y) = -3*y + y - 15 + 27 - 11 - 4*y**2 - 7*y**3. Is 9 a factor of t(-2)?
True
Is (-3405)/(-21) + ((-25)/5)/35 a multiple of 60?
False
Suppose -5*f + 3*t + 30 = -0*t, -3*f - 2*t = -18. Suppose -f*w = -3*w - 312. Is 26 a factor of w?
True
Let g = 288 - 241. Does 41 divide g?
False
Suppose 14*c - 8394 = 426. Is c a multiple of 6?
True
Let x(o) = -o**2 + 10*o + 13. Let h be x(11). Suppose 134 = 3*y + f, -y + 23 = -2*f - 31. Suppose -d + 27 = h*z, -2*z = -2*d + y - 10. Is 7 a factor of d?
True
Does 126 divide (-3546)/(1/(-2)*4)?
False
Let c(g) = -g**2 + 7*g + 2. Let u be c(6). Let x(w) = 3*w**2 + 9*w - 25. Does 32 divide x(u)?
False
Let i(o) = o**3 - 8*o**2 + 3. Let a be i(8). Suppose 4*c = -2*z + 118, -a*c + 4*z = 5*z - 86. Is c a multiple of 8?
False
Let q = -200 + 310. Suppose n + q = 2*n. Is 15 a factor of n?
False
Suppose -5*o + q - 65 = -327, q = -o + 50. Let i be (-3 + 0)/((-6)/o). Let d = 62 - i. Is 9 a factor of d?
True
Suppose 10*l + 28 = 148. Is l a multiple of 10?
False
Let k = -4 + 7. Suppose a - k*a = 5*r - 390, -a + 2*r = -177. Suppose 0*z - a = -4*p - z, -241 = -5*p + 2*z. Is 14 a factor of p?
False
Suppose 39*l - 34*l = 900. Suppose 12*m = 876 - l. Is m a multiple of 29?
True
Is (1204/16 - 10)/(2/8) a multiple of 49?
False
Let r be 2 - 9/6 - (-90)/12. Suppose -10*s + 5040 = r*s. Is s a multiple of 15?
False
Suppose 4*f - 858 = s - 3*s, 0 = -f + 2*s + 207. Is f a multiple of 20?
False
Let d(j) = j**2 - 10*j + 3. Does 89 divide d(42)?
False
Let g = 22 - -367. Let t = 647 - g. Is 18 a factor of t?
False
Let d be (744/9)/((-5)/15). Let o = -149 - d. Is o a multiple of 7?
False
Suppose 0 = -2*g - s - 212 + 715, 3*g - 759 = 3*s. Does 21 divide g?
True
Let i be (-2)/(-1)*30/20. Suppose 69 = 6*y - i*y. Is y a multiple of 7?
False
Let c be -8 + 10 - (-4 - 0). Does 9 divide 184/3 + -3 + 4/c?
False
Is (-10)/1*10/(-5)*23 a multiple of 13?
False
Suppose 4 = -0*n - n. Let q(k) be the third derivative of -k**4/3 + 13*k**3/6 - 2*k**2. Does 25 divide q(n)?
False
Suppose -4*s + 42 = -3*t, 4*t = 3*t + s - 14. Let f = 72 + t. Is f a multiple of 29?
True
Suppose -17*p + 1756 - 158 = 0. Does 10 divide p?
False
Let h(v) = v**3 - 11*v**2 + v + 19. Let n be h(9). Let x = n - -227. Is 31 a factor of x?
True
Let f(i) = 2*i**2 + 3*i + 4. Let u be f(-3). Suppose -407 = -3*o + p, 6*o - p = 2*o + 542. Suppose -u*k = -8*k - o. Does 12 divide k?
False
Suppose -5*f + 2*a - 18 = -92, -40 = -3*f - a. Let b = -10 + f. Suppose 0*v = -b*k + v + 43, 3*k - 2*v - 31 = 0. Is k a multiple of 6?
False
Let s(a) = a**3 + 15*a**2 + 2*a - 29. Let l be s(-14). Let c = -98 + l. Is 22 a factor of c?
False
Suppose 4*i - 8283 = -5*p, 24*p + 6216 = 3*i + 29*p. Is i a multiple of 13?
True
Let u(b) = -2*b - 27. Let l be u(-16). Suppose -11*x + 360 = -l*x. Does 6 divide x?
True
Let g = -3 + 5. Suppose -a = 4*a + 5*r - 455, -5*a - 3*r = -465. Suppose -2*n + a = g*n. Is 8 a factor of n?
True
Suppose 32*b = 27*b - 1620. Is -2 + b/(-10) - 6/15 a multiple of 5?
True
Suppose -11*n - 27 = -10*n. Let x = n + 95. Is 12 a factor of x?
False
Let y(x) = 105*x + 4. Let f be y(-1). Let o = f - -323. Is o a multiple of 37?
True
Let m(l) = 6*l + 12. Let b(k) = -2*k - 4. Let r(w) = -21*b(w) - 6*m(w). Is r(16) a multiple of 9?
True
Suppose t + 0 = 2. Suppose 0 = -2*l - r + 6*r + 28, -l - 5*r - 16 = 0. Suppose -5*k + 230 = -5*x, t*x - 4*x = -l. Does 16 divide k?
True
Suppose 4852 = 13*t - 3039. Is 10 a factor of t?
False
Let a = -15 - -21. Suppose a*y + 39 = 3*y. Let o = y + 21. Is 5 a factor of o?
False
Suppose -10 = -3*v - t, 2*v - 4*t + 2*t + 4 = 0. Suppose -3*n = -v*n - 29. Let c = n + -7. Is 5 a factor of c?
False
Is -5 - (-563 + 42/7) a multiple of 5?
False
Let k(n) = 8*n**2 - 2 + 8*n**2 - 9*n**2 + n**3 - 10*n - 10. Let j be k(-8). Suppose t + 81 = j*t. Is t a multiple of 8?
False
Let a(f) = 114*f**2 + 1. Suppose 0 = -5*x - u + 3, 4*u + 10 = 2*x - 0*x. Let y be a(x). Let v = y + -56. Is 20 a factor of v?
False
Suppose 172 = 3*z - 281. Is z a multiple of 16?
False
Let v(u) = -17*u - 23. Let w be v(-4). Suppose 0 = -2*z + 3*t + 87, 5*t - 38 = -3*z + w. Is 18 a factor of z?
True
Is 12 a factor of ((-1158)/2 - 5)/((-8)/36)?
True
Suppose -274 = -3*h - x, 0*h - h + 86 = -5*x. Suppose 4 - 14 = 2*y, -3*c + h = -5*y. Is c/(-55)*215/(-1) a multiple of 12?
False
Let w be 4173/26 - 2/4. Let a = w + 16. Is a a multiple of 44?
True
Is 28/12*(58 - 1) a multiple of 7?
True
Let n = 31 - 38. Let x(h) = -h + 11. Let u be x(8). Is 7 a factor of (-2 - (n + u))*16?
False
Suppose 0 = -4*d - 2*h + 193 + 81, 3*h + 289 = 4*d. Let b be 158/(-4) - 2/4. Let u = b + d. Does 15 divide u?
True
Suppose -5*u + 25 = 0, 3*u - 23 - 6 = -2*n. Does 9 divide (72/n)/((-3)/(-21))?
True
Let u be (-10 + -3 + 2)/(7/35). Let a = -48 - u. Is a a multiple of 7?
True
Let x(y) = y**3 - y + 121. Is 12 a factor of x(0)?
False
Suppose 0 = -4*k - 2 + 14. Suppose n + 4 = -k*n. Is n/(3/(-6)) - -49 a multiple of 15?
False
Suppose -17*b - 7 = -16*b. Let y(a) = -a**2 - 5*a + 16. Let j be y(b). Suppose -r - j + 123 = 0. Is r a multiple of 18?
False
Let u be ((-28)/6)/((-8)/(-12)). Let t be 3 + u + (0 - 4). Is 651/28 + (-6)/t a multiple of 20?
False
Let k = 102 - 100. Suppose -3*o = -4*g + 408, -k*g + 2*o = -0*g - 202. Is 21 a factor of g?
True
Let v(f) = f + 213. Is 2 a factor of v(-3)?
True
Suppose 3*y + 111 = g, -y = 5*g - 3*y - 594. Suppose 3*q - g - 5