+ 5*z + 6. Let b be x(49). Let d = b + -139. Is 15 a factor of d?
False
Suppose -6*p - p = -8*p + 8416. Is p a multiple of 56?
False
Let p(g) = g**3 + 12*g**2 - 14*g - 8. Let h be p(-13). Suppose -5*f = 2*y - h*y + 22, 15 = -3*f. Does 14 divide 12/(-72) - ((-253)/6 + y)?
False
Let o be 129/9 - (-3)/(-9). Suppose -2*i + o = 5*i. Does 8 divide (-289)/(-6) + i/(-12)?
True
Let h(o) be the first derivative of o**4/4 + 2*o**3 - 9*o**2/2 - 12*o - 13. Let y be h(-7). Is 15 a factor of (-3)/y*(-3116)/57?
False
Let u = 171 + -167. Suppose -u*y = -3*s + 104, -4*s - 5*y + 118 = -0*s. Is 27 a factor of s?
False
Let f(r) = -2*r**3 + 6*r**2 - 2*r - 1. Let l be f(2). Suppose l*i + 8 = 5*i. Suppose 3*o - i = o, -o = 3*t - 428. Is t a multiple of 30?
False
Suppose 19 = -a + 24, -3*k - 4*a = -1862. Suppose -2372 + k = -3*l. Is l a multiple of 22?
False
Let z(m) = m**3 - 13*m**2 - 30*m + 17. Let b be 2/(-6) - (5 - 144/27). Suppose b = -10*y + 167 - 17. Does 17 divide z(y)?
True
Let z(i) be the first derivative of 23*i**3/3 - 9*i**2 + 12*i + 3. Is 6 a factor of z(4)?
False
Let k be 10 + (-665)/45 - 4/18. Is (-629)/(-5) - k/(275/(-44)) a multiple of 9?
False
Suppose -15 = -5*s + 445. Suppose 0 = -2*p - 2*w + s, -4*p + 0*p + 193 = -5*w. Suppose -p + 367 = 4*o. Is o a multiple of 20?
True
Let f be 1*68/(-4 - -2). Let j be f/(-9) + (-50)/(-225). Is (-4 - (-20)/j)*7 even?
False
Let m be ((-8)/6 + 2)*3. Suppose 0 = r + r + m*k - 4, 8 = 4*r + k. Suppose -76 - 116 = -r*i. Is i a multiple of 19?
False
Let r(z) = -2*z**2 - 9*z - 8. Let c be r(-3). Let l be -4 + c*(85 + 1). Is l + (-3 - -2 - 2) a multiple of 19?
False
Suppose 4*l = -3*x + 1386, 2*l = -2*l - x + 1382. Let n = l - 85. Is 10 a factor of n?
True
Suppose 0 = -12*l - 8 + 44. Suppose -5*g + 2*d + 897 = 0, 2*g - 433 + 72 = l*d. Does 3 divide g?
False
Let y(k) be the third derivative of 0 - 30*k**2 + 0*k - 17/24*k**4 - 4/3*k**3 - 1/60*k**5. Is 11 a factor of y(-11)?
False
Let k = 335 - 145. Suppose 39*f + k = 44*f. Is f a multiple of 19?
True
Suppose -4*z - 21*u = -18*u - 83094, 3*u + 103827 = 5*z. Is 21 a factor of z?
True
Suppose -5*o - y = 295, 0 = -y + 5 - 0. Let b be (1 - 12) + o/20. Is 17 a factor of ((-160)/(-6))/(b/(-63))?
False
Suppose 5*h - 16 = 5*o - 206, 32 = -h - 2*o. Let x be 15*(64/12)/(-4). Let q = x - h. Is q a multiple of 5?
False
Suppose 188976 + 388308 = 143*m + 2996. Is 68 a factor of m?
False
Suppose 9 - 1 = 4*v. Suppose 9 = 3*h, -v*q - 100 = h - 1337. Suppose 113 = -6*c + q. Is 21 a factor of c?
True
Is 55 a factor of (746624/32 - -7)*(-4)/(-2)?
False
Let c(b) = 132*b - 64. Let h be c(2). Suppose -62*p = -58*p - h. Is p a multiple of 2?
True
Let a be (-12)/(-28) - (-396)/(-42). Let u(w) = -48*w - 250. Is u(a) a multiple of 5?
False
Suppose -24 = 3*f - 0, 5*c - 257625 = 5*f. Does 13 divide c?
False
Suppose 2*k = -2*y - 19 - 5, -3*y + 12 = 0. Let w(q) = q**3 + 15*q**2 - 23*q - 8. Is 13 a factor of w(k)?
True
Is 12 a factor of (-9 + 19 - 8514)/(26/(-39))?
True
Let w(z) = 91*z**2 + 38*z + 600. Is 18 a factor of w(-12)?
True
Let j be ((-18)/12)/((-15)/40*1). Suppose -4*q + 5*q + 561 = 5*f, -j*f + 5*q + 432 = 0. Does 6 divide f?
False
Let p = -53371 - -74973. Is 14 a factor of p?
True
Let q(j) = j + 39. Let c(x) = -x + 1. Let v(s) = 2*c(s) + q(s). Is 4 a factor of v(-15)?
True
Suppose -3*v = 3*l + 3 - 12, -2*l + 10 = 3*v. Let n be 291/(-2)*v/(-6). Does 19 divide 2/(-1 + n/95)?
True
Let a(i) = 2*i**3 + 3*i**2 + 3*i - 2. Let z be a(-3). Let u = -35 - z. Suppose -p + 28 = -u*b - 52, 5*p = -3*b + 400. Is 19 a factor of p?
False
Let o(s) = -16*s**3 - 3*s**2 - s + 3. Let u be ((-6)/4 - 112/(-32)) + -4. Is o(u) a multiple of 4?
False
Suppose 4 = 4*l, -86*l + 15 = 5*b - 91*l. Suppose -5 = -4*t + 7. Suppose 0*k + b*f + 46 = k, t*f = 5*k - 179. Does 17 divide k?
True
Let a = 4124 + 1049. Does 7 divide a?
True
Suppose -38*y + 24*y - 207 = -23*y. Is y a multiple of 5?
False
Let f(i) = 2*i**3 - 55*i**2 - 19*i - 101. Is 97 a factor of f(31)?
False
Let r(w) = w**3 + 2*w**2 - 21*w + 2. Let i = -11 - -17. Let m be r(i). Let z = m - 116. Does 16 divide z?
True
Suppose 374*t - 355*t - 389 = 7591. Is 5 a factor of t?
True
Let x(z) be the second derivative of -z**5/20 - z**4/6 - 7*z**3/6 - 3*z**2 - 23*z. Let d be x(-4). Let p = d + -9. Is 9 a factor of p?
True
Let x(d) = 9*d**3 - 8*d**2 + 4*d - 22. Let o be x(7). Let u = o + -1794. Is u a multiple of 58?
False
Suppose 7*r - 1 = 8*r. Let v be r*((-20)/6)/(18/27). Suppose v*c = -7*c + 1512. Does 35 divide c?
False
Does 32 divide ((-20284792)/(-148))/11 - (-10)/185?
False
Suppose -7*k + 37 = 23. Suppose -1841 = -4*l + k*o - o, -l + 446 = -5*o. Is l a multiple of 17?
False
Suppose -y + 19 = 17. Suppose 0 = -4*v + y*h - 74, -v + 3*h = -10 + 36. Let r = 28 + v. Is r even?
False
Suppose -227 = -5*w + 128. Let k(b) = b**2 + 40*b + 120. Let d be k(-36). Let m = w + d. Is m a multiple of 9?
False
Let f be ((-9)/(-12))/(2/80). Suppose -2*d = 4*d - f. Suppose -23 = c - d*g - 79, -149 = -3*c - 4*g. Is 13 a factor of c?
False
Let z(j) = -199*j + 3. Let t be z(-3). Let s = -311 + t. Let r = s - 122. Is 25 a factor of r?
False
Let c = 20970 + -15349. Does 67 divide c?
False
Let z be (11 + -9)*(-1)/(-2). Let u be (-38)/8 - (z - (-6)/(-8)). Is 3 a factor of u/(-20) - (-1004)/16?
True
Let f = -1475 - -5079. Does 8 divide f?
False
Let b(c) = 3*c**2 + 1 - 15*c + 23*c - 11*c. Let v be b(3). Suppose 228 = v*y - 15*y. Is 4 a factor of y?
False
Let m = 319 - 278. Let a = 72 - 111. Let x = m - a. Does 10 divide x?
True
Let z(f) be the second derivative of 5*f**4/12 + 37*f**3/6 + 27*f**2/2 + 17*f - 4. Is z(-16) a multiple of 11?
True
Let h(o) be the third derivative of -o**5/30 - o**4/2 - 5*o**3/3 + 24*o**2. Let t be h(-5). Suppose 1070 = 10*d - t*d. Does 17 divide d?
False
Suppose -476*h = -403*h - 2110722. Does 237 divide h?
True
Suppose 1 = -o + 2*l + 8, -3*o = 3*l - 12. Suppose 2*p = 5*t - 0*p - 566, p + 568 = o*t. Is 5 a factor of t?
False
Suppose -3*n - 11*n + 756 = 0. Suppose n*c = 41*c + 4836. Does 43 divide c?
False
Suppose -f + 5 = 0, -8993 - 12774 = 2*n + 5*f. Does 34 divide (-15)/(600/32) + n/(-20)?
True
Let f = 18300 + -17189. Does 11 divide f?
True
Let f(l) = 32*l**3 - 6*l**2 - 7*l + 66. Does 15 divide f(4)?
False
Let k = 3556 - -3863. Does 82 divide k?
False
Suppose -40*b = -33231 - 1289. Does 13 divide b?
False
Let k(l) = -13*l - 72. Let o be k(-11). Suppose -o - 147 = -5*f + c, -5*f - 5*c + 200 = 0. Is f a multiple of 9?
False
Suppose 17*v - 23 + 1043 = 0. Let a = -50 - v. Suppose a*m - 8*m - 248 = 0. Is 31 a factor of m?
True
Suppose 84 = 4*x - 2*z, -2*z - 105 = -5*x - 0*x. Suppose x*g = -285 + 6816. Does 10 divide g?
False
Let x(y) be the second derivative of 7*y**3/2 + y**2 + 9*y + 2. Is x(10) a multiple of 19?
False
Suppose -198*q = -76*q - 1675792. Does 17 divide q?
True
Suppose -2*k - 151 + 381 = -3*g, k - 2*g - 117 = 0. Suppose -3*x - k = -4*x. Does 21 divide x?
False
Suppose 2*l + 0*l - 18 = 0. Suppose 4*y - l = 7. Suppose -4*q + 2*b + 6 = 0, -5*q + 20 + 20 = y*b. Is 2 a factor of q?
True
Let k(l) = 694*l**2 - 59*l - 200. Is k(-3) a multiple of 38?
False
Let o be 6*5290/(-45)*-3. Suppose -6*l - o = -10*l. Is 27 a factor of l?
False
Suppose -30*l = -3678 - 7152. Does 7 divide l?
False
Let u(j) = 4*j**2 - 2*j + 3. Let a be u(2). Suppose -a*l = -25*l + 180. Is l even?
True
Let m(k) = 4*k**3 - 14*k**2 - 16*k + 6. Let r(z) = -9*z**3 + 29*z**2 + 31*z - 13. Let w(y) = 7*m(y) + 3*r(y). Let h be w(13). Does 19 divide -2 + 6/2 + h?
True
Let c = -160 - -159. Is 22 a factor of (-3445)/(-52) + c/4?
True
Let g(z) = -80*z - 11110. Let n be g(-139). Let o(k) = -k**3 + k**2 - 2. Let q be o(3). Is n/q + (-177)/(-2) a multiple of 4?
True
Let i(o) = o**3 - 2*o**2 - 7*o - 15. Let f(v) = v**2 + 2*v + 5. Let a(k) = -7*f(k) - 2*i(k). Is a(-3) even?
True
Let c(t) = 8*t**2 - 5*t + 3. Let f be c(-2). Suppose 5*r - 183 = n, -f = -r + 40*n - 37*n. Is r a multiple of 3?
True
Suppose 0 = 3*z + 3*n + 18, -48 = 4*z - 0*n - 4*n. Let d = 0 - z. Suppose 0 = -5*c - 3*u + 135, -18 - d = -c + 2*u. Does 7 divide c?
False
Suppose 4*o + 3*d + 1 = 2*o, 4*o - 5*d - 31 = 0. Suppose 25 = -5*m, 3*p - m - 5 = o*p. Does 19 divide (-2080)/(-45) + (6/(-27) - p)?
False
Does 3 divide (-36)/(-24)*(-39684)/(-63) + (-2)/(-