ivide x(p)?
False
Suppose -8 = -2*c - 2*a, 3*c - 5*a + 8 = -12. Suppose 2*s = 2*o + 30 - c, o = -s + 21. Does 9 divide s?
True
Let d be 3 - 3 - 1*-1. Suppose o - 8 = d. Is 5 a factor of (3/1)/(o/15)?
True
Suppose 2*m - 31 = u, -4*m - m + 70 = -u. Let k be ((-4)/(-2))/(2/(-7)). Let l = m - k. Is l a multiple of 10?
True
Let h be 1/((-4)/(-16)) + 1. Is 24 a factor of (-2 + 9)*35/h?
False
Let g be 3/6*(2 + -2). Suppose 0 = -f + 4*n + 7, g*f - 3*n - 24 = -2*f. Is 15 a factor of f?
True
Let w = -3 + 2. Let n(j) = 13*j**2 - j. Is 14 a factor of n(w)?
True
Let u be (-1)/(-3) - 110/(-3). Suppose -u - 59 = -3*x. Does 16 divide x?
True
Let n(v) = v**3 + 11*v**2 + 10*v + 12. Suppose -37 - 13 = 5*r. Let k be n(r). Does 6 divide 8*2/k*9?
True
Let y = 1 + -55. Does 16 divide (y/4)/((-2)/4)?
False
Let m(a) be the third derivative of -1/60*a**5 + 0*a + 0 - a**2 + 7/24*a**4 - 2/3*a**3. Is 4 a factor of m(3)?
True
Suppose 173 + 427 = 5*s. Is 15 a factor of s?
True
Let g(j) be the third derivative of 7*j**4/24 + 2*j**3/3 + j**2. Is g(4) a multiple of 9?
False
Does 20 divide 25 - 4/(-8)*4?
False
Let d(b) = -186*b**3 + b**2 - b - 2. Does 31 divide d(-1)?
True
Suppose 0 = -2*d + 6, -3*q - d - 177 = -6*q. Does 30 divide q?
True
Let u = 29 - 19. Does 4 divide u?
False
Let d(f) = f**2 - 8*f + 7. Let y be d(6). Let h = y + 5. Is 21 a factor of (h - 1)/((-4)/168)?
True
Let c = 68 - -59. Is c a multiple of 19?
False
Suppose 30*c - 25*c = 200. Does 10 divide c?
True
Let q = -19 + 31. Is q a multiple of 12?
True
Let u(f) = f - 2. Let z be u(5). Suppose -4*t + 50 = -5*v, t = -z*v - 11 - 36. Let a = -7 - v. Is 6 a factor of a?
False
Is 5 a factor of (-15)/(-1) + (0 - 2)?
False
Let f(c) = c + 7. Let w be f(-5). Suppose -h = -w*h. Suppose 5*n + 3*m - 47 = -h*m, 0 = 3*n - 5*m - 35. Is 10 a factor of n?
True
Suppose -5*c = -3*p + 2*p + 25, 2*p - 5 = c. Let r = p + -6. Let x = 12 - r. Is x a multiple of 18?
True
Let c be (0 - 3)/((-2)/12). Suppose 2*q - c = -5*v - 0*v, 2*v - 9 = q. Is 3 a factor of v?
False
Let q(y) = 6*y - 6. Let g be q(4). Let z = 10 + g. Is 16 a factor of z?
False
Suppose 4*c = c. Suppose -4*k - 4*b + 24 = c, -4*k + 2*b = -0*b + 6. Does 13 divide (52/((-6)/(-3)))/k?
True
Let i = 10 + -6. Suppose -y = 3*c - 4*c - 35, -y + i*c + 38 = 0. Is 12 a factor of y?
False
Let x(i) = i**3 - 3*i**2 + 2*i - 4. Let m be x(3). Suppose -2*u + 12 = -2*j, 0 = 2*u + 3*j - m - 0. Let o(a) = a**2 - 2*a - 1. Is 3 a factor of o(u)?
False
Let b(g) = 133*g - 15. Is b(2) a multiple of 26?
False
Is 17 a factor of -136*(4/8 - 1)?
True
Let n(y) = -6*y - y + 2*y + 2*y + y**2. Does 14 divide n(7)?
True
Let f be -2 + (12/4 - -7). Let m = 0 + f. Is m a multiple of 2?
True
Let y(h) = 6*h**2 + 2*h + 1. Let u be y(-1). Let s(v) = 10*v**3. Let a be s(1). Suppose 0 = 5*g - 0*g + 3*o - 38, 0 = -3*g - u*o + a. Does 5 divide g?
True
Suppose -1 = x - 3. Does 14 divide (4 - x) + 37*1?
False
Let o(q) = -q**2 - 5*q + 0*q + 2*q**2 + 3. Let t be o(7). Suppose -2*r + 15 - 3 = 4*f, 3*r - t = -5*f. Is 4 a factor of r?
True
Suppose 16 - 88 = -6*p. Is 3 a factor of p?
True
Suppose -993 - 187 = -10*a. Is 12 a factor of a?
False
Suppose 5*n - 3 = 87. Suppose -3*v + 18 = -n. Does 6 divide v?
True
Let v be 5*(-3 - -6)*3. Suppose 5*o - v = -5*m, -2 = 2*m - 2*o - 0*o. Is 24*(m - 2)/4 a multiple of 6?
True
Let c = 34 + 148. Is c a multiple of 14?
True
Let u = 13 + -8. Suppose 3 + u = 4*m. Let d(q) = 4*q**2 - 3*q. Does 5 divide d(m)?
True
Let s(n) = -7*n - 2. Let j(z) = -1. Let l(k) = 6*k + 7. Let i(x) = -6*j(x) - l(x). Let o(h) = -5*i(h) + 4*s(h). Is 12 a factor of o(8)?
False
Let p = -5 - -5. Suppose 3*b + 5*d - 13 = 0, -3*d = -5*b - p*d + 67. Is 6 a factor of b?
False
Suppose -3*w + 380 = 2*w. Is 8 a factor of w?
False
Let b(g) = -5*g**2 - 25*g - 1. Let c(k) = -2*k**2 - 12*k - 1. Let q(d) = 3*b(d) - 7*c(d). Is q(5) a multiple of 11?
False
Suppose -2*v = 4*m + v - 249, 4*m - 228 = 4*v. Does 4 divide m?
True
Suppose 3*y + 19 = 5*r, -3*y = -r - 0*r + 11. Suppose -r*a - 20 = -6*a. Is a a multiple of 2?
False
Suppose -19 = -4*a + 37. Suppose s - a = -s. Is 7 a factor of s?
True
Let h(s) = -5*s**3 + 5*s**2 - 25*s - 5. Let z(q) = 2*q**3 - 3*q**2 + 12*q + 3. Let m(j) = 3*h(j) + 7*z(j). Let o be m(-7). Is 16 a factor of (-381)/(-12) - 2/o?
True
Suppose 6*k = 3*k + 288. Let c = -49 + k. Let f = 84 - c. Is 16 a factor of f?
False
Let c = -155 + 461. Does 17 divide c?
True
Let d = 11 - 15. Suppose 6*s - 5*r - 27 = 3*s, 6 = 2*r. Let o = s - d. Is o a multiple of 9?
True
Does 9 divide (-15)/5*3*(-4 - 1)?
True
Suppose 4*b - 940 = 4*x, -1015 = -3*b - 2*x - 295. Does 13 divide b?
False
Suppose -4*p + 2 = -0*p + 5*j, 3*p + 1 = -5*j. Suppose -5*x - 5*c = -15, -2 = -x + 2*c - 14. Let w = p - x. Is w even?
False
Let y(p) = -p**2 + 8*p - 4. Let c(g) = 2*g - 1. Let n be c(4). Let j be y(n). Suppose 9 = -j*b + 33. Is b a multiple of 8?
True
Let g(c) = 3*c**2 - 10*c + 24. Is 61 a factor of g(12)?
False
Let b(m) = m + 2. Let z be b(3). Let t(a) = a**2 - 6*a. Let c be t(z). Let h = 6 - c. Is 6 a factor of h?
False
Suppose i + 2 + 17 = 5*s, 4*i + 5*s = -1. Does 13 divide i/22 - (-422)/22?
False
Suppose 91 = -2*r + 27. Let n = r + 45. Does 13 divide n?
True
Let z be -3 + 48/(5 + -2). Let s = 1 + z. Is s a multiple of 14?
True
Suppose 0*a = -5*n + 3*a + 246, -a - 98 = -2*n. Does 6 divide n/(-9)*(-18)/4?
True
Suppose c = 4*d + 19, -c - c + 4*d = -46. Is 4 a factor of c?
False
Let l(a) = 2*a**2 - 13*a - 1. Is l(9) a multiple of 7?
False
Is 24 a factor of (1 - 6)/((-3)/51)?
False
Suppose 0 = 2*h - 3*c - 109, h = 5*h + 5*c - 251. Does 33 divide h?
False
Let s = -3 + 2. Let v = 4 - s. Let q = 14 - v. Is 9 a factor of q?
True
Let w = 66 + -47. Does 19 divide w?
True
Let m(x) = -15*x + 2. Is m(-4) a multiple of 31?
True
Let t(x) = 2*x - 5. Let w be t(4). Suppose -3*d + 40 = -6*b + b, -w*b = 6. Is 10 a factor of d?
True
Suppose 180 = z + 3*d, -4*z = 2*d + 244 - 934. Is z a multiple of 19?
True
Suppose -i = -1 - 2. Suppose -i*n - 3 = -0. Does 19 divide 19*(-2)/1*n?
True
Suppose 0 = 4*f + 4*z - 68 - 164, -4*f + z + 222 = 0. Is f a multiple of 28?
True
Let d(q) = 11*q. Let b be d(-1). Let p = 26 + b. Does 15 divide p?
True
Let a = -36 + 30. Let m be 0 - ((-1 - -1) + -12). Is 5 a factor of (20/a)/((-8)/m)?
True
Let o(b) = b + 2. Let h be o(4). Let y be h/18 - 22/(-6). Suppose -209 = -y*v - 29. Does 18 divide v?
False
Let a(b) = -5*b**2 + b**3 + 9 - 3*b**2 + 6*b + 0*b. Let r be a(7). Suppose -18 = -r*v + 5*t, -v + 5*t + 9 = -0. Is 9 a factor of v?
True
Suppose 5*g - 18 = -3*s + 6, -4*g = -4*s + 32. Suppose 3*t - s = 37. Let h = 26 - t. Is 11 a factor of h?
True
Suppose -5*j - 5*f + 0 = -70, 0 = 2*j + 3*f - 29. Is j a multiple of 13?
True
Let j be (1 - 1) + (2 - -5). Suppose -j*b + 3*b + 16 = 0. Suppose -b*i - 5*l + 22 = 0, 2*i + l - 17 = -3*i. Is 2 a factor of i?
False
Let i(x) = 7*x**2 + x + 1. Suppose -3*f - 3*j - 3 = 0, j - 6 = 4*f + 3*j. Is 9 a factor of i(f)?
True
Let a(v) = -19*v - 19. Is a(-6) a multiple of 29?
False
Let w be (-1 + 4)*16/24. Let r(n) = 3*n + 3. Let l be r(-5). Let i = w - l. Does 13 divide i?
False
Suppose 2*k = x - 199, -399 = -4*x + 4*k + 389. Let a = x - 131. Suppose -2*p + 26 = -g - 30, a = 2*p - 5*g. Does 12 divide p?
False
Suppose -5*w = 118 - 28. Does 24 divide (w/15)/(2/(-85))?
False
Let l(n) = -n**2 + 6*n + 6. Let p be l(7). Is 11 a factor of ((-1)/p)/(2/44)?
True
Let a(d) = 3*d + 8. Let r be a(9). Is ((-2)/5 + 1)*r a multiple of 17?
False
Suppose 28 = b + 3*p, -53 - 25 = -2*b + 5*p. Suppose -r = r - b. Is 17 a factor of r?
True
Suppose -19*i = -21*i + 18. Is i a multiple of 3?
True
Let b(m) = -m**3 - 2*m**2 + 2. Let n be b(-2). Suppose -2*s = c - 26, 0 = 3*c + n*c - 10. Is (s/(-7))/((-3)/42) a multiple of 13?
False
Let n(h) = 0 - 3*h + 2*h**2 + 2*h**3 + 0. Is n(2) a multiple of 9?
True
Suppose 6*h - 15 = 3*h. Suppose -h*i + 5 = -100. Is 7 a factor of i?
True
Suppose -18 = 5*b - 8. Let u be (1/b)/(6/(-60)). Suppose u*z = -2*l + 190 - 48, 4*z + 3*l - 115 = 0. Does 14 divide z?
True
Let t = 5 - 4. Let d = t - 1. Suppose 0 = 3*a + 5*h - 92, -3*h + d*h = a - 24. Is a a multiple of 13?
True
Suppose 3*s + 3*x = 6*x + 306, -5*s - x + 528 = 0. Is 21 a factor of s?
True
Suppose -8*m = -877 - 3. Is 45 a factor of m?
False
Suppose -