
Suppose -5 = -6*n + n. Let p(b) = 9 + n - 10 + 5*b. Does 30 divide p(12)?
True
Let k(v) = v**3 + 5*v**2 + 4*v - 4. Let j be k(-4). Let o be j + ((-8)/16)/((-1)/22). Suppose o*n = 13*n - 78. Is 13 a factor of n?
True
Suppose 4*k + 593 = 2437. Is 53 a factor of k - (-3)/((-12)/(-4))?
False
Let v(g) = -22*g**3 - 9*g**2 - 24*g + 4. Does 29 divide v(-6)?
False
Let j(w) = 160*w**2 - 4*w - 8. Let o be j(-2). Suppose 3*v - 11*v = -o. Is 20 a factor of v?
True
Let v = 304 - 262. Suppose 138 = m - 4*l, -3*l + 5 = 2. Let o = m - v. Is 30 a factor of o?
False
Let j = -12 - 100. Let y = 266 + j. Let b = 273 - y. Is 17 a factor of b?
True
Let w = -9881 - -25354. Does 33 divide w?
False
Let t = -313 + 185. Let y = -110 - t. Is y a multiple of 3?
True
Suppose 0 = -w + 1, 2*g = 3*w - w - 18. Does 15 divide 1/(1/(-30))*4/g?
True
Suppose 0 = 187*p - 197*p + 140. Suppose -p*q = 1084 - 3310. Does 42 divide q?
False
Let a be 44*(-3 + (-65)/(-10)). Let r = a - -166. Is 8 a factor of r?
True
Let m be (6/9)/(6/243). Does 13 divide (m + -1)*143/22?
True
Suppose -4*i + 3*z + 71 = -164, 5*i + 3*z - 260 = 0. Let l = 169 + i. Is l a multiple of 7?
True
Let q(l) = 24*l**2 + 5*l + 6. Let o(z) = z**2 + 9*z + 12. Let i = -67 + 60. Let c be o(i). Is 19 a factor of q(c)?
False
Let i be (-20)/6*(-9)/5. Let q(c) = -c**3 + 5*c**2 + 7*c - 3. Let y be q(i). Suppose -67 = -4*w - s, -y*s = -5*w - 2*s + 95. Is 18 a factor of w?
True
Suppose -39*c - t = -35*c - 3972, -c + 2*t = -984. Is 31 a factor of c?
True
Let j = -42 - -46. Let v be 1 - 0 - 52/j. Does 4 divide (1/(v/(-21)))/((-3)/(-24))?
False
Let k = 43 - 50. Let o(j) = -751*j + 11. Let q be o(k). Is 46 a factor of -1 + ((-1)/(-7) - q/(-21))?
False
Is ((-6)/27 + 14734/45)/(2/25) a multiple of 45?
False
Let a(n) be the third derivative of 31*n**4/24 - 4*n**3 - 8*n**2. Let p(i) = -i. Let t(c) = -a(c) + 2*p(c). Is 41 a factor of t(-4)?
False
Let i(g) = -20*g - 83. Let j be i(-5). Suppose d - 14 = -p, j*p = 20*p + d - 34. Is p a multiple of 8?
False
Let t(z) = 197*z - 2707. Does 20 divide t(31)?
True
Let h(i) be the first derivative of i**4/4 - 2*i**3/3 - 3*i**2/2 + 4*i - 5. Let t be h(1). Suppose -107 = -j - t*j. Is 22 a factor of j?
False
Is (-2 + -1193)*(-528)/330 a multiple of 14?
False
Let z = -100 + 103. Suppose -k = -5*d + 3147, -2*d - k = -z*d + 627. Does 7 divide d?
True
Let z be 39/7 + (-69)/(-161). Let r(l) = -l**2 + 8*l - 6. Does 2 divide r(z)?
True
Let u = -25 - -58. Suppose g = y + 3*y + u, -4*y - 48 = -4*g. Is (19 - y) + (2 - 4) a multiple of 24?
True
Let d = -9566 - -16551. Is d a multiple of 55?
True
Let z(g) = -g + 29. Let o be z(27). Suppose 0 = b + v - 18, 91 = 5*b + 2*v + o*v. Let y(t) = t**2 - 19*t + 28. Does 14 divide y(b)?
True
Suppose 191*y + 18 = 194*y. Suppose -79 - 2567 = -y*b. Is b a multiple of 11?
False
Let t be 451 - (3 + -5 - -1). Does 19 divide t/4 + -3 + -1 + 5?
True
Let v be (-1295)/(-245) - (-1 + (-9)/(-7)). Suppose l - 3*l = 5*a - 5504, -10 = -v*l. Is 20 a factor of a?
True
Let y(l) = l**3 - 15*l**2 + 31*l - 11. Let f be 3/(-21) + 150/21. Suppose -f = -2*p + 19. Is y(p) a multiple of 27?
True
Let t(w) = -15*w**2 - 20*w + w**2 + 6*w**2 + 9*w**2 - 71. Does 36 divide t(-22)?
False
Let f = -21904 - -32170. Does 6 divide f?
True
Let m be ((-42)/(-49))/(-2*3/(-45318)). Suppose 23*j = m + 1323. Is 17 a factor of j?
False
Suppose 0 = 3*f + z - 5083 + 514, 5*f = -3*z + 7611. Is 16 a factor of f?
False
Let h = -489 + 629. Suppose x + 0*x - 270 = -2*j, -j + 2*x + h = 0. Is j a multiple of 24?
False
Does 248 divide (-77 + -30 - (-1 + 6))/((-3)/891)?
False
Let m(l) = -1308*l - 606. Does 6 divide m(-7)?
True
Let y = -2210 + 6394. Does 21 divide y?
False
Let c(k) = k**3 - 81*k**2 + 408*k + 83. Is 43 a factor of c(77)?
True
Suppose 5*k - 71425 = 5*u, -1654*u = -2*k - 1658*u + 28600. Is 5 a factor of k?
True
Let k(c) = 3*c**2 + 4*c - 2. Let y be k(-2). Suppose 0 = y*p + 2*m - 4 + 2, m = 5*p + 13. Is 25 a factor of p/(-14) - (-2436)/98?
True
Suppose 4*c = -m + 3*m + 28, 0 = 3*c - 2*m - 23. Let i be (c - 8 - -67)*16. Suppose -i = -6*z + 2. Is z a multiple of 41?
False
Suppose 0 = 5*g - 0*g - 10. Let u(r) = 3*r - 3. Let x be u(g). Suppose 9*j = x*f + 4*j - 176, -2*f = 3*j - 92. Does 23 divide f?
False
Suppose -112*o + 87*o + 674050 = 0. Does 61 divide o?
True
Let b(u) = 22*u**3 + 25*u**2 + 18*u + 38. Let d(g) = 8*g**3 + 8*g**2 + 6*g + 13. Let l(w) = -3*b(w) + 8*d(w). Does 11 divide l(-7)?
False
Let a be (-1)/((-5260)/5255 + 1). Suppose 0 = 5*u + a - 4276. Is 43 a factor of u?
True
Suppose -5*c - 189 = 4*d, d + 2*d - 182 = 5*c. Let x = 316 + c. Suppose 3*q - 3*p = -0*p + x, 10 = 5*p. Is q a multiple of 13?
False
Does 38 divide (-193169)/(-15) - ((-512)/240)/32?
False
Suppose -5*v + 4*q + 7487 = -4266, -v + q = -2351. Suppose 30*i + v = 39*i. Does 7 divide i?
False
Let i(u) be the second derivative of 5*u**3/6 + 108*u**2 - 154*u. Is i(-25) a multiple of 7?
True
Suppose 46*u = -102*u + 132608. Does 5 divide u?
False
Let r = 1458 - 967. Is r a multiple of 22?
False
Let z(l) be the third derivative of 31*l**6/40 + l**5/6 + l**4/24 - l**3/3 - 181*l**2. Does 49 divide z(2)?
True
Let x(s) = -s**3 + 29*s**2 - 5*s + 73. Is 10 a factor of x(18)?
False
Let r(c) = -76*c**3 - 76*c**3 + 5*c + 6*c**2 + 153*c**3 + 24. Let t be r(-6). Let n(z) = -11*z - 51. Is n(t) a multiple of 5?
True
Suppose 3*i - 5*i - 399 = -u, 2*i + 2*u = -414. Let r = -393 - i. Let v = 291 + r. Is 10 a factor of v?
True
Let g(n) = n**3 - 48*n**2 + 3*n + 76. Let u be g(48). Let h = u + 25. Is h a multiple of 49?
True
Let c be 3/(-5) - (-21726)/10. Suppose -5*h + 10 = 5, -4*h + c = 4*l. Is 19 a factor of l?
False
Let r = 11 + -5. Suppose -5*p - r = -8*p. Suppose -3*k - 3*i + 477 = 0, -322 = -0*k - 2*k + p*i. Does 20 divide k?
True
Is (113824/16 - 12) + -14 a multiple of 16?
True
Suppose 5*m = q - 52368, 0 = 4*q - 22*m + 24*m - 209428. Is 79 a factor of q?
False
Let p = -31220 + 39796. Is p a multiple of 2?
True
Let k be 2 - (-4138 + -2)/(-3). Let c = -839 - k. Suppose -5*a + 620 = 5*g + 65, 5*g - 3*a - c = 0. Does 16 divide g?
False
Suppose 3*o - 4 = -3*u + 11, u - 2*o = -10. Suppose u = 11*r - 6*r + 35. Let f = r - -21. Is 7 a factor of f?
True
Let t(j) = -30*j**2 + 6*j + 4. Let y(q) = -60*q**2 + 11*q + 7. Let b(x) = -13*t(x) + 6*y(x). Is 42 a factor of b(-4)?
False
Suppose -2*m + 1311 = r, -683 = 3*m - 4*m + 5*r. Suppose 0 = 2*q + j - 335, 2*j + m = 4*q - 0*j. Does 4 divide q?
False
Is 31 a factor of (16/20*93*10)/((-5)/(-25))?
True
Let p(c) = -c**3 - c**2 - 2. Let i be p(-2). Suppose -4*z + 10 = i. Let h(x) = 90*x + 6. Is h(z) a multiple of 26?
False
Let u(s) be the third derivative of 13*s**4/12 - 10*s**3/3 - 74*s**2 + 3*s. Is 17 a factor of u(6)?
True
Suppose 0 = j + 4*j. Suppose 7*z - 5*z = j. Suppose -f + 60 = x + 3*f, z = -5*x - f + 205. Is x a multiple of 11?
False
Let v(m) = -3*m**2 + m**3 + 14*m - 4 - 12*m**2 - 12*m + m. Is v(15) a multiple of 6?
False
Let u = -291 + 288. Is (-2)/u + (18964/6)/11 a multiple of 36?
True
Let w = -13 - -92. Let r = 110 - w. Suppose -3*f + r = -29. Is f a multiple of 4?
True
Let w(x) = -x**3 + x**2 + 24. Let p be w(0). Suppose -p*u = -23*u + 24. Let h = u + 122. Does 16 divide h?
False
Let v(j) = -5*j**2 - j + 18. Let y(a) = 3*a**2 + 2*a - 17. Let r(u) = -3*v(u) - 2*y(u). Does 4 divide r(4)?
True
Let r be 2*(4 + 1)*106/265. Does 15 divide 8664/19*5/r?
True
Let a(u) be the third derivative of u**4/12 + u**3/6 + 9*u**2. Let m be a(1). Suppose -m*h + 4 = -5. Is h even?
False
Suppose 0 = 2*y + 3*y + k - 81, -4*y = -4*k - 60. Suppose r = 3*l - 14 + 35, 0 = -4*l - y. Let a(f) = -f**3 + 11*f**2 - f. Is a(r) a multiple of 37?
False
Suppose 2*g + 4*o - 4102 = 2766, 0 = -g - 4*o + 3424. Is 14 a factor of g?
True
Does 146 divide (-11325)/(-10) - (-1)/22*-11?
False
Suppose 0 = 106*f - 109*f + 24. Does 92 divide (10 - f - -213)/(1 + 0)?
False
Suppose -2*d - 4*z = -124, 2*z - 205 - 65 = -5*d. Let a = 46 - d. Is -1*(-1)/a*160*-3 a multiple of 13?
False
Let k(t) = t**3 - t**2 - 19*t + 9. Let z be k(5). Let u(p) = -p**3 + 18*p**2 - 37*p + 112. Does 18 divide u(z)?
True
Let c(d) = 18*d**2 - 115*d + 1546. Is c(15) a multiple of 7?
True
Is 11 a factor of (-454230)/(-99) + -6 + 3*(-12)/198?
False
Let q(w) = w**3 + 11*w**2 + 16*w - 16. Let 