). Suppose -2*g = 10, -12*n + 4*g = -10*n - 30. Suppose v = n*r - 134. Is r a multiple of 11?
False
Let t(x) = 5*x - 34. Let s be t(8). Let g(n) = 21*n**2 + 0 - 22*n**2 - s + 14*n - 4*n. Is g(6) a multiple of 5?
False
Let j(z) = -z**3 + 11*z**2 - 10*z. Suppose -5*p - 6 = -56. Let x be j(p). Suppose -2*k = -x*k - 32. Is k a multiple of 6?
False
Let r(i) = 225*i**2 + 84*i + 390. Is r(-4) a multiple of 13?
False
Let t(r) = 4305*r**2 - 4*r - 17. Is 7 a factor of t(-2)?
False
Let g = -74 - -77. Suppose g*j + 24 = 5*z, 3*j = -2*z - z. Suppose u + 103 = m - 4*u, 5*m = -z*u + 571. Is 39 a factor of m?
False
Let q = 21407 + -18083. Is 12 a factor of q?
True
Suppose 0 = q + 4*r + 1371, 1392 = 12*q - 13*q + 3*r. Does 39 divide (-15 + q)*(-1)/2?
False
Suppose -442*g = 285*g - 11633454. Is 9 a factor of g?
True
Let b = 2403 - 800. Suppose a - 5*a + b = 5*o, 5*o = 3*a + 1589. Is o a multiple of 11?
True
Let y(h) = 2*h**2 - h + 1. Let u be y(1). Suppose -5*d + u*w = -15, 5*w = 43 - 18. Suppose t = d*t - 92. Is t a multiple of 8?
False
Does 80 divide ((-4 - 43)/(-47))/((-2)/(-24116)*2)?
False
Let j(r) be the first derivative of 5*r**3/3 - 9*r**2/2 - 2*r + 66. Is j(-3) a multiple of 7?
True
Let p(j) = j**3 + 64*j**2 + 289*j - 392. Does 64 divide p(-56)?
True
Let t(n) = 680*n**2 - 60*n - 125. Is 46 a factor of t(-4)?
False
Does 220 divide (-1 - 77/11*-7732) + (-6)/2?
True
Does 143 divide ((-1428)/(-170))/(-3*5/(-16125))?
False
Let n(w) = w**2 + 3*w - 4. Let h(z) = -2*z**2 + 45*z - 21. Let p be h(22). Let m be n(p). Suppose -3*q - 91 = -4*q - 4*k, 2*k - 8 = m. Is 16 a factor of q?
False
Let w be (-82 - -6) + (0 - 0). Let u be -142 - ((-3 - -6) + -6). Let d = w - u. Is 9 a factor of d?
True
Let u(t) = t**3 + 38*t**2 - 121*t + 18. Does 81 divide u(-36)?
True
Suppose -337990 = 20*h - 56*h + 223898. Does 8 divide h?
True
Let u = 1024 - 628. Is 6 a factor of u?
True
Let b = 107 + -50. Suppose -5*a + 23 = -b. Is 7 a factor of a/16*(102 + 1)?
False
Let g(z) = -3*z**2 + 19*z - 4. Let c be -5*18/(-15) - 0. Let d be g(c). Suppose -5*j + w + 747 = 0, -j + d*w + 205 - 52 = 0. Is j a multiple of 13?
False
Suppose -10826127 = -234*i - 2122731. Is i a multiple of 166?
False
Suppose 8*h - 4245507 = -55*h. Does 101 divide h?
False
Suppose 4*w + 0 = 28. Suppose -495 = -2*u + 3*l, -17 = 5*l - 32. Suppose -w*r - u = -14*r. Is 4 a factor of r?
True
Suppose -o - 5*b = -3114, 31*o - 4*b = 26*o + 15425. Does 9 divide o?
False
Let b(k) be the second derivative of -k**4/12 + 14*k**3/3 - 27*k**2/2 - 45*k. Is b(16) a multiple of 12?
False
Let v be (-320)/(15/5 - 4) - -4. Suppose -v = -2*f - 126. Is 9 a factor of f?
True
Suppose 3*c = 2*c. Suppose -8*b + c*b - 72 = 0. Is 4 + (-3)/(b/264) a multiple of 11?
False
Let u(z) = z**2 - 13*z + 27. Let o be u(11). Let g = 18 - 13. Suppose 144 = 2*x + o*w - 7*w, 0 = g*x - w - 364. Is 6 a factor of x?
False
Suppose -s + 13 = 15, -n - 3*s + 2136 = 0. Is 27 a factor of n?
False
Let f(x) = 6*x + 8. Let q = 52 - 48. Let i(v) = -v**3 + 4*v**2 - 3*v + 12. Let o be i(q). Is 5 a factor of f(o)?
False
Let y(u) = -u**2 + 6*u - 4. Let i be y(2). Suppose 2*d = 2*h - 266, 0 = 2*d + 4 + i. Let o = h + -76. Does 12 divide o?
False
Let r be 3*(-1)/(9/(-6)). Let m = 1027 - 1025. Suppose -2*j + r*w + 244 = 0, -366 = -j - m*j - 3*w. Does 16 divide j?
False
Let w(u) = -u**2 - u + 1. Let a(j) = -7*j**2 - 20*j + 7. Let q(s) = -a(s) - 2*w(s). Is 18 a factor of q(9)?
True
Suppose 4*m + 16038 = 2*k, -26*m - 32046 = -4*k - 28*m. Is 10 a factor of k?
False
Let t(b) be the third derivative of -b**6/120 - b**5/30 + b**4/8 - 2*b**3/3 + 7*b**2. Let y be t(-4). Let z = y + -13. Does 2 divide z?
False
Let o(z) = -z**3 - 10*z**2 - 13*z - 38. Suppose 109 = 9*k + 226. Is o(k) a multiple of 5?
False
Let d = -14898 + 21207. Is d a multiple of 37?
False
Suppose 0*g + d = 3*g - 8508, 3*d - 2816 = -g. Is 68 a factor of g?
False
Let z = 38 - 36. Let a(g) = 4*g - 6. Let p be a(z). Suppose -4*y - p*j = -8, y + j = -3*j - 5. Does 3 divide y?
True
Let y(z) = -z**2 + 7*z + 74. Let q be y(-5). Is 31 + -26 + (-7)/(q/(-900)) a multiple of 65?
True
Let v(c) = -101*c**2 + 6*c - 12. Let f be v(-2). Is (5 - 6)*-2 + f/(-2) a multiple of 36?
True
Let d(o) = -92*o**2 + 1. Let b be d(1). Suppose -4*k = -16, 17*a = 15*a - k + 262. Let v = b + a. Does 10 divide v?
False
Suppose -3*n + 5*p = -8654, -71*n + 70*n + 2884 = -2*p. Suppose 4*z = -2*q + 1252, -5*q = 5*z - 252 - n. Is 42 a factor of q?
True
Suppose 0 = 5*n - 4*m + 34, -3*m = m - 4. Let j be 483/n + (10/4 - 2). Let k = j + 109. Is k a multiple of 2?
False
Let v = -1307 - -2320. Suppose 0 = -o - m + v, 31*m = 30*m + 4. Is 47 a factor of o?
False
Suppose -5*i = 193 - 493. Let u = 190 - i. Does 13 divide u?
True
Let y = -83793 - -121448. Is 17 a factor of y?
True
Let o(s) = -s**3 + 10*s**2 + 13*s + 18. Let i be o(11). Suppose 16 - i = -4*a. Is 3/a*-2 + (-2 - -12) a multiple of 2?
False
Suppose 2*h - o = 7*h + 278, 3*h + 160 = -4*o. Let g = -10 - h. Is g + -5 + (-6)/2 a multiple of 12?
False
Let v(b) = -b**2 + 12*b + 27. Let f(a) = 4*a + 2773*a**3 - 13 - 3*a**2 + a - 2774*a**3. Let k be f(-5). Is 7 a factor of v(k)?
False
Does 30 divide (3032 + -8)*-12*10/(-36)?
True
Let v(s) = s**2 - 1. Let l be v(3). Let u(y) = -2*y - 4. Let p be u(l). Let c(n) = -9*n + 8. Does 47 divide c(p)?
True
Let s = 379 + -552. Let h = -80 - s. Is 15 a factor of h?
False
Let d = 3495 - -3244. Is 9 a factor of d?
False
Suppose 8*c - 655 - 5897 = 0. Is ((-7 - 11)/(-9))/(2/c) a multiple of 13?
True
Let m(b) = -3*b**3 - 9*b**2 + 4*b + 36. Let p be m(-9). Suppose -217 = -5*f + p. Does 51 divide f?
False
Let l(n) = -n**3 + 10*n**2 + 21*n + 2. Let s be l(7). Suppose 303*y - s*y = 7840. Is 32 a factor of y?
True
Let v(j) = j**2 - 2*j - 4. Let t be v(-4). Let i = 20 - t. Suppose 26*u - 22*u - 100 = i. Is 8 a factor of u?
False
Is 7 a factor of -14 + 1020/70 + 15378/14?
True
Suppose -24*c + 4010 = 242. Let f = c + -79. Does 5 divide f?
False
Suppose 173*h - 13951 = 13729. Is 16 a factor of h?
True
Let k(h) = 79*h - 10. Let v be k(1). Suppose 5*b - 521 = v. Does 86 divide b?
False
Let k = -994 + 179. Let c be (2/(8/(-20)))/1. Is 11 a factor of 0 + (-2)/c + k/(-25)?
True
Suppose 5331 = 7*z - 297. Let d = z - 442. Is 8 a factor of d?
False
Let w(r) = -r**3 + 12*r**2 - 15*r - 16. Let h(z) = 2*z**3 - 12*z**2 + 16*z + 16. Let x(n) = 2*h(n) + 3*w(n). Does 28 divide x(-12)?
True
Suppose 0 = 11*t - 15127 - 6323. Does 39 divide t?
True
Suppose 0 = 4*v + 3*w - 133632, -8*v = -4*v - 4*w - 133632. Is 72 a factor of v?
True
Let i = 87 - 85. Is (6777/63 - i) + 6/14 a multiple of 2?
True
Let a = -2196 - -2218. Let g be 1*2*1/(-2). Let t = a + g. Does 12 divide t?
False
Let z(n) = n**3 + 4*n**2 - 9*n + 24. Let r be z(-6). Is 32/(-8) + r - -382 a multiple of 33?
False
Let b(s) = -s**3 + 29*s**2 - 39*s + 118. Is 9 a factor of b(27)?
False
Suppose -3*o - 3*c = -12, 0 = -13*o + 10*o - 5*c + 20. Suppose -2*n - 3*i = -507, o = -5*n + 2*i + 937 + 283. Is 9 a factor of n?
False
Suppose -8271 = -z - 3*w, 0 = -16*z + 11*z - 6*w + 41382. Does 15 divide z?
True
Let y(i) = -3*i**2 - 2*i + 116. Let q be y(0). Suppose 0 = 23*h - 19*h - q. Does 13 divide h?
False
Let n = -160 + 156. Is 9 a factor of (-7 + -7)*(78/n + 2)?
False
Let f = -10502 - -15177. Is 55 a factor of f?
True
Suppose -5*q - 2*r = -7*q + 4908, -r = -2*q + 4903. Does 80 divide q?
False
Let a be (220/12 - 3)/(14/252). Is 11 a factor of (287/123)/(2/a)?
False
Suppose -21533 = 27*u - 2061761. Does 18 divide u?
True
Suppose -1047 = -4*a + 313. Suppose n + 2*i - a = -3*n, 4*n - 352 = i. Suppose h - 7 = n. Is 18 a factor of h?
False
Let b = 152 - 150. Let o(j) = -40*j**2 - j. Let z(d) = -39*d**2 - 2*d + 1. Let u(y) = -3*o(y) + 2*z(y). Is u(b) a multiple of 14?
True
Suppose -7*y + 29 = -6*y. Suppose -y*m = -35*m - 48. Is m/(-3 + 7) - -66 a multiple of 16?
True
Let w(n) = n**3 + 10*n**2 + 13*n - 10. Let k be w(-8). Let r = k + 32. Suppose 7*x - 3*x - 116 = -4*v, 5*x = -2*v + r. Is v even?
False
Suppose -3*n - y + 60364 = 3*y, -2*y - 10 = 0. Does 23 divide n/128*(2 + 2)?
False
Let c(l) be the second derivative of -38*l + 0 + 5*l**2 + 19/6*l**3 + 4/3*l**4 - 1/20*l**5. Is 7 a factor of c(17)?
False
Let a(s) be the third derivative of -s**5/60 - s**4/2 + 9*s**3/2 +