 a(-8). Suppose p*m + m - 12 = 0. Is m a multiple of 12?
True
Let t(j) = j**3 - 15*j**2 - 16*j + 19. Let c be t(16). Suppose -a = -2*a + c. Is 4 a factor of a?
False
Suppose 3*y = -39 + 429. Does 13 divide y?
True
Suppose -3 + 2 = 2*q - 5*h, -q - 1 = -2*h. Let m be (5/q)/(2/(-6)). Suppose 4*g = 2*g - 5*d + 22, 0 = -m*g - 5*d + 40. Is g a multiple of 5?
False
Suppose -4*j = -3*j - 153. Let d = j - 102. Is 15 a factor of d?
False
Suppose h = 5*h - 432. Suppose 2*t - h + 42 = -v, -t + 40 = -3*v. Is t a multiple of 17?
True
Let w = 39 + 32. Is 22 a factor of w?
False
Let s = -6 + 7. Is 0 + -3 + s - -24 a multiple of 11?
True
Is 15 a factor of 4/(-12)*(0 + -117)?
False
Suppose 18 = 5*k - 152. Is 17 a factor of k?
True
Let w = -76 - -153. Is w a multiple of 11?
True
Let j(p) = 2800*p**2 + 225*p. Let q(k) be the third derivative of -5*k**5/12 - k**4/12 - k**2. Let a(i) = -2*j(i) - 225*q(i). Is a(-1) a multiple of 16?
False
Let m(a) = -a**3 + 14*a**2 - 5*a + 8. Is m(13) a multiple of 14?
True
Is (388/(-4))/(2 + -3) a multiple of 15?
False
Let b(u) = -5*u + 9. Is 13 a factor of b(-6)?
True
Suppose -5*a - 82 = 3*r - 521, 5*r = a - 71. Let b = -52 + a. Is b a multiple of 15?
False
Let h be (-1 - -2) + (3 - -1). Suppose s - 5*k = 3*s - 14, s - 22 = h*k. Let z = s - -4. Does 8 divide z?
True
Let b be (-1)/(-3 - -4)*-26. Let i = b - 11. Suppose 3*w - i = 93. Is 12 a factor of w?
True
Let q = -13 - -53. Suppose -5*a + q = -0*a. Let y = a + -5. Is 2 a factor of y?
False
Let m be ((-12)/8)/((-6)/(-16)). Let s be ((-38)/4)/(2/m). Let n = s - 5. Is 13 a factor of n?
False
Let k(m) = 9*m + 0*m + 1 + 4. Let s be k(4). Suppose 0*a + a = s. Is 15 a factor of a?
False
Suppose -124 = -d + 4*q, -3*d + 236 = -d - 4*q. Is 14 a factor of d?
True
Does 6 divide -4 + (0 - -46) + 0?
True
Let h = 142 + -80. Is 31 a factor of h?
True
Suppose f - 2 = 5*y - 3, 0 = -f + 4*y. Suppose f*n = 33 - 1. Is n a multiple of 8?
True
Let a be (12/(-14))/(6/(-42)). Let f = 8 - a. Suppose p - 3*v + 0*v = 19, 76 = 4*p - f*v. Is 10 a factor of p?
False
Let x(n) = 6*n**2 - 8*n - 1. Let q(j) = -5*j**2 + 7*j. Let g(d) = -4*q(d) - 3*x(d). Is g(2) a multiple of 3?
True
Suppose -4*z = 3*f - f + 48, -4 = 2*z - 4*f. Let n = -6 - z. Suppose 0 = -5*u - 3*m + 11, n*u + 3*m - 10 = m. Is u a multiple of 2?
True
Suppose 2*x + 7 - 15 = 0. Suppose -5*p - x = -14. Does 2 divide p?
True
Let n(k) = k**2 - 10*k + 11. Let m be n(9). Suppose -m*s - 74 = 5*d - 325, -3*s - 159 = -3*d. Does 12 divide d?
False
Let i = 203 + -95. Does 12 divide i?
True
Let p(f) = -f**3 - 6*f**2 - 7*f - 7. Let r be p(-5). Suppose -m = -w - 6, -3*w + r = 2*m + 6. Suppose 6*k = m*k + 30. Is k a multiple of 5?
True
Let f be (-1 + 5)/(6/(-3)). Let i be f/(-8) + 21/12. Suppose i*u = -2*u + 52. Is 12 a factor of u?
False
Suppose 0 = -4*q + 5*z + 19, -2*q + 3 = -4*z - 5. Let l(v) = v**3 - 7*v**2 + 6*v - 6. Let x be l(q). Does 6 divide (-2)/x + 59/3?
False
Let n be (0 - 10)/(2/(-4)). Suppose 4*y + y - n = 0. Suppose 4*u = 2*m - y, -3*m + 5*u + 4 = -6. Is 10 a factor of m?
True
Let y(p) = p**2 + p + 31. Does 8 divide y(0)?
False
Suppose 3*z - 73 - 14 = 0. Suppose z*j - 240 = 25*j. Does 15 divide j?
True
Let f be (1 + -3)*(-3)/2. Suppose -x - 22 = 5*m, 2*m - 5*m = -f*x + 24. Suppose -p = x*a - 63, -p + 0 + 3 = 0. Does 10 divide a?
True
Let x(y) = -5*y**2 + 8*y + 4*y**2 + 0*y**2 - 9. Let i be x(7). Let o(k) = -k**3 - k - 1. Is 9 a factor of o(i)?
True
Let t(r) = r**3 - 7*r**2 + 7*r + 4. Let b be t(6). Suppose 0 = 3*p + k - 51 - b, -5*p + 115 = 5*k. Is p a multiple of 8?
False
Let u(p) = -p**3 - 13*p**2 + 18. Let y be u(-13). Suppose -4*h + 4*f = -96, 0*h = 4*h + 2*f - 66. Let q = y + h. Is q a multiple of 13?
False
Let o = -34 + 49. Is ((-15)/(-4))/(o/80) a multiple of 14?
False
Suppose 1 = l - 2. Let n be 4*((-121)/(-4) + l). Suppose 4*x = -o + 45, -3*o - x + 24 + n = 0. Does 16 divide o?
False
Suppose 0 = 4*q + z - 17, -q + 0*q - 1 = 2*z. Let b = q - -3. Let x = b - -11. Is x a multiple of 14?
False
Let o(n) = -n + 4. Let a = -8 + 0. Is o(a) a multiple of 6?
True
Is 52/390 - (-326)/30 a multiple of 2?
False
Let t = -261 - -181. Let o = 116 + t. Does 12 divide o?
True
Suppose -3*s - 88 = -6*s + 4*w, -4*s - 2*w + 154 = 0. Does 12 divide s?
True
Suppose -17 = -r - 0. Does 17 divide r?
True
Suppose s + 3*s - 153 = -5*o, -148 = -4*s - 4*o. Suppose -s = -t - 4. Suppose j + 0 = t. Is j a multiple of 14?
True
Let j be (18/15)/(5/50). Suppose w - 6 - 14 = -x, -j = 4*x. Is 9 a factor of w?
False
Let y(w) = -w**3 - w**2 + 4*w + 3. Let q be y(-2). Let m = q + 9. Does 4 divide m?
True
Suppose -2*z = f - 62, -206 + 50 = -5*z - 3*f. Does 21 divide z?
False
Let a = 32 + 3. Does 5 divide a?
True
Let q = -60 + 94. Let i = 4 + -3. Suppose v = j + 29, 4*j + i = v - q. Is 8 a factor of v?
False
Let g(v) = 3 - 1 + 1 - 4*v**2 - 15*v + 3*v**2. Does 23 divide g(-8)?
False
Does 29 divide (144/56)/((-3)/(-84))?
False
Let i(s) = s**3 + 8*s**2 - 10*s - 6. Let r be i(-9). Suppose -3 - 9 = -r*y. Suppose 2 = 3*w + 8, 0 = -z - y*w - 4. Does 2 divide z?
True
Let d = 24 + -19. Does 3 divide d?
False
Let l be (-65)/(-2) - (-1)/(-2). Let q = 64 - l. Is 19 a factor of q?
False
Let l = 25 - -30. Is 11 a factor of l?
True
Let w(p) = -3*p - 7. Let h(u) = -7*u - 13. Let t(r) = 6*h(r) - 11*w(r). Is t(-1) a multiple of 8?
True
Let i(l) = -l**3 + l - 63. Let q be i(0). Let m = 88 + q. Is m a multiple of 25?
True
Let z = 7 + -5. Suppose z*x + 15 = x. Is 4 a factor of (-2)/5 + (-171)/x?
False
Does 9 divide 16 + 3/9*9?
False
Suppose -3*f - 2*n - n + 9 = 0, 0 = -2*n + 6. Suppose -t - 4 = -9. Suppose 5*z = r + r - 29, f = r + t*z + 23. Is r a multiple of 2?
True
Let l(w) = -2*w**3 - w + 1. Let y be l(1). Let c(g) = 12*g**2 + 4*g + 3. Is c(y) a multiple of 16?
False
Let s be ((-12)/(6/3))/(-2). Suppose s*z = 3 + 99. Is z a multiple of 20?
False
Suppose -3*o + 85 = 5*z - 0*o, 5*o + 25 = 0. Is ((-16)/z)/(1/(-20)) a multiple of 8?
True
Let h = 42 + -29. Suppose -h = -2*g + 3*o, -o + 30 = -5*g + 82. Is g a multiple of 4?
False
Let z(t) = t**3 + 7*t**2 + 3*t + 1. Let v be z(-6). Suppose 1 = 5*g - v. Suppose 0*c = -g*c + 72. Does 9 divide c?
True
Does 19 divide 6*(16 + -6) - (-1 + 4)?
True
Let n(f) = 4*f**2 - 2*f. Let k be n(7). Let l = k - 128. Is 12 a factor of l?
False
Is 6 a factor of (54/(-15))/(12/(-80))?
True
Suppose 5*x - 180 = 4*k, -x + 36 = 5*k - 4*k. Does 18 divide x?
True
Let s = 15 - -8. Is 12 a factor of s?
False
Let y(u) = 15*u**3 + u**2. Let t be y(1). Is 3 a factor of (-24)/t*20/(-3)?
False
Let i(p) = -8*p**3 - p**2 + p - 1. Let g be i(1). Let h = -26 + 11. Let o = g - h. Is 6 a factor of o?
True
Suppose 5*l + 41 = -44. Let v = l - -26. Is v a multiple of 8?
False
Let o(v) = -8*v + 3. Let p be o(-4). Suppose 125 = 4*q - p. Does 10 divide q?
True
Let j = 23 + -10. Does 5 divide j?
False
Let x be -2*-1*(2 + -1). Suppose -3*m + 70 = -3*a - 8*m, -88 = 4*a + 4*m. Let w = x - a. Is w a multiple of 11?
True
Let y(j) = j**2 + 2*j + 3. Let x be y(-2). Suppose -3*i + 6*i = 3, x*z = i + 329. Suppose -87 = p - 5*p - h, -z = -5*p - h. Does 8 divide p?
False
Let v(o) = -o**2 + 16*o - 11. Let p(j) = 4*j - 7. Let f be p(5). Does 15 divide v(f)?
False
Let y = 414 - 55. Is y a multiple of 13?
False
Suppose -1 = 3*w - 3*k - 13, -w - 5*k - 8 = 0. Suppose 3*q - w*q - 32 = 0. Is 16 a factor of q?
True
Is 7 a factor of ((-230)/4)/((-6)/12)?
False
Let s = 97 - 65. Does 17 divide s?
False
Suppose 540 = 7*x - 321. Is x a multiple of 32?
False
Suppose -t = -6*t - 55. Let z = -7 - t. Is z a multiple of 2?
True
Let b(y) = -y**3 - 14*y**2 - 7*y - 23. Is b(-14) a multiple of 9?
False
Suppose 95 = 3*r - 337. Is 24 a factor of r?
True
Suppose 2*b = 5*b - 324. Does 18 divide b?
True
Let f(b) = b**3 + 6*b**2 + 4. Let o be f(-6). Suppose 0 = -o*i - 0*i. Suppose -3*g = -i*g - 27. Does 9 divide g?
True
Let p = 274 - 113. Is 23 a factor of p?
True
Let l = -334 + 717. Let n = l + -222. Suppose -5*w - 3*o + n = 0, w + 7 = 3*o + 50. Is w a multiple of 17?
True
Suppose 4*i + 11 = d, -2*d + 3*i = -2 - 10. Suppose s - 2 = -2*w, d*w + 0*s = 3*s + 12. Suppose w*y = -2*y + 144. Is y a multiple of 18?
True
Suppose -5*g - 3*p + 7*p - 38 = 0, 0 = 4*g - 5*p + 34. Let q = -5 - g. Is 12 a factor of (-12)/3*(-6)/q?
True
Let u(p) = -p**3