-4*y - 5*r + 3687. Does 156 divide y?
False
Let o(j) = -j**3 - 10*j**2 - 21*j + 59. Is 4 a factor of o(-15)?
False
Suppose 6 - 88 = -2*x. Let p = x + -36. Suppose 4*c - 2*o = 768, 5*o = -p - 15. Does 19 divide c?
True
Suppose -3*z + 1579 = 5*f, -z + 82 = -3*f - 435. Let d = -179 + z. Is 43 a factor of d?
True
Is 113 a factor of (-1001)/(((-2)/3)/((-104)/(-78)))?
False
Suppose 2*h - 16 = -i, -4 = i + 4*h - 28. Suppose -5*a + 2*y = -8, -3*a - i = a + 2*y. Suppose u - 4*d - 37 = a, -d = d. Is u a multiple of 14?
False
Suppose -3*w + 3642 = 1389. Suppose -r = -m - 233 + 43, -4*r + m + w = 0. Is 17 a factor of r?
True
Does 11 divide ((-1)/1)/((-40)/(-504)*(-2)/770)?
True
Let q = 30183 - 17563. Is q a multiple of 20?
True
Suppose -37*c + 29*c = -20*c + 3324. Is c even?
False
Suppose 13 = 3*m + 4*j + 17, -5*j = 3*m + 8. Suppose -3*o = -i + 685, -1798 = -m*i + 3*o + 978. Is i a multiple of 21?
False
Let t be 3/(-27) + 28304/72. Let y = t - 155. Is 34 a factor of y?
True
Let k(z) = 329*z + 36. Let j be k(2). Let g = -224 + j. Is g a multiple of 47?
True
Let w(t) = -t**3 - 20*t**2 + 12*t - 5. Let v(p) = 5*p**3 + 81*p**2 - 49*p + 19. Let h = -59 - -50. Let j(s) = h*w(s) - 2*v(s). Is j(17) a multiple of 17?
False
Does 15 divide 24/(-16) + (9*-107)/((-4)/42)?
True
Let b(h) be the first derivative of h**2 - 23*h + 17. Let f be b(8). Let d(u) = 4*u**2 + 13*u - 5. Is 18 a factor of d(f)?
False
Let z(y) = -2*y**3 - y**2 + y + 3. Let d be z(-2). Let j = d - -64. Suppose 5*a = 148 + j. Is a a multiple of 9?
True
Let g(v) = v**2 - 3*v - 2. Let i(k) = 30*k**2 + 53*k. Let x(b) = -2*g(b) + i(b). Is x(-4) a multiple of 36?
True
Suppose 159*y = -25*y + 1704484 - 320436. Is y a multiple of 36?
False
Let d = -133 - -141. Let j(t) = 18*t + 16. Is j(d) a multiple of 40?
True
Suppose 47*u + 2*k = 41*u + 31800, 2*u = 3*k + 10611. Is 9 a factor of u?
True
Suppose 3 = 5*x - 92. Let b = x + -24. Let u(i) = i**2 - 8*i - 13. Is 6 a factor of u(b)?
False
Suppose 0 = -i + 21*u - 18*u + 27384, -54768 = -2*i + 3*u. Suppose 0 = -5*w + 47*w - i. Is 11 a factor of w?
False
Let b = -19 + 15. Let m be ((-9)/(-6))/(-3)*(-46 - b). Let g = -10 + m. Is 2 a factor of g?
False
Let v = 85821 + -34458. Is 8 a factor of v?
False
Let y = -125 + 87. Let k = y + 174. Does 2 divide k?
True
Let o(i) be the second derivative of 30*i + 1/2*i**3 + 1/12*i**4 - 3*i**2 + 0. Is o(-10) a multiple of 25?
False
Suppose 0 = 59*a - 7*a + 11*a - 450324. Is a a multiple of 65?
False
Suppose 3*t - 268453 = -15*t + 181259. Is t a multiple of 18?
True
Let r(b) = -b**3 + 29*b**2 - b + 31. Let d be r(29). Suppose 5*v + 36 = d*x + 285, v = x + 51. Is 6 a factor of v?
False
Suppose -3*w - 2*z + 747 + 96 = 0, -z + 1129 = 4*w. Suppose -8*d - 9*d + 81 = 10*d. Suppose d*i - w = -5*v + 122, 4*i = -3*v + 232. Is v a multiple of 8?
False
Let d(f) be the first derivative of f**4/12 + f**3/6 + 4*f**2 - 32*f + 12. Let v(x) be the first derivative of d(x). Is v(4) even?
True
Let c = -57 + 36. Let i = c - -57. Does 9 divide i?
True
Let d be 1/4*2*-14*-1. Suppose d*j = 11 + 10. Suppose 5*t = -0*t, -3*t - 33 = -j*r. Is 11 a factor of r?
True
Let y(p) = -p**3 - 3*p**2 + p - 7. Let o be y(-4). Let r be (2 - 0 - o) + 3. Suppose r = 8*q - 50 - 118. Is q a multiple of 21?
True
Let f = 74 - -123. Suppose 0 = -2*s + f + 453. Suppose -121 + s = 4*m. Is m a multiple of 51?
True
Suppose -8960 = 728*b - 748*b. Is b a multiple of 118?
False
Suppose -4*v + 4*a + 1404 + 1100 = 0, 0 = 2*a + 6. Suppose -4*d - 39*m = -43*m + 1500, 0 = 3*d + 5*m + 1109. Let h = v + d. Is 14 a factor of h?
False
Let p(s) = 1486*s + 2981. Does 119 divide p(4)?
True
Let s = -17149 + 29304. Does 13 divide s?
True
Suppose 3*o = 2 - 11. Does 15 divide 9/(18/428) - (o - 0)?
False
Let s(k) = -633*k - 1363. Is 26 a factor of s(-7)?
True
Let i be ((-424)/12)/((-10)/(-15)). Let l = i - -73. Is 12 a factor of (2 - l/16)*84*1?
False
Suppose -57688 = -3*g + 5*y, 5*g = -2*y + 35956 + 60139. Is g a multiple of 11?
False
Suppose -33*w + 11512 + 105110 = 0. Is w a multiple of 19?
True
Let r be -1 + (-6)/(-10) - (-7)/5. Let a(f) = f + 2. Let p be a(r). Suppose -p*x - 58 = 2*j - 187, 4*j + 147 = 3*x. Is 15 a factor of x?
True
Let a(h) = h - 15. Let f be a(24). Is 23 a factor of f/(-3) - 624/(-3)?
False
Suppose -21818 + 2230 = -4*u + 2*r, -3*r - 19582 = -4*u. Is 3 a factor of u?
False
Is 48 a factor of (-16)/(-168) - 1902980/(-420)?
False
Let x(d) = 2*d**3 - 80*d**2 - 166*d - 88. Let l be x(42). Let r = -6 + 4. Is 14 a factor of r/l + (-391)/(-2)?
True
Suppose -4*p + 4*d = -33304, p - 4*d - d = 8350. Does 32 divide p?
True
Suppose 25*r - 35*r = -2920. Suppose i = r + 150. Is 14 a factor of i?
False
Let q(n) = n**2 + 57*n + 701. Does 4 divide q(-58)?
False
Let p(z) be the third derivative of z**4/24 - z**3 - 18*z**2. Let b be p(9). Does 49 divide (14/(-6))/(4/(-324)*b)?
False
Let c(h) = -146*h + 2665. Is 5 a factor of c(0)?
True
Let n(j) = -j**2 + 96*j + 213. Is 76 a factor of n(89)?
True
Does 11 divide 24831/1068*(0 + -1 - -1101)?
True
Let b be -2*(-6 + 4 + 1). Suppose -b*i = -4*i + 144. Is i a multiple of 12?
True
Let b = 12963 - 7811. Does 16 divide b?
True
Suppose -4*k = 4, 38 = -c + 19*k - 24*k. Is 66/121 - 11862/c a multiple of 8?
True
Let h(v) = -49*v - 49*v - 49 + 7*v + 17*v. Is 7 a factor of h(-5)?
False
Suppose -5*f + 15 = -2*p, -2*p + 25 = 2*f + f. Suppose 5*t - 2390 = -p*u, -2*u - 5*t = -593 - 360. Is 5 a factor of u?
False
Let u(i) = -495*i**2 - 2*i - 7. Let w be u(-2). Is (-12)/42 + w/(-7) a multiple of 66?
False
Let c = -193 + 198. Suppose 0 = -2*v + 10, -c*v + 409 = 4*u - 0*v. Is 3 a factor of u?
True
Suppose 2*s - 4 = 0, 4*l - 2*s - 22 = -s. Let r be (20/l + -3)/((-2)/(-42)). Suppose 0 = r*f + 3*f - 1080. Is f a multiple of 51?
False
Suppose 4*x + 3*n = 1 + 8, -5*x - 2*n + 13 = 0. Suppose -s - x*s - 12 = 4*f, 5*f + 12 = -4*s. Suppose d = -5*h - f + 42, 4*d - 58 = 2*h. Is 5 a factor of d?
False
Let f(l) = -11*l - 4. Let s be f(1). Let d(o) = 2*o**3 + 33*o**2 + 37*o + 3. Does 41 divide d(s)?
True
Let u(i) be the second derivative of i**4/6 + 7*i**3/6 + 33*i**2/2 + 49*i. Does 8 divide u(-5)?
True
Let d(a) = -267*a - 272*a + 28*a - 10 + 34*a. Is d(-1) a multiple of 25?
False
Let x(y) = -2767*y - 900. Does 80 divide x(-3)?
False
Let i = 69 + 29. Let p = i - 43. Is 55 a factor of p?
True
Suppose 4*n = 8, -5*u = -2*n + 6*n - 28. Suppose 4*c - 5 = -3*f, 0*f + c = f - u. Suppose a = -a + 5*y - 3, -f*a = -5*y - 3. Is a a multiple of 2?
True
Suppose 0 = 7*x - 2*x + 3*z + 660, -2*x - 285 = -3*z. Let v be (-2)/(-3) - 9/(x/20). Suppose -b - 220 = -v*b. Is b a multiple of 24?
False
Suppose -2*r = -r - 14. Let g(y) = 6*y + 42. Does 18 divide g(r)?
True
Suppose -3*g = s - 12, -20*g = -23*g - 3*s + 18. Suppose 3*m - 43 = -2*n, 5*n - 105 = -8*m + g*m. Does 10 divide n?
True
Suppose 5*n - 5086 + 1491 = 0. Let a = 797 - n. Is 2 a factor of a?
True
Let j be (-24)/(-42) - 75/21. Let a be 1050/16 + j/(-8). Let f = 108 - a. Does 6 divide f?
True
Let o = 78 + -78. Suppose 7*n + n - 8 = o. Does 17 divide 3/(-12) - ((-2196)/16 + n)?
True
Let n be (-1)/(12/(-11) + 1). Suppose -g - 4*h = n, 3*g - 17 = -2*g - 2*h. Suppose -o - 3*w = -4*o + 180, -g*o + 3*w = -292. Is 7 a factor of o?
True
Suppose 56*c - 27*c = 20*c + 36189. Does 87 divide c?
False
Suppose -186*w + 4348048 + 2633537 = 985875. Does 43 divide w?
False
Suppose -2*x + 3258 = -4*l, -26*l + 24*l = -10. Is x a multiple of 11?
True
Let i(z) = -351*z + 5*z**2 + 0 + 345*z - 60. Does 15 divide i(-7)?
False
Let x = -3810 + 3941. Does 131 divide x?
True
Let a = 3495 + -1695. Is a a multiple of 45?
True
Suppose -18*t = -21*t + 33. Suppose 4*m - 2*x = 24, 7*m + 36 = t*m + 4*x. Suppose -n + 113 = m*a - 2*a, 0 = -2*n + 3*a + 291. Does 16 divide n?
False
Suppose 19*n - 11*n + 11404 = 2*c, -11426 = -2*c - 3*n. Is 5 a factor of c?
True
Suppose -2*t - 3*w + 71585 = 0, 23*t = 28*t + 2*w - 178990. Is t a multiple of 179?
True
Let a(q) = -14*q**3 + q**2 + 4*q + 3. Let f be a(-2). Let w(g) = 17*g**2 + 7*g + 4. Let z be w(-2). Suppose 59*h - f = z*h. Does 37 divide h?
True
Let i(q) = 78*q + 4. Let p be i(-2). Let g = p - -900. Suppose -10*t = -g - 362. Is 27 a factor of t?
False
Suppose 55*x = 43*x + 24. Is 4 a factor of (7 + -6)/((-3)/(-192)*x)?
True
Let k(s) 