) = -j**2 - 54*j - 334. Let x be z(-47). Does 14 divide (9 - 8)*-11*x?
False
Let f be 7/((28/12)/(-7)). Is 35*f/((-35)/5) a multiple of 21?
True
Let p(h) = -h - 2. Let b(d) = -d**2 + 2*d + 4. Let j be ((-5)/(-3))/((-21)/126). Let w(y) = j*p(y) - 4*b(y). Does 12 divide w(-4)?
True
Let d = 500 - 497. Suppose -n = 4*o - 679, d*n + 687 = 4*n + 2*o. Is 11 a factor of n?
False
Suppose 47*k - 40*k = -93*k + 1629600. Is 14 a factor of k?
True
Suppose -362061 = -183*w + 36*w. Does 31 divide w?
False
Let n(j) = 2207*j + 130. Is n(2) a multiple of 71?
True
Let h be 6/9*1*54. Let c = 112 - h. Let m = 225 - c. Does 12 divide m?
False
Suppose 0 = 12*v - 16830 - 276318. Is 80 a factor of v?
False
Is 3 a factor of (-62388)/(-36) - (1 + -3 + 1 + -5)?
False
Let r be (4/(-5))/((-4)/(-30)). Let q be (-63)/r*(-10)/15. Does 10 divide ((-48)/q)/(14/147)?
False
Is 87 a factor of 18 - (-25319 - 7)/14?
True
Let j be (0 - -6)*(-9)/(-54). Let o be (-5 - -15)/(j + (-6)/8). Suppose 5*z - 4*k - o = -2, 0 = z + 3*k - 19. Is 4 a factor of z?
False
Suppose 5*c - 3783 - 3548 = -3*x, c - 9786 = -4*x. Is 26 a factor of x?
False
Let n be (0/(1 + -5))/3. Suppose n = -123*d + 119*d + 1664. Is 8 a factor of d?
True
Suppose -5*f = 7*m - 5*m, 3*m = 2*f - 19. Is 13 a factor of (-26)/f*(-7)/(14/34)?
True
Let w(a) = -4*a**3 + a**2 - 19*a + 50. Let q be w(4). Let y = q + 785. Is y a multiple of 6?
False
Suppose 5*w = 2*v - 4, 5*v + 19 + 29 = -2*w. Let l be (950/(-8))/(-5) - v/32. Let s = l - 15. Is s a multiple of 9?
True
Suppose -2*z - 2*c - 762 = 0, 2*z - 3*z = 4*c + 378. Is 4 + (10 - 4 - z) a multiple of 52?
False
Suppose 7 = 4*o + 3*z - 6*z, o - 3 = z. Suppose -x = -1 + 29. Does 16 divide (-2233)/x + o/(-8)?
True
Does 9 divide 5900/236 - 137*-145?
True
Suppose -26*c - 2*c - 10*c = -414428. Is 22 a factor of c?
False
Let h = -4371 + 5225. Does 3 divide h?
False
Suppose 4*j - 4*o - 50156 = 0, 3*j + 3*o - 50484 = -12849. Is 44 a factor of j?
False
Let y(n) = -6*n - 21. Let p be y(-4). Suppose 6*g + 5 = 7*g. Suppose 2*k - 86 = g*h - 10, -h - 114 = -p*k. Does 8 divide k?
False
Let i be 18/(15/(-5)) + -4. Let t = i + 15. Suppose -u + 45 = -t*h, 4*u + 0*h + 3*h - 180 = 0. Does 45 divide u?
True
Let m = -311 - -304. Is 615 + 48/((-42)/m) a multiple of 89?
True
Is (-51)/(-408) - 19567/(-8) a multiple of 15?
False
Let z = 13281 - 5687. Suppose -z = -17*m - 131. Is 6 a factor of m?
False
Let v = 430 - -7550. Does 140 divide v?
True
Let t be (0 - -2927)/(((-64)/8)/8). Let o = 4331 + t. Is 41 a factor of o?
False
Let r = -445 - -424. Suppose m = 4*m + 2610. Does 10 divide -1 + 6/(-14) + m/r?
True
Let x = -3716 - -27668. Is x a multiple of 16?
True
Suppose 171 = -5*c + 1326. Suppose -4*a + 4*w + 685 + c = 0, 0 = -5*a - 2*w + 1110. Is a + -4*(-3)/18*-3 a multiple of 37?
True
Let l be -1 + 184/5 + (-5)/(-25). Is 11 a factor of l - (6 + (-48)/6)?
False
Let y(l) = -l - 14. Let h be y(0). Is h/(-84) - (-2372)/24 a multiple of 30?
False
Let o(h) = 16*h + 58. Let v be o(-10). Let j = -106 - v. Does 8 divide (6/9)/(j/18) + 67?
True
Is 84 a factor of (-26)/((-130)/77725) - 1?
False
Let x = -28139 - -32897. Is 78 a factor of x?
True
Suppose -20*n + 24*n + 6 = 3*q, 3*n + 6 = 3*q. Suppose n = 6*g + 579 - 3075. Is 16 a factor of g?
True
Let s(d) = 764*d - 739. Is s(12) a multiple of 20?
False
Let t(f) = -3*f**2 - 2*f + 2. Let l be t(-2). Let m(d) = d**3 - 11*d**2 + 3*d + 16. Let h be m(11). Is h + (-9)/l*2 a multiple of 13?
True
Let h = -6 - 276. Let d = 405 + h. Does 10 divide d?
False
Let i = -10148 + 18684. Is i a multiple of 14?
False
Let b be (-1)/3*-3*298. Let k(g) = -203*g + 1. Let n be k(1). Let z = b + n. Is 16 a factor of z?
True
Suppose 0 = 16*m + 2*m - 13*m - 5945. Is 29 a factor of m?
True
Is 9 a factor of (1 - (-17)/(-2))*(10 - (-14252)/(-35))?
True
Suppose -111715 = 12*w - 176*w + 82625. Is 119 a factor of w?
False
Let g = 34 + -68. Let j be (-72)/(-126) - g/14. Is 11 a factor of j + 1 + ((-3)/(-1) - -84)?
False
Let i(d) = 6*d**3 - 299*d**2 + 56*d - 84. Does 15 divide i(51)?
False
Suppose -59*s + 13185 + 134430 = -161073. Is s a multiple of 17?
False
Let x(n) = -2*n + 13. Let d be x(21). Let w = d - -31. Suppose 0*r - w*r = -272. Does 39 divide r?
False
Suppose 4*q = 2*l + 534, 5*q + 0*l + l - 685 = 0. Suppose 2*u + 23 = 285. Suppose 3*n - u = q. Does 19 divide n?
False
Let k(m) be the second derivative of -m**4/6 - 17*m**3/6 + 3*m**2 - 9*m - 2. Is 36 a factor of k(-6)?
True
Suppose 19*w - 16*w - 3009 = 0. Let z = -533 + w. Does 13 divide z?
False
Suppose -7*x + 15*x = -20000. Is ((-72)/(-30))/((-15)/x) a multiple of 50?
True
Suppose 2*k + 15 + 57 = 0. Suppose -128*m + 1255 - 10942 = 2473. Let x = k - m. Does 4 divide x?
False
Does 34 divide (288/(-20) - -10)*-890?
False
Let n = -12284 - -15599. Is n a multiple of 52?
False
Let d be 25/5 - (1 + 2). Suppose 3*s + 13 = 5*y, 0 = 2*s + 3*y - 14 - 9. Suppose -d*b + 125 = x, s*x + x = -4*b + 265. Is b a multiple of 15?
True
Let w(l) = l**3 + 3*l**2 + 13*l + 14. Let c be w(-4). Is 12 a factor of c*(2/(-6) + -3)?
True
Let p = -1082 + 208. Let n = p + 1462. Is n a multiple of 28?
True
Suppose 18*d - 44 = -4*d. Suppose 0 = d*n + 4*a - 182, 0 = 2*n + n - 5*a - 284. Is n a multiple of 31?
True
Suppose 80*j = 138*j - 43906. Does 2 divide j?
False
Suppose -7*p + 2474 - 836 = 0. Let w = -124 + p. Does 22 divide w?
True
Suppose 30*o - 615 = -2265. Is 11 a factor of (-18 + -2)/(1*2/o)?
True
Suppose 0 = -263*z + 64369 + 339336. Does 58 divide z?
False
Let l = 54 + -46. Let a(j) = -3*j + 69. Is a(l) a multiple of 5?
True
Let i(o) = -15*o**3 - 14*o**2 - 93*o - 82. Is 10 a factor of i(-10)?
False
Let x be (80/60)/(2/138). Let w = -31 - -164. Let u = w - x. Is 8 a factor of u?
False
Does 46 divide (-1 - (-36517)/(-5))/((-62)/155)?
False
Let c(o) = 4*o**2 + 8*o. Let g(f) = 11*f**2 + 25*f - 1. Let b(l) = 8*c(l) - 3*g(l). Suppose q - 3*r + 11 + 1 = 0, 2*r + 14 = -3*q. Does 9 divide b(q)?
False
Let p = 16978 + -10618. Does 20 divide p?
True
Suppose -4*o + 8308 = 4*j, -32*o - 10378 = -5*j - 30*o. Does 12 divide j?
True
Let y(z) = 2*z**3 + 61*z**2 + 52*z - 115. Does 70 divide y(-25)?
True
Suppose -170 = -5*w + 2*o - 7*o, 2*w - 4*o = 98. Let l = -207 + 200. Does 2 divide (-5 - w/l)/((-2)/(-7))?
True
Let f(k) = -3681*k + 69. Is f(-1) a multiple of 15?
True
Suppose -20*t + 30342 = -14*t + 20*t. Does 3 divide t?
True
Let a = -483 + 485. Suppose 126 - 22 = a*u. Is 4 a factor of u?
True
Let p = 4 - 4. Suppose p = -2*q - 0*q + 30. Suppose 90 + q = n. Is n a multiple of 15?
True
Suppose 0 = -t - 2, -7 = 3*x - 2*t - 20. Is (x/(30/(-985)))/(2/(-4)) a multiple of 12?
False
Let o be 0/2*(-23 - -24). Suppose 4*m - 7*m + 222 = o. Is m a multiple of 7?
False
Let q(n) = 5730*n**2 - 115*n - 115. Is q(-1) a multiple of 25?
False
Let f(i) = -i**3 - 74*i**2 + 73*i + 747. Is f(-75) a multiple of 17?
False
Suppose -65*k + 587304 = -148626. Is 153 a factor of k?
True
Let s be (-6)/9 + (-16)/3. Let b be (-6)/(-9) + (-374)/s. Suppose -56 = -2*q + 3*a + b, 3*a = -q + 82. Is q a multiple of 9?
False
Let a = -37679 - -66851. Does 39 divide a?
True
Let v(r) = 79*r - 403. Is v(9) a multiple of 44?
True
Let n = 7877 + -3925. Is 16 a factor of n?
True
Suppose -2*o - 3*y + 13 = -5, y = -3*o + 20. Let p = 10 - o. Suppose 0 = -p*x + 47 + 17. Is x a multiple of 2?
True
Let w(v) = v**3 + 9*v**2 - 25*v - 64. Let b be w(-10). Let d = b + 373. Is 48 a factor of d?
False
Suppose -4*j - 3536 = -87*p + 82*p, -2*p = -2*j - 1416. Let w = p + -574. Does 13 divide w?
True
Let a be 376/(-517)*22/(-4). Does 9 divide 46208/100 + -3 - a/50?
True
Let k(y) be the second derivative of y**4/4 - 10*y**3/3 + 8*y**2 + 115*y. Is 31 a factor of k(21)?
False
Suppose -319 = -4*u + t + 5500, 3*t + 5809 = 4*u. Is 56 a factor of u?
True
Let c(o) = 5*o**2 + o. Let z be c(1). Suppose h - 1904 = -z*h. Suppose -3*d + h = -5*i, -3*i + 411 = 4*d - 0*d. Is d a multiple of 37?
False
Let m = 47 + -40. Let y(k) be the second derivative of k**3/3 + 10*k**2 + 6*k. Is y(m) a multiple of 17?
True
Let p = -141 + 1026. Let i = -371 + 376. Suppose i*d = -5*c + p, 2*d - 3*c + c = 354. Is 11 a factor of d?
False
Suppose 7*x - 4913 = 5335. Suppose 0*z + 3*z - x = 0. Suppose -4*k + z = -0*k. Does 11 divide k?
False
Suppose -3*j - 241 = -4*i, 3*j = 5*i - 