iple of 11?
False
Let g(m) = m**3 + 9*m**2 + 5*m + 6. Is g(-8) a multiple of 15?
True
Let l(s) = -s**3 - 6*s**2 + 3*s - 2. Let h = 6 + -13. Let i be l(h). Suppose -5*a + 136 = i. Does 13 divide a?
False
Suppose -o = f + o + 2, 0 = 3*f + 3*o. Let c(t) = 28*t + 2. Is c(f) a multiple of 15?
False
Let y(p) = -71*p - 3. Let f be y(-1). Suppose 2*i - 17 = 7. Suppose -f = -4*l + i. Does 10 divide l?
True
Let b(q) = -7*q**3 + 17*q**2 + 4*q + 2. Let s(u) = -20*u**3 + 50*u**2 + 12*u + 7. Let f(v) = -17*b(v) + 6*s(v). Does 13 divide f(11)?
True
Let d be 2 + (-3)/6*-38. Let p = -5 + d. Is p a multiple of 6?
False
Is -3 - ((-43 - -4) + -4) a multiple of 10?
True
Let j(z) = z**3 + 7*z**2 + 3*z - 2. Suppose x - 3*m = -18, -3*m = -11 - 1. Does 15 divide j(x)?
False
Suppose 15*u - u = 2100. Is 30 a factor of u?
True
Let y = 146 - 88. Suppose 4*z - 6*z + y = 0. Does 16 divide z?
False
Suppose 6 = 3*n, -3*h - n + 237 = 2*h. Is h a multiple of 5?
False
Suppose 0 = -2*d - 0*d - 154. Suppose -216 = 5*j - 3*j. Let z = d - j. Does 14 divide z?
False
Suppose 5 + 5 = 2*h. Suppose 0 = -5*c - h*k + 60, -3*c + 2*k + 8 = -2*k. Let f(d) = d**2 - 5*d. Does 9 divide f(c)?
False
Let z(y) = 11*y**2 - y - 1. Suppose 0 = 3*b + q - 10, -3*b + 3*q = -6*b + 18. Suppose -t + 2*t = -b. Does 16 divide z(t)?
False
Let f(z) = -7*z + 3. Let a(q) = 31*q - 2. Let l(i) = 21*i - 1. Let p(r) = 5*a(r) - 7*l(r). Let x(v) = 6*f(v) + 5*p(v). Is x(-9) a multiple of 12?
False
Let u(c) = 32*c - 1. Suppose 0 = 3*s, -b - 2*s - 4 = -5. Does 22 divide u(b)?
False
Let s(v) = 11*v**2 - 3*v + 1. Let u(w) = 2*w - 4. Let q be u(3). Is s(q) a multiple of 13?
True
Let f(k) = k**2 + 4*k - 2. Is 19 a factor of f(8)?
False
Suppose -5*k + 55 = -100. Is 18 a factor of k?
False
Let h(g) be the third derivative of -g**6/120 - g**5/30 + g**4/3 + 5*g**3/6 - g**2. Let d(c) = -c**2 + 4. Let z be d(3). Is 19 a factor of h(z)?
False
Let s(q) = q**3 - 3*q**2 + 3*q - 4. Let m be s(3). Suppose 1 = 2*c - m. Does 2 divide c?
False
Let z(j) = -4*j + 1. Let m be z(-6). Suppose -f = -m - 7. Does 8 divide f?
True
Let x(i) = 9*i**2 + 8*i + 6. Does 13 divide x(-3)?
False
Let n(c) = -2*c**3 - 3*c + 3*c + c**3 - c. Let k be 0 - (3 + 0 + -1). Is n(k) a multiple of 10?
True
Does 3 divide 1300/91 + (-2)/7?
False
Suppose -5*h = -12 + 2. Suppose v + 149 = 3*z, 0*z - 2*v = -h*z + 98. Does 14 divide z?
False
Let n be (-1)/(-4) + 105/28. Suppose n*p - p = 0. Suppose -2*q + q + 55 = p. Does 21 divide q?
False
Suppose 0 = 2*t + 4*c - 50, 5*t - 126 = -3*c - 22. Is t a multiple of 13?
False
Suppose g + 3*g + 2*q = 2, -18 = -3*g + 4*q. Suppose g*w = -0*w + 12. Is w a multiple of 4?
False
Let w(v) be the second derivative of v**3/2 - 2*v**2 - v. Let a be w(8). Suppose 0 = 7*i - 2*i - a. Is 2 a factor of i?
True
Let n(s) = -3*s - 9. Let a be n(-6). Suppose -2*i + 1 + a = 0. Is i a multiple of 2?
False
Suppose -2*r - 6 = 3*z, -3*z - z + r + 3 = 0. Suppose 2*m + 4*g - 578 = z, -859 = -3*m + g - 3*g. Is 8 a factor of (-2)/((-5)/(m/6))?
False
Let g = 15 - 9. Suppose -5*c + g + 124 = 0. Is c a multiple of 15?
False
Let u be (-8)/(-28) - 184/7. Let m = -16 - u. Is m a multiple of 5?
True
Suppose 0 = 5*x + 5*r - 95, 117 = 4*x + 5*r + 41. Suppose 2*a - 2*o = 14, 0*o = -a - 2*o + x. Is 11 a factor of a?
True
Let n = -53 + 78. Suppose -2*m - j + n = 70, -m - 30 = -2*j. Let d = m + 35. Is d a multiple of 7?
False
Let z = -22 - -344. Is z a multiple of 23?
True
Let r(p) = -14*p + 1. Does 5 divide r(-1)?
True
Suppose -5*r - 15 = -4*h, 2*r - 8 = -4*h + 14. Suppose -41 = h*k - 11. Let l = k - -24. Is 9 a factor of l?
True
Let f = -2 - -2. Suppose 2*r + 8 = -f*r. Does 13 divide (r/(-6))/((-4)/(-78))?
True
Let x(w) = w - 5. Let c be x(5). Suppose n + n = c. Suppose j + 4 - 18 = n. Is j a multiple of 6?
False
Let i = 182 - 102. Does 9 divide i?
False
Let q(v) = 0*v + 0*v**2 + 4*v - v**3 + 2 + 2*v**2. Is q(-3) a multiple of 12?
False
Suppose -3 = -2*k + 3. Suppose 0*r - 4*b = 5*r - 180, k*r - 86 = 2*b. Does 16 divide r?
True
Suppose p - 5*z = 12, 6*p - 2*p - 6 = -z. Suppose -4*o - 92 = k - 336, o + p*k = 68. Is o a multiple of 20?
True
Let j = -2 - -2. Is (j - 1 - 1) + 17 a multiple of 9?
False
Let b(j) = j + 8. Let a be b(0). Suppose 32 = t + a. Suppose -2*c + c = -t. Does 12 divide c?
True
Is 3 a factor of (2 - -66 - 2) + 11 + -9?
False
Let w = -27 + 91. Does 14 divide w/6*(-24)/(-16)?
False
Suppose r - 158 = -4*r - 4*x, -r + 2*x = -26. Suppose -5*g - 20 = 0, 0*b + 2*g = b - r. Is 12 a factor of b?
False
Let x(m) be the third derivative of -41*m**4/8 + m**3/6 - m**2. Let k be x(-1). Suppose k = 3*y + y. Does 12 divide y?
False
Let h(r) = 2 + 0 - 1 - r + 5. Let z be h(5). Does 4 divide (0 - 3)/(z/(-3))?
False
Let z(y) = y**2 - 5*y + 3. Let w be z(3). Is ((-60)/(-8))/(w/(-4)) a multiple of 10?
True
Suppose 2*z - z = 0. Suppose -4*y = 5*h + 4, -3*y + z*h = 3*h. Is 2 a factor of y?
True
Let l = 11 + 37. Does 8 divide l?
True
Suppose -37*n + 36*n + 36 = 0. Is 4 a factor of n?
True
Suppose 0 = 5*l - 2*w - 142, -5*l - 4*w + 0*w = -136. Let v = -16 + l. Is v a multiple of 5?
False
Suppose 0 = -z + 2 + 28. Is 15 a factor of z?
True
Let o(k) = k**2 - 7*k - 8. Let v be o(8). Suppose v = 3*t + t. Suppose t = -5*x + x + 140. Does 19 divide x?
False
Let x(i) = -i**2 + i + 9. Let t be 1 + (-1 - 0) + 2. Let l be 1 + t - (-1 - -4). Does 9 divide x(l)?
True
Suppose 0*t = 2*t. Suppose t = -8*i + 3*i + 40. Suppose 23 - i = 5*h. Is h even?
False
Let y = 54 + -4. Suppose 6*a - a - y = 0. Is 5 a factor of a?
True
Let a = 0 - -4. Is a a multiple of 4?
True
Let g(n) = 51*n**2 - n. Let p be g(-1). Let m be -6*(8/3 - -1). Let h = m + p. Is h a multiple of 15?
True
Let z(b) = -2*b + 3. Suppose 2*w + 3*w = 55. Let q = -14 + w. Is 3 a factor of z(q)?
True
Is ((-11708)/(-52) + (-10)/65)/1 a multiple of 25?
True
Let g be (-750)/8 - 2/8. Let o = g + 133. Is o/4 - 4/(-16) a multiple of 4?
False
Let y(f) be the second derivative of f**5/20 + 5*f**4/12 - f**3/3 - 2*f. Is 12 a factor of y(-4)?
True
Let g(m) = 17*m + 1. Let p = 4 - 3. Does 18 divide g(p)?
True
Let f be 22*3*4/(-24). Let m = 25 + f. Is m a multiple of 4?
False
Suppose 63 = -p + 88. Is 6 a factor of p?
False
Let w(o) = o**2 - o - 5. Is 15 a factor of w(-4)?
True
Let c be (-15)/(-3) - (-4)/2. Let n(m) = 3*m + 2. Is n(c) a multiple of 23?
True
Let h(l) = -2*l**3 - 3*l**2 + 11*l + 16. Let m(o) = o**3 + o**2 - 6*o - 8. Let x(a) = -3*h(a) - 5*m(a). Is x(-3) a multiple of 3?
False
Suppose 2*q = -v + 9 - 1, 4*q - 20 = -4*v. Suppose z = q*z. Suppose -2*a + 53 = 3*i, 5*i + z*a = -a + 79. Is i a multiple of 9?
False
Let m = -961 - -331. Is 23 a factor of -2*(m/(-4))/(-3)?
False
Suppose 0 = -5*d + 20, 0 = -0*r + 5*r - 4*d - 4. Let y(p) = -3*p. Let n be y(r). Let k = -5 - n. Is k a multiple of 7?
True
Let w(y) = -y**2 + 5*y + 3. Let k be w(4). Is 5 a factor of (-2)/k - 296/(-56)?
True
Let q(d) = d**3 + 16*d**2 - 2*d - 21. Let n = 21 - 37. Is 3 a factor of q(n)?
False
Let j = 5 - 0. Suppose j*z - 6 = 4. Suppose 0 = 4*a - z*y - 186, -5*a + 2*y + 262 - 28 = 0. Does 24 divide a?
True
Does 26 divide ((-16)/(-5))/((-1)/(-30))?
False
Suppose -q = q - 242. Does 11 divide q?
True
Let b = 184 + -121. Is b a multiple of 11?
False
Let c = -47 - -211. Is 56 a factor of c?
False
Let x(i) = -7*i - 3. Let p(u) = u + 2. Let y(c) = -1. Let o(g) = p(g) + 2*y(g). Let j be o(-4). Does 10 divide x(j)?
False
Let l = 3 + 0. Let d be (-4 + l)*(-7)/1. Suppose -2*w - 105 = -d*w. Does 13 divide w?
False
Let m = 13 - 8. Suppose m*p - 3 = 4*p. Does 3 divide p?
True
Suppose -3*n - 1 = -16. Is 4 a factor of (-10)/3*(-9)/n?
False
Suppose 2*j + 75 = 5. Let n = j + 51. Is 16 a factor of n?
True
Let u be (66/9)/(4/6). Let c = u - 6. Suppose -2*i + 58 = -p, i + 2*i + c*p - 113 = 0. Is 13 a factor of i?
False
Suppose q + 2*h + 374 = 5*q, 4*q - h - 377 = 0. Does 16 divide q?
False
Suppose -k = -6*k + 10. Let z be 195 - (k/1 - 2). Does 8 divide 3/4 - z/(-12)?
False
Let a = -1 - -3. Suppose -a*r + 92 = 2*r. Let s = 37 - r. Is s a multiple of 7?
True
Let v(m) = -9*m + 1. Is v(-6) a multiple of 10?
False
Let b = -322 + 588. Is 7 a factor of b?
True
Suppose 0 = -4*r - r + 1380. Is r a multiple of 14?
False
Let r = 35 - 5. Is 25 a factor of r?
False
Let o(u) = -100*u**3 + 1. Let g be o(-1). 