t(-3). Suppose -l*o = -o - j. Is o a multiple of 16?
True
Let r = -11 + 8. Let y(x) = 2*x**2 - 3*x - 6. Does 7 divide y(r)?
True
Suppose -x = -l + 4, -4*l + 2 = -2*l. Let n(t) = 7*t + 6. Let b(p) = 8*p + 6. Let f(i) = 2*b(i) - 3*n(i). Is 3 a factor of f(x)?
True
Let i(n) = 3*n + 7. Let l = 1 + 6. Is 17 a factor of i(l)?
False
Let q be (1 - 0) + (-2)/(-2). Suppose 27 + 43 = 2*f + r, -q*f - 5*r = -62. Does 7 divide f?
False
Is 14 a factor of 21/(315/18804) + (-2)/(-5)?
False
Suppose -v = 3, 0 = 3*w + v - 0*v - 315. Let c = w + -20. Is 22 a factor of c?
False
Suppose -10 = -a - 4*a. Suppose -3*m - a*m + 83 = 4*h, -3*h + 10 = m. Suppose 3*g - m = 50. Does 14 divide g?
False
Let a(f) = 38*f - 89. Is 51 a factor of a(11)?
False
Let v(n) = -n**3 - 7*n**2 - 6*n - 4. Let a be v(-6). Let d be 19*2/(a/(-6)). Suppose 4*k + d - 145 = 0. Is 11 a factor of k?
True
Let s = -90 - -79. Let p(c) = -10*c - 30. Does 29 divide p(s)?
False
Is 2 a factor of 8 + 4/((-20)/(-125))?
False
Let h(g) = 2*g + 23. Suppose 0 = 4*o - l - 56 - 27, 4*o - 5*l - 95 = 0. Does 8 divide h(o)?
False
Let c(r) = -3*r**2 - 140*r + 68. Does 35 divide c(-44)?
True
Let c(j) be the second derivative of j**4/12 + 5*j**3/3 + 10*j**2 + 4*j. Let r be c(-8). Suppose -5*w + 46 = -4*k - 46, -28 = -w - r*k. Does 10 divide w?
True
Suppose -4134 = -u + 33*m - 31*m, 0 = 5*u + 5*m - 20640. Does 14 divide u?
True
Let t = 60 - 27. Is t a multiple of 11?
True
Let f be (-2*(-36)/(-30))/(2/10). Does 2 divide 1*2 + 13 + f?
False
Does 40 divide 1967 - (47/7 + 22/77)?
True
Let a(k) be the second derivative of k**4/12 - 13*k**3/6 - 17*k**2 + 37*k. Is 24 a factor of a(17)?
False
Let u be (-4)/(-10) + (-17)/5. Let s(k) = -4*k + 4. Let r be s(7). Is r*(u - 20/(-16)) a multiple of 14?
True
Let y(t) = -t**3 - 15*t**2 + 15*t + 8. Let q be y(-16). Is 6 a factor of 270/q*8/3?
True
Suppose 2*a = 5*a - 39. Suppose a*g - 588 = 6*g. Is g a multiple of 12?
True
Is 25 a factor of 77 - (-7 + 5 - -4)?
True
Let g(r) = r**2 + 19*r + 18. Let a be g(-18). Suppose a = -0*i - 6*i + 540. Is i a multiple of 20?
False
Let d(g) = -g - 9*g**2 - 14*g**3 + 5*g**3 - 2 + 8*g**3. Is 18 a factor of d(-10)?
True
Let a be -5*(-4)/100 - 192/10. Suppose 0 = -3*g + 3*s - 96, 3*g = 2*s - 5*s - 66. Let d = a - g. Does 3 divide d?
False
Let z be 9/(-6) - 47/2. Let x = -15 - z. Does 3 divide x?
False
Suppose -557*z - 19162 = -579*z. Does 55 divide z?
False
Suppose v + 4*n - 3 = 0, -10 = -2*v + 4*n - 4. Suppose i = -v*i + 96. Suppose -3*p + 60 = -i. Is 8 a factor of p?
False
Let j(p) = p + 4. Let x be j(-2). Suppose 168 = 8*d - x*d. Is 8 a factor of d?
False
Let j(g) = -g**2 - 11*g + 21. Is j(-12) a multiple of 9?
True
Let w(a) = a**3 + 7*a**2 - 8*a - 17. Let h(t) = t**3 + 11*t**2 - 13*t - 2. Let q be h(-12). Let k = q + -17. Is 13 a factor of w(k)?
True
Let f(z) = 11*z - 6. Let i be ((-1)/(-1) + 0)*3. Does 9 divide f(i)?
True
Let z = 67 - 62. Let q(y) = -13*y + 23. Let k(u) = 7*u - 11. Let w(m) = 13*k(m) + 6*q(m). Is w(z) a multiple of 30?
True
Suppose 6 = -2*j, 0 + 1 = 4*h + 5*j. Suppose -h = -2*v, -l + v - 8 = -3*l. Let k(p) = 16*p + 4. Is 13 a factor of k(l)?
True
Is (3 + -48)/((-2)/18*3) a multiple of 25?
False
Let v(u) = -u**2 + 25*u - 4. Let j be 6/(-21) - ((-312)/14 - -4). Does 32 divide v(j)?
False
Let t(a) be the first derivative of 7*a - 4*a + 2*a + a + 12 + 3*a**2. Does 10 divide t(9)?
True
Suppose -3*v + 6 = -24. Suppose -3*x - 6*p + 10 = -7*p, 0 = 2*x - 2*p. Let a = v - x. Does 2 divide a?
False
Let w be 2 + (-1 - -5 - 3). Suppose -10 = 2*q - 4*l, -3*l = q + w - 23. Suppose -3*x - 38 = -2*i, -q*i + 5*x + 96 = 11. Is 13 a factor of i?
True
Suppose 0 = -6*c + 12*c - 30. Suppose -3*l - 2*l + c*a + 1480 = 0, -2*l + 589 = a. Is 45 a factor of l?
False
Let s(v) = v**2 - 7*v - 2. Let d be s(7). Is 16 a factor of ((1*-2)/d)/(3/345)?
False
Let c(u) = 403*u**2 - 30*u - 99. Is c(-3) a multiple of 61?
False
Suppose 45*o - 49*o + 8840 = 0. Does 13 divide o?
True
Let v = 6 + -5. Is (v + 250/(-15))/(2/(-42)) a multiple of 16?
False
Let u(v) = 4*v - 7. Let q(i) = -2*i + 4. Let w(d) = -13*q(d) - 6*u(d). Let t(l) = l**2 + l + 1. Let p be t(-3). Is w(p) a multiple of 4?
True
Suppose -3*y + d = y - 56, 0 = -4*y + 3*d + 64. Suppose 0 = -y*k + 11*k + 166. Is 15 a factor of k?
False
Let x be 4/(-10) - 1208/(-20) - 3. Let j = -17 + x. Is j a multiple of 10?
True
Suppose -3*s = 2*g - 35, 4*s - 54 = -5*g + 2. Is s/(-21) + 3142/14 a multiple of 18?
False
Let o = 1568 + -864. Does 11 divide o?
True
Let s(j) = -j**2 - 19*j + 83. Does 8 divide s(-22)?
False
Let w = -22 - -9. Let l be ((-74)/6)/(5/15). Let i = w - l. Is i a multiple of 7?
False
Suppose -p + 883 = -4*q, -3*q = 5*p - 761 - 3746. Is p a multiple of 31?
True
Let c = -16 + 22. Let h = -2 + c. Suppose f - 2*a + 3 = a, 16 = h*f - 5*a. Is 4 a factor of f?
False
Let n(y) = y**3 - y**2 - y + 5. Let h be n(0). Suppose -3*z + 45 = h*o + 2*z, -12 = -o - 2*z. Does 6 divide o?
True
Let n(u) be the second derivative of 7*u**6/360 - u**5/30 - u**4/12 + 5*u. Let p(f) be the third derivative of n(f). Is 19 a factor of p(3)?
True
Let c(q) = -16*q**2 + 111*q - 12. Is 6 a factor of c(6)?
True
Suppose -k + 1946 = -4*l + 5*l, -4*k + 7779 = 5*l. Does 68 divide k?
False
Let s(m) be the second derivative of 8/3*m**3 + 5*m + 0 - 9/2*m**2. Does 14 divide s(4)?
False
Let c = -24 - -14. Does 18 divide -2 - 3 - (c + -81)?
False
Suppose 14 = 2*r + 5*p, -p = -2*r + p. Suppose -4 + r = -b. Suppose 2*i - 104 = -b*i. Does 6 divide i?
False
Let s(b) = 727*b**2 - 68*b + 69. Is 26 a factor of s(1)?
True
Suppose -3*c + 30 = 3. Is 6 a factor of -1 + -3 + 1 + c?
True
Does 3 divide 5 - ((-9)/1 + -65)?
False
Let q = 12 + -9. Suppose 3*p + 2*g + 10 = -2*g, q*p + 2*g = -2. Suppose -38 = -p*m + 72. Does 25 divide m?
False
Let d = 2000 - 518. Is d a multiple of 39?
True
Is 14 a factor of (-2)/(-4) - ((-35581)/(-14))/(-13)?
True
Let k(s) = 2*s + 1. Let o be k(2). Suppose 7*v - p = 4*v + 20, 2*v + 3*p = -o. Suppose 4*z + 50 = v*w - 44, -z - 73 = -4*w. Is w a multiple of 8?
False
Let g be (88/20)/(1/(-5)). Let i = g - -22. Let q = 5 + i. Does 2 divide q?
False
Let t = 14 + -20. Let s(w) = -w**2 - 8*w - 8. Let f be s(t). Suppose 0*r = -2*r - 4*o + 24, -34 = -f*r - o. Does 4 divide r?
True
Let n(v) be the third derivative of 13*v**6/360 - v**5/40 - 5*v**4/12 - 2*v**2. Let k(x) be the second derivative of n(x). Does 12 divide k(2)?
False
Suppose 5 + 4 = n - b, -3*b - 11 = n. Suppose 0 = -5*y - 72 + 47. Let q = n - y. Does 3 divide q?
True
Let j = 2219 + -1547. Is j a multiple of 48?
True
Suppose 58426 = 106*a - 16516. Is a a multiple of 7?
True
Let j(g) be the first derivative of 81*g**2/2 + 7*g - 5. Let x be j(-5). Does 9 divide (-12)/28 - x/14?
False
Let q be ((-275)/22)/((-2)/8). Does 4 divide (q - 2)/((-27)/(-6) - 3)?
True
Suppose 5*f - 596 = -3*a, 0 = -2*f - 8*a + 3*a + 246. Suppose -38 + f = 2*k. Is 6 a factor of k?
False
Let h(v) = -91*v - 48. Does 13 divide h(-2)?
False
Let c(z) = -194*z + 13. Let a(h) = -97*h + 6. Let i(u) = -9*a(u) + 4*c(u). Let y be i(-1). Is 3 a factor of 4/(-3)*y/22?
True
Suppose v = -207 - 17. Is (7 - (-44)/(-8))/((-6)/v) a multiple of 7?
True
Let j(v) = -v**2 - 43*v + 490. Is j(0) a multiple of 35?
True
Let i(k) = -1 + 4*k - 2 + 4 - 5. Does 4 divide i(2)?
True
Let f = 759 - 378. Does 11 divide f?
False
Suppose -3*f + 176 = -d, -5*f = -6*f + 5*d + 40. Is 9 a factor of f?
False
Let m(o) = -o**3 + 2*o**2 + 2*o - 2. Let a be m(2). Suppose x + 0 - 6 = a*c, -2*c + 3*x = 14. Does 3 divide 11 - c - (5 + -4)?
False
Let c(a) be the third derivative of -a**6/360 + a**5/10 + 3*a**4/8 + a**3/2 - 4*a**2. Let z(g) be the first derivative of c(g). Does 15 divide z(6)?
True
Let n = 148 - 103. Let q = -29 + n. Is 8 a factor of q?
True
Let f = 273 + -199. Is 13 a factor of f?
False
Suppose 64*n - 27 = 55*n. Let r(v) be the first derivative of 2*v**2 + 4*v + 1. Does 8 divide r(n)?
True
Let a(r) = -8*r - 9. Suppose -2*b = -b - 2. Suppose 0 = b*n + 3*n + 25. Does 17 divide a(n)?
False
Let u be ((-30)/(-4))/(3/2). Let s = 43 - u. Does 12 divide s?
False
Let f(y) = -y**3 + 13*y**2 - 7*y - 2. Does 9 divide f(9)?
False
Suppose -6*h + h = -300. Suppose -4*d + h = -92. Suppose -5*k + 154 = -4*n, -2*k + 3*n + 25 + d = 0. Is 10 a factor of k?
True
Supp