(-5) a multiple of 11?
True
Is 61 a factor of 21/(-42)*(1 - 855)?
True
Suppose -t + 0*a - 8 = -3*a, -t - a = -8. Suppose -16*s = -555 - 229. Suppose 0 = -t*z + 2*m - 110 + 324, 0 = -z + 5*m + s. Is z a multiple of 18?
True
Let h(v) = -9*v - 24. Suppose 22 = -2*q - 2*x, q - 2*q = 5*x + 19. Is 4 a factor of h(q)?
False
Suppose -4*p + 40 = -4*u - u, -4*u = -4*p + 40. Let z = p + 80. Does 15 divide z?
True
Suppose -45 = -21*u + 18*u. Let y(h) = -14 - 9 - 9*h + u + 3*h. Does 11 divide y(-5)?
True
Let c = -2070 + 4488. Does 53 divide c?
False
Let n be (3 + (-45)/(-6))*20. Let w be ((-1)/2)/((-7)/n). Suppose -3*r = 5*l - 109, -92 = -3*r - 4*l + w. Is 11 a factor of r?
True
Let r(n) = n - 1. Let k(p) = 3*p - 3. Suppose -5*f - 15 = -120. Let a(x) = f*r(x) - 6*k(x). Is a(3) a multiple of 3?
True
Let f(c) = 9*c**3 + 8*c**2 + 3*c. Does 9 divide f(3)?
True
Let x(t) = -t - 8. Let l be x(4). Let a = l - -30. Does 6 divide a?
True
Let h = -94 + 124. Does 15 divide h?
True
Is 36 a factor of ((147/(-2))/(-7))/((-11)/(-264))?
True
Let p(d) = -64 + 10*d**2 + 8 + 11*d**2 - 5*d - 20*d**2. Is p(13) a multiple of 3?
True
Let h(u) = -u**2 + 6*u + 5. Let q be h(7). Does 9 divide ((-2)/4)/(q/144)?
True
Let q = -14 + 5. Let k be 1/(-3)*1*q. Suppose -2*p - 156 = -5*p + k*s, 0 = 4*p + 2*s - 220. Is p a multiple of 13?
False
Let z(b) = -b**3 - 10*b**2 - 8*b + 3. Suppose -3*t - 31 = 3*v + 5, -4*t - 2*v = 42. Let w be z(t). Is (8/w)/(8/(-312)) a multiple of 26?
True
Let q = -363 - -569. Let v = q + -18. Suppose -3*i + 133 = -5*o, 4*o + v = -2*i + 6*i. Is i a multiple of 17?
True
Let c(a) = -a**3 - 19*a**2 - 19*a - 15. Let w = -33 + 15. Let v be c(w). Does 25 divide 129 + v*(-8)/6?
True
Let h(v) = v**3 + 9*v**2 + 7*v - 5. Let z be h(-8). Suppose 3*k + 0*k + z = 0. Is 3*k - (-130)/13 even?
False
Let a = 2 + 40. Let g = a - -1. Does 8 divide g?
False
Let z(u) = -2*u**3 - 7*u**2 + 10*u - 7. Suppose 44 = k + 49. Does 2 divide z(k)?
True
Suppose 5*u + 5*n + 9233 = -7892, 4*u - n = -13680. Is u/(-44) + (-1)/(-4) a multiple of 26?
True
Suppose 3*f = 4*c + c + 30, 4*f = 4*c + 24. Let x = c + 8. Suppose 4*w - 104 = -x*q, -5*w = -q - 122 - 1. Is 13 a factor of w?
False
Let j be ((-92)/(-12) - 5) + (-2)/(-6). Suppose 1356 = 9*b - j*b. Is 20 a factor of b?
False
Let m be 1/(-4) - (-4)/16. Let z be m/(1 - 2) + 9. Let q(c) = c**2 - 7*c + 6. Is q(z) a multiple of 6?
True
Let c = -12 + 15. Suppose -4*i = -d + c, 5*d + 5*i - 48 = 4*d. Is 9 a factor of d?
False
Suppose -5*n + 556 = 2*z, -5*n + z + 568 = -3*z. Let l = n + -64. Is 24 a factor of l?
True
Let p(l) = 3*l - 11 - l**3 + l + 5*l**2 + 9 - l. Is 12 a factor of p(5)?
False
Let i(z) = z**2 - 5*z + 6. Let d be i(4). Let p(m) = m**3 - 2*m**d + m + 0*m + m + m - 2. Is p(3) a multiple of 4?
True
Suppose -14 = -5*p - 4*z, 0 = -0*z - 4*z - 16. Let n be p/(-4)*16/(-12). Suppose n*w + 3*v - 37 = -2*w, -25 = -4*w + v. Does 7 divide w?
True
Let y = 0 - -2. Suppose -4*d - y*h = 2 + 6, 0 = 5*d + h + 13. Is 6 a factor of -30*(27/15)/d?
True
Let k = 10 - -134. Let t = -956 - -858. Let j = t + k. Is j a multiple of 29?
False
Suppose -4*l = -o + 642, -3*o - 25*l + 28*l = -1935. Is 15 a factor of o?
False
Let z be 66/((-2)/11 - 153/187). Let n(m) = 9*m**2 + 2*m. Let x be n(-4). Let a = z + x. Is a a multiple of 10?
True
Suppose 4*y = -0*y - 4*c - 40, 3*y + 26 = -c. Suppose 0 = -v - s + 6, -2*s = -4*v + 2*v + 4. Let w = v - y. Is w a multiple of 6?
True
Let r be 15/(-9) - 8/(-12). Does 5 divide ((-160)/(-25))/(r/(-5))?
False
Let u(i) = 7*i**2 + 2*i. Let q(r) = -13*r**2 - 5*r - 1. Let a(b) = 4*b + 2. Let n be a(1). Let s(j) = n*q(j) + 11*u(j). Is 3 a factor of s(-5)?
True
Suppose -7*m = -13*m + 180. Let b = m + 113. Does 13 divide b?
True
Let l(s) = 3*s + s**3 + 0*s**3 - 23 + 24 - 5*s**2. Let b be l(4). Let g(d) = 9*d**2 - 3. Is 13 a factor of g(b)?
True
Suppose 0*u = -u - 4*m + 22, -7 = -u - m. Suppose u*f + 2*f = 12. Let o(j) = 9*j - 7. Is 10 a factor of o(f)?
True
Let j(w) be the second derivative of w**5/20 - w**4/6 - w**3/6 + 33*w**2 + 29*w. Does 13 divide j(0)?
False
Suppose -27 = 5*w - 57. Suppose 168 = w*p + 2*p. Does 13 divide p?
False
Let a(f) be the first derivative of f**3/3 - 7*f**2/2 + 7*f - 4. Let d be a(7). Let s(i) = i**2 - 6*i + 8. Does 5 divide s(d)?
True
Let d(y) be the third derivative of -y**6/120 + y**5/20 + y**4/12 - 2*y**3/3 - 4*y**2. Let z be d(3). Does 4 divide -1 - (-16 + -2)/z?
True
Suppose 0 = 3*r - 4*q - 1995, 0*q - 4*q - 12 = 0. Suppose 3*j - 175 = -r. Let p = 234 + j. Is p a multiple of 19?
False
Let z be (2/6)/(11/198). Suppose c = z*c - 35. Let k = c - -6. Does 6 divide k?
False
Let l(p) = 2*p**2 + 5*p - 12. Does 7 divide l(5)?
True
Let n be (-1 + 2)/(1/85) - -2. Let o = n + -61. Is o a multiple of 15?
False
Let v(p) be the first derivative of 14*p**2 - 6*p - 23. Does 27 divide v(6)?
True
Let w be 3/(-4) + (-172)/(-16). Let b(f) be the second derivative of f**4/6 - 13*f**3/6 - 4*f**2 + f. Is b(w) a multiple of 17?
False
Let i be (0 - (-1)/(-5))*0. Suppose i = 7*c - 2*c + 4*b + 105, 3*c + 50 = -5*b. Let j = c + 71. Does 15 divide j?
False
Let b be (-22)/(-4)*(-6 + 4). Let a = 14 + b. Suppose a*g - 7*g = -124. Is 10 a factor of g?
False
Let y(b) = 3*b - 10. Let m be y(5). Suppose r - 18 = -2*z, 16 = 3*r - m*z - 60. Let p = 28 - r. Is 2 a factor of p?
True
Let q(b) = 13*b**2 + 2*b - 8. Let n = -16 - -20. Is 17 a factor of q(n)?
False
Suppose -2*r = -6*r. Does 14 divide (-688)/(-8) - (r + 0)?
False
Suppose -7*c + 3*c - 4*v = -180, -4*c = -3*v - 173. Let k be -40 + 42/(-49)*-7. Let t = c - k. Is 13 a factor of t?
True
Let g = 377 - 185. Is 16 a factor of g?
True
Suppose 3*q + 150 = 2*p, 0 = -5*p + 2*q + 362 - 9. Let z = p + -63. Is z a multiple of 2?
True
Let h(l) = l**2 - 13*l + 2. Let a be h(13). Suppose a*i - 41 - 79 = 0. Is i a multiple of 12?
True
Suppose -5*k - s = -30, -s + 10 = -3*s. Suppose 6*o = k*o - 108. Is 30 a factor of o?
False
Let i(q) = q**3 - 12*q**2 - 8*q + 1. Let x be i(14). Let d = x + -155. Is d a multiple of 9?
True
Suppose 9*d - 3261 - 1941 = 0. Is 17 a factor of d?
True
Let y(k) = 2957*k**3 - 2*k**2 - 2*k + 5. Does 29 divide y(1)?
True
Let a = -10 - -8. Does 21 divide (-92 + 9)*(-1 - a)/(-1)?
False
Let v(b) = 26*b - 10. Let l be v(6). Let k = l - -45. Is k a multiple of 38?
False
Suppose 3*a - 256 = -142. Is 20 a factor of a?
False
Let n(x) = 45*x**2 + 6*x - 12. Is 20 a factor of n(2)?
True
Suppose q + 175 = 3*f - 475, 0 = -q + 1. Does 31 divide f?
True
Suppose -9*k + 10948 = -2*k. Does 16 divide k?
False
Let z(j) = j - 14. Let v be z(17). Suppose v*a = -10*a + 676. Does 34 divide a?
False
Let c(b) = 41*b**2 + 20*b + 36. Is c(-4) a multiple of 18?
True
Let w = 90 - -63. Suppose 3*m - w = 9. Is m a multiple of 18?
True
Suppose -4*d = 2*t - 214, -t = -3*t - 2*d + 208. Suppose -x - 492 = -5*h - 4*x, -h + t = -2*x. Suppose 7*l - 482 = h. Does 30 divide l?
False
Let p(u) = -u**3 - 16*u**2 + 19*u - 282. Is 13 a factor of p(-19)?
False
Let u(h) = 3*h**2 - 22*h - 7. Is 10 a factor of u(9)?
False
Suppose 5*t - 3*b - 57 = 0, -3*t + 3*b + 31 = 2*b. Suppose 2*u = -u + t. Is 3 a factor of u?
True
Suppose 3*k = -k + 20. Suppose t = 3 - 7, -3*v - k*t - 32 = 0. Let p(c) = c**3 + 6*c**2 + 5*c - 3. Is p(v) a multiple of 9?
True
Suppose 2*d = 5*d - 237. Suppose 34 = u - d. Let l = u - 78. Does 12 divide l?
False
Suppose -5*k + 2669 = -5*j - 681, -8 = -4*j. Does 32 divide k?
True
Let i(k) = -k + 8. Let u be i(7). Let v be 6*1/(3 - u). Suppose 5*o + 3*w = -26 + 85, 0 = v*w + 6. Is o a multiple of 3?
False
Let k(r) = 5*r + 6. Let g be k(10). Let x = -30 + g. Does 23 divide x?
False
Suppose 3 = -2*r + 15. Let u be (-2)/r*8*-9. Let l = u - 10. Does 8 divide l?
False
Let x(p) = -p**2 - 4*p - 2. Let g be x(-3). Does 4 divide -4*(g + 30/(-8))?
False
Is -2 + (-7)/(-3) + (-47)/(-3) a multiple of 4?
True
Suppose -h - 2*q = -11, -2*h + 23 = -h + 5*q. Let b be (-133)/28 - h/(-4). Let m = b - -23. Is 9 a factor of m?
False
Let k(u) = 714*u + 518. Does 101 divide k(4)?
False
Let q = -179 - -221. Is q a multiple of 7?
True
Suppose 4*k - 490 + 154 = 0. Suppose i - k = -i. Is i a multiple of 29?
False
Suppose -3*w = -2*d - 252, -d - 335 = -4*w + 2*d. Suppose -w = -3*z + p, -z + 2*p = -p - 18. Is 30 a factor of z?
True
Let i(d) = 38*d -