*u + 11. Let b be x(7). Let j(h) = 0 + h**3 - 3*h**2 + 5*h**2 - 2*h + 1. Is 36 a factor of j(b)?
False
Let w = -551 - -971. Is 28 a factor of w?
True
Let j = -19 - -23. Suppose -j*t - 2*b = -360, -t + 2*t - 90 = -b. Is 21 a factor of t?
False
Suppose 8*m + 355 - 3267 = 0. Does 26 divide m?
True
Suppose n + y + 7 = 0, 26 = n - 5*n - 5*y. Let i be (-2339)/n + (-4)/(-36). Suppose -i = -12*w + 7*w. Does 13 divide w?
True
Does 5 divide (-5 - -8)/((-15)/(-1825))?
True
Let q(c) = 144*c**3 + 6*c**2 - 10*c + 9. Is q(3) a multiple of 24?
False
Let r be 13 + -4 + (-3)/3. Suppose r - 9 = -z. Does 3 divide -2 - (-1)/z*11?
True
Let w(r) = 2*r - 10. Let v(h) = 1. Let p(f) = 10*v(f) + w(f). Let s be p(7). Let u = s + -5. Is 5 a factor of u?
False
Suppose 6*o - o - 191 = t, 5*o + 4*t = 186. Suppose 2*x - 4 = o. Suppose 13 + 45 = 5*p - 3*b, -b = 2*p - x. Does 11 divide p?
True
Is 1 - (-3)/((-4)/(-516)*1) a multiple of 17?
False
Let h = -237 + 1273. Is 66 a factor of h?
False
Suppose 4*o - 2*o + 22 = 0. Is 9 + o - (-152 + 0) a multiple of 9?
False
Does 6 divide 106/(-795) + ((-18128)/(-15))/4?
False
Suppose 0 = z + 10 - 2. Let x = 3 - z. Is 23 a factor of (6*x)/3*2?
False
Let r be 54*((-1)/3)/(-1). Let i = r - -10. Is i a multiple of 5?
False
Suppose -12*m + 7222 = 1066. Does 14 divide m?
False
Let o(i) = i**2 - i + 5. Let w(d) = d. Let q(g) = o(g) - 4*w(g). Let a be q(5). Suppose j + 4*r = 46, 4*j + a*r = r + 172. Is 12 a factor of j?
False
Suppose -5*w - 443 = 182. Let p = -99 - w. Does 13 divide p?
True
Suppose 3*f - 4 = -o + 1, 4*f - 20 = -4*o. Suppose r = -4*a + 167, -3*a + o*r = -208 + 77. Is a a multiple of 14?
True
Suppose 74*m - 10255 = 39*m. Is 20 a factor of m?
False
Let r(d) = 6*d**2 - 4*d + 1. Let u be r(5). Suppose -6*m + m = -3*y + u, 0 = 3*y + m - 107. Let n = y + -3. Is n a multiple of 9?
False
Suppose 243 = z + h, -5*z - 9*h = -7*h - 1200. Does 11 divide z?
False
Suppose 2*f - 32 = -6*f. Let w = -6 + f. Does 13 divide -4 - (-128)/2 - w?
False
Is 23 a factor of (-63)/252 - (-1 - (-1285)/(-4))?
True
Suppose 5*o + 4*r = -60, 3*o - 5*o - 3*r - 17 = 0. Let x(p) = p**3 + 16*p**2 - 5*p - 39. Is x(o) a multiple of 27?
False
Does 68 divide 9/(-63) + ((-45708)/(-28))/3?
True
Let l(n) = -11*n**3 + 1 + 19*n - 19*n. Let b be l(-1). Suppose c = 24 + b. Is 18 a factor of c?
True
Suppose 3*a - 7 = -19, 4*m = -5*a + 740. Let b = m - 116. Does 22 divide b?
False
Let n be (-1)/(-2) + (-2197)/(-26). Let c = n - 10. Is c a multiple of 25?
True
Let s be (306/12)/(1/4). Let b = s - 74. Is 7 a factor of b?
True
Let o = -6 - -22. Let x = o + -14. Suppose -x*f = -18 - 62. Is f a multiple of 10?
True
Let o = -32 + 25. Does 12 divide (-2032)/(-56) + 2/o?
True
Is 22584/12 + (11 - 1) a multiple of 44?
True
Let c(q) = -q**2 + 9*q - 5. Let h be c(8). Suppose -44 = -h*n + 7. Let x = n - -3. Is x a multiple of 13?
False
Let a = -5 - -21. Let s = a - 13. Suppose 59 = c - 3*k, s*k = -2*c - 2*c + 281. Does 16 divide c?
False
Let y(p) = -p**3 + 7*p**2 + 8*p + 6. Let j be y(7). Let d = 68 - j. Does 3 divide d?
True
Let t = -15 - -13. Let f = t - -26. Is 8 a factor of f?
True
Suppose 4*h = 9*h - 1120. Is 28 a factor of h?
True
Is 4 a factor of (0 + 1874)*42/84?
False
Suppose 5*m = 3*v + 5 - 1, 4*m - 14 = -3*v. Is (-10)/(v*(-5)/70) a multiple of 8?
False
Let j(y) = 5*y**2 - 26*y + 33. Let z(a) = -3*a**2 + 17*a - 22. Let p(v) = 5*j(v) + 8*z(v). Let x be p(-8). Suppose x*m = -63 + 438. Is m a multiple of 15?
True
Let p(j) = 8*j + 14. Let h be p(-14). Let b = 23 + h. Let l = -37 - b. Is l a multiple of 11?
False
Suppose -3*a + 11*u = 12*u - 1480, 4 = u. Does 25 divide a?
False
Let u(v) = v**3 + 5*v**2 + 2*v - 5. Suppose 2*l = -4 - 4. Let g be u(l). Does 17 divide g + (24 - -1) - 0?
False
Suppose 0 = g + a - 3*a - 77, 4*a - 260 = -4*g. Let i = g + -41. Does 13 divide i?
False
Let p(r) = 2*r**2 + 2*r - 3. Let v be p(-4). Suppose 2*y + v = 75. Let h = y + -18. Is h a multiple of 4?
False
Let a(g) be the third derivative of -1/24*g**4 + 1/120*g**6 + 1/15*g**5 + 0*g - 1/2*g**3 + 3*g**2 + 0. Does 4 divide a(2)?
False
Let b be (-5)/((-1 - 1)/2). Suppose -k = -0*k - 3*o - 107, 0 = 4*k + b*o - 411. Is k a multiple of 10?
False
Suppose 0 = 2*f + c - 201, 0 = -3*f + c + 302 - 8. Let j = f - 47. Suppose o - j = -3*o. Is o a multiple of 13?
True
Let z(h) = -4*h**2 + 11*h + 7*h + 3*h**2 - 5*h. Let s be z(13). Suppose 3*b - 72 = 3*j - s*j, -3*j = -b + 26. Does 5 divide b?
False
Let d(y) = y**2 - y - 1. Let w(z) = -z**2 - 20*z - 7. Let v(k) = 5*d(k) + w(k). Is v(11) a multiple of 41?
False
Suppose -3*w - 24 = -9*w. Suppose 4 = l - 1, -2*l + 870 = w*f. Is 18 a factor of f?
False
Let k = -7 - -9. Suppose 2*a - 43 = -4*j - 11, k*j + 2*a = 18. Is 4 a factor of j?
False
Let j(h) = 10*h - 8. Is 11 a factor of j(14)?
True
Suppose -84*j + 64*j = -15560. Is 48 a factor of j?
False
Let q be (6/3)/2 + 5. Does 21 divide 7/(20/q - 3)?
True
Let k = -95 + 97. Suppose 4*p - 83 = -2*v + 155, -4*p = -k*v + 222. Is v a multiple of 5?
True
Let j be (24 + -10)*(-1 - -2). Suppose 0 = -2*y - 3*m + 105, -2*y + 2*m + j = -66. Is y a multiple of 8?
False
Let y(n) = -n**3 + n**2 + 1. Let c(i) = -i**3 + 9*i**2 + 11*i + 14. Let w(g) = -c(g) + 2*y(g). Is w(-6) a multiple of 5?
False
Suppose -5*t - g = 2*g - 667, 0 = -t + 5*g + 111. Suppose 0*q = 3*q - d - 82, 0 = 4*q + 3*d - t. Let i = q - 25. Is 4 a factor of i?
True
Let i(g) = g**2 - 14*g - 20. Let a be i(16). Let k = -7 + a. Is k a multiple of 5?
True
Let f(i) = -i**3 + 2*i**2 - i - 3. Let s be f(3). Is 321/2*((-55)/s - 3) a multiple of 16?
False
Let x(s) = 4*s**2 - s - 6. Let l(o) = o**3 - o. Let y(i) = l(i) + x(i). Let j be y(-4). Suppose -3*n + 0*b = 4*b + 7, 0 = j*b + 8. Does 3 divide n?
True
Let q = 1193 - 793. Suppose 20*n - q = 15*n. Does 8 divide n?
True
Suppose 0 = 15*z - 60385 + 11560. Does 21 divide z?
True
Let u = 648 - -2269. Does 50 divide u?
False
Let u(r) = r**3 + r**2 + 16*r + 8. Does 8 divide u(7)?
True
Suppose -605 = -0*z + 5*z. Let o = z - -205. Is o a multiple of 32?
False
Suppose -24 = 2*v - 5*v. Suppose -v = 4*m - 552. Does 15 divide m?
False
Let s = 6 + 0. Let k = -12 + s. Let q(i) = -4*i - 3. Is q(k) a multiple of 7?
True
Let d(k) = 3*k**2 - 17*k + 189. Does 5 divide d(7)?
False
Does 8 divide 166 + 3 + (-12)/2?
False
Let j(m) be the third derivative of m**6/120 + m**5/10 - m**4/24 + 2*m**3/3 - 2*m**2. Let a be (11/88 + (-14)/(-16))*-6. Is 2 a factor of j(a)?
True
Suppose -g + z - 5 = 4*g, -3*z - 5 = 5*g. Let k = 7 - g. Does 7 divide k?
False
Is 15 a factor of 291 - 6 - 0/2?
True
Let q = -264 + 330. Is 9 a factor of q?
False
Let z be 15/(-12)*-2*2. Let p be (z/2)/((-3)/(-6)). Suppose -90 = -p*s + 90. Is 18 a factor of s?
True
Let z(n) = 2*n**2 + 34*n + 33. Does 11 divide z(-22)?
True
Suppose 0 = -51*i + 53391 + 17601. Is 87 a factor of i?
True
Let p = 274 + -254. Let r(m) = -m**2 - 6*m - 6. Let a be r(-4). Suppose 4*s = -p, -4*s - 95 = -a*g - g. Does 12 divide g?
False
Let b be (-1147)/2 + (-1)/2. Suppose -z - 5 = 3*x - 4*x, 3*x - 20 = 4*z. Is 37 a factor of b/7*(-2 + x)?
False
Suppose -27 = -8*k + 5*k. Suppose 5*m = 4*u + 29, 4*u = 3*m - k - 10. Let l(s) = -s**3 + 5*s**2 + 6*s - 3. Is l(m) a multiple of 16?
False
Let n be 1/(12/(-16) + 1). Suppose 7*d = n*d + 6. Is 4 a factor of 12/(-3)*-2 - d?
False
Let u(n) = 2*n + 1. Suppose -14*k + 15*k = 0. Let f be u(k). Does 10 divide ((12 + -1)*f)/1?
False
Does 15 divide 111 + (-4 + -6 - -4)?
True
Let f = -1562 + 1016. Let x be f/(-4)*(-6)/(-9). Suppose -x - 134 = -5*l. Is l a multiple of 9?
True
Suppose 0 = 3*y + 2*d - 4704, 14*y - 1551 = 13*y + 5*d. Is y a multiple of 29?
True
Suppose 7*s - 82 = -u + 9*s, -s - 321 = -4*u. Is 11 a factor of u?
False
Let l = -17 + 39. Let d(y) = -10*y + l - 22. Is 10 a factor of d(-3)?
True
Is 7 + (-124092)/(-30) + 12/20 a multiple of 14?
True
Suppose -5*w - 687 - 2299 = -a, -10 = -2*w. Does 133 divide a?
False
Is 292 + (2 - 5) - (-2)/(-2) a multiple of 48?
True
Let p = 436 + -346. Does 5 divide p?
True
Let p(g) = -13*g - 34. Let k be p(-16). Suppose 0*j - t - 272 = -3*j, -2*j - 3*t + k = 0. Is 30 a factor of j?
True
Is 5 a factor of (-2)/(28/1561)*(-2 - 0)?
False
Suppose 7*z - 7622 = -1742. Is 37 a factor of z?
False
Suppose -320 = -5*u + u. Let q be (u/12)/(2/(-6)). Is 17 a