. Suppose -2*g - 4*l - a = l, -5*l + 105 = -5*g. Let p(r) = r**2 + 9*r + 17. Is 14 a factor of p(g)?
False
Is (-6068 + 3 + -10)*(1 - 35/15) a multiple of 50?
True
Let x = 265 - -10865. Suppose 0 = 45*n - 59*n + x. Is n a multiple of 44?
False
Is 18 a factor of 8/60*3*(7 + -70927)/(-4)?
True
Let z = -1918 + 3785. Suppose 15*p - 517 = -z. Is 25 a factor of (-4)/(-18) - 16270/p?
False
Let l = -34 - -34. Suppose l*x = 12*x. Suppose -5*z - 418 + 1763 = x. Is z a multiple of 39?
False
Suppose -3*k = -2*r - k + 3164, 4722 = 3*r + 5*k. Let m = 2427 - r. Does 16 divide m?
True
Let x(n) = 6*n**3 + 11*n**2 + 5*n + 3. Let b(z) = z**2 + 6*z - 50. Let c be b(5). Is x(c) a multiple of 13?
True
Let h(q) = q**3 - 3*q**2 - q - 4. Let l be h(3). Let y be (l - -1) + (-1 - -2). Does 8 divide (1 - y/(-3))/((-44)/726)?
False
Suppose -2 = -3*w + 4*w + 4*p, w + 2*p = 0. Let u be -3 + 6 + (w - -1). Is (-123*u/27)/((-2)/3) a multiple of 9?
False
Let f = -520 + 520. Does 9 divide -5 + (6 + 3035/5 - f)?
False
Let z(x) = x**3 - 36*x**2 - 35*x - 84. Let k be z(37). Let u(c) = c**3 + 10*c**2 - 18*c + 23. Is u(k) a multiple of 12?
False
Is 103 a factor of (-8 - ((-1)/2)/(53/2279))*206?
True
Is 15 a factor of (687918/63)/(-11)*(12/2)/(-1)?
False
Let i = 9666 + -4297. Is i a multiple of 58?
False
Suppose 14*d - 2*s = 13*d + 2762, 3*s + 5527 = 2*d. Is 7 a factor of d?
False
Let a = -374 + 2401. Does 6 divide a?
False
Let v(o) = 1932*o - 78. Does 6 divide v(1)?
True
Let y = -23631 - -29522. Is 21 a factor of y?
False
Suppose 4*u + 95 = 23*u. Suppose 5*k + 373 = p, 4*p + 619 - 2036 = u*k. Does 56 divide p?
False
Let x(v) = -12*v**2 - 137*v - 1. Let h be x(-12). Let z = h - -359. Is 71 a factor of z?
False
Suppose -70*r = -77*r. Suppose 3*u + r*u - p - 296 = 0, 0 = -4*u - p + 397. Does 11 divide u?
True
Suppose -7*p = -6*t - 4*p + 44130, 2*t - 3*p - 14718 = 0. Does 43 divide t?
True
Let y(c) = 17*c + 2459. Is y(-27) a multiple of 200?
True
Let p(m) = -m + 6. Let h be p(-4). Let l be ((-30)/9)/h + 16/3. Suppose -f + l = -18. Is 6 a factor of f?
False
Let z be 2384/14 - 2/7. Let x be 6*((-30)/((-18)/3))/3. Suppose x*g - 530 = z. Does 10 divide g?
True
Let w(o) = 3*o**2 + o + 3. Let y be w(-7). Does 22 divide (y/13)/((-3)/(-6))?
True
Let y be (178 + 3/1)*-1. Let r = -57 - y. Suppose 76 = 5*j - r. Does 5 divide j?
True
Let k be 4 + (3052/6)/((-2)/(-6)). Let m = 5208 + k. Is 18 a factor of m/33 + (-4)/22?
False
Let f(k) = -k**3 + 28*k**2 - 54*k + 31. Let h be f(26). Does 6 divide -6*805/h + 5?
False
Suppose 11*h = 42 + 24. Suppose 5*g = -h*g + 4840. Is 10 a factor of g?
True
Suppose 10284 = 8*g - 8372. Is g a multiple of 31?
False
Let s(g) be the third derivative of -g**6/120 - g**5/5 - 7*g**4/8 - 13*g**3/6 + 18*g**2. Let c be s(-10). Does 19 divide (-327)/(-6) - c/18*-3?
False
Suppose 17 = -2*z - l, -9*z + 4*l - 32 = -7*z. Is 46 a factor of ((-24)/z)/(6/345)?
True
Let a = 7417 + 555. Is a a multiple of 54?
False
Let o(i) be the third derivative of 191*i**4/24 + i**3/2 + 3*i**2 + 8. Is 57 a factor of o(1)?
False
Let w(b) = -b**2 - 8*b + 24. Let q be w(-10). Suppose -2*r = -q*r + 10. Suppose 4*n - r*k - 74 = 44, -2*n = 5*k - 44. Is n a multiple of 9?
True
Suppose -75*f + 398034 = 16*f. Is f a multiple of 18?
True
Let a(h) be the third derivative of 21*h**4/8 - 62*h**3/3 + 9*h**2. Does 14 divide a(6)?
False
Let p = 8559 - 4390. Suppose -24*m + 3895 = -p. Is 16 a factor of m?
True
Is 183 a factor of 6 + 57605 + (-2 + -3 - (-6 + -1))?
False
Let s(a) = -a**3 + 14*a**2 + 18*a + 33. Let i be s(15). Let x = -62 + i. Suppose -7*l = -x - 40. Is l even?
True
Let f(k) be the first derivative of 7*k**2 - 8*k + 2. Let b = -1357 - -1359. Does 5 divide f(b)?
True
Let y(n) = 5*n + 2. Suppose 0 = -5*f - 6 + 1. Let j be y(f). Is 120/6 + (j - -1) a multiple of 9?
True
Let z(m) = 2*m**2 + 7*m + 5. Let r be z(-1). Suppose r*s + 4*d = -3*s - 11, d = -s - 4. Does 9 divide 104 + s*(3 + -2)?
True
Suppose 0 = 4*j, 3*j - 20 + 10 = -5*q. Suppose 259 = 4*a + a + q*u, -4*u - 247 = -5*a. Does 3 divide a?
True
Let n be -1 + (-2)/(-4*3/(-6)). Let s be 27 + -3 + n/(-2). Suppose 130 = -20*p + s*p. Is 13 a factor of p?
True
Does 11 divide (-3 - -4)*-1 - (-3781 + -1 + -3)?
True
Suppose -14623 = 6*f - 19759. Is f even?
True
Suppose 32*h - 115684 = 3388. Is h a multiple of 23?
False
Let z(q) = -q**3 - 17*q**2 + 16*q + 44. Let j be z(-18). Let k = j - 79. Let r(w) = 39*w + 1. Does 10 divide r(k)?
True
Suppose r - p - 87 = 0, 17 = 2*r + 2*p - 145. Suppose 5*v = -3*i + 665, -r = -5*v + 4*i + 581. Is v + -1 + 26 + -25 a multiple of 23?
False
Let u = 363 + -361. Suppose 0 = u*w + 145 - 347. Does 9 divide w?
False
Let p = -66 - -58. Does 20 divide (-2)/p - 291927/(-292)?
True
Let i(q) = 29*q - 46. Let k be i(42). Suppose k = 9*l - 1348. Does 10 divide l?
True
Is 12 a factor of (3150/90)/(3/261*3)?
False
Suppose 0*q - 4*q = -4*r + 40, 0 = r - 2*q - 6. Does 24 divide 8/14 - (-1658)/r?
False
Let u(p) = 478*p + 17. Let k be u(-10). Let f = -3135 - k. Is 22 a factor of f?
True
Suppose 65*h = 67*h - 76. Suppose -i = -h + 6. Is 8 a factor of i?
True
Let y(l) = 9*l**3 - 2*l**2 - 3*l + 4. Let r be y(5). Is 49 a factor of -5 + -3*r/(-21)?
True
Suppose 0 = -3*i + 2*v - 3*v - 7, 2*i + 14 = 4*v. Let g(x) = -3*x - 10. Let q(l) = 6*l + 21. Let r(j) = i*q(j) - 5*g(j). Is r(-6) a multiple of 5?
True
Let d(m) = 100*m**2 - 11*m + 3. Let g be d(-3). Suppose -10*s = -14*s + g. Is 13 a factor of s?
True
Let g = -181 + 74. Let d = g + 205. Does 7 divide d?
True
Is -7*3/6*2262/(-91) a multiple of 29?
True
Let s(q) = -8*q**3 + 9*q + 24. Suppose -w + c + 8 = -2*c, 0 = w + 2*c + 12. Does 6 divide s(w)?
False
Is ((-18)/(828/1679))/(2/(-76)) a multiple of 31?
False
Let n(o) = 1230*o - 573. Does 53 divide n(28)?
True
Suppose 2*u + n + 26 = 0, 10 = -2*u + 2*n - 4. Let r(m) = m**2 + 13*m - 38. Let w be r(u). Does 4 divide -7*(1/(-4) + 225/w)?
True
Let z(x) = -8*x**3 - 10*x**2 - 30*x + 42. Does 7 divide z(-8)?
True
Let h = 45 - 42. Let d be (1 - (-12)/(-3)) + 7. Is 23 a factor of (249 + d)/(-2 + h)?
True
Suppose -8*a - 83*a - 486 = 333. Let i(t) be the first derivative of t**4/2 + 6*t**3 - 3*t**2/2 + 12*t - 1. Is 39 a factor of i(a)?
True
Suppose 4*j - 5*c = 29949, -3*j + 10274 + 12190 = -6*c. Is j a multiple of 40?
False
Suppose 0 = -5*w - q - 37, 5*w + 0*w + 4*q + 28 = 0. Let h(k) = -k**3 - 43*k**2 + 97*k + 171. Let g be h(-45). Let i = w - g. Is 11 a factor of i?
False
Suppose 11*h = 6*h + 15. Let r(k) = 481*k - 78. Is r(h) a multiple of 15?
True
Suppose 18*j - 8625 - 21903 = 0. Does 31 divide j?
False
Suppose 3*r + i = 18282, 20*r + 4*i = 21*r - 6068. Does 47 divide r?
False
Suppose -9*p + 946 = -3887. Suppose -w + 1428 = 5*u - p, 3*u + 2*w = 1179. Is 9 a factor of u?
False
Is 21 a factor of -2236*((-2)/4 - (-6)/42*-7)?
False
Let z be 3/(-3) - (-13 - -8). Suppose -9*o = -8*o - z. Suppose -o*j - 176 = -12*j. Does 7 divide j?
False
Suppose 26*f - 80825 - 117958 = -77909. Is f a multiple of 46?
False
Let l(j) = -11*j**2 - 6*j + 13*j**2 + 1 + 0. Let b be l(6). Suppose 108 = -b*p + 41*p. Is 27 a factor of p?
True
Let j = 210 - 207. Suppose -j*u - 5*p + 444 = -346, 0 = -4*u - 5*p + 1060. Is u a multiple of 10?
True
Suppose -2*n + 4*f + 8 = 0, 0 = 44*n - 41*n - f - 2. Let d be 1*(29*6 - 0). Suppose n = -w + 7*w - d. Does 3 divide w?
False
Let d(v) = 7*v + 50. Let y be d(-13). Let z = y + 265. Does 14 divide z?
True
Let a(d) = 5 - 2 + 7*d - 22 + 12*d. Let p be a(3). Let n = p - 29. Is 2 a factor of n?
False
Suppose -34*b - 519480 = -74*b. Does 13 divide b?
True
Let a(z) = -2*z**3 - 13*z**2 + 18*z - 2. Let i be a(-10). Let f = i - 268. Is 22 a factor of f?
False
Let a = 44 - 21. Let y(x) = 30*x + 155. Does 65 divide y(a)?
True
Let r(s) = s + 4*s - 4 - 3 + 417*s**2 + 3. Is r(1) a multiple of 38?
True
Suppose 5*c - 9 = 21. Let z(p) = -36*p + c + 14*p + 19*p + 6*p**2. Does 4 divide z(2)?
True
Let q = -32 - -32. Suppose q = -16*w + 22*w - 18. Suppose 0 = -3*s + 6, -367 - 17 = -2*v - w*s. Does 21 divide v?
True
Let s = -985 + 5261. Is 10 a factor of s?
False
Suppose -6596 = -4*m - 3*f, m - 2*f - 1089 = 560. Is m a multiple of 3?
False
Suppose -3*o = -o - 6. Suppose 0*x + x - 92 = -4*m, -m - o*x = -34. Suppose -2*w = -5*v - 30, -4*v - m = -2*w + 12. Is 10 a factor of w?