ultiple of 8?
False
Let w(z) = -z**3 + 24*z**2 + 96*z + 20. Does 2 divide w(15)?
False
Let f be -12*4/8 - 512. Let b = 629 + f. Does 11 divide b?
False
Let a = 653 + -695. Is 58 a factor of a/(-7)*(-174)/(-3)?
True
Suppose 0 = 2*n - 5*v - 15238, -14*n = -15*n + 3*v + 7621. Does 16 divide n?
False
Let s(d) = 36*d + 33. Let v be s(-1). Is 21 a factor of (-45348)/(-144) + v/(-36)?
True
Let p = 57 + 13. Suppose -p = 3*l - 469. Is l a multiple of 8?
False
Let n = 29920 - 15565. Is 5 a factor of n?
True
Let u(t) = t**3 - 10*t**2 - 11*t + 2. Let b be u(11). Suppose -s + 88 = 5*w, b*w - 3*s + 5*s - 32 = 0. Does 9 divide w?
True
Suppose -3*j + 3*o - o + 994 = 0, -o = 5*j - 1661. Is j a multiple of 9?
False
Is 18 a factor of 14 + -4 + (-16)/2 - -16810?
True
Let q(v) = -3*v + 9. Let g be q(2). Suppose g*y - 235 = 35. Is 26 a factor of y?
False
Is 6 a factor of 28*(-4 + (8 - 1) - -136)*2?
False
Suppose w + 2*a - 31 = -a, -2*w + 5*a = -51. Does 16 divide 181/(-3)*(-84)/w?
False
Let g(j) = 12*j**2 - 3*j. Let n(p) = -p**3 + 2*p**2 - 3*p - 2. Let i be n(0). Is 18 a factor of g(i)?
True
Let o = 57 - 54. Suppose o*q + 52 + 2 = 0. Is 9 a factor of ((-2)/8*-4)/((-1)/q)?
True
Suppose 19 + 77 = -8*q. Let w = 14 + q. Let j(k) = 10*k + 4. Does 12 divide j(w)?
True
Let u = -263 - -389. Let b = u + -17. Let i = b - 55. Is i a multiple of 18?
True
Let j(f) = 72*f + 51. Let p(a) = -37*a - 25. Let g(s) = 3*j(s) + 5*p(s). Is 7 a factor of g(3)?
False
Is 50 a factor of 34000/(-6)*(-389 + 386)?
True
Let c(w) = -w**3 + 39*w**2 + 4*w - 65. Let g be 232/(-348) - ((-119)/3 - 0). Is 5 a factor of c(g)?
False
Let l(g) = -11*g**3 - 18*g**2 - 24*g - 3. Let j(z) = -5*z**3 - 9*z**2 - 12*z - 2. Let b = 3 + -12. Let r(m) = b*j(m) + 4*l(m). Is r(-7) a multiple of 10?
True
Let y = -603 - -89. Let i = y - -586. Does 3 divide i?
True
Let v be -12 + 3/1 + 3. Let p(z) = 21*z + 3. Let l be p(v). Let w = l - -227. Is w a multiple of 26?
True
Let u(l) = 3*l**3 - 11*l**2 + 5*l - 12. Let m(b) = -8*b**3 + 32*b**2 - 15*b + 37. Let f(i) = 4*m(i) + 11*u(i). Let d = 17 - 23. Is 23 a factor of f(d)?
False
Let d = 28742 - 15362. Is 15 a factor of d?
True
Let z = -245 - -693. Suppose 65*u + z = 67*u. Does 16 divide u?
True
Let u(m) = 3*m**2 - 13*m + 9. Let v be u(4). Suppose 2*c + 0*c = -y + 10, -5*y = v*c - 35. Suppose -2*f = h - 59, y*h + 0*f + 2*f - 254 = 0. Does 13 divide h?
True
Is (2193281/3054)/(1/12) a multiple of 62?
True
Suppose -6*o - 3*v = -84597, -4 = 9*v - 5*v. Is o a multiple of 173?
False
Let f = 21816 - 9620. Does 46 divide f?
False
Let d be (-1183)/(-14) + (-2)/(-4) + 0. Let h = d + -55. Is 30 a factor of h*4*(2 + -1)?
True
Suppose 91*d - 22*t = 90*d + 8939, 5*t + 35756 = 4*d. Is d a multiple of 77?
False
Let p = 3677 + -93. Is 16 a factor of p?
True
Suppose 4*v - 6561 = 13*v. Let p = v - -1069. Does 20 divide p?
True
Suppose -45 + 180 = 27*b. Suppose -4*q + 225 = b*i, i - q = 67 - 22. Is 5 a factor of i?
True
Suppose 57*b = 9*b - 30*b + 1138644. Does 160 divide b?
False
Let f = -20516 + 21308. Is f a multiple of 6?
True
Suppose -2634*k + 1318*k - 320682 = -1335*k. Is k a multiple of 174?
True
Is 41 a factor of (5 + 1)/(((-8)/(-790))/2)?
False
Suppose -4*o + r + 19874 = 0, 5*o - 17322 - 7537 = 4*r. Does 5 divide o?
False
Let a = 17410 + 1961. Suppose 15*q - a = -18*q. Is 49 a factor of q?
False
Let s(m) = -11*m**3 + 26*m**2 - 14*m + 1. Let k(x) = 4*x**3 - 9*x**2 + 5*x. Let n(h) = -8*k(h) - 3*s(h). Let a be n(6). Is (-511)/(-3) - a/27 a multiple of 29?
False
Let a(f) = 4*f**2 + 71*f - 958. Is a(47) a multiple of 84?
False
Let m(v) = -9*v**2 - 14*v + 183. Let p(g) = 36*g**2 + 55*g - 732. Let a(n) = -9*m(n) - 2*p(n). Does 65 divide a(6)?
False
Suppose 0 = -25*g + 32*g + 42. Let j(f) = -3*f**3 - f + 6. Is 30 a factor of j(g)?
True
Let v be 3 - (-10)/(-15)*9. Does 2 divide 242/16 - v/(-24)?
False
Let t(j) be the second derivative of j**4/12 + 8*j**3/3 + 61*j**2 - 42*j. Is t(30) a multiple of 113?
False
Let f be 4*30/15*(-2)/24*3. Suppose 4*q = -20, -3*d = q + 2 - 27. Does 11 divide -13*55/d*f?
True
Let m(j) be the second derivative of -j**6/72 - j**5/120 - 5*j**4/6 - 6*j. Let z(v) be the third derivative of m(v). Is z(-1) a multiple of 2?
False
Let t = 680 - 544. Suppose g = 2*y + t + 220, 4*g = 5*y + 1430. Is g a multiple of 20?
True
Suppose 8*q = -16384 + 2776. Does 21 divide ((-3)/9)/(1/q)?
True
Suppose -2*x - 8*f + 782 = -6*f, x - 4*f - 391 = 0. Is x a multiple of 2?
False
Let u(i) = 69*i + 5. Let w be u(1). Let p = w + 2. Is 55 a factor of p?
False
Suppose 106*x - 71*x = 106330. Is x a multiple of 98?
True
Suppose -3*v + 1587 = 3*p, -4*v + 1009 = -5*p - 1161. Is v a multiple of 5?
True
Let s = -193 - -196. Suppose -42 = -s*v + 3. Is v a multiple of 5?
True
Suppose 77*f - 5112 = 73*f. Suppose 6858 - f = 31*l. Does 15 divide l?
True
Let q = -372 - -377. Does 27 divide (-3)/q - (-1663)/5?
False
Let p = -14760 - -23794. Is 12 a factor of p?
False
Let f = -123 - -42. Let u = f + 30. Does 23 divide 2/(-1) - (u - -3)?
True
Let d = 2983 - 1263. Suppose 5*r - 5*y - d = 0, -y - 1022 = 9*r - 12*r. Does 76 divide r?
False
Let s(j) = 99*j**2 - 161*j + 2124. Is 56 a factor of s(12)?
True
Let w(s) = 1 + 2 - 5 + 37*s + 20*s. Suppose -a - 3*a = -5*d + 6, 4*a = -5*d + 14. Is w(d) a multiple of 11?
False
Let u(w) be the third derivative of -5/12*w**4 + 0*w + 0 + 1/60*w**5 + 35*w**2 + 13/6*w**3. Does 11 divide u(15)?
True
Is 238 a factor of 39/(702/1908)*291/2?
False
Suppose 3*w - 5653 = -5*g, -3*w + w - 5*g + 3767 = 0. Suppose 4*y = -686 + w. Suppose -21*b = -16*b - y. Is 6 a factor of b?
True
Let w(r) = -r**2 - 20*r - 129. Let b be w(-6). Is 9 a factor of (-11)/((-110)/b)*-62?
True
Let p(n) = 6544*n - 13165. Does 25 divide p(10)?
True
Suppose 4*l = 3*g - 126, 0*l - 2*l = 0. Let t = 48 - g. Suppose 0 = -b - t*r + 7*r + 174, 2*r - 507 = -3*b. Is 19 a factor of b?
True
Let i = 842 + -331. Suppose -506*z = -i*z + 8765. Is 17 a factor of z?
False
Let m = 733 + -736. Let z(h) = h + 4*h**2 + 2*h**2 - 3*h**2 + 9. Is z(m) a multiple of 9?
False
Suppose -54*r + 49196 = -5*r. Is r a multiple of 16?
False
Let s(u) = -2*u**2 - 2*u + 4. Let f be s(0). Let i be 3/(f/736*6). Is 23 a factor of (-5)/(-1 - (-88)/i)?
True
Let b(k) = -116*k**2 - 1397*k + 20. Does 10 divide b(-12)?
True
Let a(v) = 3*v**2 + 2 + 27*v - 5 - 24*v. Is 7 a factor of a(9)?
False
Suppose 7*w - 4244 = 796. Suppose 0 = -9*k + 4464 + w. Is k a multiple of 9?
True
Suppose -4*r = -4*n + 34964, 34978 = 2*n + 2*n + 3*r. Does 44 divide n?
False
Let j(d) be the second derivative of 5/2*d**3 - 3*d**2 + 0 + 15*d. Does 12 divide j(2)?
True
Let c(k) = -146*k - 270. Let h(q) = 29*q + 54. Let v(w) = 3*c(w) + 14*h(w). Let r be v(-6). Let x = r - 0. Does 17 divide x?
False
Does 118 divide (22184 - 2)*(-74)/(-222)?
False
Suppose -2*x - 10 = 3*x, 5*b - 3*x = 326. Let a be 34/8 - 16/b. Suppose 3*z + a*i - 275 = 5*i, 5*z + 2*i = 473. Does 17 divide z?
False
Let i = -49724 - -81017. Is 19 a factor of i?
True
Let t(u) = u**3 - u**2 + u. Let l(m) = -2*m**3 - m**2 + 3*m. Let b(x) = l(x) - 4*t(x). Let c be b(1). Let i = 19 + c. Is i even?
False
Let n(k) = -63*k - 1671. Does 13 divide n(-42)?
True
Let s = -13595 + 19535. Is s a multiple of 30?
True
Is 8 a factor of -25356*((-574)/42 + 13)?
True
Let m = 1253 - 1148. Is m even?
False
Let d be (27/12)/((-2)/(-8)). Suppose d*r + k - 247 = 8*r, k = 4*r - 1013. Does 11 divide r?
False
Suppose 0 = -23*z + 20*z - 6, 3*s = 3*z + 6. Does 11 divide ((37 - s) + -4)*1?
True
Suppose -12*x + 155 + 178 + 39 = 0. Let i(r) = 3*r**2 - 88*r - 89. Let g(d) = -d**2 + 29*d + 30. Let f(n) = -11*g(n) - 4*i(n). Is f(x) a multiple of 16?
False
Let a(i) = 2*i**2 + 189*i + 3727. Is 202 a factor of a(-83)?
True
Let x(i) = 12*i + 1512. Is 60 a factor of x(99)?
True
Let k(g) be the third derivative of -7*g**6/120 - g**5/30 - 19*g**3/6 + 195*g**2. Is k(-4) a multiple of 13?
False
Let w(f) = -f + 25. Let g be w(25). Suppose -1322 - 16 = -2*l - 4*k, g = -5*l + 2*k + 3393. Does 29 divide l?
False
Suppose 2*p = 5*b + 8432, -4*p - 1682 = -6*b + 7*b. Does 50 divide (-5 + 3)/(12/b)?
False
Let w = -32 - -70. Suppose w*f = 34*f + 60. Suppose -f*u + 13*u = -112. Is u a multiple of 7?
True
Let k(u) = -18*u - 102. Let v(d) = -1. Let r(l) = k(l) - 3*v(l). Is 13 a fact