iple of 25?
False
Let s(a) = a**2 - 6*a - 6. Let q be s(8). Let z = 36 - q. Does 13 divide z?
True
Suppose 3*k + 4*n - 1221 = 0, 6*n = -k + 4*n + 407. Is k a multiple of 19?
False
Is 96 a factor of 24/(329/(-84) + 4)?
True
Let h(i) = 0*i - i - 6 - 11*i. Let a(k) = -k + 2. Let j be a(6). Is 13 a factor of h(j)?
False
Let v = 139 + 3. Let s be (-10)/(-15) - v/(-3). Suppose h - 96 = -2*l, 4*l + 2*h - s = 3*l. Does 12 divide l?
True
Let u(z) = -z**2 + z. Let s(v) = -v**2 + 9*v. Let j(w) = s(w) - 2*u(w). Does 18 divide j(2)?
True
Let l(k) = 2*k - 68. Let f be l(28). Let w(x) = x**3 + 14*x**2 + 23*x + 9. Is 21 a factor of w(f)?
True
Suppose -10 = 5*z + 5*u, 0*u + u = 4*z + 13. Does 11 divide z + (5 - 5) - 6*-14?
False
Let w = -257 - -1264. Is 19 a factor of w?
True
Let i(c) = c**3 + 2*c**2 - 3*c - 3. Let t be i(-2). Let a be (t/9)/(5/(-30)). Is 27 a factor of (a/8)/(13/(-1924))?
False
Suppose 5*s - 6*s = -323. Suppose -4*u + s = 95. Suppose 0*r - u = -4*r - c, 3 = -c. Is r a multiple of 7?
False
Suppose -2*k + 5 = c, -5*c + 32 = k + 2*k. Let w(f) = -2*f**2 - 2*f + 8*f**2 + 10*f + 2 - 7*f**2. Is 9 a factor of w(c)?
True
Suppose 10 = -5*a + 4*k - 0, -16 = -3*a - 2*k. Suppose -c = y - 41, 2*y + c = a*c + 67. Is y a multiple of 4?
True
Suppose -5*i - 41 = 24. Let k be (1 - -1) + -2 - -17. Let b = k + i. Is b even?
True
Is 5 a factor of 2452/10 + (-21)/105?
True
Does 22 divide 27/(108/(-2296))*20/(-8)?
False
Let y be (128/80)/((-2)/(-5)). Suppose 4*q + q = -d + 42, d = -y*q + 43. Suppose -5*c + d = -58. Is 7 a factor of c?
True
Suppose 0 = -4*a + 2*d - 10, -4*d = -2*a + 7*a + 32. Is 6 a factor of a/2*(-38 + 19)?
False
Let q(a) = -5*a**2 + 27*a + 11. Let k = 18 + -25. Let h(p) = 3*p**2 - 14*p - 5. Let b(o) = k*h(o) - 4*q(o). Does 7 divide b(-6)?
False
Let l = 9 + -4. Suppose 3*h + 2*f = 101, l*h - 114 - 56 = -5*f. Let b = -22 + h. Is b a multiple of 11?
True
Let g(z) = -2*z**2 + 10*z + 4. Let v be g(5). Let t be (v + -2 - 3)*0. Suppose t = 4*m, p + 56 = 5*p + m. Is 7 a factor of p?
True
Suppose 0 = 3*k + 3*d - 72, -2*k + 22 = -3*d - 46. Let q = 61 - k. Is 31 a factor of q?
False
Let h(u) = -88*u + 5. Let l(v) = 177*v - 8. Let k(o) = 11*h(o) + 6*l(o). Does 10 divide k(2)?
False
Suppose v = -50 - 1. Let w = -3 + v. Let l = w - -86. Is 14 a factor of l?
False
Let l(y) = 2*y**2 + 8*y + 4. Let q be l(-3). Let u = q - -2. Suppose u*z + 16 = t + 2*z, 5*t + z - 116 = 0. Is 16 a factor of t?
False
Let w be (-8)/14 + 8304/28. Suppose -6*m = -2*m + w. Let v = -44 - m. Is 7 a factor of v?
False
Suppose 0 = w - 3*r - 11, -2*r - 11 = -w - 3. Suppose -w*g + 425 = 101. Is g a multiple of 27?
True
Let i = -119 + 66. Let b = 3 - i. Does 10 divide b?
False
Suppose a + 0*z - 16 = 4*z, 5*z + 35 = 5*a. Suppose 0 = 2*n - 8 - a. Is 5 a factor of (-546)/(-35) + n/(-10)?
True
Is (-446 - 13)*(-6)/9 a multiple of 18?
True
Let x = -696 + 1776. Does 45 divide x?
True
Let i(n) = n**3 - 13*n**2 + 24*n - 5. Let v be i(10). Let f = v - -71. Is 3 a factor of f?
True
Is -2 + 1484 - 30/30 a multiple of 29?
False
Let b(u) = u**2 + 6*u. Let m be b(-6). Suppose 2*t = 2*w - t - 66, 4*t - 8 = m. Does 33 divide w?
False
Let n be 4/(32/(-22))*(-364)/(-7). Let u = n - -170. Is 6 a factor of u?
False
Let s be ((-2)/(-2))/((-1)/(-9)). Let f be (-2 + (-1)/(-2))*-14. Let g = f + s. Is g a multiple of 10?
True
Let s = 7 - -4. Suppose -s*g = -16*g. Suppose -5*q + 130 = -g*q. Is 14 a factor of q?
False
Suppose 0*y + 4*y = 3*a - 942, -4*a + 1275 = y. Let b = a - 51. Is b a multiple of 39?
False
Let w = 584 + -332. Is 9 a factor of w?
True
Let o = -120 + 123. Suppose o*w - 336 = w. Does 28 divide w?
True
Suppose 0 = 7*w + w + 192. Let o = 93 + w. Is 10 a factor of o?
False
Let d be 51/(-2)*4/(-6). Let x = 36 + d. Is 21 a factor of x?
False
Suppose 0 = 2*g + 2*k - 220, 2*g + 3*k + 98 - 319 = 0. Suppose u + g = 4*y, 2*y - u - 42 = -3*u. Does 13 divide y?
True
Suppose s + b = -4*b + 249, 4*s - 1091 = -b. Let x = 503 - s. Suppose 5*v + 59 = x. Is 7 a factor of v?
False
Suppose -3*b - j + 3 = -1, b - 4*j = -16. Suppose -5*f + 287 + 473 = b. Is f a multiple of 38?
True
Let w be (10/(-7))/((-3)/42). Let n = -6 + w. Is n a multiple of 7?
True
Suppose 4*h + 0*v - 6 = 5*v, 2*h - 5*v + 2 = 0. Suppose -a + 4*u - 13 = 0, h*u + u = 15. Does 8 divide a/1*(-32)/2?
True
Suppose -5*h - 24 = -9*h. Suppose h - 2 = w. Is 78/4 - 2/w a multiple of 8?
False
Let q = 1843 - 845. Is q a multiple of 39?
False
Let h = 174 - -540. Is 0 - (-1 + -2) - h/(-7) a multiple of 7?
True
Suppose -1 = -4*p + c, -2*p + 2*c = -6*p + 10. Let l be (-9 + p)*(-21)/(-14). Let d = 11 - l. Is 12 a factor of d?
False
Let l = 453 + -349. Is 52 a factor of l?
True
Let s = -115 - -109. Let h(b) = -b**2 - 7*b - 2. Is h(s) a multiple of 4?
True
Suppose 0 = 6*b - 4149 - 1935. Does 13 divide b?
True
Let q be 1*-185 - (-1 - 0). Let w = -611 - -512. Let f = w - q. Does 17 divide f?
True
Let i = 653 + -545. Does 2 divide i?
True
Let q = 34 - 106. Is (-347)/(-6) - 12/q a multiple of 4?
False
Let h(w) = 36*w - 1. Let z be h(4). Let l be (22/(-33))/(3 - (-30)/(-9)). Suppose -213 = -r - l*r + 3*m, -z = -2*r + 3*m. Does 12 divide r?
False
Let l be ((-2)/(-4))/(2/556). Suppose l = -b - 2*y + 44, 181 = -2*b + 5*y. Does 14 divide 6/(-2) + b/(-3)?
True
Is 21 a factor of 5*((-4 - -36) + 2)?
False
Let g(r) = -10*r - 2. Suppose 6*p = 3*p - 24. Is g(p) a multiple of 46?
False
Suppose 8*c - c = 1680. Is 48 a factor of c?
True
Suppose 0 = 5*d + 909 - 179. Let q = -50 - d. Suppose 6*y - q = 4*y. Is y a multiple of 27?
False
Let r(c) = c**2 - 25*c - 43. Is 7 a factor of r(-11)?
False
Suppose 4*w + 3*d - 14 - 11 = 0, -4*w = -4*d - 4. Suppose 4*j + 4*z - 284 = 0, -w*j - z - 145 = -6*j. Does 20 divide j?
False
Let j(a) = a + 1 - 4 + a - 7*a. Does 6 divide j(-4)?
False
Suppose -1797 + 1852 = 11*n. Suppose -3*q - 2*q = -40. Suppose -4*h = 8, c - q = -n*h + 26. Does 11 divide c?
True
Let o be (2 - (-15)/(-6))*-50. Suppose o*k - 30*k = -240. Is 24 a factor of k?
True
Let q(l) be the first derivative of -3*l**2 - 13*l - 2. Suppose 0*u = -3*u - 27. Does 15 divide q(u)?
False
Let w(t) = -t**3 + 4*t**2 + 4*t + 7. Let f be w(5). Let v(c) = 3*c + 6*c**2 - 4*c**f - 12 + 0*c**2 - 5*c. Is 12 a factor of v(6)?
True
Does 24 divide (-8 - -14)/(3/24)?
True
Let g be (-21)/(-9) - (-4)/(-12). Suppose 0 = -3*c - g*c. Suppose -2*l + 5*w + 44 = c, -l = -2*w - 4 - 19. Does 13 divide l?
False
Let x(p) be the third derivative of p**5/30 - p**4/12 - 3*p**3 - 35*p**2. Does 11 divide x(-4)?
True
Let p = -1176 - -3255. Is 9 a factor of p?
True
Let j(u) = -5*u - 2. Let h be j(-2). Let g = h + -2. Let a = g - -22. Is 14 a factor of a?
True
Let o be -1*(80/4 + 0). Let f = 22 + o. Suppose -5*k + 2*k - 33 = -q, -f*q + 52 = k. Does 20 divide q?
False
Suppose -4*l - 1263 = -9*l + 4*t, -3*t + 9 = 0. Let q = l - 149. Is q a multiple of 22?
False
Is (-1)/11 + 225420/330 a multiple of 58?
False
Suppose 7*d = 11*d - 2*u - 3720, -4*d + 5*u + 3714 = 0. Is 14 a factor of d?
False
Suppose 16*z - 1334 = -3*b + 21*z, 4*b - 5*z - 1782 = 0. Is 14 a factor of b?
True
Suppose -2 = 2*x - 2*c + 4, -5*x + c = -5. Suppose 4*n + i - 19 = 0, n - 17 = -x*n + 2*i. Is 3 a factor of n?
False
Suppose -53*v - 4305 = -58*v. Does 41 divide v?
True
Let k(s) = -s**2 - 3*s + 2. Let t be k(-6). Let x = t + 12. Is x/14 - 300/(-21) a multiple of 3?
False
Let v be 322/98 + 2/(-7). Suppose -v*m - 2*x = -76, 0 = -0*m - 4*m - 3*x + 100. Is 7 a factor of m?
True
Is (-270)/24*(-7 + 3) a multiple of 37?
False
Suppose 13550 = 5*j + 5*j. Suppose j + 969 = 14*s. Is 17 a factor of s?
False
Let w(s) = 7*s**2 - s - 1. Let t be w(2). Does 2 divide 5/(t/40)*1?
True
Let h = -265 + 411. Let s = 234 - h. Is 22 a factor of s?
True
Suppose 0 = -l - 0 - 7. Let m = l + 15. Is 8 a factor of m?
True
Let b = -476 + 626. Does 3 divide b?
True
Let j(i) = -56*i**3 - 2*i**2 + i + 3. Let t be j(-2). Suppose t = -r + 4*r. Is 21 a factor of r?
True
Let s(u) = -u**3 + 4*u**2 + 4*u + 2. Let b be s(4). Let h(k) = -k**2 + 21*k - 6. Does 12 divide h(b)?
True
Suppose 2*b - 5*k = -185, 5*k = 5*b + 2*k + 434. Let n = b + 150. Is 6 a factor of n?
False
Let u = -472 + 568. Is 8 a factor of u?
True
Suppose 22610 = -70*v + 155*v. Is 19 a factor of v?
True
Suppose d + 0*d = 1660. Suppose -5*a - 10