037 + -718. Is n a multiple of 6?
False
Suppose -3264 = -107*x + 104*x. Is x a multiple of 61?
False
Let d(k) = k - 1. Let i be d(-4). Let s(r) = 15*r + 21. Let l be s(-7). Does 4 divide (2 + l/15)*i?
False
Suppose 20 = 5*t + 5*v, -2*v + 1 = -v. Suppose 0 = -3*z - t + 15. Suppose 5*b - 3*s - z = 52, 14 = 2*b + 3*s. Does 10 divide b?
True
Let k(f) = -f**3 + 7*f**2 + 6*f - 16. Suppose -3*w - 27 = -2*m, 3*m - 1 = w + 22. Is 9 a factor of k(m)?
False
Is 10 + 120/(-10) - (-1 + -958) a multiple of 53?
False
Let o = -37 - -205. Suppose 0 = -4*z + z + o. Suppose -z = -3*g + 67. Is 20 a factor of g?
False
Let a(s) = 2*s - 13. Let t be a(14). Suppose 5*p = t*p - 1640. Is 14 a factor of p?
False
Let v(r) = -r**3 - 5*r**2 - r + 2. Let t be v(-5). Suppose -3*a - 88 = -t*a. Does 7 divide a?
False
Suppose s + 5*a = 717, 0*a = 2*a. Does 21 divide s?
False
Let u(w) = 2*w**2 - 11*w - 15. Let x be -2 - (-4 - (1 + -12)). Let o(c) = -c. Let q be o(x). Is 11 a factor of u(q)?
False
Let d be (-3)/(-21) - 39/(-21). Let t = d - -14. Is t a multiple of 4?
True
Let w(c) = -c + 18. Let d be w(7). Let s = 71 - d. Let b = s + -10. Is b a multiple of 10?
True
Let c(q) = q**3 - 2*q**2 + q - 19. Let g be c(0). Is g/(-2) - (-6)/4 a multiple of 2?
False
Suppose -8*f + 1430 = 18*f. Does 11 divide f?
True
Let q = 66 + -61. Suppose -4*b = -q*k + k - 856, 2*k + 858 = 4*b. Does 7 divide b?
False
Does 52 divide ((-16)/(-12))/((-18)/(-5373))?
False
Suppose -11*i - 111 = 912. Let k = i - -104. Is k a multiple of 2?
False
Let c be (-1 + 2)*5 + 0. Suppose -195 = -0*h - c*h. Is 2 a factor of h?
False
Suppose -2*c - 112 = -2*w - 10, -5*w + 279 = 3*c. Is 3 a factor of w?
True
Let n be ((2 - -2) + -3)/1. Let i(v) = 37*v**3 - v**2 - v + 1. Is i(n) a multiple of 6?
True
Let z(k) = -156*k**2 + k + 4. Let f be z(-4). Is 6 a factor of f/(-26) + (0 - -1)?
False
Suppose -4*o = -9*o - 30. Let y be (-4)/(16/o)*18. Let k = y + -12. Is 5 a factor of k?
True
Let u = 411 + 59. Does 34 divide u?
False
Suppose 2*r = -2*y - 3*r - 14, -2 = 3*y - 2*r. Is 10*((7 - 3) + y) a multiple of 4?
True
Suppose -o + 31 = 2*t - 297, -4*t + 628 = -5*o. Does 54 divide t?
True
Let h = 8 + -3. Suppose -5*x = -a - 259 - 398, 665 = h*x - 5*a. Suppose -4*r + x + 73 = 0. Is r a multiple of 18?
False
Suppose 0 = 2*k + 2 - 10. Suppose -n + 2 = -2*c - 0*n, -k*c + 4 = 2*n. Suppose c = -d + 4 + 11. Does 5 divide d?
True
Suppose -7*y = -33 + 19. Suppose z - 5*t - 95 = -y*z, 5*z - 4*t = 167. Does 5 divide z?
True
Is ((-266)/(-8))/(((-77)/(-44))/7) a multiple of 18?
False
Let b = -10 + 12. Suppose 139 + 9 = -b*x - 2*m, 0 = -3*x - m - 222. Does 7 divide x*((-1)/2 - 0)?
False
Let o be ((-615)/10)/((-1)/(30/9)). Let n = o - 106. Is 11 a factor of n?
True
Let q(i) = 13*i - 6*i - 5 - 9*i. Let u be q(-4). Suppose -u*a = 2*f - 3*f + 39, -f - 2*a + 24 = 0. Does 7 divide f?
False
Let i(y) be the second derivative of -y**5/4 - y**4/3 - y**3/2 - y**2 + 3*y. Let w be i(-2). Is 2 a factor of 6/(-4) - (-182)/w?
False
Suppose -2*r - 5*h + 25 = 3*r, r - h + 1 = 0. Suppose -15 - 16 = -3*o + 5*v, o - r*v - 9 = 0. Is 3 a factor of o?
False
Let c = 1049 + -409. Does 8 divide c?
True
Suppose -4608 = 6*x - 10*x - 4*c, -c = 4*x - 4608. Is x a multiple of 48?
True
Let s = 663 - 232. Does 32 divide s?
False
Let i = -54 + 109. Let z = i + -19. Does 5 divide z?
False
Let a = 24 - 15. Suppose 10*j + a = 13*j. Let l = 8 - j. Is l a multiple of 5?
True
Suppose -3*u + 19 = -3*q - 104, 5*u + 5*q - 185 = 0. Let z be 3/12 + 411/4. Let y = z - u. Does 20 divide y?
False
Let j(w) = -29*w - 9. Does 10 divide j(-1)?
True
Suppose 5*b + 45 = 5*z, -3*b - 18 = -b - 3*z. Is (-16)/(-3)*b/(-2) a multiple of 24?
True
Let i = -170 - -291. Does 6 divide i/4 - (-6)/(-24)?
True
Let t = -3276 + 5476. Is 55 a factor of t?
True
Let k(h) = 9*h + 40. Does 7 divide k(0)?
False
Let p = -43 - -74. Suppose -5*m - 4*d = -3*d - 44, -2*m + 5*d = -23. Suppose -b + p = 4*n, -4*b - 2*n - 67 = -m*b. Is b a multiple of 4?
False
Let j(k) = -7*k + 9. Let g be j(-6). Suppose -2*l = -l - g. Suppose 4*n - q = l + 53, 3*n - 91 = 4*q. Does 14 divide n?
False
Suppose -7*q - 9811 = -5*g - 5*q, -g + 2*q + 1959 = 0. Is 7 a factor of g?
False
Suppose -11696 = -4*f - 2*n, f - 297*n - 2935 = -292*n. Is 15 a factor of f?
True
Is 9 + -1 - (-937 + 57) a multiple of 74?
True
Suppose -7*k = 9*k + 448. Let b = 100 + k. Does 9 divide b?
True
Let l(d) = 4*d**2 + 3*d + 13. Let x be l(9). Suppose 0 = 2*j + 2*j - x. Suppose 0*o = -f + 3*o + 37, -3*f + j = -4*o. Does 7 divide f?
False
Let p = -1 + -2. Is (p/2)/((-3)/66) a multiple of 13?
False
Suppose -37*v = -9602 - 36944. Does 17 divide v?
True
Suppose 0 = -0*h + h - 59. Let f = 65 - h. Is f a multiple of 3?
True
Let a be (-3)/(-4) - (-2360)/(-32). Let n = -8 - a. Suppose 0 = -2*o - 3*o + n. Does 13 divide o?
True
Let o(g) = -2*g**3 + g**2 + g - 2. Let n(d) = -8*d**3 + 5*d**2 + 5*d - 9. Let f(p) = -2*n(p) + 9*o(p). Let b be f(-1). Is 6 a factor of 3/b*(11 - 3)?
True
Suppose 0 = -54*y + 42*y + 5484. Is y a multiple of 21?
False
Does 4 divide 4/(-58) - (-117438)/667?
True
Let g = 29 + 163. Is 12 a factor of g?
True
Let x = -19 - -23. Suppose -15 = -3*g, x*q - 6*g + g = 71. Does 4 divide q?
True
Suppose 23 + 249 = 16*a. Suppose 0 = -j + 51 - 1. Suppose -n + a = -j. Does 15 divide n?
False
Let h(j) be the first derivative of j**6/360 - j**5/30 - j**4/12 - j**3/3 + 6. Let x(q) be the third derivative of h(q). Is 4 a factor of x(6)?
False
Suppose -13 = 2*d - 3*m, -3*m + 2*m + 10 = 5*d. Let h be d/((-3)/1740*-4). Let i = -56 + h. Does 24 divide i?
False
Let k(q) = -q - 24. Let d(s) = 10 - 28 + 19. Let t(g) = -4*d(g) - k(g). Is 6 a factor of t(-9)?
False
Let u be 3*(-11 - (1 - -1)). Let d = u + 56. Suppose -d*z = -18*z + 21. Is z a multiple of 18?
False
Let x(j) = -2*j**3 + j**2 - 5*j - 21. Let i be x(-3). Suppose 0 = 2*s + 5*t - i, -s - 3*s + 5*t + 159 = 0. Is s a multiple of 12?
True
Suppose 4*z = 2*o + 288, -3*o = -2*z - 0*z + 416. Let n = -81 - o. Is 22 a factor of n?
False
Let o(b) = -3*b**2 - 19*b - 6. Let v be o(-6). Suppose -2*q - 1 = 4*m - 23, v = 3*q + 9. Is m even?
False
Suppose -3*i - 9*t + 1693 = -5*t, 4*t - 2827 = -5*i. Is i a multiple of 23?
False
Suppose -4*j + j = -3*o - 24, 3*j + 5*o + 16 = 0. Suppose 0*l - l + 14 = 5*t, -4*l = j*t - 141. Is 7 a factor of l?
False
Let x(h) = -4*h + 11. Let r be x(-11). Suppose 0 = -j + 2*m - 3*m - 17, m + r = -3*j. Let b = j - -28. Is b a multiple of 5?
False
Let d(j) = -j**3 + 12*j**2 + 20*j + 17. Does 12 divide d(10)?
False
Let j be 9/(-1 - -4) + -6. Let v = j - -3. Suppose 2*i - 132 = -v*i. Does 22 divide i?
True
Let r(l) = -240*l + 4*l**2 + 240*l + 4 + l**3. Let i be r(-4). Suppose -h + 5*h + o - 78 = 0, 0 = i*h - 5*o - 66. Is 6 a factor of h?
False
Suppose 5*r = 6*r - 4. Let n = r - -5. Is 3 a factor of n?
True
Suppose 0 = -4*y + 3*n + 23, 23 = y - 4*n + 9*n. Suppose 0 = -y*h + 3*h + 940. Does 47 divide h?
True
Let g = -8 - -8. Suppose f + 15 = -g. Does 7 divide (8/(-3))/(2/f)?
False
Let o(k) = 53*k + 963. Does 76 divide o(43)?
False
Let l(z) = -z**3 + 2*z**2 + 6*z - 6. Let a be l(4). Suppose 134 = 3*w + v, -190 = 54*w - 59*w + 5*v. Let n = w + a. Is 7 a factor of n?
False
Suppose 0 = -v + 4, -9*r - 4996 = -13*r - v. Does 39 divide r?
True
Suppose -3*d = -2*q, -5*q + 10*q = 5*d. Suppose q = y - 4*y - c + 347, 2*y = 5*c + 254. Does 13 divide y?
True
Let g(u) = u**3 - 19*u**2 - 9*u - 73. Is 5 a factor of g(20)?
False
Suppose -4*g + 3*b - 1 + 0 = 0, 5*b + 41 = -4*g. Is 12 a factor of (4 + (-45 - 0))/(g - -3)?
False
Suppose 9 + 6 = 5*r. Let y = -7 + 10. Is (y/5)/(r/405) a multiple of 27?
True
Suppose 5*n - 5*z + 230 = 0, -2*n + 4*z + 21 = 115. Is (-432)/n*5*5 a multiple of 12?
True
Let r(n) = n**3 + 10*n**2 + 9*n - 5. Suppose -4*o = -9*o - 40. Let w be r(o). Does 13 divide w/3*(4 + -3)?
False
Let x(a) = -a + 10. Let d be x(7). Is 5 a factor of (6*1)/(d/4)?
False
Let u = -63 - -90. Suppose r = -2*r + 3*d + u, -3*d + 6 = 0. Is 7 a factor of r?
False
Let l = -256 - -858. Is 7 a factor of l?
True
Does 34 divide 24/(-108) + 21/(-27) - -141?
False
Suppose -374 = -4*g - j + 96, -5*j = 4*g - 478. Is 34 a factor of g?
False
Suppose 7*u = 3*u. Let g(t) = 2*t - 14*t + 5*t - t**2 + 29 + 8*t - 2*t. Does 4 divide g(u)?
False
Suppose 5*c = -