ivide ((-63)/(-6)*v)/n?
True
Let o(b) = 11*b - 3. Is o(5) a multiple of 13?
True
Let j(o) = o. Let g be j(-1). Suppose 3*i - 4*v - 46 = v, -4*v = -4*i + 56. Does 5 divide 4*((-45)/i)/g?
True
Let v be (-2)/(0 + 2) - 63. Let z = v - -90. Does 13 divide z?
True
Suppose 0 = 5*d - p - 23, 0 = -2*d + p + 18 - 7. Suppose r = u + d*u - 289, 3*r - 45 = -u. Let k = u + -30. Is k a multiple of 9?
True
Let y(r) = -36*r**2 - r - 1. Let s be y(-1). Let j be (5/4)/(3/s). Let z = j - -31. Is 6 a factor of z?
False
Suppose -s - 309 = -4*c, -s = -4*c - 2*s + 299. Is c a multiple of 10?
False
Let k be 2/4*8*2. Suppose 8*z = 4*z + 432. Suppose -z = -k*t + 4*t. Does 10 divide t?
False
Let d(o) = 4*o - 3. Let v be d(2). Let u(n) = -v*n - 4*n + 5*n + 3*n**2 - 1. Is 7 a factor of u(3)?
True
Suppose 2*d - 2*l + 3 + 3 = 0, 2*l - 6 = d. Suppose -3*h - 182 = -5*u, d = 2*u - h - h - 76. Does 17 divide u?
True
Let p be (-3)/(-12) - 9/4. Let m = -19 - -4. Let b = p - m. Is 7 a factor of b?
False
Let v = 8 - 3. Suppose v*k - 54 - 46 = 0. Does 8 divide k?
False
Is 3 - (-28 - -2 - 1) a multiple of 10?
True
Suppose -920 = -0*o - 5*o + 2*c, 2*c = -4*o + 736. Suppose 0 = 2*i + 2*z - o, -2*i + 0*z - z = -179. Is i a multiple of 25?
False
Let r = -4 + 8. Suppose -4*l + 2*l - 2 = -r*x, 3*l = 5*x. Is x even?
False
Let l = 15 - -6. Suppose 31 = 2*v - l. Is 26 a factor of v?
True
Let h be 6*((-120)/9)/4. Let r be h/(-5) - (2 + 0). Suppose u = -0 + r. Is 2 a factor of u?
True
Let y = 5 - 1. Suppose 0*p = y*p - 60. Is p a multiple of 15?
True
Let k = 14 + -2. Is k a multiple of 4?
True
Suppose -5*g = -12 + 2. Suppose -3*a + 12 + 15 = g*m, m - 13 = -2*a. Suppose 4*r - m = r. Does 3 divide r?
False
Let n = 9 + -6. Is n a multiple of 3?
True
Let o(m) = m**2 - 20. Does 3 divide o(9)?
False
Suppose 3*g = 10 + 2. Suppose 0 = -5*b + g*b + 24. Does 23 divide b?
False
Suppose -4*r - t + 45 + 43 = 0, -r + 22 = -t. Let n = -4 - -19. Let s = r - n. Does 7 divide s?
True
Let y(i) be the second derivative of -i**3/6 + 3*i**2/2 + 2*i. Does 4 divide y(-5)?
True
Let k(g) = 2*g**3 + g**2 + 2*g + 1. Let f be k(-2). Let r(y) = -2*y - 2. Is 7 a factor of r(f)?
True
Suppose -485 = -6*d + 13. Is d a multiple of 18?
False
Let n(p) = -6*p - 18. Is 10 a factor of n(-18)?
True
Let h = 15 - 18. Does 18 divide h/(-3) - -55 - -2?
False
Suppose 15 = 3*g - 9. Is 4 a factor of g?
True
Suppose 3*i = -3*j - 0*i + 18, 2*j - 2*i - 28 = 0. Is 8 a factor of j?
False
Suppose -4*k + 0*c + 4*c + 368 = 0, 2*k - 5*c - 190 = 0. Is 5 a factor of k?
True
Suppose -3*v + 4*a + a = -5, -3*a - 3 = -5*v. Suppose v*h = h - 40. Is h a multiple of 20?
True
Let q(y) = y**2 - 7*y + 2. Let b be q(5). Let g(z) = 4 + 2*z - 1 + 0*z**3 + 4*z - 7*z**2 - z**3. Does 5 divide g(b)?
False
Suppose 5*p = 2*p + 27. Does 5 divide p?
False
Let g be (-4)/18*-3*42. Let w(t) = t**2 + 4*t + 5. Let m be w(-4). Suppose 5*d - a = 154 - g, -5*d + m*a = -110. Does 13 divide d?
True
Let j = 1 + -3. Let s = j - -22. Does 10 divide s?
True
Let b = -7 - -14. Suppose -g + 54 - b = 0. Is g a multiple of 18?
False
Let w = 20 + -15. Let m = 5 + w. Is 10 a factor of m?
True
Let g(s) = -s**2 - 14*s - 15. Is g(-10) a multiple of 5?
True
Suppose -z + 103 = -37. Does 35 divide z?
True
Let j(u) = 9*u**3 - u**2 + 1. Is 15 a factor of j(2)?
False
Suppose 228 = -3*g + 7*g + 2*z, z - 4 = 0. Does 20 divide g?
False
Let w(y) = -y**3 + 2*y. Let q be w(-2). Suppose -q = 4*o - 2*o. Is (-1 + 1)/o - -6 a multiple of 6?
True
Let j(p) = 5*p + 2. Let x(o) = -2*o - 9. Let r be x(-6). Is 10 a factor of j(r)?
False
Suppose f - 2*b - 16 = 3*b, 2*f + 13 = b. Let z = f - -22. Is z a multiple of 4?
False
Let v = -4 - -2. Let j = v + 5. Suppose 2*q = j*q - 42. Is 10 a factor of q?
False
Let f = -46 + 79. Is f a multiple of 18?
False
Let t be ((-1)/2)/(1/(-2)). Let s(p) = 3*p**3 - 4*p**3 - 3*p + t + 2*p. Is s(-3) a multiple of 13?
False
Suppose 6*n = 115 + 5. Does 8 divide n?
False
Suppose -f - 2*g + 39 = -0*g, f - g = 33. Let q = f + -23. Is 4 a factor of q?
True
Let p(m) be the first derivative of -2 + 8*m + 1/2*m**2. Is p(0) a multiple of 4?
True
Let x be -3 + 33 + (1 - -2). Let u = 12 - 6. Is 10 a factor of u*(x/9 + -2)?
True
Let d = -11 + 19. Let m = 15 - d. Suppose 174 = m*f - 4*f. Is 22 a factor of f?
False
Let v(n) = -n - 1. Let o(t) = 12*t**2. Let r be o(1). Suppose -4*z - 21 = x, -4*z - 2*x - r = 10. Is 3 a factor of v(z)?
False
Suppose -15 = -5*p - 0*p. Let a = -9 - -15. Suppose p*h = -4*w - 3, 4*w - w + 3*h + a = 0. Is 3 a factor of w?
True
Suppose -17*n - 91 = -2437. Is n a multiple of 23?
True
Suppose 5 + 20 = 5*v. Suppose -1 = v*c - 21, 0 = -5*x - c + 224. Suppose 2*t = 40 + x. Does 21 divide t?
True
Let y(t) = 9*t + 65. Is y(7) a multiple of 15?
False
Let u(k) = k**3 - k**2 - 2. Let l(v) = 2*v**3 - v**2 - v - 4. Let a(b) = -2*l(b) + 5*u(b). Suppose 3*p = 5*p - 2*n - 14, 5*p = -n + 17. Does 11 divide a(p)?
True
Let i(j) = -j**3 - 7*j**2 + 12*j + 8. Let v be i(-8). Let m be (v/18)/((-4)/(-18)). Let k(g) = g**3 + 8*g**2 + 9*g + 2. Is k(m) a multiple of 10?
True
Let m = 74 + -41. Suppose -4*u = -5*o - m, -u + 0*u - 18 = 4*o. Is 3/(-6)*-10*u a multiple of 10?
True
Suppose -3*t = 4*r + 2*t - 32, -r = 3*t - 1. Let v(w) = w**3 - 12*w**2 - 9*w - 10. Is 12 a factor of v(r)?
False
Let f(m) = -2*m**2 - 5*m + 1. Let r(p) = -p**2 - 2*p. Let i(v) = 3*f(v) - 7*r(v). Let z be i(0). Suppose 0 = -z*d - 3 + 9. Is d even?
True
Let z = 2 - -1. Let q = z + -4. Let c = q + 8. Is 7 a factor of c?
True
Let v = 49 + -89. Let w = -5 - -7. Is 8 a factor of (w*-1)/(5/v)?
True
Let n(g) be the third derivative of g**5/60 + g**4/4 + 4*g**3/3 - 8*g**2. Is n(-6) a multiple of 2?
True
Let s(y) = 3*y - 11. Let a be s(5). Suppose 5*b - 5*x = 105, -a*b - 5*x - 57 = -7*b. Is b a multiple of 19?
False
Suppose -2*a = q + 33, 0 = -4*a + 2*q - 7*q - 63. Let t = 3 + 3. Is a/(-2) - 3/t a multiple of 8?
True
Let r(i) = 5*i**3 - 11*i**2 + 14*i + 3. Let m(o) = 2*o**3 - 4*o**2 + 5*o + 1. Let k = -1 - 5. Let u(n) = k*r(n) + 17*m(n). Is u(2) a multiple of 10?
False
Let j(a) = 13*a**3 - 3*a**2 + a + 2. Let g be j(2). Suppose 2*m - 30 = g. Is m a multiple of 21?
True
Let y = 6 - 3. Let c = -234 - -448. Suppose -4*f + c = -0*f + b, -6 = -y*b. Is 19 a factor of f?
False
Let i be 4/10 - 12/30. Suppose -3*q = l - 7, 8 = -i*q + 4*q + 2*l. Is q a multiple of 2?
False
Suppose 5*m = 10, -4*m + 0*m = 4*n - 44. Suppose -4*v + 3 = -n. Suppose -3*d + 30 = v*x, d + 7 - 28 = -2*x. Does 4 divide x?
False
Suppose -4*z + 33 = -z. Let y = -6 + z. Suppose 3*k - 4*r - 56 = 0, -2*k - 14 + 42 = -y*r. Is k a multiple of 12?
True
Let u(x) = -x**3 - 5*x**2 - 5*x - 4. Let o be u(-4). Let g(f) = -f + 17. Is 16 a factor of g(o)?
False
Let u(s) = -38*s + 49. Let v(h) = 25*h - 33. Let d(q) = -5*u(q) - 7*v(q). Does 19 divide d(5)?
False
Let u(n) = 4*n - 6. Suppose -k - 3 + 18 = 0. Is u(k) a multiple of 18?
True
Let s = -2 + -2. Let c be s/(-22) - (-580)/(-44). Let z = 22 + c. Is z a multiple of 5?
False
Let n(h) = -32*h + 3. Is n(-2) a multiple of 8?
False
Suppose -5*c + 580 = 5*z, 3*c - 6*c - 4*z = -349. Is c a multiple of 18?
False
Let b = -60 + 104. Is 22 a factor of b?
True
Suppose 3*q = 6 + 18. Suppose t + 4*u = u - 12, 4*u = -20. Suppose 27 = 4*i - 5*c, t*i - q = c + 4. Is 3 a factor of i?
True
Let j = -11 + 15. Suppose -5*p = -4*p + 5, j*t + 4*p = 228. Suppose t = -0*r + 5*r - i, -4 = 2*i. Is r a multiple of 12?
True
Let r = -6 - -18. Is 12 a factor of r?
True
Suppose -3 = -2*h + 43. Does 23 divide h?
True
Let c(a) = a**3 - 9*a**2 + 9*a - 9. Let o be c(8). Is (-3 - -1) + (15 - o) a multiple of 14?
True
Let q(y) = y**2 + 13*y + 4. Let r be q(-5). Let o = r + 54. Is o a multiple of 6?
True
Let x = 3 - 1. Let f be (x - 3)*(-75 + 1). Suppose -5*l - 9 + f = 0. Is l a multiple of 12?
False
Suppose 4*t - 75 = 5*n, 3*n = -3*t + 2*n + 61. Does 11 divide t?
False
Let z(c) = -2*c**2 + 6*c - 7. Let n be z(4). Let p = -33 + 78. Let t = n + p. Is 15 a factor of t?
True
Let q(y) = y + 90. Does 12 divide q(0)?
False
Suppose 3*z - 455 - 49 = 0. Is 21 a factor of z?
True
Let r = 5 + 14. Is r a multiple of 19?
True
Suppose 3*m + 18 + 0 = 0. Let v = m + 6. Does 15 divide 3/(-3)*(v + -17)?
False
Let x(i) = -6*i - 1. Is 2 a factor of x(-1)?
False
Let f = 14 - 44. Let g = f + 63. I