o**3/3 + o**2/2 - 15*o + 3. Is 26 a factor of w(12)?
False
Let l(g) = g + 26. Let s(y) = -y - 13. Let a(h) = -4*l(h) - 9*s(h). Suppose -3*c = -115 + 70. Does 10 divide a(c)?
False
Suppose -114*z + 80*z + 175032 = 0. Does 9 divide z?
True
Let p(r) = -190*r**3 - 2*r**2 + r + 2. Let a be p(-1). Let z = a + -55. Is 11 a factor of z?
False
Suppose 13*m + 800 = -1566. Let d(b) = -26*b**2 - 3*b - 1. Let a be d(-2). Let t = a - m. Is 13 a factor of t?
False
Let f = -164 - -230. Suppose 48*m - f*m = -3780. Does 30 divide m?
True
Let b be 1/3 + (-5)/15. Suppose b = -6*n + 9 + 15. Suppose 0 = -n*l + l + 492. Is l a multiple of 35?
False
Suppose -9 = -3*n, 13 = -3*t + n + 247. Is t a multiple of 2?
False
Suppose 4*h + 2*s = 248, 2*h = 5*h + 2*s - 187. Let c be (-3 + 1)/((-2)/(-31)). Let m = h + c. Does 10 divide m?
True
Suppose 82 - 80 = j. Suppose -5*c = -a - 1488, 3*c = j*a + 394 + 503. Is 33 a factor of c?
True
Let q(f) = 3*f**3 - 264*f**2 + 53*f + 278. Is q(88) a multiple of 44?
False
Suppose 84962 = 5*w - 4*m, -2*m + 639 = 2*w - 33317. Does 21 divide w?
False
Let v = 9 + -3. Suppose -q = -v*q - 2*l - 45, -l + 36 = -4*q. Is 19 a factor of ((-2808)/14)/(-3) - q/63?
False
Suppose 0 = 8*h + 6*h + 910. Is 12 a factor of (120/25)/((-2)/h)?
True
Let f be ((-33)/11)/((-1)/(-5)) + -1. Does 12 divide (f/(-12))/(646/(-162) + 4)?
True
Suppose -4 = -4*o, -f + 2758 = -272*o + 276*o. Is 34 a factor of f?
True
Suppose 4*k = 3*u - 7875, 7*k - 5*k = -u - 3945. Let y = -1395 - k. Is y a multiple of 29?
False
Let d be 4/20 + 24/(-20). Is 28/(4 + (103/(-21) - d)) a multiple of 6?
True
Let p(x) = -4*x - 5. Let m be p(-2). Suppose 2*r = -q + 28, -34 - 5 = -3*r - m*q. Let b = 6 + r. Is b a multiple of 7?
True
Let r(b) = -4*b**2 - 43*b + 11. Let q be r(-11). Suppose -12*x + 3474 - 834 = q. Is 22 a factor of x?
True
Let t(r) be the second derivative of 0 - 19*r + 33/4*r**4 + 0*r**3 + 1/2*r**2. Is t(-1) a multiple of 50?
True
Let g = -87 - -1135. Is g a multiple of 7?
False
Let w be 1657/25*-5 + (-2)/(-5). Let l = 371 + w. Does 5 divide l?
True
Let n(p) = -p**2 + 109*p + 90. Is n(41) a multiple of 13?
False
Suppose 247395 = 33*p - 10080 - 30879. Is p a multiple of 17?
True
Suppose -43487 + 3217 = -4*q - 2*h, q - 10057 = h. Is 148 a factor of q?
True
Let u(q) = -269*q**2 - q. Let x(i) = -271*i**2 - 2*i + 1. Let o(s) = -6*u(s) + 5*x(s). Does 10 divide o(1)?
True
Let z be (2*-5)/(4*(-5)/1120). Let o = 8 - 3. Suppose -o*g = -10*g + z. Does 26 divide g?
False
Is (-8 + -3 + 12)/(18/422118) a multiple of 15?
False
Let y = 2248 + -68. Suppose 7700 = 8*l + y. Is 15 a factor of l?
True
Let i be (-4)/18 - ((-932)/(-9))/2. Let x = 85 + i. Is 7 a factor of x?
False
Let a(k) = 16*k**2 - 5*k + 26. Let w be (-14)/(-4)*(-5 + (-94)/(-14)). Does 43 divide a(w)?
False
Does 3 divide (9/2)/((-4)/(-34) + 5700/(-50184))?
True
Suppose 5*w + f - 979 = 0, 4*f = -5*w + 1125 - 149. Suppose 256 = h + 5*j, -5*h - 4*j = -w - 979. Is h a multiple of 33?
True
Let k(z) = -3*z**3 + 16*z - 2. Suppose -4*p = -2*w + 8, -5*p = w - 5*w + 1. Let l be k(w). Suppose 4*i - l = -6*i. Is i a multiple of 6?
False
Let k(h) = -h**3 - 5*h**2 + 12*h - 6. Let b be k(-10). Suppose 3*l + 8*l - b = 0. Suppose -521 - l = -3*m. Is m a multiple of 37?
True
Let t(f) = 4*f - 30. Let a(y) = 2*y**2 + 8*y + 4. Let p be a(-4). Suppose -5*n + 2*g = -1 - 48, 2*n - p*g = 26. Is 6 a factor of t(n)?
True
Suppose -3*u + 2*t + 183 + 118 = 0, -392 = -4*u - 2*t. Let v(j) = -2*j**2 + 14*j + 3. Let o be v(-3). Let w = o + u. Does 6 divide w?
True
Let y(n) = 3*n - 2. Let o be y(3). Let b be -12*o/(21/(-12)). Suppose 4*l - 5*x = 64, -3*l + 0*x + b = 5*x. Is l even?
True
Let v be (-17 + 4)/(3/(-6)). Suppose 2*i = v + 40. Is 24 a factor of (3/(-1) - i/(-7))*56?
True
Suppose -22*j = -18*j + 100. Let d(i) = -i**2 - 48*i + 25. Is d(j) a multiple of 25?
True
Let t = -4689 - -5473. Is 145 a factor of t?
False
Suppose -39 + 27 = -6*r. Suppose 3*h - r*h + 183 = -2*f, -173 = 2*f + 3*h. Let j = f - -192. Is j a multiple of 13?
False
Let y(c) = -2*c - 25. Let j be y(-20). Suppose -2*b - w = j, -3*b + 5 - 35 = 3*w. Does 7 divide (1 + 62/(-14))/(b/245)?
True
Suppose 4819 = 14*v - 11301 - 1800. Is v a multiple of 8?
True
Let n = 3436 + -1124. Suppose 18*u = -5*t + 14*u + 2888, -4*u + n = 4*t. Is t a multiple of 32?
True
Let i(j) = j**2 - 20*j + 2. Let w be i(20). Suppose 0 = -3*h - w*h + 725. Does 22 divide h?
False
Suppose 3*u - 5*w - 124 + 94 = 0, 3*w + 18 = -4*u. Suppose 3*x - 5 = 13. Suppose u*v + 4*v - o = 738, 3*o = x. Is 37 a factor of v?
True
Let m = 271 - 561. Let v = m - -450. Does 32 divide v?
True
Let m(g) = -3*g + 7. Let b be m(7). Let l = b + 24. Is 7 a factor of -7*(l/7 + -4)?
False
Suppose 7*x - 58 + 23 = 0. Suppose -4*w = -3*p - 2 - 11, 20 = -x*p + 5*w. Let m(d) = -d**3 + d**2 - d + 2. Does 6 divide m(p)?
False
Suppose 16 = 372*m - 370*m. Suppose -16*v - m*v + 11520 = 0. Is v a multiple of 12?
True
Suppose -2*j - 5 + 61 = 0. Is (-25216)/(-56) - 8/j a multiple of 50?
True
Let s(f) = -f - 1. Let t be s(-3). Suppose -7*v + 995 = -2*v - 2*p, p = -t*v + 398. Is 42 a factor of v?
False
Let u = -4713 - -9078. Does 45 divide u?
True
Suppose 0 = -4*c - 162 + 190. Suppose 4*d - c*q = -10*q + 668, -5*q - 870 = -5*d. Does 18 divide d?
False
Suppose -4*p + 10 = -2*p. Suppose 0 = -5*a - 5*z + 120, -7*a + p*z = -2*a - 130. Does 5 divide a?
True
Suppose 23*k - 2188 = 2711. Does 21 divide -8 + (k - (-3 - -11))?
False
Let o(h) = h - 1. Suppose 13 + 15 = -4*c. Let y be o(c). Is ((-1)/3)/(y/1992) a multiple of 14?
False
Suppose 2*n + 3*f = 29286, 4*f + 18996 = 3*n - 24882. Is n a multiple of 54?
True
Let j(h) = h**3 + 10*h**2 + 8*h + 8. Let r(l) = 3*l**3 + 31*l**2 + 23*l + 24. Let v(d) = 7*j(d) - 2*r(d). Suppose 3*u + 52 = 34. Does 5 divide v(u)?
True
Let n(i) = -4*i**2 - 18*i - 11. Let m(g) = 3*g**2 + 18*g + 10. Let c(f) = -3*m(f) - 2*n(f). Let a(q) = -q**2 - 6*q - 13. Let t be a(-5). Is 21 a factor of c(t)?
False
Suppose -3 = -t + 42. Suppose 3*z = -4*l + 373, 7*l - 5*l = -3*z + 179. Let p = t + l. Is 18 a factor of p?
False
Suppose -2*j = -5*w + 3*w + 484, w + 5*j - 212 = 0. Is 4 a factor of w?
False
Is 23 a factor of 2115 - (-12)/18*15/10?
True
Let n = 126 + -118. Is 3 + (56 - 2) - (n + -12) a multiple of 61?
True
Let b be ((8/3)/(-4))/(10/(-41325)). Does 17 divide b/87*102/10?
True
Let z(h) be the second derivative of -h**4/6 + 17*h**3/3 + 2*h**2 - 4*h. Does 5 divide z(14)?
False
Let i = 649 + 550. Is i a multiple of 17?
False
Let j = 16214 + -6086. Does 12 divide j?
True
Let b be 4/8*-8 + 341. Let m = b + -154. Is m a multiple of 9?
False
Suppose -a + 2*d = -3*d - 25, 0 = -3*a - d + 11. Suppose a = g - 0. Is 7/2*((-69)/21 + g) a multiple of 3?
True
Suppose -26*n + 353*n - 2165394 = 0. Does 86 divide n?
True
Let k be (4 + 0)*(-6)/(24/7). Let u = k - -9. Does 5 divide ((u - 1) + -2)*3 + 10?
False
Let t(k) = -371*k + 62. Let r(z) = 370*z - 60. Let x(o) = -5*r(o) - 4*t(o). Is x(-2) a multiple of 28?
True
Let x(f) = 2*f**3 + 40*f**2 - f - 243. Is 7 a factor of x(-12)?
False
Let d be 147/42*8/14. Let f(x) be the second derivative of 25*x**4/12 + x**3/2 - 3*x**2/2 - 3*x. Is 9 a factor of f(d)?
False
Let s be ((-6)/4)/(4 - (-34)/(-8)). Suppose -12*m + 18 = -s*m. Suppose -2*w = -m - 69. Does 10 divide w?
False
Suppose 59*c - 50*c - 1008 = 0. Suppose 104*s + 9272 = c*s. Does 19 divide s?
True
Let n be 12/16*(-32)/(-2). Suppose 9*k + 1563 = n*k. Is 25 a factor of k?
False
Let h = -11 - -14. Let r(v) = 1946*v + 12. Let s be r(h). Is s/91 + (-4)/14 a multiple of 27?
False
Let a(i) = 2*i**3 + i**2 - i - 3. Let b be a(4). Let p = 3775 + -3743. Let v = b + p. Is 19 a factor of v?
False
Let r(k) = k**2 + 49*k - 109. Let d be r(-51). Let t(v) = -10*v + 293. Does 33 divide t(d)?
True
Let u(f) = 1448*f + 57. Is 5 a factor of u(1)?
True
Let s be 230985/90 + (-1)/(-2). Is (-10)/(-4) - s/(-34) a multiple of 26?
True
Let x = -27 - -30. Suppose 0 = -2*j + 3*q + 36, 4*q = -x*j + 5 + 15. Is 4 a factor of j?
True
Let r(y) be the second derivative of 4*y**3/3 + 43*y**2/2 + y - 73. Does 15 divide r(19)?
True
Let o(h) = 35*h**3 + 6*h**2 + 2*h - 21. Is o(4) a multiple of 21?
False
Let r(z) be the third derivative of z**6/120 - 11*z**5/60 - z**4/24 + 11*z**3/6 + 27*z**2. Is r(13) a multiple o