 divide m?
True
Let t(u) = -4*u + 3 + 9*u - 4*u + 0*u. Let c be t(0). Suppose c*r = 170 + 109. Is 31 a factor of r?
True
Let y be (-4)/1 + (3 - -5). Suppose -3*a = -y*a + 61. Suppose -104 - a = -5*c. Is c a multiple of 15?
False
Suppose -6*u + 1 + 5 = 0. Is 4/(3 + u)*57 a multiple of 42?
False
Let n(l) = l**2 + 11*l - 1. Let c be n(-8). Let v = -19 - c. Does 4 divide v?
False
Let t(a) = 23*a + 7. Let g be -5*12/40*-2. Does 27 divide t(g)?
False
Let l = 32 + -31. Suppose 4*r = 5*k + 7 - l, -4*k + 8 = 0. Does 4 divide r?
True
Let n(w) = w**3 - 5*w**2 + 3*w + 2. Suppose g - 4*g = -18. Let s be n(g). Suppose k + k = s. Does 14 divide k?
True
Let j(m) = 4*m**2 - 18*m + 14. Let t be j(7). Suppose x = 4*i + 138 - 18, 0 = -x - 5*i + t. Does 13 divide x?
True
Let p be (-2 + 9/(-3))*-66. Suppose 138 = 3*x - p. Suppose -r + x = r. Does 21 divide r?
False
Suppose 4*t + 2*j + 3*j - 44 = 0, 5*t = j + 26. Suppose -3*z + t*z = -135. Does 8 divide 2 - (z + (1 - -1))?
False
Let p(b) = b**2 - 6*b + 8. Is p(-8) a multiple of 20?
True
Let d(h) = 15*h - 38. Let b be d(2). Let p = 7 + 7. Is 11 a factor of p/(-1)*8/b?
False
Let c(t) = 32*t**2 - 4*t + 1. Let f be c(4). Is 15 a factor of f/11 + 18/(-99)?
True
Let j(c) = 4*c**2 + 5*c + 8. Suppose -2 + 1 = v. Let w(o) = o**2 + o + 1. Let r(t) = v*j(t) + 6*w(t). Does 4 divide r(-2)?
True
Let z(o) = o**3 - 12*o**2 - o + 14. Let y be z(12). Suppose 0 = -5*q + 25, -2*x = -0*q + y*q - 90. Is x a multiple of 10?
True
Let k(m) = -m**2 - 2*m - 1. Let g be k(-1). Suppose g = -p - i + 124, -4*p + 4*i = 5*i - 511. Is 19 a factor of p?
False
Let z = 25 - 21. Is 11 a factor of z + -3 + 8*4?
True
Let m(b) be the first derivative of -b**4/4 + 10*b**3/3 + 31*b**2/2 - 18*b - 16. Is 11 a factor of m(12)?
True
Suppose -29*s - 324 = -32*s. Does 27 divide s?
True
Let c(u) = u**2 + u + 61. Let q(s) = 2*s**3 + 6*s**2 - 2*s - 6. Let g(j) = j**3 - j. Let r(i) = 3*g(i) - q(i). Let f be r(6). Is 20 a factor of c(f)?
False
Suppose 90*k - 88*k = 516. Is 9 a factor of k?
False
Suppose -2*d - 743 = -4*d - u, 5*d - 1850 = 5*u. Does 14 divide d?
False
Suppose 5*s = 3*c + 1129 + 4866, -2372 = -2*s - 4*c. Is s a multiple of 52?
True
Let c(y) = y**2 - 2*y - 3 - y - 2 + 14. Let q be c(8). Suppose -l + 254 = 5*k, -k + 2*l - q = -2*k. Is 7 a factor of k?
False
Let j(z) = -z**3 + 11*z**2 + z - 7. Let w be j(11). Suppose -2*d - 2*y + 268 = 0, w*y + 14 = -d + 154. Does 31 divide d?
False
Suppose 1524 = 3*x + 2*j, j = -x + 497 + 10. Is x a multiple of 34?
True
Let c = 42 - 70. Is 48/((-36)/c + 4/(-14)) a multiple of 12?
True
Suppose -14*n + 880 = -12*n - 5*x, -n + 440 = -5*x. Is n a multiple of 11?
True
Let l = 3 + -3. Let f(n) = -n**2 - n + 91. Let z be f(l). Suppose 2*w - 21 = z. Is 13 a factor of w?
False
Let a(h) = -7*h + 5. Let o(s) = -7*s + 6. Let z(r) = 5*a(r) - 4*o(r). Does 24 divide z(-11)?
False
Suppose 0 = -7*g + 2*g + 75. Let o(c) = c**3 + 25*c**2 + c + 5. Let b be o(-25). Is 12/b + 549/g a multiple of 13?
False
Let z = 19 - 15. Suppose -2*m + 30 = 3*m - z*l, -4*l = 5*m - 30. Is (-4)/m + 284/12 a multiple of 23?
True
Let p(o) be the second derivative of o**5/20 + 5*o**4/12 - o**3/6 - o**2 - 102*o. Let w be ((-5)/4)/(1/4). Is p(w) a multiple of 2?
False
Suppose -12 + 1 = 3*h - z, 5*h + 33 = -2*z. Let v(q) = -27*q - 6. Let n be v(h). Let x = n - 78. Does 17 divide x?
True
Let x(n) = -n**2 - 17*n - 12. Suppose -r + 34 = 42. Does 10 divide x(r)?
True
Let s be (5 - 2)*(0 - -1). Is -3 + (-2 - -8) + 171/s a multiple of 10?
True
Let n = 2 + 0. Let t be -2*(3 - 1/n). Is 12 a factor of 34 - (t - -2 - -3)?
False
Let b = -1 + -5. Let u = b - -17. Is 11 a factor of u?
True
Let q = -15 + 28. Suppose -a = -5*z - q, 3*z = 4*a + 3 - 4. Does 15 divide (-14 + z + 0)*-3?
False
Suppose -5 = -b - 4*g + 9, 3*b = -2*g + 12. Suppose 0 = -b*k - 4 + 6. Suppose -a = -4 - k, -4*z = 2*a - 118. Is 9 a factor of z?
True
Is 2 a factor of 14*(3 - -20) + 55/(-11)?
False
Suppose 98*v - 99*v = -72. Suppose 62*q - v = 61*q. Is q a multiple of 12?
True
Let a(y) = -5*y - 14. Let t(x) = 2*x + 5. Let h(n) = 6*a(n) + 17*t(n). Is 33 a factor of h(17)?
False
Let t be (-2874)/(-24) - 1/(-4). Suppose -2*z + 3*q - 78 = -298, z - t = -q. Suppose -z = -4*k + 8. Is 10 a factor of k?
False
Let c(s) = 4*s**2 + 5*s - 7. Let u be (3 + 5)/(-1) - -2. Is 25 a factor of c(u)?
False
Suppose 5*v - 3*o = 129, 11 = -2*v + 4*o + 57. Suppose -36*w + 33*w = -24. Suppose w*j - 5*j - v = 0. Does 8 divide j?
False
Suppose -9 - 6 = -5*n. Suppose 1 = -4*g + 2*o + 31, n*o - 21 = -5*g. Does 20 divide 123/g + 5/(-10)?
True
Let q = 74 - 47. Let z(j) = j + 6. Let l be z(7). Suppose -2*d + q = -l. Does 8 divide d?
False
Suppose -2 = b, -2*u - 2*u + 5*b = -2466. Is 22 a factor of u?
False
Let o = 158 - -539. Is o a multiple of 17?
True
Let s(t) = -t**3 + 11*t**2 + 2*t - 11. Let b be s(5). Suppose 4*d + 501 - b = 0. Let c = -32 - d. Does 15 divide c?
False
Suppose 4*v - 12 = 0, -3*x + 20 = -x + 2*v. Suppose 5*k = x + 178. Does 13 divide k?
False
Suppose 503 = m - a, 4*a = -3*m - 0*m + 1488. Suppose 6*i - 130 - m = 0. Is 21 a factor of i?
True
Let r = 295 - -129. Is 9 a factor of r?
False
Let d = 49 - 100. Let h = d - -76. Is 25 a factor of h?
True
Let j(d) = -d**3 - 2*d**2 + d - 6. Let t be j(-3). Suppose c + c - 8 = t, -c = m - 39. Does 3 divide m?
False
Suppose 7537 - 556 = 13*l. Does 19 divide l?
False
Does 16 divide 1/(3/(-2)) - (-27414)/54?
False
Let u = -72 - -102. Suppose 5*j - 353 = o + u, -3*o = j - 67. Is j a multiple of 4?
True
Let s = -842 - -1506. Does 9 divide s?
False
Let k(u) = -u**2 - 4*u + 3. Let z be k(9). Does 5 divide 5*(4 + z/(-15))?
False
Let y(l) = -l**2 + 7*l + 5. Let v be y(7). Suppose 5*b - 544 = -4*r, -3*b + v*b = r + 215. Suppose 6*q - b = 18. Is q a multiple of 7?
True
Let b = -24 - -22. Let j be 354*(b - -1)/(-3). Suppose 47 = 5*s - j. Does 11 divide s?
True
Let m(u) = -u - 1. Let v be m(-5). Let i = -589 + 757. Suppose 4*a - 2*t = 2*a + i, v*a - 330 = 2*t. Does 27 divide a?
True
Let c(m) = -m**2 + 13*m + 17. Let b be c(14). Suppose b*f - 245 = -2*f. Is 24 a factor of f?
False
Let u be (-9)/((-3)/(-21)*-1). Suppose 5*x + u = 333. Suppose 0*n + x = 3*n. Is n a multiple of 18?
True
Suppose -8*m + 7*m + 268 = b, 534 = 2*m + 4*b. Is 50 a factor of m?
False
Let j be -2 - 6/(12/(-14)). Suppose -5*h + 0*t - 3*t + 25 = 0, 25 = -j*t. Does 3 divide h?
False
Let i(z) = 978*z + 24. Is i(2) a multiple of 15?
True
Let f(r) = 2*r - 3. Let l be f(3). Let p(h) = 0*h**2 - h - 5 + h**2 + 3 - 1. Is p(l) a multiple of 2?
False
Let r(i) = 7*i**3 - 15*i + 12*i**2 + 6*i**3 + 2 - 12*i**3. Let d be r(-13). Suppose a = 5*j + 30, 5*a - 4*j - d = 17. Is 5 a factor of a?
True
Suppose -8*f = -1613 + 317. Is f a multiple of 22?
False
Is -1 + (434 - 0 - -7) a multiple of 55?
True
Suppose 0 = -2*l + 489 + 2163. Is l a multiple of 18?
False
Let h(s) = 3 + 0*s**2 - s**3 + 4*s**2 + s**2 + 2*s**3 - 6*s. Let j be h(-6). Suppose n + 74 = j*n. Is 19 a factor of n?
False
Let v be 0/(2 - 0) + 0. Does 14 divide -4 + v + -12 + 37?
False
Suppose 199 = m - 31. Is m a multiple of 11?
False
Let r be (8/2)/(2/(-6)). Is 3 + (-8)/r*87 a multiple of 16?
False
Is 8/2*(-3)/(-6)*148 a multiple of 44?
False
Let o(f) = 23*f - 1. Let u be 5/10*(-1 - 1). Let d be o(u). Does 15 divide -4 - (-4 + -4) - d?
False
Suppose 7*r - 3321 = -1116. Is r a multiple of 5?
True
Suppose 0 = f + 5, 3*g - g - 3*f - 1 = 0. Let j = 13 + g. Is j a multiple of 3?
True
Suppose 0*n = -n - 13. Let x be n*(13*4)/(-2). Suppose x = 4*r + 98. Does 20 divide r?
True
Suppose -5*i - 4*g = -2*g - 56, -i + 1 = -3*g. Let y be (-2)/(16/652)*2 - -1. Is y/(-5) - 4/i a multiple of 8?
True
Suppose 5*i = -10, -5*x - i - 715 = -5088. Does 4 divide x?
False
Suppose -3*o - 5673 = -5*t, -3*o + o - 2 = 0. Does 81 divide t?
True
Suppose 0 = l + 3*j + 47, 0 = 3*l + 5*j + 134 - 5. Let x = l - -163. Does 29 divide x?
False
Let v = -404 - -154. Let y = -167 - v. Suppose 0 = n + 20 - y. Is n a multiple of 21?
True
Suppose -36 = 3*g - 0. Let q = 78 + g. Is 6 a factor of q?
True
Suppose 6 = -2*a + 22. Suppose 3*g = -a*g + 396. Is 7 a factor of g?
False
Let c(r) = 6 + 2*r**2 + 14*r**2 - 2*r + 7*r**2. Does 18 divide c(2)?
False
Let g be (15/9)/(1/(-18)). Let s = g + 70. Let z = s + 1. Does 13 divide z?
Fals