352)). Suppose 4*y = 2*k - 320, -3*y = -k - 5*y + d. Does 42 divide k?
True
Let v(x) = -22*x**2 + 8*x - 14. Let c be v(8). Let m = -854 - c. Is 9 a factor of m?
True
Let q = -17800 + 25503. Is 14 a factor of q?
False
Suppose -2300 = -2013*o + 2009*o. Suppose 0 = -3*b + 6*h - 11*h + 1719, -o = -b - h. Is b a multiple of 17?
True
Let r = -4044 + 5302. Is r a multiple of 37?
True
Is 22 a factor of (-196 + (-21 - -21))/((-4)/110)?
True
Let w be (-28952)/126 - (-3 + 58/18). Is 47 a factor of 11256/10 - (-138)/w?
False
Let c(m) be the third derivative of 11*m**5/10 - m**4/2 - m**3 - 29*m**2 + 1. Does 26 divide c(-3)?
True
Let h(g) = 34*g + 198. Let r be 11*(-2 + (-9)/(-6))*-6. Does 20 divide h(r)?
True
Let j(f) be the first derivative of 2*f**3 - 3*f**2/2 - 13*f + 15. Let c(v) = -12*v**2 + 7*v + 27. Let x(m) = 4*c(m) + 9*j(m). Is 6 a factor of x(-3)?
True
Suppose 15 = -5*j + 35. Suppose -3*q + 212 = b, -j*q + b = -q - 220. Does 8 divide q?
True
Suppose 6*g - 70 = 2*t, 149 = -4*t + g + 2*g. Let w = t - -226. Is w a multiple of 59?
False
Suppose 2*n - 4*n + v = 1311, v = -3*n - 1959. Let c = n + 1104. Suppose -31*t = -36*t + c. Does 9 divide t?
True
Let p(x) be the third derivative of -x**6/120 + 19*x**5/60 - 5*x**4/6 + 24*x**3 + 20*x**2 - 1. Is 18 a factor of p(18)?
True
Let k(v) = 2*v**3 - 23*v**2 + 6*v + 13. Let u(j) = j**3 + 7*j**2 + 5*j + 47. Let b be u(-7). Is 13 a factor of k(b)?
False
Suppose -8*z = -10*z + 120. Suppose 236 = 2*f + z. Let a = 146 - f. Does 29 divide a?
True
Suppose -8 = d + d, -4*o = -3*d - 24. Let k(b) = 9*b**3 - 2*b + 10. Let c(z) = -28*z**3 + 5*z - 30. Let j(u) = 2*c(u) + 7*k(u). Is 29 a factor of j(o)?
False
Let w = 72 + 207. Suppose -3*y - 714 + 2103 = 0. Let r = y - w. Is 33 a factor of r?
False
Let n(f) = -19*f**3 - 2*f**2 + 4*f + 4. Let t = 127 - 122. Suppose -t = -2*z + 5*b - 4, 2*z + 2*b = -6. Is n(z) a multiple of 8?
False
Let q = -222 + 227. Does 2 divide q*430/50 - 10/2?
True
Let m(l) = 2*l + 30. Let f be m(-14). Let a be 4*(-2)/4 + f. Suppose 765 = 5*i - a*i. Is i a multiple of 17?
True
Let r(z) = -13*z + 66. Let t be r(-18). Suppose 5*g + o - t = 0, o + o = 0. Is 20 a factor of g?
True
Is 524139/210 + 9/90 a multiple of 24?
True
Let p be 1/(((-5)/(-8))/5). Suppose -7*f = -5*f - p. Suppose r + j - 29 = 8, -163 = -f*r - j. Is 21 a factor of r?
True
Let x(m) = 4*m**3 - 6*m**2 + 5*m + 6. Let g = 49 + -46. Does 35 divide x(g)?
False
Suppose 5 = g, 4*z - 14 - 55 = -5*g. Let k(a) = -4*a + a - z - 2 + a**2. Does 13 divide k(13)?
True
Suppose -577 = -33*g + 15131. Is 4 a factor of g?
True
Let d(w) = 325*w + 8 - 319*w + 4. Does 5 divide d(0)?
False
Let h(g) = -g**3 - 11*g**2 - 28*g - 36. Let f be 3 + (0/7 - 16). Is 19 a factor of h(f)?
False
Suppose -4*x - 1975 = 89. Does 43 divide x/3*(-2)/8?
True
Let q(a) = a**2 - 19*a - 374. Is q(60) a multiple of 23?
False
Let i be (-84)/3*114/24. Let f = 312 + i. Does 3 divide f?
False
Suppose -13*x + 66 = -11*x. Let m = x + -32. Is (-6 - 2)/8 - (-231 + m) a multiple of 10?
False
Let s be 1 + 1 + -34 + -2. Suppose -158 = 5*q + 3*a - 1018, -4*a = 0. Let z = q + s. Is z a multiple of 23?
True
Let i(m) = 4*m**2 - 5. Let l be i(-5). Suppose -5*w = 5*t - l, -t + 3 = t - 5*w. Suppose 0 = a + 3*o - 6, -o + 3*o - t = -4*a. Does 3 divide a?
True
Let w = -315 - -332. Suppose -w*a = -11*a - 4896. Is 68 a factor of a?
True
Suppose 0 = 4*z + 64. Does 14 divide -1 + (z - 34)*37/(-2)?
True
Let q = -2463 - -1114. Let w = -1033 - q. Is 4 a factor of w?
True
Let i be (-56)/(-10) + (-210)/350. Suppose 12544 = 19*n - i*n. Is 64 a factor of n?
True
Let p be 1*(-4)/9 - 1920/(-432). Let g(z) be the first derivative of z**4/4 - z**3/3 - 3*z**2/2 - 4*z - 1. Is g(p) a multiple of 7?
False
Is (-27665)/(-1) + (-75 - -79) a multiple of 232?
False
Let p be (-8)/32 - (-11)/(-4). Let x be 1/(p - (-80)/25). Suppose -4*a + x*h + 68 = -0*a, -a = -h - 17. Is a a multiple of 6?
False
Let v(h) = 3*h**2 - 2*h + 3. Let r be v(-4). Suppose 61*u = r*u + 980. Is 30 a factor of u?
False
Let y(x) = -11*x + 29. Let p be y(2). Suppose 562 - 107 = p*s. Is s a multiple of 15?
False
Let k(a) = 47056*a**3 + a**2 + 33*a - 34. Does 68 divide k(1)?
True
Let b(s) = 51 - 73 - 13*s - 21. Is b(-5) a multiple of 16?
False
Suppose -34*n + 141030 + 90306 = 0. Is 31 a factor of n?
False
Let u(s) = 2*s**3 + 97*s**2 + 156*s - 235. Is u(-44) a multiple of 89?
False
Suppose 6*a - 384 = -2*a. Suppose -f = -3*c - 30, -2*f = -f + 3*c - a. Suppose t + 26 = x, 5*x + 5*t = f + 41. Is x a multiple of 7?
True
Let s(x) = x**3 + 6*x**2 - 16*x + 2. Let r be s(-8). Suppose v - 4*a = 464, -v - a - r*a + 492 = 0. Is v a multiple of 32?
True
Suppose 79 = -3*z + 94. Let n(y) = 3*y**3 + 5*y**2 - 16. Is 22 a factor of n(z)?
True
Let f be (-290)/(-5 + 4 - (2 - 1)). Suppose o = 52 - f. Let g = o + 232. Is g a multiple of 12?
False
Suppose 0 = 5*p + 5*p + 30. Let g be (1/p)/((-4)/48). Suppose -h = -5*d - 148, g*h + d - 481 = 27. Is 13 a factor of h?
False
Suppose -u + 96 = -4*o, -907 = -5*u + 4*o - 363. Let t be (u/(-10))/(10/175). Let d = t - -376. Does 10 divide d?
True
Suppose -s - 2*h + 1249 = 0, -6154 = 438*s - 443*s + 3*h. Is 19 a factor of s?
True
Suppose 2*x = -5*l - 46, 3*x = -5*l - x - 52. Let z(t) = t**3 + 17*t**2 + 5*t + 6. Does 30 divide z(l)?
False
Is (395 - 407)/((2/(-15328))/(3/18)) a multiple of 216?
False
Let m = 548 - 553. Is 44 a factor of -1309*1*(-2)/(m - -7)?
False
Let r(x) = 3*x + 12. Let k be r(-4). Suppose k = z + 451 - 1921. Is 105 a factor of z?
True
Let p be ((-4)/(-7))/(82/574). Suppose -2*v + 3*s = 7*s - 160, -p*v = 4*s - 324. Is v a multiple of 2?
True
Let j = 97093 + -59362. Is j a multiple of 76?
False
Let w be (1/1)/((1 - 0)/2). Suppose -w*t = -3*r + 2, -4*r = -5*t + 4 - 2. Is (r/3)/((-2)/(-6)) a multiple of 2?
True
Suppose j - 25 = -3*t - 2*t, 20 = -j + 4*t. Suppose -2*w + 117 = 37. Suppose 4*b - w = -j*b. Is 10 a factor of b?
True
Let p(u) = u**3 + 15*u**2 - 14*u + 35. Let b be p(-16). Suppose 9*n - b*n - 2658 = 0. Is 27 a factor of n?
False
Suppose -45*v + 70*v = 7905 + 8620. Does 41 divide v?
False
Suppose o = -2*h + 3532, -33*o + 35*o + 3*h - 7062 = 0. Does 24 divide o?
True
Suppose -121*y + 525*y - 115544 = 0. Is 2 a factor of y?
True
Let g(c) = 6*c - 48. Let a(l) = 2*l**3 + 4. Let b be a(2). Is g(b) a multiple of 9?
True
Suppose 21*u - 116*u = 30*u - 2789250. Is u a multiple of 72?
False
Let t be 20/70 - 1452/(-14). Let z(i) = -i**2 - 14*i - 9. Let p be z(-6). Let a = t - p. Is 13 a factor of a?
True
Let v = -215 - -217. Suppose -v*z + 6 = -0*z, -5*h + 2*z + 2024 = 0. Does 10 divide h?
False
Let u be (2142/(-27))/(-17) - (-2)/6. Suppose 0 = -u*b - 2*t + 5182, -19*t + 23*t + 2092 = 2*b. Does 18 divide b?
False
Is 76296/(-544)*68/(-3) a multiple of 8?
False
Let f(n) = -2*n**2 + 10*n + 30. Suppose -3 = 2*k + b, 5*b + 26 = -3*k + 11. Is 6 a factor of f(k)?
True
Suppose 3*h = 2*u - 18, -2*h = 4*u - 5*h - 30. Suppose -3*j + 6 = -u. Suppose -5*n = -3*l + 3, -j*l = -5*l - 5*n + 21. Is 6 a factor of l?
True
Suppose -31 = -t + 185. Let i = t - 156. Is 3 a factor of i?
True
Let p(c) = 34*c**2 + 150*c + 98. Does 54 divide p(-23)?
True
Suppose 83*v = 21792 + 23526. Is v a multiple of 7?
True
Let d be (2820/1175)/((8/30)/(-2)). Is (-152)/(-684) + (-428)/d a multiple of 2?
True
Suppose 80*x + 54*x + 105 = 169*x. Suppose -3 = n, -48 = m - 4*m + 5*n. Let k = x + m. Does 7 divide k?
True
Let q = -1890 + 10574. Does 26 divide q?
True
Suppose 157*w - 21416 = 187394. Is 7 a factor of w?
True
Suppose 2278 = 32*r + 166. Is -80*(-63)/(-6)*(-11)/r a multiple of 10?
True
Suppose 5*a = -2*g + 13 - 2, -4*g - 2*a + 14 = 0. Suppose -2*n + 435 = g*w, 2*n + 894 = 6*n - 2*w. Does 21 divide n?
False
Suppose 4*u = 36 + 120. Let a = -35 + u. Suppose -3*g + 143 + 145 = 4*r, a*g - r = 384. Is g a multiple of 16?
True
Let m(p) = p - 5. Let d be m(5). Let c = 6177 - 6177. Suppose -i + d*i = -5*t - 48, t = c. Is i a multiple of 4?
True
Let k = 2416 + -1394. Suppose -5628 = -14*c - k. Is 14 a factor of c?
False
Let h be 22 + 2 + 0 - 4/(-1). Suppose 0 = h*v - 22*v + 408. Let x = v + 106. Does 19 divide x?
True
Let g(o) = 16*o - 23. Let a be ((-2)/(-12) + (-1)/(-3))*6. Is 7 a factor of g(a)?
False
Let m(b) = -b**2 + 36*b - 61. Is m(31) a multiple of 51?
False
Let s(