?
True
Let d be (-144)/(-27) - 1/3. Suppose d*i = o - 25, 2*o = -2*o - 3*i + 100. Is 18 a factor of o?
False
Let s(i) = i**3 - 4*i**2 - 4*i - 3. Let g be s(5). Let j(o) = 8*o**2 + 3*o - 2. Is j(g) a multiple of 18?
True
Suppose 5*t = -2*a - 29, 3*a - 12 = 2*t - 46. Let w be ((-10)/6)/(4/a). Suppose -3*r = -34 - w. Does 13 divide r?
True
Let d = 0 + 2. Let v be 63/12 + (-3)/(-4). Suppose 0 = v*o - d*o - 64. Is 16 a factor of o?
True
Let c(b) = -4*b + 14. Let p be c(-16). Let o = 2 - 0. Suppose 5*l + o*t = 114, -5*l + 30 = 4*t - p. Is 12 a factor of l?
True
Let u = 111 + -35. Is u a multiple of 19?
True
Suppose -g - 5*w = -5*g + 84, -4*g + 84 = 3*w. Is 21 a factor of g?
True
Let n(r) = r**3 + r**2 - 1. Let z(j) = -13*j**3 - 3*j**2 + j + 4. Let s(k) = 3*n(k) + z(k). Is 5 a factor of s(-1)?
True
Suppose g + 8 = -4*s, 23 = 2*g - 3*s - 2*s. Let w(v) = 2*v**3 - 7*v**2 + 5*v - 3. Is w(g) a multiple of 19?
False
Let z(r) = 3*r**2 + 3*r + 1. Let t be z(-2). Suppose -3*s + 66 = -4*o, 2*o = -2*s - t + 37. Is 9 a factor of s?
True
Let n(g) = -g**3 + 11*g**2 - 13*g + 3. Does 24 divide n(9)?
True
Suppose -7 - 79 = -f - 4*a, 0 = -f + a + 76. Suppose -j - l + 12 = 0, -6 + f = 4*j - 4*l. Suppose -5*o + 4 - 7 = -t, j = 5*t + o. Is t a multiple of 2?
False
Suppose -5*b = -2 - 18. Let l = 0 + 2. Is 7 a factor of (-129)/(-6) - l/b?
True
Let x be (1 - 25)*9/(-12). Suppose m - x = 36. Is 18 a factor of m?
True
Let s(q) = -q**2 + 3*q + 4. Let y be s(4). Suppose 10*x - 6*x - 32 = y. Does 5 divide x?
False
Let f(y) = -y**2 - 16*y + 2. Is 10 a factor of f(-14)?
True
Let x = 193 - 105. Is x a multiple of 11?
True
Suppose 5*q - 21 = 2*m, -2*m - 1 = q + 2. Suppose 0*x - q*x + 36 = 0. Suppose -3*l + 44 = l - v, 3*v = x. Does 12 divide l?
True
Suppose 3*z - 3 = -9. Is 4 a factor of 6 + (z - -4) - 1?
False
Let d = 7 + -12. Let x(h) = -h**3 - 3*h**2 + 4*h - 3. Is x(d) a multiple of 15?
False
Let l be -1 + (-1 + 17)/1. Let h = l - -50. Is h a multiple of 26?
False
Suppose o = -o - 4*a - 26, -4*o - a = 24. Let f(x) be the second derivative of x**4/12 + x**3/2 - 3*x**2 + 5*x. Is 2 a factor of f(o)?
True
Let w(x) be the third derivative of 7*x**4/24 - x**3/2 + x**2. Let v be w(3). Suppose 5*i = v + 37. Is i a multiple of 11?
True
Let c be (-16)/(-12) + 2/3. Suppose 0 = c*s - s - 50. Is s a multiple of 24?
False
Let a = 14 + -19. Is 15 a factor of 456/15 + 2/a?
True
Let x(t) = 8*t + 26. Let o(z) = 3*z + 9. Let q(r) = 11*o(r) - 4*x(r). Let s be q(4). Is 8 a factor of 23/((3 + s)/2)?
False
Suppose -5*g + g + 21 = 3*j, -2*j = -g - 3. Suppose 4*z = g*z + 26. Is 13 a factor of z?
True
Suppose -c - 4*b + 3 + 5 = 0, -4*b = -c. Suppose -12 - 12 = -c*g. Does 3 divide g?
True
Let w(n) = 3*n - 6. Let c be 122/(-18) - 2/9. Let m = c + 12. Does 9 divide w(m)?
True
Let l(b) = 2*b + 2*b - 1 - b. Is l(2) even?
False
Is 16 a factor of -12*4*(-1)/1?
True
Let l(w) be the third derivative of 0 + 7/6*w**3 - 1/8*w**4 - 2*w**2 + 0*w - 1/12*w**5 - 1/120*w**6. Is l(-5) a multiple of 11?
True
Let a(t) = -3*t**2 + t - 1. Let l be a(2). Let y = -4 - l. Does 6 divide y?
False
Does 9 divide 9 - -20 - (2 + 0)?
True
Suppose 3*g = 2*g - 5. Let m be (-25)/(-2)*(-4)/g. Let i(q) = q**2 - 10*q + 13. Is i(m) a multiple of 11?
False
Let q be 4/6 + (-852)/(-18). Let p = q + -14. Is p a multiple of 17?
True
Suppose -2 + 12 = 2*b - n, 3*b + n - 10 = 0. Suppose 2*q = -w - 1, -3*q = -4*q + b*w + 4. Let h(k) = k**3 - k**2 + 23. Does 10 divide h(q)?
False
Let n(u) = 2*u**2 + 3*u - 1. Suppose 10 - 1 = 3*z. Suppose z*l - 10 = -2*l. Is 7 a factor of n(l)?
False
Let i = -193 - -427. Is 42 a factor of i?
False
Suppose -5*i - 13 - 2 = 0. Let d be 6/18 - 179/i. Suppose 5*x - d = -0*x. Does 4 divide x?
True
Let y = 11 + -5. Is 5 a factor of y?
False
Suppose 0 = -2*a + 21 + 19. Is 10 a factor of a?
True
Let r be 1/((-3)/(-6)) + 76. Suppose -4*x - 535 = -5*f, 0*f + 5*x = -f + r. Let d = f - 50. Is d a multiple of 18?
False
Let k = 2 - 2. Let y(p) be the second derivative of -p**5/20 + 12*p**2 + p. Does 12 divide y(k)?
True
Let a(l) = l**3 - 2*l**2 - 2*l + 4. Let i be 1/(-1)*(-5 + 2). Is 3 a factor of a(i)?
False
Let i = 27 + 11. Let d = i - 8. Does 10 divide d?
True
Let a be ((-5)/15)/(2/(-12)). Suppose -a*f - 2 = -92. Is 15 a factor of f?
True
Let z(n) = 31*n**2 + 2*n + 1. Does 15 divide z(-1)?
True
Let l = 127 - 91. Suppose 0 = 5*v - v - l. Does 3 divide v?
True
Let x(r) = 3*r**3 - r**2 - 2*r + 6. Let u be x(3). Suppose 4*y = 3*p + u, 3*p = -4*y - 2*p + 104. Is y a multiple of 7?
True
Let d be ((-9)/(-6))/(1/(-2)). Let w be 4/(d*(-2)/3). Suppose -n = 3*u + w*n - 120, 0 = -u - 5*n + 48. Does 19 divide u?
True
Is 12 a factor of (40/15)/(2/18)?
True
Let b = 27 - 7. Is 5 a factor of b?
True
Suppose 0 = -0*i + 4*i + 20. Let h(j) = -j + 10. Is h(i) a multiple of 5?
True
Let w = -9 + 10. Let j be w/(1/2) + 13. Suppose -5*c + 27 = 3*h, 4*c + j = 4*h - 53. Is 9 a factor of h?
False
Does 20 divide -27*((-40)/(-14))/((-15)/35)?
True
Let k(t) = -16*t - 3. Let r be k(-3). Suppose 5*v = r + 195. Is v a multiple of 16?
True
Suppose 3*n + 5*n - 40 = 0. Does 5 divide n?
True
Let r(v) = -5*v + 3*v**2 + 4 - 10*v + 6*v. Is 4 a factor of r(4)?
True
Let k(t) = 14*t + 1. Is k(1) a multiple of 4?
False
Let k(s) be the first derivative of s**4/4 - 5*s**3/3 + 3*s**2/2 + 4*s - 1. Suppose 11 = 2*y + 1. Does 7 divide k(y)?
False
Suppose p + 2*p + 4*l = -50, -5*p = -2*l + 40. Let c = -60 - -31. Let d = p - c. Is 14 a factor of d?
False
Let l(w) = -w + 2. Suppose 0*g - g - 14 = 5*k, -4*g - 2*k = 56. Does 6 divide l(g)?
False
Let f(m) = -5*m - 15. Let z = 10 - 20. Let q be f(z). Suppose q = 4*w - 29. Is w a multiple of 11?
False
Suppose 2*u = -4*s - 32 - 52, 0 = 2*u. Is 6/s - (-100)/7 a multiple of 14?
True
Suppose -f + 3 = 0, 3*f + 113 + 76 = -2*g. Does 6 divide (2/3)/((-3)/g)?
False
Suppose -3*f - 24 = -2*f. Is (-2)/(-12) - 308/f a multiple of 3?
False
Suppose 0 = -y - 1. Let j be y*4 + (-6)/(-2). Let w(v) = -9*v + 1. Is w(j) a multiple of 8?
False
Is (-2)/(3/(339/(-2))) a multiple of 11?
False
Let x(a) = 7*a - 3. Let w be x(3). Suppose 2*k = 4*b - w, 4*b - b - 15 = 3*k. Suppose 0 = -b*v + 16 + 20. Is 4 a factor of v?
False
Suppose 18 = -2*k + 750. Is 13 a factor of k?
False
Is 17/((-68)/(-552)) - -2 a multiple of 20?
True
Suppose 141 = 2*y - 9. Does 20 divide y?
False
Let c(o) = o**3 + 5*o**2 + 6. Let s be c(-5). Let j = 4 - s. Does 11 divide (j + -1)/((-18)/132)?
True
Let d(w) = 3*w - 6. Let b be d(4). Suppose -3*y - 33 = -b*y. Is 4 a factor of y?
False
Let o(n) = -n + 1. Let d be o(-1). Suppose d = -t + 1, -2*f + 14 = 4*t. Is f a multiple of 9?
True
Let w(h) be the second derivative of 1/6*h**4 + 2/3*h**3 + 0*h**2 + 0 - 1/20*h**5 + 4*h. Is w(-3) a multiple of 11?
True
Let l(n) = n**2 - n - 5. Let b be l(6). Suppose -3*o + 3*q + b = 2*q, 4*q + 16 = 0. Is 7 a factor of o?
True
Let j(z) = -z - 3. Let a be j(-3). Suppose -5*t + 3*i + 95 = 0, 5*t + a*i - 4*i = 100. Let w = t + -7. Does 9 divide w?
True
Suppose 12 = 2*d - 4. Let p = 23 - d. Does 15 divide p?
True
Let l = -4 + 7. Suppose -9 = k + l*w - 48, k - 4*w - 74 = 0. Is k a multiple of 12?
False
Let y(x) = -13*x - 2. Let d(j) = 13*j + 2. Let a(h) = -6*d(h) - 5*y(h). Let n be a(-2). Suppose t = -4*r + n, -2*r = t + t - 48. Is t a multiple of 12?
True
Suppose 3*q = 10 + 8. Let b = q + 25. Is b a multiple of 20?
False
Suppose 0 = k - 2 - 14. Does 16 divide k?
True
Let k = 3 - 6. Let n be (-16)/k + 2/(-6). Let w = -3 + n. Is w a multiple of 2?
True
Let b = -1 + 3. Let w(n) = 3*n**3 + n - 2. Is w(b) a multiple of 12?
True
Suppose -z + 4*y = -0*z - 3, 4*z = y + 27. Let a = 11 - z. Is 4 a factor of a?
True
Let h(v) = v**3 - 7*v**2 + 5. Let o be h(7). Suppose o*n - 23 = 77. Does 7 divide n?
False
Suppose 22 - 2 = 4*v. Is v a multiple of 5?
True
Let x = -84 + 112. Does 7 divide x?
True
Let m be 8/28 + (-174)/21. Let d(v) = 5*v**3 - 14*v**2 + 5*v + 4. Let g(u) = -u**3 + u**2 - u. Let l(o) = d(o) + 6*g(o). Is 4 a factor of l(m)?
True
Let r(c) = 3*c + 10. Let p(d) = -16*d - 51. Let a(f) = 2*p(f) + 11*r(f). Does 14 divide a(6)?
True
Let g = -19 - -46. Does 8 divide g?
False
Let g be 4 - ((-4)/1 - -6). Suppose -14 - 21 = -5*y + l, 0 = g*l + 10. Is y a multiple of 3?
True
Suppose -1 = -3*h + 4*h. Is 2 a factor of (16/20)/