uppose d - n - 13 = 0. Does 4 divide d?
False
Suppose -109*k + 107*k = -434. Is 211730/k - 4/(-14) a multiple of 61?
True
Suppose -2*s = -2, 0 = -210*x + 205*x + 5*s + 8095. Does 20 divide x?
True
Suppose 27*v - 6213 - 104568 = 0. Does 34 divide v?
False
Let c = -648 + 19763. Does 12 divide c?
False
Suppose f + 8666 = -2*h + 21929, -3*h + 19882 = -f. Does 11 divide h?
False
Suppose 3*r - 45271 = -5*p, p - 2*r + 662 = 9724. Does 85 divide p?
False
Let k = -54 - -56. Let i = 2 + k. Suppose -3*b + 154 = 3*f + 2*b, 5*f - 269 = i*b. Is 31 a factor of f?
False
Let o = 192 + -46. Is 30 a factor of o + 12*(-7)/(-21)?
True
Let m = 12220 + -4856. Is m a multiple of 16?
False
Let t(o) = 2*o**2 - 3*o - 9. Let w(k) = -k**3 + 4*k**2 + 10*k + 12. Let d be w(6). Let n be t(d). Does 17 divide (n/(-6))/(18/636)?
False
Suppose -m + 35899 = 5*p, 41*m = -4*p + 40*m + 28720. Is p even?
False
Let j(a) = -39*a**3 + 8*a**2 - 4*a - 16. Let q(c) = -40*c**3 + 7*c**2 - 3*c - 14. Let l(p) = 5*j(p) - 6*q(p). Does 3 divide l(1)?
True
Let o(y) = y**3 + 3*y**2 - 7*y - 9. Let q be o(-4). Suppose -4*f - 1034 = -q*n, -4*n = -f + 389 - 1759. Does 38 divide n?
True
Suppose d = 5*c + 52, 2*c = 4*d + 116 - 414. Let l = -258 - -365. Let n = l - d. Is 3 a factor of n?
True
Let i(n) = 11*n**2 + 9*n - 1. Let v = 41 + -45. Let b be 3*(3 - 1) + 2 + v. Is i(b) a multiple of 44?
False
Let v(d) be the third derivative of d**5/60 + 3*d**4/8 + 3*d**3 + 4*d**2. Let t be v(-5). Does 11 divide 1 - -54 - t - (-1 + 3)?
True
Let k = -113 + 152. Suppose -w = -3, 3*v = 4*w + k + 207. Is 43 a factor of v?
True
Suppose 3*q + 4*g = -16, 4*g = -2*q + 3*g - 19. Is ((-8)/q)/((-6)/(-3177)) a multiple of 40?
False
Let p be ((-63)/(-36))/(11/(-12) + 1). Suppose -10*l = -p*l + 2981. Does 13 divide l?
False
Let y = -825 - -192. Let t = 1042 + y. Is t a multiple of 50?
False
Suppose -25*l + 11*l + 140 = 0. Suppose -1675 = -14*i + l*i + 5*n, 2*i - 5*n - 845 = 0. Does 83 divide i?
True
Let t = 40523 + -26060. Does 25 divide t?
False
Let k(h) = 1390*h + 5332. Does 51 divide k(31)?
False
Let x = -4 + 8. Suppose -27 = -2*z + x*f - 5, 3*z = 3*f + 21. Suppose 12 = 2*g - 2*c, -6*g - z*c + 6 = -g. Is 2 a factor of g?
False
Let b(o) = o**2 + o - 1. Let l(d) = 12*d**2 + 15*d. Let p(n) = 3*b(n) + l(n). Let m(q) be the first derivative of p(q). Is m(7) a multiple of 19?
True
Suppose 3*w = -j + 7684, 3*j - 9722 = -6*w + 5650. Does 64 divide w?
True
Suppose -2*t - 4*h - 106 = -1320, -5*h = -20. Let m = -45 + t. Is m a multiple of 14?
False
Suppose -5*g + 19 - 9 = 0. Suppose q + 8 = g*t + 3, 5*q = -3*t + 14. Suppose -2*m - 3*m = t*r - 240, -5*m + 410 = 5*r. Does 17 divide r?
True
Suppose 0 = -4*a - 3*x + 36989, -2*a + 33*x + 18463 = 30*x. Does 35 divide a?
False
Let p be 3/(-5) + (-91)/(-35). Suppose -p*a = -a + 26. Let m = 146 - a. Is 29 a factor of m?
False
Let z be (-2 - (-36)/16) + (-57)/(-12). Suppose 2*f + z*g - 481 = 2*g, -705 = -3*f + g. Suppose -3*p + f + 109 = 0. Does 13 divide p?
False
Let t(d) = -16 + 13*d + 2*d**2 - 27*d + 18*d. Let c be t(-6). Suppose -c - 39 = -a. Is a a multiple of 35?
False
Suppose -12*n - 8906 + 27434 = 0. Is 20 a factor of n?
False
Let n(u) = 286*u**3 + u**2 - 3*u - 6. Is n(2) a multiple of 20?
True
Suppose 0 = -2*o + 2*l + 5198, 9*o - 3*l - 23383 = -2*l. Does 15 divide o?
False
Let y(f) be the first derivative of f**5/60 - 3*f**4/8 - 5*f**3/3 + 25*f**2/2 - 29. Let d(w) be the second derivative of y(w). Is 15 a factor of d(20)?
True
Let t = 490 - 480. Suppose -2*m + 15564 = t*m. Is 9 a factor of m?
False
Suppose -102*h + 6923 = -98*h - 5*d, 0 = -4*h + d + 6911. Does 25 divide h?
False
Let l(m) = -9*m + 2. Let f be l(-1). Suppose 3*k = 7*i - 3*i - 13, -5*k - f = -4*i. Suppose -r - 4*u = i*r - 428, 5*u = r - 74. Is 12 a factor of r?
True
Suppose -11*x + 12*x - 2*j = 3742, 7482 = 2*x - 3*j. Is 21 a factor of x?
True
Let l = 5698 - 3920. Does 14 divide l?
True
Let y = -10761 - -15185. Is 116 a factor of y?
False
Suppose 35 = -6*s + 11. Let j(a) = 15*a**2 + 26*a. Is 16 a factor of j(s)?
False
Does 144 divide (3 - 15)/(1281051/512598 - (-5)/(-2))?
False
Let d = 983 + -481. Suppose 6*l - 308 - d = 0. Suppose -45 = 3*n - l. Is 10 a factor of n?
True
Let u(g) = -5*g**2 + 26*g - 5. Let l be u(5). Suppose 2850 = -l*r + 6*r. Is 19 a factor of r?
True
Suppose -2*q + 43*q + 32*q - 576773 = 0. Is q a multiple of 20?
False
Let u(m) be the second derivative of 4*m**4/3 + 11*m**3/6 - 8*m**2 - 43*m. Let x be u(7). Let y = x - 593. Is 36 a factor of y?
True
Let v be 2/6 + (-238)/(-51). Suppose 0 = -5*i - 6*x + 3*x + 55, -v*x = 0. Is 3 a factor of i?
False
Let z(o) = 377*o - 80. Does 42 divide z(30)?
False
Let l = 205 + 579. Suppose -17*p + l = -16*p. Is p a multiple of 16?
True
Let j be 2 + -2 - ((-12)/(-3) - 2500). Suppose j = 21*t - 17*t. Is t a multiple of 78?
True
Suppose 0 = 3*n - 5*h - 235, 135 = -n + 3*n + h. Let l be 3700/n - (-2)/14. Let c = 90 - l. Does 5 divide c?
False
Let k(q) be the third derivative of 533*q**6/40 + q**5/60 + q**4/24 - q**3/6 - 28*q**2. Let y be k(1). Does 10 divide 2/7 + y/35?
False
Let h = -10110 + 10294. Is 3 a factor of h?
False
Let n(v) = -v**3 + v - 1. Let a(h) = -h**3 + 12*h**2 + 16*h - 3. Let g(s) = a(s) - 2*n(s). Is 13 a factor of g(-8)?
True
Suppose 20*j - 23568 = 30112. Is 44 a factor of j?
True
Suppose 218*q = -b + 215*q + 24517, -3*b + 4*q = -73460. Is 13 a factor of b?
False
Suppose 203 = 32*x - 181. Is 8 a factor of 27/(-18) + (-2)/(x/(-147))?
False
Let s be ((-30)/25)/((-6)/10). Suppose 191 = 3*p + d, -7*p + s*p + 313 = 3*d. Is p a multiple of 2?
False
Let g(l) = 13*l - 23. Let t(c) be the second derivative of 9*c**3/2 - 47*c**2/2 + 24*c. Let x(s) = -9*g(s) + 4*t(s). Is x(-8) a multiple of 13?
True
Suppose 4*v = 5*v - 6, -2*v = 3*d - 8778. Does 24 divide d?
False
Let k be (-13)/(975/10) - 2/(-15). Suppose -13*a + 242 + 304 = k. Does 2 divide a?
True
Let t(q) = -q**3 + 14*q**2 + q + 13. Let k be t(14). Is (2 - 1)/(k/1269) a multiple of 4?
False
Suppose -13*f + 37500 = 2*f. Suppose 10*o - 9580 = -f. Is o a multiple of 12?
True
Suppose 5*s + m = 12820, 2*s - 4430 - 680 = -4*m. Is s a multiple of 95?
True
Suppose -4 = 4*o - 44. Is 6 - o - -8 - -302 a multiple of 23?
False
Suppose 0 = -17*o + 22*o - 60. Suppose 3*i - o = 5*v, -2*i - 10 = 3*v + 1. Is 35 a factor of (-2 - i) + (-2 + 7 - -73)?
False
Let l(d) = -2*d**3 - 9*d**2 - 4*d + 7. Let t = 22 + -26. Let p be l(t). Suppose -p*q = -672 - 70. Is q a multiple of 22?
False
Does 45 divide (-1708)/(-294)*35 + 8/(-6)?
False
Let m = 10829 + 2218. Does 38 divide m?
False
Suppose 3*j - 41 + 533 = 3*b, b - 158 = -j. Let t = b - 59. Suppose -3*q + 249 + t = 0. Is q a multiple of 9?
True
Let k = 536 + -140. Does 12 divide k/5*13/(117/30)?
True
Let z be 768/(-4)*(-1)/((-6)/(-80)). Suppose 3*s + 2*r - 2560 = -s, 0 = 4*s - 4*r - z. Does 39 divide s?
False
Let c = -3 - 29. Let h = c - -31. Does 11 divide (1 - 97*(-3 - -2)) + h?
False
Suppose -33*z = -22*z - 132. Suppose -z*r = -56 - 1204. Does 3 divide r?
True
Suppose -2*f + 37 = 5*t - 0*f, -2*t + 30 = -3*f. Is (3 - t)/((-1)/((-33)/(-6))) even?
False
Let a(k) = 5*k - 57. Let w be a(-11). Is 34 a factor of (7/(w/1944))/((-1)/2)?
False
Suppose 9 - 24 = -3*w. Suppose -5*p - w = -20. Suppose q + 5*r = 86, -p*q - 5*r + 206 + 32 = 0. Does 19 divide q?
True
Let l(t) = 2*t**3 + t**2 - t + 784. Let h be l(0). Suppose -h = -2*m + 4*u, 1568 = 4*m - 8*u + 3*u. Suppose 4*a + 0*a - m = 0. Is a a multiple of 14?
True
Let c(h) be the second derivative of 11*h**6/720 + 3*h**5/20 - 37*h**4/12 - 24*h. Let p(f) be the third derivative of c(f). Is 18 a factor of p(8)?
False
Suppose 77*m - 39*m + 4699 - 22939 = 0. Does 120 divide m?
True
Let n(x) = x**2 - 7*x + 7. Let w be n(5). Let b(i) = 63 - 177*i - 57 + 173*i. Does 9 divide b(w)?
True
Let y = -48 + 53. Suppose 5*p = 2*c - 1 + 7, 5*p + y*c = -15. Suppose -4*n = -2*r - 64, 3*n - r - 13 - 36 = p. Does 5 divide n?
False
Let i = -2133 - -7873. Is i a multiple of 70?
True
Suppose 4*j - 5*v + 12 = 4, 0 = -j - 4*v + 19. Let g(i) = -i**2 - i - 1. Let p(a) = -4*a**2 - 18*a - 10. Let u(t) = j*g(t) - p(t). Does 18 divide u(-18)?
False
Suppose 41*b - 74344 - 119785 = 84220. Is b a multiple of 13?
False
Suppose r - 5*f - 12 = 0, -4 + 2 = f. Suppose 4*z + 6 - 42 = 