ivide q?
True
Suppose 2*x = 5*d - 2*x + 21, 4*d = -x - 21. Let y = d + 2. Let a(m) = m**2 + 1. Is a(y) a multiple of 10?
True
Let j = -8 - -11. Let c be (-2)/2 - (-7 - -1). Let w = c - j. Is 2 a factor of w?
True
Suppose -3*v - x + 71 = -2*v, 4*v - 274 = -2*x. Does 33 divide v?
True
Let d(o) = 8*o**3 + o**2 - o + 1. Suppose -4*m + 8 = -0. Suppose -m*p = -0*p - 2. Does 8 divide d(p)?
False
Suppose -7*j = -2*j - 20. Does 28 divide (-63)/(-1 - 2)*j?
True
Let y be (-6)/(-3) - (-1092)/(-6). Is 11 a factor of 12/10*y/(-8)?
False
Suppose -2*t - 3*t + 295 = 0. Does 13 divide t?
False
Let r = -13 + 5. Let m = r + 12. Suppose 13 = 4*n - 3, m*n = -5*b + 31. Is 2 a factor of b?
False
Let t(u) = -u**2 + 10*u - 12. Let d be t(8). Suppose -3*q = 15, -d = -3*b + 6*b + 2*q. Suppose -b*l - c - 18 = -7*l, 0 = -5*l - 5*c. Is l even?
False
Let b(u) = 10*u - 3. Let g = -10 + 16. Does 24 divide b(g)?
False
Suppose -10*u + 13*u = 546. Is u a multiple of 40?
False
Suppose -4*t + 2 = -6*t. Let v be 49*(1 + t + -1). Let o = v + 79. Does 15 divide o?
True
Let o(b) = 32*b**2 + 6*b + 8. Let v be o(-4). Is 16 a factor of (-24)/(-30) - v/(-5)?
False
Let n = 1 + 11. Is n a multiple of 4?
True
Suppose -3*v = 2 + 10. Let m(t) = 2*t**2 + 4*t - 4. Let l be m(v). Suppose -l = 7*x - 11*x. Is x a multiple of 2?
False
Let z(s) = -s**3 + 10*s**2 - 12*s + 9. Is z(7) a multiple of 9?
True
Suppose 4*m - 23 = -4*a - 3, -15 = -3*m + 3*a. Is 2 a factor of m?
False
Let v be 3 + (-2 - -1) - -115. Suppose 0 = -h + 4*h - 3*a - v, 0 = 3*h - a - 109. Let j = h + 0. Is 13 a factor of j?
False
Suppose 0 = 5*a - 3*y - 394, y = -y + 4. Is a a multiple of 20?
True
Let u = 99 - 79. Is u a multiple of 2?
True
Suppose 0 = c + 2*d + 69, -3*c + 3*d - 2*d = 193. Let i = c + 95. Is i a multiple of 10?
True
Suppose 2*f = 2*q + 16, 3*f - f - 5*q - 4 = 0. Let n = f + -2. Is n a multiple of 5?
True
Suppose 0*s = -4*s. Is 6 a factor of 12 - (s + -2 + 2)?
True
Let l(k) = -k**2 - k - 2. Let x be l(-3). Let w(s) = s + 11. Let f be w(x). Does 6 divide 8 - (3 + (-6)/f)?
False
Let l(b) be the first derivative of b**3/3 - b + 2. Let v be 4 - (3 + -2 - 2). Is l(v) a multiple of 18?
False
Let m be ((-12)/8)/(-3)*72. Suppose -4*w + m = -0*w. Is w a multiple of 5?
False
Let q be -2*(-4 + 0 + 2). Is 34/q*(-16)/(-4) a multiple of 14?
False
Let g(v) = v**3 + 8*v**2 - 5*v - 7. Let f be g(-7). Let c = f - 30. Is 12 a factor of c?
False
Let l = -16 - -10. Does 6 divide (l/5)/(5/(-50))?
True
Suppose 5 = -5*x + 4*b, -5*b = 3*x - 4*x - 1. Let d(c) = 9*c**2 + 2*c + 2. Is 9 a factor of d(x)?
True
Suppose -89 - 39 = -4*r. Is 16 a factor of r?
True
Let h(f) = 39*f - 21. Is h(5) a multiple of 9?
False
Let y(b) = -5*b - 4. Does 16 divide y(-4)?
True
Let c be 1 - 1 - 1 - 6. Let d = c - -10. Suppose -4*q + 2*q = v - 30, 0 = -d*q - 4*v + 55. Is 13 a factor of q?
True
Suppose 2*v = 6*v + 5*l - 289, -4*l - 178 = -3*v. Let p = 46 - 2. Let a = v - p. Does 11 divide a?
True
Let o(u) be the first derivative of u**5/20 + 2*u**4/3 + 5*u**3/6 - 3*u**2 - 3*u + 2. Let s(x) be the first derivative of o(x). Is s(-7) a multiple of 6?
False
Suppose -v + 17 = -5*g - 39, -250 = -5*v - 5*g. Is v a multiple of 17?
True
Let n be -2 + 3 + 0 - 10. Is 9 a factor of 1*(3 + -4)*n?
True
Let c be ((-44)/3)/((-20)/(-690)). Does 14 divide (-16)/72 - c/9?
True
Suppose 0 = 3*q - 2 - 7, 0 = 5*c - 5*q + 120. Let t be 6/(-27) - (-212)/(-18). Let n = t - c. Is 9 a factor of n?
True
Let t(m) = 8*m**2 - 3*m + 4. Let n be ((0 - -4) + -1)*-1. Let s be t(n). Is 14 a factor of s/3 - 1/3?
True
Suppose -6*u + 161 = -271. Is u a multiple of 6?
True
Let x be -1*3*(-2)/(-6). Let k be (x - 10)/((-1)/2). Suppose 0 = 3*g - 4*g + k. Does 11 divide g?
True
Suppose -5*g - 182 = -18*g. Is g a multiple of 10?
False
Let b(k) = 3*k - 2. Let i(t) = -t + 1. Let o be i(3). Let u = 6 + o. Does 5 divide b(u)?
True
Is 31 a factor of ((-80)/24)/(4/(-186))?
True
Let p(t) = t**3 - 6*t**2 - 5*t - 6. Suppose 0 = 3*b - 4 - 17. Does 3 divide p(b)?
False
Suppose -2*p - 4 = -4*f + 8, 22 = 4*f + 3*p. Suppose f*n + 49 = 149. Does 13 divide n?
False
Suppose 0 = h - t - 5, -5*t = -5*h - 8*t + 57. Is 7 a factor of h?
False
Let i = -115 - -222. Is 19 a factor of i?
False
Let y(z) = 6*z**3 + 5*z**2 - 5. Let r(m) = m**3 - m**2 + 1. Let x(p) = 6*r(p) + y(p). Let w be x(1). Let g = w - 5. Is 6 a factor of g?
False
Let j be 2/9 + (-4592)/(-72). Let w = j - 38. Let t = w - 18. Is 3 a factor of t?
False
Is ((-34)/6)/((-1)/9) a multiple of 13?
False
Suppose -4*u + 280 = -0*u. Suppose 2*i - u = -0*i. Does 11 divide (i + -1)/1 - 1?
True
Suppose -r + 2*r + 7 = 0. Let h = r + 10. Suppose 0 = -h*x + 9. Does 3 divide x?
True
Let t = 83 + -56. Let l = 54 - t. Is 3/12 - l/(-4) a multiple of 7?
True
Suppose -24 = -3*a - 0*a. Is a a multiple of 4?
True
Suppose 132 = 222*l - 220*l. Is 5 a factor of l?
False
Let z = -29 + 64. Is 12 a factor of z?
False
Let k be (-28)/(-6) + (-4)/6. Suppose -k*g + 16 = -0*g. Suppose u + 5*b + 17 - 7 = 0, 5*b - 5 = -g*u. Does 2 divide u?
False
Let h be ((-16)/6)/(14/399). Let l = 116 + h. Is 11 a factor of l?
False
Let o(k) = -3*k + 3. Suppose 0 = -5*j - 5*b - 60, -18 = j + 5*b - 2*b. Let w(p) = 12*p - 12. Let d(c) = j*o(c) - 2*w(c). Does 6 divide d(5)?
True
Let k(c) = -c - 5. Let d be k(-4). Let l = d + 5. Suppose -4*w + 5*g + 97 = 0, -w + 2*g + 21 = l*g. Is 17 a factor of w?
False
Suppose -4*s + 569 = -p, 4*s - 2*p - 280 = 2*s. Does 13 divide s?
True
Suppose 2*r = c - 38, -2*c - 73 = -4*c + 3*r. Does 8 divide c?
True
Let y(n) = -8*n**3 + 2*n**2 + 3*n. Is 22 a factor of y(-2)?
True
Suppose -4*d + 56 = 4*c, 0 = -2*c + 2*d - 0*d + 44. Is 3 a factor of c?
True
Is (-1)/(3/3) - -442 a multiple of 63?
True
Let n(b) = -72*b**2 + b + 1. Let g(u) = -216*u**2 + 3*u + 3. Let j(x) = 2*g(x) - 7*n(x). Is j(-1) a multiple of 24?
True
Suppose -3*k = -71 + 11. Suppose 2*x + 5*q - 47 = 0, -2*x + 17 = 3*q - k. Suppose x = 4*l - 33. Is l a multiple of 4?
False
Suppose 10 = -5*u, -u - 29 - 45 = -4*n. Does 9 divide n?
True
Let k be ((-1)/2 - 0)*82. Let u = -27 - k. Is 7 a factor of u?
True
Is (-2466)/(-27) + 2/3 a multiple of 24?
False
Let g(d) = -d**3 - 10*d**2 - 1. Let b be g(-10). Let n be 1 + b - (4 - 6). Suppose 69 = n*f + f. Is f a multiple of 13?
False
Let m = 19 - 13. Is 2 a factor of ((-20)/35)/(m/(-21))?
True
Does 8 divide -4 + 232/60 - 2228/(-60)?
False
Let f(m) = 62*m**2. Is 5 a factor of f(1)?
False
Let a(i) = 2*i**2 + 15*i + 27. Is 27 a factor of a(-12)?
True
Suppose 2*z - 2*r = -10, 1 + 1 = -z - 2*r. Is 4 a factor of (-34)/z + 2/4?
False
Suppose 4*o - o - 57 = 0. Let f = o + -10. Does 3 divide f?
True
Suppose -6*m + 5*m + 2 = 0. Let k be ((-10)/4 - -2)*-4. Suppose m*x + 5*n = 77, -37 = -k*x - 0*x + 3*n. Is 13 a factor of x?
True
Let n(h) = -14*h + 13. Let y(g) = -21*g + 19. Let r(t) = 7*n(t) - 5*y(t). Is 9 a factor of r(4)?
False
Suppose -2*l - 35 = -f, 0 = -4*f - 5*l + 19 + 108. Is 8 a factor of f?
False
Let v = 186 + -24. Is v a multiple of 16?
False
Let i = 0 - -7. Let x = -2 + i. Suppose x*b - 230 = -0*b. Is b a multiple of 16?
False
Let x = 0 - 0. Suppose x = o - 19 - 13. Suppose 0 = 2*b + 2*l - o, -5*b - 3*l = 4 - 76. Is b a multiple of 6?
True
Let p(d) be the first derivative of -d**2/2 - 4*d - 1. Does 3 divide p(-7)?
True
Suppose -12*k = -6*k - 2016. Does 33 divide k?
False
Suppose -4 = h, -2*q + 4*h + 15 = -q. Is 15 a factor of (34 - q)*(-18)/(-21)?
True
Suppose 8*l - 4*d = 3*l + 87, -5*l = d - 72. Is l a multiple of 6?
False
Suppose -22 = 5*r + 8. Is 42/12 - r/4 even?
False
Is 15 a factor of (-480)/(-25) - (-4)/5?
False
Suppose 3*z = -1 + 10. Let c be 2*2/(-4) + z. Suppose -c*s - 9 = -65. Does 14 divide s?
True
Suppose 28 = -2*b + 236. Does 26 divide b?
True
Suppose t = -2*u + 26 - 8, 0 = 3*t - 2*u - 14. Let m = 3 - 1. Let h = t + m. Does 5 divide h?
True
Let z be ((-66)/(-15))/((-2)/(-5)). Let r = z - 7. Suppose o - r*o = -144. Is o a multiple of 16?
True
Does 19 divide -1*-1*(20 - 1)?
True
Suppose -i + j + j = -100, i + 4*j - 124 = 0. Suppose 2*t - i = 62. Suppose t + 11 = 3*u. Is 19 a factor of u?
False
Let a be 3*((-12)/(-9) + -1). Let k be 2/(-3)*57/a. Let o = k - -69. Is 17 a factor of o?
False
Let o = -10 + 19. Let z = -4 + o. Suppose -z*w + 49 = -46. Does 10 divide w?
False
Is 2 a factor 