- 11*m = -14*m + 14487, -4*m = -5*g + 14494. Is g a multiple of 21?
True
Let z(x) = 7*x**2 - x - 1. Let v(r) = 4*r + 9. Let g be v(-8). Let t = g + 22. Is 7 a factor of z(t)?
True
Suppose 2*d + 26 = 4*d. Let l(s) = s**2 - 9*s - 3. Is l(d) a multiple of 24?
False
Let y = 16 - 10. Suppose -q = 5*h + 2*q + y, -5*h - q = 2. Suppose 36 = k - h*k - 4*n, 4*n = -k - 4. Does 5 divide k?
False
Let k = 138 - 196. Let j = 119 + k. Does 32 divide j?
False
Let t(x) = x**3 - 7*x**2 - 10*x + 16. Let v be t(8). Suppose v = -i + 9 + 9. Is i a multiple of 12?
False
Let w = 3840 + -66. Does 51 divide w?
True
Suppose t + 0 = 5, t + 106 = z. Suppose 2*y = q - y - 69, -3*y + z = 2*q. Is 30 a factor of q?
True
Let f = -780 - -1734. Is f a multiple of 53?
True
Let p be 0 - 1 - 39/13. Let k be 2/p - 21/2. Let x = k + 23. Does 6 divide x?
True
Let d(r) be the first derivative of -r**2 + 62*r - 22. Is d(-21) a multiple of 13?
True
Let v be (6/(-8))/(2/24). Let g(c) = -15*c**3 - 8 + 9*c**2 - 3*c**3 - 5*c + 19*c**3. Does 12 divide g(v)?
False
Let m = 283 + -514. Let q = 396 + m. Is q a multiple of 43?
False
Is (2 + (-74)/(-8))*(-64)/(-6) a multiple of 40?
True
Let j = 79 - -125. Let n = j - 68. Does 22 divide n?
False
Let h(u) = -9*u**2 - u + 7. Let t(r) = 4*r**2 + r - 4. Let m(s) = -3*h(s) - 7*t(s). Let w be m(-5). Suppose 0 = w*x - 156 + 14. Is 17 a factor of x?
False
Let l = -8 + 8. Suppose 4*f - 93 - 99 = l. Is 8 a factor of f?
True
Let j be 54/(-81)*6/4. Is (-2)/j*(12 - 8) a multiple of 3?
False
Let i(d) = d + 10. Let g = -12 + 17. Let j be i(g). Suppose 6*u - u - j = 0. Does 3 divide u?
True
Suppose -3*v - 501 = -q, -q + 502 = -2*v - 0*v. Is q a multiple of 42?
True
Suppose -2*g - u = -1201, 3*g - 2*u - 1791 = -0*u. Let i = g + -418. Does 23 divide i?
False
Let q be (-22)/(-14) - 2 - 1084/(-14). Does 2 divide (-225)/(-7) + (-11)/q?
True
Let g(o) = 255*o - 2. Let r be g(-1). Let b = -175 - r. Does 9 divide b?
False
Let t be (-16)/(-9) + (-14)/(-63). Suppose -5*v = -t*h + 56, 5*h + 5*v - 175 = -0*v. Is h a multiple of 11?
True
Suppose -3*t + 22 = -0*t + w, -2*w + 2 = 0. Let m = t - -70. Is 11 a factor of m?
True
Let j be 8*(1 + 9/(-12)). Suppose -12 = -2*x - j*y, -6 = -x + 2*x - 3*y. Suppose -98 = -k - 3*k - 2*q, -66 = -3*k - x*q. Does 9 divide k?
True
Let k(p) = -p**2 - 17*p - 2. Let i be k(-17). Is ((-3)/(-2) + -1)*i + 61 a multiple of 20?
True
Suppose 9*s = 12*s + 81. Let t = -20 - s. Is t a multiple of 6?
False
Let v(f) = 9*f**2 + 3*f - 4. Let i(b) = -b**2 + 1. Let r(q) = 2*i(q) + v(q). Let d be r(1). Suppose -6*s + d*s = 50. Is s a multiple of 20?
False
Suppose 2*c - 22 = -0*s + 4*s, -2*c = 4*s + 2. Suppose -57 = f - 4*v, -c*f + 3*v - 5*v - 307 = 0. Let b = -35 - f. Is b a multiple of 13?
True
Let s = -1168 - -1697. Does 15 divide s?
False
Suppose -160*h = -141*h - 8436. Is 12 a factor of h?
True
Suppose -k - k = 3*n - 17, n = -5*k + 10. Suppose n*d = 174 + 306. Does 15 divide d?
False
Let r(t) = t**3 + 8*t - 8 + 15 - 125*t**2 + 137*t**2 + 6. Is 23 a factor of r(-9)?
True
Let z(r) = -10*r**3 + 6*r**2 + 9*r - 4. Is z(-4) a multiple of 71?
False
Suppose 1537 = -21*d + 34381. Is d a multiple of 58?
False
Let f(y) = y**2 + 13*y + 4. Let o be f(-12). Let r = o + -3. Let g = 2 - r. Is g a multiple of 3?
False
Suppose -4*l - 1390 = -4*a + 1018, -2*l - 4 = 0. Is 10 a factor of a?
True
Suppose 1706 = -3*q + 602. Let h be (-2)/7 - q/14. Suppose h + 80 = 2*k. Is 25 a factor of k?
False
Let l(h) be the third derivative of h**6/120 - h**5/20 - h**4/6 - h**3 - 3*h**2. Let w be l(5). Suppose -i - i = -w. Does 9 divide i?
False
Suppose 4*h + 911 - 947 = 0. Is h a multiple of 3?
True
Is 2 a factor of ((-450)/4)/15*(-16)/6?
True
Let j be (-4)/(-3 + 5) + -9. Let o(x) = -3*x**2 + 6*x - 5. Let m(h) = -h**3 + 16*h**2 - 31*h + 26. Let r(k) = j*o(k) - 2*m(k). Does 18 divide r(3)?
True
Let z(h) = -h**2 + 2*h + 3. Let f be z(-2). Let n be -63*(-3 - f)/(-6). Does 6 divide n/14*(-76)/(-6)?
False
Suppose 2*m = -0*f - 5*f - 17, 3*f + 5*m = -14. Is 13 a factor of f/2*(-158)/3 + 2?
False
Let f = 126 - 32. Is 19 a factor of f?
False
Suppose 3*j = 5*y - 5 - 16, -4*y - 5*j + 2 = 0. Suppose y*o - 3*a - 135 = 0, 0 = 4*o - 5*a - 39 - 145. Does 26 divide o?
False
Suppose 8 - 20 = -2*u. Let h(a) = -a**3 + 4*a**2 + 12*a + 6. Let n be h(u). Let b(c) = -c**2 + 6*c + 5. Does 5 divide b(n)?
True
Suppose -2 = d, -2*h = -2*d - 0*d + 18. Let q = h - -11. Suppose p - 5*i = 3 - 2, 3*p + 5*i - 83 = q. Does 7 divide p?
True
Suppose 611*s = 601*s + 12470. Does 43 divide s?
True
Suppose 0 = -5*b - j + 154, 0 = b - 0*b - 5*j - 36. Let n = b + 69. Does 50 divide n?
True
Suppose 3*d - 19 - 14 = 0. Let y = d - -24. Does 7 divide y?
True
Suppose 4*v - 4*t = 0, -3*v = 2*t - 17 - 3. Suppose 0 = 3*i + 5*o - 27, -i + 4*i = -v*o + 30. Does 13 divide i?
False
Let o(n) be the first derivative of n**3/3 + 3*n**2/2 - 18*n + 12. Is o(7) a multiple of 7?
False
Let t(b) = b**3 + 5*b**2 - 5*b + 11. Let p(z) = -z - 5. Let q be p(0). Does 6 divide t(q)?
True
Is 13 a factor of (-42)/315 - 302/(-15)?
False
Let n(h) be the second derivative of -5/3*h**3 + 5*h**2 - 7*h + 1/12*h**4 + 0. Does 3 divide n(10)?
False
Suppose -3*r + 5*r = -2*n + 140, -4*n + r + 275 = 0. Does 3 divide n?
True
Let k be 0 + 89 + 2 + -1. Suppose o + 5*o = k. Is o a multiple of 5?
True
Suppose 2*m - 5*z - 705 = 230, 0 = 4*m - 4*z - 1864. Does 31 divide m?
True
Let n(i) = -2*i**3 - 4*i**2 - 5*i + 3. Let s(r) = r**3. Let d(w) = n(w) + 3*s(w). Let b be d(5). Suppose 2 - 11 = -b*l. Does 2 divide l?
False
Let z(s) = 3*s - 8. Let x be z(4). Suppose x*q = -6 - 18. Is 70/q*6/(-2) a multiple of 11?
False
Let z(i) be the first derivative of -i**3/3 - 7*i**2/2 - 6*i + 1. Let v be z(-5). Suppose 2*r = -5*j + 6*r + 419, -2*j + v*r + 170 = 0. Is 21 a factor of j?
False
Suppose 0 = -2*l - 69 - 9. Let d = 66 + l. Is d a multiple of 6?
False
Let z = 2 - 1. Let y = 50 + -45. Suppose m - z = -y*s + 5, 0 = -3*m + s + 82. Is 13 a factor of m?
True
Let c = 505 + 449. Let m = c + -672. Is m a multiple of 47?
True
Suppose -p + 2*i = -2*i - 263, -3*p = -2*i - 759. Let g = -155 + p. Is g a multiple of 12?
True
Suppose 0 = -4*a + 4*v - 2*v + 16, 3*v = -3*a - 6. Suppose -3*i = a*k + 2*k + 4, i = 5*k - 14. Is 40 + (-3)/(2/k) a multiple of 10?
False
Let p(s) = -s**3 + 14*s**2 - 7*s. Is 4 a factor of p(7)?
False
Does 6 divide 6/(-99)*-3 - (-8001)/99?
False
Let f(p) = -p**3 - 4*p + 1. Let d be (-7 - -6) + 3 + 0. Suppose -d*a - h - 16 = h, -5*h = a + 28. Is 20 a factor of f(a)?
True
Suppose 3*p = 3*d - 30, 3*p - 4*d = -7*d. Let m = 111 - 155. Let l = p - m. Does 13 divide l?
True
Let r = -23 + 8. Let t = 9 + r. Is 69*((-8)/t - 1) a multiple of 18?
False
Suppose -4*s = 5*g + s + 75, -4*g + s - 70 = 0. Let y = 211 + g. Is y a multiple of 38?
False
Let z(s) = -106*s - 99. Is z(-9) a multiple of 69?
False
Suppose -3*r + 5129 = x, -2*x - 7674 = -5*r + 878. Does 9 divide r?
True
Let j be (-2)/(-4)*-1*(-386 + 0). Does 27 divide j*(0 - 1)*(-11)/11?
False
Let w(z) = -8*z**3 + 3*z**2 + 3*z + 4. Let t be w(-2). Let p = 84 - t. Is 4 a factor of p?
False
Let v(f) be the first derivative of -11*f**2/2 - 8*f + 10. Let b be v(5). Is (25/15)/((-3)/b) a multiple of 13?
False
Suppose 3*m - 4*w = 2 - 6, -4*m = -2*w + 2. Suppose 5*i - 291 = -t + 148, m = 5*i + 5*t - 435. Is 22 a factor of i?
True
Let z(x) = x + 1. Let d be z(-11). Let p be d/85 - (-57)/51. Is 33 a factor of (-917)/(-14) + p/(-2)?
False
Is 46 a factor of 1 + 384 - (2 + (-7 - -1))?
False
Let w be ((-18)/15)/(2/(-5)). Suppose 0 = -w*j + 5*j - 58. Is j a multiple of 4?
False
Let d be (73/(-2 + 1))/1. Let g(z) = 2*z**2 + 23*z - 15. Let h be g(-16). Let u = d + h. Is 10 a factor of u?
False
Let a(b) = -3183*b - 57. Is 6 a factor of a(-1)?
True
Let l(d) = -55*d - 7. Let m be l(-5). Suppose -6*x = -2*i - 3*x + 24, -4*i + 36 = -3*x. Suppose -2*w - m = -i*w. Is 19 a factor of w?
False
Let h be 6/(-6) + -3 + 5. Suppose 2*z + 15 = 5*o, h = -3*z - 14. Suppose 83 = 2*c - o. Is 19 a factor of c?
False
Let p = -4 + 6. Suppose -16 = -4*m, -3*m + 0*m = -p*h + 44. Suppose x - 3*l = 2*l + h, -15 = -5*l. Is 10 a factor of x?
False
Let v = -8 + -54. Let w = 88 + v. Is w even?
True
Let j(r) be the first derivative of -r**4/4 + 5*r**3/3 + 7*r**2/2 + 2*r - 4. Let o be j(6).