y be i(-7). Is (-1668)/(-20) - y/10 a multiple of 27?
False
Suppose 0 = 2*g - 85 + 25. Let k be 3*(-6)/(-9) + g. Let m = k + -17. Is 7 a factor of m?
False
Let r(o) be the third derivative of -29*o**6/120 + o**5/60 - o**4/24 - o**3/6 - 13*o**2. Suppose 3*j - 5*j = 2. Does 10 divide r(j)?
True
Let t = 104 + -40. Is 13 a factor of t?
False
Suppose 1 = -2*l - 3*j - 5, j + 2 = -3*l. Suppose a + 605 = 6*a - 5*g, 3*a = -2*g + 358. Suppose d + 3*d - a = l. Is d a multiple of 15?
True
Let b be (0 - -5)*16/(-20). Let o be b/(-18) + (-25)/(-9). Is 2*-17*o/(-6) a multiple of 6?
False
Suppose -5*j - 5*b + 350 = 0, 202 = 3*j - 3*b - 2*b. Is j a multiple of 23?
True
Let n = 194 + -130. Is n a multiple of 16?
True
Does 16 divide 6/(-15) + (-486)/(-15)?
True
Let i = -40 + 12. Let x be ((-18)/(-7))/((-1)/i). Suppose 5*w = 2*w + x. Does 11 divide w?
False
Let a = 15 + -11. Suppose -a*n + 55 = -3*t, n - 2*t = t + 16. Does 5 divide n?
False
Let s be (12/18)/(4/30). Suppose 3*m = -s - 10, 2*w - 36 = 4*m. Is 15 a factor of -5*(w - 1)*-1?
False
Let t be (-2 - -4)*51/(-6). Let i = t - -74. Does 29 divide i?
False
Suppose -3*r = 2*r - 4*y - 1728, -5*r + 5*y = -1730. Does 43 divide r?
True
Suppose 45 = 5*o + 5*p, -15 = 12*o - 13*o + p. Is 4 a factor of o?
True
Suppose 1015 = 5*b - 3*q, 4*b + 4*q = 2*q + 790. Is 40 a factor of b?
True
Let f = 15 - 50. Let a = f + 68. Is a a multiple of 11?
True
Suppose 8 = -2*t + t. Let u = t + 10. Suppose -u*a = 2*a - 64. Is a a multiple of 8?
True
Let l be (-1)/2 + (-11)/2. Let a be 15/l*6/(-5). Suppose 5*u - 2*u - i = 75, -2*u + 61 = a*i. Is 12 a factor of u?
False
Let h = 4 + -9. Is (-122)/h + 2/(-5) a multiple of 7?
False
Is 2 a factor of 9 - (2 - ((-2)/(-2) + 2))?
True
Let n = -38 + 77. Is 5 a factor of n?
False
Suppose q - 3 = -0*q. Suppose -w - 4*p + 5*p = -q, 0 = 3*w + p - 21. Is w a multiple of 4?
False
Let n = -91 + 226. Suppose 6*x - x = n. Is 9 a factor of x?
True
Suppose 4*l + 8 = -3*s - s, s + 3*l = -4. Let t be (-6)/2 + -2 + s. Is (-1070)/(-26) + t/39 a multiple of 12?
False
Let k(r) = r**3 - 4*r**2 - 8*r + 7. Let g be k(7). Let z = -65 + g. Is 11 a factor of z?
True
Let s = 4 + 0. Suppose 3*i = -2*i + 2*o + 14, s*i - 4*o = 4. Is 4 a factor of i?
True
Let f(x) be the first derivative of 2*x**3/3 - 3*x**2/2 + 4*x + 2. Is 12 a factor of f(4)?
True
Let k be (-20)/(-15)*(-6)/(-4). Suppose a = k*a + 4*n + 27, -5*n = 2*a + 42. Let u = 25 + a. Is u a multiple of 7?
True
Let c(f) = -20*f**3 + 47*f**2 - 39*f + 44. Let d(u) = 7*u**3 - 16*u**2 + 13*u - 15. Let q(k) = 6*c(k) + 17*d(k). Is q(8) a multiple of 11?
True
Suppose 0 = 4*v - 0*v - 12. Let z = v + -3. Suppose 0 = -2*s - 3*i - i - 6, 3*s + 2*i - 3 = z. Is 3 a factor of s?
True
Suppose -6 - 5 = -z + 3*l, 0 = 4*z - 5*l - 16. Is 0 + (z - 2 - -13) a multiple of 10?
True
Suppose 2*q - 31 - 27 = 0. Let n(a) = -a**3 + 3*a**2 - 3*a + 4. Let d be n(2). Let p = q + d. Is 15 a factor of p?
False
Let r(h) be the third derivative of -13/24*h**4 + 0 - 2*h**2 + 0*h**3 + 0*h. Is 4 a factor of r(-1)?
False
Suppose 0 = -4*k + p + 48, 3*k - 4*p = 5*k - 24. Let s = -28 - -47. Let z = s - k. Is z a multiple of 6?
False
Suppose 4*p - 18 = 522. Does 27 divide p?
True
Let y(n) = 3*n - 6. Let d be y(3). Is 13 a factor of 1 - d - (4 + -34)?
False
Suppose 2*u - 4*u + 346 = 0. Let y = u + -358. Is y/(-3) + (-14)/21 a multiple of 22?
False
Let m(p) = 0*p**3 + p**3 - p + 5*p**2 - 3*p. Let r be 10/35 + 19/7. Is m(r) a multiple of 22?
False
Suppose 3*f + 66 = b, -2*f + 6*f = -b + 94. Is b a multiple of 26?
True
Let w(n) = -6*n**3 + 5*n**2 - 7*n - 5. Let i(c) = 5*c**3 - 5*c**2 + 7*c + 5. Let m(g) = -7*i(g) - 6*w(g). Let z be m(-6). Let x = z - -10. Is x a multiple of 5?
False
Suppose 0 = -3*h + 2*o + 3*o + 65, 5*h - o = 101. Is h a multiple of 7?
False
Let d(a) be the second derivative of -a**4/12 - 2*a**3/3 + a**2 - 2*a. Let k be d(-5). Let s(c) = -c**3 - 2*c**2 + 2*c + 1. Is s(k) a multiple of 2?
True
Is -1 + 8 + (15 - 16) a multiple of 6?
True
Suppose 2*k + 10 = -0*k, k - 3 = -4*r. Suppose g = 5*s - 12 - 30, r*s = -4*g + 8. Is s even?
True
Let n = 33 + 15. Is n a multiple of 12?
True
Let u be (10/(-6))/(2/(-6)). Suppose 0*d + u = -5*d. Is 9 a factor of (-1 - d) + (-18)/(-1)?
True
Suppose 3*u + 8 = l - 0, -19 = 4*l + 5*u. Let b(h) = 10*h**2 - h. Is 4 a factor of b(l)?
False
Let l(r) = -20*r**2. Let t(g) = -120*g**2. Let d(h) = -25*l(h) + 4*t(h). Let f = 3 + -2. Is d(f) a multiple of 10?
True
Let q(i) = -i. Let t be q(-3). Suppose -l - 99 = -3*x, -2*l = -t*x + 2*l + 99. Is 13 a factor of x?
False
Let i = 39 + -6. Is i a multiple of 14?
False
Suppose k + 30 = -4*k. Let a = k + 7. Is a/(-5) + 152/10 a multiple of 5?
True
Let q(s) = -s**3 - 6*s**2 + 4*s - 9. Let f be q(-7). Let j = 18 + f. Is j a multiple of 10?
True
Suppose 5*a - 1 = 4. Let y(m) be the second derivative of 6*m**5/5 - m**4/12 + m**2/2 + 5*m. Is 12 a factor of y(a)?
True
Let v(r) = -5*r + 7. Does 10 divide v(-7)?
False
Let k(z) = 5*z - 2*z**2 - 2*z + 4 + 0 + 3*z**2. Does 3 divide k(-3)?
False
Let a(k) = 8*k**2 + 10*k + 5. Let p be a(-4). Does 32 divide -3 + p + -3*1?
False
Let s(n) = -16*n - 5. Does 27 divide s(-3)?
False
Let r = 94 + -54. Is 10 a factor of r?
True
Let d = -9 - -6. Is 11 a factor of (-4)/(d + 31/11)?
True
Suppose n = x - 72, -4*x - 3*n + 155 + 140 = 0. Suppose x = 5*z - 182. Does 21 divide z?
False
Let p(s) = -3*s - 4. Does 13 divide p(-10)?
True
Let a(t) = -110*t**3 - t**2 - 1. Is a(-1) a multiple of 18?
True
Let x = -98 + 221. Let o = x - 88. Does 17 divide o?
False
Let y(p) = 11*p**3 - 16*p**2 + 23*p - 6. Let f(b) = 4*b**3 - 5*b**2 + 8*b - 2. Suppose -h + 5 + 3 = 0. Let g(s) = h*f(s) - 3*y(s). Is g(7) a multiple of 6?
False
Let a = 6 + -4. Suppose 5*o - 2*j = 231, -a*j + 3 = -3*j. Does 13 divide o?
False
Let h(d) = -20*d - 80. Does 8 divide h(-12)?
True
Suppose -2*x = 3*y + 3 - 7, -4*x = -3*y + 28. Suppose -y*j = j + p - 135, -j + 21 = -p. Does 7 divide j?
False
Let v(f) = 80*f**2 + f. Let h(j) = j + 10. Let i be h(-9). Let d be v(i). Is 10 a factor of (d/(-12))/((-3)/8)?
False
Suppose 20 = 4*c + c. Suppose -c*n + b + 17 = -77, -5*b - 33 = -n. Is n a multiple of 9?
False
Let w(y) be the third derivative of y**5/60 + y**4/6 - y**3/6 - 8*y**2. Is 5 a factor of w(-6)?
False
Let x be (2 - -1)*14/6. Let w(p) = -26*p**3 + 3*p**2 + 4. Let t(z) = -53*z**3 + 7*z**2 + 9. Let l(j) = x*w(j) - 3*t(j). Does 12 divide l(-1)?
True
Let p = 7 + 4. Let q = p + -8. Suppose q*y = 7*y - n - 57, 0 = 3*y + n - 34. Is y a multiple of 13?
True
Is (2 - 3)/(1/(-13)) a multiple of 6?
False
Let h(n) be the first derivative of -5/3*n**3 - 4*n - 1/4*n**4 + 4 - 1/2*n**2. Does 19 divide h(-6)?
True
Let q = -5 - -5. Suppose p - 2*p + 4 = q, 4*p - 20 = -2*l. Is 2 a factor of l?
True
Let i(g) = -7*g - 17. Let r be i(-8). Let y = r + 13. Is y a multiple of 26?
True
Suppose -2*i - 2*y + 6*y = -32, 5*i - 4*y - 92 = 0. Does 20 divide i?
True
Let g(f) = 45*f**2 + f. Suppose 0 = -2*v + 4 - 6. Does 9 divide g(v)?
False
Let q = 18 + -3. Does 4 divide q?
False
Let t = 17 + -12. Suppose 3*j - t*g = 1 + 3, -3*j + 14 = 5*g. Suppose j*o = -o + 40. Is o a multiple of 10?
True
Let a(o) = -2*o**2 - 4*o + 11. Let w(t) = t**2 + 2*t - 5. Let j(u) = 2*a(u) + 5*w(u). Suppose 20 = v - 6*v. Is j(v) a multiple of 5?
True
Suppose -3*p + 10*p - 1239 = 0. Is 15 a factor of p?
False
Let r = 188 - 108. Does 20 divide r?
True
Let b(n) = -n**2 + n + 2. Let o be b(3). Let a be ((-22)/o)/(1/2). Let c = -1 + a. Does 10 divide c?
True
Let h be 123/7 + 6/14. Let i = 13 - 24. Let j = i + h. Does 6 divide j?
False
Let z(a) = -a**3 - 7*a**2 - 10*a - 15. Is z(-7) a multiple of 5?
True
Suppose -4*a = -2*a - 6. Suppose a*b = -l + 9, -5*b + 8 = 2*l - 13. Is 18 a factor of l?
True
Let f(k) = -46*k**3 - k**2 + 1. Does 32 divide f(-1)?
False
Let v be (-1 - 0) + 3 + 7. Suppose 22 = -2*r - 5*n, r + 4*n + v = -8. Is 1 + 11 + r + 3 a multiple of 12?
False
Suppose 4*t = 7*t - 99. Does 18 divide t?
False
Let m(c) = -7*c - 5. Let z(o) = -11*o - 8. Let l(x) = -8*m(x) + 5*z(x). Let t be l(0). Suppose t = -d + 2. Is 2 a factor of d?
True
Let a(r) be the third derivative of r**6/120 - 2*r**5/15 - r**4/2 - 3*r**3/2 + 5*r**2. Is 22 a factor of a(10)?
False
Let u(s) be the first derivative of -s**2/2 + 26*s + 2. Do