x**5/40 - 5*x**4/12 + 8*x. Let l(p) be the third derivative of a(p). Is l(-4) a multiple of 13?
True
Let q(n) = n**2 - 4*n + 5. Let m be q(7). Let d = 28 - m. Suppose 0*a - 3*a + 3*x = -93, -d*x + 16 = a. Is a a multiple of 13?
True
Let m = -51 - -55. Suppose 0 = -3*p, -p = -3*n - m*p + 477. Is 33 a factor of n?
False
Let b = 10 - 12. Let g(t) = -4*t**3 - 3*t**2 - 3*t - 3. Does 23 divide g(b)?
True
Let r(n) = -35*n**3 - 284*n**2 - 10*n - 4. Is 79 a factor of r(-9)?
False
Suppose -2*c - 107 = -721. Suppose -4*q + c = -3*h - 294, q + 3*h - 139 = 0. Is 37 a factor of q?
True
Let s = -93 - -112. Is s even?
False
Suppose -19 = l - 54. Suppose 0 = -r + 2*n + 26, 2*r - r - l = -n. Does 16 divide r?
True
Suppose -45*y - 32*y = -78155. Is 29 a factor of y?
True
Let z = 1071 - 639. Is 48 a factor of z?
True
Let g(p) = -265*p + 23. Is g(-10) a multiple of 33?
True
Let z(r) = r**3 + 6*r**2 - 5*r + 16. Let f be z(-7). Let o(l) = -2*l + 6. Let y be o(f). Suppose x - 317 = -y*b, 5*b - 935 + 132 = x. Is b a multiple of 40?
True
Let c be -1 + (3 - -112 - 1). Suppose -c = -8*a + 175. Is a a multiple of 20?
False
Suppose 8*j - 5*j - 12 = 0. Suppose -j*h - 25 = -117. Is (-9)/(-3)*(1 + h) a multiple of 24?
True
Suppose 59*f + 34*f - 24738 = 0. Does 38 divide f?
True
Let a(b) = 15*b + 679. Does 4 divide a(-13)?
True
Suppose -4*g - 11 = -3*l, -l - 5*g + 0*g = -10. Suppose l*r = 61 + 79. Does 14 divide r?
True
Let o = 24 + -22. Suppose 40 = 3*a + d, -3*d - 76 = -7*a + o*a. Is a a multiple of 3?
False
Suppose -20*a = -120*a + 41300. Is 4 a factor of a?
False
Suppose 3*h + 183 = -j, 2*j + 366 = -4*h + 8*h. Let i(d) = -22*d**2 + 3*d - 2. Let s be i(2). Let v = s - j. Does 15 divide v?
False
Let o(d) = d**2 + 4*d - 66. Does 8 divide o(-14)?
False
Suppose 0 = -3*h - 12, 0*z - h + 41 = 5*z. Is 26 a factor of 2/(-9) + 236/z?
True
Let g = -126 - -131. Let y = -643 - -1107. Suppose -g*i + y = -i. Does 19 divide i?
False
Suppose 79 = -4*s - 37. Let l = s - -5. Let u = 13 - l. Does 16 divide u?
False
Suppose 23*j - 18*j = 70. Suppose 606 + 752 = j*r. Is r a multiple of 28?
False
Suppose 5*i + 3*c - 969 - 1795 = 0, 545 = i - 2*c. Does 33 divide i?
False
Suppose 8*u - 31 = 3*u + b, 5*u + 3*b = 27. Suppose g - 96 = 2*d, 3*g = -u*d + d + 244. Is 12 a factor of g?
False
Suppose 0 = -731*w + 741*w - 19170. Does 27 divide w?
True
Let q(s) = 3*s + 15. Let i(w) = -w**2 - 15*w + 16. Let g be i(-16). Is 7 a factor of q(g)?
False
Suppose -k = 2*b - 5*b - 248, b + 1240 = 5*k. Is 11 a factor of k?
False
Let h(r) be the third derivative of r**4/3 + 7*r**3/3 + r**2. Is h(5) a multiple of 30?
False
Let r = -32 - -34. Suppose 0 = -4*n - 0*c - r*c + 2178, -4*n = 4*c - 2180. Is 34 a factor of ((-9)/(-4))/(12/n)?
True
Let d(f) = 198*f**2 + 4*f - 19. Is 78 a factor of d(3)?
False
Let t(n) = 17*n - 2. Let q(d) = 16*d - 2. Let b(k) = -3*q(k) + 2*t(k). Is b(-7) a multiple of 22?
False
Let y = -27 - -31. Suppose 2*j - 4*i = -3*j + 353, -4*j - y*i + 268 = 0. Is 23 a factor of j?
True
Let l = -56 - -49. Let b(n) = 2*n**2 - 3*n - 9. Does 55 divide b(l)?
True
Suppose 2*y = -0*y + 18. Let u = -4 + y. Let i = 28 - u. Is i a multiple of 7?
False
Suppose 0 = -3*a - 2*a + 4*k, -2*k = -5*a. Suppose -4*b - b = a. Suppose b = 4*u + 6 - 50. Does 11 divide u?
True
Suppose -4*o - 4*z = -16, 2*o + 5 = 5*z - 8. Let p(d) = 47*d + 3. Is 5 a factor of p(o)?
True
Let m(k) = k**3 - 3*k**2 - 2. Let u be m(2). Is (28/u)/(32/(-528)) a multiple of 31?
False
Suppose 203 - 62 = -3*z. Let u = z + 105. Does 12 divide u?
False
Is 12 a factor of 86742/553*28/6?
True
Let r(b) = 71*b - 33. Is r(3) a multiple of 18?
True
Let y be ((-1)/(-2) - -4)/((-4)/(-16)). Suppose y = p - 76. Does 16 divide p?
False
Let o be (3/(-4))/((-1)/24). Let z = 33 - o. Is 5 a factor of z?
True
Let i(k) = k**3 - 9*k**2 + 18*k - 4. Let u be i(7). Suppose 2*q = u + 30. Let h = q + 45. Does 39 divide h?
False
Let b be (-1)/5 - (-98)/(-35). Let j be 2/(2/b) - -7. Is (-6)/(-2) - (j + -49) a multiple of 10?
False
Let k = 2815 + -1942. Suppose 0 = -6*s + k - 327. Is 10 a factor of s?
False
Let i(o) = -o**3 + 5*o**2 + 5*o + 10. Let k be i(6). Suppose 1 = b - t, 3*t = b - k*b + 3. Let z(q) = 52*q**3 + q - 1. Does 13 divide z(b)?
True
Let y = -4 - -8. Suppose 3*h - y = 8. Suppose -c - 4*z + 11 = 0, 2*z = -h*c - 3*z + 66. Is 18 a factor of c?
False
Suppose -32969 - 15676 = -141*l. Is 13 a factor of l?
False
Let z(w) = -184*w. Let p be ((-4)/6)/((-10)/(-15)). Let m be z(p). Let f = m + -109. Is f a multiple of 15?
True
Suppose -23*o + 270 = 4*o. Does 10 divide o?
True
Let f(v) = 13*v + 5. Let a(r) = 6*r + 2. Let k(j) = 5*a(j) - 3*f(j). Let d be k(-1). Suppose 7*c = -5*o + d*c + 372, 4*c - 160 = -2*o. Is o a multiple of 24?
True
Suppose -294 = -4*m + 266. Suppose 5*l - m = 60. Is l a multiple of 10?
True
Let l(h) = h + 3. Let o be l(-3). Let f be 101 + (-4)/(-18)*9. Does 32 divide o + (2 - -2) + f?
False
Let j be (-16)/(-40) - (-336)/(-15). Let l = j + 33. Is 5 a factor of l?
False
Let d = 406 - -265. Does 11 divide d?
True
Let x = -2996 + 3309. Is x even?
False
Suppose 9*p + 201 = 2577. Does 21 divide p?
False
Suppose 15*r = 5*w + 10*r - 4575, -w = 4*r - 940. Does 8 divide w?
True
Suppose 3*b = 3, 3*g - 3*b + 5 = 4*g. Suppose -5*x + 218 = -a + 4*a, -a + g*x + 80 = 0. Does 38 divide a?
True
Let z = 527 + -234. Suppose -5*s = -x - x + z, 0 = x - 5*s - 139. Does 22 divide x?
True
Suppose 4*x = 2*x + 8, 0 = 4*a + x - 24. Let m be (-2 - -1) + 1*a. Suppose -2*t + 48 + 18 = m*v, -54 = -3*v + 3*t. Does 17 divide v?
True
Suppose 408*x - 413*x + 1910 = 0. Does 40 divide x?
False
Suppose 2*o + 2*k = 6*k, 25 = -5*k. Let b be (-3)/((-1)/(o/(-6))). Does 24 divide ((-2)/(-4))/(b/240)?
True
Suppose z + 1 = 12. Suppose -5*y = -z*y + 642. Is 13 a factor of y?
False
Suppose 0 = 13*x - 18*x + 1265. Let p = x + -127. Is 18 a factor of p?
True
Let t = -602 + 1276. Does 16 divide t?
False
Let x = 132 + 6. Does 46 divide x?
True
Suppose -3 - 7 = -5*j. Let k(z) be the second derivative of 47*z**3/6 + 2*z**2 + 14*z. Is 29 a factor of k(j)?
False
Suppose -3*l = -6, -5*b + 6*l + 19 = 3*l. Suppose 6*w + 4*j - 211 = w, 3*w - 134 = b*j. Is 9 a factor of w?
False
Suppose -5*f + 8 = -d, f + 2*d + 3 = -2. Is 24 a factor of (993/6)/f - 2/(-4)?
False
Let s be (-10*3)/(10/4 + -1). Let u = s - -201. Does 34 divide u?
False
Let v(o) = 3 - 77*o**3 + 2*o**2 + 0 - 4. Let w = -199 + 198. Is 23 a factor of v(w)?
False
Let m = 398 + -228. Let f = m - 112. Does 14 divide f?
False
Suppose u = 5*l - 16, 2*l + 3*u - 14 = 6. Suppose 2172 = l*p - p. Does 16 divide 4/(-18) + p/18?
False
Let i = -186 - -309. Does 18 divide i?
False
Suppose 11*o + 1815 = 16*o + 3*i, 1105 = 3*o + 5*i. Does 18 divide o?
True
Suppose 2*d + 5*u - 9 = 0, -2*u = -4*d - 4*u - 6. Let t be 229 - d/(-3) - 4. Suppose -f - t = -9*f. Is 14 a factor of f?
True
Let t(b) = -b**3 + 8*b**2 + 3*b + 6. Let w = 16 + -11. Suppose 5*x + 2*r - 15 = 17, 4*x + w*r - 12 = 0. Is 14 a factor of t(x)?
False
Let x be -1*1 - (0 + -4). Suppose -o = -x*r, -r + o = -3*r. Suppose -5*t + r*t = -55. Is 7 a factor of t?
False
Is 18 a factor of 42060/390 + (1 - 22/26)?
True
Let a be (9/2 - 4)*10. Suppose -a*m + x - 2*x = -29, 2*m = -x + 11. Suppose -12 = -p + m. Is p a multiple of 9?
True
Let b = -244 - -374. Is 10 a factor of b?
True
Let o(u) be the third derivative of 10*u**2 + u**3 + 0*u**4 + 0*u + 0 - 1/15*u**5 - 1/120*u**6. Does 5 divide o(-4)?
False
Suppose -3 = -u, -775 = -4*x - 23*u + 22*u. Is x a multiple of 27?
False
Suppose 3*y - 7 = 4*v, -v + 2*v = 4*y - 18. Suppose 0 = y*u - 94 - 26. Is u a multiple of 13?
False
Does 44 divide 11 + 960 + -4 - -1?
True
Let w be 6/(-4)*15*(-6)/27. Suppose 0*c + 825 = w*c - 3*h, 2*h + 10 = 0. Is c a multiple of 27?
True
Let s(j) = 7*j - 100935 + 100935. Let y(p) = 3*p. Let m be y(1). Does 5 divide s(m)?
False
Suppose 170 - 650 = -2*t. Is t a multiple of 15?
True
Suppose -206*x = -214*x + 3280. Is 47 a factor of x?
False
Let z(y) = y. Let v be z(6). Suppose 0 = -4*h + 3*u + 339, -v*h + 4*u + 424 = -h. Is h a multiple of 7?
True
Let b(a) = -10*a - 26. Let f be (-124)/9 + 6/(-27). Is 28 a factor of b(f)?
False
Is 18 a factor of (74/(-4))/(38/(-836))?
False
Let p(t) = t**3 + 4*t**2 - t - 2. Let v be p(-4). Let l = v + 55. Is l a multipl