a = -23 + 34. Suppose a*v - 30 = 10*v. Is 4 a factor of v?
False
Let k(f) = 6*f**2 + 4*f + 20. Let c be k(-6). Suppose -c*m + 211*m + 108 = 0. Does 12 divide m?
True
Let y = 364 + -135. Is 14 a factor of y?
False
Let c be (1/(-3))/((-18)/81)*2. Suppose -5*d + 736 = -c*u - u, d = -4*u + 128. Is 23 a factor of d?
False
Let z = 2 - 8. Let p(d) = -10 + 10*d - 3*d + 2*d**2 + 14. Is p(z) a multiple of 17?
True
Let v = -7803 - -12450. Does 42 divide v?
False
Let o(y) = -5*y**2 + 3*y + 5. Let c = -12 - -18. Let r(k) = k**2 - 1. Let i(b) = c*r(b) + o(b). Does 17 divide i(-6)?
True
Does 108 divide 114920/56 + 5/(-3 - 32)?
True
Suppose 0 = -2*a + 4, -20821 = -5*b + 2*a. Is 17 a factor of b?
True
Let c = 4 - 5. Let g(b) = -3*b**2 + b. Let k be g(c). Let o(n) = 2*n**2 + 5*n + 6. Is o(k) a multiple of 7?
False
Suppose -4 - 5 = 3*p. Let d = 2 + p. Let s(q) = -36*q**3 - q**2. Is s(d) a multiple of 12?
False
Suppose -4*g = -3*c + 424, 3*g = 3*c - 36 - 387. Is 3 a factor of c?
False
Let u(c) = 16*c**3 - 7*c**2 + 3*c - 4. Is 15 a factor of u(3)?
False
Let c = -1369 - -1958. Is c a multiple of 16?
False
Suppose -5*l - 6*o + 50 = -o, 3*l + o = 24. Let n be (l/(-14))/(2/712). Let f = n - -253. Is 15 a factor of f?
True
Suppose 0 = 33*d + 13*d - 5796. Is d a multiple of 18?
True
Suppose 2*o + 1413 - 123 = 0. Let k = -449 - o. Is 41 a factor of k?
False
Suppose 0*d = 4*t + 3*d - 675, -5*t = -d - 820. Suppose -5*h - 2*c = -27, 2*h + 3*c - 8 = 5. Suppose -5*g + 277 = l - h*l, 3*g = 2*l + t. Is g a multiple of 16?
False
Let s(j) = j**3 - 3*j**2 - 7*j + 8. Let g be s(7). Suppose b + 20 = g. Let o = b - -14. Is o a multiple of 39?
False
Suppose -b = 5*u - 18, 15 = u + 2*b + 2*b. Suppose g - 3*k = 61, -118 = -3*g + u*k - 7*k. Suppose -y = -g - 28. Does 18 divide y?
False
Suppose -5*h + 2*x + 518 = 0, 5*h - 3*x = -6*x + 498. Suppose 10 = i - h. Does 14 divide i?
True
Suppose 14*w - 6*w + 24 = 0. Let f(m) = -5*m**2 + 3*m - 4. Let a be f(w). Let z = 94 + a. Does 12 divide z?
True
Let c = 1626 + -879. Does 17 divide c?
False
Suppose u = 2*x - 33, 0 = -40*u + 39*u - 1. Is x a multiple of 16?
True
Let t(h) be the first derivative of -h**4/4 + 3*h**3 - 15*h**2/2 + 6*h - 20. Is t(6) a multiple of 12?
True
Is 6 a factor of 13636/32 - 19/152?
True
Let t = -53 + 53. Suppose g = -4*l - t*g + 243, 3*g + 231 = 4*l. Is l a multiple of 6?
True
Suppose -17 = -2*z - 7. Suppose -z*y - 718 - 377 = 0. Let o = y - -308. Is o a multiple of 12?
False
Suppose -646 = -7*n + 369. Is n a multiple of 9?
False
Let n = 1946 + -960. Is 19 a factor of n?
False
Is 6/16 + 372590/304 a multiple of 86?
False
Let t = -113 + 270. Suppose -4*d = 45 - t. Is 7 a factor of d?
True
Let a(f) = -f**2 + 8*f - 3. Let t(p) = 2*p**2 - 16*p + 6. Let b(q) = -5*a(q) - 3*t(q). Does 3 divide b(4)?
False
Suppose 0 = 2*q + 18 + 6. Let j be (q/(-9))/(8/36). Suppose 0 = -5*r + 5*y + 15, 4*y - 14 = j. Does 4 divide r?
True
Let r = 39 - 31. Suppose 755 + 853 = r*x. Is 17 a factor of x?
False
Let h = 1179 + -788. Is h a multiple of 23?
True
Suppose -12*c + 16 = -4*c. Suppose -5*l + 55 = c*z - 50, 4*l = z - 72. Is 10 a factor of z?
True
Suppose -200 = -4*f - 4*f. Is f a multiple of 25?
True
Suppose 5*x + 5*b = -0*x + 13045, -4*x + 10432 = 2*b. Is x a multiple of 16?
False
Let f(z) = 711*z - 11. Is f(1) a multiple of 44?
False
Let j(c) = 2*c + 12. Let y be j(-5). Let h(a) = a + 4. Is 6 a factor of h(y)?
True
Let a(k) = -k**3 - 5*k**2 - 5*k - 6. Let y = -18 + 13. Is 15 a factor of a(y)?
False
Let c(b) = b**2 + 10*b + 5. Let y be c(-8). Let r(h) = 15*h - 4*h + 9 - 2*h**2 + 3*h**2. Does 2 divide r(y)?
False
Suppose -2*p = -2*j + 24, -5*j + 37 = -p - 35. Let a = 42 - j. Suppose -3*d + 3*h = -a, 2*d - 4*h = -8*h + 30. Is d a multiple of 11?
True
Let k = 22 - 19. Suppose 0 = -m + 2*m - 3. Suppose -n - k = 0, 0*h + 5*h - m = -4*n. Is h even?
False
Suppose 2778 = 9*h - 1227. Does 52 divide h?
False
Does 4 divide (-51)/(-1) - (-32 - -25)?
False
Let a be (-1 - 1) + 18 + -4. Suppose u + 53 - a = 0. Let r = u - -68. Does 23 divide r?
False
Suppose 8 = -4*d - 0. Let g = 9 - d. Is g a multiple of 3?
False
Let a be 288/(-30) + 2/(-5). Does 18 divide (-2)/(-5) + (-516)/a?
False
Let o(s) = 3*s**2 + 27*s + 128. Is o(-21) a multiple of 24?
False
Let s(p) = -p**3 + 26*p**2 - 44*p + 16. Is s(24) a multiple of 8?
True
Let i = 75 + -35. Let a be -3 + -1 + 0 + i. Let m = a + 1. Is 14 a factor of m?
False
Let y = 17 + 16. Does 11 divide y?
True
Does 21 divide ((-80)/(-8))/10*2644?
False
Let s(k) = -27*k + 5. Let m(u) = -79*u + 16. Let r(l) = 2*m(l) - 7*s(l). Let g = 2 - 1. Is 7 a factor of r(g)?
True
Let w(r) be the third derivative of 17/30*r**5 + 0*r**4 + r**2 + 0 - 1/6*r**3 + 0*r. Is 11 a factor of w(1)?
True
Suppose -11165 = 13*z - 18*z. Is 11 a factor of z?
True
Let q be (-4)/(-1) - (7 + -3). Suppose 2*t + t = q. Suppose 2*d - 5*d + 6 = t. Is d a multiple of 2?
True
Let d(o) = -2*o + 4. Let w be d(3). Let t = w - -7. Suppose i = t*m - 118, -2*m + 2*i + 42 = -i. Is 7 a factor of m?
False
Suppose 4*b - 30 = 3*q, q + 2*q - 24 = -2*b. Suppose -6*f + f - 10 = 0, 8 = 2*v - f. Suppose -v*t = -4*t + b. Is t a multiple of 3?
True
Let b(s) be the first derivative of s**4/4 + 5*s**3/3 + 5*s**2/2 + 3*s - 10. Is 6 a factor of b(-3)?
True
Let r = -1 - -3. Suppose -70 + 10 = -r*d. Is 10 a factor of d?
True
Let x = 73 - 52. Let p be (70/x)/((-2)/(-36)). Suppose 2*k = -3*g + p, 0*k + 4*g - 88 = -3*k. Does 24 divide k?
True
Is -185*(-32)/(-40)*(-3 - 1) a multiple of 16?
True
Let i = -69 + 20. Let r(q) = q**2 + 9*q + 21. Let l be r(-5). Is 12 a factor of (-84)/i*21*l?
True
Suppose -2*w + 7 = 5*w. Is (1 - 0)*(69/w - -5) a multiple of 10?
False
Suppose 46*f = 26423 + 26017. Does 6 divide f?
True
Suppose -4*m = 2*p - 5076, -72*m + 68*m = 5*p - 5088. Is m a multiple of 6?
False
Let o(x) = x + 5. Let y = 15 + -15. Let j be o(y). Let f(c) = 4*c - 14. Does 6 divide f(j)?
True
Let j = 166 - 6. Is j a multiple of 5?
True
Suppose 316 = 4*p - 6*p. Let u = p - -93. Is 21 a factor of (1 + 0)/((-1)/u)?
False
Is 6 a factor of 9/(-1)*736/(-69)?
True
Let w(d) = d**3 - 16*d**2 + 18. Let m = -23 - -39. Is w(m) a multiple of 5?
False
Let f(r) = 4 - r + 3 + 3. Let t be f(6). Suppose 0 = -3*n - 3*y + 69, 8 - 36 = -n + t*y. Does 12 divide n?
True
Suppose -3*q + 11 = 2. Suppose q*k + 8*k = 1936. Is 16 a factor of k?
True
Let h(w) be the second derivative of -w**5/20 + 3*w**4/4 - w**3/6 + 13*w**2/2 - 6*w. Is 4 a factor of h(9)?
True
Suppose -3*j + 5*d = 44 - 741, j + 3*d = 237. Does 38 divide j?
False
Suppose 0 = 11*s - 4*s - 819. Is s a multiple of 13?
True
Let b(v) = -v - 14. Let w be b(-5). Let l(s) = -s**3 - 10*s**2 - 10*s - 5. Let u be l(w). Suppose -2*m + u*m - 70 = 0. Is m a multiple of 11?
False
Suppose w = d - 704, -w = -2*d - 0*w + 1409. Is d a multiple of 15?
True
Suppose 0 = 4*c - 2*c + 8. Let l(z) be the third derivative of z**5/60 + z**4/24 + z**3/2 - 8*z**2. Does 5 divide l(c)?
True
Suppose 4*d - 170 = 94. Suppose 0 = -3*v + 3 + d. Is v a multiple of 14?
False
Suppose -1740 = -386*t + 380*t. Is t even?
True
Suppose 8*j + 40 = 3*j. Let g(x) = x**2 + 3*x - 33. Is g(j) a multiple of 7?
True
Suppose 0*g - 5*y + 10 = -2*g, 3*y = 6. Let v(w) = -14 + 3*w**3 + w - 4*w**3 + 26. Is 7 a factor of v(g)?
False
Suppose -1299 = -5*d + 3*o, d + 4*o = 2*o + 265. Let h be d/81 + (-4)/18. Suppose -w + 44 = -s, h*w + 2*w = -4*s + 256. Does 6 divide w?
True
Let h(a) = -a. Let t be h(-2). Suppose t*d + 4*o = 16, 5*d - 4*o - 68 = d. Is 2 a factor of d?
True
Does 34 divide 23/((-276)/(-3672))*4/3?
True
Let q(v) = v - 2. Let k be q(7). Suppose -3*c = -5*o - 216, -o + k*o - 144 = -2*c. Does 18 divide c?
True
Suppose 4*q - 5*u = 75, 60 = 2*q + u + u. Let v = -19 - -30. Suppose -v = -a + q. Is a a multiple of 7?
False
Let d(u) = -u + 2. Let x be d(-2). Let r(a) = a**3 - 5*a**2 + 5*a - 4. Let w be r(x). Let q(l) = -l + 20. Is 10 a factor of q(w)?
True
Let c(h) = 13*h**2 - 9*h - 14. Is c(-4) a multiple of 6?
False
Suppose -3*o - 6 = -3*n, 11 = -2*n - 2*o + 3. Let l(f) = 31*f**2 - 1. Let q be l(n). Let s = 66 - q. Is 12 a factor of s?
True
Is 13 a factor of 126/462 + 138/(-22) - -662?
False
Let i = 14 + -10. Suppose -7 - 1 = -i*g. Suppose 4*u - 240 = -0*d - 3*d, g*u = -2*d + 118. Is 21 a factor of u?
True
Let