, -2*a = -2*t + 3*a + k. Is 7 a factor of t?
False
Let z(a) = -3*a**3 + 3*a**2 - 4*a - 4. Does 75 divide z(-3)?
False
Suppose 2*j = -113 + 643. Is j a multiple of 19?
False
Suppose c + 16 = 5*w, -c - 3*c - 4 = 0. Suppose i - 76 = -3*g, i + 64 = w*g - i. Is 12 a factor of g?
True
Suppose -4*p + 142 = -2*b + 7*b, 5*p - 167 = -b. Is 2 a factor of p?
False
Is 8 a factor of 85 + -2 + (-2)/4*6?
True
Suppose 0 = -v + 14 - 1. Suppose -8*k + v*k = 320. Is k a multiple of 18?
False
Suppose -2*q = 14 - 20. Suppose -2*a - 58 = -q*a. Does 14 divide a?
False
Let v be 132/((-6)/(-3)) + 2. Let d = 10 + v. Is d a multiple of 39?
True
Suppose 903 - 3663 = -5*x. Does 69 divide x?
True
Let z(y) = 28*y + 3 - 2 - 9*y. Is 11 a factor of z(4)?
True
Let m be ((-18)/4)/(3/(-4)). Let q(s) = s**3 - 4*s**2 - 3*s - 7. Let t be q(5). Suppose 0 = 5*w - t*i + 2, 3*i + 2 - m = 4*w. Is 2 a factor of w?
True
Let b = 612 - -218. Does 31 divide b?
False
Suppose -116*r = -18*r - 43022. Is r a multiple of 47?
False
Let p(r) = 2*r**2 + 12 + 5 - 19 - 6*r**3 - 2*r. Let c be p(-3). Suppose -4*k = -4*o - 204, -o + c = 4*k - 0*o. Is 19 a factor of k?
False
Suppose -4*x = 326 + 114. Is 18 a factor of ((-8)/10)/(2/5) - x?
True
Let c = 8 + -6. Let g = c + -2. Suppose -z - 3 + 34 = g. Is z a multiple of 8?
False
Let u(b) be the first derivative of 2*b**3/3 - 9*b**2/2 + 7*b - 5. Let i be u(6). Let q = i - 18. Is q a multiple of 4?
False
Suppose -4*d + 3226 = -1966. Does 22 divide d?
True
Let x(k) be the second derivative of k**5/20 - k**4/4 - 5*k**3/6 + 3*k**2 + 5*k. Let l be x(4). Is (-26)/(l/(-4)*4) a multiple of 3?
False
Let p be (-4)/(-3)*105/(-10). Let g = 74 + p. Does 15 divide g?
True
Suppose k = -2*n + 230, 39*k = 41*k + 3*n - 457. Does 8 divide k?
True
Let t = -325 + 540. Is t a multiple of 8?
False
Suppose -n + 2*t = -1116, 5*t + 5 = -10. Is 30 a factor of n?
True
Let z(g) = -g**3 + 6*g**2 + 9*g - 10. Let m be z(7). Suppose -3*d + 4 = -4*b, 0*b + 2*d - m = 2*b. Suppose 30 = 4*p - b. Does 3 divide p?
False
Suppose 4*r = 334 + 478. Does 30 divide r?
False
Let f = -411 - -367. Let q be 0/(-1) - (-2 + -133). Let u = q + f. Is u a multiple of 25?
False
Let s = -2920 + 7068. Is s a multiple of 17?
True
Let u(f) = -6*f + 8 + 7 - 11 + 2*f**2. Let p be u(4). Let h(k) = k**2 - 8*k - 15. Is h(p) a multiple of 12?
False
Let z be ((-148)/(-6))/((-6)/(-45)). Suppose 4*s + z = 9*s. Let m = s + -24. Is 11 a factor of m?
False
Suppose 3*o - 15 = -3. Let s(f) = f**3 - 3*f**2 - 5. Let r be s(o). Let t = r - 8. Does 3 divide t?
True
Suppose 5 = -5*y, -3*m + 6*y + 242 = 4*y. Is 9 a factor of m/20 + 0 + 95?
True
Suppose -4*z = -4*q - 20, 2*q - 4*z = -25 + 5. Suppose m + m + 18 = q. Is 9 a factor of (-82)/(-6)*(-27)/m?
False
Let n be -1 + 6 + 5*12/(-30). Suppose 0 = n*m + 3*r - 294, m - 3 = 2*r + 101. Is m a multiple of 11?
False
Suppose -3*x + 4 = -5. Let y be 382/6 - (-1)/x. Suppose -l = -4*b + 4, -b = -5*l - 2*b + y. Does 12 divide l?
True
Let f = 73 - 74. Is 12 a factor of f/(-2) + (-2365)/(-22)?
True
Let y be 24/(-4) - (3 + -6). Let b be y*((-31)/(-3) - 2). Is (-20)/(-6)*(-135)/b a multiple of 4?
False
Let d(m) be the third derivative of m**7/5040 + m**6/45 - m**5/60 - 6*m**2. Let t(c) be the third derivative of d(c). Does 4 divide t(-11)?
False
Does 41 divide ((-246)/24)/(5/(-220))?
True
Let y = 803 - 223. Is 20 a factor of y?
True
Let f(o) = 16*o**2 + 15*o + 8. Is f(8) a multiple of 48?
True
Let s = 536 - 277. Is s a multiple of 25?
False
Let l(k) = -k**3 - k**2 + 1. Let v(w) = -w**2 - 4*w + 1. Let x be v(-5). Does 27 divide l(x)?
False
Suppose j + 13 = -3*x, 5*j + 85 = 8*x - 3*x. Let c = -6 - j. Is 4 a factor of c?
False
Let p be (2/(-4))/((-4)/(-240)). Let b = p - -35. Does 5 divide b?
True
Suppose 12297 = 18*h - 26385. Does 11 divide h?
False
Let v(a) = -3*a**2 - 208*a + 303. Is 100 a factor of v(-63)?
True
Suppose -v = -9*v + 40. Suppose 3*m + 53 = c, v*c - 6*c - 4*m + 53 = 0. Does 53 divide c?
True
Suppose 4*z = 50 + 178. Suppose -3*p = 3*b - z, 2*p - 5 + 13 = 0. Suppose -b + 2 = -i - w, 9 = 3*w. Is 14 a factor of i?
False
Let v = -86 - -89. Is 41 a factor of -4*v/(-4) - (0 + -285)?
False
Suppose -26*n + 980 - 278 = 0. Is 4 a factor of n?
False
Suppose 0 = -d - 6*d + 28. Suppose -2*k = h - 129, -k + 333 = d*k - h. Does 10 divide k?
False
Let k be (5/(-2))/(4/(-8)). Suppose 7*z - 42 = 3*j + 4*z, -10 = k*z. Let u = 7 - j. Is 9 a factor of u?
False
Suppose 6 = r + r. Is 57/(-2)*(-10)/r a multiple of 19?
True
Suppose n + 2 = 6*n + 3*s, 3*n - 4*s - 7 = 0. Let h be (n - 1)/(-4) + 0. Suppose 2*a - 2*v - 232 = -74, -2*v - 10 = h. Is 15 a factor of a?
False
Suppose -5*i + 0*i + 2780 = 5*f, 3*i - 1683 = 2*f. Is 43 a factor of i?
True
Let b(j) = -1. Let t(n) = -9*n + 1. Let r(h) = -2*b(h) + t(h). Is 24 a factor of r(-5)?
True
Suppose -108 = -4*v - 2*a + 88, 5*a + 168 = 4*v. Suppose 4 = 3*j + 16. Is 20/(-5)*v/j a multiple of 20?
False
Let j be 0/(7/(14/6)). Suppose 177 = -j*y + 3*y. Does 9 divide y?
False
Let r(c) = -c + 10. Let m be r(12). Let o be (m/(-2))/(5/95). Suppose 31 = 5*y - o. Is 4 a factor of y?
False
Let l(r) = 4*r**2 - 3*r - 1. Let h(n) = n**2 - n. Let f(w) = -12*h(w) + 4*l(w). Does 3 divide f(-2)?
True
Let i be ((-18)/15)/((-6)/80). Let j = i - 12. Suppose -13 - 7 = -j*l. Does 2 divide l?
False
Is 79 a factor of 7/(280/44230) + (-1)/(-4)?
True
Let t(o) = 5 - 1 + 2*o - 3*o**3 - 6 + o**2. Is t(-3) a multiple of 7?
False
Let u(w) = -w**3 + 6*w**2 - 2. Let x(r) be the first derivative of -r**4/4 + 3*r**3 + 11*r**2/2 - 5*r - 3. Let k be x(10). Is u(k) a multiple of 15?
False
Let k = 1515 - 789. Does 39 divide k?
False
Suppose 3*u = -u - 16, 636 = y - 4*u. Is 20 a factor of y?
True
Let d(s) be the third derivative of s**5/20 + 49*s**4/24 - 8*s**3/3 + 5*s**2 - 2*s. Does 3 divide d(-17)?
True
Let b(q) = -5*q**3 + 3*q**2 + 5*q. Let x(g) = 11*g**3 - 6*g**2 - 10*g. Let a(h) = 9*b(h) + 4*x(h). Let p be a(4). Suppose p*u - 48 = u. Is 16 a factor of u?
True
Suppose -528 = -4*r + 576. Is 46 a factor of r?
True
Is 28 a factor of (-66)/121 + 4956/11?
False
Suppose 0 = -8*f + 2*f - 222. Let h = f - -42. Is h a multiple of 3?
False
Let o(x) = 58*x**2 + 15*x + 63. Is o(-4) a multiple of 7?
True
Let a be -15*(-4)/24*46. Suppose 4*h = 9*h - a. Is 7 a factor of h?
False
Suppose 9 - 6 = c. Suppose 3*r + 4*w = 6 + 22, -c*w = -3*r + 42. Is 3 a factor of r?
True
Suppose 4 = 4*z - 2*z. Suppose -74 = -4*q - 18. Suppose z*m + q = -2*k + 5*k, -9 = -3*k - 3*m. Does 2 divide k?
True
Let z = -33 + 36. Suppose i + z*p = -4*i + 580, -103 = -i + 2*p. Is 12 a factor of i?
False
Let n = -1068 - -1525. Is n a multiple of 24?
False
Let y(j) = -2*j**3 - 4*j**2 - 2. Let h be y(-4). Let d = 60 + -98. Let r = h + d. Does 8 divide r?
True
Suppose 0 = 3*p - q - 15, -3*q = -2*p - p + 15. Let t(i) = 2*i**2 - 4*i - 6. Let a be t(p). Let d = a + 7. Is 23 a factor of d?
False
Let z = -128 + 181. Is z a multiple of 3?
False
Let s(q) = 423*q**3 + 26*q**2 - 24*q - 2. Is 48 a factor of s(1)?
False
Is 5 a factor of 0 + (-11)/(-55) + 1932/15?
False
Let z be 20/(-4) - (5 + -10). Suppose -i + 3*x = 2*x - 9, -i = 5*x - 9. Suppose 4*u - 45 + i = z. Is 4 a factor of u?
False
Let x(o) = -o**2 - 2*o - 6. Let a be x(-5). Let j = a - -26. Suppose l - 30 = 3*c, -j*c + 103 = 3*l - c. Is l a multiple of 27?
False
Suppose s + 0*s = 2. Suppose -45 = -s*v + v. Is v a multiple of 4?
False
Let k(d) = 2*d + 72. Let n = -70 - -70. Is 11 a factor of k(n)?
False
Suppose -13*o + 2*o - 1177 = 0. Let w = -63 - o. Is w a multiple of 11?
True
Let c(r) = -69*r - 123. Is c(-10) a multiple of 21?
True
Let z = -248 + 133. Let p = -65 - z. Does 25 divide p?
True
Let t = 85 - 32. Let x = t + 10. Is x a multiple of 21?
True
Does 11 divide (4 + 80/(-25))/(2/435)?
False
Let d = -66 + 33. Let q = d + 84. Does 17 divide q?
True
Does 9 divide (-112)/(-44) + -2 - 12264/(-22)?
True
Let r = -74 - -74. Suppose -12*l + 13*l - 76 = r. Is 30 a factor of l?
False
Let d(f) = -f**2 - 4*f - 5. Let z be d(-4). Let y(m) = -m - 3. Let h be y(z). Suppose -h*n - n = -108. Is n a multiple of 15?
False
Let l(q) = 3*q**2 - 11*q**3 + 5 - 4*q**2 - 2 + 1. Does 11 divide l(-2)?
True
Let y(p) = 2*p - 16. Let f be y(8). Suppose 0 = -3*a + 3, -2*s + f*a - 2*a = -80. Suppose 5*w = 6*w - s. Is w a multiple o