 9*v - 19 = 4*v. Is l a multiple of 15?
False
Let i = 28 - 56. Let w = i - -47. Is 19 a factor of w?
True
Let p(s) = s + 3*s + 1 - 6. Is p(5) a multiple of 5?
True
Let u(o) = 2*o + 10. Is u(5) a multiple of 10?
True
Let w = 61 - 3. Does 3 divide w?
False
Let l(h) = h**2 - h. Is l(-3) a multiple of 6?
True
Let z(d) = 3*d**3 + 8*d**2 + 3. Let t(u) = 2*u**3 + 8*u**2 - u + 4. Let c(f) = 4*t(f) - 3*z(f). Suppose -b = -3*b + 14. Does 14 divide c(b)?
True
Let u(r) = r**2 + 2*r + 1. Let x be u(-3). Suppose -2 = b + f + 2*f, -4*f - 24 = -x*b. Is b a multiple of 4?
True
Let f(w) = 6 + w**2 - 3*w + 2*w + 5*w. Let h be (-2)/(2 + 3/(-2)). Does 6 divide f(h)?
True
Let q = 81 + -49. Is 8 a factor of q?
True
Suppose 5*p = -3*b + 6*p + 41, 5*b + 5*p = 55. Is 10 a factor of b?
False
Let y = -57 + -6. Let m = 118 + y. Suppose 3*g - v = 44, -4*g = -0*g - 5*v - m. Is 7 a factor of g?
False
Let p(u) = -u - 2. Let z be p(-5). Let f(g) = 4*g**3 + 8*g**2 + 0*g - 3*g**z - 2*g - 8. Does 8 divide f(-8)?
True
Suppose -2*y + y + 6 = 0. Let z(x) be the third derivative of x**4/12 - x**3 - 4*x**2. Does 5 divide z(y)?
False
Suppose 0 = -3*r + 483 - 186. Does 9 divide r?
True
Let g = 97 - 52. Is g a multiple of 6?
False
Let h(j) = 5*j**2 - 5*j + 2. Is h(3) a multiple of 8?
True
Let m be (-3)/4 - 6/(-8). Suppose o - 19 + m = 0. Is o a multiple of 18?
False
Let b(c) = 2*c**3 + c**2. Let v be b(1). Suppose l + v*l - 116 = 0. Is l a multiple of 16?
False
Suppose 0 = -3*t + 156 - 30. Does 20 divide t?
False
Let y(n) = -n + 12. Is y(6) a multiple of 4?
False
Suppose -8 = 6*a - 4*a. Is 6/(-8) - 91/a a multiple of 11?
True
Let p = -5 - -8. Let z be 8 - 3/(p/2). Does 4 divide 32/(-6)*(-9)/z?
True
Let m = -2 + 9. Let j = m - -21. Is 19 a factor of j?
False
Let d(p) = 4*p + 7. Let i(q) = -q**3 - 10*q**2 - 9*q. Let s be i(-9). Suppose s = -4*x + 7 + 13. Is 13 a factor of d(x)?
False
Let a be 2/3 - (-14)/(-21). Suppose a*x = -4*x - 112. Let h = x + 55. Does 14 divide h?
False
Suppose -z + 6 + 54 = 0. Suppose -3*g + 20 = 8. Suppose 36 = 2*x + g*w, 2*x + 4*w = -3*x + z. Does 3 divide x?
False
Let i = 91 - 43. Does 17 divide i?
False
Let t(b) = -63*b - 24. Does 12 divide t(-3)?
False
Let w = 1 - 1. Suppose -5*y = v - 72 - 27, w = y. Is v a multiple of 17?
False
Let s(m) be the first derivative of m**4/4 - m**2/2 + 23*m + 3. Does 8 divide s(0)?
False
Let r be (-1 - 9/(-6))*2. Let v be r*35 + 6/3. Let d = v + -25. Is d a multiple of 12?
True
Let v(b) be the second derivative of 3*b**5/10 - b**4/6 + b**3/3 + b**2/2 + 5*b. Is 15 a factor of v(2)?
True
Let p = 4 + -2. Suppose 0*r + r = p*s - 25, 39 = 3*s - 3*r. Does 3 divide s*4/6 + -2?
True
Let t(s) = -s**3 + 8*s**2 - 7*s. Let x be t(7). Suppose 2*q + 0*q + 3*c = 239, x = 5*q + 3*c - 593. Is 13 a factor of q/8 - 5/(-20)?
False
Suppose -6 - 52 = -3*q + 5*o, -2*q + o = -41. Suppose 0*u + 114 = 4*v + 5*u, -5*u + q = v. Is v a multiple of 15?
False
Let h(n) = 189*n**2 - 3*n. Does 12 divide h(-1)?
True
Let j = -1 - -6. Is j a multiple of 2?
False
Let n(s) = s**2 - 11*s - 6. Let v = 11 + 2. Is n(v) a multiple of 6?
False
Suppose -u - u + p = -33, -102 = -5*u - 4*p. Let c = 7 + u. Does 9 divide c?
False
Is (-10)/(-25) + 43/5 a multiple of 9?
True
Suppose -3*a = -5 - 58. Suppose -a = -3*n + 27. Is 8 a factor of n?
True
Suppose -c = 5*o - 163 - 171, 0 = -3*o - 4*c + 214. Let u = o - 43. Is u a multiple of 15?
False
Suppose -75 = -2*p - 7. Is 15 a factor of p?
False
Let t be 105/(-28)*40/(-3). Let q = 89 - t. Is 13 a factor of q?
True
Suppose -3*y + 162 = 4*b, 108 = 2*y - 8*b + 3*b. Is y a multiple of 9?
True
Does 18 divide 36/2 - 2 - -2?
True
Suppose 74 = 2*v - 6*v - g, 0 = 2*g - 4. Let y = v + 27. Is y a multiple of 4?
True
Suppose -2*c - 2*p = -130, -4*c + 117 = -4*p - 127. Suppose 0 = m - 0*m - c. Is m a multiple of 21?
True
Let q(u) = -6*u**3 + 2*u**2 + u. Does 4 divide q(-1)?
False
Let a = 1 - -30. Let i = -51 + 32. Let t = i + a. Is 5 a factor of t?
False
Suppose 0 = 4*j, 5*s - 80 = 2*j + j. Does 7 divide s?
False
Let x(j) = 2*j**3 + 2*j**2 + 3*j - 13. Is x(3) a multiple of 12?
False
Suppose -2 - 7 = -3*t. Suppose a = -t*a + 20. Is a a multiple of 3?
False
Suppose 4*i - 9*i = -15. Suppose -4*n - 5 - 3 = 0, i*b + 3*n = 42. Is 16 a factor of b?
True
Let u be ((-2)/(-4))/(1/106). Suppose o = u - 4. Is 12 a factor of o?
False
Suppose 0*r - 44 = r - 4*u, 2*u - 166 = 5*r. Is r/(-6) - 2/(-3) a multiple of 4?
False
Let d = 24 + -6. Does 6 divide d?
True
Let z(u) = 5*u**2 + 7*u + 4. Suppose -r = 4*k, 4*r - 10 = 4*k - 30. Let c be z(r). Suppose f + 2 = 0, c = 2*y + 5*f + 12. Does 9 divide y?
True
Suppose -4*p + 3*q - 80 = -249, 4*p - 170 = 2*q. Is 13 a factor of p?
False
Let o(i) = 4 - 2 - 2*i + 2. Let r be o(4). Let d = r + 19. Is 15 a factor of d?
True
Let l be 20/1 + 10 + -9. Let g = -10 + 15. Suppose -x = -l + g. Is 16 a factor of x?
True
Suppose 4*u - u = -2*y - 12, 4*y + 24 = 3*u. Let l(z) = 2*z**2 + 7*z - 7. Does 6 divide l(y)?
False
Let t(l) be the third derivative of l**4/4 - 3*l**3/2 - 4*l**2. Is 7 a factor of t(6)?
False
Let f(i) = 49*i + 2. Does 10 divide f(1)?
False
Let o(w) = 2*w**2 - 6*w - 2. Does 17 divide o(-3)?
True
Let v be ((-6)/4)/(1/(-108)). Let g = v - 90. Let f = g - 42. Is f a multiple of 15?
True
Is 5/((-18)/(-4) + -4) a multiple of 9?
False
Let r(k) = -k**2 + 8*k - 4. Let c be r(7). Suppose 7*o = c*o - 40. Let v(h) = -h**3 - 9*h**2 + 6*h + 2. Is 21 a factor of v(o)?
True
Suppose -4*v - 5*c + 45 = 0, 3*v + 2*c - 15 = 2*v. Suppose -v*z + 138 = -32. Is z a multiple of 13?
False
Let d(s) = -6*s**3 - 3*s + s**2 + 4*s + 41*s**3 - 1. Does 10 divide d(1)?
False
Let i(d) = d**2 - 7*d - 3. Let x be i(7). Suppose k - 2 = 2*c + 12, 3*k = 4*c + 36. Is 12 a factor of k*4 - (-1 - x)?
False
Let o = 22 - 15. Does 2 divide o?
False
Let o(s) = s**2 - s + 2. Let j be o(3). Suppose m + j = -4*l, 3*m - 5*l - 27 = -0*m. Suppose 0 = 4*u + 5*c + 4, -m*c = 3*u - 4*u + 20. Is 3 a factor of u?
False
Let y be ((-2)/4*0)/(-1). Suppose -u - u = y. Suppose u = -m + 4*m - 39. Does 11 divide m?
False
Let q = -23 + 104. Is 13 a factor of -2*(2 + q/(-6))?
False
Let d = -15 + 17. Suppose -d*a + 4 = 5*q, 2*q + 2 = -2. Does 4 divide a?
False
Suppose 5 = 2*o + 35. Let v = o + 38. Does 14 divide v?
False
Is (-4)/22 + 1887/33 a multiple of 19?
True
Suppose 0 = 5*t - 3*s + 10, 0*t + t = -4*s - 2. Does 11 divide t*(2 + -9 + -2)?
False
Let x = 3 - 6. Let r = 9 - x. Does 8 divide 40/r*36/10?
False
Let d(l) = l**2 + l**2 - l**3 + 4 + l**2. Does 2 divide d(3)?
True
Suppose 5*u - 109 = 26. Is 21 a factor of u?
False
Suppose 9*c = 13*c - 112. Does 5 divide c?
False
Suppose 3*k - 3 = -3*n, 0 = n - 2*n - 4*k + 7. Suppose -9 = -o + 5*i, 0*i - 13 = -2*o + 5*i. Let b = n + o. Is b a multiple of 3?
True
Suppose -2 + 24 = -2*w. Let l = -17 - w. Let x = l - -13. Is x a multiple of 7?
True
Suppose -2*q + 2*a = -10, 0*q + q + 2*a + 10 = 0. Suppose -3*n = 12, 3*r = 2*n - q*n + 38. Does 10 divide r?
True
Suppose 4*l - 7 - 5 = 0. Let z be 1/l - (-24)/9. Suppose -s - z + 15 = 2*x, s = x + 9. Does 10 divide s?
True
Suppose -33 = 4*j - 113. Let o be 17/((-3)/(-2) - 1). Let a = o - j. Is a a multiple of 7?
True
Let k be (0 + 15/6)*-2. Let i = k + 4. Is 3 a factor of (2/4)/(i/(-12))?
True
Suppose -6*h + 52 = -92. Does 8 divide h?
True
Suppose -a + 5*g + 18 = -11, 3*a = 3*g + 99. Is 5 a factor of a?
False
Let z be (-3)/(-1) - (1 - -2). Suppose z = -4*x + 2*x + 12. Is 2 a factor of x?
True
Let o(h) = h**3 - 10*h**2 + 7*h - 3 + 7 + 2*h. Let q be o(9). Suppose -3 = -q*f + 25. Does 3 divide f?
False
Does 37 divide 1 - ((-75)/1 - 0 - -2)?
True
Suppose -5*j = -3*k - 4 - 1, -j = 3*k - 19. Let a = 7 - k. Suppose 3*n - 60 = -0*n + 3*x, -a*n - 3*x + 20 = 0. Does 7 divide n?
False
Suppose -4*r - 14 = -3*l, 3*l = 6*l + 4*r + 2. Let v(h) = -h**2 + 3 + l + 0*h**3 - 5*h**2 - 6*h + h**3. Is v(7) a multiple of 6?
True
Is (-1)/(-1) + 67 + 0 a multiple of 15?
False
Let x be 1*-4 - -3 - 15. Let m = 26 + x. Is 16 a factor of (-16)/(m/(-4) + 2)?
True
Does 22 divide 22/(((-3)/2)/(-3))?
True
Let r(o) = -o**2 - 4*o + 7. Let s be r(-6). Is 21 a factor of (-21)/s*(-10)/(-2)?
True
Let o = 82 + 73. Is 28 a factor of o?
False
Let p be 0/(-1) + (3 - -11). Suppose 2*c = 2*r - 66, 5*r + p = 3*c + 187. Is 23 a factor of r?
False