17*n - 1440. Does 4 divide n?
True
Let j = 1 + 2. Is 18 a factor of (-9)/j + 44 + -2?
False
Is ((-27)/(-6))/((-6)/(-80)) a multiple of 11?
False
Let g be ((-4)/(-6))/(5/(-255)). Let u = g + 87. Does 16 divide u?
False
Let i = 76 + -129. Suppose 0 = -3*m - 0*m + 231. Let h = i + m. Is 8 a factor of h?
True
Let l(m) = -m**2 + 12*m + 14. Let t be l(10). Suppose 0 = -5*n - 5, 2*n = -3*s - 0*n + t. Is s a multiple of 12?
True
Let a(w) = -w**3 + 10*w**2 - 10*w - 10. Suppose -4 = -0*k - 2*k. Suppose -3*i - 2*s = -28, k*i = 2*s - 0*s + 12. Is a(i) a multiple of 14?
False
Let b = 146 - 6. Is 35 a factor of b?
True
Let r(y) = -7*y - 1. Let u be r(-3). Suppose -4*q + 6 = -h - 9, -3*h = q - u. Let w = 15 - h. Is w a multiple of 4?
False
Is 32 a factor of (-2)/(-3) - 380/(-6)?
True
Is ((-10)/6)/(4/(-324)) a multiple of 27?
True
Suppose -3*g - 2*b + 312 = -5*b, 319 = 3*g + 4*b. Does 7 divide g?
True
Let o = -21 - -44. Does 8 divide (o/(-2))/(3/(-6))?
False
Suppose -3*h - 2 = 1, -3*m + 2*h + 170 = 0. Is 5 a factor of m?
False
Let p = -30 - -67. Is 12 a factor of p?
False
Let j = -76 + 128. Let u = -22 + j. Is 15 a factor of u?
True
Suppose 4*x - x = -3. Let t(c) = 3*c**2 - c - 1. Let y be t(x). Suppose 4*l - 39 = -y. Is 9 a factor of l?
True
Does 13 divide (94/(-4) + -2)*-2?
False
Let n = -59 - -239. Suppose 0 = -5*b - 2*r + n, -r = -5*b + 165 + 15. Suppose -3*v = v + 5*h - 69, -2*v - 4*h + b = 0. Is 16 a factor of v?
True
Suppose 14*n - 16*n - 224 = -k, -4*k + 886 = -3*n. Is 19 a factor of k?
False
Let u = 82 + 21. Suppose 4*s + 0*s = -5*x + u, x - 21 = -s. Does 19 divide x?
True
Let x = -22 - -27. Suppose j + x*t - 88 = 0, -3*t + 309 - 8 = 4*j. Is 22 a factor of j?
False
Let p be (0 - 0) + (-3 - -99). Let z = 150 - p. Is 18 a factor of z?
True
Let l(c) be the second derivative of c**4/12 + c**3/3 + c**2/2 + c. Suppose 25 = -4*b - y, b - 4*y = -1 - 1. Does 7 divide l(b)?
False
Suppose -v - 5*v = -108. Is 18 a factor of v?
True
Suppose 0 = -0*j - j + 2*d + 114, 408 = 4*j + 4*d. Does 35 divide j?
False
Let u = 4 + -4. Suppose -3*r - 28 + 118 = u. Is r a multiple of 15?
True
Let b(f) be the second derivative of -2*f**3/3 + f**2 + 2*f. Is 12 a factor of b(-4)?
False
Suppose 29 = m - 13. Does 21 divide m?
True
Does 6 divide ((-441)/12)/(-3)*4?
False
Let m(n) = -5*n - 3. Let y be m(-12). Suppose -y = -4*b - o, -3*b - 4*o + 51 = -6*o. Is b a multiple of 6?
False
Let g be 2 + 0 - (3 + -1). Suppose -4*y + g*x + 3*x = -56, -5*y + x = -70. Is 11 a factor of y?
False
Let i = 27 - 15. Is 4 a factor of i?
True
Is 9 + -12 + -1 + 64 a multiple of 10?
True
Suppose 0 = -n - 0*n - 3*l + 118, 0 = -4*l - 20. Let x(a) = -18*a - 8. Let k be x(4). Let h = k + n. Is 18 a factor of h?
False
Suppose -4*f - 3*f = -63. Is f a multiple of 3?
True
Suppose 0*v - 84 = v - 3*z, 0 = -v - 4*z - 119. Let i = 153 + v. Is i a multiple of 18?
True
Let i(j) = 2*j**3 - 2*j**2 + 2*j - 3. Let g be i(2). Suppose -y - 1 = 2*v - g, -2*v - 4 = -2*y. Suppose 0 = -v*o + o + 6. Is o a multiple of 3?
True
Suppose -5*v = -7 + 137. Let u = v - 17. Let q = -3 - u. Does 17 divide q?
False
Let y = -34 + 59. Is y a multiple of 25?
True
Is 3 a factor of 2/(-2 + 28/13)?
False
Let d(b) = 7*b**3 - 7*b**2 - 10*b - 5. Let n(q) = -q**3 + q - 1. Let i(a) = d(a) + 6*n(a). Is 9 a factor of i(8)?
False
Let f(a) be the first derivative of -2 + 1/3*a**3 + 3/2*a**2 - 4*a. Does 6 divide f(3)?
False
Let m = -5 + 5. Let s be -2 - -3 - (-2 - m). Suppose -5*r + 0*w + 69 = -s*w, -r + 21 = 3*w. Is r a multiple of 5?
True
Let o(m) = -5*m + 11. Let a be o(11). Let p = a + 68. Does 12 divide p?
True
Suppose 338 = 4*v - u, -6*u + 261 = 3*v - 3*u. Is v a multiple of 17?
True
Let o = 86 + -68. Is o a multiple of 9?
True
Let r(w) = -11*w + 7. Let v(l) = -10*l + 6. Let o(k) = 6*r(k) - 7*v(k). Does 3 divide o(1)?
False
Suppose 2*l + 104 = 3*l. Let y = l - 42. Is 19 a factor of y?
False
Suppose -7*h - 560 = -17*h. Is 3 a factor of h?
False
Let s(q) = -q**3 + 2*q**2 - 1. Let x be s(1). Suppose 0*d - 4*g = -5*d + 175, x = d + g - 44. Is 13 a factor of d?
True
Suppose f + 6*v = 4*v + 74, 0 = 4*v - 8. Let q(l) = -4*l + 24. Let m be q(6). Suppose g - 3*g + f = m. Is 16 a factor of g?
False
Let j(y) = 4*y - 2. Let z be j(2). Suppose 2 = 2*d + 6. Is 15/z*4 + d a multiple of 5?
False
Let v be (4/6)/((-12)/(-54)). Suppose -2*l + v*m - 29 = -3*l, 3*l - 2*m - 32 = 0. Is l a multiple of 14?
True
Let p(r) be the second derivative of -r**3/6 + 5*r**2/2 + 7*r. Does 5 divide p(-8)?
False
Let v = 0 + 6. Suppose 3*b - v = 2*b. Is b a multiple of 2?
True
Let c = 65 - 18. Suppose -4*r = 4*t + 128, -36 = 5*t - 4*t + 3*r. Let w = t + c. Is 10 a factor of w?
False
Suppose 5 + 1 = c. Let p = c - -14. Is p a multiple of 11?
False
Suppose -3*m + 214 = 49. Does 11 divide m?
True
Suppose 0 = -4*q + i - 200, q + 43 = -3*i + 5*i. Is 15 a factor of (-1)/(-2 - q/26)?
False
Let s = 5 + -8. Let b be 6/9*(-84)/8. Let r = s - b. Is 4 a factor of r?
True
Let x = 18 + -11. Does 7 divide x?
True
Let x(s) = -s + 2. Let h be 4*(-2)/(-8)*-2. Does 2 divide x(h)?
True
Let b = -135 + 327. Is 7 a factor of b?
False
Let y(i) = 23*i**2 + 1. Let s be (-16)/12 - 1/(-3). Let t be y(s). Is (18/t)/(2/48) a multiple of 15?
False
Suppose -3*q + 5*q = 102. Is 12 a factor of q?
False
Suppose 3*s + w = 243, 2*w + 3*w = -15. Does 11 divide s?
False
Let p(n) = -1 - 7 - 5*n + 0 + 1. Is p(-6) a multiple of 8?
False
Let m(t) = 5*t + 1. Let w be m(1). Let n(b) = -b**2 + 5*b + 8. Let q be n(w). Suppose q*c - 7 = 19. Does 5 divide c?
False
Let f(l) = -2*l**2 - 4*l - 3. Let x be f(-3). Let z(j) be the second derivative of j**4/12 + 7*j**3/6 + 2*j. Is 9 a factor of z(x)?
True
Suppose 2*h + 3*h - 10 = 0. Is 17 a factor of (50 - h) + -1 + 0?
False
Suppose 7 + 3 = 2*k. Suppose 0 = s + 2*s + 4*f - 107, -s + k*f = -4. Does 10 divide s?
False
Let u(c) = 2*c**2 + 3*c + 2. Let n be u(-2). Suppose n*s = -2*g + 98, 4*g + 3*s = -0*g + 196. Is g a multiple of 22?
False
Let q be (-14)/(-7) + 1/1. Suppose q*o - 8 = 4*l, 2*o - 5*o - 17 = l. Is 10 a factor of ((-48)/28)/(o/70)?
True
Let l be (-1)/(3 - 28/8). Let i = 43 + l. Is 9 a factor of i?
True
Suppose 0 = 4*j - 1 - 15. Suppose 2*m - 242 = j*m. Let f = -57 - m. Does 17 divide f?
False
Is 2/2 - (7 - 74) a multiple of 25?
False
Let c be (-1)/2 + 21/6. Suppose -2*m - 2*t = 80, c*m + 2*t + 110 = -6. Does 6 divide (-14)/(-4)*m/(-21)?
True
Let h be -12*((-285)/(-9))/(-5). Suppose 56 = 3*o - h. Does 13 divide o?
False
Let c(h) = 2*h**2 + 6*h - 2. Is 6 a factor of c(-5)?
True
Suppose -2*a + 113 = -5*l, 3*a + 4*l - 204 = -0*a. Let z = a + -41. Is 6 a factor of z?
False
Let v(o) = -24*o - 2. Let f = 10 + -12. Is 13 a factor of v(f)?
False
Let g(y) = y**3 + 5*y**2 - y - 7. Let m be g(-5). Let t be (-2)/(-8) - m/(-8). Let d = t - -3. Is d a multiple of 3?
True
Let q(m) = 2*m**2 + 6*m + 5. Let c be q(-4). Does 6 divide (-7)/(-14) - c/(-2)?
False
Let n(j) = -j. Let r be n(1). Let o be (-2 - 4/r) + -2. Suppose 2*m + 3*v = 39, 4*v - 22 + o = -m. Does 9 divide m?
True
Suppose f + f = 98. Let y be 11/4 - 7/(-28). Suppose -y*x + 41 = -5*k + 6, -f = -3*x - 2*k. Is 9 a factor of x?
False
Let a(o) = o**3 - 5*o**2 + 8*o - 10. Does 15 divide a(5)?
True
Is 2 a factor of 88/6 - 18/27?
True
Let v(s) = s**3 - s**2 + s + 30. Let q be v(0). Suppose -3*y = -8*y - q. Is 9 a factor of (-6)/4*(y + 0)?
True
Suppose -20*j - 92 = -22*j. Does 13 divide j?
False
Let m(y) = -2*y**3 - 2*y**2 + 3*y - 7. Let t be m(3). Let k = 112 + t. Does 14 divide k?
True
Suppose -5*l + 35 + 121 = 4*f, -4*f - 124 = -5*l. Is l a multiple of 14?
True
Let s(b) = 2 + 0*b - 2*b + 14*b**2 - b. Is s(2) a multiple of 17?
False
Suppose -12 = -2*b - 0. Is b a multiple of 5?
False
Suppose -327 + 67 = -5*w. Let n = w - 30. Suppose 33 = 5*f - n. Does 3 divide f?
False
Let n(d) = -2*d**3 - 4*d**2 - 2*d - 6. Is n(-4) a multiple of 22?
True
Let k(r) = 8*r**2 - 3*r + 1. Let p be ((-2)/5)/(1/(-5)). Does 11 divide k(p)?
False
Let s = -154 - -209. Is 5 a factor of s?
True
Let p = 19 + -9. Does 11 divide ((-4)/p)/((-5)/275)?
True
Let m(i) = -i - 7. Let y be m(-7). Suppose -a + 4*a = y. Suppose 5*x - x + 5*c - 47 = 0, 4*x - 4*c - 92 = a. Is 18 a factor of x?
True
Let k(c) = -c**2 + 7*c + 2. Let r be k(7). Suppose -6*j = -2*j - 5*a - 66, -r*j - 3