iple of 5?
True
Let i(z) = -6*z**3 + 74*z**2 - 22. Is i(11) a multiple of 2?
True
Suppose 4*v + 5*s = 6372, -187 = -3*v + 3*s + 4592. Does 4 divide v?
False
Suppose -10*t + 6*t - 5*p + 2029 = 0, -t + 4*p = -523. Is t a multiple of 15?
False
Let h = 17 + -10. Suppose -3*q - 20*q = 2760. Is (q/28)/((-1)/h*1) a multiple of 15?
True
Let k(f) = -4*f**2 + 3*f + 2*f**2 + f + 5 + f**2. Let l be k(4). Suppose 0*o + o = r + 146, l*o = -2*r + 716. Is o a multiple of 20?
False
Suppose 510*v - 512*v + 25934 = 0. Does 112 divide v?
False
Suppose -42*n = -40*n + 58. Let p = 45 + n. Is p a multiple of 2?
True
Does 100 divide (-39)/6 - ((-1753686)/68 + -17)?
True
Let p(b) be the third derivative of 3*b**5/5 + b**4/3 + 10*b**3/3 - b**2 + 59*b. Is 6 a factor of p(-2)?
False
Suppose 0 = -4*f - f - 0*f. Let i(n) = 2*n + 56. Let q be i(f). Let o = -1 + q. Is o a multiple of 6?
False
Suppose 0 = -h + 4*w - 5, -33 = 2*h + 2*h - 3*w. Let u be -1*(1995/(-75) + (-4)/10). Does 9 divide h/6*(-2664)/u?
False
Let u = -9082 - -15334. Is 94 a factor of u?
False
Let r(k) = -k**3 - 8*k**2 - 11*k - 7. Let v be r(-6). Let z(c) = -3*c - 34. Let p be z(v). Suppose -4*d + 104 = 5*l - 1, 3*l - p*d - 63 = 0. Does 3 divide l?
True
Let q = 6964 + 7589. Is 231 a factor of q?
True
Suppose -3 = 3*n, 6*n = 4*y + 4*n - 110. Let o = 32 - y. Suppose 259 = 4*x + o*p, 332 = 5*x - 6*p + 4*p. Does 33 divide x?
True
Let d = 3029 - 2847. Let v = -838 - -1191. Let n = v - d. Is n a multiple of 9?
True
Let g(v) = 5*v - 19 - 9 - 4*v + 11*v + v**2. Let p be g(-12). Does 16 divide (-1280)/p + (-2)/(-7)?
False
Suppose 3*f - 5*f + 6 = 0. Let d = 207 + -207. Suppose d*u + 105 = f*u. Is u a multiple of 5?
True
Suppose -4*b - 3544 = -5*h + 40110, 3*b = 5*h - 43653. Does 23 divide h?
False
Suppose 0 = q + 2*z + 199, 5*q + 4*z = -871 - 148. Is 9 a factor of q/(4/2*9/(-18))?
True
Let z = -8356 + 12934. Is z a multiple of 42?
True
Let h = 70 - 59. Let f(d) = 4*d**2 - 9*d - 81. Is 15 a factor of f(h)?
False
Let k(i) = i**3 - 9*i**2 - 3*i - 11. Let h(r) = 3*r**3 - 27*r**2 - 9*r - 32. Let w(q) = -4*h(q) + 11*k(q). Suppose -588 - 756 = -192*c. Is w(c) a multiple of 6?
True
Let k = -36 + 38. Suppose -b - 2*p - 3 - 1 = 0, 2*p - 2 = k*b. Let d(t) = -10*t**3. Is d(b) a multiple of 16?
True
Let p(w) be the third derivative of -w**7/1680 - w**6/240 + 17*w**5/60 - 27*w**2. Let q(g) be the third derivative of p(g). Is q(-4) a multiple of 9?
True
Let w = 355 + -93. Let k = 738 - w. Does 34 divide k?
True
Is -98*10/(-140) + 5411 a multiple of 21?
True
Suppose 22*j - 160681 - 65301 = -57748. Does 40 divide j?
False
Suppose 49*q = 52*q - 582. Let y = q - 31. Let d = y - 79. Is d a multiple of 8?
False
Suppose 0 = 4*p - 4*m - 12 - 288, 298 = 4*p - 3*m. Let u = p - 57. Suppose 0 = -19*t + u*t + 114. Is t a multiple of 30?
False
Let w(u) = u**3 + 30*u**2 + 56*u + 11. Let n be w(-28). Is n/(497/(-126) - -4) a multiple of 22?
True
Let z be ((-42)/(-7) + -6)/5. Suppose -4*y - 1059 = -5*l, -l - 4*y + 349 - 118 = z. Does 21 divide l?
False
Let y(i) = -8 + 136*i + 15*i + 4 - 11 - 63*i. Does 5 divide y(5)?
True
Let s be (-3)/((-24)/(-10) - 3). Suppose 3*a - 804 + 147 = -3*j, s*a - 231 = -j. Is 18 a factor of j?
True
Is 4 a factor of -4 + 0 + -2 + (24/(-3) - -1594)?
True
Suppose 0*t = -3*t - 5*n - 931, 1284 = -4*t + 4*n. Let a = t + 668. Is a a multiple of 13?
True
Let q = 11647 + -11430. Is q a multiple of 8?
False
Let x(t) = -t**2 + 4*t + 77. Let d be x(-7). Let y be 19/3 - (-2)/3. Suppose d = -y*i + 976 - 171. Is i a multiple of 10?
False
Let m(i) be the first derivative of 5*i**3/3 + i**2/2 - 41*i + 84. Is 13 a factor of m(-15)?
False
Let j = -50672 - -88753. Is j a multiple of 12?
False
Let w(i) be the first derivative of -i**2/2 - 17*i + 20. Let p be w(21). Let u = 87 + p. Does 11 divide u?
False
Does 29 divide 390/(-4)*(32 + 2926/(-57))?
True
Suppose -7*s - 8028 = -11*s - 5*j, -4*s + 4*j + 8028 = 0. Does 14 divide s?
False
Suppose 9*l + 133 = -2225. Let b = 86 - l. Is 29 a factor of b?
True
Let z(s) = -46*s**3 - s**2 + 7*s - 6. Let a be z(1). Let u = 81 + a. Is 35 a factor of u?
True
Let i = 27 - 24. Suppose 3*j + 2*n = 560, 3*j + j = i*n + 775. Suppose j = 5*o - 0*o. Is 10 a factor of o?
False
Let a(g) = 48*g - 393. Let v(z) = 242*z - 1962. Let d(q) = -11*a(q) + 2*v(q). Is 37 a factor of d(8)?
False
Suppose -30 = -4*w - 6*w. Suppose w*p - q - q - 403 = 0, 0 = -p + 5*q + 156. Let d = p - 76. Is d a multiple of 21?
False
Suppose 1114668 = 128*h + 375084. Is h a multiple of 54?
True
Let n(r) = -241*r + 62. Let x(w) = -81*w + 21. Let o(s) = 6*n(s) - 17*x(s). Is 6 a factor of o(-1)?
True
Let b be 31/(4 + 3*(-83)/63). Suppose 1696 = 2*f - a + b, 5*f = -3*a + 2585. Is 13 a factor of f?
True
Let r be (-1 - -7)*68/51. Is 34 a factor of (-303)/(-6)*r + 0 + 4?
True
Let g = 25 + -24. Let u(i) = 2*i**2 + 1. Let a be u(g). Suppose -551 = -5*y - a*z, -z + 4*z = -4*y + 442. Does 10 divide y?
False
Let s(u) = -1013*u - 14816. Is 15 a factor of s(-37)?
True
Let g(w) = 4*w + 109. Let d be ((-2)/(-3))/((-8)/(-192)*-1). Is 25 a factor of g(d)?
False
Let i = -6099 - -10243. Is i a multiple of 28?
True
Let o = -5565 + 8460. Is 15 a factor of o?
True
Suppose -2*c - 5*o + 3 = -c, c - 4*o - 21 = 0. Let m(r) = 24*r - 33. Does 27 divide m(c)?
False
Suppose 3*o = p + 3479, 5*o + 1149 = 6*o + 5*p. Suppose 11*i - 1481 - o = 0. Is i a multiple of 60?
True
Let k = -76 - -1104. Is 5 a factor of k?
False
Let r be (41 + -39)*(-3)/(-2). Is (36/3)/(r/94) a multiple of 47?
True
Suppose 0 = -x + 5*x - k - 496, -x - k = -124. Suppose x = -3*u + w + 560, 0 = 2*u + 4*w - 286. Does 29 divide u?
True
Let z(x) = -x**3 + 8*x**2 + 24*x + 65. Is 140 a factor of z(-11)?
True
Let d(z) = 6292*z**3 + 7*z**2 + 67*z - 146. Does 16 divide d(2)?
True
Suppose -832*l + 158720 = -816*l. Does 80 divide l?
True
Suppose 2*l + 7*g = 3*g + 51008, l = g + 25510. Is 44 a factor of l?
False
Let p(m) = -m**3 - 3*m**2 + 5*m + 1. Let z be p(4). Let a be 4/6 - z/39. Suppose -4*i + 3*j + 303 = 0, 0*i - a*i + 4*j = -222. Is 13 a factor of i?
True
Suppose 0 = -5*t - 2*g + 815, -4*g + 805 = -56*t + 61*t. Is t a multiple of 2?
False
Let h be (-74154)/136 + 6/(-8). Does 32 divide (0 - -3) + (7 - (h - 3))?
False
Let y(f) = -f**3 + 11*f**2 + 15*f - 33. Suppose 0 = 16*s - 18*s + 18. Does 17 divide y(s)?
False
Let u(l) = 12*l**2 - 53*l + 586. Does 3 divide u(13)?
False
Let s = 3333 - -2379. Is 51 a factor of s?
True
Let j(r) be the second derivative of -r**5/20 + r**4/3 + r**3/6 + 84*r**2 - r + 28. Is 14 a factor of j(0)?
True
Let g(d) = -394*d + 3483. Is 107 a factor of g(-20)?
False
Suppose -37*q - 72*q - 73*q + 1900262 = 0. Is q a multiple of 8?
False
Does 5 divide (81/(-2))/((-14 + 4)/820)?
False
Suppose -26 - 16 = -3*v. Let j be (-49)/v*(-4)/2. Is 2 a factor of (-68)/(-7) - j/((-196)/8)?
True
Let q be 56/(-84) - 82/(-6). Does 20 divide (6666/9)/(5 + q/(-3))?
False
Suppose 25*j - 1864840 = -5*y, -2*j + 48182 = -y - 100994. Does 224 divide j?
True
Let v be ((-8)/(-15 - -7))/((-1)/(-633)). Let u = 1097 - v. Does 8 divide u?
True
Let b = -580 - -226. Let k = b + 422. Does 4 divide k?
True
Suppose q - 4 = o - 0*o, -5*o - 13 = 2*q. Is (q - -5) + (85 - -41) a multiple of 22?
True
Let j = -13 - -17. Suppose j*b = 18 + 14. Is 5 a factor of b?
False
Suppose 44 - 14 = 3*g. Let z be 5/((-25)/g)*(-34)/(-4). Let q = z - -177. Does 16 divide q?
True
Let d(s) = 9*s + 24. Let c(p) = 9*p + 23. Let w(h) = 6*c(h) - 7*d(h). Does 26 divide w(-12)?
True
Suppose 6371 = 4*w - 5*i, -35*i + 1609 = w - 33*i. Is 61 a factor of w?
False
Suppose 16*t = 11*t - 60. Let w = t + 15. Suppose -5*c = -2*m - 5 - 12, -5*c + 37 = w*m. Is m a multiple of 4?
True
Let j = -2238 + 3264. Is j a multiple of 11?
False
Suppose 200217 - 116443 = 64*i - 347778. Does 18 divide i?
False
Let o = 312 - 634. Does 46 divide (600/(-140))/(2/o)?
True
Does 28 divide (-923494)/(-780) - 10/(-300)?
False
Suppose 2*k = -12, 0 = -7*p + 2*p - 2*k + 34248. Is p a multiple of 12?
True
Suppose 2*h - 33*h + 56*h - 18425 = 0. Does 2 divide h?
False
Let k = -208 + 356. Suppose -2*t = -i + 6*i + 724, -i = 2*t + k. Let j = 240 + i. Does 10 divide j?
False
Let n(r) = 3*r**3 + 11*r - 1. Let y be n(-7). Let b = -185 - y. Suppose k + 3*k + 12 = 0, 5*m - 4*k = b. Is 13 a factor o