15?
False
Let h be 145/13 - 16/104. Suppose -9*q - 4 = -h*q. Suppose 3*m + q*m - 168 = 4*g, -g - 33 = -m. Is 10 a factor of m?
False
Let y(f) = 6*f**2 + 14*f - 32. Is 2 a factor of y(2)?
True
Let l(y) = -y**2 - 22*y - 45. Is l(-19) even?
True
Suppose 0 = -2*y - y - 4*w + 28, -4*w - 28 = -4*y. Let v(x) = 2*x**2 - 15*x + 7. Let g(h) = h**2 - 7*h + 3. Let f(t) = 5*g(t) - 3*v(t). Does 5 divide f(y)?
True
Let v = 677 + -635. Is 2 a factor of v?
True
Let r = -4 - -4. Let b(u) = -u**3 - u**2 + u + 3. Let q be b(r). Suppose q*h = -3*f + 15, 2*f - h - 25 = -0*h. Is f a multiple of 10?
True
Suppose -2*c - 10 = 0, -3*f + 1652 = 12*c - 16*c. Is 68 a factor of f?
True
Let q be -4 - -3*(-22)/(-6). Let t(u) = u**2 - 12*u + 20. Let f be t(q). Is 13 a factor of 8/20 - 774/f?
True
Let v(j) = 38*j**3 - 4*j**2 - 2*j + 10. Does 49 divide v(2)?
True
Let i(q) = q**3 + 6*q**2 - q - 3. Let s be i(-3). Suppose 0 = 4*y, 5*y - 11 - s = r. Let f = r + 74. Is f a multiple of 9?
True
Let h = -185 + 270. Is 17 a factor of h?
True
Let c(x) = -11*x - 63. Let m be c(-6). Suppose -g - 2*a = -49, 3*g - m*a + 8*a = 145. Is g a multiple of 7?
False
Suppose 3*r = 28*r - 3825. Does 17 divide r?
True
Let f(w) = 116*w**2 + 1. Suppose -5 = -k - 4*k + 5*x, 0 = -3*k + 2*x + 3. Is f(k) a multiple of 13?
True
Let f(p) = 11*p**2 + 3. Let z be f(-3). Let v be (5*(-6)/(-60))/((-2)/(-152)). Suppose v = 5*s - z. Does 16 divide s?
False
Let y(a) = a**2 + 11*a + 16. Suppose t - 2*i - 10 = -6*i, -4*t = -2*i + 50. Let w be y(t). Suppose -w*x + 55 + 17 = 0. Does 3 divide x?
True
Let h be -4 - (-7)/3*3. Suppose 0 = -4*s - 5*u + 133, -h*s - u + 99 = 2*u. Is 20 a factor of s?
False
Let q be -1*18*(-26)/39. Suppose -5*f + q + 53 = -o, 4*o - 26 = -2*f. Is f a multiple of 9?
False
Let p = 24 - 28. Let d be -3 + (0 - p) - -127. Suppose 0 = 4*u - 5*w - 262, 2*u + 3*w - 7*w = d. Does 17 divide u?
True
Suppose -n - 4*w - 11 = 0, -2*n - 2*n = -w - 7. Let k(v) be the first derivative of 25*v**4/4 + 2*v**3/3 - v**2 + v + 2. Is k(n) a multiple of 21?
False
Let m = 29 + -23. Suppose -665 = -m*h - 71. Is 11 a factor of h?
True
Let x(u) = u**3 + 23*u**2 - 26*u - 198. Is 23 a factor of x(-17)?
True
Let p = -8868 + 13529. Is 79 a factor of p?
True
Let w(v) = -186*v - 1700. Is w(-13) a multiple of 13?
False
Suppose -5*j + 2321 = s, -2*s - 5*j + 4925 - 268 = 0. Is 158 a factor of s?
False
Suppose 3*h + 5*y - 184 = 520, -5*h = -2*y - 1225. Let c = h - 156. Does 40 divide c?
False
Suppose -h - 6 = -o, -3*h - 1 = o + 1. Suppose 0 = 2*r + 4*w + o, 3*w - 5*w - 2 = -4*r. Suppose r = -0*l + 3*l - 42. Does 14 divide l?
True
Let q be 5 - -4*(-6)/8. Let o be q/7*(6 + 1). Suppose -o*z + 90 = 20. Is 7 a factor of z?
True
Suppose -4*s + 134 = -3*s. Suppose 2*t = -4*m + 5*t + s, -m = t - 37. Is m a multiple of 5?
True
Suppose 17*n - 64 = 956. Is 16 a factor of n?
False
Let d(s) = -s**3 - 6*s**2 + 2*s + 12. Let r be d(-6). Let z be -1 - -3 - r/2. Suppose 0 = -z*u + u + 64. Is 8 a factor of u?
True
Let u be (-3)/15 - (-2881)/5. Is (-1*2)/((-16)/u) a multiple of 24?
True
Suppose -3*a - 265 + 1333 = 0. Is 17 a factor of a?
False
Let y be (0 + (-3 - -3))/2. Suppose 188 = 4*l - y*h + 4*h, -h - 2 = 0. Let p = l + -9. Is 16 a factor of p?
False
Suppose -47*b - 7114 = -3*i - 49*b, 4*b + 9452 = 4*i. Is i a multiple of 37?
True
Let w = -722 - -1652. Is w a multiple of 5?
True
Let o = -167 - -247. Suppose -o = -6*h + 88. Suppose -39 = -d + h. Is d a multiple of 10?
False
Suppose 4*b = -4*b + 8. Let d(h) be the third derivative of 7*h**4/6 + h**3/3 - h**2. Does 12 divide d(b)?
False
Suppose 0 = -g + 4*y - 14, 4*g = -5*y - 110 + 12. Let c = -6 - 0. Let q = c - g. Does 8 divide q?
True
Let z(c) = 59*c + 40. Is z(3) a multiple of 12?
False
Suppose 0 = 2*z - 4*c - 365 - 101, -5*z + 1171 = -4*c. Suppose -3*m - 5*a + z = 0, 215 = 3*m - 5*a - 0*a. Is 19 a factor of m?
False
Suppose -2*q = -b + 11, 0 = 4*b + 6*q - q - 31. Let p(u) = -2*u + 3*u - 4*u**2 - 3 - 1 + b*u**2. Is p(3) a multiple of 22?
True
Let m(d) be the second derivative of -2*d - 19/2*d**2 + 1/20*d**5 + 0 - 8/3*d**3 + d**4. Is m(-13) a multiple of 7?
False
Let y(h) = -3*h + 7. Let r(m) = -8*m + 20. Let n(j) = -4*r(j) + 11*y(j). Does 2 divide n(-9)?
True
Let f(j) = -2*j**2 - 8*j + 6. Let c be f(-7). Does 9 divide -20*1/(16/c)?
True
Let f(m) be the first derivative of 4*m - 5 + 11/3*m**3 + 1/2*m**2. Is f(-2) a multiple of 20?
False
Let d = 10 + 108. Suppose -t + 10 = 3*n, -5*n - d + 28 = -5*t. Suppose 2*h - 2*o = t, 0 = -o + 4*o - 9. Does 11 divide h?
True
Let y(x) = x**2 + x + 67. Is 8 a factor of y(-11)?
False
Let m = -919 + 1669. Does 8 divide m?
False
Suppose o + 5*c - 28 = 0, -2*o - 4*c - c + 31 = 0. Let w(p) = -2*p - 7. Let b be w(-7). Suppose -36 = o*v - b*v. Is 9 a factor of v?
True
Let x(d) = -16*d - 1 - 9*d + 23*d. Is 5 a factor of x(-8)?
True
Suppose -4*o - 2*y = -3*y - 38, -51 = -5*o + 3*y. Let u = 15 - o. Does 2 divide u?
True
Let w = -4218 - -6467. Does 20 divide w?
False
Let u(k) = 3*k - 2*k - 4 + 9*k - 24*k. Let n be u(-3). Suppose n*l - 43*l = -105. Is l a multiple of 3?
True
Let o(s) = -s**2 - 7*s + 6. Let g be o(-7). Does 13 divide -38*(81/g)/(-9)?
False
Let k(z) = -z**3 + 9*z**2 - z + 19. Let q be k(9). Suppose 420 = q*d - 8*d. Is d a multiple of 15?
True
Let y = 1063 - 577. Is 54 a factor of y?
True
Let d = -4 + 14. Let t = 13 - d. Let x(r) = 9*r**2 - r + 3. Is 22 a factor of x(t)?
False
Let g = 236 - 149. Is 4 a factor of g?
False
Let q be 6 - (-3 + 3 + 3). Suppose -o - 3 = -4*a, 5*a + q*o = -0*a - 9. Suppose l + a*l - 32 = -3*z, l + 4*z - 28 = 0. Is l a multiple of 17?
False
Let x = 1241 - 759. Does 20 divide x?
False
Let i(c) = 4*c**2 + 13*c - 8. Suppose -10 = 5*x, -7*n + 2*n - 32 = x. Is i(n) a multiple of 16?
False
Let z = 1801 + -630. Is 13 a factor of z?
False
Let r(a) = 8*a - 22. Let z(j) = -j**3 + 6*j**2 - 2*j - 5. Let n be z(5). Let l be r(n). Suppose 32 + l = x. Does 30 divide x?
True
Suppose 10*v - 558 = v. Is 10 a factor of v?
False
Let q = 4152 + -2847. Is 15 a factor of q?
True
Let y be 38/(-4) - 2*12/(-16). Is 16 a factor of 6*(-108)/y + -1?
True
Suppose 15*d - 6825 = -2625. Is 10 a factor of d?
True
Suppose 74 + 172 = 2*s. Let u = s + -19. Is 26 a factor of u?
True
Let k(j) = j**2 + 4*j + 9. Let r be k(-2). Suppose 0 = 5*b - 113 - 47. Suppose -8 = -3*s + r*f, -5*s + 33 = 2*f - b. Does 4 divide s?
False
Let x(y) = -111*y. Let c be x(2). Let t = 27 - c. Suppose -3*p - 5*m = -t, -3*p + 0*p = -m - 249. Is 21 a factor of p?
False
Let k(r) = -3*r - 7. Let f be k(-3). Suppose f*z - h - 8 - 14 = 0, -z + 13 = -h. Suppose -2*a + z = -3*d + 1, 3 = a - 2*d. Is 3 a factor of a?
False
Let h(c) = c**3 - 10*c**2 - 40*c + 23. Does 10 divide h(13)?
True
Suppose -11*b - 875 = -16*b. Does 5 divide b?
True
Suppose 20 = 5*m - 0*m. Suppose -k - 15 = -c, m*c + 5*k - 51 = 2*c. Suppose -c = -2*x + 22. Does 4 divide x?
True
Let y(c) = c**3 - 6*c**2 + c - 7. Let p = -36 + 42. Let m be y(p). Is 46/(m*1/(-2)) a multiple of 30?
False
Let r(n) = 2*n**3 + 3*n**2 - 3*n. Suppose 3*y = 2*o - 6, 5*o - 16 = -2*y - 1. Is r(o) a multiple of 18?
True
Let j be 0 + 15/4 + (-2)/(-8). Let w(u) = 2*u**2 + u - 13. Is w(j) a multiple of 11?
False
Suppose 4*w + 4*g - 21 = g, 0 = 5*g + 5. Suppose -t = w - 2. Is 25 a factor of t - (-11)/(33/162)?
True
Suppose -5*v + 4*p + 10421 = -515, 0 = -2*v + p + 4372. Does 14 divide v?
True
Suppose 12*x + 3*q = 10*x + 2955, 4*x + 3*q = 5925. Is x a multiple of 48?
False
Suppose 55*r = 58*r - 297. Does 3 divide r?
True
Suppose 2*t - 4*h = -2*h + 3336, 3*h = -5*t + 8380. Is 23 a factor of t?
False
Suppose -3317 = -5*x + 3818. Is 37 a factor of x?
False
Suppose 0 = 7*n - 43*n + 5040. Does 7 divide n?
True
Suppose 5*b - 5*v = -30, -b + 4*v + 2 - 8 = 0. Let q(i) = i**3 + 7*i**2 - 2*i + 12. Is 20 a factor of q(b)?
True
Suppose 7*u - 18 = 10. Is 17 a factor of ((-17)/u)/(1 - (-63)/(-60))?
True
Is (-84)/798 - (1 - 18852/38) a multiple of 55?
True
Suppose -9*i = -10890 - 9900. Does 22 divide i?
True
Let j(s) = 48*s**3 - 7*s**2 + 20*s + 3. Does 9 divide j(3)?
True
Let i(s) be the second derivative of -s**5/20 + s**4/2 + s**3 + 3*s**2 - s. Let n be i(7). Let b(v) = -13*v - 1. Is b(n) a multiple of 5?
False
Let k(u) = -u**2 - 3*u + 1. Let w be k(-11). Let g = -62 - w. Is g a