192, -z*i - 5*l + 371 = -0*l. Let n = 142 - i. Is n a multiple of 24?
True
Let s(n) = -n**2 - 11*n - 5. Let k be s(-7). Let w = -20 + k. Suppose 0*m = -5*m + 2*x + 226, 0 = -4*m - w*x + 190. Is 15 a factor of m?
False
Let l(q) be the third derivative of 1/60*q**5 + 0 - q**2 + 1/2*q**3 - 1/8*q**4 + 0*q. Does 5 divide l(-3)?
False
Suppose -205 = -4*r + 5*g, -2*g = -4*r - 6*g + 160. Suppose 3*u - r = 2*u. Let q = 80 - u. Is 10 a factor of q?
False
Suppose 0 = -8*l + 711 + 953. Does 52 divide l?
True
Let q(h) = -h**2 - 6*h - 1. Let s be q(-7). Is 37 a factor of (167 + s)*1/(-1 - -2)?
False
Suppose v = -3*i + 186, 6*v - 735 = 2*v - 3*i. Is v a multiple of 3?
True
Suppose -24*x = -q - 29*x + 81, 3*q = 3*x + 207. Is q a multiple of 4?
False
Suppose 4*m + 0*m - 20 = -4*u, 3*m + 2*u - 14 = 0. Suppose m*c + 15 = 7*c. Let g(z) = 4*z**2 - 2*z - 3. Is 11 a factor of g(c)?
False
Suppose 0 = 214*f - 246*f + 11168. Is f a multiple of 6?
False
Suppose -y + a = -7, 0*y - 3*a + 3 = y. Let o be ((-5)/(-2))/(3/y). Suppose 43 + 47 = o*r + 5*q, -5*q = -4*r + 54. Is r a multiple of 16?
True
Let a(x) = -x**3 - 4*x**2 - 3*x + 2. Let k be a(-3). Suppose 5*f = 4*s - 80, k*s - 4*f = 27 + 19. Suppose 5*r - 75 = -s. Is 8 a factor of r?
False
Suppose -2*n + 14 = v, 0 = -2*v + n + 1 + 2. Suppose 0 = v*p - 177 + 41. Is p a multiple of 26?
False
Let d be (-2 - -31) + -4 - (-4)/(-2). Suppose -34 = -3*t + d. Is 19 a factor of t?
True
Let i = 8 - 3. Suppose 4*h - i = -5*v - h, 2*h + 2 = -4*v. Does 2 divide (2/8)/(v/(-24))?
False
Suppose g = -0*g - f + 17, -37 = -2*g - f. Suppose 4*x = -x + g. Let j(s) = 15*s - 9. Is 17 a factor of j(x)?
True
Suppose 8*x - 3*x = -40. Let p = x - -5. Is (2/(-5))/(p/630) a multiple of 17?
False
Suppose 0*g + 2*g + 4*f = -120, 5*g - 5*f + 360 = 0. Let k = -60 + 215. Let l = k + g. Is l a multiple of 24?
False
Suppose 6 = 2*a - a - l, 0 = -2*l - 8. Suppose a*i - t - 28 = 0, i + i - 3*t - 36 = 0. Does 4 divide i?
True
Suppose 3*z + 0*z = 72. Does 6 divide (-1)/(4/(-5))*z?
True
Let r = -1541 - -2377. Is 38 a factor of r?
True
Let n = -7 + 7. Suppose -4*f + n*l + 206 = -3*l, -2*f = l - 98. Is 18 a factor of f?
False
Let p(k) = -k**2 + 15*k - 13. Let v be p(13). Let g = -24 + v. Let n(q) = -2*q - 15. Does 4 divide n(g)?
False
Let y be (-7)/(-14) + 41/(-2). Let x = y + 20. Suppose -4*l + 12 = 5*f - x*l, -2*f - 4*l = 0. Is f a multiple of 2?
True
Let f(i) = 2*i**3 - 18*i**2 + 4*i + 103. Let w be f(8). Let l = 448 + -235. Suppose 10*z - w*z = l. Does 18 divide z?
False
Suppose 0 = -x + 4*x - 60. Suppose 0*z - x = -5*z. Suppose 1 = -s + 3*w + 2*w, 71 = z*s + 5*w. Does 4 divide s?
False
Suppose 3*s - b = 5*s - 299, 2*b - 157 = -s. Does 2 divide s?
False
Let l be -4 - (-211 - (-3 + -1)). Suppose 17 = -3*b + l. Suppose -b = -4*o + 3*r, 5*o - 35 - 27 = -4*r. Is o a multiple of 14?
True
Let j(c) = -c**3 - 7*c**2 - 10*c - 10. Is 35 a factor of j(-7)?
False
Let l(m) be the third derivative of -m**6/120 - 7*m**5/60 + m**4/6 + 14*m**3/3 - 2*m**2 + 6. Does 33 divide l(-8)?
False
Let l(b) = -6*b + 1. Let j be l(-2). Suppose 300 = -9*o + j*o. Does 12 divide o?
False
Suppose -3*p = -5*d - 940, -3*p + 2*p = 5*d - 340. Is 40 a factor of p?
True
Suppose 0 = -5*o + 3 + 22. Let q(f) = 2*f**3 - 7*f**2 + 5*f + 4. Is q(o) a multiple of 13?
True
Let f(r) be the first derivative of 11*r**2 - 17*r + 29. Does 29 divide f(10)?
True
Suppose -41*q + 10972 = -29700. Is 8 a factor of q?
True
Let a(w) = 43*w + 75. Does 13 divide a(5)?
False
Is 12 a factor of (-2)/8 + 3*13827/36?
True
Is 9 a factor of 8/18 - 1746563/(-819)?
True
Suppose 0 = -23*m + 19*m + 4. Let c be -4 - m*(-4 - 5). Suppose 2*y - y - 84 = -2*a, -c*y = a - 60. Does 10 divide a?
True
Let f(r) = -r**2 - 13*r - 17. Let g be f(-12). Let j(k) = k**3 + 5*k**2 - 10*k - 4. Let y be j(g). Let m = -19 + y. Is m a multiple of 22?
False
Suppose 4*h - l = 75 + 40, -2*l - 80 = -3*h. Does 6 divide h?
True
Let n(s) = s**2 - 6*s + 9. Let b be n(4). Suppose -2*t + l + b = -70, 0 = t - l - 35. Is 9 a factor of t?
True
Suppose -3*z - 1873 = -5*v, -375 = -3*v + 2*v + z. Is 47 a factor of v/5 - (-12)/60?
False
Suppose -3*q - 4*i + 1483 = 0, q - 2*i - 1495 = -2*q. Is q a multiple of 26?
False
Suppose h = -3*l + 2*h + 62, 2*l - 48 = 2*h. Let c be ((l + -3)/4)/2. Suppose v - 3*g = 2*g + 29, -c*g - 26 = -2*v. Is v a multiple of 9?
True
Let n = -31 - -58. Let p = 54 - n. Does 8 divide p?
False
Suppose i = p + 165, 7*p + 655 = 4*i + 8*p. Is 82 a factor of i?
True
Suppose 0 = 22*w - w - 6720. Is 10 a factor of w?
True
Let g(j) = -j - 4*j + 1 - 2*j + 2*j**2. Suppose 0 = 4*a - 2 - 18. Is 4 a factor of g(a)?
True
Suppose 20 = 8*j - 4*j. Suppose -3*a - 14 = -j*a. Suppose -3 = -g, -4*c + a*c = 4*g + 30. Is c a multiple of 3?
False
Suppose 6*q - 4*q = -3*u - 8, 3*u + 14 = q. Let i(m) = -5*m - q + m**2 + 6*m**2 + 0 - m**3. Does 19 divide i(5)?
False
Let u be 7 - (18 + -3)/5. Suppose u*m + 0*n - 87 = 3*n, -m + 4*n + 12 = 0. Does 4 divide m?
True
Suppose 3*m - 3*b = -7*b + 369, -4*m + 464 = -4*b. Let y = -89 + m. Is 4 a factor of y?
False
Suppose 3*b = 5*x, 4*b + x = 5 + 18. Suppose -3*w = -5*h + w + 11, 2*w = -b*h + 17. Is 2 a factor of h?
False
Suppose 4*h - 7*u + 2*u + 12 = 0, -2*h - 8 = -3*u. Suppose 5*a + 2*g = -343, -4*a - 2*g - 142 = -h*a. Let b = 97 + a. Is 6 a factor of b?
True
Let n be 4/(4*(-3)/(-18)). Suppose 2*w - n - 4 = 0. Suppose -3*o + w*c = 3*c - 40, o + 3*c + 5 = 0. Does 5 divide o?
True
Suppose 7*a - 9*a + 20 = 0. Suppose -a*d + 46 = -8*d. Does 23 divide d?
True
Suppose 0*f = 2*f. Let c(q) = -q**3 + q**2 + q + 2. Let h be c(f). Suppose 2*j - 104 = -h*j. Is j a multiple of 13?
True
Let m be 6/9*245 - (-58)/87. Let l be (-218)/(-2) - (0 - -2). Let u = m - l. Does 19 divide u?
True
Let n be ((-105)/28 - -5)/((-2)/(-8)). Suppose n*z = a - 100, -2*a + 4*z = -0*z - 200. Does 17 divide a?
False
Is 8 a factor of (-3681)/(-14) + (-33)/(-462)?
False
Let o(j) = j**3 - 11*j**2 + 3. Let d be o(11). Suppose -h = 4*g - 171, -6*h - 159 = -4*g - d*h. Is 6 a factor of g?
True
Let t = -35 + 37. Suppose -3*u - 276 = -t*y - 2*y, -y + 5*u + 86 = 0. Does 12 divide y?
False
Let u(s) = -5*s - 12. Let i be 56/(-6) - 1/(-3). Let k be (-1 + i)*(8 + -7). Does 13 divide u(k)?
False
Suppose -1800 = -1295*p + 1290*p. Is p a multiple of 5?
True
Let l(b) = 2*b**2 + 5*b - 3. Suppose -w = -a - 4, -2*a - 20 = w + w. Does 20 divide l(a)?
True
Let z(u) = -70*u**2 - 6*u + 4. Let b be z(3). Let f = -437 - b. Is 9 a factor of f?
True
Let v(r) = 6*r. Let q be v(2). Let s = q - 10. Suppose -u = 5*w, 5*w + 47 + 13 = s*u. Is 8 a factor of u?
False
Let p(m) = -2*m + 12. Let a be p(11). Let r(k) = -3*k**2 - 6*k**2 + 2*k - 13 - k**3 + 2 + 3*k. Does 13 divide r(a)?
True
Let b = 213 - -135. Is b a multiple of 29?
True
Let x(d) = 2*d + 15. Let g(c) = c + 8. Let k(a) = 7*g(a) - 4*x(a). Let r be k(-4). Suppose r*y = 5*y - 150. Is y a multiple of 19?
False
Let v(b) = 7*b + 95. Is v(-11) a multiple of 2?
True
Let i = -337 - -1039. Does 27 divide i?
True
Suppose -4*x + 0*x = -20. Let y(h) = 6*h**2 - 4*h - 20. Let q(k) = 2*k**2 - k - 7. Let v(o) = -14*q(o) + 5*y(o). Does 7 divide v(x)?
False
Let k(o) = -53*o**3 + 3*o**2 + 2*o. Suppose 3*i + 6 = -3*i. Does 9 divide k(i)?
True
Let t(o) = o**2 + 2*o - 3. Let z be (2/(-4))/(5/40). Let f be t(z). Suppose 2*j - 60 = f*c - 274, 0 = c + j - 40. Is 14 a factor of c?
True
Let s(a) = -a**3 - 12*a**2 - 3*a - 4. Let m(p) = -p + 1. Let y(k) = 6*m(k) + s(k). Is y(-12) a multiple of 8?
False
Let r be (-1)/((-2)/(-16)) - -3. Let s(x) = x**3 + 2*x**2 + 2*x - 7. Let h be s(r). Let p = h + 140. Is p a multiple of 24?
True
Let y = -14 - -16. Suppose -2*o - x + 100 = 0, x = -y*o + 2*x + 96. Let w = 76 - o. Does 27 divide w?
True
Let c be (-1)/2 - 104/(-16). Suppose c*y + y + 497 = 0. Let u = -51 - y. Is 5 a factor of u?
True
Suppose -7*l = -8*l - 31. Let j = l - -64. Does 9 divide j?
False
Suppose 2*d = m + 346, -4*d - 213 + 917 = m. Suppose -21*f + d = -16*f. Is 7 a factor of f?
True
Let r(f) be the third derivative of f**6/120 + f**5/5 + 5*f**4/8 + 7*f**3/6 - 6*f**2. Is 19 a factor of r(-10)?
True
Let t(l) = -l**2 + 16*l + 368. Does 8 divide t(0)?
True
Let l = 175 + -12. Let u(d) = 5*d**2 + 5*d - 7. Let n be u(5). Suppose -l = -5*v - g, 5*g - n = -4*v - 0*v. Is v 