iple of 15?
True
Let i(d) = 5*d**2 - 3*d - 4. Let b be i(4). Let t = 38 - b. Let j = -10 - t. Is 16 a factor of j?
True
Let r be ((-18)/(-5))/((-6)/(-60)). Suppose -4*i + 4*y + r = 0, 5*i + 2*y + 3 = 69. Is 6 a factor of i?
True
Suppose 0 = 2*y - 0 - 18. Suppose 0*q + y = 3*d + 3*q, -4*d + 12 = -5*q. Suppose a = -4*k + 8, d*k - 4*k = -4*a + 117. Is a a multiple of 15?
False
Suppose 0 = 3*x - 7*p + 3*p - 33, 4*x - 4*p - 40 = 0. Suppose -4*l + 161 = -x. Does 14 divide l?
True
Suppose 4 = -5*s - 1. Let k be (0/((-1)/s))/2. Suppose k = m - 2*m + 20. Is m a multiple of 8?
False
Let q = 9 + -7. Suppose 117 - 47 = 5*o + 2*h, -q*h - 50 = -5*o. Does 4 divide o?
True
Let c be 1/(-3) + 200/24. Suppose -c + 36 = 2*m. Suppose -3*o + m = -49. Is 11 a factor of o?
False
Suppose j - 7 + 2 = 0. Suppose 5*t + 45 = 4*u - 0*t, -j*t - 40 = -3*u. Is 5 a factor of u?
True
Suppose j + d = 190, 6*j - 938 = j - d. Is 40 a factor of j?
False
Let h be (1/2)/((-2)/(-8)). Is ((-12)/15 + h)*15 a multiple of 16?
False
Let m = -20 - 20. Let p = -29 - m. Does 3 divide p?
False
Let a be (1/(-2))/(3/(-744)). Suppose -4*r + 0*r = -a. Does 15 divide r?
False
Suppose -3*m + 622 = 2*v, 5*m + 5*v = 3*v + 1030. Is 22 a factor of m?
False
Let x be 1 + -1 + 21 - 0. Let k = -9 + x. Is k a multiple of 4?
True
Suppose -2*r = -4*k + 3*r - 17, 8 = -4*k - 4*r. Let b be (-488)/(-12) + 2/k. Suppose b = -4*f + 104. Does 8 divide f?
True
Suppose -3*h + 5*g = 3, -4*g = 2*h - 2*g - 14. Let m be 30/((-2)/h*2). Is 3 a factor of -4*(3 + m/8)?
True
Let y = -10 - -52. Let p = y - 59. Let g = p - -30. Is 6 a factor of g?
False
Let w(m) = m - 4. Let s(d) = 2*d - 4. Suppose -4 - 4 = -2*q, 2*y - q = 2. Let u(f) = y*w(f) - 4*s(f). Is u(-11) a multiple of 23?
False
Suppose -3*i - 3 = 0, -2*n - 2*i + 169 = -81. Does 9 divide ((-12)/(-14))/(3/n)?
True
Is (5/(-2))/(3/(-134 + -4)) a multiple of 19?
False
Suppose 0*r - 2*r + 73 = v, -2*v + 134 = -2*r. Does 12 divide v?
False
Let z(l) be the first derivative of -l**4/4 + 7*l**3/3 - 5*l**2/2 + 6*l - 4. Does 4 divide z(6)?
True
Let d(a) = 3*a**2 + 10*a - 5. Let j be d(-4). Let i = 6 - 4. Suppose i*u = -j*u + 75. Is 9 a factor of u?
False
Let s(u) be the second derivative of u**3/3 + u**2/2 - 2*u. Let r be s(1). Suppose 20 = -q + r*q. Does 5 divide q?
True
Let y(n) = n**3 + 5*n + 0 - 5 + 0 - 6*n**2. Let f be y(5). Does 20 divide f/4*64/(-2)?
True
Suppose -6*d - 4*g - 164 = -9*d, 4*d = 5*g + 219. Is d a multiple of 18?
False
Let i(o) = -3*o**3 - 4*o**2 - o + 4. Let q be (1 - 0)/((-2)/(-14)). Let a = -10 + q. Does 17 divide i(a)?
False
Suppose 0 = 3*j - 2*z + 3*z - 88, 0 = -2*j + 3*z + 55. Suppose -3*s + 0*s + 423 = 0. Suppose -j + s = 4*o. Is 14 a factor of o?
True
Suppose -5*c + 18 = -2*i, 3*c + 3*i = 2*c - 10. Suppose -128 = -c*g - 8. Does 19 divide g?
False
Suppose r - 1 = -l, -2*l = -2*r - r + 13. Let g(k) = 4*k**r + 4*k**2 - 5*k + 0*k - 1 - 3*k**3 + k**2. Is g(-5) a multiple of 12?
True
Let r(x) = x**3 - x + 2. Does 8 divide r(3)?
False
Suppose -8*p = -4*p + 240. Let u = p - -100. Is 16 a factor of u?
False
Suppose -2 = 3*g - 11. Suppose -2*z + g*q = -169, 0*z - 3*z - 2*q = -273. Is z a multiple of 25?
False
Let w(n) = n**3 - n**2 - 1. Let q be w(2). Suppose q*r - 51 = -4*s + s, -2*s = 4. Let c = -10 + r. Is 3 a factor of c?
True
Let g = 49 + -86. Let h be (183/(-9))/(4/(-12)). Let b = h + g. Is b a multiple of 8?
True
Suppose 2*f - 125 = 5*c, 2*f - 6*c = -3*c + 115. Suppose 3*l - f = 10. Is l a multiple of 17?
False
Let j(w) = -6. Let u(b) = -b + 13. Let n(o) = -9*j(o) - 4*u(o). Let k be n(-3). Is (-23)/(-5) - 4/k a multiple of 3?
False
Let i(p) = -2*p - 9. Let h be i(-6). Let g be (-3 + h)/(4/2). Suppose g = -d - 1 + 32. Is 12 a factor of d?
False
Is 29 a factor of ((-3255)/6)/(-5) - 2/(-4)?
False
Suppose 2*s - z = -0*z - 14, 4*z = 2*s + 14. Let h(u) = 3 - 4*u - 3*u - u + 7*u. Is h(s) a multiple of 5?
True
Suppose -4*h - 36 = -4*b, -h - 5*b + 0*b = -9. Let k(z) = z**2 + 4*z - 8. Let p be k(h). Suppose -f - p*x = -2*f - 10, 2*f = -5*x + 45. Is 5 a factor of f?
True
Let b(q) = 6*q**2 - 5*q + 4. Let g be b(3). Suppose 3*t - 64 = -i - i, g = t + 5*i. Is t a multiple of 8?
False
Let y(r) = r**3 - r**2 - r. Let j(p) = 2*p**3 - 9*p**2 + 3*p + 8. Suppose 3*b = -4*c - 15, c + 9 = -5*b + 1. Let h(n) = c*y(n) + j(n). Is 15 a factor of h(-7)?
True
Suppose -4*c - 3*a + 4 = -5*a, 13 = 3*c + a. Is c a multiple of 2?
False
Does 9 divide (1 + 2)/(2/12)?
True
Let n be -3 - (-8)/(-2)*-1. Does 17 divide ((-60)/8 - n)*-8?
True
Suppose 3*i - 8 = -i. Suppose 0 = -i*o + y + 3*y + 4, -3*y + 10 = 5*o. Suppose -2*s + 53 = 3*f, o*f + 3*s + 2 = 44. Is f a multiple of 7?
False
Does 31 divide (-6)/(-4)*(-248)/(-6)?
True
Suppose 3*n - 10 = n. Suppose -q + 10 = z, 5*q - n*z = -0*q. Is q a multiple of 2?
False
Let u = 112 - 90. Is u a multiple of 6?
False
Suppose -2*x - 4*r = -9*r + 11, -3*r = -2*x - 5. Let s be 3/(-12)*2*x. Does 6 divide 11 + 2/(s - 1)?
False
Let j be 1 - 21/(12/4). Is j/10 + (-386)/(-10) a multiple of 22?
False
Let q(f) = f + 31. Does 11 divide q(0)?
False
Suppose 0 = -0*c - 2*c + 8. Suppose 3*p - 29 = -c*b, 0 = 5*p + 4*b - 17 - 34. Is p a multiple of 4?
False
Let s be 35/14*6/5. Suppose s*r - r - 14 = -2*g, -2*g + 3*r - 1 = 0. Does 2 divide g?
True
Let l(t) = -t**3 + 15*t**2 - 15*t + 20. Does 5 divide l(14)?
False
Let q be (2 + 0/(-2))/(-2). Let g be 1/(5/6 + q). Let k(u) = -u. Is 5 a factor of k(g)?
False
Let f(c) = -c + 2. Is f(-10) a multiple of 3?
True
Let c(r) = -5*r - 4*r**2 - 1 - r**2 + 2 - r**3. Let z be c(-4). Suppose 0 = -z*y + 97 + 63. Does 20 divide y?
False
Let w = -333 + 505. Is 15 a factor of w?
False
Let d = 3 - 1. Suppose 0 = -6*l + d*l - 132. Let x = l - -61. Is x a multiple of 14?
True
Suppose -2*l + 24 = 2*l. Is 29/4 + l/(-24) a multiple of 3?
False
Let t be (2/2)/(3/(-6)). Let m be 17*t*(0 - -1). Let a = m - -56. Is a a multiple of 8?
False
Let v = 73 - 37. Is v a multiple of 9?
True
Suppose -10*k - 60 = -15*k. Is k a multiple of 2?
True
Suppose 8 = f - 3*w, 2*f + 0*w = -2*w. Suppose 2*l - x = 19, f = -3*l + 2*x + 33. Is 2 a factor of l?
False
Let t be 2 + 0 + 2 + -2. Let k(u) = -u**t + 4*u**2 - 1 + 0. Is k(2) a multiple of 11?
True
Let i(a) = a**2 + 12*a - 4. Is 15 a factor of i(-15)?
False
Let x(k) = -30*k - 3. Is 9 a factor of x(-1)?
True
Suppose -285 = -2*b + k, 4*k = -13*b + 9*b + 564. Is b a multiple of 56?
False
Let v(w) = -7*w - 40. Is v(-12) a multiple of 8?
False
Let g(z) = -z**3 + 6*z**2 + 10*z - 7. Is 3 a factor of g(7)?
False
Suppose 31 + 37 = 4*a. Suppose -c + a = -14. Is 12 a factor of c?
False
Suppose 2*p = q + 1, 2*q + 0*p + 2 = 5*p. Let g be 1673/21 - q/3. Suppose -g = -4*k - k. Does 8 divide k?
True
Suppose -22*y = -19*y - 840. Is 40 a factor of y?
True
Let l be ((-2)/(-3))/((-6)/(-45)). Suppose l*j - 5 = 5*v, -4*j - 4*v + 44 = -0*j. Let s(r) = r**3 - 5*r**2 - r - 2. Does 14 divide s(j)?
True
Suppose 0 = 9*b + 4*b - 2028. Is 39 a factor of b?
True
Let y(z) = -z - 8. Let i be y(-8). Suppose i*q - 145 = -5*q. Suppose n - b - 20 = 0, q = n - 0*n - 4*b. Does 7 divide n?
False
Suppose 2*r = -4*c + 14, -1 + 7 = 3*c + 3*r. Is c a multiple of 2?
False
Let l(o) = o - 2. Let t(s) = s + 1. Let r(c) = 6*l(c) + 6*t(c). Does 21 divide r(5)?
False
Let c(f) = 25*f + 27. Does 19 divide c(4)?
False
Let r be 6*((-10)/(-4))/5. Suppose -3*f + 53 = o, 0 = 3*f - 5*f + r*o + 28. Does 17 divide f?
True
Let l(a) be the third derivative of 0 - 1/24*a**4 + 2*a**2 + 0*a + 8/3*a**3. Is l(10) a multiple of 3?
True
Let w(z) = -z + 20. Suppose 0 = 2*x - 3*g - 12, -2*g = -0*g + 8. Does 10 divide w(x)?
True
Suppose u - 4*t = -u - 12, 2*u + 4*t = 20. Let x(g) = 3*g**3 - 2*g**2 + g + 1. Let p be x(u). Let h = p - 10. Is h a multiple of 9?
True
Is 18 a factor of 19 + 2*1*11/(-22)?
True
Suppose -5*f = 2*i - 59, -2*i - 2*f = 3*i - 200. Is i a multiple of 14?
True
Let h(b) = 2*b**2 + 5*b + 6. Does 7 divide h(-5)?
False
Let a be (3 - 4 - -3)*-1. Is 2 + (11 - a) + 0 a multiple of 15?
True
Is 20 - 4 - 12/(-4) a multiple of 2?
False
Let n(h) = 3*h**3 + 3*h**2 + 5*h - 6. Is n(3) a multiple of 13?
True
Is 2 a factor of 2/(-36)*-94 + (-12)/54?
False
Let c(d) = -d - 2. Let u be c(-4). Suppose -u*n - 3*n = -30. Suppose n*j = 2*j + 32. Is j a multiple of 8?
True
Let h(o) = o**2 + 5