**3 + 4*i**2 + 4*i - 5. Let w be c(5). Suppose -4*l + w = l. Let h = l + -52. Is 20 a factor of h?
False
Suppose 15 = 3*y - 3*l + 6*l, -5*l = 20. Let p = 77 - y. Is 18 a factor of p?
False
Let v = 2 - 0. Let n be (-3)/(-2)*v/1. Suppose 68 = n*g - 16. Does 18 divide g?
False
Let h(j) = j**2 + 7 - 2*j + 5 + 3. Does 14 divide h(0)?
False
Let f(j) = -2 + 0 - 4 + 3*j + 4. Is 3 a factor of f(2)?
False
Does 17 divide (-64)/(-24)*78/4?
False
Let i = 174 - 103. Let l = i + -46. Is l a multiple of 16?
False
Let d = -23 - -49. Suppose 4*o - d = 3*o. Is o a multiple of 11?
False
Suppose 11 = -2*q + 4*i + 3, -2*q + 20 = 3*i. Let r be 2/q + 205/10. Is (-2)/(-3)*-3 + r a multiple of 7?
False
Let g = -79 - -159. Let c = g - 10. Does 20 divide c?
False
Suppose -5*p + 3*k = -193, -3*k - k + 16 = 0. Let t = p + -23. Does 13 divide t?
False
Let f = -13 + -32. Let p = -4 - f. Suppose 0 = 4*t + 2*g - g - 47, -g - p = -4*t. Is 9 a factor of t?
False
Let o be 2/(-3) + (-8)/(-12). Suppose o = 4*i - i - 120. Does 23 divide i?
False
Let z(y) = -2*y - 3*y**2 - 7*y**2 + y**3 + 3*y**2 + y**2 - 5. Is z(7) a multiple of 6?
True
Suppose -46 = -4*v + 118. Suppose -5*p - v = -391. Does 29 divide p?
False
Let c(t) = 3*t + 1. Let p be c(-3). Let n = p + 17. Does 4 divide n?
False
Let m(q) = q**2 - 8*q - 6*q - 8 + 4*q - 3. Let t be m(12). Suppose -t = -5*h + 32. Is h a multiple of 5?
False
Let v(x) = 3*x - 1. Suppose 3*o + o = 4. Let h(r) = 6*r + 1. Let g be h(o). Is 10 a factor of v(g)?
True
Let g be -2*(0 + -1)*1. Is g/12 + 118/12 a multiple of 5?
True
Let k = 134 - 13. Is 37 a factor of k?
False
Let z be 12*28/(-9)*-6. Let k = z - 129. Does 19 divide k?
True
Let d(h) = -h + 9. Let v be d(6). Suppose 0 = -2*u - v*u + 50. Is 2 a factor of u?
True
Suppose -1 = 2*u - 3*u. Let s be -2 - (u + -4 - -3). Does 15 divide ((-570)/(-25))/(s/(-5))?
False
Let d = 23 + -39. Let y be (d/(-6))/(4/6). Suppose -y*t - 6 = 14, -4*i + 74 = -2*t. Is i a multiple of 6?
False
Suppose 3*d - 5*g = 505, -d + 52 + 93 = 3*g. Is d a multiple of 32?
True
Suppose 37*y = 34*y + 102. Is y a multiple of 17?
True
Suppose -h - 4*n = 3, 12 = -4*h - 0*n - 2*n. Does 9 divide h*3*(1 + -2)?
True
Let u = 54 + -94. Is u/12*3/(-2) a multiple of 3?
False
Let m(t) = -t**3 - 9*t**2 - 12*t - 3. Let a be ((-36)/2)/((-9)/(-6)). Let k = -20 - a. Is m(k) a multiple of 21?
False
Suppose 0 = -2*r + 7*r - 330. Is 22 a factor of r?
True
Suppose -3*q + 4 + 32 = 0. Does 4 divide q?
True
Suppose -n - 108 = -3*n. Is 18 a factor of n?
True
Let m(w) be the second derivative of 7*w**3/6 + 5*w**2/2 - w. Does 21 divide m(10)?
False
Suppose 0 = 4*f + f - 50. Suppose -23 = -3*u + f. Is u a multiple of 7?
False
Suppose 5*g + 159 - 864 = 0. Does 21 divide g?
False
Suppose -831 = -5*m - 156. Suppose 2*s - m = -3*s - y, -s + 5*y = -27. Is s a multiple of 27?
True
Let n = 17 + -11. Suppose 2*v = 3*m - n, 5*m - 11 = -2*v - 1. Suppose h = -2*q + 38, -m*q + 3*q - 17 = -h. Is 11 a factor of q?
False
Suppose -5*s - 2*k = 44, -3*s - k = s + 37. Let v = s + 39. Is v a multiple of 16?
False
Let f(x) = -8*x + 2 - x**2 + 9 + 0. Let a be 4/(-8)*(-36)/(-2). Is 2 a factor of f(a)?
True
Let z(q) = q**2 + q - 4. Let x be z(4). Suppose -5*u - x = -u, 3*a + 18 = -3*u. Is 13 a factor of 1/((a - -5)/39)?
True
Suppose 4*s + 256 = 2*a, -5*a - 4*s + 500 = -a. Is a a multiple of 29?
False
Let s(d) be the second derivative of -d**7/2520 + d**6/72 + d**5/20 + d**4/4 - 3*d. Let n(r) be the third derivative of s(r). Does 11 divide n(8)?
True
Suppose 20 = 5*z - 0*z. Suppose -5*t = a - 2*a - 110, t - 3 = z*a. Suppose n = -g + 10, 0 = -4*g + 2*n + t + 17. Does 3 divide g?
False
Let u(n) = 2*n**3 - 2*n**2 + 4*n - 2. Let i be u(2). Let h = i + -5. Is 4 a factor of h?
False
Suppose -21 = -4*q - 5. Suppose q*v - 50 = 10. Is v a multiple of 15?
True
Let l = 18 + 10. Is l a multiple of 7?
True
Suppose -3*h = x - 1 - 0, -h + 1 = 0. Let u be 1 - 1*x - 2. Suppose -u - 4 = -j. Is j a multiple of 5?
True
Let x be 30 + 0*(-1)/(-2). Suppose 9*v = 4*v + x. Suppose 2*w = v*w - 88. Is w a multiple of 11?
True
Let m = -3 - -4. Let n(u) = 5*u**3 - u**2 + u - 1. Let t be n(m). Suppose 5*b - 2*b - 27 = d, -3*b = -t*d - 36. Does 8 divide b?
True
Let g(i) = 5*i**3 - 7*i + 1. Let c(w) = w**3 + w**2 - w + 1. Let h(s) = 6*c(s) - g(s). Let x = -41 - -36. Does 21 divide h(x)?
False
Let j = 195 - 91. Is j a multiple of 8?
True
Suppose 2*j - 2*g = 182, 0 = 2*j - 0*g - 5*g - 182. Is 13 a factor of j?
True
Suppose -2*b - 2*b = -16. Is 10 a factor of 178/9 + b/18?
True
Suppose 4*r - 12*r = -2304. Is r a multiple of 52?
False
Suppose 3*q - q - 387 = -3*y, 0 = -y - 4*q + 129. Suppose 0*w = -3*w - y. Let t = w - -62. Is 10 a factor of t?
False
Let o = 8 - 3. Suppose -y - 2*p - 8 = -29, 0 = -o*y + 2*p + 69. Let u = 26 - y. Is 11 a factor of u?
True
Suppose f + 3*f = 8. Suppose 4*m = 2*d, -f*d + 11 = 5*m - 7. Is 6 a factor of (-27)/m*(-8)/12?
False
Let v(x) = -x**3 - 7*x**2 - x - 3. Let z = 9 + -16. Let p be v(z). Suppose 4*d = 4*c + 116, -11 = -5*c + p. Is d a multiple of 16?
True
Let o = -1 - -1. Suppose o*q = 2*q + 2. Is (-12 + 2 + 0)/q a multiple of 5?
True
Let x(u) be the first derivative of -u**4/4 + 7*u**3/3 + u**2 - 3*u + 6. Is x(7) a multiple of 11?
True
Suppose -b + 5*q = -53, 5*b + 3*q - 92 = 89. Is b a multiple of 19?
True
Suppose 17 = -3*p - 2*f - 2*f, 2*p + 5*f = -23. Is p/(((-7)/(-20))/7) a multiple of 11?
False
Suppose 0 = 2*b + 2*m - 3*m - 84, -2*b = 5*m - 96. Let j = b - -5. Is (-1)/(-2)*j/2 a multiple of 12?
True
Does 15 divide 272/6 + (-4)/12?
True
Suppose -6*n + 10 = -n. Does 12 divide 1 - (n - 23) - 3?
False
Let c = 21 - 11. Does 10 divide c?
True
Suppose -42 = -5*k + 3*l, -10 = -3*k - 2*l - 0. Let g(t) = t**2 + 3 - k*t - 1 - 1. Is 4 a factor of g(7)?
True
Suppose 7*m - 3*m = 400. Is m a multiple of 25?
True
Let j = -1402 + 830. Is 8 a factor of (j/(-39))/(2/3)?
False
Let j(x) = 53*x**3 + 1. Let y be j(-1). Suppose 2*r + 59 = -4*q + r, 0 = 3*q + r + 43. Let h = q - y. Does 17 divide h?
False
Does 14 divide (-40)/6*(-168)/20?
True
Let d(v) = 4*v**2 + 0*v**3 - 6*v - v**3 + 13*v - 6. Is 13 a factor of d(4)?
False
Let m(o) = 28*o - 2. Let g be 8/5 - (-2)/5. Is m(g) a multiple of 18?
True
Is ((-90)/(-35))/(4/42) a multiple of 27?
True
Let x = -6 + 45. Is 5 a factor of x?
False
Suppose -2*d = 12 - 112. Is 15 a factor of d?
False
Let b = 196 + -128. Suppose b = 5*q - 32. Does 5 divide q?
True
Suppose -4*l = l - 5*i + 175, i - 2 = 0. Let j = l + 63. Is 17 a factor of j?
False
Suppose -2*g = 3*g. Suppose 4*n - 8 - 52 = g. Is n a multiple of 7?
False
Suppose -d = -4*d + 57. Let x = 35 - d. Does 8 divide x?
True
Suppose 83 = 3*w - 82. Is w a multiple of 14?
False
Suppose 0 = -w - 4*v - 10, 3*w - v = -2*w + 13. Suppose -117 - 50 = -5*l + 3*c, -w*l - 5*c + 42 = 0. Is l a multiple of 10?
False
Let c = -357 + 562. Suppose 2*k - c = -5*t, -309 = -2*k + 5*t - 54. Let w = k + -74. Is 14 a factor of w?
False
Suppose 5*y - 2*c - 41 = 4*y, y = -4*c + 71. Is y a multiple of 17?
True
Let l = 158 + -85. Does 17 divide l?
False
Suppose -34 = -3*k + 71. Is 7 a factor of k?
True
Let z(s) = 30*s**2. Let b be z(-1). Suppose 0 = q + 3*d - b, 0 = q - 4*d - 2 - 0. Is 9 a factor of q?
True
Suppose -2*t - 2*d = 2*t - 438, -537 = -5*t + d. Is 36 a factor of t?
True
Suppose -12*w = -260 - 1768. Does 13 divide w?
True
Let i = 21 + 99. Does 30 divide i?
True
Let g = 11 + -7. Let r be g/(-6)*(-69)/2. Let h = r - 1. Is h a multiple of 11?
True
Suppose -5*u + 6*u = -2. Is 29 a factor of (u + -1)/(12/(-140))?
False
Let x(g) = 5*g**3 + g**2 + g + 2. Let f(s) = -s**3 - s**2. Let c(k) = -4*f(k) - x(k). Let v be c(4). Let b = v + 33. Does 11 divide b?
True
Let k = -6 - -12. Let z(s) = s**2 - s - 5. Does 9 divide z(k)?
False
Let l(y) = -5*y**3 - 20*y**2 - 26*y - 32. Let b(c) = 2*c**3 + 7*c**2 + 9*c + 11. Let o(g) = 8*b(g) + 3*l(g). Does 28 divide o(6)?
True
Suppose -10*f + 297 = -7*f. Does 15 divide f?
False
Let r be 0 + 0 + 5 + -1. Let f be (-8)/((r/(-10))/1). Suppose -2*w + f = 2*w. Is w a multiple of 4?
False
Let p = 26 - 41. Let t = -73 - -51. Let r = p - t. Does 7 divide r?
True
Let l be (-756)/(-45) + (-2)/(-10). Let i = -29 + l. Is ((-1)/2)/(2/i) a multiple of 3?
True
Let k(l) = l**2 - l - 1. Let f be k(-2). Suppose -r = -2*c + 