5. Let p(w) = -59*w - 174. Let l(y) = -22*n(y) - 4*p(y). Does 13 divide l(-11)?
True
Let q = 19084 - 17460. Is q a multiple of 14?
True
Let f = -252 - -274. Suppose c + 2*t = f + 33, -c = 5*t - 43. Is c a multiple of 9?
True
Let w(s) = 4*s + 30. Let x be (-4)/1 - 45/9. Let g be w(x). Does 11 divide 4/g*(2 + -260)?
False
Let x(l) = 7*l**2 + 11*l - 13. Let t = -311 + 313. Does 32 divide x(t)?
False
Suppose 0 = -6*j - 6*j + 48. Suppose 4*f + 16 - 124 = -4*g, j*f + 5*g = 112. Does 13 divide f?
False
Let s(f) = 2*f**2 - 7*f - 4. Let h be s(-3). Suppose -4*a + h = -1021. Is a a multiple of 22?
True
Let o(m) = -6*m**2 + 21*m - 41. Let s(b) = b**2 - 1. Suppose 7*y - 3*y = -20. Let i(x) = y*s(x) - o(x). Does 4 divide i(19)?
True
Let i = -112 + 115. Is 11 a factor of i*32 - (-21)/7?
True
Let u(j) = 4*j + 69. Suppose -5*y - 5*l + 6*l - 34 = 0, 3*l = -3. Is 6 a factor of u(y)?
False
Suppose 5*p + 27 - 88 = -w, 4*p - 4*w = 68. Let b(x) = 6*x - 11*x + 24 + p*x. Does 24 divide b(12)?
True
Suppose -s - 25*v - 10 = -23*v, -2*v - 10 = -5*s. Suppose s = 13*o + 25 - 389. Does 28 divide o?
True
Suppose -k - k - 4*y + 64 = 0, -15 = 3*y. Suppose k = -0*m + m. Let x = -2 + m. Does 4 divide x?
True
Suppose -3*c + q - 3*q = 6, -5*q = 4*c + 15. Suppose c = -m - 2*p - 34 + 187, -2*p = 2*m - 302. Is m a multiple of 10?
False
Suppose 0 = 4*m + 2*p - 16518, 0 = 2*m - 18*p + 13*p - 8265. Does 46 divide m?
False
Let c be (-234)/819 + 486/(-14). Suppose 0 = -3*s - v - 229, -2*s + v - 62 - 99 = 0. Let q = c - s. Is 11 a factor of q?
False
Suppose 26*v = 32*v. Suppose v = 5*j + 23*j - 4116. Does 23 divide j?
False
Suppose 782*v - 2782959 = 9542143. Is v a multiple of 8?
False
Suppose -141 = 71*l + 640. Does 19 divide l/(55/(-4450)) - -3?
True
Suppose -2*s = w - 44, -w - 132 = -4*s - 38. Suppose s*r = 22*r + 111. Does 37 divide r?
True
Suppose 4 = 3*s - 5. Suppose 0 = -12*p - s*p + 3780. Is 28 a factor of p?
True
Is 20229795/2727*(12/10 + 0) a multiple of 11?
False
Suppose -6*s + 3*s = 3, 0 = 2*g - s - 55. Suppose 3*t = -3*x + g, 12 + 6 = t - 2*x. Is t/4 - 98/(-2) a multiple of 13?
True
Let f be 30/20*8/(-2). Let q be f*(2 - 4 - 42/(-18)). Let w(r) = -7*r**3. Is 4 a factor of w(q)?
True
Suppose -18*a + 1965 = -13*a. Is 40 a factor of (-5)/(-5)*-1 + a + 2?
False
Let u(h) = 2*h**3 - 31*h**2 - 5*h - 63. Let s(a) = -a**3 + 16*a**2 + 2*a + 32. Let k be (-6)/14 - 17/(-7). Let m(f) = k*u(f) + 5*s(f). Does 18 divide m(18)?
False
Let s(w) = -18*w + 201. Let u be s(-15). Let g = u - 173. Is g a multiple of 32?
False
Suppose -6*b - 168894 = -17*b. Suppose -b = -19*u - 3270. Is u a multiple of 33?
False
Suppose 113*n = 116*n - 15. Suppose -n*x = -975 + 205. Is 11 a factor of x?
True
Let n be 9/4 + 5/(-60)*3. Let m(b) = b**2 - b + 4. Let c be m(0). Suppose 4*x + 300 = 4*u, c*u - u + n*x - 240 = 0. Is u a multiple of 13?
True
Suppose -7*j + 2*j + 165120 = 10*j. Does 79 divide j?
False
Let c(p) = 4*p + 11. Let s be c(-2). Suppose -9*o - 5*f = -6*o + 1271, 2*o + s*f = -848. Let x = o + 686. Does 30 divide x?
False
Suppose -3*q = 5*u + 5, 6*u - q = 5*u + 7. Suppose 3*s = 3*r + 123, -3*s + 0*r - u*r = -133. Does 5 divide s?
False
Let v(n) = -52*n**3 - 5*n**2 - 69*n - 253. Does 223 divide v(-5)?
True
Let f be (-45)/(-3) - (-12 - -13). Suppose -23*s + 3024 = -f*s. Is s a multiple of 14?
True
Suppose -2*j - 5*k = -4*k - 11, 5*j = -3*k + 27. Suppose 3*y = -7*y + 18 + 2. Suppose 3*d - 250 = -4*o + j*o, y*o = -4*d + 310. Does 8 divide d?
True
Let h be ((-26)/3)/(-1)*(-6)/(-4). Is 7 a factor of ((-2)/4)/(h/(-2860))?
False
Let g(l) = 206*l + 1. Let o(z) = -z + 23. Let u be o(-6). Let k = u + -28. Does 37 divide g(k)?
False
Suppose 5*n - 3*p = -210, n - 6*n - 4*p = 245. Let l be n + (1 - 0) + -1. Is 6 a factor of 428/(-10)*-2 + (-18)/l?
False
Let r(u) = -1070*u**3 - 4*u**2 + 4*u. Does 44 divide r(-2)?
True
Let m(d) = 145*d**3 - d**2 + d + 2. Let v be m(3). Suppose 6*q + 1181 - v = 0. Is q a multiple of 13?
True
Suppose -2 = 2*m + 3*g, -4*m + 11*g = 7*g + 24. Is 9 a factor of ((-900)/125)/(m/30)?
True
Suppose 39 = -4*a - 1. Let t be (-5038)/a - (-4)/20. Suppose -t = -7*z + 140. Does 9 divide z?
False
Let h = -426 + 235. Let q = 48 + -143. Let m = q - h. Does 24 divide m?
True
Suppose 8434*h - 24606 = 8425*h. Is h a multiple of 11?
False
Suppose t = -0*t + 296. Suppose -10 = 743*y - 745*y. Suppose -t = -5*i + g - 5*g, 3*g + 303 = y*i. Is i a multiple of 20?
True
Suppose 152*b - 3398533 = -899045. Does 13 divide b?
False
Let p(x) = 30*x + 51. Let r be p(-1). Let s(t) = t**2 + 2*t. Let g be s(-2). Is 25 a factor of ((r - g)/1)/((-3)/(-27))?
False
Let t(k) = -6*k + 11. Let q = 25 - 18. Let y = -4 - q. Is t(y) a multiple of 12?
False
Let y(w) = -2*w + 4. Let f be y(0). Suppose -2*o - f*j - 84 = 0, j - 3*j - 242 = 5*o. Let k = o + 83. Does 5 divide k?
False
Let j be (-2)/(4/6) + 1 + -2. Let p be (j + 25/15)*(3 - 0). Let d = 69 + p. Is 12 a factor of d?
False
Suppose 25998 = -14*w + 60291 + 97615. Is w a multiple of 14?
True
Suppose -5*y - 10 = l - 2*l, 5*y - 4*l + 10 = 0. Suppose 11*v + 0*v = -11. Is 14 a factor of ((-282)/21)/((v - y)/(-7))?
False
Let w(j) = -j**3 - 2*j**2 + 2. Let f be w(-2). Let g be -104*(-4)/8 - (f + 1). Is (-422)/(-14) - 7/g a multiple of 6?
True
Suppose -3*x + 3*a + 63 = 0, x - 90 = -3*x - 2*a. Is 38 a factor of (x/(-11))/(4/(-414))?
False
Suppose 3*m = -5*n + 39430, 97*m - 5*n = 96*m + 13130. Does 45 divide m?
True
Let l(z) = 58*z**2 + 29*z + 257. Is 37 a factor of l(-11)?
True
Let n(s) = 11*s**2 + 10*s - 29. Suppose 10*p - 9 = 7*p. Is n(p) a multiple of 4?
True
Suppose -15*n = -25 - 80. Is 2 a factor of 0/(n - 1) - -38?
True
Let x be (-26)/(-26)*1/1. Let t(a) = 55*a**2 - 3*a + 3. Let l(v) = 28*v**2 - v + 1. Let w(f) = 10*l(f) - 4*t(f). Is w(x) a multiple of 17?
False
Suppose -141*t + 143*t - 5*w = 32419, -2*w = -14. Does 89 divide t?
False
Let d = -629 + 344. Let u be 1 + d + (-2 + -2)/2. Let j = -129 - u. Is j a multiple of 7?
False
Let i(l) = 10*l**3 - 10*l**2 - 22*l - 12. Is 6 a factor of i(6)?
True
Let s(w) = w**2 + 7*w - 10. Let t be s(-9). Let m(b) = -3*b**2 - 6*b + 8. Let z(p) = 4*p**2 + 5*p - 9. Let i(k) = -5*m(k) - 4*z(k). Is i(t) a multiple of 12?
True
Let t(o) = 70*o + 1904. Is 18 a factor of t(-20)?
True
Suppose 4*c + 5*o = 10, 3*c + 10 = -2*c + 5*o. Suppose -g = -5*i + 247 + 163, c = -4*i + 3*g + 328. Suppose -i - 42 = -2*n. Is n a multiple of 24?
False
Let b = -1219 - -1322. Suppose -11 = 3*j + 124. Let m = j + b. Does 42 divide m?
False
Let q = -78 - -83. Suppose x - 43 = -q*f, 2*x - 6*f + 3*f = 73. Is x a multiple of 9?
False
Let w(q) = 2*q**2 - 21*q + 14. Let m(i) = -2*i + 44. Let t be m(17). Let a be w(t). Suppose -40 = -2*f - 3*n, 112 = a*f - 6*n + 4*n. Does 13 divide f?
True
Suppose 42366 = 113*z - 26790. Is z a multiple of 14?
False
Suppose 5*t - 74 = h, -3*t - 7*h = -2*h - 50. Suppose 0 = 4*w - 3*w - t. Is 19 a factor of -2*(-9)/(-30) + 1434/w?
True
Let d(m) = -m**3 + 4*m**2 - 4*m + 8. Let o be d(3). Suppose -g + 419 = -n, 0 = -5*g - 7*n + o*n + 2074. Is g a multiple of 32?
True
Let m(c) = 39*c - 3. Let b be m(2). Let y = 2089 - 2012. Suppose 3*o = 3*z - y + 212, -5*z = o - b. Is 18 a factor of o?
False
Let t(y) = -y**3 + 15*y**2 - 78*y + 900. Let k be t(14). Let g = 87 - 0. Is 38 a factor of g*(48/9)/k?
False
Let q be (6/(-3) + 8)*(-12)/(-24). Does 4 divide (66 - 78)*(-1)/q?
True
Suppose 5*j - 10512 = 17*j. Let p = j - -909. Is 2 a factor of p?
False
Let l = -16 + 22. Let o(s) = -2*s**3 + 12*s**2 + 6*s - 6. Let h be o(l). Is 535/h - 2/(-12) a multiple of 9?
True
Suppose -13 = -4*w + 5*p + 9, 2*w = 3*p + 10. Suppose -5*i + 12 = -j - w, -5*j = 25. Suppose -i*d + d + 22 = 0. Does 6 divide d?
False
Let g = 6072 - 4307. Is g a multiple of 33?
False
Let v = -3705 + 4329. Is v a multiple of 104?
True
Let c = 11164 + -2136. Is 74 a factor of c?
True
Suppose 30*h + 3070 - 75520 = 0. Is 115 a factor of h?
True
Suppose -3*r + 2*t = -80626, -54230 = -3*r - 4*t + 26420. Is 9 a factor of r?
False
Suppose -12*p + 48 = -180. Suppose 4*v = 3*r - 3, p - 6 = -4*v + 5*r. Is v even?
False
Suppose -860*o + 4277 = -853*o. Let s = o - 157. Does 3 divide s?
False
Suppose -704 = -n + o + 275, -2*n = -5*o - 1955. Is n a multiple of 4?
True
Let b(o) = 33*o + o**2 - 17*o - 24*o - 26. Let 