) = y**2 - y + 3. Let c(z) = z**2 + 6*z + 6 + 1 - 2. Let w be c(-5). Is 3 a factor of k(w)?
True
Let o = 39 + -36. Suppose -o*j = -4*q + 188, j = 3*q - 4*q + 54. Is 7 a factor of q?
False
Let o = -239 - -270. Does 18 divide o?
False
Let j(d) = d**2 + 2*d - 13. Let p be (-9)/(-2)*(-24)/18. Does 2 divide j(p)?
False
Let q(v) = -9*v + 165. Is 33 a factor of q(0)?
True
Let b be (1/3)/(2/(-1758)). Let l = -191 - b. Is l a multiple of 18?
False
Is 30 a factor of (-1170)/4*(-1)/((-7)/(-14))?
False
Let d = -246 - -404. Suppose -4*g + d = -3*a, 5*a - 51 = -g - 0*a. Suppose -2*w + 25 = -g. Is 11 a factor of w?
True
Let s(u) = u**2 - 8*u + 2. Let r be s(8). Let c be -2*(-6)/(-4) + 40. Suppose v + c = r*v. Does 9 divide v?
False
Let u be (-6 - -2)*2*(2 + -1). Is (u - -2)/((24/27)/(-4)) a multiple of 9?
True
Suppose -4*z + 1790 = -0*z + 2*x, x - 447 = -z. Is z a multiple of 7?
True
Suppose -2*q = -4*l - 5*q + 911, -5*l = 4*q - 1140. Does 14 divide l?
True
Suppose 0 = -3*w - 4*p - 329, 6*w - w + 4*p + 535 = 0. Let i = 253 + w. Does 28 divide i?
False
Suppose 3*g - 11 + 2 = -2*f, -3*f = 5*g - 12. Suppose -4*k + s = -f*k - 7, -3 = -k + 2*s. Let p(v) = -40*v - 1. Is p(k) a multiple of 20?
False
Let b(r) be the third derivative of r**7/420 + r**6/180 - r**5/120 + 5*r**4/12 + 10*r**2. Let j(w) be the second derivative of b(w). Is j(-4) a multiple of 33?
False
Let k(w) = -68*w - 19. Is 32 a factor of k(-7)?
False
Suppose 2*r + 4*g = -g + 15, 15 = -5*g. Suppose -r = 3*q, -7*f - 3*q = -2*f - 390. Is f a multiple of 23?
False
Let p be (-5)/(2/(-6)*3). Let c = -4 + p. Does 28 divide 85 + (-5 - (c + -5))?
True
Let u = 255 - 165. Is u a multiple of 15?
True
Let b = 25 - 22. Let i(p) = -3*p**b - 4*p**2 - 4 - p + 4*p**3 + 2*p**3 - 2*p**3. Does 4 divide i(5)?
True
Does 11 divide 5 + (4/(-6) - (-3683)/3)?
True
Let l(b) = 54*b**2 - 23*b + 114. Is 41 a factor of l(6)?
False
Suppose 1943 = 4*d - 3*a, -2*d = 4*a - 463 - 481. Is d a multiple of 10?
False
Let z be 3/(0 - (-9)/6). Let s = 22 - z. Is s a multiple of 3?
False
Let h = 43 + -115. Is 3 a factor of (-880)/h - 1/((-18)/(-4))?
True
Suppose 120 = r + 2*r + 4*s, 5*r - 165 = 5*s. Suppose -4*d = -3*i + 147, 0*d - r = -i - 3*d. Is i a multiple of 45?
True
Suppose 162756 = 64*m - 10*m. Does 15 divide m?
False
Let q = -15 - -20. Let h = 1 + q. Suppose 2*c - 28 = h. Is 4 a factor of c?
False
Let t be 1/(-4*3/(-36)). Suppose -o - 2*k = -1, -2*o - t*k + 1 = -2. Suppose 4*v = -12, 0 = -0*g - 2*g + o*v + 65. Is 14 a factor of g?
True
Let r(w) = -w**2 - w + 304. Let y be r(0). Suppose -4*l = -0*l - y. Let t = -36 + l. Does 40 divide t?
True
Is ((-336)/80)/(1/(-35)) a multiple of 15?
False
Suppose -144 = -3*i - 6. Let z = i - 8. Is 23 a factor of z?
False
Let i(q) = q**2 - 3*q - 3. Let k be i(3). Let a be (2/6)/(k/(-18)). Suppose -2*v = -v + a*c - 22, -3*c = -2*v + 44. Is 11 a factor of v?
True
Let w(k) = -k**2 - 6*k + 3. Let j be w(-6). Suppose 33*x - 480 = 1203. Suppose -5*c + 3*o = -x - j, -4*o - 28 = -3*c. Does 4 divide c?
True
Is 13/(-39) - (-61)/3 a multiple of 15?
False
Let x = 862 + -532. Is x a multiple of 40?
False
Suppose 3*h - 60 = 5*w + 322, -2*w = -8. Suppose 0 = -3*m + m - 2*y - 166, -y - 171 = 2*m. Let o = h + m. Is o a multiple of 8?
False
Let m be 3 - (0 - (5 + 1)). Suppose 12*g - m*g = 438. Let t = -83 + g. Is 7 a factor of t?
True
Let v = -286 - -607. Is 20 a factor of v?
False
Let a(d) = -d**3 + d**2. Let v be a(0). Let j be (-8 + 8)/(2 - v). Suppose -145 = -j*n - 5*n. Is 8 a factor of n?
False
Suppose 0*y - 4*y + 92 = b, 0 = 2*b + 3*y - 189. Is b a multiple of 24?
True
Let v = 34 + -30. Suppose -6*p + 126 = l - 3*p, l - 112 = v*p. Is 12 a factor of l?
True
Let u(y) = 2618*y**2 + 3*y - 3. Let v be u(1). Suppose -6*g = 8*g - v. Is 17 a factor of g?
True
Let i(b) = -b**3 - 4*b**2 + 10*b - 2. Suppose 0 = 3*q - 21 - 24. Let h = -22 + q. Is i(h) a multiple of 15?
True
Suppose -2*h - 16 = -6*h. Suppose -h*q = 2*u - 30, 4*q - 3*u - 2*u - 51 = 0. Let l = q + -5. Is 2 a factor of l?
True
Let f(s) = 28*s**2 - 47*s - 341. Does 49 divide f(-7)?
False
Let m(s) = -2063*s + 45. Is 22 a factor of m(-1)?
False
Suppose 40 = 5*n - 4*z, 2*n = -z - 4*z - 17. Suppose 3*q - 16 = -n. Is (q/(-6))/((-6)/1125) a multiple of 27?
False
Suppose r - 31 = -3*r - 3*j, 9 = -4*r + 5*j. Suppose d = 2*f - 3*f + 19, d = -r. Does 2 divide f?
False
Let d(r) be the second derivative of -r**5/20 + 7*r**4/12 - r**3/3 + 5*r**2 + 7*r. Is d(6) a multiple of 19?
False
Suppose 16 = 11*m - 3*m. Does 3 divide ((-2)/3)/(m/(-3)) - -13?
False
Suppose -15 = -2*w - 3*w. Suppose w*q - 7*q + 16 = 0. Suppose -12 = -q*u, 2*h - 3*u = 19 + 94. Is h a multiple of 18?
False
Let h(t) = -t**3 - 20*t**2 - 26*t + 41. Is 82 a factor of h(-19)?
False
Let t(f) = -7*f + 1. Let a be t(-2). Let v = -7 + a. Let u(r) = 2*r. Does 11 divide u(v)?
False
Let q(w) = -8*w + 8. Suppose 0*r - 2*k = -3*r - 7, 5*r + 3*k = -37. Let l be q(r). Suppose 3*c - 36 - l = 0. Does 28 divide c?
True
Suppose 5*o - 38 - 32 = 0. Suppose 9*h - o*h + 40 = 0. Is 4 a factor of h?
True
Suppose -2*w + 3*y + 1567 = 8*y, w + 4*y - 791 = 0. Does 19 divide w?
False
Let j(n) be the second derivative of n**5/20 - n**4/4 + n**3/3 + 3*n**2/2 - 51*n. Suppose -3*t - 21 = -5*g, 2*g - 6*g + 16 = -2*t. Is 4 a factor of j(g)?
False
Let d(p) = 11*p + 1. Let j = -7 + 6. Let z be d(j). Let y = z + 24. Is 5 a factor of y?
False
Let h be (-2)/11 - 6/(-33). Suppose r + 7 + 4 = h. Let p = 21 + r. Is 10 a factor of p?
True
Suppose 3*k = 2*k + 12. Let t = 20 - k. Let c = t - -4. Does 2 divide c?
True
Let v = 1181 - 727. Is 12 a factor of v?
False
Let n(q) = -13*q - 102. Does 27 divide n(-12)?
True
Let g(u) = u**3 - 1. Let y(c) = 5*c**3 + 10*c - 10. Let z(a) = 6*g(a) - y(a). Is 20 a factor of z(6)?
True
Suppose -6*d = -4*d - 1240. Suppose n + 521 = 4*r, r - 6*r = 5*n - d. Is 33 a factor of r?
False
Suppose 12*m - 485 = 3835. Does 4 divide m?
True
Suppose 2 = 4*p - 2, 0 = -4*s + 5*p + 75. Suppose 5*m = 5*z, 0*m = 3*z + m - s. Suppose 102 = 3*y - 5*j, -2*y + 33 = -z*j - 35. Does 34 divide y?
True
Let c be (-1)/2*48/(-6). Suppose 4*a - 672 = -c*a. Does 28 divide a?
True
Let n(a) = 2*a**3 - 4*a**2 - 37*a + 49. Does 20 divide n(7)?
True
Suppose -4*f - f + t = -1638, -t + 658 = 2*f. Is f a multiple of 41?
True
Let h = 286 + -196. Let v = h - 18. Is v a multiple of 8?
True
Suppose -6*w - 336 = -2*w. Let t be 110/4*w/(-10). Suppose -64 = -z - 2*l - 9, 3*l + t = 4*z. Does 19 divide z?
True
Let c = -444 + 708. Suppose 0 = 3*y + 3*y - c. Is y a multiple of 22?
True
Suppose m - 8*u + 4*u = 637, 3*u = -2*m + 1241. Is m a multiple of 6?
False
Let l be 8/6 - (-15)/9. Suppose o - 2*g = -4*g + 142, 0 = -l*o + 2*g + 386. Let u = -91 + o. Is u a multiple of 11?
False
Let p = -3 - -4. Let b(l) = p - 3*l + 6*l - 2*l + 7*l. Is b(6) a multiple of 14?
False
Let n be (-2120)/(-10)*3/4. Suppose -2*c + n = -c. Suppose 5*o - c = -2*g, -4*g + 206 - 43 = 5*o. Is o a multiple of 9?
False
Suppose -3*r = -3*h - 369, -5*r + 3*h + 615 = h. Let m = -79 + r. Is 11 a factor of m?
True
Let l(p) = -2*p + 24. Let y be l(11). Suppose y*h = -3*h + 20. Suppose -10 = -g - 2*k, 5 = -h*k - 7. Does 6 divide g?
False
Let a(u) = u - 2. Let f be a(5). Suppose 0 = f*o + 5*p - 124, 0 = -2*o + 3*o - 2*p - 23. Does 12 divide o?
False
Let g(y) = y**2 - 5*y + 4. Let w be g(4). Let u be (w - 3) + -5 + 8. Suppose -3*l - 4 = 2*f + 2, u = -4*f + 5*l + 32. Is f a multiple of 3?
True
Suppose j + 2*a - 136 = 0, 0 = 4*j + 2*a + 2*a - 524. Is j - (4 + (-3 - -3)) a multiple of 22?
False
Suppose 2*r - 5*i - 38 = -0*r, 2*i + 8 = 0. Let l = r + -6. Suppose 4*t + 36 = -f + 3*f, -l = -t. Is f a multiple of 12?
True
Let j = 632 + -253. Does 22 divide j?
False
Let u(s) be the second derivative of 14*s**4/3 + 2*s**3/3 - 7*s**2/2 - s. Is 16 a factor of u(2)?
False
Suppose 0 = h + 4*v + 9 + 1, -2*h - 2*v = 2. Let g(p) = -1 + 5*p - h + 9 - 4. Is g(5) a multiple of 21?
False
Let q = 12 - 7. Let c(r) = r**2 + 6*r - 7. Does 11 divide c(q)?
False
Let f(r) = r**2 + 16*r + 19. Does 34 divide f(-21)?
False
Suppose -21*c = -26*c + 350. Let x(z) = 2*z**2 + 4*z - 1. Let v be x(-3). Suppose -v*d + 25 = -c. Is 7 a factor of d?
False
Suppose 5*u = -361 - 129. Let n = u - -110. Is 3 a factor of n?
True
Suppose -16 = -0*q - 3