17853*o**3 + 2*o**2 - 9*o + 4. Is m(1) a multiple of 85?
True
Let r be 3/(-18) - (2 + (-15)/(-18)). Let o be 1/(r + -2)*2*-5. Suppose -v + 28 = -g, 4*v + v = o*g + 140. Does 5 divide v?
False
Let c(x) be the first derivative of x**2 - 4*x + 16. Let p be c(2). Is (7 - 30)/(p + -1) a multiple of 23?
True
Suppose 2*x - 4*s - 712 = 0, -x + 4*s - 326 = -2*x. Suppose -22*r - 82 = -x. Is 4 a factor of r?
True
Let r = -42595 + 45017. Does 7 divide r?
True
Suppose 0 = 2*s + 2*s - 4*q - 248, 4*s = -q + 268. Suppose 0 = -5*z + 4*y + s, -4*z + 0*y + y = -44. Does 10 divide z?
True
Let n(t) = t**3 - 22*t**2 + 63*t + 17. Let c be n(19). Let i = 19 + -13. Suppose 1367 = i*a + c. Is a a multiple of 24?
False
Let i(z) = -3*z**2 + z - 20. Let c be i(0). Let r = 22 + c. Suppose 0 = 2*w + 3*n - 27, 0 = -6*w + 4*w - r*n + 30. Is 11 a factor of w?
False
Let d(y) = -y**2 + 138*y + 923. Is d(74) a multiple of 165?
False
Let r = -40 + 38. Let h be (-3 - 360/(-28))*r*-7. Suppose m - 6*m + c = -h, -3*c + 18 = m. Does 9 divide m?
True
Let j(r) = -r - 1. Let f be j(-7). Let a(w) = -3*w**2 - 18*w - 6. Let m be a(-6). Is 13 a factor of (-424)/m*9/f?
False
Suppose -16*h + 12*h + 16 = 0. Suppose -5*v = -h*v - 12. Does 21 divide (v + -2)*(-2 - -6)?
False
Let u be 0/(-5) + 3 - (-5 + 6). Suppose 5*i = 7*i - 2*x - 178, -u*x + 262 = 3*i. Is 44 a factor of i?
True
Suppose -4*g - 29 = 4*y - 593, y = 4*g + 126. Suppose s - 4*s + 107 = f, f + y = 4*s. Let m = s + -20. Does 6 divide m?
False
Let y be (12/18 - (-2)/(-3)) + 0. Suppose y*a = 3*a - 6. Suppose -a*z + 124 = -u + 16, -u = -z + 56. Is z a multiple of 26?
True
Let b(n) be the third derivative of 3*n**9/2240 + n**7/5040 - n**6/720 - 11*n**5/30 - 19*n**2. Let g(f) be the third derivative of b(f). Does 27 divide g(1)?
True
Let p = -11 - -16. Let d(b) = -b**2 + 8*b - 11. Let s be d(p). Is 2/6*-6*(-38)/s a multiple of 5?
False
Let u = 43997 + -24074. Does 30 divide u?
False
Suppose 0*i = -11*i + 46827. Is 11 a factor of i?
True
Let k(b) = -b**3 - 17*b**2 - 19*b + 11. Let f be k(-15). Let l = -89 - f. Let p = l - -56. Is 11 a factor of p?
True
Let h be -1*(3/(-3))/(2/4). Suppose -h*y + 8 + 152 = 0. Does 40 divide y?
True
Let z = -1081 + 7584. Does 95 divide z?
False
Suppose 0 = -l - 4, -2*l + 36 = 4*m - 5*l. Is 29 a factor of (m/(-4))/(25/(-4100))?
False
Suppose 4 = 4*k, 3*a - k = 4*k + 154. Suppose -4*u - 9 = j, -3*u - u - a = -3*j. Suppose j*p + 6*p = 187. Is p a multiple of 2?
False
Let p(l) = -5*l - 25. Let y(z) = 4*z + 24. Let o(u) = -2*p(u) - 3*y(u). Let t be o(-12). Suppose -b = -2*c - t*c + 48, -2*c + 24 = b. Is 4 a factor of c?
True
Let n(j) = 15*j + 57. Let a be (4/(48/138) + -3)*2. Is 12 a factor of n(a)?
True
Let m(n) = -58*n + 29*n + 4*n**2 + 31*n + 3*n**3. Let q be m(4). Suppose 5*l = -4*c + q, 0*c = 5*c + l - 309. Is 15 a factor of c?
False
Let c(a) = 58*a + 149. Is 133 a factor of c(41)?
True
Suppose 818*w = 783*w + 1013460. Is w a multiple of 127?
True
Let r = -298 - -300. Suppose -r*k - 46 = -262. Is 54 a factor of k?
True
Let o = 12 + 88. Suppose 0 = h + 2*h - 2*p - o, 0 = -3*h - 5*p + 65. Is 13 a factor of h?
False
Let p = 722 + -396. Suppose p*k = 321*k + 835. Does 11 divide k?
False
Does 20 divide 1004280/120 + (3 - 2*-4)?
True
Suppose 43 = 5*m + 433. Let f be (1 + 1)/(-12) - 18109/m. Suppose -4*t + 4*w + f = 0, -t + 46 = -0*t - 4*w. Does 13 divide t?
False
Suppose 0*f = f - 12. Suppose 9*j + 5*s = f*j - 1050, 2*j - 5*s - 705 = 0. Is j a multiple of 15?
True
Let u(b) = -6*b - 63. Let i be u(-11). Suppose -c + 322 = i*y + 74, -y + 64 = 5*c. Does 28 divide y?
True
Let o(s) be the third derivative of s**5/30 + 13*s**4/24 + 8*s**3/3 - 19*s**2. Let u be (-2)/(-5) - 252/30. Is 10 a factor of o(u)?
True
Let k(y) = -39*y**3 - 2*y**2 - 2*y - 2. Let z = 4 - 6. Is 27 a factor of k(z)?
False
Let c = -86452 - -148348. Is 24 a factor of c?
True
Suppose -2*t = 5*m - 10554, 2*m = -12*t + 10*t + 10572. Does 18 divide t?
True
Suppose -6*m + m + 175 = 0. Suppose 5*v = l + m, l - 3*v = -18 - 7. Is 11 a factor of (1 - -44)*(16/l + 2)?
False
Let o(b) be the first derivative of -b**3/3 + 16*b**2 - 3*b + 71. Is 25 a factor of o(14)?
False
Suppose -o - 2*x = 46, 2*o - 3*x + 108 = x. Let j = -1570 - -1554. Let u = j - o. Is 17 a factor of u?
True
Let p be ((-46)/92)/((-2)/8). Suppose 8*a - 8712 = p*a. Does 12 divide a?
True
Is (-6)/(54/(-126243)) + 3 + 0 a multiple of 230?
True
Suppose -2*h - 2*k = 2, -2*h = 5*k + 23 - 9. Let x(z) = 21 - h*z + z + z. Is x(0) a multiple of 21?
True
Suppose 0 = -18*q + 91 + 161. Suppose 3840 = q*d + 2*d. Does 12 divide d?
True
Suppose -6*k + 11*k - 5225 = -m, 4*k + m = 4181. Is 36 a factor of k?
True
Let w = -34 - -34. Suppose 3*i + 96 = -w*i. Let y = 41 + i. Is y a multiple of 3?
True
Let j(o) = o**3 + 48*o**2 + o + 25397. Is 41 a factor of j(0)?
False
Let w = -23259 - -32229. Does 39 divide w?
True
Let i = -48 + 75. Suppose 0 = -28*n + i*n + 246. Is n a multiple of 16?
False
Let i(g) = 2*g + 40. Let h be i(19). Let d = 69 - h. Let p = 17 - d. Is p a multiple of 5?
False
Let d be (-12)/(-28) - 101/7. Let n(m) = -m**2 - 14*m + 4. Let f be n(d). Let g(i) = i**2 - 5*i + 7. Is g(f) a multiple of 3?
True
Does 4 divide 4*(-2)/20*(-11386 - 144)?
True
Let u(l) = l**3 + l**2 - 5*l + 1. Let d = 36 + -31. Is 14 a factor of u(d)?
True
Let i = -227 + 230. Suppose -f = f - 3*x - 93, 3 = -i*x. Does 7 divide f?
False
Let i(s) = -2*s**2 + 170*s + 60. Is 104 a factor of i(62)?
True
Suppose 4*o = -o + 280. Suppose 2*b - 80 = 3*l + 4*b, -5*l - 133 = 3*b. Let a = l + o. Does 10 divide a?
True
Let g(k) = k**3 - 53*k**2 + 78*k + 54. Is 37 a factor of g(52)?
True
Suppose -261 = -152*z + 65*z. Let c(w) = -130*w + 16. Let x(y) = 43*y - 5. Let q(h) = 5*c(h) + 16*x(h). Is q(z) a multiple of 15?
False
Let o = -57553 - -80788. Does 15 divide o?
True
Let k = -90 + 100. Suppose 721 = k*b - 17*b. Is (-5)/((-20)/(-12)) - (b - -1) a multiple of 11?
True
Let a(f) = f**3 - f**2 - f - 14. Let o be a(0). Is ((-6192)/30)/(-2)*(-35)/o a multiple of 2?
True
Suppose -2*b + 4*q + 37 + 11 = 0, 3*q = 12. Let p be 12/10*80/b. Suppose -132 = -6*o + p*o. Is 9 a factor of o?
False
Let c = 6508 + -3932. Is 78 a factor of c?
False
Suppose -67*l + 21702 = 3*p - 71*l, -p - 3*l + 7234 = 0. Does 4 divide p?
False
Let p be (-1 - 19816/(-88)) + 4/(-22). Suppose -3*a + 350 = -2*l, -l = 5*a - 3*a - p. Is a a multiple of 7?
False
Let t(r) = -r + 21. Let f be t(0). Let b(p) = -69*p - 558. Let c be b(-8). Let m = f - c. Is m a multiple of 10?
False
Suppose -37*p = -34*p + 2*g - 11172, -3*p + 11166 = 4*g. Is p a multiple of 18?
True
Let n(v) = -81*v - 52. Let c be n(-2). Suppose -2*q + c = -2*b, 5*q - 9*q + 5*b = -221. Is 6 a factor of q?
True
Suppose 1568*x - 1579*x + 4026 = 0. Does 61 divide x?
True
Let q(u) = -u**3 - 8*u**2 - 5*u + 30. Let g be q(-6). Let t(r) = 3*r**2 + 18*r + 12. Let b be t(g). Does 25 divide 4 - 18/(3*(-8)/b)?
True
Let n be ((-8)/((-16)/6))/((-1)/1). Let d(p) be the third derivative of p**5/12 + p**4/8 - p**3/2 + 13*p**2. Does 11 divide d(n)?
True
Suppose 4*s + 36517 + 24383 = 33*s. Does 90 divide s?
False
Let c(w) = 3*w**2 + w - 1. Let q be c(2). Let x(r) = -r**2 + 12*r + 15. Let g be x(q). Suppose 4*v + 116 = 2*j, 3*j - 70 = g*j + 5*v. Is j a multiple of 10?
True
Suppose 0 = 2*d - 4*h - 4190, h + 8 = -h. Is 53 a factor of d?
False
Let u be (((-63)/(-6))/(-3))/(2/4). Let s(d) = d**2 + 3*d - 8. Is s(u) a multiple of 20?
True
Let d = -430 - -436. Is (3 - (-235)/3)*d a multiple of 13?
False
Suppose b = -2*v + 2800 + 228, -3*v = -2*b + 6084. Does 66 divide b?
True
Does 83 divide (-4336 + (32 - 12))*(-29)/4?
True
Suppose -6926 + 19935 = 9*u - 47921. Is u a multiple of 28?
False
Suppose 4*l - 264 - 356 = 0. Suppose -4*i + 807 - l = 0. Is 14 a factor of i?
False
Let n(s) = 141*s + 590. Is n(42) a multiple of 16?
True
Let d(a) = 2*a**2 - 63*a + 43*a + 60 + 36*a. Is d(-10) a multiple of 20?
True
Is 840 - ((3 - 4) + -7) a multiple of 13?
False
Is 21 a factor of (-11207)/(-63)*-6*4/((-24)/9)?
False
Let v = 69 + 68. Let y = 7 + v. Is y a multiple of 16?
True
Let q = -77197 + 157583. Is 27 a factor of q?
False
Let p(a) = 10*a**3 + 7*a**2 + 5*a - 1. Let n be p(-1). Let i(u) = 4*u**2 + 24*u + 18. Is i(n) a multiple of 16?
False
Let x = 667 - 587. Let b =