4 = 0. Suppose v*l - l - 16 = 0, 4*a - d*l - 372 = 0. Is 28 a factor of a?
False
Let p be -8*(-1 - -2*(-60)/(-16)). Let u = 108 - p. Does 16 divide u?
True
Let h(g) = -27*g**3 + 5*g**2 + 77*g - 22. Is 141 a factor of h(-11)?
True
Suppose -3*m + 1335 = 2*p, 435 = m - p + 5*p. Let r = m - 293. Does 22 divide r?
True
Let u = -175 - -179. Suppose -11*q = -u*q - 609. Is 13 a factor of q?
False
Let u be 2/(-4) - (-91378)/(-28) - 5. Let d = -2147 - u. Does 11 divide d?
True
Let h(n) = -77*n**2 + 1301*n - 24. Does 88 divide h(8)?
True
Let l(v) = 58*v**2 + 34*v - 472. Does 10 divide l(13)?
False
Let i(g) = -3*g + 17. Let y be i(5). Suppose -5*f + y*f = -1095. Suppose 2*n - f = -93. Is n a multiple of 8?
True
Suppose -4*v - c + 14404 = 0, -3*v + 10820 = 10*c - 5*c. Does 3 divide v?
True
Let z(q) = 11*q**3 - 2*q**2 - 2*q + 2. Let u be z(-2). Does 6 divide (4/(-5))/(4 - (-361)/u)?
True
Suppose 8*q - 112*q = 48158 - 1225646. Is 17 a factor of q?
True
Is 25 a factor of (-1)/((-10)/290*(-1)/(-125))?
True
Let j(t) be the third derivative of -t**5/60 + 5*t**4/24 - 2*t**3/3 + 5*t**2. Let l be j(2). Is 7 a factor of 10/(-8) + l - (-411)/12?
True
Suppose -614287 = -3098*j + 3057*j + 14530. Is 49 a factor of j?
True
Let w = 3483 + 1504. Is w a multiple of 3?
False
Suppose -306075 - 811380 = -41*c. Does 42 divide c/39 - -2 - 46/(-299)?
False
Suppose 0 = -5*h + 3*j + 1520 - 9869, 2*j + 5017 = -3*h. Let l = -606 - h. Suppose -11*v = -l + 405. Does 13 divide v?
False
Let d(k) = -3*k + 3. Suppose -y + 4*p = -17, -4*y - p - 2*p - 27 = 0. Is 4 a factor of d(y)?
True
Let k = 107 - 114. Let t(z) = z**3 + 17*z**2 - 16*z + 4. Is t(k) a multiple of 41?
False
Let f(w) = 4*w**2 + 62*w - 23. Let z be f(-16). Suppose 2293 = z*b + 16. Does 21 divide b?
False
Suppose 8*t - 790 - 1090 = 0. Suppose t = 2*x + 95. Does 2 divide x?
True
Let w = -949 + 1366. Suppose -3*j + 0*r = 2*r - w, -2*j + 289 = 5*r. Let v = j + -55. Is 12 a factor of v?
False
Suppose 13*m - 9*m = 12. Suppose -4*f + 994 = m*l, 7*f - 740 = 4*f - 5*l. Suppose r = -4*s - r + f, -4*r = s - 52. Does 9 divide s?
False
Suppose 0 = 3*q - 4*k - 2741, q - 32*k - 902 = -33*k. Is 135 a factor of q?
False
Suppose 90*q - 118*q - 2205045 = -313*q. Is 58 a factor of q?
False
Let f(t) be the third derivative of t**4 + 20*t**3/3 - 5*t**2. Let v(x) = -6*x - 10. Let o(j) = 2*f(j) + 9*v(j). Does 7 divide o(-6)?
False
Let q(c) = -c**2 + 12*c + 3. Let j be q(14). Let a(w) = 21*w - 13 - 2 - 5 + w**2. Does 23 divide a(j)?
False
Let k(p) = 802*p + 114. Let i be k(30). Is ((-6)/33 - i/(-99)) + -4 a multiple of 16?
True
Let k(u) = -39*u**3 + u + 2. Let c be k(-1). Suppose 3*v = 4*v - c. Does 4 divide v?
True
Does 12 divide -8 + -11 + 7 + 111?
False
Let r(s) = s**3 - 11*s**2 + 8*s - 21. Suppose -13*g + 18*g = 0. Suppose 22 = 2*o - g*o. Is 45 a factor of r(o)?
False
Let p = 161 - 157. Does 29 divide 2/(12/1394) - p/12?
True
Suppose -r + 160 = 4*r. Let n be (-107)/(-4) + 8/r. Suppose -8 = d - n. Is 4 a factor of d?
False
Suppose 0 = -51*f + 4342 + 5399. Does 2 divide f?
False
Let p(j) = 2*j**3 - 2*j**2 - 3*j - 4. Let q be p(4). Let z = 163 - q. Suppose 113 - z = 2*s. Is s a multiple of 6?
False
Suppose -68*s + 5*z + 7417 = -66*s, 3*s - 11093 = z. Is 6 a factor of s?
True
Let y = -2498 - -5064. Is y a multiple of 60?
False
Let j(h) = h**3 - h**2 + 3*h + 25. Let x be j(0). Suppose -x*s = 236 - 2011. Is 35 a factor of s?
False
Suppose -160 + 43 = -9*m. Suppose 0 = -a - 2*q + q + m, 0 = -5*a + 2*q + 37. Let o = a + 21. Does 22 divide o?
False
Let u = -290 + 294. Suppose -3*y + u*z = -7*y + 96, z = -4*y + 99. Is y a multiple of 25?
True
Let o(f) = 169*f**3 - 49*f**2 + 156*f - 13. Is 17 a factor of o(4)?
False
Let l = 1113 - 162. Suppose g + 786 = 2*x, -617 = -4*x + g + l. Is 17 a factor of x?
True
Suppose 45*h + 246141 = 52*h. Is 13 a factor of h?
False
Suppose -4*v - 1341 - 4391 = 0. Let j = -540 - v. Is j a multiple of 73?
False
Let o be -2*(4 - (6 + 14095/(-10))). Does 49 divide 18/(-45)*o - -1?
True
Let h be 147/21 + 2*-1. Is 43 a factor of 1/(-5) - ((-1736)/h + 3)?
True
Let k(d) = 2*d**3 - 4*d**2 - d + 2. Let h be k(2). Suppose 0 = -p + 5*m + 27, -p + m + 15 = -h*m. Suppose -v + p = v. Does 2 divide v?
True
Let l be 1020/(-204) - 14/(-2). Let b(d) be the third derivative of d**5/12 + d**4/24 - d**3/6 - d**2. Is b(l) a multiple of 7?
True
Let t(w) = 4*w**3 + 4*w**2 + 4*w + 9. Let l = -86 + 91. Is t(l) a multiple of 17?
True
Does 15 divide ((-60)/30)/(16/(-43864))?
False
Suppose -4 = 5*u + 3*s, -u + 4*s - 4 - 6 = 0. Let x be 6 + (8 + -4)/u. Suppose x*i = 693 + 207. Is 49 a factor of i?
False
Suppose -s = -4*b - 1 - 4, -4*b = 5*s - 25. Suppose -4*w - t - 4*t - 43 = 0, -s*t - 7 = w. Let p(m) = -m + 26. Does 3 divide p(w)?
False
Let y(k) = 11*k - 111. Let m(j) = 6*j - 56. Let h(u) = 5*m(u) - 3*y(u). Is 2 a factor of h(10)?
False
Let y = -96 - -51. Let r = y + 45. Suppose m + r*m = -3*l + 347, -2*m - 234 = -2*l. Is 17 a factor of l?
False
Let l = -6912 - -7234. Does 27 divide l?
False
Suppose 2*x + 14 = -3*t, -x = 2*t + 7 + 3. Does 8 divide (4 + -43)*50/t?
False
Let t = -5017 - -8925. Suppose t + 1948 = 16*c. Is 75 a factor of c?
False
Let z = 127 + -125. Suppose -z*v + 2*j + 1846 = 0, 4*v - 843 - 2854 = -j. Is v a multiple of 11?
True
Let j = 56 + -26. Let n = -32 + j. Is 11 a factor of 0/n - 93/(-1)?
False
Let k(w) be the first derivative of -w**5/8 + w**4/8 + 4*w**3/3 + 6. Let g(m) be the third derivative of k(m). Is 16 a factor of g(-3)?
True
Let m be -3*(-11 + 9 + 3). Does 2 divide m + 3 + -6 + 51?
False
Let y = 403 + -788. Let h = y - -754. Is h a multiple of 9?
True
Suppose -s - n = -10, -5*s - 4*n + n + 44 = 0. Suppose 3*g = 173 + 382. Suppose s*o - g = 39. Is 4 a factor of o?
True
Let s be 3 + -9 - 6/(-2). Let b = -47 - -43. Is 15 - -3*(b - s) a multiple of 6?
True
Suppose -t - 101 = -100. Is 12 a factor of (t - -241)*(-72)/(-60)?
True
Let d be 4/(-30) + 37051/(-1005). Is 50 a factor of (-6042)/(-10) + 9/(d + -8)?
False
Let a = -1226 - -2797. Is 24 a factor of a?
False
Is 20 a factor of 7/((-14)/(-12))*(2 + (-11850)/(-20))?
False
Suppose 125*l - 151680 = -3*l. Does 11 divide l?
False
Is -2 + 2 + 3625 + 623 + -622 a multiple of 5?
False
Does 5 divide 46/(-69)*4725/(-7)?
True
Is (-27)/(-126)*-2 + 1 + 1206280/28 a multiple of 188?
False
Suppose -a - 2*a = 0, 2*x - a = 4*x - 45546. Does 46 divide x?
False
Let u be 628/10 - (-13)/65. Suppose -u - 17 = -5*d. Is d a multiple of 3?
False
Let m = -1976 - -4701. Does 45 divide m?
False
Let c = 1880 + -551. Does 32 divide c?
False
Let f = -78 + 80. Suppose -5*w + 1291 = 4*v, 5*v - f*w = -3*w + 1619. Is 54 a factor of v?
True
Suppose 0 = 5*c - 5*z, -4*z + 12 = 5*c - 3*z. Let w be (c + -29)/(0 + 6/4). Is 207/2 - 9/w a multiple of 26?
True
Is 48 a factor of (-1)/1 + 4 + 29 + -2 + 2322?
True
Let y be 47/((-3)/(-3 + 15)). Let i = 304 + y. Let f = 252 - i. Does 8 divide f?
True
Let i(n) be the second derivative of n**5/10 - 2*n**4/3 + 5*n**3/6 + n**2/2 - 12*n. Let k be i(5). Let u = k + 182. Is u a multiple of 43?
True
Let u(f) = f**3 - 14*f**2 + 18 + 123*f - 123*f. Suppose 2*v - 42 = -v. Does 9 divide u(v)?
True
Suppose 26*a - 25*a - 3 = 0. Is 13 a factor of -1 + -1 - (-1254)/a?
True
Let i(l) = -l. Let n(x) = 33*x + 11. Let m(f) = 22*i(f) + n(f). Let o be m(-14). Let j = -38 - o. Is j a multiple of 21?
True
Let t(j) = 3*j - 3. Let p(g) = 4*g - 4. Let f(c) = -2*p(c) + 3*t(c). Let z(k) = 26*k + 1. Let y(v) = -3*f(v) - z(v). Is 16 a factor of y(-4)?
False
Let z = 2179 - 829. Is z a multiple of 18?
True
Let i be (-2)/8*-14 - (-1)/2. Suppose 5*v = -6*y + 5*y + 28, 4*v - 32 = i*y. Is v a multiple of 3?
True
Does 9 divide (18/(-21))/((-13)/34671)?
True
Let m(q) = q**2 - q + 1. Let p(i) = -6*i + 160*i**2 - 2*i + 10 + 20*i**2. Let d(j) = -10*m(j) + p(j). Does 24 divide d(-1)?
True
Suppose 0 = 12*y - 217 - 83. Suppose 4*x - 824 = -5*f, -3*f + 520 = 21*x - y*x. Does 4 divide f?
True
Suppose 2*h = -271*x + 269*x + 472, -457 = -2*x + h. Is 16 a factor of x?
False
Suppose h - 3*r = 636, -3*r + r - 8 = 0. Is h a multiple of 12?
True
Is 305 a factor of 36/108*(-9 - -20139)?
True
Suppose -2*r = -2*k + 6179 - 299, 0 = 4*k - 2*r - 11760. Does 140 divide k?
True
Let p be ((-30)/(-8))/((-1)/(56/(-21))). Is 59 a factor of (-3