 Let u = -5 - -8. Suppose m + 3 = a, -u*m - 27 = -g*a - 2*m. Does 8 divide a?
True
Let k be (-41)/(-13) - 10/65. Is 1*k/((-3)/(-23)) a multiple of 23?
True
Does 12 divide (-120 + 0)*(-8)/20?
True
Suppose -9*d + 24 = -7*d. Is 3 a factor of d?
True
Suppose -2*z - 4 = -z. Is 1/z*-6*20 a multiple of 13?
False
Let u = -12 - -21. Is 8 a factor of u?
False
Let d = 8 - 8. Let w = 19 + d. Is 5 a factor of w?
False
Suppose -5*s + 10 = -3*b, b + 2*s - 6 = -2. Suppose f + b*f = 3. Suppose 0 = f*u - 8 + 2. Is u a multiple of 2?
True
Let j be 12*-2*2/(-8). Suppose 3*b = -3*k + 3, 0 = j*k - 2*k. Is b + 15 + -1*2 a multiple of 6?
False
Let h(r) = 0 + 4*r + 0 - 1 - 2 + r**2. Suppose -y = -2*y - 7. Does 7 divide h(y)?
False
Let p be 1/(2 - (-21)/(-12)). Suppose d + p*m = -6, 0 = 2*d - 4*m - 3 - 9. Is d a multiple of 2?
True
Let r = 9 + -5. Let i be 4/16 + 15/4. Suppose 5*w + 125 = 5*o, -i*w + r = -0*w. Is 14 a factor of o?
False
Suppose -7*i + 60 = -2*i. Suppose -4*j - i = -136. Is j a multiple of 11?
False
Let h = -21 - -41. Is 10 a factor of h?
True
Let v = -39 - -27. Let p be (2/3)/((-2)/v). Suppose -42 = -p*b + 66. Does 16 divide b?
False
Let k(q) = 1. Let u(z) = -z - 5. Let j(w) = -9*k(w) - 2*u(w). Let h be j(2). Suppose -2*s - h*c = -7, -25 = -3*s + 4*c + 43. Does 16 divide s?
True
Suppose 0 = w + 2*w - 162. Let n = w + -38. Is 8 a factor of n?
True
Let n(g) = 16*g - 3. Let r be n(3). Suppose 6 = -3*j + r. Is 13 a factor of j?
True
Suppose -4*f + 155 = -0*v + 3*v, 4*v = -5*f + 205. Is 45 a factor of v?
True
Is 4 + -1*(-3 - -2) a multiple of 5?
True
Let b(n) = n**2 + 6*n + 7. Is 23 a factor of b(-8)?
True
Is 5 a factor of -1 + -3 - (17 - 46)?
True
Let z(d) = -3*d**3 - 1. Let k be z(-1). Suppose -k*l + 5*l = 66. Is 6 a factor of l?
False
Suppose -2*r = 3*n - 5*r - 27, -3*n + 5*r + 29 = 0. Does 19 divide n/3*114/8?
True
Let p(w) = w - 1. Let t(m) = -m. Let i(q) = 2*p(q) + 3*t(q). Let x be i(-7). Suppose 84 = -g + x*g. Is g a multiple of 20?
False
Suppose -4*r = -277 - 463. Suppose -4*c - c = -r. Does 13 divide c?
False
Let u = -121 - -173. Suppose 24 = 2*b - u. Does 19 divide b?
True
Suppose 0 = -x + 4*x + 3*o - 66, -x - 4*o + 7 = 0. Suppose -y - 33 = -2*v - 2*y, -y = -2*v + x. Is 11 a factor of v?
False
Is 18 a factor of 602/6 + (16/(-3) - -5)?
False
Suppose 2*n = 5*n - 108. Is n a multiple of 7?
False
Let i = 246 - 166. Is i a multiple of 10?
True
Let f(t) = 9*t**2 - t + 14. Does 9 divide f(-4)?
True
Let b be 90/4 - 15/10. Let x = b - 17. Is x a multiple of 2?
True
Suppose 9 = -3*q + 3*x + 39, 2*q = -4*x + 8. Let i(n) = 2 - 6 - q*n + 0. Is i(-5) a multiple of 18?
True
Let f(u) = -16*u - 23. Is f(-7) a multiple of 15?
False
Suppose 0*g = -4*g + 4. Let t be ((-9)/(-4))/(g/4). Suppose 76 = 2*m + 4*p, -5*p = -11 - t. Is m a multiple of 15?
True
Let o(n) = 15*n**2 - 2*n - 2. Does 21 divide o(2)?
False
Suppose -5*w - 103 = -4*l, 55 = 2*l - 0*w + w. Suppose 2*o = l + 7. Does 13 divide o?
False
Let z = 85 - -43. Is z a multiple of 25?
False
Suppose 0 = 3*a + 12, -7*v + 3*v + a + 12 = 0. Suppose 3*m + v*u - 28 = 26, -5*m = u - 90. Does 6 divide m?
True
Let t be (3 + 21/9)*-3. Does 11 divide (-1272)/t*4/6?
False
Suppose 5*d + 13 = 2*h + 2, -5*d - 14 = -3*h. Let f = 2 + h. Suppose -5*j + 25 = 0, t - 2*t + f*j = 9. Is 12 a factor of t?
False
Suppose -c + 165 = -2*s - 2*s, -5*s = -5*c + 210. Let k = 101 + s. Does 15 divide k?
True
Suppose 4*z - 3*b - 2*b + 100 = 0, -z - 40 = -5*b. Let r(p) = p**2 + 3*p + 2. Let t be r(-3). Does 4 divide 8/z*(-20)/t?
True
Suppose 0 = 4*y + 5*h - 26, 2 = 2*y - 3*h - 0. Suppose -3*j = 2*f + f - 21, -y*j + 25 = 3*f. Suppose -j*z - 6 = -3*k - 27, z - 4*k = 15. Is z a multiple of 3?
True
Suppose -8*x + 76 + 268 = 0. Is x a multiple of 14?
False
Is 19 + 2*4/8 a multiple of 10?
True
Is 1/(-4) - 763/(-28) a multiple of 11?
False
Let w(i) = i - 10. Let v be w(5). Let r(d) = 3*d**2 - d + 6. Let y(q) = -2*q**2 - 3. Let k(b) = -6*r(b) - 10*y(b). Is k(v) a multiple of 14?
True
Is 23 a factor of 1 + 91 - (-2)/(-2)*0?
True
Let y = -61 - -85. Is y a multiple of 8?
True
Suppose 5*m - 25 = 60. Is m a multiple of 17?
True
Let b(h) = -40*h**3 + 0*h - 47*h**2 - 2*h - 1 + 45*h**2. Is 13 a factor of b(-1)?
True
Let h = 56 + -35. Is 18 a factor of h?
False
Let j = 70 + -20. Suppose 0 = -4*m - m + j. Let c = 33 - m. Does 14 divide c?
False
Let m be (-2)/6*(0 + -9). Suppose 4*b - m*h + 1 = 4, -3*h = 2*b - 15. Suppose -b*o = -0*o - 48. Is o a multiple of 8?
True
Let z(d) = d**2 + 10*d + 5. Let h be z(-9). Is ((-50)/h - 4)*2 a multiple of 3?
False
Let t(f) = -3 - 5 - 1 - 5*f. Does 10 divide t(-4)?
False
Let o(b) = -2*b - 1. Is o(-13) a multiple of 16?
False
Suppose 12 = 3*w - 33. Is 15 a factor of w?
True
Suppose -d - 1 = 0, -3*g + d + 14 + 53 = 0. Suppose 3*x + 5*n + 3 = -g, -3*x = 2*n + 10. Does 25 divide (x + -2 - -31) + -2?
False
Let h = 32 - -83. Is h a multiple of 23?
True
Let t = 9 - 5. Suppose 54 = t*q - 6*q. Let c = q - -45. Is 11 a factor of c?
False
Let u(x) = x**2 - 5*x - 8. Let f be u(6). Let p be 40 - f*(-1)/(-2). Let i = 59 - p. Is 7 a factor of i?
False
Let l = -36 - -60. Suppose 108 = p + 2*p. Let o = p - l. Does 12 divide o?
True
Suppose p - 8 = -7*w + 2*w, -p - 8 = -3*w. Let c be -1 + 4 + (0 - 2). Does 8 divide c - 0 - 14/p?
True
Suppose 90 = o + 4*p, 44 - 224 = -2*o - 3*p. Is 11 a factor of o?
False
Let v(r) = -r**3 - r**2 + r + 1. Let p(j) = -4*j**3 + 6*j**2 + 15*j - 6. Let g be (1/2)/(1/(-2)). Let f(z) = g*p(z) + 5*v(z). Does 11 divide f(-10)?
True
Suppose -187 = -5*t + 2*j, 2*t = 5*t + j - 121. Does 13 divide t?
True
Let o be (54/(-15))/((-3)/(-10)). Let y = o + 17. Suppose 0*p + 24 = 3*t - y*p, 0 = -4*t + 3*p + 32. Is 8 a factor of t?
True
Suppose -3*v - p + 29 = 0, 2*v - 20 = -0*v - p. Does 21 divide v/(-6)*80/(-3)?
False
Let m(f) = 2*f**3 - 6*f + 6. Is 26 a factor of m(5)?
False
Let i(a) = 18*a**2 + 6*a - 1. Let g(d) be the second derivative of 35*d**4/12 + 11*d**3/6 - d**2 + d. Let h(u) = 4*g(u) - 7*i(u). Is h(1) a multiple of 8?
False
Does 11 divide (-40)/30 + (-103)/(-3)?
True
Let h = -12 + 27. Suppose 0 = g + 4*g - h. Suppose 0 = r - 5*y + 14, 6*r - 42 = r - g*y. Does 6 divide r?
True
Suppose 0 = -0*k - 3*k - 6. Let d be k + (29 - 2/2). Suppose -d - 19 = -5*p. Is 7 a factor of p?
False
Is 12 a factor of (-6)/6 - 0 - (-18)/1?
False
Let s(a) = a - 1. Let i be s(1). Let t(n) be the third derivative of -n**6/120 + n**4/24 + 13*n**3/6 + 4*n**2. Does 10 divide t(i)?
False
Let c(k) = 2*k**2 + k + 192. Is 20 a factor of c(0)?
False
Let p(u) = 20*u**2. Does 20 divide p(-1)?
True
Suppose 2*l + 12 = -l. Let z = 8 + l. Suppose -z = 5*t - 4*u - 76, 3*t - 42 = 3*u. Is t a multiple of 9?
False
Let a be (-10)/(-4)*(-114)/(-5). Suppose -3*m - l = -24, 5*m - l = 3*l + a. Does 9 divide m?
True
Suppose u = -2*y - 0*u + 47, 2*u = -2. Does 13 divide y?
False
Suppose 0*r + 3*r = 126. Does 8 divide r?
False
Let o(k) be the second derivative of k**4/12 + k**3/2 - k**2/2 - 4*k. Is o(-5) a multiple of 3?
True
Suppose -2*p - 4*w = 30, -w - 2*w = -p - 10. Let c = p + 30. Does 17 divide c?
True
Suppose 16*o = 23*o - 161. Does 3 divide o?
False
Let k = 99 + -55. Is 7 a factor of k?
False
Suppose 0 = -5*p, -5*p - 8 = -3*x + x. Let w be 131/2 - 1/(-2). Suppose x*k = k + w. Is 11 a factor of k?
True
Suppose -4*d + 180 = -5*a, -8 = -d + 5*a + 22. Is 17 a factor of d?
False
Let j = 18 + 7. Is j a multiple of 15?
False
Suppose 2*k - 4 = -16. Let t(z) = -2*z - 7. Let c be t(k). Is (16/10)/(1/c) a multiple of 8?
True
Suppose -7 = -2*r + 3. Suppose 0 = -r*c + 343 - 93. Suppose -4*f + c = -30. Is 7 a factor of f?
False
Is 17580/135 + (-4)/18 a multiple of 10?
True
Let i(m) = 8*m - 4. Let a be i(3). Suppose 4*s - 2*s + a = 4*w, 12 = 2*w - 2*s. Does 3 divide w?
False
Suppose 4 = -2*z - 4*c, 4*c - 7*c - 3 = 2*z. Suppose z = 2*s - 60 - 22. Is s a multiple of 16?
False
Let w = 8 + 18. Suppose 3*b + w = i, 9*i - 5*b - 90 = 4*i. Is 11 a factor of i?
False
Let d(z) = z**2 - 7*z + 7. Let m(j) = j**2 - 7*j - 12. Let c be m(9). Let u be d(c). Is 39/(u*6/4) a multiple of 18?
False
Suppose -2*n - 3*a - 155 = 2*a, -5*a = 5. Let i(s) = -12*s + 5. Let o be i(4). Let t = o - n. Is 17 a factor of t?
False
Suppose 5*p - 2*i = -173, -11 + 31 = 5*i. Let b be p/(1/1 - 2). Does 17 divide b + 