2. Suppose n - 5*t = 4*n + 25, 2*n + 3*t = -16. Does 7 divide m(n)?
False
Let b(x) = -40*x**3 - 3*x**2 + x + 3. Is 13 a factor of b(-1)?
True
Suppose -9*c = -1865 + 749. Is 42 a factor of c?
False
Suppose 15*w - 11*w + y - 617 = 0, -3*w + 3*y = -444. Is 9 a factor of w?
True
Suppose 0 = -6*z + 4*z + 162. Let l = z + 87. Is 14 a factor of l?
True
Suppose 83 = 5*r - 4*u, -2*r - 14 = 3*u - 38. Let d = 17 + r. Is 32 a factor of d?
True
Let t = -72 + 74. Suppose -7*r + 495 = t*r. Is r a multiple of 25?
False
Let t = 3 + -24. Is -1 + 0 - 2 - t a multiple of 18?
True
Suppose -5 - 1 = y. Let j(d) be the second derivative of -d**5/20 - 5*d**4/12 + d**3/3 + 3*d**2 + d. Does 12 divide j(y)?
False
Suppose 1500 = 28*a - 23*a. Does 38 divide a?
False
Let p be (-1)/(-2)*4*(13 + 1). Let y = -1 + 0. Let l = p - y. Does 5 divide l?
False
Suppose -v + 107 = 5*m - 60, 4*m = -5*v + 898. Does 13 divide v?
True
Suppose -c - 4*c - 24 = 2*r, r - 18 = 5*c. Does 13 divide (-1 - r)*(-1687)/28*-4?
False
Let o be 8 + 0 + (-10)/(-4 - 1). Suppose m = -o*m + 1419. Is m a multiple of 15?
False
Let x(g) = 4*g + g - 2*g + 3*g - 2. Let f be x(1). Suppose -t + 6*t + 2*o - 207 = 0, 0 = -f*t + 2*o + 162. Does 10 divide t?
False
Suppose -111 + 1047 = 3*z. Does 5 divide z?
False
Let m(r) = 5*r**2 - 26*r + 24. Does 33 divide m(15)?
True
Let x = 53 + -90. Let v = x - -52. Is v a multiple of 5?
True
Suppose 5*q = 2*g - 87, -6*q - 79 = -q - 4*g. Let i = q + 22. Let k = i - -3. Does 2 divide k?
True
Let d(c) = -c - 9. Let q be d(-7). Does 14 divide q - (-46 + (-7 - -3))?
False
Let q(m) = 7*m**2 + 5*m + 35. Does 49 divide q(-7)?
True
Let j = -85 - -396. Is j a multiple of 6?
False
Let t = 8 - 4. Suppose 4*m = 4*h + 8, 0*m + t*m = 3*h + 10. Suppose 0 = m*q + q - 120. Does 8 divide q?
True
Suppose -4*k = -5*c + 109, -4*c - 37 = 4*k + 27. Let u = k - -49. Is 14 a factor of u?
True
Let k(r) = -r**3 + 12*r**2 + 15*r + 23. Does 7 divide k(13)?
True
Suppose -m + 495 = 2*m - 3*w, -4*w - 150 = -m. Is 9 a factor of m?
False
Is (708/(-15))/2*45/(-18) a multiple of 4?
False
Let l(j) = -j**3 + 19*j**2 - 3*j - 23. Let n be l(18). Let h = -103 + n. Is h a multiple of 18?
True
Suppose 10834 = 16*u + 594. Is 34 a factor of u?
False
Suppose y - 2*k - 1 = k, -8 = -2*k. Suppose 0 = -5*r - y + 38. Let t(q) = -q**3 + 7*q**2 - 6*q + 3. Is t(r) a multiple of 13?
False
Suppose 2625 = 12*k + 9*k. Is k a multiple of 4?
False
Suppose 8*d - 12 = 2*d. Suppose -55 + 503 = d*m. Does 16 divide m?
True
Suppose 4*k - 2*d - 4428 = 0, 14*k - 9*k - 3*d = 5534. Is 5 a factor of k?
False
Let a = -375 + 834. Is a a multiple of 51?
True
Let a(y) = y**3 - 3*y**2 + 3*y - 1. Let u be a(4). Let w = u + 48. Does 10 divide w?
False
Let i(n) = -2*n**3 + 15*n**2 - 9*n + 11. Let k be i(7). Is 3 a factor of (6*k/12)/(9/(-138))?
False
Suppose 2160 = -13*w + 18*w - 2*j, 0 = 2*w - j - 863. Does 30 divide w?
False
Let u(y) = -y**2 - 9*y + 11. Let t be u(-10). Suppose 0 = w - 62 - t. Does 3 divide w?
True
Let l(o) be the third derivative of -o**6/120 - o**5/20 + o**4/24 + o**3/3 + 15*o**2. Is 5 a factor of l(-5)?
False
Let a(o) = o**2 + 9*o + 17. Let j be a(-7). Suppose -j*p - 2*p = -300. Is 23 a factor of p?
False
Does 3 divide 1363/10*2 - 62/(-155)?
True
Let l be ((-2)/(-8))/((-1)/(-16)). Suppose 0 = 9*v - l*v + 30. Let g(m) = -m**3 - 6*m**2 - m + 2. Is 7 a factor of g(v)?
False
Suppose 2 = -2*t, 5*t + 320 = c - 389. Is 23 a factor of c?
False
Let n(q) = q**3 + 23*q**2 - 37*q - 41. Is 18 a factor of n(-23)?
True
Let m(u) = -2*u**3 - 5*u**2 + 3*u - 10. Let j(i) = -i - 1. Let d(b) = -4*j(b) + m(b). Does 14 divide d(-5)?
True
Let c = 3561 - 2463. Let d be c/21*(8 - 1). Suppose -5*f - 3*s = -d, -2*f + 56 = -3*s - 82. Is f a multiple of 24?
True
Suppose 5*p + 3*c + 4 = 0, -c - 8 = 3*p - 2*c. Is 9 a factor of (3/p)/(45/(-1740))?
False
Let w = 54 + -95. Let r = -71 - w. Is (-2 - -7)*(-12)/r even?
True
Suppose 4*o = -4*u + 4, o = 2*u + 4*o + 3. Suppose 0 = 3*m - u*a + a - 101, 0 = m - 4*a - 22. Is m a multiple of 21?
True
Suppose -16*r + 4397 = 1261. Is 49 a factor of r?
True
Let c(m) = 14 + 8 + 12*m**2 - m**3 - 8*m - 37 + 16. Is 20 a factor of c(10)?
False
Does 15 divide (-117738)/(-36) - -2*(-1)/4?
True
Let r(h) = 20*h**3 - 14*h**2 - 2*h + 10. Does 25 divide r(5)?
True
Let s(k) = -4*k + 3*k + 0 + 1 - k**2 + k**3 - 29. Let u be s(0). Let h = u - -57. Is 7 a factor of h?
False
Suppose 3*b + 3*p - 247 - 71 = 0, 0 = -4*b - 3*p + 428. Suppose -5*i + b = d, 3*d = -0*d - 2*i + 317. Does 21 divide d?
True
Let i = -450 + 525. Is i a multiple of 4?
False
Suppose -3*a - 9*a + 7200 = 0. Is a a multiple of 50?
True
Suppose -8*q + 6*q = 4*c - 1986, -3*c = -3*q - 1485. Is 8 a factor of c?
True
Suppose 0 = -5*t - y - 4*y - 2500, 3*t = -5*y - 1496. Let h = t - -714. Is 16 a factor of h?
False
Suppose -3*o + 2256 = 3*n, -5*n - 243 = -o - 4003. Does 47 divide n?
True
Suppose 5661 = 5*f - 499. Does 11 divide f?
True
Suppose -3*n = -2*g + 17, 2 = -4*n - 10. Suppose 351 - 11 = g*b. Is b a multiple of 18?
False
Let c(p) be the first derivative of p**4/4 - 16*p**3/3 + 10*p**2 + 4*p + 10. Does 28 divide c(15)?
False
Suppose 3*l - 28 = 5*k - 7, -2*k - 6 = 0. Suppose -i + l + 0 = 0. Is i a multiple of 2?
True
Let d = 26 + -22. Is (-2)/d - (8490/(-12))/5 a multiple of 13?
False
Suppose 23*b = 21*b + 12. Suppose 5*q - 3*p - 234 = 0, 0*p - b = 2*p. Does 15 divide q?
True
Let g be 3/2*(-6640)/(-30). Let f = -115 + g. Is f a multiple of 39?
False
Suppose 16*c = 11*c - 1310. Let y be (c - 1)/(-3 + 2). Suppose 3*i + 53 - y = 0. Does 14 divide i?
True
Let b be (-1)/(3/(-15)*1). Suppose -b*g + 159 = 9. Is g a multiple of 10?
True
Let i(a) = -34*a + 6*a + 2 - 4. Suppose 3*j - 21 = 3*d, -d + 14 = 2*d + 4*j. Is i(d) a multiple of 25?
False
Suppose -267*l - 125 = -272*l. Is l a multiple of 7?
False
Let s(m) = m**3 - 6*m**2 - 6*m - 8. Let o be s(6). Let i = 108 + -170. Let n = o - i. Does 6 divide n?
True
Suppose 5*k - 118 = -q, -q = -0*k + 3*k - 70. Is k/14 - 12/(-42) a multiple of 2?
True
Suppose -2*n - 2 = 2*k, 2*k = -n - 2*n - 5. Let v be 3/1 - 4 - -18. Suppose k*m = 23 + v. Is m a multiple of 6?
False
Let s(y) = y**3 - 4*y**2 - 7*y - 2. Let f be s(5). Let a = 16 + f. Suppose 3*m = 3*v - 106 + 19, -2*v = -a*m - 66. Is v a multiple of 6?
False
Let m(d) = -d**3 - 8*d**2 + 8*d - 5. Let z be m(-9). Suppose z*t - 6 = 30. Let f(s) = 2*s + 1. Is 16 a factor of f(t)?
False
Let s(i) = -13*i - 77. Does 59 divide s(-15)?
True
Does 45 divide (-2)/(-21) + ((-1092386)/(-21))/17?
True
Is 1 + 24/(-4) - -192 a multiple of 17?
True
Suppose 4*n = 4*l, -5*n = -n + l. Suppose 6*g + j - 259 = 2*g, -4*j + 12 = n. Does 32 divide g?
True
Let i = 516 - -1084. Is i a multiple of 64?
True
Let i = -135 - -120. Suppose -5*f + 96 = 256. Let t = i - f. Does 7 divide t?
False
Let i(h) = 125*h - 60. Does 7 divide i(3)?
True
Does 44 divide (-8 + 19)/(-33) - 1058/(-6)?
True
Let u(d) = 4*d**3 - 2. Suppose -2*x = -p + 9, 0 = 5*p - x + 3*x - 9. Is u(p) a multiple of 23?
False
Suppose -2*s - 15 = -5*s. Suppose -s*y + 664 = -y. Suppose -3*w + 3*p + y = 2*p, -2*p = 8. Is 18 a factor of w?
True
Let g = 1892 + -132. Is 8 a factor of g?
True
Suppose -4*r + 3993 = 8*g - 3*g, 3*r - 5*g - 2951 = 0. Is 31 a factor of r?
True
Suppose 89*b + 149445 - 427926 = 0. Is 21 a factor of b?
True
Suppose 2*g - 55 = -n, 3*g + 1 = -11. Is 15 a factor of n?
False
Suppose 3*z - 2*z = -288. Let y = 480 + z. Does 17 divide y?
False
Suppose 3*y - 2*l - 3*l - 1 = 0, -8 = -3*y - 2*l. Suppose 0 = c + y*c. Suppose -s + 2 + 6 = c. Is s a multiple of 4?
True
Let d(s) = 3*s**2 + 9*s - 3. Let y be d(-4). Let o = 7 + y. Is o a multiple of 16?
True
Suppose -12*z + 40*z - 7392 = 0. Does 33 divide z?
True
Let o(i) be the first derivative of -i**4/4 - 2*i**3 - 4*i**2 - 5*i + 1. Let x be o(-6). Suppose -27 = -5*h + x. Is 7 a factor of h?
True
Let n(b) = -54*b - 19. Is n(-3) a multiple of 11?
True
Suppose 3*l = -4*g + 8993, 3*g - l - 6750 = 2*l. Is g a multiple of 13?
True
Let p(d) = -2*d**2 - 16*d - 8. Let h be p(-7). Let u = h + -6. Suppose u = -l - 3*l + 360. Is 30 a factor of l?
True
Does 13 divide (-4312)/(-3) - (154/(-42) - -5)?
False
Let x = 26 - 21. Suppose -2*y + 3*y - 2 = 0, x*q = 2*y + 81. Is 17 a factor of q?
True
Suppose 1627 = 5*k - 668. Is k a mul