 4 - 2 - 2*n. Let m be o(7). Let p = -3 - m. Is 6 a factor of p?
False
Suppose -38 = -6*a + a - 4*c, -2 = -a + 2*c. Does 3 divide a?
True
Let x(v) = v + 6. Let f(j) = j**3 + 4*j**2 - 5*j - 4. Let a be f(-5). Let s be x(a). Suppose -3*c + 4*t = -84 + 14, -s*c = -5*t - 49. Does 11 divide c?
True
Suppose -3*a = 5*i - 270 - 22, 0 = 3*i + 12. Is a a multiple of 26?
True
Let o = 77 - 37. Is 14 a factor of 1/(3/6) + o?
True
Let t(y) = -9*y - 25. Is t(-9) a multiple of 10?
False
Let a(o) = 18*o - 24. Is a(8) a multiple of 21?
False
Suppose -10 = -w - 8. Let a be ((-3)/(-4))/(2/8). Suppose -t = -w - a. Is t even?
False
Let o = -1 + 7. Let t = 16 - o. Is t a multiple of 10?
True
Is 9 a factor of 201/7 + (-4)/(-14)?
False
Let u(s) = 39*s**2 - 1. Does 25 divide u(1)?
False
Suppose -n + 28 = 3*n. Suppose -2*s + 11 = -n. Is s a multiple of 2?
False
Let v be -1 - (-49*1 - -3). Does 16 divide (v - -1) + 4/2?
True
Suppose 10 = -l + 6*l. Let i be ((-1)/4)/(l/(-8)). Is (-6)/(4/(-18)*i) a multiple of 9?
True
Let j(m) = -17*m - 60. Does 14 divide j(-6)?
True
Let d be (-2)/(-3)*57/2. Suppose 2*p - 53 = -d. Is p a multiple of 9?
False
Suppose -17 = 3*d - 53. Is 2 a factor of 114/d + (-2)/4?
False
Suppose -r + 44 + 21 = 0. Does 20 divide r?
False
Let y be 74/12 + 1/(-6). Suppose -24 - y = -3*p. Does 5 divide p?
True
Let u = 13 + -10. Suppose u*z - 48 = -2*q + 7*z, z - 63 = -2*q. Is 10 a factor of q?
True
Suppose p = 3*p + 3*w - 181, 0 = 2*p + 2*w - 180. Suppose -3*a = -4 - p. Is 16 a factor of a?
False
Let k = 51 - 7. Does 14 divide (2 - k)/((-9)/6)?
True
Let z(x) be the second derivative of -x**5/10 - 5*x**4/12 + x**3/3 - x**2 + x. Let h = 7 - 11. Does 11 divide z(h)?
False
Suppose 7*d - 2*d = 245. Let h = d + -17. Is 12 a factor of h?
False
Suppose l + 2*l = -2*d - 1, -5*l = 5*d - 5. Let k = 28 - d. Let x = 48 - k. Does 12 divide x?
True
Suppose 0 = 2*d - 5*u + 20, -3*d + u = 5 - 1. Suppose 0 = -4*f - 3*o + 6, -2*f + d*f + 10 = -2*o. Does 2 divide f?
False
Let z = -130 - -258. Is z a multiple of 14?
False
Suppose r = -2*d + 126, -d = -2*d + 4*r + 45. Let s = d - 37. Is 8 a factor of s?
True
Suppose 9 = -5*t + 2*t. Let z(x) = -x**2 + x + 1. Let d be z(t). Let u = 9 - d. Is 10 a factor of u?
True
Does 11 divide 43 - 1/1 - 1?
False
Let h(a) be the second derivative of a**5/20 - a**4/3 - 5*a**3/6 - 3*a**2 + 3*a. Let d be h(5). Let v(o) = -6*o - 4. Is v(d) a multiple of 16?
True
Let h(r) = -r**2 + 5. Let j = -14 + 10. Let i be h(j). Let c = 28 + i. Is c a multiple of 9?
False
Let v = 92 + -56. Is 12 a factor of v?
True
Suppose -a - a = -26. Is a even?
False
Let c = 0 + 0. Suppose c = 7*f - 4*f - 6. Is f a multiple of 2?
True
Let z be 4/10 - 338/(-5). Suppose -2*f + z = -0*f. Suppose -4*x = -f - 2. Is x a multiple of 9?
True
Suppose -8*f = -1 - 95. Is 9 a factor of f?
False
Let s(k) = 5*k**2 - 1. Let a be s(-1). Suppose -2*i - i - 5*l + 20 = 0, a*l = -4*i + 16. Is 23 - i*(-1)/(-1) a multiple of 13?
False
Let l = -17 + 17. Suppose 25 = 3*z + 4*k - 8, 4*z + k - 31 = l. Does 6 divide z?
False
Let s(d) = 247*d**3 - d**2 - d + 2. Is s(1) a multiple of 19?
True
Let m(g) = g + 6. Let q(a) = 9*a**2 - 2*a + 1. Let x be q(1). Is 4 a factor of m(x)?
False
Suppose 3 = -2*v + 13. Does 2 divide v?
False
Let a = -4 - 3. Let r be (-3 - a)/2*2. Suppose -r*i = -4*c - 80, -2*c + 52 = -0*i + 2*i. Does 6 divide i?
False
Suppose 4*s = -4*h + 36, s = -5*h + 3*s + 66. Let z = h + 13. Suppose 2*b = 7*b - z. Does 5 divide b?
True
Let i(o) = 69*o - 1. Is i(1) a multiple of 14?
False
Let m(z) = 47*z - 2. Let p(s) = s**3 + 2. Let u be p(0). Is m(u) a multiple of 31?
False
Suppose -w = 2*y - 5*w - 8, -3*y - 38 = 4*w. Is 13 a factor of 138/9 + (-4)/y?
False
Suppose -5*y = -10*y + 20. Let h(l) = l**3 - 5*l**2 + 3*l + 4. Let r be h(y). Suppose 2*b - v = -5*v + 102, -v - 5 = r. Does 21 divide b?
False
Let d(v) = 2*v**3 - v**2 + 6*v - 6. Let n be d(4). Suppose 2*k = 7*k - n. Is k a multiple of 13?
True
Let u(h) = -h**3 - 10*h**2 + 7*h - 6. Suppose w + 6 = 3*k - 11, 0 = -3*w - 4*k - 25. Is 19 a factor of u(w)?
True
Let f = 1 + 3. Let r(d) = 4*d - 1. Is r(f) a multiple of 5?
True
Suppose 30 = -8*s + 3*s. Let y = s - -6. Suppose -2*n - 5 = x, 4*n + y*n + 15 = -x. Is 5 a factor of x?
True
Let i(u) = 3 + 0*u + u - 1. Let q be i(-2). Suppose q = -n - 0*n, 0 = 5*m + n - 70. Is m a multiple of 7?
True
Let y(n) = -15*n - 6. Let x be y(7). Let g = 75 + x. Let i = -13 - g. Does 23 divide i?
True
Let c be 2/(-7) + (-72)/(-7). Is 12 a factor of (72/(-60))/((-1)/c)?
True
Suppose x - 2*x = 8. Is 2 a factor of (4/x)/(1/(-14))?
False
Suppose 0 = -2*l - l - 15, y + 5*l + 13 = 0. Suppose 3*d + p + 13 = 0, 5*d + 3*p + y = -7. Let x(v) = -v**2 - 7*v + 2. Is 6 a factor of x(d)?
True
Let i(h) = -10*h. Is 8 a factor of i(-1)?
False
Is 207/15 + 2/10 a multiple of 14?
True
Suppose 3*x - 102 = -0*x. Does 12 divide 0 - 3/((-3)/x)?
False
Suppose l - 15 = -3. Suppose -3*a + l = a. Suppose -q - 3*o - 2*o = 14, -5*q + 70 = -a*o. Is q a multiple of 11?
True
Suppose s - 6 = -z - s, -5*s = 5*z - 25. Let g be -2*1 + (-2 - z). Does 6 divide (-50)/(-8) + 2/g?
True
Let v = 40 + -19. Does 21 divide v?
True
Suppose k + 2*k = 9. Suppose -20 = m + k*b, m = 6*m - 3*b + 100. Let q = m - -33. Does 13 divide q?
True
Let o = 15 - -3. Does 6 divide o?
True
Let p(t) = -2*t**2 + 7*t - 2 - 1 + 3*t**2. Is p(-8) a multiple of 4?
False
Suppose 12*v - 6*v - 2754 = 0. Is 27 a factor of v?
True
Let j = -3 + 1. Is (-4)/j*(14 + -1) a multiple of 4?
False
Suppose -5*k + 39 = -101. Is 9 a factor of k?
False
Let y(v) = v**3 + 3*v**2 - 4*v + 3. Let s = -8 - -4. Is y(s) a multiple of 3?
True
Is 5 a factor of (8/5)/(2/30)?
False
Suppose 6 = -2*n + 40. Is n a multiple of 17?
True
Does 6 divide (18/(-4))/(42/(-112))?
True
Let s = 1 + 55. Let n = -32 + s. Let u = n + -7. Is u a multiple of 17?
True
Let c(v) = 12*v**2 + 2*v - 1. Let y be c(-4). Suppose 5*x - 2*x - y = 0. Does 17 divide x?
False
Let k(t) = 12*t**2 - t - 1. Does 20 divide k(-3)?
False
Let l(a) = -4*a - 15. Let o(d) = -2*d - 8. Let s(g) = -2*l(g) + 5*o(g). Is s(-6) even?
True
Let v = -2 + -2. Is 17*1 + 0/v a multiple of 17?
True
Let h(t) = t**2 - 2*t**2 - 7*t + 2*t - 4. Let c be h(-3). Suppose 3*a + 11 = d + 2*a, 16 = c*d + a. Is 3 a factor of d?
True
Suppose -3 = -3*x + 6. Suppose 0 = 3*w - 4*p - 51, -2*w = 3*w + x*p - 114. Is w a multiple of 6?
False
Suppose 6*c = 7*c - 140. Is c a multiple of 28?
True
Let k be (-72)/(-15) - 3/(-15). Suppose -4*u + 2*w - 3*w = -130, w + 158 = k*u. Is u a multiple of 13?
False
Let a = -17 - -42. Suppose d - 2*n - 2*n = 12, -a = -3*d + n. Is 11 a factor of ((-44)/d)/((-2)/12)?
True
Let b(f) = -f - 2. Let y be b(-5). Let o(p) = -p**3 + 4*p**2 + 3*p. Does 18 divide o(y)?
True
Suppose -4*g + 25 = 5. Suppose 0 = 5*p - 25, -p + g = -m + 2*p. Does 5 divide m?
True
Let p(v) = 8*v**2 - 3*v - 3. Let h(j) = j**2 - j - 1. Suppose -2*b + 2*z + 6 = 0, 3*b = -b - 3*z - 2. Let n(s) = b*p(s) - 6*h(s). Does 5 divide n(-2)?
True
Suppose 0 = -3*f + 34 - 13. Let v = -1 + f. Is (-184)/(-18) - v/27 a multiple of 9?
False
Let s(h) = -h**2 - 6*h - 3. Let u be s(-4). Let f(n) = u*n - 1 + 3 - 8 - 15*n. Does 16 divide f(-5)?
False
Let s(n) = -22*n + 2. Let l be s(-5). Let x = l - 78. Is 17 a factor of x?
True
Suppose 0 = -2*o + o + 50. Is 5 a factor of o?
True
Suppose -6*j + 8*j - 150 = 0. Is j a multiple of 15?
True
Let f(v) = v**2 - 1. Let b be f(-1). Is 15 a factor of (34 + 11)*(1 - b)?
True
Let r(w) = w. Let i be r(3). Suppose 3*n = -15, 4*m - n + i*n = 14. Is 172/m + (-2)/(-6) a multiple of 14?
False
Let l(y) = y**3 + 3*y**2 - 3. Let w be l(-3). Let x(a) = -4*a. Is x(w) a multiple of 6?
True
Let o(f) = -f**3 - 10*f**2 - 13*f - 14. Does 11 divide o(-11)?
False
Suppose 2*b - 18 = 24. Let l = b - 3. Is l a multiple of 6?
True
Let v = 118 + -46. Is 11 a factor of v?
False
Let r(g) = -g + 6. Is 3 a factor of r(-3)?
True
Suppose g = 3*a - 5, -a = -0*g + 2*g + 10. Let w = a + 15. Does 8 divide w?
False
Suppose 0 = -5*q + 9 + 11. Suppose -y = q*y. Suppose y = 4*v - v - 33. Is 7 a factor of v?
False
Let s be 6*(3 + (-8)/3). Suppose s*d - 32 = d. Is d a multiple of 16?
True
Let c be (-4 + 4)/(-2 + 0). Suppose 4*d + d + 2*p = 62, -2*d - 3*p + 16 = c. Is 7 a factor of d?
True
Suppose -3*l - 2*b + 26 = -3,