(p) = -24*p**2 + 4*p + 3. Let u(m) = 5*j(m) + 3*r(m). Does 7 divide u(2)?
True
Let a = -34 - -73. Suppose -189 = -6*b + a. Does 19 divide b?
True
Let j(f) = 6*f + 3. Is 5 a factor of j(33)?
False
Suppose 11*x - 5293 = -1905. Suppose 5*z - x - 1277 = 0. Is z a multiple of 14?
False
Suppose 6 = -3*h - 6, 5*k = 3*h + 27. Suppose -149 = -4*o + 3*x, k*o - 5*x = -0*o + 120. Suppose o + 37 = 3*t. Is 6 a factor of t?
True
Let t(o) = o - 5*o - 3*o - o - 12. Let h be t(-9). Suppose -h = -g - 3*g. Does 6 divide g?
False
Suppose -179 = -2*s - m, -s + 59 + 13 = 4*m. Let x = s + -51. Does 9 divide x?
False
Suppose 4*r + 19 = 263. Suppose v - 2 = r. Is 3 a factor of v?
True
Suppose 0 = -3*r - 3*c + 42, 2*c = -5*r + 5*c + 102. Let b = r + 6. Does 10 divide 30/4*128/b?
True
Let b = 5 + -2. Suppose -x = 3*r - 14 - 14, 3*r - b*x - 36 = 0. Suppose 8 = v - r. Does 9 divide v?
True
Let d(u) = u**2 + 11*u - 8. Let l be d(-13). Let y(c) = -6*c + l - 13 - c. Does 18 divide y(-7)?
True
Let j(i) = 2*i + 7*i - 4*i - 3*i + 12. Let t be j(-5). Suppose 4*f - t*f = 142. Is 20 a factor of f?
False
Let f(v) = -2624*v + 24. Is 63 a factor of f(-1)?
False
Suppose -5*y = -6*y. Suppose 11 - 15 = -t. Suppose h - 1 = y, 5*a - 207 = -h + t*h. Is a a multiple of 14?
True
Suppose 0 = -3*s + 13*o - 17*o + 1521, -4*o + 515 = s. Is 12 a factor of s?
False
Let a = 13 + -9. Let s = a - 8. Is 17 a factor of (-316)/(-8) - 2/s?
False
Suppose -9 = -2*r + r + v, 2*r - 5*v - 15 = 0. Suppose r*n - 968 = 8*n. Suppose -d - 97 = -t, 5*t - n = -d + 5*d. Does 16 divide t?
True
Let z = -47 - -63. Let l be (-35)/(-2) - 2/4. Suppose -x + z + l = 0. Does 5 divide x?
False
Is 56 a factor of 243/(-486) + (-6374)/8*-2?
False
Let s(k) = -k**3 - 9*k**2 + 10*k. Let o be s(-10). Suppose 2*n + 2*z - 144 = o, 7*n + 5*z - 290 = 3*n. Is 6 a factor of n?
False
Suppose 11*z - 9*z = 1004. Suppose 10*p - 408 - z = 0. Is 14 a factor of p?
False
Let m be 160 + (6 - 4 - 2). Suppose 2*p - 72 = m. Is p a multiple of 30?
False
Let w be 2/8 - (-430)/8. Let p = w - 41. Is 2 a factor of p?
False
Let l(o) = 9*o**2 + 2*o + 1. Let b be l(-1). Suppose -4*i - 892 = -b*i. Suppose -8*c + 4*c + 100 = 2*k, -i = -5*k - c. Is k a multiple of 12?
False
Is 17 a factor of (3 + 12 + 2)/(9/225)?
True
Does 18 divide ((-24)/(-14))/(104/9828)?
True
Let n = -220 + 253. Is 11 a factor of n?
True
Suppose 12 = 118*v - 112*v. Suppose -b - 42 = -2*b. Is 7 a factor of (v/(-6))/((-2)/b)?
True
Let l = 10 + -5. Suppose 3*t = l*y - 950, 0*y + 4*t - 406 = -2*y. Suppose b + y = 3*g, 101 + 89 = 3*g + 2*b. Is g a multiple of 12?
False
Is 1 - (-1 + -3 - (16 + 91)) a multiple of 4?
True
Let u = 113 + -110. Is 14 a factor of (5 - -72)*(-6)/(-9)*u?
True
Suppose -6*f + 567 = f. Is 13 a factor of f?
False
Suppose -3*c = -2*c - 3. Let y(w) = 5*w**3 - 4*w**2 + 5*w - 6. Is 27 a factor of y(c)?
True
Does 28 divide (-1 - -161) + -7 + 10 + -5?
False
Suppose 48*l - 36*l - 1632 = 0. Is l a multiple of 17?
True
Suppose -25*o + 21*o + 4*g = -19496, -19475 = -4*o - 3*g. Is 13 a factor of o?
False
Suppose 3*r + 5982 = 5*w - 6390, -12374 = -5*w + r. Is w a multiple of 75?
True
Let j = 158 + -116. Is j a multiple of 7?
True
Let m(y) = -36*y**3 + 2*y**2 + y + 2. Let r be m(2). Let i = -126 - r. Does 10 divide i?
True
Let w(s) = 5*s**3 - 7*s**2 + 10*s + 7. Let d(z) = 9*z**3 - 13*z**2 + 19*z + 13. Let y(m) = -6*d(m) + 11*w(m). Let g be y(-2). Does 12 divide 36 + (0 - -1) + g?
False
Let r = 62 - -67. Is r a multiple of 5?
False
Let k(r) = -r**2 - 8*r + 35. Is k(-8) a multiple of 5?
True
Let i = 29 + -25. Let x(b) = 4*b**2 - 2*b - 2. Is 19 a factor of x(i)?
False
Let o(p) = p**2 - 3*p - 5. Let d be o(5). Suppose 0 = d*y - 0*y - 2*n - 575, -y = 5*n - 88. Is 13 a factor of y?
False
Let k(b) = 11*b - 21. Suppose 23 = 3*n - 2*c, 4*n + 2*c = 16 + 10. Is k(n) a multiple of 9?
False
Let f be -3*(2 - (4 - -51)). Let r = -95 + f. Does 8 divide r?
True
Suppose 0 = -4*k - 49 - 151. Let v = 100 + k. Is 16 a factor of v?
False
Let w be (9/18)/(2/(-36)). Let b be (36/(-5))/(w/120). Suppose 0 = -4*h + 7 + 9, 3*h - b = -3*s. Is 15 a factor of s?
False
Let o(p) = -p**3 - p + 1. Suppose 0 = 4*a + 14 - 2. Is o(a) a multiple of 31?
True
Let q(s) = 2*s + 8. Let i be q(-7). Let v = i - -10. Let o = v + -2. Is o a multiple of 2?
True
Is 11 a factor of 12/48 - ((-5541)/(-4))/(-3)?
True
Let l(c) = 10*c + 2 - 4 - 3 - 1. Does 6 divide l(3)?
True
Suppose v - 14 = -2*y - v, v + 13 = y. Suppose 0*h - 3*l = -h + 208, -y = -2*l. Suppose -x = -4*x + 15, 4*u + 3*x - h = 0. Is u a multiple of 22?
False
Suppose 0 = -5*r + z + 5678, 4*r + 2090 = z + 6632. Does 8 divide r?
True
Does 16 divide 384/(-3)*12/(-8)?
True
Suppose -8 = -13*a + 11*a. Suppose a*i = -2*i + 204. Does 17 divide i?
True
Let o = -53 - -57. Suppose 0 = 5*v + o*u - 124, 4*v - u = -0*u + 116. Is 15 a factor of v?
False
Let x = -24 - -136. Does 56 divide x?
True
Let k(n) = -4*n**2 + 5*n**2 + 2 + 3*n - 3*n + 5*n + 0*n. Let y(u) = -u**2 - 4*u - 3. Let g be y(-5). Is k(g) a multiple of 5?
False
Let d be 177/6*(-2 - -4). Let q = 90 - d. Let s = -2 + q. Is 19 a factor of s?
False
Suppose v + 3 = 9. Let n(b) = -b**2 + 8*b + 1. Let p be n(v). Let a = p + 48. Does 9 divide a?
False
Let n be 2 + 2 - (7 - -56). Let w = n + 80. Is 2 a factor of w?
False
Let v = 3 + 16. Suppose 99 = -16*a + v*a. Is 6 a factor of a?
False
Suppose 2*m - z - 4*z + 31 = 0, 0 = 5*m + 4*z - 5. Let l be (-1282)/8 + m/(-12). Let r = l + 245. Is r a multiple of 17?
True
Suppose -4*v + 22*v = 3150. Is v a multiple of 10?
False
Suppose u - m = -4, 0 = -2*m - 4 + 6. Does 9 divide 3/45*u - (-752)/10?
False
Suppose 3*u = 6*u - 4*a - 40, -a - 95 = -5*u. Let l be ((-6)/5)/((-8)/u). Suppose -2*m = l*m - 30. Is 3 a factor of m?
True
Suppose -k = 3*k + 20, -4*k - 40 = -4*v. Suppose -4*o + 35 = v*l + o, -5*l + 38 = 4*o. Is l a multiple of 7?
False
Suppose 5*u - 184 = 66. Suppose 4*o = 22 + u. Is o a multiple of 6?
True
Let h(n) = -n**2 + 8*n - 12. Let m be 4 - (2 + (-1 - 2)). Let c be h(m). Suppose 2*t - 125 = -5*k + 33, 258 = c*t - 3*k. Is 22 a factor of t?
False
Let w = -338 - -236. Is w/4*(-18)/9 a multiple of 17?
True
Let x be 3 + 3 + (3 - 6). Suppose 0 = 4*p - 5*s - 37, -x*p + 0*p + 19 = -2*s. Does 2 divide p?
False
Suppose 2*i + 5*o - 3 = 15, 5*o + 10 = 5*i. Suppose -3*y - i*l + 133 + 46 = 0, -144 = -3*y + 3*l. Does 12 divide y?
False
Let m(v) = v**3 + 2*v**2 - 2*v - 4. Let z be m(-2). Suppose 4*q - 127 - 205 = z. Does 14 divide q?
False
Suppose -2*k = 3*r - 31, -2*r + 15 = -k + 2*k. Suppose -3*a = -2*c - k, -4*c = a + c + 17. Suppose 0*m - 36 = -a*m. Does 6 divide m?
True
Suppose 3*s - 5*s - 8 = 0, 4*s = -4*n + 956. Does 22 divide n?
False
Let y be 11*-2*(468/8)/(-9). Suppose -i = -y + 12. Does 7 divide i?
False
Does 20 divide 2148/9 + -1 + 28/12?
True
Suppose 507 = 2*d - 3*u, -78*u + 250 = d - 76*u. Does 36 divide d?
True
Let q be (-4)/(-26) - (-88)/104. Is (-13)/((6/6)/((-1)/q)) a multiple of 13?
True
Let t be 190/45 + -2 + 4/(-18). Suppose -13 = 3*p - 4*a, 5*a = -5*p - 6 - 4. Is 4 a factor of (p + -3)/((-1)/t)?
True
Let t(q) = -6*q**2 + 2*q**3 - 1 + 2 - q**3 - 11*q - 5. Let m(s) = -s**2 + s + 8. Let j be m(0). Does 12 divide t(j)?
True
Let h(a) = 11*a**2 - 7*a - 8. Does 35 divide h(4)?
True
Suppose -4*j - 5*u + 2651 = 0, 5*u + 5 = -20. Is j a multiple of 3?
True
Let i(o) = 368*o**3 - o**2 + 3*o - 2. Is i(1) a multiple of 16?
True
Suppose 0 = -j - 2 + 5, -2*o + 2*j - 10 = 0. Let d(g) = 2*g**2 + g + 4. Does 2 divide d(o)?
True
Let j(w) = w**3 - 5 - 3 - 3*w**2 + 8 - w - 2. Is 25 a factor of j(6)?
True
Does 21 divide -24 + 16 - 659/(-1)?
True
Let q(c) = c**2 + 4*c + 7. Let h be q(5). Let n = h + 24. Is n a multiple of 34?
False
Let j = 47 - 45. Does 15 divide (2 + -3)*-63 - (j + 1)?
True
Suppose 0 = 4*q - 4*y + 532, -2*y = -4*q - y - 538. Let h = q - -212. Is h a multiple of 15?
False
Let s(c) be the first derivative of -c**4 - 7*c**3/3 - c**2/2 - 9. Let g(f) = -5*f**3 - 7*f**2 + 1. Let j(v) = 5*g(v) - 6*s(v). Is j(7) a multiple of 16?
False
Let g = -25 - -36. Let h(r) = r**3 - 4*r**2 - r + 1. Let b be h(0). Let l = g + b. Is 11 a factor of l?
False
Let n(c) = 98*c + 422. Is n(24) a multiple of 19?
True
Let s = 90 + -47. Let z = 103 + s. Is z a multiple of 6?
False
Suppose 1 = g, -g - 39 = -2*z - 