n. Does 9 divide k?
True
Let t be 12/54 + (-102)/(-27). Suppose 142 = 3*c + t*u, -3*c + 2*u = c - 204. Is c a multiple of 11?
False
Suppose 44388 = -82*d + 94*d. Does 30 divide d?
False
Suppose 38 = 5*x + 8. Suppose p - x = 8. Does 18 divide 275/6 + p/84?
False
Let m(g) = -g + 8. Let n be m(-8). Let x be -1*52/(-4) - -1. Let k = x + n. Does 10 divide k?
True
Let y(s) = 6*s**2 + 3*s - 5. Let k(a) = -3*a**2 + a. Let g be k(-1). Let t = g - -6. Does 9 divide y(t)?
False
Let a = -312 - -432. Is a a multiple of 12?
True
Suppose 0 = -4*b + 37 + 147. Let f(r) = -r**2 - 10*r + 14. Let m be f(-10). Let p = m + b. Is 30 a factor of p?
True
Let x(a) = a**2 - 6*a + 6. Let k be x(-5). Let p(i) = i**3 + 4*i**2 - 5*i + 3. Let b be p(-5). Suppose 3*j = -2*w - 2*w + k, 0 = -j + b*w + 3. Does 15 divide j?
True
Suppose 28*n - 20 = 33*n. Is 15 a factor of (-9)/n*(-6256)/(-51)?
False
Let m(d) = 2*d**3 + 42*d**2 - 37*d + 47. Is m(-17) a multiple of 9?
True
Suppose -4822 = -6*h + 2288. Is 37 a factor of h/4 + (5 - (-63)/(-12))?
True
Let u(g) = 12*g - 32. Let i be u(26). Suppose -11*b = -6*b - i. Is b a multiple of 8?
True
Let u be ((-54)/24)/((-3)/(-32)). Does 6 divide 9/((u/9)/(-8))?
False
Let y(k) = -k**3 + 9*k**2 + 16*k - 27. Let o be y(9). Suppose 5*p + 109 = 2*x - 110, -x + o = -4*p. Is 8 a factor of x?
False
Let j(v) = v**3 + 13*v**2 + 13*v + 17. Let n be j(-12). Suppose -3*h = g - 4 + n, g - 27 = 4*h. Let i = 30 - g. Is i a multiple of 16?
False
Suppose 41 = -3*b - 49. Suppose 0 = 6*c - c - 210. Let l = b + c. Is l a multiple of 3?
True
Let o(z) = -z**2 - 5*z + 8. Let d be o(-6). Suppose a = -3, 2*h - d*a - 12 = -0. Does 15 divide ((-9)/(-15))/(h/375)?
True
Let k(w) = -w**3 - 9*w**2 - w - 10. Let o be k(-9). Let b be ((-8)/4 - 0)/o. Suppose b*h = -4*h + 432. Does 18 divide h?
True
Is 111/(-148) - ((-1759)/4 + 2) a multiple of 19?
True
Let o be (-4 - 11)*2/(-6). Suppose -o*t + 140 = -40. Does 12 divide t?
True
Suppose 4*n - 42*o - 5390 = -45*o, -1355 = -n + 3*o. Is n a multiple of 19?
True
Let w = 25 - 33. Is 6 a factor of 2/w - (-392)/32?
True
Let v(a) = 2*a**3 - 6*a**2 + 3*a - 6. Let u(b) = 2*b**3 - 7*b**2 + 3*b - 7. Let m(j) = -3*u(j) + 4*v(j). Is m(2) a multiple of 2?
False
Let r = 27 + -24. Let k(n) = -n**3 + 2*n**2 + 3*n. Let p be k(r). Suppose p = -4*o + 3*u + u + 44, -5*o - 2*u + 55 = 0. Is o a multiple of 6?
False
Suppose -2*k + 50 = 3*q - 12, -k - 5*q = -17. Suppose 259 = 4*h - b, 377 = 5*h + 2*b + k. Is 11 a factor of h?
True
Let s = -65 - -38. Let w = s - -92. Does 14 divide w?
False
Let v(q) = -q**3 + 2*q**2 - 3*q + 5. Let d be v(2). Let z = 1 + d. Suppose m - 7 + 1 = z. Does 2 divide m?
True
Suppose 0 = 36*c - 19073 - 1195. Does 6 divide c?
False
Let s be 5/(30/4)*(3 - -3). Suppose -2*r + 224 = s. Does 7 divide r?
False
Let s be ((-7)/(-14))/(((-1)/106)/(-1)). Suppose x - h - 27 = 38, x = -2*h + s. Is 8 a factor of x?
False
Suppose 2*n + 3*n - 1900 = 0. Is 10 a factor of n?
True
Suppose 6*c - 4*c - 4*y = 20, 2*c - 26 = -2*y. Let x = 223 + -167. Suppose 8*j = c*j - x. Does 4 divide j?
False
Let z(k) = -278*k - 291. Does 108 divide z(-6)?
False
Suppose -3*v - 5*h + 1038 = -2*h, h + 338 = v. Is v a multiple of 18?
True
Let d = -16 + 19. Is 15 a factor of (-21 + -1)*(-3)/d?
False
Let n be (-72)/(-28) - (-8)/(-14). Suppose n*x = -0*w + 2*w + 104, 2*x = 5*w + 119. Is x a multiple of 12?
False
Let g(q) = -23*q + 12. Let k be g(-6). Suppose -3*n - k = -4*n. Suppose 0 = 14*y - 9*y - n. Is y a multiple of 9?
False
Suppose -4778 - 8719 = -11*m. Is 19 a factor of m?
False
Let y = -40 - -29. Suppose -7*g + 6*g - 5 = 0. Is 3 - y*(-3 - g) a multiple of 25?
True
Let s be 0/(-3 + 5) - (2 - 3). Is 11 a factor of -3*(s/3)/((-3)/33)?
True
Suppose -1302 = 6*x - 20*x. Is 45 a factor of x?
False
Let i(o) be the first derivative of -o**4/4 + 10*o**3/3 - 3*o**2 + 3*o - 2. Let u = -70 + 79. Is i(u) a multiple of 30?
True
Suppose -6*t - 5681 = -14033. Is 12 a factor of t?
True
Let w = -473 + 1174. Suppose w = 4*t - 99. Does 25 divide t?
True
Suppose -6*b + 2*d = -2*b - 274, -5*d = -5. Suppose 30 - b = -l. Is 13 a factor of l?
True
Let u(s) = 4*s + 64 + 3*s + 4*s**2 - 67 - s**3. Let a = 7 + -2. Is u(a) a multiple of 7?
True
Is 481 - (-3 + 2 + 2)/1 a multiple of 10?
True
Let i(s) = s**2 - 19*s - 13. Let j be i(19). Let p = j - -62. Suppose -291 - p = -5*k. Is k a multiple of 11?
False
Let a = -31 + 37. Suppose a*p - 284 = 2*p. Is p a multiple of 25?
False
Let m = 527 + -375. Is 5 a factor of m?
False
Let u be 1 + -1 + -2 - 0. Let n be 22/4 + 1/u. Suppose x = n*x - 96. Is x a multiple of 8?
True
Suppose 91*f - 123*f = -4384. Does 3 divide f?
False
Suppose 3*c - 13 = -4. Suppose c*b = -6 + 18. Let m = b - -22. Is m a multiple of 18?
False
Suppose 42*j - 3240 = 6*j. Is j a multiple of 3?
True
Suppose -21*y + 26*y + 1935 = 4*p, p = -2*y + 500. Is p a multiple of 14?
True
Is 2 a factor of 4 - (43/(-1) + 8)?
False
Let w(c) = c**3 + c**2 + c + 1. Let i be w(0). Let t(s) = 177*s**2 + s - 2. Let a be t(i). Suppose 3*m - a = -m. Does 20 divide m?
False
Let w(d) = 24*d. Suppose 4*n + 18 = n. Let u be ((-2)/n)/((-3)/(-9)). Is w(u) a multiple of 12?
True
Suppose 0 = 5*f - 4*k + 6 - 5, 0 = -2*f + 5*k - 14. Let s(o) = -o - o**f + 0*o + 3*o + 45. Is 9 a factor of s(0)?
True
Suppose 5*v = -m + 5711, 5*v - 5699 = -36*m + 32*m. Is 9 a factor of v?
True
Suppose -o - 5*j = -3*o - 13, -o + 4*j = 8. Let b(w) = -w + 36. Is b(o) a multiple of 8?
True
Suppose -24 = -5*c - p, -2*c + 2*p = -c - 7. Suppose -71 = c*x - 291. Does 11 divide x?
True
Let d be -2*(-1)/(-6)*(-5 + -64). Suppose -d*z + 54 = -22*z. Does 17 divide z?
False
Suppose 2*n - 11*n = -27. Is 0/(-2) - 1*(-51 + n) a multiple of 8?
True
Suppose -39420 = -50*x + 32*x. Is x a multiple of 26?
False
Suppose -t - 33 = -4*h - 14, -5*h + 4*t + 32 = 0. Suppose -8*a + h*a + 324 = 0. Does 10 divide a?
False
Let h = -132 + 132. Let m(r) = 4*r**2 + 4*r + 4. Let w(n) = 7*n**2 + 7*n + 8. Let x(b) = -5*m(b) + 3*w(b). Does 4 divide x(h)?
True
Suppose -36288 = -55*n + 13*n. Is n a multiple of 54?
True
Let t(r) = -r**3 + 7*r**2 - 5*r - 7. Let b be t(5). Suppose b - 5 = l - 5*k, -3*l + 52 = -2*k. Does 3 divide 2 + -2 + l/2?
True
Suppose -2*o + 2790 = 5*i, 0*i + 5*o = 2*i - 1145. Is 28 a factor of i?
True
Suppose 5*m - p - 61 = p, p = -3*m + 30. Suppose 3*o - m - 1 = 0. Suppose 5*j = 3*v - 187, o*v + 3*j = -j + 228. Is v a multiple of 15?
False
Let z(l) = -57*l**3 - 7*l**2 + 6*l + 7. Is 31 a factor of z(-2)?
False
Let c = 27 - 19. Let l(o) be the first derivative of -o**2/2 + 11*o - 14. Does 2 divide l(c)?
False
Let g(k) = 2*k**2 + 5*k. Let f = 5 - 11. Is g(f) a multiple of 14?
True
Let k be 2 + (0 - 1) + 14. Let h(w) = w**2 - 12*w - 5. Does 20 divide h(k)?
True
Suppose -5*x + 3*k = -25, 4*x - 4*k - 6 - 14 = 0. Suppose 171 - 41 = x*o. Is 13 a factor of o?
True
Is 23/(207/1062) + -1 + -2 a multiple of 5?
True
Let r = -186 + 230. Is 31 a factor of r?
False
Suppose 0 = -6*x + 12*x - 24. Suppose 5*o = x*l + 405, 4*l - 117 = -2*o + 45. Does 27 divide o?
True
Let s(r) be the second derivative of -r**5/20 - 2*r**4/3 - 4*r**3/3 + 3*r**2 + 39*r + 2. Let j be (-7)/(-2)*(-2)/1. Is s(j) a multiple of 2?
False
Let f be 2/10 + (-756)/(-45). Suppose f*y - 10*y = 1050. Does 10 divide y?
True
Let c(i) be the second derivative of 0 + 1/2*i**3 + 1/3*i**4 - 2*i**2 + 4*i. Is c(-5) a multiple of 14?
False
Let u = -144 + 154. Let f(w) = -5 - 2*w + 3*w + 0. Does 5 divide f(u)?
True
Suppose 9*k = -2880 + 14589. Does 11 divide k?
False
Let o = -213 + 599. Is 45 a factor of o?
False
Suppose 29*h - 10284 = 23472. Does 12 divide h?
True
Let j(f) = -2*f - 47. Let k be j(-20). Let h(c) = c**3 + 7*c**2 - 3*c + 13. Is h(k) a multiple of 5?
False
Suppose 549 - 3549 = -12*m. Does 25 divide m?
True
Let m(d) = d**2 + d. Let g be m(9). Let s = g + -50. Is s a multiple of 20?
True
Let i(g) be the first derivative of g**2/2 - 6*g - 2. Let w be i(9). Suppose -2*s - w*j + j = -36, s = -2*j + 19. Is s a multiple of 17?
True
Let b = 17 - 13. Suppose 3*h + 3 - 15 = 0, 3*a - b*h = 35. Is a a multiple of 4?
False
Let b(a) = -a**3 - 6*a**2 + 2. Let c be b(-6). Let k be (0/(3/(-3)))/c. Suppose -2*m + 106 = -3*f - f, -2*m + 2*f + 96 = k. Is m a multiple of 25?
False
Suppose 5*i = i + 20. Suppose 0 = 2*t 