 1687 = 4*h + 36*z - 33*z. Does 19 divide h?
False
Suppose -3*y - 3*l = l - 5, 5*y = -5*l + 15. Suppose y*u = m + 5*u - 150, 10 = 2*u. Does 10 divide m?
True
Let d(y) = 45*y - 23*y - y**3 + 2*y**3 + 2 - 18*y + 11*y**2. Is d(-10) a multiple of 10?
False
Let i = -29 - -18. Let o = -13 - i. Is 5 a factor of ((-10)/(-4))/(o/(-4))?
True
Let w(y) = 3*y - 23. Does 4 divide w(17)?
True
Let s be 3 + 1/(-1) + 0. Suppose -6 = -2*a + 2*b + 2*b, s*a = -5*b + 15. Let n = a - -30. Does 17 divide n?
False
Suppose 14*l = -2*m + 18*l + 1842, m + 2*l - 909 = 0. Is m a multiple of 15?
True
Does 25 divide 3/(-75)*-5 - 438/(-10)?
False
Suppose 3*h = 2*g + 5, 3*h = 6*h + g - 11. Suppose -4*b + 0*t + 74 = 3*t, -h*b = -4*t - 68. Is 2 a factor of b?
True
Suppose 0 = -3*o - 9, 2*o = 2*b + 6*o + 2. Suppose -2 = a + 2*w, -5*a - w = -b*w - 60. Is 2 a factor of a?
True
Let y(u) be the first derivative of 5*u**4/2 + u**3 - u**2/2 - 7. Is 30 a factor of y(2)?
True
Let g(v) = 112*v**2 - 21*v + 19. Is g(1) a multiple of 17?
False
Suppose -q + 891 + 3044 = i, -4*q = -3*i + 11777. Does 109 divide i?
False
Let p(o) = o**3 + 12*o**2 - 2*o - 17. Let h be 2 + (-70)/(20/4). Is 7 a factor of p(h)?
True
Let r = 14 - 6. Let b be 2/9 - r/36. Suppose 0 = -3*p - b*p + 45. Is 14 a factor of p?
False
Let r = 32 - 18. Suppose 0 = -3*i - 5*z - 15, -r - 1 = 5*z. Is (9/2 - i)*8 a multiple of 9?
True
Suppose 0 = 26*s - 3232 - 1682. Is 14 a factor of s?
False
Suppose 3*q - 4*b - 1 = 7, 15 = -3*b. Let s(c) = -c**2 - 4*c + 3. Let o be s(q). Suppose 14 = -o*p + v + 78, 3*v + 45 = 2*p. Is 11 a factor of p?
False
Suppose -4*o = -o - 30. Let a be ((-8)/o)/(8/(-60)). Does 10 divide (20/a)/(2/6)?
True
Suppose -4*v = 36 - 100. Let o(i) = -i + 50. Does 5 divide o(v)?
False
Suppose -5*k = -10, -3*k + 14 = -4*t + 92. Let f(y) = 7*y - 63. Does 6 divide f(t)?
True
Let r(b) = b**3 + b**2 - b - 6. Let z be r(0). Let d be (39/z)/((-2)/12). Let u = d + -15. Does 5 divide u?
False
Let s be (-6)/6*(19 + 0). Let d = s + 26. Is 7 a factor of d?
True
Let s be 0/(1 - 3) + 7 + -3. Suppose -n - 2*n - 103 = -2*v, s*v = -2*n + 166. Does 8 divide v?
False
Let c(k) = -k**3 + 3*k**2 + 2*k - 6. Let x be c(3). Suppose -d - i + 415 = 4*d, -4*i = x. Does 19 divide d?
False
Suppose 3*j - 5*j = -8. Let c(w) = 32*w**2 + w - 2. Let z be c(-2). Suppose j*b = -44 + z. Is b a multiple of 13?
False
Let q(c) = -c**3 + 5*c**2 + 5*c + 10. Let p be q(6). Suppose p*d - 6*d = -12. Suppose 2*l = -5*y + 3*y + d, 2*l + y = 9. Is l a multiple of 5?
False
Suppose -2*t - 32 = -440. Does 4 divide t?
True
Suppose -2*p + p = j - 6, -5*j + 4*p = 6. Let f(v) = 3 - 4 + 5 + 9*v. Is 11 a factor of f(j)?
True
Let k = -27 - -36. Is -8*(k - 5 - 15/2) a multiple of 22?
False
Suppose 10584 = -5*y + 26*y. Is 84 a factor of y?
True
Let b(c) = c**2 + 32*c + 35. Is 5 a factor of b(-32)?
True
Let p be ((-4)/(-8)*3)/((-2)/(-196)). Suppose -4*a + p = -q, 3*a + q - 83 = 36. Is 9 a factor of a?
False
Let z(o) = -o**3 + 14*o**2 - 8*o + 22. Is z(13) a multiple of 7?
False
Suppose -2*c - 5*n + 256 = 0, 2*c - 132 - 140 = -n. Is 2 a factor of c/8 - (-5)/(-20)?
False
Let h be (2 - -1)/(33/(-21) - -2). Is 5/2*(h + -5) a multiple of 5?
True
Let j = 57 - 57. Is j + 589/7 + (-1)/7 a multiple of 25?
False
Let w(a) = 59*a - 13. Is 35 a factor of w(3)?
False
Suppose -1315 = -5*w + 3085. Is w a multiple of 88?
True
Suppose -k + 2*k + 14 = 0. Let y = k - -48. Let h = y - 21. Does 7 divide h?
False
Let l(c) = -c - 4. Let h be l(-6). Suppose -5*u + 4*a + 66 = 0, 2*a = 4*u - h*a - 56. Suppose -u = -6*r + 5*r. Is 3 a factor of r?
False
Let l(b) = 3*b**3 + 3*b**2. Let x(g) = g**3. Let a(n) = l(n) - 2*x(n). Let f be a(-5). Is 1340/f*(-15)/6 a multiple of 14?
False
Let s(z) = 7*z + 1. Let d be s(3). Let k = d + 14. Does 18 divide k?
True
Let f = -7 - -3. Suppose 3*n = -p - 15, -15 = 3*n + 4*p - 5*p. Is 11 a factor of (-275)/(-10)*f/n?
True
Is 12/(-9)*(-80)/3*18 a multiple of 20?
True
Let a(b) = -3*b**3 - 3*b**2 - 2*b - 1. Let u be a(-3). Let c(p) = p**3 - 6*p**2 - 3*p + 1. Let r be c(5). Let m = r + u. Does 5 divide m?
True
Suppose -7*m + 3*m - 48 = 0. Let n = 26 + m. Is n a multiple of 7?
True
Let n(u) = 5*u**2 - 7 + 20 + 0*u - u + u**3. Let s be n(-5). Suppose -12*c = -10*c - s. Does 3 divide c?
True
Let h(q) = 111*q - 43. Is h(11) a multiple of 31?
True
Let r = -4 + 3. Let b(a) = -a**3 - a**2. Let j be b(r). Suppose -3*s - 18 = -o, j*s + 33 = o + 2*s. Is o a multiple of 6?
False
Let l = -3 + 6. Suppose l*u = 7*u - 20. Suppose u*m - 4*b = 165, 2*m + m + 4*b - 99 = 0. Is m a multiple of 25?
False
Let q be (3/(-5))/((-8)/40). Suppose -q*r = 2*r. Is 1 + -1 - (r - 44) a multiple of 16?
False
Let p be 5/(-35) + (-156)/(-14). Let v = p + 0. Is v even?
False
Let s = 1122 + 51. Is 46 a factor of s?
False
Is (-2 - (-134)/5)*5 a multiple of 32?
False
Let g = -143 - -202. Let l = g - 10. Suppose -4*t - x + 63 = -l, 3*x - 12 = 0. Is t a multiple of 7?
False
Let c(y) = -6*y. Suppose 11 = j - 3*t, 2*t + 15 = -2*j + 5. Let n be c(j). Is 18 a factor of (-220)/n*12/(-8)?
False
Suppose -21*t - 2128 = -29*t. Does 19 divide t?
True
Suppose 3*y + 5*g = -149 - 39, -g = 5*y + 328. Does 27 divide (y/18)/((-2)/90) + -3?
True
Let x = -133 + 196. Is 3 a factor of x?
True
Let n be (18/(-12))/(2/(-4)). Let p be 0 + -3 + (179 - 0). Suppose -3*z + l = -278, z - n*z = 4*l - p. Is z a multiple of 26?
False
Suppose -n = 5*v - 2162, 2*v = 4*n + 5*v - 8682. Suppose n = 9*i + 3*i. Does 46 divide i?
False
Let m = 216 + -26. Is m a multiple of 38?
True
Let k(v) = v**2 + 4*v + 4. Let x be k(-4). Suppose 5*i - 73 = -x*l, -4*l - 3*i - 9 = -6*l. Is (8/l)/(4/462) a multiple of 13?
False
Let l(m) = -m - 11. Let p(t) = 1. Let d(w) = -l(w) - 6*p(w). Is d(9) even?
True
Let o be 3 + ((-12)/(-24) - (-86)/4). Let i = 90 - o. Is i a multiple of 29?
False
Suppose -8*l = -3*l - 55. Suppose 0 = l*t - 5*t - 228. Is t a multiple of 19?
True
Let t be (-6 + 132/5)/(2/5). Let j = 91 - t. Is 4 a factor of j?
True
Suppose -5*t + 410 = 3*v, -246 = -6*t + 3*t + 5*v. Is 3 a factor of t?
False
Let u = -13 - -13. Suppose -4*k + 9*k - 610 = u. Suppose -k - 106 = -4*s. Is s a multiple of 24?
False
Suppose 17*v + 1552 = 25*v. Is v a multiple of 14?
False
Let m be (0/(-2) + -1)/((-23)/69). Suppose 0 = 2*b + x - 292, 258 + 179 = m*b + 2*x. Is b a multiple of 21?
True
Is (-56)/(-42)*9 - -3369 a multiple of 49?
True
Let g = -21 - -23. Let r be (-249)/g*(-4)/6. Suppose 4*v - r = 1. Is 21 a factor of v?
True
Suppose 3*p + 0*b - 318 = 5*b, 2*b = -5*p + 530. Suppose -x + m - 2*m + 30 = 0, -3*x + p = -m. Suppose 0 = -5*n - 3*v + 2*v + x, -2*v = -8. Is 6 a factor of n?
True
Does 150 divide -31 - -2104 - (3 + 4 + -1)?
False
Let f be (3 + -2)*-3 + 158. Suppose -5*m = -o - f, -m = 2*o - 8 - 12. Is 5 a factor of m?
True
Let p(k) = 7*k**3 - k. Let g be p(1). Let i be (2 - 4)/(g/(-15)). Suppose -3*s + 8 + 2 = d, 0 = -4*d + i*s + 40. Is 5 a factor of d?
True
Suppose -36 = -2*v - 2*v. Let q(r) = 2*r**3 + 12*r**2 + r + 6. Let w(t) = -t**3 - t**2 - 1. Let p(a) = q(a) + 3*w(a). Is 3 a factor of p(v)?
True
Suppose 4 = h, -f + h + 785 = 3*h. Is 37 a factor of f?
True
Suppose 2*d = -s + 963, -3*d + 5*s + 1951 = 526. Does 10 divide d?
True
Let w(t) = -593*t**3 + 3*t + 7. Does 13 divide w(-2)?
True
Suppose 0*u = -2*w + 4*u + 24, 1 = -2*w - u. Let y = -5 - w. Let l = y + 25. Is l a multiple of 6?
True
Let t(s) = 6*s. Suppose -2*m + 4 = -4. Let j be t(m). Suppose 2*p = 3*p - j. Is 8 a factor of p?
True
Suppose 3*r + 13 = -5. Let j(w) = 50 - 11*w - 64 + 2*w. Is 8 a factor of j(r)?
True
Let a(m) be the third derivative of m**6/120 - m**5/6 + m**4/12 + 2*m**3/3 + 2*m**2. Let u(x) = x. Let d be u(10). Does 8 divide a(d)?
True
Let r(z) = -z**2 + 2*z + 1. Let d be r(3). Let t(q) = 0 + 3*q - 2*q**2 + 10*q**2 + 2. Is t(d) a multiple of 24?
False
Let r be (2 - 6/2)*0. Let x(j) = 2*j + 62. Let f(u) = u + 41. Let y(z) = 8*f(z) - 5*x(z). Is y(r) a multiple of 6?
True
Suppose 3*x + 598 = x + a, 596 = -2*x + 2*a. Does 40 divide 8/10*(x/2)/(-1)?
True
Let j = 42 - 33. Suppose -j*f + 99 = -6*f. Is 10 a factor of f?
False
Suppose o + 1 - 21 = 0. Does 17 divide (0 - 0) + (88 - o)?
True
Suppose -3*l - 5*j = -3421, 0 = 2*l - 5*l - 4*j + 3419. Does 17 divide l?
False
Suppose 13*j - 1267 = 865. Is 6 a facto