 v a multiple of 12?
False
Let s = 18 + -12. Does 6 divide s?
True
Suppose 4*x - 3*w - 13 = 0, 2*w = -5*x + 5*w + 17. Suppose -2*c - x*v + 28 = 0, -5*v - 4 + 33 = 2*c. Is 3 a factor of c?
True
Is (3/(-2) + 1)/((-6)/2928) a multiple of 61?
True
Let v(b) = -b**2 + b - 1. Let d(q) = q**3 - 2*q**2 - 9. Suppose -2*z + 1 = 11. Let r(h) = z*v(h) + d(h). Does 3 divide r(-3)?
False
Let u be (2 - 2)*(-2 - -1). Suppose -5*a = -5*g - 34 - 6, -g + 5*a - 28 = u. Let o(l) = -2*l - 1. Is 3 a factor of o(g)?
False
Let v(c) = -c - 7. Let s be v(-3). Let d = s + 9. Is 3 a factor of d?
False
Let g(a) be the first derivative of 2*a**3 - a**2/2 - a - 2. Let l(u) be the first derivative of g(u). Is 6 a factor of l(1)?
False
Does 5 divide (-1 - -7)/((-6)/(-33))?
False
Is 4*(-9)/((-18)/28) a multiple of 11?
False
Let r(o) = 4*o + 4. Let u be r(4). Suppose 4*l = 244 - u. Is 14 a factor of l?
True
Let w(n) = 4*n - 12. Let p be w(6). Suppose 76 = 3*a - 5*a. Let q = p - a. Does 27 divide q?
False
Let m = 10 - 6. Suppose -4*p = m*q - 72, 3*q + 2*p - 10 = 41. Is q a multiple of 15?
True
Let p(j) = j**2 + 2*j**2 - 16*j**2 - 14*j - j**3 - 2. Let c = -14 + 2. Is p(c) a multiple of 18?
False
Suppose 44 = -l + 49. Is l a multiple of 5?
True
Suppose 0 = -2*u - 0*u - 28. Let s = -9 - u. Does 5 divide s?
True
Suppose -2*d - 4 = -30. Suppose f = 5*r - 6, -f - d = 2*r - 42. Is 12 a factor of f?
False
Let t = 35 - -71. Is t a multiple of 33?
False
Let a(u) = -u**2 - 7*u - 6. Let h(z) = z**3 - 6*z**2 - 8*z + 2. Let y be h(7). Is a(y) a multiple of 3?
False
Let u(y) = y**3 + 6*y**2 - 7*y + 9. Let n be u(-7). Let v = -14 + n. Let b(r) = r**2 + r - 3. Does 15 divide b(v)?
False
Let a(g) = g - g + 15 - g. Let n be a(7). Suppose -n = -p - 1. Does 4 divide p?
False
Suppose 4*z + 9 = z. Let d be (3 - 2) + z/(-3). Does 10 divide (-15)/(d*6/(-16))?
True
Let g(m) = -28*m - 5. Let x(s) be the third derivative of 19*s**4/24 + s**3/2 + s**2. Let j(r) = 5*g(r) + 8*x(r). Does 11 divide j(1)?
True
Let r = -5 - -3. Let l be (-2)/(r - (-3)/2). Suppose -3*j = 5*y - 83, 4*y = -l*j - 9 + 77. Does 14 divide y?
False
Suppose 0*b + 2*y = -5*b - 173, 5*y + 20 = 0. Does 11 divide (-1)/(-1 + 2)*b?
True
Suppose 5*y = 6*y - 45. Is 5 a factor of y?
True
Let q(c) be the second derivative of c**5/20 - c**4/4 + 2*c**3/3 - c**2 - c. Let z be (10/(-15))/((-2)/9). Does 5 divide q(z)?
True
Let i(s) = -1 - 1 - 5*s**2 - 6 - 9*s + 4*s**2. Is i(-7) a multiple of 5?
False
Let a be (3 + -5)/(-4)*192. Suppose -586 + a = -5*p. Is 2/10 - p/(-35) a multiple of 2?
False
Let h be (-1 - 1)*(-3 + 2). Suppose -h*p - r + 60 = 0, 33 = p - 3*r + 5*r. Is p a multiple of 16?
False
Let x(l) be the third derivative of -l**7/1260 - l**6/144 - l**5/30 + 3*l**2. Let y(u) be the third derivative of x(u). Is 21 a factor of y(-10)?
False
Suppose 0 = 3*t - 9, t + t = 5*d - 9. Suppose d*q + 8 = -q. Is 20 a factor of (17 + q)*4/3?
True
Let i(n) = -67*n + 23. Is i(-3) a multiple of 9?
False
Is 10 a factor of (-18)/(-99) + 878/11?
True
Suppose -l - 1 + 6 = -4*h, 5*l - 3*h = -9. Let u = l - 34. Let g = -8 - u. Is g a multiple of 20?
False
Suppose 4 = -k + 25. Does 21 divide k?
True
Let k(y) = -3*y**2 - 7*y - 14. Let m(w) = -7*w**2 - 13*w - 29. Let h(c) = -5*k(c) + 2*m(c). Let i be h(-8). Suppose -z + i*z - 93 = 0. Is 12 a factor of z?
False
Suppose 4*m + 18 = 5*n + 40, -5*m + 3*n = -21. Suppose -107 = -2*s + m. Is s a multiple of 14?
False
Suppose -h = 2*h - 231. Let l = -50 + h. Is 9 a factor of l?
True
Let z(i) = -5*i - 5. Let y be z(5). Let u = 3 - y. Suppose -3*o + 0*o + u = 0. Is 11 a factor of o?
True
Suppose 3*g - 141 = -3*m, 2*g - 2*m + 188 = 6*g. Does 4 divide g?
False
Let w(t) = -3*t. Let d be w(5). Is 5 a factor of (-28)/(-5) - (-9)/d?
True
Let p(d) be the third derivative of -d**6/120 + 7*d**5/60 + d**4/12 + d**3/3 - 3*d**2. Does 4 divide p(7)?
True
Let j(b) = -3*b - 2. Let v be j(6). Let w = 31 + v. Is w a multiple of 9?
False
Suppose 0 = 5*p - 18 - 7. Let v(g) = -g**3 + 6*g**2 + 6*g + 1. Is v(p) a multiple of 14?
True
Let p(d) = -9*d - 7. Let o be p(-4). Suppose 2*k - 27 = -5*j, 4*k - 2*j = 13 + o. Does 5 divide k?
False
Let w = -3 + 7. Let m(f) = -f**2 + 6*f + 3. Let b be m(6). Suppose -15 = -w*z + b*z. Does 5 divide z?
True
Suppose 0*i - 3 = -i. Let a(j) = 3*j - 4 - 5*j - i*j. Is a(-3) a multiple of 11?
True
Let v(a) be the third derivative of a**5/60 + 5*a**4/24 - 2*a**3/3 + 3*a**2. Is v(3) a multiple of 9?
False
Let j = -128 + 192. Is j a multiple of 16?
True
Let j be 2 + -6 + 3 + 56. Suppose -5*l + 0*l = -j. Does 3 divide l?
False
Let g = 15 - 10. Let a(k) = -k**3 + 5*k**2 + 7*k. Does 26 divide a(g)?
False
Let v(z) = z**3 + 7*z**2 - 9*z - 4. Let q be v(-8). Suppose -h = 3*p + 3, 4 = -q*p - 4. Suppose -h*k = -0*k - 18. Is 5 a factor of k?
False
Let i(t) = t + 4. Let h be i(-2). Let c be ((-24)/(-20))/(h/10). Does 15 divide (c/(-4))/((-2)/20)?
True
Let p(y) = y**2 + 3*y. Let g be p(-4). Suppose 85 + 84 = g*s + 3*b, -5*s - b = -225. Suppose -5*z - m + s = -99, -38 = -z - 2*m. Does 14 divide z?
True
Let r(y) = 89*y - 9. Let o be r(6). Let f be (-1 + 0)/((-5)/o). Suppose 3*b + 2*x = f, -2*b + 12 + 69 = 5*x. Does 16 divide b?
False
Suppose 0 = -2*g - 2*g - 16, 3*m - 2*g - 92 = 0. Let y = 46 - m. Is y a multiple of 9?
True
Suppose -3*z + 240 = z. Is z a multiple of 10?
True
Suppose z - 5 = -4*z. Does 18 divide 33 + 2 + z + 2?
False
Suppose 6*q - 180 = -4*q. Is q a multiple of 10?
False
Let t = 3 + 0. Suppose -2*w - w - 5*q = -23, t*q - 17 = -2*w. Is 1/(-3) - w/(-3) a multiple of 4?
False
Let i(t) = t**3 - 6*t**2 + 2*t - 9. Let d be i(6). Suppose 0 = -5*m - d*s + 5*s + 79, -5*m = 4*s - 67. Does 7 divide m?
False
Suppose 2*w = -w - 2*b + 15, 3*w - 15 = 4*b. Is -5*(-1)/(w/66) a multiple of 22?
True
Let p(s) = s**2 + 5*s. Let o(i) = 2*i + 1. Let a be o(-2). Let b = a + -3. Is p(b) a multiple of 3?
True
Let r = 41 + -57. Is 5/(-1)*r/5 a multiple of 8?
True
Let g(m) = m**2 + 11*m - 7. Is g(-12) even?
False
Suppose -3*o = -3*c + 2*c - 14, -o - c = -2. Suppose -4*q + 7 = 3*s + 3, o*q = 3*s - 20. Does 2 divide s?
True
Let n(p) be the third derivative of -p**5/60 - 13*p**4/24 + 7*p**3/6 - 2*p**2. Suppose 3*x + o - 11 = -49, -23 = 3*x - 2*o. Does 14 divide n(x)?
False
Let w(b) = -b**3 - 8*b**2 + 8*b - 1. Let d be w(-9). Let z = -8 + d. Suppose z = 3*p - 2*p - 20. Is p a multiple of 20?
True
Let n be -2*(-2 + -1 + 2). Suppose 0*m + 25 = m - n*p, 3*p = -m + 35. Let w = m - 19. Is w a multiple of 10?
True
Suppose -3*g = 5*j - 5*g - 446, 5*g - 249 = -3*j. Let a = 53 - j. Is (1 - 0 - 2)*a a multiple of 12?
False
Suppose -73 + 13 = -4*x. Is 4 a factor of x?
False
Let c(b) be the second derivative of b**3/3 - 3*b**2/2 - 2*b. Let o be c(4). Let j(x) = x**3 - 5*x**2 + 2*x + 2. Is j(o) a multiple of 6?
True
Let q(o) = o**2 - 2. Let t be q(6). Suppose 5*s - 124 = -t. Does 9 divide s?
True
Let f(g) = -2*g. Let a be f(-1). Suppose -v + 90 = a*v. Is 10 a factor of v?
True
Let m(x) = -2*x**3 - 5*x**2 - 5*x - 4. Does 20 divide m(-3)?
True
Let x be (-2)/(-4) - 585/10. Let l = -14 - x. Let j = l + -23. Is 8 a factor of j?
False
Let q be 7 + 1 + 0 + -4. Suppose -515 + 35 = -q*w. Suppose -32 = 4*p - w. Is p a multiple of 11?
True
Let n = -20 - -12. Let v(q) = -q**3 - 6*q**2 - 2*q + 4. Let p be v(n). Suppose -4*i + p = i + 2*h, 0 = 2*h + 2. Does 15 divide i?
True
Suppose 480 = 5*b + 4*p, 3*b - 3*p - 248 = 67. Is b a multiple of 25?
True
Let w(v) = -v + 3. Let u be w(4). Let d(m) = -71*m + 1. Is d(u) a multiple of 24?
True
Let h(o) = -o**3 + 7*o**2 - 7*o + 5. Is 2 a factor of h(4)?
False
Let t = -96 - -249. Is 51 a factor of t?
True
Let h(y) = -y**2 + 8*y - 1. Is h(7) a multiple of 2?
True
Suppose 336 = 4*m + 4*a, 5*m - a - 109 = 287. Suppose -2*j + 4*j = 16. Suppose -3*v = -j*v + m. Is v a multiple of 16?
True
Let k = 20 - -7. Is 27 a factor of k?
True
Let a(t) = 8*t. Let y(k) = -k**3 - 2*k**2 - 3. Let f be y(-3). Suppose -f*o = -o - 15. Is 8 a factor of a(o)?
True
Let t = 28 - 14. Does 5 divide t?
False
Suppose -3*w = -5*l - 7, -l - 14 = -5*w + 5. Let k(o) be the first derivative of o**3/3 - o**2/2 + 5*o - 2. Is k(w) a multiple of 11?
False
Let h be (-4)/(-6)*18/4. Suppose 4 = -w + h. Is 2 a factor of 7 - w/(-2)*6?
True
Is 16 + (-8)/((-12)/(-3)) a multiple of 4?
False
