s x/(-4) - (-3)/6 a multiple of 9?
False
Let g be 3/6*2 + -3. Let c be (-204)/21 - g/(-7). Is ((-12)/(-5))/((-3)/c) a multiple of 8?
True
Suppose -5*z + 4*h + 677 = 0, 4*z + 4*h - 3*h = 550. Is z a multiple of 10?
False
Suppose -2*m + 67 = m + q, 0 = -m - 3*q + 17. Let g = m - 0. Does 23 divide g?
True
Suppose -34 = -l + 5*y, 4*y + 5 = -7. Suppose -2*f + f = -l. Is 15 a factor of f?
False
Does 16 divide ((-40)/5)/((-2)/24)?
True
Suppose -8*o + 304 = -0. Is 19 a factor of o?
True
Let k(r) = r - 15. Let d be k(8). Let q = d + 8. Let m = 33 - q. Does 22 divide m?
False
Suppose -4*j + 8*p + 645 = 3*p, -2*j + 5*p = -335. Is 8 a factor of j?
False
Let u be 12/7*154/4. Let x = 102 - u. Is x a multiple of 9?
True
Suppose 2*d + 6 = 5*k - 12, 0 = 2*d - 4*k + 16. Let h be 7/(42/d)*69. Let s = -28 - h. Is s a multiple of 9?
True
Does 22 divide (-8)/2*4/((-16)/154)?
True
Let y(q) = -q**3 - 10*q**2 + 33*q + 19. Is 21 a factor of y(-13)?
False
Suppose -3*w = 78 - 243. Is 21 a factor of w?
False
Suppose -3*t - 3 + 0 = 0. Is 8 + -10 - 23*t a multiple of 21?
True
Let g be -2 + 1 - (4 - -46). Let u = 71 + g. Is 10 a factor of u?
True
Suppose 5*y - 4*d - 49 = 0, y - 3*d = 7 + 5. Suppose f - 42 = -y. Is 12 a factor of f?
False
Let d = 12 + -8. Suppose 0*g - 2*g - 2*q = -d, -5*q - 5 = 0. Suppose -5*h - g*a + a = -197, 44 = h + 5*a. Is 15 a factor of h?
False
Suppose w = -0*w - 30. Let s = w - -46. Does 3 divide s?
False
Let w(v) = v. Let m be w(3). Suppose 0 = g - 0*g - m. Is 9 a factor of 28/3 + (-1)/g?
True
Suppose 5*c - 277 - 514 = -2*k, -5*k = -c + 142. Is c a multiple of 27?
False
Suppose -3*g + g - 13 = -3*f, -3*f + 4*g = -11. Let v(y) = y - 3. Let d be v(f). Suppose 3*w - 18 = 5*p - d*p, -5*w + 3 = 4*p. Does 2 divide w?
False
Let g = -111 + 159. Is g a multiple of 12?
True
Let y be (-9)/12 + 19/4. Suppose -2*c - 3 = -d, -27 = -4*d - 3*c - y. Suppose 0*h - 12 = -4*q - h, -d*h = 4*q - 28. Does 2 divide q?
True
Is 2*3*((-126)/(-4))/7 even?
False
Let m(n) = 6*n**3 - 3*n**2 + n + 2. Let a be m(2). Let t be (a/(-25))/((-2)/5). Suppose -4*j + t = -16. Does 5 divide j?
True
Let m = 4 - 3. Suppose 2*x + v = m, 2*v = x + 3*x + 18. Is (-85 + 1)*x/4 a multiple of 18?
False
Let y be (-4)/(-14) + (-2)/7. Suppose 4*m = -y*m + 8. Suppose -l + 5*l + 5*i = 200, -m*i + 98 = 2*l. Is 15 a factor of l?
True
Let j(l) = 11*l**2 - l. Let a be j(-1). Let h be 8/a - 656/(-6). Suppose -4*v - v = -h. Is 22 a factor of v?
True
Does 4 divide 298/15 + (-4)/(-30)?
True
Suppose a - 1 = 2. Suppose a*t = 4*t - 2. Suppose 5*o - 68 = t. Is o a multiple of 14?
True
Let c(m) = -m**3 + 7*m**2 + 8*m + 3. Let y be c(8). Suppose -28 - 8 = -3*d + 4*u, d + 1 = -y*u. Is d a multiple of 7?
False
Let a(y) = 3*y**2 + y + 1. Let j be a(2). Let p = j + -6. Is 11 a factor of (-512)/(-36) - 2/p?
False
Suppose 5*j + 42 + 103 = 0. Let m = j - -43. Is m a multiple of 5?
False
Let l = 66 + -37. Is l a multiple of 29?
True
Suppose -7*c + 1736 + 133 = 0. Does 52 divide c?
False
Let h(t) = -3*t - 1. Let n be h(-8). Let m = 35 - n. Suppose m = -0*q + 3*q. Is q even?
True
Let q(m) = 26*m**2 + 2*m. Let r be q(-2). Suppose 0*o = -6*o + 18. Suppose o*d = -d + r. Is 22 a factor of d?
False
Let y = 17 + -7. Suppose s + y = 3*u, -3*s + u = 2*u. Is 1 + 0/s - -2 a multiple of 3?
True
Suppose -11 = -5*d - 1. Let y(c) be the third derivative of c**5/30 + c**4/24 + c**3/6 + c**2. Is y(d) a multiple of 11?
True
Is 40*1 + (4 - 8) a multiple of 8?
False
Suppose -5*o = -4*j + 164 + 406, -431 = -3*j + 2*o. Let s = 225 - j. Suppose -5*n + s = -35. Is 15 a factor of n?
False
Let u(m) be the third derivative of m**6/120 - m**5/10 + m**4/8 - m**3/3 - 3*m**2. Is u(6) a multiple of 8?
True
Let m(v) = v**3 + 13*v**2 - 15*v - 6. Let s be m(-14). Let z be 6*(1/2 - -2). Let i = z - s. Is 3 a factor of i?
False
Let q = -28 + 60. Let k = q + -8. Is k a multiple of 8?
True
Suppose -39 = 7*b + 3. Let l = b + 17. Is l a multiple of 2?
False
Let v be -10*(-1)/2*1. Suppose 12 = 2*x + x, -v*x - 120 = -5*h. Does 10 divide h?
False
Let q(l) = -10*l - 2. Let x be q(3). Suppose 2*o - 44 - 66 = 0. Let c = x + o. Is 17 a factor of c?
False
Let q = 30 + -19. Is q a multiple of 4?
False
Suppose 155 - 19 = 4*u. Is u a multiple of 17?
True
Is 18 - ((-3 - -7) + -1) a multiple of 5?
True
Suppose -5*b + 4*s + 67 = 0, s - 91 = -5*b - 14. Is b even?
False
Let u(y) = 10*y**2 - y + 1. Let j = 8 + -7. Is u(j) a multiple of 10?
True
Let s(x) = 11*x + 2. Let n(t) = t + 1. Let a(p) = -6*n(p) + s(p). Suppose -3*h + 9 = -3. Does 5 divide a(h)?
False
Let o(m) = m**2 + 5*m - 4. Let i be o(-6). Suppose -i*u = u. Let w(c) = -c**3 + 22. Does 11 divide w(u)?
True
Let b be (-18)/(-81) - (-32)/18. Does 13 divide (79 - b) + -3 + 4?
True
Let r(o) = 3*o + 12. Let t be r(-6). Let k(d) = d**3 + 6*d**2 - 3*d - 8. Is k(t) a multiple of 10?
True
Let x = 102 - 52. Is x a multiple of 10?
True
Let n(u) = u**2 - 6*u - 28. Is 42 a factor of n(20)?
True
Does 21 divide 212*3/18*(6 + -3)?
False
Suppose 0 = 2*n + 3*l - 87, -2*n + 4*l + 6 = -46. Does 6 divide n?
True
Suppose 0*q - 4 = 2*q. Is 10 a factor of (-4 - q) + (-22)/(-1)?
True
Let x be (-7)/(-1) + (-1 - 1). Let z = x + -3. Suppose 0*y = z*y - 72. Does 18 divide y?
True
Let p be (-168)/(1 + (-5)/2). Suppose 2*b + 0*n = -2*n + p, b - 3*n = 40. Does 13 divide b?
True
Let b(c) be the second derivative of -c**4/12 + 7*c**3/6 - c**2/2 + c. Let k be b(3). Suppose u - k - 2 = 0. Is 10 a factor of u?
False
Let n(f) = -f**2 + 17*f + 5. Let j be n(13). Suppose -4*k + 148 = 5*w - w, 0 = k - 4*w - j. Does 16 divide k?
False
Suppose 21 = -2*i - 15. Is 18 a factor of 322/9 + i/(-81)?
True
Let f(q) = 15*q**2 + q + 1. Is 9 a factor of f(-2)?
False
Let z be (1 + 7)/2 + 1. Suppose -69 = -4*p - z. Does 8 divide p?
True
Let o be -5*((-51)/5 - 1). Suppose 2*s - 4 = -o. Let n = s + 61. Does 13 divide n?
False
Is 13 a factor of (14/(-21))/(4/(-234))?
True
Let n = -13 - -7. Let l be n/(-3)*(-11)/(-2). Is 11 a factor of (-2 - -1)*l*-1?
True
Let w(m) = -2*m + 24. Suppose -5*d = 3*n + 4 + 11, -2*n - 5*d = 15. Is w(n) a multiple of 7?
False
Suppose 0 = x + 2*x. Suppose -a = 5*f - 6 - 4, 3*a - 3*f - 102 = x. Is a a multiple of 6?
True
Suppose -4*x + 25 = x. Suppose 46 = -3*u + x*u. Is 23 a factor of u?
True
Let z(j) = -j**3 - 5*j**2 - 2. Let g be z(-4). Is 10 a factor of 56/6*g/(-7)?
False
Suppose q - 41 = -o, 3*o - 115 = 3*q + 14. Does 8 divide o?
False
Is (-3069)/(-36) + (-1)/4 a multiple of 17?
True
Suppose -4*c = p - 110, -6*p + 2*p = -3*c - 459. Suppose -4*g + 2*o = -p, o + 214 - 64 = 5*g. Does 9 divide g?
False
Let x be ((-146)/(-4))/(2/(-4)). Let h = x - -103. Let b = h + -18. Is 6 a factor of b?
True
Let u be (-6 - -8)/((-4)/(-10)). Suppose 3*f - 2*v - 42 = 0, 4*f - 2*f = -u*v + 47. Is f a multiple of 8?
True
Does 7 divide 85/(-2)*(-112)/40?
True
Suppose j = -j + 22. Let r = j - 6. Suppose 18 = r*c - d - 106, 5*c + 5*d = 130. Is c a multiple of 9?
False
Let m(g) = -g**2 + 20*g - 73. Is m(8) a multiple of 23?
True
Let a = 10 - 6. Suppose a*n + n - 130 = 0. Let s = -10 + n. Is s a multiple of 16?
True
Let a = 26 + -16. Is a a multiple of 2?
True
Let l(i) = -i**3 - 2*i**2 + 2*i - 1. Let o be l(-3). Suppose 0 = 5*u - 2*d - 162, -o*u + 0*d + 84 = 4*d. Is u a multiple of 7?
False
Suppose 5*n + 66 = 181. Is 9 a factor of n?
False
Let k(m) = m**3 - 16*m**2 + 14*m + 36. Is 4 a factor of k(15)?
False
Let l(o) be the third derivative of 35/24*o**4 + 0 + 0*o + 1/6*o**3 - o**2. Is 16 a factor of l(1)?
False
Let g be (-3)/6*6*-3. Is 0 + g/(-3) - -34 a multiple of 13?
False
Let w be 5 + (2 - (2 + 0)). Let i(j) = j**2 + 7*j - 4. Let b be i(-9). Suppose -w*h + 36 = -b. Is h a multiple of 10?
True
Is 19 a factor of (-2 - 2)/((-10)/230)?
False
Let n(l) = -5*l**2 - l. Let a be n(2). Let b = -3 + 0. Does 11 divide (5 + b)*a/(-4)?
True
Let i = 115 + -18. Is 24 a factor of 2/(-8) + i/4?
True
Let r = 4 + -1. Suppose -j - 11 = -3*p, -r*p + 28 = j + 9. Suppose 16 = 2*f - c, -15 = -j*f + 3*f + 4*c. Is f a multiple of 2?
False
Let i(o) = 5*o - 15. Is i(9) a multiple of 8?
False
Is 9 a factor of -3 - 1 - -4 - -12?
False
Let c(i) = -21*i - 10. Does 35 divide c(-5)?
False
Does 14 divide (-1044)/(-18) - (0 - -2)*1?
True
Suppose -3*f = 2*f. Let i(g) = f*g + g + 38 + 0. Does 13 divide i(0)?
Fa