 + 16 = b. Suppose -5*h - z + 1175 = 0, -14*h + 940 = -10*h - b*z. Is 5 a factor of h?
True
Let b be 1 + (-3 - 1) - 2. Let f(c) be the second derivative of -15*c**3/2 - 7*c**2/2 + 1834*c. Is f(b) a multiple of 17?
False
Suppose 4*k + 834 = 842. Suppose 0 = 5*v + 15, 8*z - 10*z = k*v - 186. Does 4 divide z?
True
Suppose -6*m + 199 = 55. Let b = 21 - m. Is 86/((-6)/b) + -2 a multiple of 5?
False
Is 4/(-16) + (1 - (-4125)/(-20))*-13 a multiple of 24?
False
Let h = -4823 - -7281. Suppose -5*d + 4*f = -h, -248 = -d - 4*f + 258. Is d a multiple of 38?
True
Suppose -11*h + 549 = -573. Let w = h - 98. Is 16 a factor of 4485/60 + (-3)/w?
False
Suppose -16*g + 5 = -11*g, 4*g = -4*x + 552. Suppose 966 = -x*t + 139*t. Does 7 divide t?
True
Is (-6 - 244/(-6))/(((-182)/(-483))/13) a multiple of 13?
True
Let y(l) = l**3 - 8*l**2 - 7*l + 67. Suppose 0 = -4*o - 0*o - 3*t + 47, -3*o = 3*t - 39. Is 3 a factor of y(o)?
False
Let l(w) = -367*w**2 - 6 + 10*w - 366*w**2 + 738*w**2. Does 13 divide l(-9)?
False
Suppose z = -4*i + 145616, -4*z = 5*i - 22416 - 159626. Is 32 a factor of i?
False
Suppose -60*l + 32942 + 34978 = 0. Is l a multiple of 43?
False
Suppose -842*a + 834*a + 5408 = 0. Let w = a + -377. Does 7 divide w?
False
Let a = -13 + 19. Suppose 6*l = -k + 4*l - a, 5*k = -4*l. Suppose -k*i = 2*i - 402. Does 7 divide i?
False
Let i(q) = -39*q + 57*q + 24*q + 25. Does 13 divide i(22)?
True
Suppose -5*b - 172 = 3*i, 5*b - 3 = 17. Let x = 184 + i. Is 15 a factor of x?
True
Suppose 9*r + 10 = 11*r. Suppose s + 3*f - 99 = 4*f, -117 = -s - r*f. Is s a multiple of 6?
True
Suppose 5*y - 5*s - 92385 = 60340, -y = 13*s - 30531. Is y a multiple of 29?
False
Suppose 24*v = -0*v. Suppose v = 2*k + 4*h - 420, 2*k - 2*h - 430 = -4*h. Does 11 divide k?
True
Let x(r) = 8*r**3 + 13*r**2 + 28*r - 8. Let q be x(-4). Let h = q + 736. Is h a multiple of 12?
True
Let x(t) = -209*t - 5 + 190*t - 2 + t**2. Is 3 a factor of x(-8)?
False
Let x be (120/100)/((-4)/10*-1). Let m(t) = -t + 5. Let h be m(x). Suppose 20 + 68 = c - 2*g, 2*g = -h*c + 146. Does 13 divide c?
True
Suppose 9*r - 650 = 502. Let v = r - 86. Is v a multiple of 21?
True
Let r = -240 - -144. Let f = r + 128. Is f a multiple of 8?
True
Suppose 5*m = 2*g - 104, 5*g - 4*m = 186 + 91. Suppose 2*x - g = -9. Does 6 divide x?
True
Let m = 346 - 341. Let j = -26 - -37. Suppose -m*f = -2*x + 53, -j = -2*x - f + 72. Is 8 a factor of x?
False
Does 171 divide 22138 + -1 + 9 + -12?
False
Suppose -13*n - 18*n + 124 = 0. Does 6 divide ((-6)/n)/(9/(-324))?
True
Let w be (-4 + 1)*(-1 + 0). Suppose 4*s - 2*a = 1558, 11*a - 13*a = w*s - 1165. Is 11 a factor of s?
False
Let y = 25251 - 14718. Does 21 divide y?
False
Let g be (-7)/21 - 7/(-3). Suppose -3*z = -f - 0*f + 1, 0 = 3*z - 5*f + 17. Is 13 a factor of (-13)/g*((-28)/4 + z)?
True
Let b(u) = 12*u**3 + 38*u - 106. Let w(i) = 4*i**3 + 13*i - 35. Let c(q) = 4*b(q) - 11*w(q). Is 6 a factor of c(3)?
True
Suppose 3*f = -2*u - 551 - 217, -u = -2*f + 370. Does 8 divide (u/24)/(5/(-60))?
False
Let i(p) = -90*p**3 + 18*p**2 + 30*p + 90. Does 49 divide i(-7)?
False
Let b(n) = 4*n**3 - 29*n**2 - 11*n - 205. Is 2 a factor of b(14)?
False
Suppose 4*y + 96*t - 95*t - 271320 = 0, -t - 203490 = -3*y. Is y a multiple of 30?
True
Is 5 a factor of (3/2 - 2907/714)*-42?
False
Suppose -8*u - 4 = -28. Suppose -r + 1 + u = 0. Let v(c) = c**3 - 2*c**2 + 7*c - 6. Is 9 a factor of v(r)?
True
Does 47 divide (-17)/51 + ((-16694)/(-6) - 3)?
False
Is ((-1)/33)/(4/12) - 549829/(-539) a multiple of 9?
False
Let w = 13129 - 8539. Is w a multiple of 170?
True
Does 7 divide ((-90723)/(-9) - 0/(-15)) + (-2)/6?
True
Let x be 2 + 1 - 1 - -2. Let q be (x/(16/(-12)) + 18)*-15. Let b = -82 - q. Is b a multiple of 31?
False
Let u be ((-178)/(-4) - -1)*(-26 + -20). Let w = -1431 - u. Is w a multiple of 71?
False
Let g(o) = 2*o**3 + 3*o**2 - 40*o + 198. Does 28 divide g(16)?
False
Let q(w) = 20*w**3 - 2*w**2 - 3. Let s(d) = -d**2 + d. Let l(u) = -2*q(u) + 6*s(u). Let a be l(-3). Does 11 divide (-2)/(-4) - a/(-12)?
True
Let n = 33061 - 15402. Does 8 divide n?
False
Let r = -11 + 46. Suppose w - 92 + r = t, 0 = -5*w - 2*t + 271. Let u = -50 + w. Is 4 a factor of u?
False
Let k = 1852 + -884. Is k a multiple of 44?
True
Let x(w) = -15*w**3 - w**2 - w. Let i be ((-38)/34)/1 + (-32)/(-272). Let f be x(i). Suppose -20 = -b - f. Does 5 divide b?
True
Suppose -19*r = 101057 - 370401. Is r a multiple of 80?
False
Let f be 2/3*(-2 - -1)*-3. Suppose c + 4*g = f + 4, -4*g + 10 = 3*c. Suppose 2*h - 60 = -c*d, -h - d = h - 59. Is h a multiple of 7?
False
Let z be (-39)/(-3)*(-1 + 0). Let d = z - -16. Does 8 divide 43 + (-1)/(d + -2)?
False
Suppose 17*w - w = -80. Let d(m) = -5*m**3 - m**2 + 12*m + 35. Does 25 divide d(w)?
True
Suppose 67*p = -6*p - 130*p + 824180. Is 20 a factor of p?
True
Let v be (201/3)/(19 - 18). Let i be (16/(-12) - -2)*-3. Let p = i + v. Is p a multiple of 17?
False
Suppose 19226*j = 19231*j - 530. Is 5 a factor of j?
False
Suppose 3*v - 3 - 6 = 0. Suppose -4*l + 196 = -v*n, 5*n = -3*l + l + 98. Does 22 divide l?
False
Is 9976/18*-3*-3 - (-5)/(-1) a multiple of 33?
True
Let v(y) = -y**3 + 13*y**2 - 5*y + 85. Let g be v(13). Is 18 a factor of (13 - g)*423*(-6)/21?
True
Let y(t) = 8435*t**3 - 92*t**2 + t. Is y(1) a multiple of 22?
False
Suppose -41*q + 28*q = -234031 - 207059. Does 90 divide q?
True
Let u be 2 - ((-4)/8 - 0)*0. Suppose 2*p + 8 = t - u*t, -24 = 4*t + 4*p. Let i(d) = 3*d**2 + 3*d - 8. Does 13 divide i(t)?
False
Suppose -3*s - 15677 = -4*z, -3*z - 85*s + 11765 = -80*s. Is 112 a factor of z?
True
Does 175 divide (-156828)/(-126) + (-10)/6?
False
Let o(d) = 657*d**2 + 117*d + 9. Does 76 divide o(-3)?
False
Let b(h) = h**3 - 5*h**2 - 5*h - 1. Let u(p) = -5*p - 25. Let x be u(-6). Let r be b(x). Let t = 49 - r. Is t a multiple of 16?
False
Suppose -189 = -3*z - q - 1065, 0 = -3*q. Let d be (z + 1)/((-18)/12). Let f = 287 - d. Is 16 a factor of f?
False
Let p = 1251 - 736. Let j = 141 + p. Is 8 a factor of j?
True
Let r = -4758 + 7950. Suppose r = 16*y - 14*y. Does 21 divide y?
True
Is 3/24*6 + 6885/68 a multiple of 51?
True
Suppose 2465*n - 3*o = 2466*n - 15335, 0 = 3*n + 4*o - 45970. Does 247 divide n?
True
Let q(l) = -l**2 - 4*l + 154. Let f(d) = 2*d**2 + 5*d + 2. Let a be f(-2). Is q(a) a multiple of 77?
True
Let h = -4821 + 26928. Is 29 a factor of h?
False
Suppose 0 = p + 3*n - 69, 0 = -p + n + 104 - 19. Suppose 15 = -j + 3*z, -z = -5*j + 3*z - 53. Let t = p + j. Does 13 divide t?
False
Let h = 359 - 124. Let i = h + -53. Is 14 a factor of i?
True
Suppose -4*g + k = -20268, 9*k - 14*k = 0. Is g a multiple of 78?
False
Suppose 0 = 4495*o - 4518*o + 10626. Does 42 divide o?
True
Let p(f) = -27*f**3 + 14*f**2 + 19. Does 16 divide p(-6)?
False
Suppose -5*d + 4*t + t = -90, -t = -2*d + 31. Let a = -10 + d. Suppose h + 2 = a, 3*h = -2*s + 41. Is s a multiple of 3?
False
Let c(y) = -44*y**3 + y**2 - 2*y. Let m(a) = -a**2 - 8*a - 17. Let d be m(-5). Is 15 a factor of c(d)?
True
Suppose -30*g = -33*g + 273. Let k be 2/(-3) + g/(-21). Does 6 divide (2 - 1)/(k/(-60))?
True
Suppose -7*a - 18*a + 62072 = 3622. Is a a multiple of 3?
False
Suppose 4*i = 6 - 46. Let m = i - -28. Suppose m = -7*x + 284. Is x a multiple of 19?
True
Let i be 8 - (-611 - (-24)/(-4)). Let a = i + -373. Does 28 divide a?
True
Let h(l) = -2*l**2 + 14*l + 19. Let n be h(8). Is (22048/120 + (-2)/5)*n a multiple of 82?
False
Let f(d) = 4*d**3 - 2*d**2 + 15*d - 4. Let r be f(4). Let w = r + -135. Suppose -3*n - 145 = -5*g, 5*g = -4*n - 0*n + w. Is 29 a factor of g?
True
Let n be ((-65)/(-10) + -3)*2. Let y be (0 - 0)/((-14)/n). Suppose 3*c - 3*m - 353 = -8*m, y = 5*c - 4*m - 539. Is 37 a factor of c?
True
Suppose -7*z = 4*z - 66. Suppose -v - 560 = -z*v. Let a = v - 88. Does 3 divide a?
True
Let g(i) = 52*i + 264. Does 226 divide g(21)?
True
Let p(d) = -d**3 + 7*d**2 - 4*d + 31. Let m be p(7). Suppose -5*i + 21 = -a, 4*a - i - m = 8. Suppose 135 = 3*u + 3*w, a*u - 5*w = -10*w + 177. Does 6 divide u?
True
Suppose 14 = 2*j - 2*l, -3*l - 25 = -4*j - 1. Suppose 3*q + 1 = -2*t - 9, -5*t - 4 = -j*q. Does 2 divide t/(-1)*-15*14/(-35)?
True
Suppose 52*r = 307914 + 75533 + 1459225. Is 149 a factor of r?
False
Let n be 3399/(-7) + 92/161. Let l = n - -86