 = -i. Let j(d) = -4*d - 18. Let f(u) = -j(u) + 3*s(u). Is f(n) a multiple of 16?
False
Let j(u) = u**3 + 5*u**2 + u - 3. Suppose -5*a = 4*k + 3, -3*a + 4*k - 12 = 9. Let z be (-18)/(-12)*(1 + a). Is 12 a factor of j(z)?
True
Let g(w) = w**2 - 10*w + 10. Let x(k) = 1. Let d(l) = -g(l) + 4*x(l). Let f be d(4). Suppose 5*q = 2*y + 3, -4*y + 4*q = 2*q - f. Does 6 divide y?
True
Let w be (-11 + 9)/((-2)/(-14)). Suppose 3*s + 65 = 4*p - 89, 100 = -2*s + 2*p. Let k = w - s. Does 11 divide k?
False
Let v be (-682)/(-10) - 1/5. Let k be (1*3 + -1)*-18. Let o = v + k. Is o a multiple of 12?
False
Suppose 4*z - 216 = -2*z. Is z a multiple of 8?
False
Let f = -9 - -16. Suppose -4*i + f = -165. Is 11 a factor of i?
False
Let c(o) = o**2 - 13*o - 12. Suppose -62 = 3*f - 7*f + r, 4*f = 5*r + 70. Does 10 divide c(f)?
False
Let y(l) = 4*l**3 + 2*l**2 - 2*l - 3. Let g be y(-2). Is 9 a factor of 3/(3 - 6)*g?
False
Let h be ((-24)/(-10))/((-16)/(-440)). Let o(d) = -4*d**2 - 2*d - 2. Let r be o(3). Let g = h + r. Is g a multiple of 11?
True
Suppose 8*h = 4*h - 32. Let u be 1/(-1)*(h + -3). Does 13 divide 2 - u/((-1)/1)?
True
Let c(k) = k. Let j(q) = -2*q - 5. Let a(h) = 4*c(h) + j(h). Let d be a(5). Suppose -4*i = -d*i + 39. Is 13 a factor of i?
True
Suppose -3*x + 83 = 4*g, -g - 5*x - 26 = -4*g. Is 2 a factor of g?
False
Let i(c) = c**3 + 4*c**2 - c + 7. Let z be i(-5). Let d(x) = x + 7. Let f be d(-11). Is 3 a factor of z/f - (-5)/(-20)?
True
Suppose 0 = -6*a + 5*a + 2. Let c be 1 + -1 + 1 - -1. Suppose v = a*v - c. Does 2 divide v?
True
Suppose 2*s = -p + 22, -5*s + 5*p = -30 - 25. Is s even?
False
Let m = -4 + 13. Does 5 divide 2/(2/m*1)?
False
Suppose -2 = 2*m - 12. Suppose -m*g + 29 = -291. Is 20 a factor of g?
False
Suppose -5*a = 3*i + 1 + 26, -3*i = -a + 9. Let s be 10/4 - 2/i. Suppose 0 = -s*c - 9, 3*u = -0*u - 4*c + 177. Is u a multiple of 22?
False
Suppose -3*c + 51 + 3 = 0. Suppose -4*q + c = 3*u, -4*q + 4 = 2*u - 6*u. Is 2 a factor of q?
False
Let q = 9 + -6. Suppose -4*j + 12 = 0, -q*v + j = -v - 55. Is 23 a factor of v?
False
Suppose l = -2*l + 72. Suppose l = 2*z - 3*z - 4*g, 0 = -5*z + g - 15. Let f = 1 - z. Is 5 a factor of f?
True
Suppose 4 + 11 = 3*i. Let h(n) = -12*n**2 + 2*n + 4. Let j(u) = 11*u**2 - 2*u - 3. Let a(b) = i*j(b) + 4*h(b). Is a(1) a multiple of 4?
False
Let k(t) = 0*t**3 - t + 2*t**2 - 2*t**3 + t**2 - 3*t. Let o be k(4). Let r = o + 142. Is 19 a factor of r?
False
Suppose 4*w + w - 10 = 0. Let v(t) = t**3 + 7*t**2 + 5*t + 6. Let z be v(-6). Let k = z + w. Does 13 divide k?
False
Suppose -2*v = -v - 141. Suppose -s - v = 2*s. Let h = s - -69. Is h a multiple of 11?
True
Let g(z) = 3*z**2 - 21*z + 16. Is g(8) a multiple of 20?
True
Suppose -2*h = 4*x - 6*h + 32, 0 = -h + 4. Let c be ((-3)/(-5))/(x/(-20)). Suppose a + 3*d - 15 = -2, 2*d = -c*a + 18. Is a a multiple of 4?
True
Suppose 5*x - 16 = -4*z, 5*x - 5*z + 10 = -10. Suppose x = 13*m - 9*m - 324. Does 14 divide m?
False
Let y(b) = -b**2 + 20*b - 28. Is y(7) a multiple of 9?
True
Suppose -3 = -0*x + x. Let r be -3*-1*x/(-3). Suppose -3*p + 48 = r. Does 12 divide p?
False
Let m(z) = -1 + 0 - z**3 - 6*z + 8*z**2 - 4. Let o be m(7). Suppose 3*a + h - 17 = 0, 5*h = o*a + 2*a - 29. Is 3 a factor of a?
True
Let k be (30/(-25))/((-2)/(-50)). Let f = k + 70. Does 10 divide f?
True
Let t = -9 - -3. Does 14 divide 4/t + (-172)/(-6)?
True
Suppose -43 - 6 = -j. Does 11 divide j?
False
Suppose -142*t + 139*t = -828. Is t a multiple of 27?
False
Suppose 3*u - 4*u = -2*i + 7, -5*i = -u - 19. Let t(p) = 2*p + 3. Does 3 divide t(i)?
False
Suppose 3*j + 0*j - 51 = 0. Is 7 a factor of j?
False
Suppose 129 = 9*y - 357. Is 24 a factor of y?
False
Is 20*4*3/6 a multiple of 9?
False
Suppose 0 = -4*y + 4, -13 = 3*d - 3*y - 286. Suppose 3*i - d = -i. Is i a multiple of 7?
False
Let s(t) = t**3 + t**2 - 4. Let q be s(0). Let z(v) = -v**3 - v**2 + 3*v - 4. Is 7 a factor of z(q)?
False
Suppose 0 = -0*q + 2*q + 2*w, -q + 3*w = -8. Let c = 3 + q. Is c a multiple of 2?
False
Is 3388/21 - (-2)/3 a multiple of 18?
True
Suppose 44 = 4*t + x + 2*x, -2*x = 3*t - 32. Is 7 a factor of t?
False
Let d(o) be the first derivative of -2*o**2 + 2. Is 14 a factor of d(-7)?
True
Suppose 2*v + 31 = -i, -5*v = 2*i - i + 85. Is 15 a factor of (-536)/(-18) - 4/v?
True
Let u be 88/(-9) + 10/(-45). Let b(l) = -l + 7. Let x be b(-6). Let w = u + x. Does 2 divide w?
False
Let q(n) = -n**3 + 7*n**2 + 14*n. Does 23 divide q(-5)?
True
Let m(r) = r**2 + 7. Does 21 divide m(-9)?
False
Let x(d) = -d**2 + 8*d - 5. Suppose 28 = 2*h - 3*r + 9, 26 = 4*h - 2*r. Does 10 divide x(h)?
True
Let v(q) = q**2 - 6*q - 2. Let h be v(7). Let p(k) = k**3 - 2*k**2 - 4*k - 6. Is p(h) a multiple of 13?
False
Suppose -35 = -5*c - 10. Is c a multiple of 5?
True
Let n(k) = 2*k**2 + 4 - 4*k**2 + 3*k**2 - 2*k + k**2. Is 14 a factor of n(4)?
True
Suppose -3*n + 3 = -6. Suppose -2*l = 2*l - 12. Let k = n + l. Is k a multiple of 3?
True
Suppose -m + 3*o = -5*m + 109, 0 = 3*m - 3*o - 66. Suppose -r + m = -0*r. Is 25 a factor of r?
True
Suppose 4*a + 4*k - 32 = 0, -5*a + 26 = -3*k + 10. Suppose -3*w = y - a, -2*w = 3*w - 10. Is 10 a factor of 19 + (1 - y - 5)?
False
Let l = 11 - -4. Does 3 divide l?
True
Let v = -8 - -10. Is 9 a factor of 20 + -1 - (v + -1)?
True
Let q(z) = z**3 - 5*z**2 + 4*z + 2. Is q(5) a multiple of 11?
True
Suppose b - 3 = 2. Let i = b + -3. Suppose 0 = r + 3*r - 2*y - 132, -4*r - i*y + 124 = 0. Is r a multiple of 12?
False
Is 4 a factor of (-5)/((9/(-6))/(1 + 2))?
False
Let v = -14 + 76. Does 16 divide v?
False
Let m = 5 - 1. Is m a multiple of 4?
True
Let k = -3 + 16. Let x = -57 + 83. Let z = x - k. Does 13 divide z?
True
Suppose -2 = -l, 0*d + 118 = 4*d - l. Does 15 divide d?
True
Does 10 divide 4 + 0 - 0 - (-252)/2?
True
Suppose -3*z + 13 = -2. Suppose 0*w = -z*w + 110. Is 11 a factor of w?
True
Let g(a) = -a**3 - 2*a**2 - 4*a - 4. Does 17 divide g(-3)?
True
Let h(i) = i**3 - 7*i**2 + 5*i - 8. Let t be h(7). Let s = t + -19. Suppose -s = -5*u + u. Is 2 a factor of u?
True
Let l(i) be the third derivative of -7*i**4/8 - 2*i**2. Let r be l(-1). Let m = r + 20. Is m a multiple of 12?
False
Suppose u = -4*u + 195. Is 13 a factor of u?
True
Does 21 divide 5 + -5 - 5*-13?
False
Let s be (0/(-1) - 0) + 9. Suppose q = 22 + s. Does 16 divide q?
False
Let h(q) = -q**2 + 2. Let a be h(-2). Let m = a + 19. Is m a multiple of 17?
True
Let a be (-2112)/(-9) - 2/(-6). Suppose r - a = -4*r. Does 14 divide r?
False
Let w(v) be the third derivative of v**6/120 - v**5/60 + v**4/8 - v**3/3 + 3*v**2. Let y be w(2). Suppose -5*l = -4*l - y. Is 3 a factor of l?
False
Is 10/5 - (-66)/3 a multiple of 6?
True
Let t be 1 + (-1 - (1 + -1)). Suppose t = -3*v - 3*y + 99, 133 = 5*v - 5*y + 18. Is v a multiple of 10?
False
Suppose 3*s = 6*s - 78. Does 8 divide s?
False
Let x = 20 - -8. Let h = -22 + x. Does 5 divide h?
False
Let p(t) = 9*t**3 + t - 1. Let r be p(1). Let a = -23 + r. Is (60/(-14))/(2/a) a multiple of 13?
False
Let c(w) = w + 1. Let a be c(-7). Let h be ((-16)/a + -2)*-3. Does 18 divide ((-7)/(-21))/(h/(-228))?
False
Suppose 2*s = i + 3*s - 3, i = 2*s - 3. Let r = i - -2. Suppose -r*u + 5*n = -0*u + 6, -4*n = -12. Is 3 a factor of u?
True
Let l(s) = 7*s**3 + 4*s**2 + 15*s + 3. Let q(i) = -8*i**3 - 3*i**2 - 16*i - 4. Let t(w) = 7*l(w) + 6*q(w). Is t(-8) a multiple of 34?
False
Let n(j) be the second derivative of j**3 - j**2/2 - 2*j. Let t be n(1). Suppose -124 = -t*b - 24. Does 10 divide b?
True
Let k be (-37)/7 + (-6)/(-21). Let o = 10 + k. Suppose -73 = -o*a + 97. Does 9 divide a?
False
Let t = -17 - -65. Does 12 divide t?
True
Let f = 1 + 1. Is 7 a factor of 1/f + 108/8?
True
Let k(z) = z**3 + 6*z**2 - 3*z - 4. Let j(g) = -g**3 - 4*g**2 - 2*g + 1. Let m be j(-2). Let s be 4/(m - -5) - 7. Is 14 a factor of k(s)?
False
Does 20 divide (3 - 11/5)/((-2)/(-300))?
True
Suppose 0*z - 25 = 5*z. Let o(d) = -d**2 + 5*d - 2. Let w be o(4). Is w/z + 471/15 a multiple of 14?
False
Let k(i) = 2*i + 8. Let t be k(6). Suppose 5*c = 0, -4*c = -2*r - c + t. Is 8 a factor of r?
False
Let i(y) = 3*y**2 - 6*y - 10. Is 27 a factor of i(8)?
False
Suppose 0*r = r - 6. Let z = r + -2. Does 8 divide (z/(-5))/((-2)/40)?
True
Let n = -18 - -48. Let f be (-4 - -2)/(-2) - n. 