k?
False
Is 15 a factor of (-891)/(-12) + (-18)/(-24)?
True
Suppose 3*b + 3*p - 3 = 0, 2*b - p - 14 = -0*b. Suppose b*y - 8 = -3. Is (y - (2 - -18))/(-1) a multiple of 8?
False
Let m(w) be the second derivative of 5*w**4/12 - w**3/3 - w**2/2 + 2*w. Does 13 divide m(-3)?
False
Let u = 4 + 0. Suppose -u*g - 9 = -41. Suppose -z + 2*z - g = 0. Does 4 divide z?
True
Let m = -47 - -207. Is 12 a factor of m?
False
Suppose 4*g + g - z + 204 = 0, 3*g - 5*z = -118. Does 28 divide (g/3)/((-1)/6)?
False
Let d(u) be the third derivative of u**6/120 + 2*u**5/15 + 7*u**4/24 + u**3 - 6*u**2. Is d(-7) a multiple of 2?
True
Let n(m) = -51*m**3 + 2*m**2 + 2*m + 1. Is n(-1) a multiple of 40?
False
Suppose 4 = t + f - 9, -2*f - 1 = -t. Let x = t - -19. Is x a multiple of 14?
True
Let q(o) = 2*o**2 - 9*o + 3. Is q(6) a multiple of 6?
False
Let o = 112 + -67. Let h(a) = -10*a. Let y be h(-3). Let n = o - y. Is 15 a factor of n?
True
Suppose 2*u - 70 - 70 = 0. Does 14 divide u?
True
Suppose 0 = 3*w - 2*m - 35, -4*w + 60 = -3*m + 12. Suppose 0 = -4*c + w - 1. Suppose 39 = c*k - 1. Is k a multiple of 10?
True
Suppose 3*v + 15 = 0, -v = -f - 3*f + 5. Suppose 3*j = -3*p + 216, f*p - 42 = -p + 5*j. Does 23 divide p?
False
Let w(x) = x**3 + 7*x**2 - 3*x - 10. Let s be w(-7). Suppose 19 = 3*y - s. Suppose l - y = -l. Is 5 a factor of l?
True
Suppose -o + 2*c - 1 = 3, -c + 2 = -2*o. Suppose 0 = -4*i - r + 16, o*i + 2*i - 2*r = 18. Suppose 3*s = -2*q + 15, 6*q = i*s + 2*q - 25. Is 5 a factor of s?
True
Let m be (-1)/3 + (-8)/(-6). Let r be m*((2 - 0) + 0). Suppose -o - 2*o = r*a - 26, 3*o - 12 = 0. Does 4 divide a?
False
Suppose -64 = -2*g - m, 4*g + 6 = 5*m + 148. Does 14 divide g?
False
Suppose -3*a + 233 = -2*y, 2*a - 2*y = -0*a + 152. Is 27 a factor of a?
True
Let t = -33 - -50. Let h = t - -5. Is h a multiple of 12?
False
Let q be 22 + 0 + -1 - -3. Let y = 58 - q. Does 17 divide y?
True
Suppose -5*o - p + 20 = -39, -2*o - 2*p + 22 = 0. Suppose -2*t + o = -44. Does 12 divide t?
False
Suppose 3*w = 7*w - 12. Suppose w*k - 141 + 9 = 0. Does 21 divide k?
False
Suppose 5*x = -l + 8 + 66, 3*l = 12. Does 8 divide x?
False
Is (-4 + 2)*-158*(-4)/(-16) a multiple of 6?
False
Suppose -4*x = -312 - 240. Does 33 divide x?
False
Let m(k) = -k**3 - 5*k**2 - 6*k - 3. Let a be m(-4). Let j(d) = d**2 - 3*d - 7. Let t be j(a). Suppose -t*p + 57 = -3. Does 10 divide p?
True
Let d(m) = m**2 - 9*m + 10. Let p be d(7). Let g = p + 0. Let i(q) = -q**3 - 4*q**2 - 3*q - 6. Is 6 a factor of i(g)?
True
Is 9 a factor of 498/54 - (-2)/(-9)?
True
Does 34 divide 4/(-10) + 344/10?
True
Suppose 0 = -5*m + m + 156. Is 26 a factor of m?
False
Let n(p) = -2 - 3*p + 0 + 2*p**3 - p**3. Does 16 divide n(3)?
True
Let m be (-4)/3 - 2/3. Let q = m + 4. Is (5/15)/(q/102) a multiple of 13?
False
Let h be (3/6)/((-2)/(-116)). Suppose h + 44 = q. Suppose 5*g - 130 = -p - 4*p, -3*p + q = 2*g. Is p a multiple of 11?
False
Let d(l) = l**2 - 2*l + 1. Let b(k) = k**3 + 4*k**2 + 2*k - 2. Let v be b(-2). Let a = -2 - v. Does 16 divide d(a)?
False
Suppose -173 = -5*h - 3*t, 0 = -2*h - 0*h + 4*t + 64. Let w be (-1 - -2) + (4 - -1). Suppose w*r = 4*r + h. Is r a multiple of 17?
True
Suppose -4*b - 2 = -5*b. Let h(c) = 11*c - 1. Is h(b) a multiple of 9?
False
Suppose 0 = -2*z + 3*v + 62, 2*z - 58 = 5*v - 0*v. Does 17 divide z?
True
Let q be (-24)/10*30/(-9). Suppose 0*v = -2*v + q. Let w(j) = j + 2. Does 3 divide w(v)?
True
Let k = 8 - 7. Suppose -29 = -5*m + k. Does 18 divide 206/4 - 9/m?
False
Let q = -6 - -4. Let c(m) = -3*m - 2. Let s be c(q). Is 19 a factor of 2/(-4)*s*-19?
True
Suppose -3*c - c = -16. Suppose 0 = q + 2*q - 15, c*f - 2*q = 2. Is 5 a factor of (-6)/(4/f - 2)?
False
Let h be (-1)/((2 + -1)/(-5)). Suppose -h*l + 70 = -160. Suppose -7*c + l = -6*c. Is 23 a factor of c?
True
Suppose 3*v - 437 = -5*b, -v - 2*b = 2*v - 452. Is 7 a factor of v?
True
Let h = -1 + 1. Suppose h = -4*j - 55 + 179. Is 11 a factor of j?
False
Suppose 2*r = 8, 3*r - 41 = -u + 8. Is 37 a factor of u?
True
Let c be -16 - (1 - 0 - 2). Let p be 5/c + 16/(-6). Let z(d) = 2*d**2 - 5*d - 4. Is 16 a factor of z(p)?
False
Let o(x) = -x + 16. Let y be o(10). Suppose 2*f = 5*f + 12, n - 3*f + y = 0. Is 4 a factor of (-184)/n + 2/(-9)?
False
Let s(m) be the first derivative of -m**4/4 + m**3/3 + 14*m - 1. Let l = 9 - 9. Does 7 divide s(l)?
True
Suppose -25 = -2*p + p + 3*c, -5*c + 72 = 2*p. Does 31 divide p?
True
Let t(x) = -x + 3. Let d be t(0). Suppose -28 = -d*b - b. Is 5 a factor of b - (-5 + 1)/(-2)?
True
Let c be (-150)/(-35) + 6/(-21). Let a be (-28 + -1)/(-1 - 0). Suppose -121 + a = -c*x. Is x a multiple of 14?
False
Let t(d) = -d**3 + d**2 + 2. Let v be t(3). Let f = 12 - v. Is 19 a factor of f?
False
Suppose -4*q = -0*q - 168. Suppose -4*w + q = 2*m - 108, -w = 4*m - 279. Let a = m + -36. Is a a multiple of 16?
False
Let l(r) = -r**2 + 9*r - 6. Let n be l(8). Let g be (-1)/(n + (-231)/114). Suppose 4*c - 4*p = 3*c + g, -3*c = -p - 81. Is 9 a factor of c?
False
Suppose 17 = -5*o + 4*a, -4*a - a = -2*o. Let y(h) = 0*h - 2*h + 0*h - 4. Is y(o) a multiple of 2?
True
Let f(o) = -o - 3. Let m be f(-3). Suppose -5*h + 134 + 56 = m. Is 17 a factor of h?
False
Suppose 4*l = -4*q + 7 + 1, -4*q - l = -14. Suppose 3*u = q*u - 87. Suppose t + 2*t - u = 0. Is t a multiple of 12?
False
Suppose -5*a = -8*a + 987. Is a a multiple of 22?
False
Suppose -2*j - 2*j + 3*i = 7, -5 = -5*i. Let z = 1 + j. Suppose h - 4 + 2 = z. Is 2 a factor of h?
True
Suppose 0*m + 5*m - 2*y = 125, -5 = y. Is m a multiple of 4?
False
Let i(z) = z**3 + 9*z**2 - 12*z - 14. Does 3 divide i(-10)?
True
Let s = 0 + 30. Does 6 divide s?
True
Suppose 0*x = 3*x - 9. Let h be ((-3)/(x/4))/(-1). Let b = h + 11. Is 5 a factor of b?
True
Suppose 5*t - 240 + 90 = 0. Let q = t - 9. Is 7 a factor of q?
True
Let k(n) = 2*n**2 + 9*n + 3. Is k(-6) a multiple of 7?
True
Suppose o = 1 + 2. Suppose -o*w + 41 = -31. Is w a multiple of 12?
True
Is 5 a factor of (58/3)/(10/45*3)?
False
Let v be (-8)/(-3) + 6/(-9). Suppose 3*m + v*m - 57 = 2*x, 0 = -5*m + 5*x + 60. Let j = m - -16. Does 9 divide j?
True
Suppose 0 = -y - 3*y + 12. Suppose -2*v = -x + 3 + 9, x = -y*v + 7. Is x a multiple of 6?
False
Is 552/15*(-10)/(-4) a multiple of 21?
False
Suppose 6 + 9 = 3*p. Suppose -q + p*u = 3*q - 13, -3*q - 4*u = -2. Suppose g + 80 = 5*g + q*n, 5*g = 4*n + 74. Is g a multiple of 9?
True
Suppose 4*q + 8 = m - 40, 0 = -3*m - 3*q + 144. Is 12 a factor of m?
True
Suppose -2*n = -2 - 2. Suppose -4*u = 0, a - 2*u + 79 = n*u. Does 17 divide a/(-2) - (-1)/2?
False
Let n(k) = 18*k + 4. Does 11 divide n(11)?
False
Suppose 27*r = 24*r + 1116. Is 34 a factor of r?
False
Let h(n) = -8*n - 9. Let o be h(-6). Suppose -2*f + 124 = 2*f. Suppose 0 = 5*x - f - o. Is x a multiple of 4?
False
Suppose 2*j - 3*h = -j + 105, 5*j + 2*h - 210 = 0. Is j a multiple of 5?
True
Let r = -5 + 7. Let f = -1 + r. Is -4 + 3 + f*9 a multiple of 6?
False
Let t be ((-4)/2)/((-2)/3). Is 18 a factor of 219/6 - t/6?
True
Suppose -o = -3*x + 4*x + 127, x + 383 = -3*o. Let n = -77 - o. Is n a multiple of 36?
False
Is ((1 - -3) + 39)/1 a multiple of 21?
False
Let o = 1 + 1. Suppose g - o*g + 2 = 0. Suppose g*h = 46 + 26. Does 18 divide h?
True
Let q be (20/(-12))/((-1)/3). Suppose 0 = s - 1 - q. Is s a multiple of 6?
True
Let d(r) = 4*r. Let o = -6 + 3. Let z(s) = 8*s. Let l(c) = o*z(c) + 5*d(c). Is 5 a factor of l(-3)?
False
Let t(m) = -m**2 - 1. Let i(v) = 4*v**2 - 2*v + 6. Let d(p) = i(p) + 5*t(p). Let f be d(-3). Let b = 4 - f. Does 3 divide b?
True
Let y be (45/12)/(-5)*-4. Suppose 3*b = -y*c + 3 - 0, 6 = 3*b. Let t(p) = -10*p. Is 4 a factor of t(c)?
False
Let c be (7 - 1) + -1 + -1. Suppose -c*k + 89 = -15. Does 13 divide k?
True
Suppose -a + 323 = -5*v, -3*v = 2*a + v - 688. Suppose 0*i - 2*d - a = -4*i, 0 = i + 5*d - 79. Is i a multiple of 23?
False
Let f = 17 - 7. Let u = -1 + f. Does 3 divide u?
True
Suppose 6 = -2*n - 2*j - 8, j - 33 = 3*n. Suppose -24 + 4 = 5*r. Is r/n + (-144)/(-15) a multiple of 5?
True
Suppose 0 = -l - 2*l. Let i be -3 - (-2 - l/3). Is (8 - 4) + 1 + i a multiple of 4?
True
Suppose 3*k = -8 + 35. Is k a multiple of 9?
True
Let t = -6 + 13. Let a(z) = z**3 - 8*z**2 + 11*z - 10. Let f be a(t). Is 13 a factor of (f/4)/(6/64)?