 = -15 + 18*f + 35*f**2 - 34*f**2 - 19. Does 6 divide g(-34)?
True
Let r = 218 - 211. Suppose 3*o = -4*m + 654, 4*m = r*o - 2*o + 670. Does 24 divide m?
False
Does 34 divide (-2040)/9*2952/(-48)?
True
Let v(f) = 2*f - 8. Let o(r) = r**2 - 13*r + 44. Let w be o(6). Let j be v(w). Does 19 divide j/(-5)*(7 - (-1946)/7)?
True
Let h = 14730 - 8702. Is h a multiple of 32?
False
Suppose -4*d = -4*l + 3194 + 33526, 8 = -d. Does 67 divide l?
False
Does 10 divide 1748 + (-5 - 7) - -14?
True
Let x(g) = g**2 - 15*g**3 - 1 + 12*g**3 + 9*g**3. Let z be x(-1). Does 15 divide ((-90)/(-4))/((-3)/z)?
True
Let x(k) = k**2 - 4*k - 35. Let y(b) = b**2 - 4*b - 35. Let p(l) = 6*x(l) - 5*y(l). Is 9 a factor of p(14)?
False
Let d = 52 - 47. Suppose 6*i - 7*i + 122 = 2*c, d*i - c - 577 = 0. Is i a multiple of 58?
True
Suppose 5 = 5*g, -36 = -5*o + o - 4*g. Suppose -o*v = 413 - 2005. Let k = v - 129. Is 7 a factor of k?
True
Suppose 2*h - 3*r = 9733, 4868 = -5*h + 6*h - r. Is 140 a factor of h?
False
Let c(g) = -22342*g - 256. Is 73 a factor of c(-4)?
False
Let v(m) = m**2 + 27*m - 80. Does 31 divide v(-42)?
False
Is 200 a factor of -8*(10618/(-6))/((-160)/(-24) - 6)?
False
Suppose -4*h + 5*r = -20429, -h + 5095 = -6*r + 3*r. Is 4 a factor of h?
True
Let c(w) be the second derivative of -w**5/20 - 11*w**4/12 - w**3/6 + 19*w**2/2 - 40*w. Is c(-11) a multiple of 12?
False
Let k(b) = 391*b**2 + 9*b + 21. Is 15 a factor of k(3)?
False
Let w(q) be the first derivative of q**3/3 + 11*q**2/2 - 9*q + 79. Is 6 a factor of w(7)?
False
Is 7 a factor of 9527*(34/952 - (-2)/8)?
False
Suppose 14*y - 104316 - 33976 = 0. Is y a multiple of 11?
True
Is 7698/4*-24*(-209)/684 a multiple of 48?
False
Is 54 a factor of 108/5*(4 - 17/(-2))?
True
Suppose -1 + 7 = -6*v. Let p be (v/(-2))/(3/36). Suppose -26*s + 23*s + p = 0. Is 2 a factor of s?
True
Suppose 0 = 4*x + 8*r - 5*r - 670, -r - 340 = -2*x. Suppose -5*f + z = -157, 0*f + 3*z = -5*f + x. Is f a multiple of 17?
False
Suppose 6 = -4*y + 7*y - 2*o, 4*o = 12. Let b(i) = i**3 - 3*i**2 - 5*i + 5. Let n be b(y). Is (5 - n)/(2/4) a multiple of 2?
True
Let t(a) = -a**2 - 12*a + 8. Let w be t(-12). Let u be w*(5 + -4) - -1. Suppose -109 = -r - u. Is 20 a factor of r?
True
Suppose 0 = -2*h - 2*j + 16, -35 = -0*h - 4*h - 5*j. Suppose -h*d + 0*d = -10. Does 10 divide 139 - d/(-1)*(-2)/(-4)?
True
Let s(y) = 3*y - 11. Let a be s(-17). Let b = 33 - a. Let w = b + 55. Is 18 a factor of w?
False
Is (7 - 522/24)/((-1)/1096) a multiple of 137?
True
Suppose 5*z - 3*z = 78. Let t = 42 - z. Suppose -t*d + 0*d = -3*g + 93, 2*g + d - 62 = 0. Is g a multiple of 6?
False
Let w = -14258 + 27356. Is w a multiple of 59?
True
Suppose 37*a + 7*a + 28*a - 50184 = 0. Is 3 a factor of a?
False
Does 45 divide (-4230)/(2*7/(-5 + -9))?
True
Let a(l) = -287*l - 401. Is a(-13) a multiple of 8?
False
Let f = -2231 + 3519. Is 184 a factor of f?
True
Let y(f) = 7*f - 2. Let j be y(-2). Is (-2)/(j/(-72) + (-1464)/6345) a multiple of 7?
False
Suppose 9*f - 9540 = 14742. Does 142 divide f?
True
Let s(h) = -4*h**3 - 5*h**2 + 3. Let l(a) = -5*a**3 - 5*a**2 + a + 2. Let p(c) = -3*l(c) + 4*s(c). Let i be p(-4). Is 9/(-6)*i - -53 a multiple of 12?
False
Let v(l) = -2*l + 28. Let s be v(8). Suppose s*z + 87 = 387. Suppose -4*g = 2*w - 4*w - 46, 0 = -5*w + z. Is 4 a factor of g?
False
Let m(b) = 73*b + 17. Let v(y) = 235*y + 62. Let u(j) = -156*j - 41. Let x(p) = 8*u(p) + 5*v(p). Let o(t) = -2*m(t) - 3*x(t). Does 16 divide o(2)?
False
Let n(p) = 238*p - 42. Let g(f) = 95*f - 17. Let w(h) = 12*g(h) - 5*n(h). Let u be w(-5). Suppose -12*v = -u - 200. Does 12 divide v?
False
Let m = 333 - 231. Suppose f + m = 234. Does 6 divide f?
True
Suppose -456 = -3*h - 5*h. Suppose t = h - 15. Does 7 divide 3/(-42)*-4 + 2802/t?
False
Suppose -5*a - 27*r = -22*r - 43880, -5*r + 35101 = 4*a. Does 31 divide a?
False
Suppose 510 = -122*t + 117*t. Let o = t - -1046. Is 8 a factor of o?
True
Let i = 123 - 132. Let x be 11 - i/3*2/(-2). Suppose -4*d - 3*j + 291 = 0, -x*d + j + 271 = -4*d. Does 5 divide d?
False
Let y(l) = 2*l**2 + 13*l - 7. Suppose 0 = 2*b + 25 - 11. Let x be y(b). Suppose -107 = -w - r + 39, -5*w - r + 742 = x. Is w a multiple of 20?
False
Suppose -12*v - 40180 = -5*v - 17*v. Is 11 a factor of v?
False
Let u(a) = a**2 - 3*a + 17. Let c(w) = 7*w**2 - 4*w**2 - 2*w**2 + 2 - 1. Let f(h) = 6*c(h) - u(h). Is f(3) a multiple of 5?
False
Let h(b) = 85*b**2 - 97*b - 1384. Does 101 divide h(-14)?
False
Suppose 0 = 42*f + 23*f + 64*f - 753618. Does 46 divide f?
True
Suppose -68 = 8*s + 9*s. Is (-6)/s*480/9 - 3 a multiple of 5?
False
Let k = 1 + 11. Let z(u) = -2*u**2 + 6*u - 5. Let j be z(3). Is 12 a factor of (-6)/k*24*j?
True
Suppose 414*z = -2538938 + 6967496. Does 11 divide z?
False
Suppose -352 = o + 68. Let s = o + 767. Does 11 divide s?
False
Let k be 53510/18 - 5 - 4/(-18). Let h = -1761 + k. Does 83 divide h?
False
Let h = 5980 + -3595. Is 87 a factor of h?
False
Let c(o) = -o**3 - 6*o**2 + 5*o + 27. Suppose -21 = 2*g + g. Let t be c(g). Is 26 a factor of (-1)/((3 - (-7)/(-2))/t)?
False
Let s be 14/((-12)/(-390)*5). Let p = -33 + s. Is 12 a factor of p?
False
Let c(f) = 13*f - 20. Let q(a) = 9*a**3 - a. Let k be q(1). Let r be c(k). Suppose 0 = -4*x - u + 59 + 41, -r = -4*x + 3*u. Does 12 divide x?
True
Suppose -l + 5 = 3. Suppose 0*q + 2*q = -3*j, -l*q - 24 = -3*j. Is 2 a factor of (2 + 15/(-6))*q?
False
Suppose 0 = 5*p - 0*p - 2*y - 330, 4*p - 287 = -3*y. Let r be (81/(-18))/((-2)/p). Suppose 3*f - 87 - r = 0. Is f a multiple of 16?
True
Is 11 a factor of (-20 + 13 - -88)/((-12)/(-412))?
False
Let u(i) = 186*i**2 - 62*i - 96*i**2 + 222*i**2 + 60*i. Is 17 a factor of u(1)?
False
Let n(l) be the first derivative of -l**3/3 + 4*l**2 - 15*l - 8. Let h be n(6). Let r(m) = -36*m + 6. Is r(h) a multiple of 15?
False
Suppose 0 = c + c. Suppose 4*k + 2*k - 60 = c. Is 37 a factor of 865/k - 1/2?
False
Let v(h) = h**3 + 4*h**2 - 4*h + 3. Let y be v(-5). Does 12 divide 1 + (-418)/y + 6?
True
Suppose 3911 + 19633 = 6*i. Is 77 a factor of i?
False
Suppose 2*w - 2474 = 906. Suppose 0 = 64*r - 59*r - w. Is 13 a factor of r?
True
Suppose 3*k - 23 = -5*f, 5*k - 16 = -f + 15. Suppose 0 = 3*o - 9, -3*j + 2*o + k = -0*o. Suppose -j*d - d + 780 = 0. Is d a multiple of 39?
True
Let m(v) be the first derivative of v**6/120 - 7*v**5/20 + v**4/8 - 29*v**3/6 + 31*v**2/2 - 24. Let j(p) be the second derivative of m(p). Does 5 divide j(21)?
False
Let q be (40/4)/(-2 + 1). Let i(u) = u**2 + 16*u + 11. Let x be i(q). Let m = 57 + x. Does 8 divide m?
True
Let k = -33 + 33. Suppose k = -6*u + 9*u - 183. Suppose 3*c = 4*z - 142, -2*c = -5*z + u + 113. Is 6 a factor of z?
False
Suppose 22*g = g - 7*g + 6720. Is 5 a factor of g?
True
Let n = 506 + -578. Is -962*(-5 + n/(-16)) a multiple of 13?
True
Suppose -10*s = 7*s - 5100. Let q(l) = l**2 + 2*l + 1. Let m be q(2). Suppose -4*f - s = -m*f. Does 9 divide f?
False
Let k be 1804/20 + (54/30 - 2). Let l = k - -553. Is 9 a factor of l?
False
Let y(d) = d**2 - 6*d + 14. Suppose 5*z - 20 = j - 2, -5*z + 14 = -3*j. Let k be y(z). Suppose 2*l - 140 = -2*n, -5*n - 202 = -3*l - k*n. Is l a multiple of 11?
True
Let u be 4/(24/21) + (-2)/4. Suppose -2*v + u*b = -0*b - 821, -b + 3 = 0. Suppose -8*l - 55 = -v. Is l a multiple of 5?
True
Suppose -7*r + 203*r - 6326012 = -133*r. Is r a multiple of 11?
True
Let a = -14674 - -16524. Is a a multiple of 50?
True
Let o be 726 + -19 - (6 + 0). Suppose -2*s + o = -379. Does 45 divide s?
True
Suppose -10*f + 25004 = 5024. Does 10 divide 4/(-14) + 12/126*f?
True
Suppose -2*j + u + 14 = -j, 0 = 2*j + 2*u - 24. Suppose -j*o + 7*o + 120 = 0. Is 5 a factor of o?
True
Let l = -2308 + 5260. Is l a multiple of 61?
False
Suppose 0 = -16*g + 2774 + 12266. Suppose -a + 2*b - 4744 = -6*a, 4*b = a - g. Does 79 divide a?
True
Let o(i) be the third derivative of 53*i**5/60 - i**4/8 - 10*i**3/3 - 8*i**2 - 17*i. Is o(-4) a multiple of 84?
True
Let a = -287 - -295. Is (-55)/(a/(-7) + 1) a multiple of 10?
False
Suppose -205 + 37582 = 17*r + 4635. Does 45 divide r?
False
Let j = -178 + 310. Suppose -28 = 117*c - 121*c. Suppose -9*g + j = -c*g. Does 33 divide g?
True
Let y(c) = 227*c**3 - 37*c**2 + 178*c - 38. Is 55 a factor of y(6)?
True
Let u = -101 - -107. Let 