 - 21 = 0, 1584 = 3*i + 2*u. Does 20 divide i?
False
Let t(g) = 10*g + 6. Let b be t(-5). Is 2 - (9 + b) - 1*-5 a multiple of 7?
True
Let q = 446 + -417. Suppose -f + q = -3*k, 5*k = 2*f + 2*k - 67. Is 38 a factor of f?
True
Suppose 79*s - 4 = 75*s. Let q = s + 325. Does 17 divide q?
False
Let o be 12/54 - (-75)/27. Suppose 0 = -o*k + 3*p - 144 - 39, -2*p - 10 = 0. Let t = k - -105. Does 3 divide t?
True
Suppose 27*k + 2*p = 26*k + 10092, 5*p + 20 = 0. Is 100 a factor of k?
True
Is 83 a factor of 4/((-24)/6) - (-9 - 18877)?
False
Let a = 122 - 120. Let h be 1/(4/(-36))*(a + -1). Does 26 divide -167*(h - -4 - -3)?
False
Let i be 57*4/12 - (-8)/2. Does 4 divide 103 + i - (-1 + 8)?
False
Suppose 4*g - g - 6 = 0. Suppose -3*v + g*k - 6 = 0, -4*v = k - 0 - 3. Suppose v = -2*h + 191 + 67. Is 28 a factor of h?
False
Does 10 divide ((-3)/12*-4)/(1*(-3)/(-2241))?
False
Let t(d) be the first derivative of d**6/360 + d**5/15 + 6*d**3 - 25. Let r(w) be the third derivative of t(w). Is 9 a factor of r(-9)?
True
Let k(u) = -9*u - 101. Let m be k(-11). Does 16 divide m/(14/(-201)) + (-208)/(-728)?
False
Let w = -30 + 38. Let k(h) = 2 - 33*h - w + 3. Does 15 divide k(-5)?
False
Suppose 246 = 13*m - 1769. Let g = 284 - m. Does 43 divide g?
True
Let x = 10938 + -6437. Suppose 14*k - 8743 = x. Does 86 divide k?
True
Suppose 5*k - 11392 = 5*g + 4628, 0 = 4*k + 2*g - 12834. Suppose 9*l = k + 1941. Is 22 a factor of l?
True
Suppose -14*g = 11*g + 100. Is 251 + (-18)/(-42) + g/(-7) a multiple of 36?
True
Let w(g) be the third derivative of 0 - 1/3*g**3 + 7/20*g**5 + 0*g - 1/12*g**4 - 13*g**2. Is w(3) a multiple of 29?
False
Suppose -d + 5*d = 12. Suppose d*x - 267 = -v - 2*v, -2*v - 386 = -4*x. Let h = x - 55. Is h a multiple of 12?
False
Let q(f) = f**3 + 2. Let w(l) = -l**3 - 9*l**2 + 5*l + 6. Let s(x) = -2*q(x) - w(x). Is 7 a factor of s(8)?
True
Let c(q) be the third derivative of 7*q**5/60 - 7*q**4/24 + 2*q**3/3 + 98*q**2. Suppose 3*i + 8 = 5*i + s, -2*i + 8 = 3*s. Is c(i) a multiple of 11?
True
Suppose 3040 = 24*c - 14*c. Suppose 308*g - 3632 = c*g. Is g a multiple of 58?
False
Let l(z) be the first derivative of -23*z**2/2 + 671*z + 47. Is 16 a factor of l(0)?
False
Suppose -11*b - 26 = -70. Suppose -4*u - 760 = -5*u - 3*i, u = b*i + 725. Is 33 a factor of u?
False
Let a(n) = 2*n**2 - 78*n + 1020. Does 37 divide a(55)?
False
Let u = 3057 + -398. Suppose -9*t + 311 = -u. Is t a multiple of 35?
False
Let o = -153 + 238. Is 8 a factor of 4/(-34) - (-17690)/o?
True
Suppose -2*s - 6*l = -4*l - 38, -4*s + 3*l = -83. Let x = -18 + s. Is 27 a factor of x/11 + (-5930)/(-55)?
True
Let s(b) be the second derivative of 59*b**5/20 - b**3/6 + b**2 - 2*b - 17. Is s(1) a multiple of 20?
True
Let v(c) be the first derivative of 5*c**2 - 2*c**3 + 4 + 1/4*c**4 - 8*c. Is 13 a factor of v(6)?
True
Suppose -418*g - 2239319 + 13205934 = -13179573. Does 34 divide g?
True
Let r = -21890 + 31080. Does 9 divide r?
False
Let w = -175 - -15. Let o = 356 + w. Does 6 divide o?
False
Let o = -819 - -3441. Suppose 77*w = 20*w + o. Does 15 divide w?
False
Suppose 0 = 98*p - 89*p - 9113 - 859. Is p a multiple of 36?
False
Let q be -2 + (172/(-2))/(2/1). Let i be 10*(q/25)/(-3). Suppose -2*w + 112 = i*w. Is w a multiple of 10?
False
Let m = 2145 - 1676. Does 11 divide m?
False
Let z be -21*(0/4 - 1). Let c be -111*(56/z + 3*-1). Suppose c + 33 = 5*k. Does 14 divide k?
True
Suppose -19*x - 577 = -18*x. Let f = -229 - x. Does 6 divide f?
True
Suppose -656 = -36*z - 5*z. Let j(g) = g**3 - 16*g**2 + 4*g - 42. Is 22 a factor of j(z)?
True
Let u be 411/(-2)*4/(-6). Let w = u - 243. Let s = 164 + w. Is 7 a factor of s?
False
Let m(r) = -3*r**3 - 66*r**2 + 26*r - 29. Is 82 a factor of m(-25)?
False
Suppose 0 = -6*f - 4939 + 13441. Is f a multiple of 44?
False
Let z(d) = -d**2 - 7*d - 2. Let y be z(-6). Let h be (-6 + y)/1 - -27. Suppose -107 = -5*w - n, w + n = -2 + h. Does 3 divide w?
True
Suppose 4*r - 1808 = -2*h, 3*h = 7*h. Let n = -322 + r. Suppose 50*v + n = 51*v. Is 13 a factor of v?
True
Suppose 14*r - 50 + 22 = 0. Suppose -r*p = 3*d - 5*d + 1544, -15 = -3*p. Is 21 a factor of d?
True
Suppose 25*t + 8540 = 45*t. Suppose 0 = b - i - 694, -3*i + t = b - 255. Is 72 a factor of b?
False
Let v(a) be the third derivative of a**5/20 - a**4/6 - a**3/6 + a**2. Let i = 501 + -498. Is v(i) a multiple of 7?
True
Let s(m) = -8*m**3 - 3*m**2 + 3*m - 3. Let z be s(3). Suppose 5*d - u + 0*u - 1673 = 0, 345 = d + 5*u. Let o = d + z. Is 12 a factor of o?
False
Let f be (-206 - 2)*(-42)/24. Let y = 490 + f. Does 19 divide y?
False
Suppose g = -2*o - o + 1082, 4*o - 1416 = 4*g. Let h = o - 189. Does 34 divide h?
True
Let h = 342 + -334. Let v(s) = 19*s - 28. Let n(a) = 20*a - 28. Let o(b) = -6*n(b) + 7*v(b). Is o(h) a multiple of 19?
True
Suppose 3*z - 253036 = -4*u, u - 63258 = -53*z + 52*z. Is 47 a factor of u?
True
Let n(i) = -18*i. Let u be n(1). Let m = -25 - u. Is 21 a factor of (-592)/m + (-84)/147?
True
Let f = 1106 + 909. Is f a multiple of 5?
True
Suppose -2*s + 2*g = -5*s + 728, 5*s - 1188 = 3*g. Is s/(-14)*2499/(-102) a multiple of 28?
True
Let g = 379 + -147. Suppose z + 232 = d, -d = -2*d - 2*z + g. Does 8 divide d?
True
Let l(f) = -9*f + 20. Let c be l(-16). Let s = c + -133. Does 6 divide s?
False
Let x(p) = 78*p + 15. Let c(b) = -39*b - 8. Let i(l) = 11*c(l) + 6*x(l). Suppose 0*d + 20 = 5*r + 3*d, 3*r - 23 = -4*d. Is 7 a factor of i(r)?
False
Suppose 7 = s - 2. Let j be (10/(100/15))/(1/178). Suppose 4*z - j = s. Is z a multiple of 8?
False
Let s(t) be the first derivative of -47/2*t**2 + 6 + 6*t. Is 48 a factor of s(-3)?
False
Let l(r) = 79*r**2 + 2*r - 6 - 3*r + 5 + 3*r. Let h be (-33)/(-22) - 2/4. Is l(h) a multiple of 40?
True
Let q(s) = 4*s**2 - 90*s + 1598. Is 18 a factor of q(64)?
True
Let x be (-40)/48 - 5/(-6). Is 5 - 1 - (x + -94 - -2) a multiple of 24?
True
Is -31650*((-2)/24 - 11/12) a multiple of 31?
False
Does 3 divide 956*((-5439)/42)/(-37)*(-22)/(-28)?
False
Let j = 23723 + -13317. Is j a multiple of 121?
True
Suppose 4*f - 48 = -8*f. Suppose -w = f*x - 560, -x + 0*x + 3*w = -140. Does 7 divide x?
True
Suppose 804*p = 1032*p - 4857768. Does 134 divide p?
True
Let u = 665 + 2376. Is 19 a factor of u?
False
Let v be (16/(-20))/((-7)/70). Suppose v*x = 14*x - 1998. Does 10 divide x?
False
Is 91 a factor of (-1)/((-8)/(-17420)*-5)*14?
True
Suppose -17*j + 4*n - 1990 = -20*j, n + 2 = 0. Is j a multiple of 6?
True
Let y(i) = i**3 + 9*i**2 - 12*i - 8. Let g be y(-10). Suppose -180 - g = -4*x. Is x a multiple of 6?
True
Let r = -182 - -1799. Is r a multiple of 21?
True
Is 174 a factor of 5*36/(-420) - (-68214)/14?
True
Does 24 divide (264/(-154))/((-3)/7728)?
True
Is 66 a factor of (-3 - -19*5/30) + 35254/12?
False
Suppose -100756 - 67082 = -25*r + 157337. Is 58 a factor of r?
False
Let q be (-14)/(-5) + -2 + (-1812)/(-10). Let b = 357 - q. Does 42 divide b?
False
Suppose -16584 - 15036 = -17*m. Does 31 divide m?
True
Suppose 3*v = -2*f - 13, -3*v + 8*v + 21 = -4*f. Let t(q) = 29*q**2 - 11*q - 15. Is 15 a factor of t(v)?
True
Let t(w) = w**3 + 6*w**2 + 2*w + 22. Let g be t(-6). Is 2/5 - (-26)/g a multiple of 3?
True
Suppose 3*j + 3*u + 0*u + 9 = 0, -4*j - 3*u = 16. Let f = j - -16. Suppose f*k + 143 - 368 = 0. Is 5 a factor of k?
True
Suppose 3*w = 2*b - 6, 1 + 13 = -5*w + 2*b. Let i be w + 7*(12 - 5). Is (1 + (0 - i/4))*-28 a multiple of 18?
False
Let k(s) be the first derivative of s**3 - 25*s**2 + 37*s + 248. Is k(17) a multiple of 27?
True
Let z be (-3688)/(-2) + 0/21. Suppose -36*t = -32*t - z. Does 13 divide t?
False
Suppose -1958 + 8998 = 11*t. Let b = t + -468. Does 4 divide b?
True
Suppose -7*h + 38 + 39 = 0. Suppose -3*j + h*j = 368. Let o = 32 + j. Is o a multiple of 67?
False
Let k = 7929 - 1546. Is 13 a factor of k?
True
Suppose -111994 = -44*k - 22674. Does 5 divide k?
True
Let g(y) = -557*y + 143. Does 16 divide g(-5)?
True
Let m(x) = -x**2 - 3*x + 99. Let c(b) = -b**3 - 33*b**2 - 34*b - 64. Let v be c(-32). Is m(v) a multiple of 5?
False
Let o(m) be the third derivative of m**5/30 + m**4/2 + m**3/6 - m**2. Let v be o(5). Let x = -31 + v. Does 16 divide x?
True
Suppose -9*n + 4*n + 5 = 0. Let l be ((-27)/(-18))/(n/(-2)). Is 9 a factor of -7*(1 - l - 6)?
False
Suppose 55