es 15 divide j(-3)?
True
Let r = 55 + -12. Suppose 0 = r*a - 45*a + 2322. Is a a multiple of 26?
False
Let i = -13703 + 19735. Is i a multiple of 13?
True
Let i(u) = -14540*u + 1241. Is 46 a factor of i(-1)?
False
Let b = -354 - -214. Is 5 a factor of (30/(-21)*34)/(40/b)?
True
Let u = -7309 + 27433. Is u a multiple of 18?
True
Let y(b) = -23*b - 111. Let j be (-18)/((3 + 2 + -2)/2). Does 11 divide y(j)?
True
Let t be 549/(-18)*282/3. Let w = -1587 - t. Is 80 a factor of w?
True
Let t = -206 + 208. Suppose 97 = c + 3*y, t*y - 291 = -3*c - 0*y. Does 33 divide c?
False
Suppose 5*w = -3*a + 26 - 16, -w + 10 = -a. Suppose -z = -4*n + 2*z + 3588, -n = -w*z - 897. Does 13 divide n?
True
Let t(z) be the third derivative of z**5/30 + z**4/12 + 11*z**3/3 - 3*z**2. Does 8 divide t(10)?
False
Let g(w) = -22*w + 49. Let z be g(2). Suppose -z*m = -y - 117 + 542, -y - m = -437. Is y a multiple of 15?
True
Suppose 0 = -8*a + 176254 - 158022. Is a a multiple of 33?
False
Let n = -119 - -182. Let s = n + -60. Suppose 4*d - d - 118 = -y, -s*d + 472 = 4*y. Is y a multiple of 20?
False
Suppose 5*x - 2*l + 401 = 0, 0 = -3*x - 5*l - 143 - 79. Let y = 457 + x. Is 23 a factor of y?
False
Let o(k) = -63*k - 17. Let v(b) = 63*b + 18. Let c(i) = -4*o(i) - 5*v(i). Does 6 divide c(-3)?
False
Suppose -5*x - 137 = a - 6*x, -5*a - 681 = -4*x. Is 76/(6 + 784/a) a multiple of 19?
True
Let f be -8 - 66/(-8) - 97/4. Is 8 a factor of (372/f)/(2/(-12))?
False
Let t(r) be the third derivative of r**5/15 + 13*r**4/24 + r**3/2 + 5*r**2 - 2*r. Is 38 a factor of t(6)?
False
Suppose -66584 = -34*k + 41876. Does 22 divide k?
True
Let y(n) = n**3 + n - 1. Let j(w) = -3*w**3 - 3*w**2 - 6*w + 11. Let l(k) = j(k) + 5*y(k). Let u be l(-5). Is 5 a factor of 1 + u/(-12) + 1/(-6)?
False
Let d = -13 + 7. Let v be 4 + (-3 - (d + 4)) + 1. Let g(q) = 3*q**3 - 3*q**2 + 2*q + 8. Is 16 a factor of g(v)?
True
Suppose -11*l + 8 = -12*l. Is (-2759)/(-11) - 13/(572/l) a multiple of 5?
False
Let i(m) = -m**2 + 7*m - 3. Suppose 47 + 31 = 13*a. Let f be i(a). Suppose 4*c + 11 = f, -3*g + c + 857 = 0. Is g a multiple of 38?
False
Let b(v) = 2*v - 6. Let r be b(4). Suppose -r*x - 3*z + 1568 = 0, x - 5*z = 5*x - 3134. Is 11 a factor of x?
True
Let l = -680 - -737. Suppose 144 = 4*z + 5*c, -3*z + 4*c + l + 20 = 0. Does 16 divide z?
False
Suppose 22*b - 20*b - 348 = 0. Suppose 0 = 12*r + 42 - b. Suppose r*f = 4*f + 441. Is f a multiple of 12?
False
Does 21 divide 3 + (-15)/30 - 33218/(-4)?
False
Is 246 a factor of (-1 + 319/(-5))/(-4*(-29)/(-11890))?
True
Let m(q) be the first derivative of 23*q**2 - 3*q - 4. Let c(d) = -12*d + 62. Let l be c(5). Is 18 a factor of m(l)?
False
Let a(s) = 102*s - 792. Is a(61) a multiple of 71?
False
Suppose 3*p + 16 = -6*q + q, 3*q + 27 = 4*p. Is 11 a factor of 6419/6 + p - (-2)/12?
False
Let x(d) = d**3 - 20*d**2 + 21*d + 36. Let p be x(21). Suppose -p = -2*z + 4*q, 4*q = -5*z + 5*q + 2286. Is 10 a factor of z?
False
Let n(t) = t**3 - 6*t**2 + 7*t - 6. Let h be n(5). Suppose 0 = -5*l - 3*l + 8. Suppose -2*m = h*c - 52, 5*c - l - 51 = 4*m. Does 4 divide c?
True
Let r = -25 + 30. Suppose -r*g + 4*g = 204. Let c = -138 - g. Is c a multiple of 11?
True
Let d(v) = -v**2 + 11*v + 4. Let g be d(11). Suppose p + 5*o - 277 = 0, g*p + 4*o - 1078 = -o. Let m = -111 + p. Is 32 a factor of m?
False
Suppose 21*u = 103 + 86. Suppose -u*k + 1559 - 461 = 0. Is k a multiple of 5?
False
Is (-84712)/(-28 - (-17 + -3)) a multiple of 274?
False
Suppose 0 = 23*u - 35 - 11. Suppose -10*t + u*c = -5*t - 1882, 4*c = -3*t + 1124. Is 47 a factor of t?
True
Let o be (48/(-32))/(2/(-4)). Suppose 2*m = 2*n - 3*m - 52, 0 = -5*n - o*m + 161. Is n a multiple of 31?
True
Suppose -7*a + 5*a = 0. Let o(m) = -11*m + a + 3 + 18*m. Is o(5) a multiple of 19?
True
Let s(c) = -7*c**2 + 9*c - 5. Let t be s(5). Let b = t + 154. Suppose b*x + 135 = 572. Is 23 a factor of x?
True
Let n(r) = -15*r**3 + 2*r**2 + 3*r - 7. Let a be n(2). Let s = 158 + a. Does 14 divide s?
False
Suppose 0 = -2*v - 2*v - 228. Suppose 3*l = -3*o - 585, 2*o = 4*l - o + 766. Let z = v - l. Does 17 divide z?
True
Suppose -31*n = -24*n - 2065. Let g = n + -231. Is 12 a factor of g?
False
Let u(m) = 99*m - 265. Does 17 divide u(3)?
False
Suppose 2*p - 2*s - 256 = 0, -3*p - 5*s + 77 = -331. Let d = -72 + p. Let c = 104 - d. Is 15 a factor of c?
True
Is 906/12*(-11)/((-253)/5980) a multiple of 28?
False
Let v = 150 - 90. Suppose 0 = 3*k - 9, -y - 5*k + v = -273. Suppose 11*s - 1233 = y. Is 11 a factor of s?
False
Let w = -5892 - -7850. Does 5 divide w?
False
Suppose -2*r + 1568 = 2*r. Suppose 4*y + a - r = 0, -5*a + 80 = 5*y - 425. Let o = y - 72. Is o even?
False
Let l(g) = -33*g**3 + 7*g**2 + 4*g + 12. Let h be l(-3). Suppose -22*z + h = -58. Is z a multiple of 14?
False
Suppose -7*u - 19966 = -6*c - 3*u, -5*c + 16609 = 4*u. Is c a multiple of 5?
True
Suppose 0 = l - 4*c - 6396, 0 = -4*c - 30 + 18. Does 42 divide l?
True
Let b = 12 + 44. Let r = b + -51. Suppose -516 = -3*s - 5*v + 26, 2*v + 955 = r*s. Does 21 divide s?
True
Let d(c) = -5*c**2 + 13*c + 20. Let l(z) be the first derivative of z**3 - 9*z**2/2 - 13*z - 20. Let k(n) = 5*d(n) + 8*l(n). Is 2 a factor of k(-6)?
True
Suppose -1002 = j + 3*s - 229, 3895 = -5*j - 5*s. Is (j/(-69))/(2 - 296/150) a multiple of 69?
False
Let n be 2/18*3*0. Suppose -i = -n*i - 5. Suppose -i*o = -4*u + 3, -15 = o - 4*o. Is 3 a factor of u?
False
Let r(x) be the first derivative of 134*x**3/3 + 5*x**2/2 + 5*x - 67. Is r(-2) a multiple of 65?
False
Let f(q) = q**2 - 2*q**2 + 8 - 20 + 16 + 13*q. Let g be f(14). Let n(j) = 3*j**2 + 20*j - 4. Is 32 a factor of n(g)?
True
Let z = -35 + -25. Let t = z + 62. Suppose 6*h = t*h + 504. Is 9 a factor of h?
True
Let r(a) = 6*a**2 - 34*a + 2. Suppose 2*b - c - 14 = 0, -6*b + 32 = -2*b - 4*c. Let n be r(b). Let w = -5 + n. Is w a multiple of 9?
True
Let g = 51358 + -32012. Is g a multiple of 17?
True
Is 4 a factor of -27 - -38 - (-5718 + 1/1)?
True
Suppose 3979*l - 3977*l = 4880. Does 2 divide l?
True
Does 5 divide -3 - 3 - -13 - 3 - -285?
False
Suppose -5*m + 7*m = 1070. Suppose 0*c = -5*c + m. Is c - (20/5)/2 a multiple of 12?
False
Let r(v) = v**3 - 4*v**2 - 3*v + 7. Let i be r(4). Let g(q) = -2*q**3 - 7*q**2 - 8*q - 7. Does 6 divide g(i)?
True
Suppose 0 = 49370*u - 49362*u - 17456. Is u a multiple of 17?
False
Let d(i) be the second derivative of i**4/12 - 2*i**3/3 + 2*i**2 + 25*i. Let k be d(4). Is 3*(k/(-6))/(6/(-57)) a multiple of 7?
False
Let a = 66 + -18. Let h = -19 + 23. Suppose -2*n + 40 = h*w, 4*n - w - 77 - a = 0. Is n a multiple of 30?
True
Suppose -7*w + 90 - 76 = 0. Suppose w*r + 501 = 1739. Is 31 a factor of r?
False
Let v(r) = -29*r**2 - 17 + 2*r + 28*r**2 + 12*r. Let s = 10 - 0. Is v(s) a multiple of 23?
True
Let l(z) = z**3 + 9*z**2 + 77*z + 88. Is l(14) a multiple of 15?
False
Let a = -16 + 19. Suppose -k + a*k = 332. Let z = 261 - k. Is z a multiple of 16?
False
Let g = 8 + -115. Let f(a) = 13*a + 1. Let n be f(20). Let m = n + g. Is 21 a factor of m?
False
Suppose 3*t + 3*j - 4*j = 76, 2*t - 54 = -j. Is t a multiple of 18?
False
Suppose 0*f - 49575 = -3*f + z, -f = 2*z - 16532. Is f a multiple of 24?
False
Suppose -16*c = -15556 - 5116. Does 4 divide c?
True
Let z = 2797 + -2713. Is 8 a factor of z?
False
Suppose -173 = -3*a + 127. Let o(l) = -l**2 - 8*l - 9. Let z be o(-6). Is 4*z*a/30 a multiple of 8?
True
Let d = -56 + 83. Let m be (-4)/(-18) - 6/d. Suppose 7*a - 4*a - 102 = m. Does 17 divide a?
True
Let o(s) = -479*s**3 - 2*s**2 + 4*s + 5. Let w be o(-1). Suppose 5*d = h + w, -4*d - d + 4*h = -472. Is 24 a factor of d?
True
Let i = 21 + 36. Let j = i - 37. Is 8 a factor of (1 - (-2 + 1))*j?
True
Suppose 0 = -3*t - 59*t + 1922. Let v be (2 + -6)/(-2)*17. Suppose -t*j - 99 = -v*j. Is j a multiple of 23?
False
Let b(p) be the second derivative of 74*p**3/3 - 52*p**2 - 212*p. Does 28 divide b(9)?
False
Let b(d) be the second derivative of -d**5/10 - 7*d**4/6 - 3*d**3 + 7*d**2 - 36*d - 2. Is b(-8) a multiple of 13?
True
Suppose -52 = -44*n + 168. Suppose -542 = -4*d + n*t, -3*t + 659 = 2*d + 3*d. Is 19 a factor of d?
True
Does 8 divide (18 - (12 + -10))*(-4 - (-17705)/10)?
True
Let p(q) = 1 + 1 - q + 12*q**2 - 6. Suppose -198*s + 24 = -186*s. Does 10 divide