 a multiple of 15?
False
Let h(n) = n**3 + 3*n**2 - 4*n - 1. Let r be h(-4). Is 17 a factor of (-17)/5*r*5?
True
Suppose -d = -2*s + 2, -5*s + 3*d + 2 = -5. Let l(u) = -39*u**3 - u**2 - u - 1. Is l(s) a multiple of 19?
True
Suppose -7*c + 2*c + 355 = 0. Let l = c - 6. Does 19 divide l?
False
Is 2 a factor of (-9)/((-26)/(-8) - 4)?
True
Let z(b) be the first derivative of 4*b**3/3 - b**2 + b + 4. Is 2 a factor of z(1)?
False
Let g(t) = -t**2 + 2*t + 104. Does 26 divide g(0)?
True
Let u = 7 + 4. Does 2 divide u?
False
Let v = 10 - 17. Let m be v + (-5)/((-15)/6). Let g(d) = 2*d**2 + 6*d + 6. Is g(m) a multiple of 20?
False
Suppose m - 75 + 32 = 0. Is 11 a factor of m?
False
Suppose -5*h + v = -2 - 4, 0 = -5*h - v + 14. Let g be 3*2*(-1)/(-2). Suppose -6*p + 28 = r - p, -h*r = -g*p - 43. Is r a multiple of 14?
False
Let i = 8 - 6. Let x be 2/9 - 43/(-9). Suppose i*j = x*j - 84. Is j a multiple of 14?
True
Let x(r) = 5*r**2 - 3*r - 12. Let q(u) = -11*u**2 + 6*u + 25. Let l(o) = -6*q(o) - 13*x(o). Is l(-6) a multiple of 8?
True
Let n(t) = -3*t**3 + 11*t**2 - 11*t. Let g(q) be the first derivative of q**4 - 4*q**3 + 11*q**2/2 + 1. Let v(j) = -2*g(j) - 3*n(j). Is 12 a factor of v(8)?
True
Let t(o) = -o**2 - 9*o + 5. Is t(-4) a multiple of 2?
False
Suppose -2*w + 5 + 35 = 0. Let o = 19 + w. Does 15 divide o?
False
Let d(m) = m**3 - 4*m**2 - 3*m + 8. Let y be d(7). Suppose -g + y = g. Is 32 a factor of g?
False
Suppose -5*b - 5*k = -1100, b - 5*b - 5*k + 880 = 0. Is 16 a factor of b?
False
Is 2 - (-176)/(-12)*-3 a multiple of 21?
False
Suppose b = 3, 6*n + 2*b - 21 = 3*n. Is (n - -4) + 0 + 3 a multiple of 12?
True
Let z be (-708)/3 + 0/2. Let t = 398 + z. Suppose 5*u = t - 32. Is 18 a factor of u?
False
Suppose 17 = 2*j + 1. Suppose -4*i = -2*c - j, 5 + 0 = 5*i - 5*c. Suppose -i*w - v - 54 = -173, 2*v + 8 = 0. Is 12 a factor of w?
False
Let u(p) = 7*p - 10. Does 5 divide u(5)?
True
Let c = -10 + -4. Suppose 2*x - 5*l - 36 = 24, -5*x + 3*l + 131 = 0. Let j = x + c. Is 11 a factor of j?
True
Suppose -4*v + v + 138 = 0. Let n = -28 + v. Does 9 divide n?
True
Suppose 0 = -m - 2*m + 18. Suppose 18 = -3*q + 5*q. Let b = q - m. Is b a multiple of 3?
True
Let y(h) = -h**3 - 15*h**2 + h + 18. Let b be y(-15). Suppose -b*i + 72 = 2*i - 2*q, -3*q = -4*i + 52. Is i a multiple of 7?
False
Is (-3)/2 - (-380)/8 a multiple of 23?
True
Let p be 4/6*45/6. Suppose 0 = -k - 3*k + 2*y + 66, p*k - 4*y - 84 = 0. Is k a multiple of 16?
True
Suppose 0*p = -p + 1195. Suppose 0 = 5*h + 50 - p. Is (-2)/(-7) + h/7 a multiple of 11?
True
Suppose -356 = -2*j - 70. Is 25 a factor of j?
False
Suppose 0 = 3*u - 3 - 12. Suppose 0 = u*o - 244 - 66. Is 1/(-2 - o/(-30)) a multiple of 6?
False
Let i be (-4)/16 - (-94)/(-8). Let q = i + 17. Suppose -4*f = 2*c + q - 13, 4*f = -c. Is c a multiple of 8?
True
Let l(w) = w**2 + 17*w + 20. Does 10 divide l(-17)?
True
Let i = -11 + 14. Suppose -t + i = -5. Is t a multiple of 5?
False
Suppose 0 = g - 10 - 45. Let f be ((-2)/(-4))/((-2)/(-336)). Let j = f - g. Is j a multiple of 13?
False
Is 16/((-16)/4) + 20 a multiple of 8?
True
Let t = 18 - -14. Does 8 divide t?
True
Let x be 9/3 + (2 - 3). Suppose -23 = -x*p + 3. Let a = p - 5. Does 4 divide a?
True
Suppose -5*x - 124 = -4*o, 2*x = -4 - 4. Is o a multiple of 13?
True
Let p be -28*(-5)/((-60)/(-9)). Let x = p + -8. Does 4 divide x?
False
Let s be 0/(-1 + (1 - 1)). Suppose s*g - 2*g - 2 = 0. Let j = g + 9. Does 8 divide j?
True
Suppose 2*z + 4 = 12. Let a(l) = l**3 - 3*l**2 - 4*l + 4. Let j be a(z). Suppose k + j*h = 6*k - 140, -5*k + h + 125 = 0. Does 17 divide k?
False
Suppose 16*b - 980 = -100. Is b a multiple of 9?
False
Let w be (-1)/2 + (-18)/(-4). Suppose -2*p + w*q + 10 + 36 = 0, -4*p + 3*q + 67 = 0. Does 13 divide p?
True
Let x(a) = -a**3 - 7*a**2 - 7*a - 3. Suppose -2*z - 11 = -3*c, -4*z + c = -0*c - 3. Let t = -4 - z. Does 2 divide x(t)?
False
Suppose 0 = 3*n + 12, 4 = 4*y + 2*n + n. Suppose -y*v + 8 + 148 = 0. Is v a multiple of 17?
False
Suppose 0 = -2*u + u - 18. Does 6 divide ((-24)/u)/(1/9)?
True
Suppose 0 = 2*k + 3*a - 119, -a + 130 = -5*k + 385. Does 13 divide k?
True
Let f(b) = -2*b**2 + 6*b - 4. Let g be f(5). Does 4 divide (-2)/4*(g + 2)?
False
Let j = -4 + 8. Suppose -6*w - 4 = -j*w. Is 8 a factor of (0 + -8)*(w - -1)?
True
Let r(v) = v**2 - 4*v - 4. Let y be r(5). Let h be (y*-2)/(2/9). Is (-2)/h + (-1128)/(-27) a multiple of 19?
False
Let x be -48 + 0 + 1/(-1). Let p = -2 - x. Is 20 a factor of p + 0/(-2) + -1?
False
Suppose 14 + 3 = -4*g + 3*a, 3*g = -2*a - 34. Let i be 706/8 + (-6)/g. Let t = -38 + i. Is 15 a factor of t?
False
Let s(d) = d**2 + d + 3. Let g be s(5). Suppose 5*q = 12 + g. Suppose 0 = y + 5*x - 10, 3*y - x - q = y. Is y even?
False
Let k(r) = -2*r - 6. Let g be k(-7). Suppose g + 32 = 4*n. Does 8 divide n?
False
Is 21 a factor of 18/(-24)*(-3)/((-3)/(-56))?
True
Let y = -99 - -141. Suppose 3*w = 2*w + y. Is 12 a factor of w?
False
Suppose 70*l + 72 = 74*l. Is l a multiple of 12?
False
Let z(d) = -67*d - 1. Is z(-3) a multiple of 25?
True
Let f(v) = -5*v + 6. Let w be f(-9). Suppose 5*m - 34 = w. Is 5 a factor of m?
False
Let l(p) = -p**2 + p - 1. Let f(g) = -1. Let c(q) = 4*f(q) - 2*l(q). Let w(n) = -n. Let s be w(3). Is c(s) a multiple of 11?
True
Does 8 divide (-3 + 2)*(-25 + 2)?
False
Let h(f) = -6*f + 1. Let a(b) = b + 3*b - 2 + 5*b + 2*b. Let n(m) = 2*a(m) + 5*h(m). Does 13 divide n(-6)?
False
Is 16 a factor of (-4 - -1)/((-3)/44)?
False
Let s(r) = -r + 17. Let d be s(14). Let b(y) = y**2 - y - 2. Let n be b(-3). Suppose -j = -d*j + n. Does 5 divide j?
True
Suppose -3*j - 10 + 364 = -3*h, -j = -4*h - 124. Is j a multiple of 10?
False
Let n be (-5)/(-2)*(-12)/(-10). Let s be (n/(-2))/(30/(-40)). Suppose -3*o + 5*q = 3*q - 58, -s*q - 14 = -o. Is 8 a factor of o?
False
Suppose 0 = 11*o - 8*o - 90. Let a(x) = x**2. Let y be a(-2). Suppose 0 = 2*q - y*p - 0*p - o, -3*p = -6. Is q a multiple of 19?
True
Let a = 1 - -59. Is 12 a factor of a?
True
Let n = -4 + 6. Is 10 a factor of (-2 + 3)/(n/20)?
True
Let b(i) be the third derivative of i**6/120 + i**5/20 - i**4/8 - i**3/3 + 2*i**2. Let f be 4 + -3 + -1 + -2. Is 3 a factor of b(f)?
False
Let r(p) = -12*p - 11. Is r(-7) a multiple of 20?
False
Let n be (-3)/(-9) + (-933)/(-9). Suppose 2*d + n = 6*d. Does 7 divide d?
False
Suppose 3*r - 996 = -9*r. Does 10 divide r?
False
Let z be (-24)/(-36) - 452/(-6). Suppose 0*r - 2*r + z = 0. Is r a multiple of 11?
False
Let j = -2 - -6. Let y(g) = g**3 - 4*g**2 + 2*g - 3. Let d be y(j). Suppose 0 = i - 27 + d. Is i a multiple of 11?
True
Suppose -4*f + 6*f = 174. Is 15 a factor of f?
False
Let n be 22/3*(-2 + -1). Let f = -13 - n. Is 8 a factor of f?
False
Let i(k) = k**2 + 11*k - 22. Is i(10) a multiple of 47?
True
Suppose 0 = 3*l - 13 + 4. Suppose r - 29 = -1. Suppose 4*t - r = l*t. Is 11 a factor of t?
False
Let x(f) = -2*f**2 - 6*f + 3. Let v be x(4). Let y = 77 + v. Does 12 divide y?
True
Let y = 1 - -2. Suppose -k = -y*k + 24. Is k a multiple of 6?
True
Let q = -16 + 81. Is q a multiple of 10?
False
Suppose 10 - 1 = -3*y. Let p = -2 - y. Is (0 - -15) + (2 - p) a multiple of 16?
True
Let x = 12 + 14. Does 4 divide x?
False
Does 27 divide ((-15)/(-20))/((-3)/(-216))?
True
Let g(u) = -u**3 + 7*u**2 + 7*u + 13. Does 5 divide g(8)?
True
Suppose -y + 45 = -11. Suppose 8*t - 4*t = y. Does 14 divide t?
True
Suppose -l = 4*l - 55. Suppose -2*x + 4 = 3*v, 3 - l = -4*x + 5*v. Suppose -5*f + 3*u = -88, 3*u - 44 = -2*f + x*u. Is 11 a factor of f?
False
Let q(d) = -138*d**3 + d**2 - 2*d - 2. Is 30 a factor of q(-1)?
False
Let x = -22 + 58. Suppose x = 3*a - 0*a. Is 8 a factor of a?
False
Suppose -d + 8 = d. Let q(o) = 3*o**3 - 2*o**2 + 4*o + 4. Let f(x) = 4*x**3 - x**2 + 4*x + 4. Let h(w) = -2*f(w) + 3*q(w). Is h(d) a multiple of 10?
True
Let r(c) = -3*c + 1. Let l be r(-8). Suppose -5*p - 5*d - l = 0, 4*p + d - 4*d = 1. Does 12 divide ((-40)/6)/(p/6)?
False
Suppose 3*r = -5*p + 28 - 3, -3*r + 17 = p. Let q(g) = 4 + g**2 - r + 0 + 2 + g. Is q(2) a multiple of 4?
False
Suppose k = s - 20 - 5, -2*s = 5*k - 50. Is s a multiple of 10?
False
Suppose -4*f - 15 + 83 = 0. Does 3 divide f?
False
Let s = -5 - -7. Let p = 0 + s. Let b(i) = 3*i**2. Is b(p) a multiple of 12?
True
Suppose