 divide 4/(4/(-3)) - -100?
False
Suppose 4*v - 62 = 34. Is 24 a factor of v?
True
Let v(k) = -k - 4 + 3*k**2 + 0*k**3 + 2*k - k**3. Let n be v(4). Let m = -9 - n. Is 3 a factor of m?
False
Let d be ((-2 - -2) + -47)*1. Let q = d - -86. Is q a multiple of 13?
True
Let g(x) = -x + 7. Let l = 9 + -19. Does 11 divide g(l)?
False
Let q(d) = -5*d + 49. Does 4 divide q(9)?
True
Does 7 divide (1 - 0)/(1/21)?
True
Suppose -2*s - 25 = -71. Is 11 a factor of s?
False
Let z(w) = 10*w - 3. Let v be z(-4). Let c = v - -63. Is c a multiple of 7?
False
Let l be (-10)/(-35) - 26/(-7). Suppose k - l = -k, 5*k + 62 = 4*o. Does 3 divide o?
True
Let w = -8 - -15. Let n(y) = y**2 - 3*y + 7. Does 17 divide n(w)?
False
Suppose -1648 = 4*f - 584. Let x = -182 - f. Is x a multiple of 28?
True
Suppose 6*f + 20 = f, 3*l = -4*f + 68. Is l a multiple of 7?
True
Let i(r) be the second derivative of -r**3/3 - r**2 + 3*r. Does 3 divide i(-7)?
True
Let m be -30*4/(-10)*-6. Is 4 a factor of 4/10 - m/20?
True
Suppose -3*i = -1823 + 659. Is i a multiple of 22?
False
Let g(t) = 2*t**2 - 6*t - 7. Does 2 divide g(5)?
False
Let p = 16 + 34. Is (-1 - -4) + p/1 a multiple of 9?
False
Suppose 3*d - 51 = 273. Is 37 a factor of d?
False
Suppose 0*f + 3*f - 510 = 3*g, -4*g - 346 = -2*f. Is f a multiple of 26?
False
Does 8 divide 85/4 - 3/(-4)?
False
Suppose -5*q = -136 - 29. Is 5 a factor of q?
False
Let g(z) be the first derivative of -z**2 + 8*z - 3. Is 10 a factor of g(-6)?
True
Let h(f) be the second derivative of -f**3/6 - 5*f**2/2 + 10*f. Suppose 4*s + s + 52 = -2*t, -2*s - 3*t - 23 = 0. Is h(s) a multiple of 2?
False
Suppose 2*b + 2 = b, 5*b - 64 = -2*z. Does 8 divide z?
False
Suppose -10 = -4*v + 2. Let w(t) = v - 8*t - 4 - t. Does 12 divide w(-2)?
False
Let h(f) = -f**3 + f**2 - f - 2. Let j be h(0). Does 13 divide 2*1 - 42/j?
False
Suppose 3 = c - 1. Suppose -c*o = -2*w + 38, 0 = -2*o + 2 + 8. Does 8 divide w?
False
Let x be 135*4/18*6. Is -1 + (x*1)/4 a multiple of 14?
False
Suppose -216 = -3*y - 0*y. Let n = 111 - y. Is 18 a factor of n?
False
Let r be (-4)/10 + 85/25. Suppose -5*i = -i + r*l - 387, 0 = i - 4*l - 73. Is i a multiple of 31?
True
Let b(s) be the third derivative of -s**4/24 + s**3/2 + 2*s**2. Let h be b(-6). Does 16 divide 6/h - 49/(-3)?
False
Let u(t) be the third derivative of -t**6/360 + t**5/12 - t**4/12 + t**3/6 - t**2. Let n(z) be the first derivative of u(z). Does 10 divide n(7)?
False
Let l be ((-18)/15)/((-9)/30). Suppose l*g - r = 17, 21 = 2*g - 2*r - r. Is g a multiple of 2?
False
Let x(q) = -q**2 - 4*q. Let s be x(-3). Suppose 0 = -5*g + o + 179, -o = -5*g + s*o + 191. Does 10 divide g?
False
Suppose 0 = -2*w + 8, -d + 3*d + 8 = 3*w. Suppose -6*b = -d*b + 12. Does 19 divide 187/5 + b/(-5)?
True
Suppose 0 = -5*t + 225 + 125. Does 14 divide t?
True
Does 30 divide 2/6 - (6 + (-1671)/9)?
True
Let d(k) = 14*k. Let r(a) = 14*a - 1. Let m(p) = -5*d(p) + 4*r(p). Is 22 a factor of m(-5)?
True
Let d(l) = l**3 - 11*l**2 + 6*l - 6. Is d(11) a multiple of 15?
True
Let j be (4 + -3)/((-1)/5). Let y = 7 + j. Suppose d = -y*d + 6. Is d even?
True
Suppose -24 = -2*g + 14. Suppose 3*j - 6 = 0, -g = 3*y - j + 13. Let c = -2 - y. Is 8 a factor of c?
True
Let j(i) = -i**3 + 9*i**2 + 2*i - 1. Is j(9) a multiple of 4?
False
Let i(c) = -7*c - 5. Is i(-5) a multiple of 15?
True
Let p(u) = 6*u - 3. Let a(r) = -r**3 + 5*r**2 - 3*r + 2. Let q be a(4). Does 16 divide p(q)?
False
Let r(s) = -s**3 - 2*s**2 + s + 1. Let a be ((-6)/(-2))/((-3)/2). Let u be r(a). Does 10 divide (-190)/(-8) + u/(-4)?
False
Let z(l) = l**2 + 4*l + 5. Let f be z(-4). Is 0 + (-5)/(f/(-12)) a multiple of 9?
False
Let o(m) = -2*m**2 - m**3 + 3 - 3*m**2 - 7*m**2. Let v be o(-12). Suppose 0 = 5*s - 0*z - 2*z - 124, -74 = -v*s + z. Is 24 a factor of s?
True
Let x = -1 + 1. Suppose 3*l + 0*l + 3*z = 9, x = -2*l + 4*z + 18. Is 3 a factor of l?
False
Let m(d) = d**2 + 8*d - 7. Suppose -27 = 5*y - 2*y. Is m(y) a multiple of 2?
True
Suppose 175 = -8*f + 3*f. Let y = -5 - f. Let x = y + -18. Is x a multiple of 12?
True
Suppose 0 = -4*d + 4*n + 3 + 29, d + n - 16 = 0. Does 12 divide d?
True
Let j = -16 - -7. Let l(i) = -i**2 - 10*i + 5. Let k be l(-6). Let q = k + j. Is 10 a factor of q?
True
Suppose -4*u + 0*u + 120 = 0. Suppose -3*z + 4*j + u = -z, 4*j = -12. Is 3 a factor of z?
True
Suppose 3*b - 2426 = 2044. Let j be b/18 + 10/45. Suppose -4*w + j = 5*v - w, -v - 2*w + 18 = 0. Is 6 a factor of v?
False
Let y(a) = -a + 50. Let k be y(0). Let v = k + -35. Is (-24)/(-5) + 3/v a multiple of 2?
False
Let b be 1/(292/(-148) - -2). Suppose -x + b = -1. Does 12 divide x?
False
Let h(w) = 6*w**2 - 5*w - 4. Does 24 divide h(4)?
True
Suppose 10 + 10 = 5*y. Suppose q = y + 30. Is 17 a factor of q?
True
Suppose 44 - 2 = o + 4*t, -3*t = -3*o + 66. Let b = o - -20. Does 16 divide b?
False
Suppose -17*k + 840 = -14*k. Does 14 divide k?
True
Suppose -2*i = 2*d - 22, -4*i - 2*d + 0*d = -54. Is i a multiple of 4?
True
Let m(s) = -6*s. Let z be m(-1). Let w be 1*((1 + -86 - 0) + -2). Does 9 divide w/(-9) - z/9?
True
Suppose k + 2*i = -2*i + 20, 2*k - 4*i - 40 = 0. Let t = k + -5. Does 15 divide t?
True
Let r(t) = 2*t**3 + 14*t**2 + 11*t - 4. Is 20 a factor of r(-5)?
False
Suppose 0*b = -4*b - 36. Let i = b + 14. Suppose 4*z + 7 = f - i, -3*f - z + 62 = 0. Is 10 a factor of f?
True
Let r = -66 + 213. Is r a multiple of 27?
False
Let p = 9 - 5. Suppose i - 4 = 2*f + 3*i, 3*f + i = p. Let l = 18 - f. Is l a multiple of 15?
True
Let p(u) = 67*u + 2. Is 23 a factor of p(1)?
True
Suppose 77 - 465 = -z + i, -394 = -z - i. Is 17 a factor of z?
True
Suppose -2*g - l + 16 = 3*l, 31 = 5*g + l. Suppose g = u + 3. Suppose 2*n - 29 = 3*m, 5*n - 22 = 4*n + u*m. Is 7 a factor of n?
True
Let h(n) be the first derivative of 9*n**4/4 - 3. Let b be h(1). Suppose 4*y + 3*s = 56, s = -y + b + 4. Is 12 a factor of y?
False
Let j(p) = -p + 4. Let a be j(4). Suppose 6*n - 2*n - 8 = a. Does 3 divide 11 + n + 9/(-3)?
False
Let f(w) = w + 1. Let d be f(5). Let u = 6 + d. Is 4 a factor of u?
True
Let s(p) be the third derivative of p**6/120 - p**5/60 - p**3/3 - p**2. Let o be s(2). Is 4*16/o + -1 a multiple of 12?
False
Let i(y) = -2*y**3 + 3*y**2 - 2*y - 2. Is 19 a factor of i(-3)?
False
Suppose f + c + 160 = 6*f, 4*c - 20 = 0. Is 11 a factor of f?
True
Suppose -5*q - 8 = -2*c + c, -3*c + 5*q + 64 = 0. Is c a multiple of 11?
False
Suppose 4*z = z + 6. Suppose t - 35 = -0*t - 3*b, 0 = t + z*b - 36. Does 19 divide t?
True
Let v(a) = 4*a**2 + 6*a - 7*a**2 + 10 + 2*a**2. Let s be v(7). Is (s/2)/((-6)/(-64)) a multiple of 8?
True
Is 7 a factor of (-8)/20 + (-247)/(-5)?
True
Suppose -2*l - 17 = -3*l. Let d = l - 12. Suppose 0*a = 2*a + 3*o - 79, d*a + 3*o - 193 = 0. Is a a multiple of 19?
True
Suppose -n - 2 = 5*s, -4*s = 5*n - 4*n - 3. Does 23 divide n?
True
Let b(u) = -u**3 - 10*u**2 - 11*u - 13. Suppose -5*d - 12 = -2*l + 25, -d - l = 13. Does 5 divide b(d)?
True
Suppose -16 = -j - 2. Does 14 divide j?
True
Let j be (2 - (-5)/(-4))*(-56)/(-21). Let r(w) be the third derivative of w**6/30 - w**5/20 + w**4/12 - w**3/3 - w**2. Does 11 divide r(j)?
True
Suppose -2*x + 38 = -2. Suppose -50 = -5*p + 5*q, -4*p - 4*q + 76 - x = 0. Does 12 divide p?
True
Let l(t) = t**3 - 3*t**2 - 6*t + 1. Let s be l(5). Let y = 16 + -15. Is 973/s - y/3 a multiple of 18?
False
Let l(b) be the first derivative of -b**3/3 - 3*b**2 + 5*b - 1. Let j(c) = c**2 + 7*c + 6. Let w be j(-4). Does 5 divide l(w)?
True
Let k(s) = -3*s - 4. Does 2 divide k(-5)?
False
Let f = -368 + 578. Does 23 divide f?
False
Suppose 2*b - 4 = 6*b + 5*h, -2*b - 2*h = 0. Is 3 a factor of b?
False
Suppose -3*m = 5*p - 175, 0 = 4*p - 0*p + 2*m - 138. Is p a multiple of 8?
True
Is (-8)/16 + (-646)/(-4) a multiple of 23?
True
Suppose -q + 2*q = -2*p + 32, 2*q = 2*p - 38. Let j be 11/4*2*-2. Let h = p - j. Is 14 a factor of h?
True
Let s be 3 - (-3 + -2) - -3. Let x = s - -1. Is x a multiple of 12?
True
Let l(c) = -6 + 2*c + 5 - 2*c - c. Is l(-4) a multiple of 3?
True
Let t be -9 - 1 - 18/(-9). Is 116*((-12)/t - 1) a multiple of 19?
False
Let f(x) = 2*x**2 + x. Suppose 5*l = -0*l - 15, 0 = 4*n - 2*l - 14. Does 10 divide f(n)?
True
Suppose 5*m + y = 105, 3*m + y = 4*y + 63. Is m a multiple of 7?
True
Suppose -3*h + 277 