 be t(f). Let x = y + -45. Is x a multiple of 6?
False
Let u(v) be the third derivative of -v**5/60 + v**4/4 - v**3/6 + v**2. Suppose 50*z - 63 = 37. Is u(z) a multiple of 7?
True
Suppose l + 3*l - 4 = 0, 2*l = 4*m - 1278. Suppose 4*u = m - 1036. Let w = -99 - u. Is 16 a factor of w?
True
Suppose 419*b = 63611 + 66698. Is 30 a factor of b?
False
Let v be 0*1/4 - 9. Let y be ((-4)/(-6)*v)/((-6)/(-3)). Is 35 a factor of -178*y*5/15?
False
Let l(f) be the third derivative of -f**6/120 - f**5/30 + 35*f**3/2 - 67*f**2 + 7*f + 2. Let h(n) = -n**3 + 3*n**2 - n + 3. Let r be h(3). Does 39 divide l(r)?
False
Let y(g) = -g**2 - 11*g + 12. Suppose -3*x - 16 = 4*w + 7, -2 = 2*x. Is 5 a factor of y(w)?
False
Let t(a) = 26*a + 194. Let q be t(-7). Suppose -6449 = -q*w + 3055. Does 12 divide w?
True
Let l(n) = 2*n**3 - 25*n**2 - 8*n - 12. Let v(z) = 7*z - 36. Let m be v(7). Let i be l(m). Suppose -i*t + 55*t - 80 = 0. Is t a multiple of 12?
False
Suppose -35753 - 57826 = -24*l + 29349. Does 26 divide l?
True
Let c be 2690/(-5)*(28/8 - 5). Let o = c + -658. Is o a multiple of 3?
False
Let r(k) = -6*k + 24. Let m be r(24). Does 20 divide (-10)/m*-8 + (-2822)/(-3)?
True
Suppose 7700 = 29*r - 15*r. Let u = 578 - r. Is u even?
True
Let h = -27131 - -41262. Is 5 a factor of h?
False
Is 79 a factor of 406/(-203)*(-5323)/2?
False
Let y(p) = -3407*p - 7367. Is 333 a factor of y(-11)?
False
Does 7 divide -4 + 27*555/45?
True
Let k = -24 - -93. Let v = k - 60. Suppose 0 = v*t - 155 - 133. Is t a multiple of 27?
False
Suppose -3*n + 6*d = -31086, 3*d - 2*d = -4*n + 41439. Is 92 a factor of n?
False
Is (-10938110)/(-1710) - 8/(-18) a multiple of 24?
False
Suppose -176 + 171 = -l. Suppose -l*p + 4*d + 2794 = 83, 0 = -4*d - 16. Does 32 divide p?
False
Let f be (2/2)/(4 - (-33)/(-9)). Suppose -2*l - f = -3*z - 19, 4*l + 4 = 0. Is (-200)/z - 3/9 a multiple of 11?
True
Let r = -48651 + 90787. Does 154 divide r?
False
Suppose 3*s = -k + 557, -5*k = -5*s - 0*k + 895. Suppose 3*z + w = s, 4*z - 5*z + 40 = -5*w. Let x = z - 44. Is 8 a factor of x?
True
Let u(w) = 6*w + 23. Let r be u(-3). Suppose -924 = -r*x - 184. Is x a multiple of 7?
False
Suppose -28*h - 3*h + 4628 + 22 = 0. Does 6 divide h?
True
Let m(r) = r**3 - 13*r**2 - 22*r + 30. Let p(v) = 14*v + 100. Let b be p(-6). Does 8 divide m(b)?
False
Let h(a) = 3*a**3 - 3*a**2 - 2*a - 3. Let w be h(-2). Let c = 96 + w. Suppose -2*j = -c - 95. Does 24 divide j?
False
Let c = 5438 - -3039. Is 49 a factor of c?
True
Suppose 522 = 3*i - i. Let t = i + 220. Suppose -2*u + 240 = 5*d - 3*d, 4*u + 3*d = t. Is 25 a factor of u?
False
Suppose -5*b - 1899 = 1436. Let u = b - -170. Is 3/((-15)/u) + 6/10 a multiple of 25?
True
Is 7 a factor of 12232 + 1 - (-15425)/(-617)?
True
Let x(b) = -b**2 - 70*b - 671. Let i be x(-53). Suppose -4*w + 118 = 2*v, -11 - 5 = -w + 4*v. Suppose -6*l + w = -i. Is 7 a factor of l?
False
Let a(y) be the third derivative of -53*y**4/24 + 16*y**3/3 + 7*y**2. Does 17 divide a(-2)?
False
Let b(t) = -t**2 - 87*t - 478. Is 88 a factor of b(-41)?
True
Let j(i) = 194*i**2 + 15*i - 2. Is 17 a factor of j(-4)?
False
Let p(w) = -w**3 + 4*w**2 + 2. Let x be p(4). Suppose 5*a = 3*v - 1008, -3*v + x*a = -774 - 243. Is v a multiple of 31?
True
Let t(j) = -5*j**3 - 3*j**2 + j - 25. Suppose 9*u - 204 = -249. Is t(u) a multiple of 52?
True
Is 35 a factor of (-15479 + 80)*(40/(-21) - 12/28)?
False
Let w = 48 + -46. Suppose -l + w*l - 80 = 0. Is 7 a factor of (84/10)/(16/l)?
True
Suppose -5*m + s = -51, 4*m + 8*s = 4*s + 36. Suppose 2*x - 32 = -2*k, x + 50*k - 55*k = -14. Suppose -18 = -x*y + m*y. Does 6 divide y?
True
Let k(x) = -x**3 + 16*x**2 - 4*x + 77. Does 38 divide k(13)?
True
Let n(u) = 26*u**2 - 18*u - 4. Let y be n(-6). Suppose y = 3*h + h. Suppose 5*w - h = -0*w. Is 13 a factor of w?
True
Let l(i) be the first derivative of i**4/4 - 8*i**3 - 23*i**2/2 + 48*i - 4140. Let y be ((-2)/(-1) - -23) + 0. Is l(y) a multiple of 14?
True
Let u(g) = -9*g - 4. Let k be u(-1). Suppose -k*w + 775 + 1433 = -2*l, -4*l = 4*w - 1772. Suppose w = 3*s + 2*z, -3*s + 5*z = -83 - 387. Does 30 divide s?
True
Let l(v) = -369*v - 1345. Does 67 divide l(-10)?
True
Let k = -264 + 181. Let t be (-20)/(-3 - 2) - (-1 + 7). Is k/(-4) - ((-10)/8 - t) a multiple of 2?
True
Suppose 5*h - 15 = 0, 37*u + 15 = 41*u + h. Suppose u*f = 3*y - 165, -4*f = -y - 18 + 58. Is y a multiple of 7?
False
Suppose 2*q = -5*r + 173938, 792*r = 787*r - 12*q + 173928. Is 49 a factor of r?
False
Suppose 0 = -7*d + 12*d + 22461 - 104676. Is 261 a factor of d?
True
Suppose 35*c - 28 = 28*c. Suppose 598 = 3*r - c*s, -r + 0*s = -5*s - 214. Is 49 a factor of r?
False
Let s(t) be the second derivative of t**5/20 + 5*t**4/12 - 5*t**3/3 + 9*t**2 - 168*t. Let x = 0 - -3. Is 20 a factor of s(x)?
True
Suppose p - 5*p = -16. Suppose 3*y + 3*z = 228, z = 2*z - p. Let v = y - 57. Is 15 a factor of v?
True
Suppose -20*o + 30*o + 5573 - 33093 = 0. Does 43 divide o?
True
Let q(k) = k**2 + 5*k + 6. Let a be q(-5). Suppose -a*p - 2 = -5*p. Is (2 + p + -1)*-7 a multiple of 4?
False
Let v(z) = 18*z - 77. Let s be v(5). Suppose 168 = 34*o - s*o. Is o a multiple of 4?
True
Suppose -5*w = -2*b - 25902, 3*w - 2*b - 9539 - 6007 = 0. Is 5 a factor of w?
False
Let v(w) = 2*w - 36. Let p be v(0). Let a be -1 + -387 + p/9. Is 9 a factor of 0 - ((-10)/45 - a/(-18))?
False
Suppose 0 = 1143*l - 1141*l - 14014. Is l a multiple of 77?
True
Let o be ((-166)/4)/((46/156)/(-23)). Suppose 41*v - 371 = o. Is 11 a factor of v?
True
Let w be (0 - 8/(-6))*(-2310)/140. Let y(h) = -30*h - 250. Does 7 divide y(w)?
False
Is 13 a factor of 420/(-18)*((6 - 648) + 0)?
False
Let r(h) = -h**3 + h**2 - 2*h + 2. Let w be (1 - -1)*(-187)/(-34). Let z be r(w). Is (6/(-15))/(3/z) a multiple of 19?
False
Let o be (-6)/8 + ((-1974)/24 - 5). Let v = o - -114. Suppose -22*r = -v*r + 312. Is r a multiple of 8?
False
Suppose 256760 - 827670 = -273*v + 215330. Is v a multiple of 45?
True
Let m = 33 + 2. Let b = 81 - m. Suppose b*a = 51*a - 200. Is 10 a factor of a?
True
Suppose -32 = -2*o + o + 5*v, 0 = -5*o - 5*v + 40. Suppose 0*j = -j - 2*p, -2*p = -5*j - o. Does 22 divide (-2004)/(-15) + j/(-5) + 0?
False
Let f(c) = 15*c**2 - 10*c + 24. Let x = -351 - -355. Does 16 divide f(x)?
True
Suppose -16*q = -60*q + 164736. Is 52 a factor of q?
True
Let z = 82 - 74. Suppose 2*t = -t - 21. Let r = z - t. Does 6 divide r?
False
Is 10/(-10)*-4399 - 7 a multiple of 124?
False
Let h = 3 + -1. Suppose -14*b + 2432 = 24*b. Let j = b + h. Does 9 divide j?
False
Let q(d) = -199*d + 87. Let s be q(-3). Suppose 12*k = 48 + s. Does 5 divide k?
False
Let a = -36 + 41. Suppose k + m - 6 = -0*k, a*k - 27 = -4*m. Suppose k = -4*j + 43. Is 4 a factor of j?
False
Let q(m) = 19*m**2 + m + 4. Suppose -5 = -12*p + 7*p. Let o be (p - 3) + 2 + -2. Is 39 a factor of q(o)?
True
Let k(q) = q**3 + 5*q**2 + 4*q - 7. Let f be k(-3). Let d be f + 5/((-20)/(-28)). Suppose d*m - 30 = 12. Is m a multiple of 2?
False
Let f(w) = 110*w**2 + 72*w - 12. Does 58 divide f(-5)?
True
Let w(x) = x + 9. Let d be w(-6). Let c(l) = -7*l - 24*l + d - 3. Is 12 a factor of c(-3)?
False
Suppose -8*h + 4551 = -1521. Let k = 2610 - h. Is k a multiple of 16?
False
Let h = 578 - 569. Is 1172 + 21 - (-1 + h) a multiple of 29?
False
Does 10 divide (-24 - -3) + 4290 + -89?
True
Let t = -3549 - -11729. Does 16 divide t/14 - (-12)/(-42)?
False
Let f(u) = 6*u + 123. Let l be f(-21). Is (-17 - -97)/(l/(-7 - -1)) a multiple of 32?
True
Let b = 221 + -218. Suppose -4*v = -u - 241, 0 = b*v - u - 11 - 170. Is 15 a factor of v?
True
Is (-18)/(-2) - (-3649 - 108) a multiple of 96?
False
Let i(a) = -2*a**3 - 25*a**2 - 33*a + 29. Let f(m) = 2*m**3 + 65*m + 49*m**2 - 32 + 36 + m**3 - 61. Let o(l) = 3*f(l) + 5*i(l). Is 14 a factor of o(23)?
False
Let o(w) = w**2 - 10*w + 135. Suppose -3*q + 0*q = 2*q. Is o(q) a multiple of 9?
True
Does 64 divide 3472*40/(-210)*-27?
True
Suppose -a - 2*v + 7687 = -1709, -2*a + 2*v + 18804 = 0. Suppose 0 = 7*c - a - 34770. Does 22 divide c/35 - 2/7?
False
Suppose -127*w + 422280 = -37*w. Is w a multiple of 17?
True
Suppose -3 = -7*u + 8*u, -5*i + 2*u = -21. Suppose -i*q + 4*x = -66, -34*x + 33*x = 2*q - 55. Does 2 divide q?
True
Let b(m) = -m**3 + 21*m**2 + 718*m + 22. Is 75 a 