 w be x(2). Let k = 50 - w. Is 9 a factor of k?
False
Let g(b) = 4*b - 10. Is 2 a factor of g(3)?
True
Let a(k) = -k**2 - 1 + 2 + 14*k**3 + 18*k**3. Is 16 a factor of a(1)?
True
Is 1160/45 - (-8)/36 a multiple of 7?
False
Let k = 24 + -9. Is k a multiple of 15?
True
Let c be (-2 + 1)*2 + 2. Let y be c*3/(-9)*-3. Suppose y = -4*i + 3*i + 4. Is i a multiple of 2?
True
Let q(x) = 20*x + 6. Does 18 divide q(6)?
True
Let c = -23 - -49. Let j = 49 - c. Does 23 divide j?
True
Let r be (-1 - 0) + 3 + -1. Let l = -1 + r. Suppose -3*i + 8*h - 3*h + 55 = l, 0 = 3*i + 5*h - 95. Is i a multiple of 11?
False
Suppose -5 + 1 = -2*a. Suppose a*y + 60 = 5*y. Does 7 divide y?
False
Let r be ((-5)/(-10))/((-2)/(-204)). Does 18 divide r + 2/(0 - 2)?
False
Let t(v) = -v**2 - v + 14. Suppose -6*w + w = 5, -3*d - 3 = 3*w. Is 14 a factor of t(d)?
True
Let j(i) = i**3 + 7*i**2 - 8*i + 10. Is j(-8) a multiple of 5?
True
Suppose 0 = 3*j + 8 - 2. Let c = j - -14. Does 12 divide c?
True
Let u = 142 + -88. Is 18 a factor of u?
True
Suppose 0 = -5*a + a - 4*q + 48, 0 = 4*a + 2*q - 52. Let s be a/6*36/(-4). Let b = 40 + s. Is b a multiple of 9?
False
Suppose -4*d + 4*k = -88, -d - k - k + 37 = 0. Is d a multiple of 9?
True
Suppose 26 = 2*s - 5*j, 3*s - 2*j + 12 = 5*s. Suppose -3*n + 4*x - s*x + 157 = 0, -5*n - 2*x = -285. Is n a multiple of 24?
False
Suppose 2*m + 17 = -1. Let s = 19 + m. Let v = -1 + s. Does 4 divide v?
False
Suppose u - 3*u + 8 = 0. Suppose 2 = -r + u. Suppose -r*c + 22 = -34. Is 8 a factor of c?
False
Let h = -5 - -7. Let l be (h/3)/((-2)/(-66)). Suppose -4*s + 40 - 2 = -2*j, l = 2*s + 2*j. Is s a multiple of 10?
True
Suppose -5*i + 0*i - 4*j + 28 = 0, 2 = i + 2*j. Let d = i - 3. Is 6/15 - (-48)/d a multiple of 5?
True
Let z = -218 - -137. Let b = 36 - z. Is b a multiple of 39?
True
Suppose -u + 2*s = 2, -5*s + 3 = -u - 2. Suppose v - q = u, 4*q = 3*v - 0 + 3. Suppose -60 = -3*m + p, 5*m - 80 = -2*p - v*p. Is m a multiple of 5?
False
Suppose 0*s + 2*s = 0. Suppose -h + 4*y + y + 20 = s, 0 = h + 3*y - 52. Is 19 a factor of h?
False
Let v(p) be the first derivative of -p**3/3 - 5*p**2/2 + 4*p + 3. Let r be v(-5). Suppose j - 5*s = r, 2*j + 4*s + 41 = 7*j. Is j a multiple of 9?
True
Suppose 0 = -5*m - t + 64, -3*m + 48 - 8 = t. Let o = 8 - 6. Suppose -m = g - o*g. Does 5 divide g?
False
Let w(y) = 3*y**2 + 14*y + 19. Let d(p) = -2*p**2 - 9*p - 13. Let n be ((-5)/2)/((-4)/(-8)). Let k(g) = n*w(g) - 7*d(g). Is 4 a factor of k(-5)?
False
Let w(l) = -l**3 + 9*l**2 + 2*l + 8. Is 9 a factor of w(9)?
False
Suppose 4*l + l = -530. Let i = l - -148. Does 26 divide i?
False
Suppose m = 4*v + 312, -2*m + 158 = -v - 459. Is 11 a factor of m?
True
Suppose -29*d = -26*d - 357. Is 7 a factor of d?
True
Suppose 7*g - 4*g = 273. Is 19 a factor of g?
False
Let f = 10 - 7. Suppose m + 14 = 3*o - 0*o, -f*m = 2*o - 24. Is o a multiple of 4?
False
Let t be 75*1 - 2/(-1). Let u(j) = j**3 + 4*j**2 - 4*j. Let k be u(-6). Let r = k + t. Does 14 divide r?
False
Suppose -n - 2*d = 2*d - 80, 0 = 2*n - 3*d - 204. Is 26 a factor of n?
False
Is 24 a factor of -9*6/(-63)*112?
True
Suppose -3*y = -7 - 2. Suppose y + 5 = n. Is n a multiple of 4?
True
Suppose 0 = -8*m - 68 + 740. Is m a multiple of 17?
False
Let w(c) = -c - 2. Let i be w(5). Let a(m) = -3*m**2 + m + 2. Let b(n) = 5*n**2 - 3*n - 4. Let o(r) = i*a(r) - 4*b(r). Does 18 divide o(-8)?
False
Let s(q) = -5*q**3 + q. Let o be s(-1). Suppose -o*n + 90 = 2*h + 8, 4*h + 70 = 5*n. Is n a multiple of 18?
True
Does 10 divide -2 + 6/9 + (-2496)/(-36)?
False
Let s(t) = t**3 - 9*t**2 + 11*t - 1. Let d(o) = o**3 + 4*o**2 - 1. Let n be d(-3). Is 11 a factor of s(n)?
False
Suppose -22 + 2 = -2*c. Suppose 4*v = 5*x + c, 0 = -5*v + 12 + 13. Suppose -9 = x*y - 77. Is y a multiple of 12?
False
Suppose -10*n = -7*n - 126. Is n a multiple of 17?
False
Let x(b) = -4*b**3 - 3*b**2 - 2*b + 1. Is 20 a factor of x(-2)?
False
Let s(q) be the first derivative of 5*q**2/2 - 9*q + 2. Let p be s(6). Does 18 divide p - (-4)/(8/(-6))?
True
Let w(y) = y + 14. Let d be w(-9). Suppose 4*p + l = 166, -5*l + 1 = -d*p + 221. Is 16 a factor of p?
False
Let l be (1/3)/(1/6). Suppose 7*s = -5*u + l*s + 120, -s + 140 = 5*u. Does 12 divide 2/(-4) + u/2?
False
Let b(r) = r**3 - 6*r**2 + 2*r - 4. Let g be (-3 + (-3)/(-3))/2. Let x be ((-3)/(-6))/(g/(-12)). Is b(x) a multiple of 4?
True
Suppose -5*j = 2*j - 126. Suppose -2*t + t + j = 0. Is t a multiple of 16?
False
Let w(d) = 5*d**2 - 5*d + 4. Let v be w(4). Suppose 4 = n - v. Suppose k = 6*k - 4*y - n, 2*k = -4*y + 16. Is 12 a factor of k?
True
Suppose 4*t + 3 = 3*t. Let n(j) = -3 - 4*j - j - 3*j. Does 15 divide n(t)?
False
Suppose 23 = 5*m - 2*m - 5*i, -i - 20 = -2*m. Suppose -3*y - 5*o + 11 + 12 = 0, y - m = -5*o. Does 6 divide y?
True
Let l(f) = 4*f - 6. Is 35 a factor of l(19)?
True
Let b(n) = 7*n - 79. Let o(h) = 4*h - 39. Let s(l) = -3*b(l) + 5*o(l). Is s(0) a multiple of 12?
False
Let u be 1/((-3)/(-3))*213. Suppose 5*h - u = 72. Is h a multiple of 15?
False
Let h = -68 + 98. Let m = 78 + h. Suppose -5*p + f + f + 180 = 0, 0 = 3*p + 3*f - m. Is p a multiple of 12?
True
Let h be 4/14 - (-4)/(-14). Let p(w) = w**3 - w**2 - w + 3. Let u be p(h). Let g(q) = 3*q**2 - 4*q + 4. Is g(u) a multiple of 5?
False
Suppose 0 = 2*x - 78 + 20. Suppose a - c - x = 4*c, 0 = -5*a + 3*c + 233. Does 15 divide a?
False
Suppose 3*o = -0*o + 12. Let v be 4/6*1146/4. Suppose -o*c + 2*k = c - v, -k = 3. Does 13 divide c?
False
Let w = 12 + -7. Does 4 divide w?
False
Does 4 divide -3*13*(0 - 1)?
False
Let u(h) be the second derivative of -101*h**5/20 + h**3/6 - 2*h. Let x be u(1). Is 1/2*x/(-5) a multiple of 4?
False
Let c(v) = -4*v + 27. Is c(0) a multiple of 27?
True
Is (-249)/(-27) + (-4)/18 a multiple of 6?
False
Let j(p) = -p**3 + 43. Suppose -3*g = -5*t + 15, -5*g = -0*t - 4*t + 12. Does 12 divide j(g)?
False
Let m be (-1)/(((-4)/16)/1). Suppose 0 = -m*q + 6*q - 64. Is 16 a factor of q?
True
Suppose -8 = -5*j + q, -j + 3*q + 2 - 6 = 0. Suppose 0*c = j*c - 64. Does 10 divide c?
False
Let i(o) = -o**3 + 6*o**2 + o + 2. Is 8 a factor of i(4)?
False
Let p(a) = -40*a - 7. Is 29 a factor of p(-10)?
False
Suppose 0 = n + 15 - 2. Let i = 23 + n. Does 9 divide i?
False
Suppose -2*b = -4*y + 8, 3*b + 2*y = 2*b + 4. Suppose b*o = 2*o. Is 10 a factor of 2 - (-10 - (o + 0))?
False
Suppose -4*g + 5 + 3 = 0. Suppose -g*c + 6*c - 71 = -5*w, -5*c = -w + 20. Is 5 a factor of w?
True
Let m(n) = n + 15. Let l be m(-11). Suppose l*d - 12 = 3*d. Does 8 divide d?
False
Let p = 14 - 8. Let z(j) = -j + 8. Let w be z(8). Suppose 2*b = d - w*d - 24, d = -4*b - p. Does 7 divide d?
True
Let l be (8/(-16))/(1/(-2)). Suppose -5 = -j - 3*i + 2*i, -3*i = j + l. Does 4 divide j?
True
Let m(p) = -p - 2. Let y be -2*(-3)/(-2) - 5. Is m(y) a multiple of 3?
True
Let h = -2 + 50. Suppose -2*y + h = -0*y. Is 4 a factor of y?
True
Let n(m) = m**3 - m**2 + m. Let u(f) = -f**3 + 8*f**2 - 4*f - 8. Let r(i) = 2*n(i) + u(i). Let y be r(-6). Let p = 4 + y. Is 5 a factor of p?
False
Let j = -4 - -8. Suppose 0 = j*g + 2 - 10. Suppose 3*r + 62 = g*i, -2*i - 3*i = 2*r - 117. Is 9 a factor of i?
False
Suppose -3*z - 6 = -6*z. Suppose 0 = i + 3*a - 27, -3*i - 3*a + 41 = -z*a. Is 6 a factor of i?
True
Let n(y) = 2*y + 4. Let f be n(3). Let q = f - 0. Is 5 a factor of q?
True
Suppose 2 = c - 1. Suppose 5*a - 25 = c*a + k, 2*a + 2*k - 40 = 0. Is 15 a factor of a?
True
Let u(q) = -74*q + 32. Does 15 divide u(-2)?
True
Let v(s) = -s + 103. Let b be v(0). Let r = -48 + b. Is 19 a factor of r?
False
Let y be (-10)/1*(-2)/4. Suppose -25 = -v + y*c + 20, 85 = 5*v + 3*c. Is 10 a factor of v?
True
Suppose 13 = m - 20. Is m a multiple of 33?
True
Let d(p) = -p**2 - 14. Let k be d(0). Let y = k + 24. Is 5 a factor of y?
True
Suppose -8*v + 117 + 219 = 0. Does 4 divide v?
False
Let s(y) = -2*y**3 - 4*y**2 - 2*y + 2. Let u(x) = -x**3 + 6*x**2 - 6*x + 3. Let v be u(5). Let w(o) = -o**2 - o. Let n be w(v). Is s(n) a multiple of 3?
True
Suppose 4*m + 20 = -m. Let u be 180/3*m/(-10). Let p = 51 - u. Is 9 a factor of p?
True
Suppose 0 = w + 3*j + 1 - 3, 5*w = -3*j + 22. Suppose l + u + 0*u - 24 = 0, w*l - u - 150 = 0. Does 10 divide l?
False
Let p(j) = j**2 - 1. Let h be p(-3). Suppose 0 = -4*i + 16, 3*i + 