3. Let x = -190 - q. Does 29 divide x?
False
Suppose -5*n + 6401 = r, -4*n - 11*r + 13*r = -5118. Is n a multiple of 27?
False
Let f(v) = -14*v**2 - 41*v - 15. Let s(k) = -5*k**2 - 14*k - 5. Let l be 2 + -3 + (-15)/5. Let t(g) = l*f(g) + 11*s(g). Is t(-11) a multiple of 6?
False
Is 72 a factor of -3*(-6 + 2073/(-9))?
False
Suppose -3*p - 2*d + 4 = -4, -2*d = 2*p - 4. Is p + 1 + 17 - 4 a multiple of 9?
True
Let b(a) = -a**3 - 19*a**2 - 39*a + 5. Is 5 a factor of b(-17)?
True
Let d = -24 - -87. Is 9 a factor of d?
True
Let b(q) = 60*q + 24. Is b(2) a multiple of 39?
False
Suppose -3*m = -1595 - 2143. Is 66 a factor of m?
False
Let r be -2*(-5 + 9 + -94). Suppose -4*o - 3*d + r = -2*d, 0 = 4*d. Is o a multiple of 17?
False
Let j = 305 - 17. Is 12 a factor of j?
True
Let c(l) = -2*l + 16. Let m(z) = z**3 + 5*z**2 + 7*z + 5. Let v be m(-4). Is c(v) a multiple of 3?
True
Let s be 7 - (1 - (4 - 0)). Suppose 10 = 4*v - s. Is 3 a factor of v?
False
Let t = 58 - 40. Suppose -3*u = -3*i - 12, -i + 0*i - 4 = u. Suppose -5*m + t + 32 = u. Is m a multiple of 10?
True
Let a(q) = 21*q + 298. Does 75 divide a(22)?
False
Let a(z) = z**3 - 14*z**2 + 15*z + 40. Let k be a(12). Suppose -2*g = -7*g - 40. Let v = g - k. Is v a multiple of 18?
False
Suppose 18*k - 12*k - 2580 = 0. Is k a multiple of 28?
False
Suppose -265*j - 65000 = -290*j. Is j a multiple of 52?
True
Suppose -26*a = -5354 - 2446. Does 15 divide a?
True
Let q be 1430/14 + 5/(-35). Suppose -q = -2*k + 5*y - 14, 5*k - 258 = 3*y. Does 18 divide k?
True
Suppose 3*m + 3*v = 3, -3*m + 26 = -m - 4*v. Suppose i - 3*r = -r + 152, 0 = 5*i + m*r - 775. Does 14 divide i?
True
Let u = 0 + 3. Let b be (42/(-18))/((-1)/u). Let n = b + 9. Does 16 divide n?
True
Let o be (-2*2/4)/(5/305). Is 4 a factor of (4 - 8)/4 - o?
True
Let p(c) = 43*c + 657. Is 13 a factor of p(21)?
True
Let k(r) = 46*r + 3. Let a be k(3). Suppose 0 = -4*j + 5*j - a. Is 47 a factor of j?
True
Suppose 0 = -3*w - 4*u + 1084, 4*w - 1462 = 22*u - 24*u. Does 16 divide w?
True
Let f(x) = -x**2 + 43*x + 173. Does 33 divide f(35)?
False
Suppose a - 6*a - 4817 = -3*x, 5*x + a - 8019 = 0. Is x a multiple of 87?
False
Let s(q) = -q**2 + 3*q + 3. Suppose 0 = w - x + 2, x - 22 = -5*w - 2*x. Let p be s(w). Suppose 4*m = -p + 37. Is 8 a factor of m?
True
Suppose -77*q + 2985 = -72*q. Suppose -6*s - 5*l = -2*s - q, 5*s - 2*l - 771 = 0. Does 17 divide s?
True
Suppose r = -3*s + 4, -3*s + 5*r - 20 = s. Is 195*((-1 - s) + 2) a multiple of 39?
True
Suppose -3*r + 1853 = 2*q + 3*q, -q + 3059 = 5*r. Suppose 97 + r = 4*s. Let l = 257 - s. Is l a multiple of 16?
True
Suppose 4911 = 16*n - 4657. Is 31 a factor of n?
False
Let s(k) = -5*k**3 - 4*k**2 - 2*k. Does 6 divide s(-4)?
True
Is (-2)/8 - 617/(-4)*1 a multiple of 16?
False
Let d(o) = -o**3 - 14*o**2 - 16*o. Let y be d(-13). Suppose j - 3*w = 22, -5*w - y - 21 = -5*j. Does 21 divide j/((-21)/(-132)) + 0?
False
Let s = 25 - 29. Let m(y) = -19*y - 4. Let a be m(s). Suppose -2*f + 4*f = a. Is 18 a factor of f?
True
Let z(w) = -1 - 1 - 47*w - 5. Let s be z(-5). Is s/24*(0 - -2) a multiple of 4?
False
Let c = -6 + 10. Does 21 divide (350 - 2)/c - 3?
True
Let y(s) = s**3 + 9*s**2 - 10*s + 4. Let f be y(-10). Let j(l) = l + 1. Let p(z) = -z**2 + 11*z - 19. Let t(b) = f*j(b) + p(b). Is t(13) a multiple of 10?
False
Let n be -1*(2 + 2 + -4). Suppose n*w = -w. Suppose -d + b + 25 = -51, w = 5*b + 5. Is d a multiple of 15?
True
Suppose -2*f - 3*f = -5*d - 1940, -791 = -2*f - d. Is 13 a factor of f?
False
Suppose -6*f + 522 = -576. Is f a multiple of 3?
True
Suppose -5*c + 0*c + 2*z + 6 = 0, 5*z + 15 = -5*c. Suppose 11*i - 14*i + 81 = c. Suppose 35*j + i = 36*j. Does 27 divide j?
True
Suppose -h - 6*h + 14 = 0. Let w(y) = -y + 2*y**2 - 1 - 6*y**h - 25*y**3 + 4*y**2. Does 6 divide w(-1)?
False
Let m = -13 + 14. Is 30 a factor of 7254/108 - m/6?
False
Let j(u) = -u**2 + 4*u. Let k be (-25)/(-5) + -1 + 0. Let b be j(k). Let x(i) = i**3 + i**2 - i + 28. Does 14 divide x(b)?
True
Suppose 3*t = -5 - 7. Let a be t/(-10) - 2/5. Suppose a = o - 5*o + 52. Is o a multiple of 2?
False
Is 28 a factor of (-20158)/(-12) + (-146)/(-876)?
True
Let u(p) be the second derivative of -p**4/12 + 5*p**3/6 - 5*p**2/2 - 6*p. Let a be u(5). Let s = 9 - a. Is s a multiple of 14?
True
Let n = -28 - -29. Let y be (n/(-5))/(2/(-20)). Suppose 3*b - y*b = 23. Does 5 divide b?
False
Let q = -23 + 27. Let r be (-280)/12 - q/6. Does 18 divide 150/4*r/(-36)?
False
Suppose -4*x - 5*d + 352 = 0, -3*x - x + 364 = 2*d. Is 21 a factor of x?
False
Let n be (-4 - -3 - -6)/1. Suppose -n*s + 6 = -14. Let z(o) = o**3 - 4*o**2 + 5*o + 3. Is z(s) a multiple of 7?
False
Suppose -5 = -5*l + 30. Let q(z) = 10*z - 30. Is 7 a factor of q(l)?
False
Let f(u) be the third derivative of -7*u**2 + 0*u**4 + 0*u + 0 - 1/6*u**3 + 1/4*u**5. Does 12 divide f(-1)?
False
Let m(b) = -b**2 + 13*b + 1035. Is m(0) a multiple of 11?
False
Let l(f) = -2*f - 4. Let y be l(-5). Let t(w) = 2*w - 7. Let o be t(y). Suppose -6*a + 14 = -a - 2*j, -4*j - 8 = -o*a. Does 3 divide a?
False
Let u(z) = -z**2 + 3*z + 2. Let v be u(2). Suppose -v*f + 262 = -3*f + 4*x, 3*f + 4*x - 778 = 0. Does 43 divide f?
True
Suppose -5*r - 3*b + 5*b = -26, 5*r = -b + 17. Suppose 5*g - c = 66, r*g - 2*c - 54 = -0*c. Suppose j + 2 - g = 0. Is j a multiple of 4?
False
Suppose 3*d = -d + 5*x + 317, 2*d + 3*x = 153. Does 4 divide d?
False
Let i be 1/((-6)/4)*(-45)/(-10). Let s(b) = -3*b**3 - 4*b**2 - 2*b - 3. Is 16 a factor of s(i)?
True
Does 2 divide 4/3 + ((-6650)/21)/(-19)?
True
Let h be -7*(68/(-28) + 1). Suppose 6*r - 64 = h*r. Let l = r + 25. Is l even?
False
Suppose -5*t + d + 38 = -3*d, -4*t + 25 = -5*d. Let m be t - 10 - -5*1. Let o(f) = 2*f - 5. Is 2 a factor of o(m)?
False
Suppose 125 = a + n, a - 5*n - 135 = -8*n. Is 12 a factor of a?
True
Let l be 590/15 + (-4)/(-6). Let i be (372/42)/(5/35). Suppose 38*q = l*q - i. Does 6 divide q?
False
Suppose -5*h - 737 = s, -h + 2*s - 143 = -0*h. Let c = -218 - h. Let v = 143 + c. Does 24 divide v?
True
Let m(p) = 21*p - 135. Is 15 a factor of m(15)?
True
Let h(s) be the third derivative of s**5/60 - s**4/4 - 2*s**3 - 2*s**2. Is h(9) a multiple of 5?
True
Let l(h) = 3*h - 50. Let m be l(18). Suppose -p + 71 = -m*q - q, -5*p + 205 = 5*q. Is p a multiple of 16?
False
Let v = -30 + 34. Suppose 3*i + 0*a = 5*a + 1, 3*i - v*a - 2 = 0. Suppose 26 = i*x - 10. Is 11 a factor of x?
False
Let r(u) be the first derivative of u**4/4 + 2*u**3/3 - 3*u**2/2 + 4*u - 11. Let d be 26/8 + (-3)/12. Does 15 divide r(d)?
False
Let n be ((-6)/(-4))/(-1)*(-20)/6. Suppose -3*w = -3*q - 33, -n*w + 5*q = -2*w - 37. Is 9 a factor of w?
True
Suppose 15*v - 4872 = -6*v. Is v a multiple of 8?
True
Let r = 3956 + -2048. Does 51 divide r?
False
Let f be (-3 + 7)*-1 + 7. Is 13 a factor of 181/f + 4/(-3)?
False
Let i = -1308 - -1402. Is i a multiple of 58?
False
Let t(r) be the second derivative of r**4/12 + r**3/2 - 3*r**2 + 7*r. Does 34 divide t(5)?
True
Let o = 14 - 2. Is ((-45)/o)/(3/(-32)) a multiple of 8?
True
Let z(a) = a**3 + 0*a**2 - a - 5 + 12*a**2 - 2*a**2. Let p be z(-10). Let w(s) = -s**3 + 7*s**2 - 3*s + 7. Does 11 divide w(p)?
False
Let c(m) = 2*m**3 + 69*m**2 + 24*m - 46. Is 21 a factor of c(-34)?
True
Let x(s) = -8*s + 146. Is 3 a factor of x(14)?
False
Suppose 56*y + 40018 = 107666. Is 7 a factor of y?
False
Let f = 193 - 180. Does 13 divide f?
True
Let h = -1855 - -3388. Is h a multiple of 73?
True
Is 6 a factor of 96/(-54) + 2/(-9) + 162?
False
Let l(w) = -7*w + 9. Let i(a) = 4*a - 5. Let h(f) = -7*i(f) - 3*l(f). Let q be h(-6). Suppose -3*m = -13 - q. Is 7 a factor of m?
True
Suppose -12*x = -17*x + 3615. Does 13 divide x?
False
Suppose n + 27 = -2*v, -4*v + 6*v = n + 39. Is 17 a factor of -888*2/n + (-8)/(-44)?
False
Suppose 4*k = -0*k + 24. Let f(z) = 0*z + 1 + k - 3*z - 4. Does 12 divide f(-3)?
True
Suppose 5 = -3*b - 4, 3*j = 3*b + 1884. Is 25 a factor of j?
True
Let g be (-95)/38*-2*1. Suppose 0 = -w + g*w - 8. Is (-4)/(-24)*129*w a multiple of 6?
False
Let r(b) = 2*b + 24 + 7*b - 7*b. Is r(22) a multiple of 4?
True
Suppose o + 3*v = -44, 0 - 6 = -2*v. Let m = o - -112. Is 12 a factor of m?
False
Let n(i) = -i**3 + 32*i**2 + 33*i + 102. Does 22 divide n(26)?
True
Let g = 6524 - 226