 divide j?
True
Suppose -2*z + 7*z + 12 = -s, 0 = -4*s - 3*z + 3. Let m(a) = 2*a**2 + a - 3. Let u be m(s). Suppose -3*l + 30 = -u. Is l a multiple of 4?
True
Suppose 2961238 = 97*g - 1945701. Is 56 a factor of g?
False
Let b(u) = -26*u + 80. Let r be b(3). Let t = 118 - r. Does 29 divide t?
True
Let j(f) = -f**3 + 4*f**2 - 2*f + 191. Does 28 divide j(-13)?
False
Suppose -2*p - 1533 = j - 9034, 0 = p - 4*j - 3746. Is p a multiple of 15?
True
Suppose -62*u + 44*u = -88938. Is 27 a factor of u?
True
Does 18 divide (-2 - 43)/5 - (-12180)/1?
False
Let v(k) = -149*k + 510. Is 35 a factor of v(-47)?
False
Suppose 42*p + 10*p = -77*p + 1488918. Is p a multiple of 4?
False
Let h = -234 + 234. Suppose 26*i - 18416 - 4308 = h. Is i a multiple of 38?
True
Let q = -2 - 2. Let p be (2 + -3)*(-5 - q). Does 10 divide (p/((-4)/40))/(-1)?
True
Suppose x - 5*q + 18 = 0, x + x + q - 8 = 0. Suppose x*l = 3*o - 1294, -5*o = 6*l - 3*l - 2163. Is 36 a factor of o?
True
Let m be ((-2)/(8/(-20)) - 0)/1. Suppose 4*l - 619 = 837. Suppose 0 = -m*z + l + 51. Does 11 divide z?
False
Suppose -h = 21 - 7. Let d be (-24 - (-1 - -5))*(-5)/10. Does 3 divide 1*14 + h + d?
False
Let t be (-1382)/6 + 8/6 + -1. Let o = 349 + t. Is o a multiple of 17?
True
Suppose 0 = 3*n + 5*u - 10910, -8*n + 13*n - u = 18202. Does 20 divide n?
True
Suppose 412 = i - 2*p, -6*i + 9*i + p = 1215. Let g = -310 + i. Is g a multiple of 10?
False
Let k(w) = -w**3 - 39*w**2 + 86*w + 139. Let m be k(-41). Suppose -i = -4*i - 96. Let p = m - i. Is 7 a factor of p?
True
Let z(v) = -v**3 - 6*v**2 + 2*v + 14. Let m be z(-7). Is 5 a factor of 5 + m/(-7) - -92?
True
Let c = -2712 - -2786. Let o = 16 + 6. Let m = c - o. Does 8 divide m?
False
Let l(v) = 381*v**2 + 162*v - 1597. Is l(9) a multiple of 29?
False
Let n(a) be the first derivative of 8*a**3 - 29*a**2/2 - a + 5. Is 37 a factor of n(2)?
True
Does 15 divide (-181 + 14 + -10)*((-370)/3 + 3)?
False
Suppose -291906 - 55827 = -81*a. Is 53 a factor of a?
True
Let p(a) = 6*a**2 + 16*a + 15. Let m be p(-7). Let h = 241 - 168. Suppose -3*l + h = -m. Does 9 divide l?
True
Suppose o - 2*t - 325 = 273, 5*o - 4*t = 3014. Is 17 a factor of -6 + 2 + o + 0?
False
Let p(r) = -56*r + 24. Let h(y) = -y + 7. Let q be h(-4). Let v(z) = -19*z + 8. Let n(c) = q*v(c) - 4*p(c). Does 7 divide n(5)?
False
Let s(b) = -19*b - 4. Let l be s(-1). Suppose 0 = -l*j + 10*j + 215. Let u = j - -29. Is u a multiple of 24?
True
Suppose 74*i = 2084334 + 1470108. Is 32 a factor of i?
False
Let j = 536 + 63. Let b = j - 403. Is b a multiple of 3?
False
Suppose 591 = 3*z + 3*b - 7*b, -4*b - 398 = -2*z. Suppose z = 9*u + 58. Suppose -u*x + 20*x = 605. Is x a multiple of 6?
False
Let g(f) = -f**3 - 2*f**2 + 3*f + 981. Let p be g(0). Let y = -645 + p. Is 42 a factor of y?
True
Let j(w) = w**3 + 4*w**2 + w. Let u be j(-3). Suppose 0 = h - u*h + 1170. Is 30 a factor of h?
False
Is (-53644)/(-8)*2 - (-18)/(-2) a multiple of 79?
False
Is 19 a factor of 4 - 3/((-8)/((-14672)/(-2)))?
True
Let p(k) = 7*k**2 - 3*k - 4. Suppose -24 + 0 = -6*f. Suppose -v + 5*g = -0*v - 2, -f = 2*v - 2*g. Is p(v) a multiple of 17?
True
Suppose 2*j + 99 = 3*a, 4*a = -a + 2*j + 165. Let y = a + -18. Let b(m) = 4*m - 18. Is 16 a factor of b(y)?
False
Let k = -1555 + 3873. Does 6 divide k?
False
Suppose -5*i + 2*t = -11373, -i - 5*t = -3540 + 1287. Let g = i - 1433. Is 24 a factor of g?
True
Suppose 5*i - p - 65 = 0, -i - 5*p - 8 = 5. Suppose -37*x + 2548 = i*x. Is x a multiple of 4?
True
Let o(q) = -q**3 + 15*q**2 - 12*q - 93. Let h be o(13). Let b = h + -21. Does 2 divide b?
True
Does 22 divide (20/(-105))/((-26)/(-39)) - (-31110)/7?
True
Suppose -4*l = -l - 3*z, 3*z - 9 = 0. Suppose 18 = -v + l*v. Let d = v + 47. Does 4 divide d?
True
Let s(y) = -2*y**3 + y + 1. Let d be s(-2). Suppose -d = -4*p + 1. Suppose -p*l + 120 = -3*j, -l + 2*j = j - 29. Is 9 a factor of l?
False
Let l = 8850 - 7785. Does 209 divide l?
False
Let p(a) = a**3 + 12*a**2 + 13*a + 10. Let x be p(-11). Let h be (-6 - -3)*220/x. Suppose 0 = -3*y - 2*l + 153, 2*l = 3*y - 208 + h. Is y a multiple of 9?
False
Let y(o) = 19 - 3 - 23 - 10*o - o**2. Let z be y(-8). Suppose 10 = z*x - 71. Is 3 a factor of x?
True
Suppose 7 = -f + 3*u, 9 = -3*f + 6*u - u. Let n be 25*((66/(-15))/f - -4). Suppose 3*a - 85 = -0*z - 5*z, 3*a = 3*z + n. Is a a multiple of 10?
True
Suppose 0 = -4*i - 16, -4*i - 13 = -5*l + 13. Suppose 0*m + l*m - 74 = 0. Let q = m + -27. Is q a multiple of 9?
False
Let j be -10*(-10)/25 - 2*-89. Let k be j/35 - (-2)/(-10). Is 10 a factor of (9/(-3) - -7) + k*35?
False
Let v(h) = -58*h + 12. Let m(f) = 19*f - 4. Let p(s) = 8*m(s) + 3*v(s). Does 60 divide p(-8)?
True
Let x = 9234 - 7192. Is 24 a factor of x?
False
Suppose -5*p + 25 = -0*p. Suppose -2*h + 4 = 3*f - h, 2*f = -p*h - 6. Suppose f*v - 150 = 22. Does 11 divide v?
False
Let o = -15734 + 22190. Is 41 a factor of o?
False
Let q = -11 - -15. Suppose -5*h + 3*c - 767 = 0, -q*c + 182 = -2*h - 122. Let b = h + 394. Is 20 a factor of b?
True
Let r be 3/42*7*0. Let d = -41 - -43. Suppose -d*a + 858 - 206 = r. Is 44 a factor of a?
False
Let b = -17 + 73. Let n = 57 + b. Suppose 5*y = r + 167, -4*y = 3*r - 32 - n. Does 15 divide y?
False
Let q(v) = v**3 + 1. Let s(g) = -2*g**3 + g**2 - g - 3. Let x(u) = -3*q(u) - s(u). Let f be x(0). Suppose 4*w - 157 - 179 = f. Does 12 divide w?
True
Suppose 55*k - 206416 = 13*k + 164150. Does 17 divide k?
True
Let a be 738/42 + (-1 - 40/(-28)). Let o = -35 - -113. Is 3/((13/o)/(8/a)) a multiple of 8?
True
Suppose 0 = 8*x + 5*x - 78. Suppose 5*y - 3*n - 2210 = 0, -3*y - x*n + 1326 = -9*n. Is y a multiple of 26?
True
Suppose -b = -1984 + 544. Does 4 divide b?
True
Let o = -74 + 75. Let k(j) = 380*j - 50. Is k(o) a multiple of 30?
True
Suppose -343*u + 4829175 + 3745854 = 2549205. Is 96 a factor of u?
True
Suppose -69*c + 68*c + 5340 = -5*i, -16020 = -3*c + i. Is c a multiple of 30?
True
Suppose 3*f - 115 = a + 1377, 3*f = -5*a + 1522. Let k = f + -210. Is k a multiple of 28?
False
Let h = -27470 + 49154. Is h a multiple of 12?
True
Suppose 2*t = 6*t + 60. Let c(a) = 35*a + 41. Let k(o) = -29*o - 34. Let s(i) = -5*c(i) - 6*k(i). Is 7 a factor of s(t)?
True
Let f be 2 + ((-1)/(-1))/1. Suppose -f*y = -m - 30, 5*y + 0 = 15. Let h = 33 - m. Does 10 divide h?
False
Let j be (-12)/32 - 720/128. Is 43 a factor of 151 - ((10 - 8) + (j - -1))?
False
Let a be 4/(-6)*-2*105/20. Let h(i) = 3*i**2 + 5*i + 21. Is h(a) a multiple of 39?
False
Suppose 211*u = -215*u + 427*u - 13933. Does 100 divide u?
False
Suppose -5*n = -4*n - 4*k + 2, 5*k = -2*n + 61. Suppose -4*y - n*y + 31108 = 0. Is 40 a factor of y?
False
Let k(d) = d**3 + 5*d**2 - 19*d + 62. Let n be k(-14). Is ((-18)/(-8))/(5 + n/288) a multiple of 21?
False
Suppose 3*d - 27 = -5*t, -2*d - 4*t = -d - 16. Suppose d*f - f - 2*s = 172, f + 5*s = 46. Is f a multiple of 8?
True
Is (1653/3 - 3) + (-5)/10*8 a multiple of 8?
True
Let x be 1/(-3) - 8142/(-207). Let r = 9 + 7. Let k = x + r. Is k a multiple of 7?
False
Let l(n) = -43*n + 410. Is 43 a factor of l(-16)?
False
Let c = 44 + -41. Let t(j) = -22*j**c + 2 + 0*j**3 - j**2 - 3*j**3 + 2*j. Is t(-1) even?
True
Let i = 4342 + -1718. Is i a multiple of 64?
True
Let o(v) = -v**3 + v**2. Let n(i) = -3*i**3 + 18*i**2 - 62*i + 11. Let m(w) = -n(w) + 4*o(w). Is m(-19) a multiple of 28?
True
Let j = 5337 - 3007. Does 233 divide j?
True
Suppose -237*u + 5*a = -232*u - 67380, -u - 3*a + 13444 = 0. Is u a multiple of 74?
True
Let p(s) = 4*s + 4325. Does 3 divide p(68)?
False
Let d(u) = -4*u**2 + 5*u + 8. Let p(n) = 3*n**2 - 4*n - 7. Let r(k) = -4*d(k) - 5*p(k). Let z be r(-4). Suppose z = 4*t - 53. Does 12 divide t?
False
Let y = 19 + -7. Is 3*(-64)/y*132/(-8) a multiple of 16?
False
Let s = -114 - -539. Let i = s - 371. Is i a multiple of 17?
False
Let x(b) = 2*b + 71. Let g(p) = -p - 36. Let r(m) = -5*g(m) - 2*x(m). Let l be r(-14). Suppose -31*i + l*i + 539 = 0. Does 8 divide i?
False
Suppose 48*c - 53*c = -550. Is c*(-6)/(-21)*7 a multiple of 20?
True
Let l = -39 + 51. Let u be (l - 1) + (-7)/(28/16). Suppose u*d + d - 104 = 0. Is d a multiple of 13?
True
Suppose -3*v - b + 4 = -2*b, 0 = -3*v - 3*b. Let a be v - (-2)/(-1 + 2). Is 2/a + (2868/18 - 5) a multiple of 31?
True
Suppose -45990