t v(o) = -5*o**2 + 8*o + 15. Let p(w) = 3*t(w) - 4*v(w). Is p(d) a multiple of 40?
False
Suppose 72*x = 135057 + 81663. Is 70 a factor of x?
True
Let l(g) be the third derivative of 7*g**2 + 0*g + 1/3*g**3 - 1/8*g**4 + 11/15*g**5 + 0. Does 6 divide l(1)?
False
Let r(j) = -289*j + 795. Is 12 a factor of r(-89)?
False
Let p(z) = 6*z + 1. Let c be p(11). Suppose -4*o + 3*o - 3*y = 41, 2*o + y = -c. Does 2 divide 1*13 - o/(-16)?
False
Let z(j) = 105*j**2 - 224*j + 116. Is z(-18) a multiple of 81?
False
Let r be 33/11*(-568)/(-3). Suppose -d - 3*n + 572 = 0, n - r = -d - n. Does 71 divide d?
False
Suppose 901*f + 25166 = 905*f - 2*y, 3*f + 4*y - 18858 = 0. Does 36 divide f?
False
Let m(p) = p**2 + 22*p + 21. Suppose -23 = -3*d + 7. Let g = d - 35. Is m(g) a multiple of 16?
True
Suppose -k - 74 = i, 0 = -5*k + 18 - 3. Let d = i + 113. Suppose h + 80 = 2*t - d, 0 = -3*h - 6. Is 19 a factor of t?
True
Let z = 2433 - 3970. Let f = z - -3019. Does 38 divide f?
True
Let v(m) be the second derivative of m**4/4 - 5*m**3/2 + 30*m**2 + 39*m - 1. Does 12 divide v(12)?
True
Let y(b) = -45*b**3 - 8*b**2 - 10*b - 15. Let f be y(-5). Suppose -23*o = -10*o - f. Is 7 a factor of o?
True
Does 172 divide (636615/175)/(9/150*5/2)?
True
Suppose 0 = -21*t + 22*t - 208. Suppose 48*f - 52*f + t = 0. Does 6 divide f?
False
Let l(j) = j**3 - 12 - 49*j - 44*j - 8*j**2 + 95*j. Let m be l(8). Suppose 5*g = 4*x + 91, 0 = 3*g - m*x - 38 - 23. Is g a multiple of 4?
False
Let t(w) = 5*w - 5. Let i be t(4). Suppose -39*p + 42*p = i. Let y(u) = -u**3 + 6*u**2 - 3*u + 16. Is y(p) a multiple of 26?
True
Let h(p) = -p**3 - 16*p**2 + 86*p - 21. Let i be h(-21). Let r = i - 190. Does 6 divide r?
False
Suppose -13*d + 96 = 11*d. Suppose -2*h + 533 = 5*r, 2*h = -d*r + 3*h + 416. Does 5 divide r?
True
Let b(l) = 22*l**2 + 101*l - 8. Does 142 divide b(-23)?
False
Let a = -93 - -105. Suppose -x + 676 = a*x. Is 5 a factor of x?
False
Let c(t) = 195 - t**2 - 54*t + 95 - t + 26*t. Is c(-34) a multiple of 6?
True
Let p(m) = 13*m**2 + 6*m - 7. Let q be p(-6). Suppose -4*a + q = 3*i, -3*a = 4*i + i - 690. Suppose 4*f - i = -23. Is 28 a factor of f?
True
Let k be (-14)/(-35) - 454/10. Let q be -7 + k/(-6) + 22/4. Is (1 + 3/(-12))/(q/48) a multiple of 3?
True
Suppose -5081 = -5*q - 3*h, 0 = -3*q + 2*h - 96 + 3118. Is 11 a factor of q?
True
Let y = 6207 + 5327. Is 19 a factor of y?
False
Let n(i) be the second derivative of -11*i**3/3 - i**2 - 23*i - 13. Suppose 2*d - 1 + 25 = 0. Is 11 a factor of n(d)?
False
Suppose 4*j - 24 = -0. Let p = 7 - j. Let u = p - -30. Is 19 a factor of u?
False
Let h(w) = 512*w**2 + w - 4. Does 5 divide h(-2)?
False
Let g = 79 + -76. Suppose g*u = -30 + 3. Is u + 115 + (-1)/(-1) - -1 a multiple of 29?
False
Suppose -3 = -5*f + 2. Suppose -311*z + 3*v + 60 = -315*z, -5*z - 75 = 2*v. Is 14 - z - f*-3 a multiple of 32?
True
Let m be (6/4)/(3/4). Suppose -m*b - 60 = -h + 121, 548 = 3*h - b. Is h a multiple of 9?
False
Let y = -366 + 324. Is (14/y)/(4/(-8460)) a multiple of 41?
False
Suppose -d = -4*d - 2*f, 4*f = 5*d. Suppose 3*v + d*v - 5*a - 325 = 0, -2*v + 246 = 4*a. Is 17 a factor of v?
False
Let o(x) = 122*x**2 - x - 2. Let w be o(-1). Suppose 5*b + w - 7 = 2*j, 0 = 5*j - b - 331. Let y = j + 82. Does 50 divide y?
False
Let v = -167 - 48. Let j = -148 - v. Is j a multiple of 3?
False
Let k(j) = -7*j**2 - 134*j + 124. Let m be k(-20). Let v(i) be the first derivative of 3*i**4/4 - i**3/3 - 4*i**2 - 9*i - 1. Is 17 a factor of v(m)?
False
Let a = -4816 + 14517. Is a a multiple of 40?
False
Let o = -340 + -115. Let b = -439 - o. Is 8 a factor of b?
True
Let z = -10377 - -12145. Is 17 a factor of z?
True
Let m = 20 + -20. Suppose 2*k + 3*k = m. Suppose 0 = 3*t - 3*u - 48, k*t + 3*t = -2*u + 43. Does 3 divide t?
True
Suppose 3*o - 4*o + 4 = 0. Suppose -6*r - 2*p = -r - 33, -16 = -4*r + p. Suppose -i + o*g + 48 = 0, r*i - 3*g = 371 - 97. Does 16 divide i?
False
Let g be (73 - 103)*-3*4/(-18). Is 28 a factor of (5*g/50)/((-1)/147)?
False
Let v(z) = -z**2 - 12*z + 3. Let k be ((-6)/9*3)/((-2)/9). Suppose 3*q + k = -21. Is v(q) a multiple of 6?
False
Let t(r) = 1369*r + 1181. Does 128 divide t(5)?
False
Suppose 0 = 22*t - 252583 - 21845. Does 198 divide t?
True
Let d(j) = 509*j**2 + j. Suppose 4*b = 8*m - 3*m - 16, 11 = 3*b + 2*m. Let p be d(b). Suppose -10*s + p = -7*s. Is 34 a factor of s?
True
Let f = -1747 - -3153. Is f a multiple of 38?
True
Suppose -6*g + 3*g = 0. Is (-11)/(55/(-740)) + g a multiple of 37?
True
Let d(k) = -k**3 + 10*k**2 + 8*k + 36. Let s be d(11). Suppose -s*a - 6*a = -11655. Does 37 divide a?
True
Let f(l) = 1202 - 2405 - 4*l + 1199 + 535*l**2. Does 38 divide f(-1)?
False
Let n = -1072 - -1113. Let p be (-1)/(-4) + 11/4. Suppose 25 + n = p*j. Is 11 a factor of j?
True
Let n = -277 + 284. Suppose 4*t = -6*c + n*c + 1675, -1690 = -4*t - 2*c. Does 30 divide t?
True
Suppose -3*j + 3581 = b, 2*j + 6966 + 3755 = 3*b. Suppose 0 = -0*k - 5*k + b. Suppose 5*d + 2*c + 188 = k, -5*d + 523 = 3*c. Is d a multiple of 14?
False
Let z(q) be the first derivative of -q**4/4 - 4*q**3 + 25*q**2/2 - 14*q - 2. Let l be (-588)/(-63)*((-6)/4 + 0). Does 7 divide z(l)?
True
Suppose -156*w + 257*w = 216*w - 1235560. Does 8 divide w?
True
Let s(v) = -v**3 - 17*v**2 + 40*v - 11. Let i be s(-19). Let b = 127 + i. Is b a multiple of 11?
False
Suppose -4*g - 181 = 5*r - 12663, -2*r = 2*g - 6242. Is g a multiple of 16?
False
Let q(z) = -2*z**3 + 8*z**2 - 8*z - 17. Let d be q(6). Let l = d - -217. Is 5 a factor of l?
False
Let i = -76 - -42. Let b(d) = -20*d**2 + 6*d + 3. Let m be b(3). Let p = i - m. Is p a multiple of 25?
True
Let c(s) = 24*s**2 + 10*s + 12. Let p be c(-2). Let k = 706 - p. Does 29 divide k?
False
Let z = 31 + -25. Let x be (21 - (-3 + 6))*9/z. Suppose -5*n = -6*n + x. Does 16 divide n?
False
Let y(s) = -6*s**2 - 5. Let d be y(-6). Let z = -7 + 22. Is 9 a factor of (d/(-39))/(1/z)?
False
Let l(w) = -404*w**3 - 11*w**2 + 8*w + 7. Is 8 a factor of l(-1)?
True
Does 30 divide ((-4750)/171)/(100/(-1080))?
True
Let w be 2/8 + (-18186)/(-56). Let u = w - 285. Is 20 a factor of u?
True
Let b(x) = -x**3 + 13*x**2 + 17*x - 38. Let y be b(14). Suppose s = -a - 0*s + 80, -288 = -4*a + y*s. Does 76 divide a?
True
Let h = 1656 - 593. Suppose -h = 14*t - 6635. Is 14 a factor of t?
False
Let l = 76642 + -38525. Is l a multiple of 92?
False
Let n(q) = 3*q**2 - 5*q + 9. Let v(l) = -6*l - 27. Let i be v(-5). Is 5 a factor of n(i)?
False
Suppose 3*w - 14875 - 16757 = 4*y, 24 = 4*y. Is w a multiple of 27?
False
Let j(r) = 760*r + 22. Let g be j(2). Suppose 9*y - g = 1518. Is y a multiple of 34?
True
Suppose -3*d = v - 45396, -22862 = -5*d - v + 52794. Does 85 divide d?
True
Let k(x) = 91*x**2 + 5 + 279*x**2 - 1 + 4*x. Is k(-1) a multiple of 6?
False
Let u(v) = -3*v**2 + 25*v + 30. Suppose 91*o = 96*o - 45. Is u(o) a multiple of 12?
True
Suppose 9*r - 41 - 49 = 0. Suppose r*z + 679 = 2809. Suppose -3*m + 69 = -m + 5*h, h + z = 5*m. Is 21 a factor of m?
True
Let y(a) = 122*a + 4. Let g be y(3). Suppose -4*j = -g - 706. Suppose -7*s + 12*s - 523 = -2*d, 0 = d + s - j. Does 36 divide d?
False
Suppose 14*u = 18*u - 16, -129772 = -4*v - u. Is 36 a factor of v?
False
Let j be 6 - (-1)/((-2)/(-4)). Let g(t) = -7*t**2 - 12*t + 39. Let v(k) = -2*k**2 + k + 1. Let h(l) = -g(l) + 4*v(l). Is 13 a factor of h(j)?
False
Let d be (20/(-10))/((-3)/9). Is -1020*(d + (-324)/45) a multiple of 51?
True
Let t(b) be the third derivative of b**5/60 + 3*b**4/8 + b**3/6 + 9*b**2. Let x be t(-9). Is 2 - (-2*108/8 - x) a multiple of 15?
True
Let l = -256 - -251. Let h(w) = 24*w - 37. Let q(n) = 8*n - 12. Let c(k) = -6*h(k) + 17*q(k). Is 15 a factor of c(l)?
False
Let g(p) = 2*p**3 - 13*p**2 - 12*p + 105. Does 15 divide g(20)?
True
Suppose -4256 = 61*i - 53*i. Let g = -499 - i. Is 4 a factor of g?
False
Let p = 51 - 49. Suppose 4*t + n = -p*n + 1276, t - 324 = -2*n. Suppose -3*x = -2*x - 5, -4*x = -2*m + t. Is 21 a factor of m?
True
Let q(h) = 879*h + 156. Let j be q(5). Suppose 10*c - j = -27*c. Does 11 divide c?
False
Let j be (8/(-6))/(22/(-33)). Suppose 9 = -j*z + 13. Suppose -z*a + 55 + 29 = 0. Is 21 a factor of a?
True
Let r be 34/(-51)*(-18)/4. Suppose 7*g + 76 = r*g. Is 8/(4 + g/5) a multiple of 9?
False
Let