 2*u + 22. Let n be h(-9). Suppose 0 = c - 4*w - 11 - 10, n*w + 36 = 4*c. Suppose c*q = -3*t + 40, -4*q - 56 = 3*t - 5*t. Does 11 divide t?
False
Let b be (-4)/(-8) - 4232/(-16). Let a = 376 - b. Does 7 divide a?
False
Let r(t) = -8*t + 104. Let c be r(9). Is (-4)/2*((-912)/c - 18) a multiple of 2?
False
Is 90 a factor of 81/(-6)*(-106720)/138?
True
Let p(l) = -4*l + 66. Let n(c) = 4*c + 51. Let q be n(-8). Let v be p(q). Does 11 divide 12/(-8) + (-315)/v?
False
Let d(f) = 1085*f + 6818. Does 21 divide d(8)?
True
Let o(g) = g**2 - 7*g - 20. Let n be o(9). Let l be 345*(n - (-2)/2). Is 6/((-36)/l)*2 a multiple of 17?
False
Let j = -15 - -21. Let a be (81/(-45))/((-4)/(-20)*-3). Is j*(17 + 1) - (-7 + a) a multiple of 8?
True
Let s(w) = -w**3 - 24*w**2 + 13*w - 39. Let h be s(-24). Let l = h + 437. Does 3 divide l?
False
Suppose -3*o = 5*j - 48424, -112*j + 109*j = -3*o - 29040. Does 4 divide j?
False
Let c = 213 + -219. Is 32 a factor of (625/(-20) - (-9)/(-12))*c?
True
Let v be (13 + 0)/(2 - 3). Let t(a) = -a**2 - 2*a - 1. Let p(l) = -3*l**2 - 5*l - 2. Let w(m) = -4*p(m) + 11*t(m). Is 16 a factor of w(v)?
True
Let x(i) = 25*i**3 - 4*i**3 + 12 - 11*i**3 - 11*i**3 + 8*i**2 - 10*i. Let r be x(6). Let a = 117 - r. Is a a multiple of 15?
False
Let x = 130 + -131. Does 15 divide (-15)/9*(x + -179)?
True
Let p(j) be the first derivative of 7*j**3/3 - 5*j**2/2 - 28*j + 18. Is 11 a factor of p(-3)?
False
Let a(q) = q**3 - 2*q**2 + 11. Let r be a(2). Suppose r*h - 1593 = 2*h. Is h a multiple of 53?
False
Suppose 987214 = 128*y - 2286130. Is y a multiple of 50?
False
Let a(l) = l + 2. Let h(u) = -3*u - 5. Let k(y) = -2*a(y) - h(y). Let f be k(1). Suppose -s - 5 = 0, 0 = -4*b - 0*b + f*s + 250. Is 15 a factor of b?
True
Suppose 23*m + 8804 = -23028. Let y = -812 - m. Is y a multiple of 44?
True
Let w = 2041 - -1806. Does 119 divide w?
False
Let v(r) = -15*r + 144. Is 12 a factor of v(8)?
True
Suppose -3*r - 2*l = -17430, -5*r + 15*l + 28984 = 11*l. Does 26 divide r?
False
Let w = -5389 - -6235. Is w a multiple of 4?
False
Suppose 0 = 9*t - 2323 - 539. Suppose -t = -a + 241. Is 16 a factor of a?
False
Is (-29982)/(-9) + ((-34)/3 - (-300)/25) a multiple of 28?
True
Suppose 5*q + 38 = 33. Let s(k) = -16*k**2 + k + 1. Let g be s(q). Does 7 divide (2250/g)/(-3) - 3/(-24)?
False
Let j = 31 - -161. Let t = -88 + j. Is t a multiple of 13?
True
Suppose 48 = 8*k - 48. Let d be (-3)/k - (-18)/8. Does 4 divide d/(-14) + (-1265)/(-35)?
True
Let v = 19188 + -3060. Is v a multiple of 56?
True
Let j be 11 - (-464)/(-40) - 3672/5. Let m = j + 1667. Is m a multiple of 66?
False
Suppose -b + 5*a + 22003 = -11140, 2*b = -5*a + 66376. Is 11 a factor of b?
False
Let k be (-1 - 1)/(-2)*2. Let h be (-365)/(-75) - k/(-15). Suppose h*n - 90 = -y - 37, n - y = 7. Does 5 divide n?
True
Let w = 226 + -208. Suppose -w*k = -23*k + 235. Is 12 a factor of k?
False
Let n(q) = -159*q + 3403. Is 4 a factor of n(-25)?
False
Suppose -18219 = 50*z - 89754 - 47315. Does 44 divide z?
False
Suppose -c + 2*t = 2*c - 41, 0 = -2*c - 3*t + 23. Suppose -3*v + 2*b - 11 = c, -8 = v + 4*b. Is 22 a factor of v/20*-5 - -86?
True
Is 2*(17160/(-22)*-9 + (-1)/(-2)) a multiple of 19?
True
Let i = 68 - 66. Let w be 0*(i/5)/((-8)/(-20)). Suppose -2*q + 8 = w, -3*k + 0*k + 4*q + 560 = 0. Is k a multiple of 32?
True
Suppose -17195 - 757 = -12*r. Is r a multiple of 44?
True
Let y = 114814 + -81004. Is 14 a factor of y?
True
Let x = -2658 - -15106. Does 32 divide x?
True
Let x(o) = 4*o**3 + o**2 + o - 1. Let g be x(1). Let k(f) = -g + 21*f**2 + 6 + 3 - 2 + 8*f. Is k(-3) a multiple of 11?
False
Suppose -5*d - 1 = -6. Let u be (-10 + (-1 - d))/((-2)/3). Suppose -k + u = -p - 34, 3*p + 9 = 0. Is 16 a factor of k?
False
Let n(d) = 46526*d**2 + 36*d + 30. Does 20 divide n(-1)?
True
Let a = -21272 + 33947. Is a a multiple of 45?
False
Suppose -l - 16 = -3*y - 18, -41 = 5*l + 2*y. Does 26 divide 106 - l/((-35)/(-25))?
False
Let f = -410 + 135. Let b = f - -647. Is 12 a factor of b?
True
Suppose -83 = 23*v - 37. Is -144*v*3/12 a multiple of 2?
True
Let t = 267 + -155. Suppose -789 + 237 = -3*s. Let w = s - t. Does 18 divide w?
True
Let x(n) = -n**3 - 29*n**2 + 33*n - 192. Is x(-34) a multiple of 36?
False
Suppose -41*v = -39*v - 4. Let y(i) = 59*i**3 + 5*i - 4 + 2 - v*i + 0. Is y(1) a multiple of 15?
True
Suppose -2*a = -2*u - 186, 0 = -a + 11 - 6. Let r = u - -458. Does 10 divide r?
True
Suppose 9*y + y + 3120 = 0. Is 7 a factor of 18/3*(-13)/(y/800)?
False
Let c(f) = 10*f**2 + 4*f. Let h be (3/(-6))/(0 - 3/18). Suppose -h*q - 2 = -2*q. Does 8 divide c(q)?
True
Suppose -4*j - 31*a = -36*a - 59676, 89564 = 6*j + 5*a. Is 26 a factor of j?
True
Let x be 3 - 1 - (-69 - -69). Is (-136356)/(-121) - x/(-22) a multiple of 23?
True
Suppose 10 = -z + 4*l, -5*z + 2*l - 1 = -5. Suppose z*u + 0 - 4 = 0. Suppose -u*j + 5*w = w - 88, -5*w + 115 = 2*j. Does 13 divide j?
False
Let z = 291 + -304. Let q(c) = -c**2 - 17*c - 10. Does 5 divide q(z)?
False
Let u = 6370 + 11236. Is u a multiple of 61?
False
Is 5 a factor of 7*(725/435 + (-51319)/(-21))?
False
Let y be (-4)/(-12)*-9*1. Let m(a) = -57*a + 13. Let n be m(y). Let d = n - 100. Does 31 divide d?
False
Suppose -2 = -x - 0, -2*d = 3*x + 156. Let t be 191/(-9) + 3/(d/(-6)). Does 22 divide 3 - 3 - (t*3 + -3)?
True
Is 7 a factor of -3462*((-150)/18 + 8)?
False
Let l = 3252 + -3122. Is l a multiple of 72?
False
Is 42 a factor of (178360/1911)/(2*2/1026)?
True
Let t(r) = -89*r - 300. Let k be t(-22). Let w = k - 508. Is w a multiple of 46?
True
Let n = -13706 - -28365. Is 107 a factor of n?
True
Let o(p) = -6*p**3 + 7*p**2 + 13*p - 93. Does 40 divide o(-10)?
False
Is 3*(-8)/72 - (2 - (-111185)/(-15)) a multiple of 13?
True
Suppose c = 7 + 40. Let a = c + -45. Suppose -a*r + 7*y = 2*y - 52, 3*y = 2*r - 44. Is r a multiple of 8?
True
Let g(u) = 30*u**2 + 4*u - 8. Suppose 2*n = 5*b - 21, 4*n - 2*b - 1 = -3. Is g(n) a multiple of 15?
True
Suppose q + 19 = 3*f, -q - 6 = -2. Suppose -99 = -f*y - 24. Is 5 a factor of y?
True
Suppose -3*s - l + 5*l + 1710 = 0, -4*s = 3*l - 2230. Is 6 a factor of s?
False
Suppose -16*p - 10435 = -3091. Let i = 759 + p. Does 20 divide i?
True
Suppose 5 = -86*s + 87*s. Is 31 a factor of (-4 + 1 + s)*62?
True
Suppose -5*q + q + 19 = -5*f, -5*q + 25 = -5*f. Suppose 5*p - 5*t = 635, -p + t = q*t - 121. Is 6 a factor of p?
True
Let t(l) = -l**2 - 5*l + 1. Let p be t(-4). Suppose 2*c - 14 = -3*g, 13 = p*g - 5*c - 27. Suppose -k = -2*n + g*n - 325, k = 5. Does 10 divide n?
True
Let o = 3913 + -2549. Does 31 divide o?
True
Let w = -25319 + 42504. Is 7 a factor of w?
True
Suppose -2*w - 3*i + 9 = 0, -8 = -2*w - i - 1. Suppose -w*g - 19 = -16, c = -3*g + 60. Is c a multiple of 7?
True
Suppose -7*w + 6716 = -3847. Let l = w + 318. Is 29 a factor of l?
True
Let v = -57077 - -98641. Does 61 divide v?
False
Let q = 85 + -229. Let f = 325 + q. Is f a multiple of 4?
False
Let u(d) be the second derivative of -d**4/12 + d**3/6 - d**2/2 + 4*d. Let o be u(-4). Does 24 divide o/(-1)*(-576)/(-168)?
True
Let k(l) = 6*l - 26. Let t be k(5). Suppose -3*x = t*o - 0 + 2, -5*o + 2 = 3*x. Is 12 a factor of 4/(-1 - 1)*x?
True
Suppose -509783 = -52*l - 13287. Is 84 a factor of l?
False
Suppose 65 + 8455 = 5*m + 5*d, -6806 = -4*m - 2*d. Is 3 a factor of m?
False
Let i(u) = -u**2 - 8*u. Let a be i(-7). Is (-3)/105*a + (-2412)/(-10) even?
False
Is (-19)/((-1064)/576)*287 a multiple of 10?
False
Let q = -251 - -324. Let y be 8/(-12) + 2/3. Suppose y*c = -c + q. Is c a multiple of 22?
False
Suppose 3*z - 105 = h + 7*z, -z = 1. Let f = -10 - h. Suppose -43 = -y + f. Does 35 divide y?
False
Let w(l) = 5*l + 6. Let t(j) = 2*j**3 - 6*j**2 + 7*j - 1. Let y be t(3). Let i be 8/20*14 - (-8)/y. Is 3 a factor of w(i)?
True
Let r(n) = n**3 - 5*n**2 + 10*n - 2. Let h be r(2). Is 17 a factor of (-6)/72*-6124 + (-2)/h?
True
Suppose 6 = 5*b - 8*b, 2*x - 248 = 5*b. Is 11 a factor of (((-60)/14)/3)/((-1)/x)?
False
Is 12024/(-27)*(-867)/68 a multiple of 34?
True
Suppose 3*x = -12 + 30. Suppose 0 = -g + 5*n + 34, -n - 24 = -g - x*n. Suppose 0 = g*u - 34*u + 560. Does 16 divide u?
True
Suppose -2*j = 26 + 96. Let v = j - -111. Suppose 4*y - v = -2. Does 4 divide y?
True
Suppose -4*o + 218 = -2*s - 170, 3*s - 3*o = -5