*w + 8*w - 408 = l. Does 34 divide w?
True
Let n(l) = 2*l**3 + 5*l**2 + 9*l + 6. Let s(q) = q**3 + q. Let a = 68 + -67. Let z(h) = a*n(h) - 3*s(h). Is 12 a factor of z(5)?
True
Suppose -4*g - 144 = 5*z, 5*z + 251 - 87 = g. Let x(v) = -2*v**2 - 75*v - 82. Does 25 divide x(z)?
False
Let o(c) = c**3 + 23*c**2 + 61*c + 10. Let h be o(-18). Let t = 214 + h. Does 38 divide t?
False
Suppose 2 + 38 = -5*z. Let w(n) = -3 + 18 + 12 - 8*n + 0. Does 13 divide w(z)?
True
Suppose 0 = 18*b - 15*b - 18, u + 9*b - 1474 = 0. Does 10 divide u?
True
Suppose -7*s - 302 = -337. Suppose -15 = -3*j - 0, -5*j = s*z - 1130. Does 13 divide z?
True
Let o(t) = 470*t**2 - 107*t + 263. Does 24 divide o(4)?
False
Let f(c) = 3*c**2 + 55*c + 1076. Is f(-27) a multiple of 14?
True
Let t be (2696/6)/((-2)/9*-3). Let x = 162 + t. Is x a multiple of 40?
False
Is 13*(-370)/50*-15 a multiple of 13?
True
Let z be (-12)/15 - (-735)/75. Is (-78)/z + 8 + (-14)/(-3) a multiple of 2?
True
Suppose -x - 3*w + 35 = 0, -4*w + 10 = 18. Suppose -x*o = -15304 - 153. Is 6 a factor of o?
False
Let a = -25306 - -38777. Is 28 a factor of a?
False
Let m = 618 + -267. Let u = m + -80. Is u a multiple of 22?
False
Suppose 0 = p + 4*v - 4808, 5*p - 6*v - 23994 = -3*v. Is 52 a factor of p?
False
Suppose 5*j - 3*n + 340 + 221 = 0, 0 = -4*j + 2*n - 448. Let k = j + 115. Suppose k*t = -5*w + 82 + 527, 3*t - 5*w = 483. Does 15 divide t?
False
Suppose -s + 369 = c, -1413 = -25*s + 21*s + 3*c. Is s a multiple of 18?
True
Suppose 65*b = 38*b + 191*b - 608276. Is 148 a factor of b?
False
Let m = 6594 + -4990. Is 4 a factor of m?
True
Let v = -180 - -185. Suppose 1022 = v*s - 2*q, -5*s + 870 = -5*q - 140. Does 25 divide s?
False
Let n(i) = 384*i**2 - 8*i - 27. Is 44 a factor of n(-3)?
False
Let a(o) = -621*o - 4629. Is 24 a factor of a(-9)?
True
Suppose -2350*p = -2339*p - 14641. Is p a multiple of 121?
True
Does 5 divide (-13)/(-1) + -5 - 13992/(-4)?
False
Let x(t) = 25*t**2 - 5*t + 3. Suppose 33 = -4*a - 7*a. Let l be a/(4/14 - 175/98). Is x(l) a multiple of 17?
False
Let v = 123 + -71. Suppose 54*k - 672 = v*k. Is 48 a factor of k?
True
Let c = 123 - 88. Suppose -5*j - c = -4*g, j - 12 + 0 = -3*g. Suppose g*h = 9*h - 176. Is h a multiple of 17?
False
Suppose i = -2*g + 27, 2*i - 52 = -3*g - 0*g. Suppose i*c - 816 = -11*c. Does 6 divide c?
True
Let j(a) = a**2 - 21*a - 5. Let v be j(19). Let f = -31 - v. Is 16 a factor of -1 - (-27*f)/4?
True
Suppose -2*r = -50*f + 51*f - 5246, -4*f + 20962 = -3*r. Is 10 a factor of f?
False
Suppose 2*f + 4*f + 6120 = 0. Let j be ((-3)/6)/(6/f). Suppose -j - 175 = -13*k. Is k a multiple of 5?
True
Suppose -778*q + 782*q + 4298 = 20950. Is q a multiple of 10?
False
Is (0 + ((-30460)/(-2))/5)/(-13 + 15) even?
False
Let x be 13/(-5) + (-14)/35. Is 3 a factor of (0/(-3) - x) + 356/2?
False
Suppose -17*i - i = 2322. Let f = i + 369. Is 8 a factor of f?
True
Let u(k) be the first derivative of -k**3/3 + 2*k**2 + 4*k - 3. Let z be u(4). Suppose -6 = -z*r + 98. Is r a multiple of 13?
True
Suppose -10*z + 194 = -12*z. Let s = z + 362. Is s a multiple of 53?
True
Suppose -24*y + 266270 - 32411 + 356133 = 0. Does 43 divide y?
False
Let f = 971 - 544. Suppose 2*l - f - 2075 = 0. Does 18 divide l?
False
Let v = 7174 + -3339. Does 114 divide v?
False
Let l be 4 + -3 + (9 - 10). Suppose l = 10*o - 4*o - 240. Is o a multiple of 7?
False
Let c(m) = -331*m + 511. Does 12 divide c(-3)?
False
Suppose -46*m + 5*m + 67527 = 0. Does 3 divide m?
True
Let h = 2757 - 1788. Is 51 a factor of h?
True
Is 32 a factor of 1/8 - (8295919/(-264) + (-294)/(-4851))?
True
Is (7/(14/8) - 4) + 2416 a multiple of 16?
True
Suppose 4 = -t, 2*q - 7*t + 5*t = 8756. Is 6 a factor of q?
True
Let o(p) = 3*p**2 + 6*p - 4. Let h be o(-3). Suppose 7*g - 6 = h*g. Suppose 0 = -g*t - t + 480. Is t a multiple of 12?
True
Suppose -16*y + 18*y = 36. Let o(m) be the third derivative of -m**4/24 + 6*m**3 - 8*m**2. Is 6 a factor of o(y)?
True
Suppose 68*t - 106*t + 190 = 0. Suppose -4*u + 5*y = -t*u + 287, -u + 2*y + 294 = 0. Is u a multiple of 4?
True
Let m(o) be the third derivative of -o**5/60 + 19*o**4/24 + 5*o**3/6 + o**2. Let f be (-42)/56*(0 - 68/3). Is m(f) a multiple of 16?
False
Does 8 divide -6 - -3 - 13/(39/(-10758))?
False
Let s be (-112)/10 - (-20)/(-125)*5. Let m be 13*6/(-8)*s. Let h = -86 + m. Is h a multiple of 8?
False
Let i(n) = 2*n - 57. Let x be i(17). Let p(j) = 4*j + 80. Let l be p(x). Does 9 divide l/42 - (-144)/14?
False
Suppose -78 = -f - q, -9*f + 4*f + 440 = -5*q. Suppose 86*j - f*j = 285. Is j a multiple of 25?
False
Let i(o) = 37*o**2 + 312 + 333 - 626. Is 79 a factor of i(6)?
False
Suppose -3*m = 3*x - 19359, 5*x + 2*m - 47002 = -14743. Does 33 divide x?
False
Suppose -9705 = -v + 5*g, 2*v - 29035 = -v - 5*g. Is 11 a factor of v?
False
Let q(l) be the third derivative of -l**5/60 + 19*l**4/24 + 7*l**3/2 - 29*l**2 - 2*l. Is q(7) a multiple of 6?
False
Let k(m) = -1047*m**3 + 3*m**2 + 3*m. Let j be k(-1). Does 14 divide 1/(j/(-210) + 5)?
True
Let m(p) = 14*p - 10. Let h be m(6). Let r be (0 - 6)*h/(-6). Suppose 294 = 2*z + 4*i - r, -i = -3*z + 524. Is 36 a factor of z?
False
Suppose 1699*b = 1703*b - 2*z - 23708, -5*b - 3*z + 29679 = 0. Is 9 a factor of b?
True
Let f(z) = z**3 - z**2 - z. Let i be f(2). Suppose 2*s - 2*u + 16 = 0, i*u + 4 = -s + 7*u. Let o(v) = v**3 + 8*v**2 - 12*v - 12. Does 5 divide o(s)?
True
Let l be 37/(10/40 + 6/8). Suppose -3*y = -l*u + 35*u - 1538, -4*y + 5*u = -2060. Is 15 a factor of y?
True
Let l(k) = 11*k**2 + 38*k + 325. Let a(j) = 3*j**2 + 10*j + 81. Let w(b) = 9*a(b) - 2*l(b). Does 96 divide w(-16)?
False
Suppose 10 = 3*l - w, -14 = l - 2*w + 6*w. Let g be 3 + -3*(-3 + l - -2). Suppose 5*h - 79 - 41 = g. Is h a multiple of 8?
True
Let p be (-2380)/(-102) + 2/(-6). Suppose 12*y = p*y - 1749. Does 11 divide y?
False
Suppose -20*t = -7*t - 741. Let h = t - -679. Does 21 divide h?
False
Let n(v) = 17*v**3 - 2*v**2 + 3*v - 1. Let w be n(1). Suppose -29 + w = 4*z. Is 68 + -2 + (z - -4) - 4 a multiple of 21?
True
Let a = -119 - -571. Suppose -a*w = -457*w + 450. Does 90 divide w?
True
Let v(b) = 6*b**2 - 33*b + 413. Is 16 a factor of v(51)?
True
Suppose r - 4*o = 5*r - 3092, 0 = r - 4*o - 773. Is 10 a factor of r?
False
Suppose 14 + 4 = 9*w. Suppose -3*p + p + 3*m = -1991, 0 = -w*p - 3*m + 1985. Is p a multiple of 17?
False
Let h(r) = -82*r - 1032. Is 18 a factor of h(-18)?
False
Let w = 10906 + -989. Is 68 a factor of w?
False
Let d be 1*((-126)/15)/((-4)/(-10)). Does 14 divide (7 + 2)/((-4)/(2744/d))?
True
Let r(t) = 6*t - 18. Let x be r(5). Suppose 0 = -5*d + k + x, 3*k = -d + 8*k + 12. Suppose -4*q + 22 = 3*j, 0 = -5*j - d*q + 4*q + 80. Does 7 divide j?
True
Suppose 11*p - 14*p = 9, 4*r - 3*p - 17 = 0. Let q = 0 - -3. Suppose 54 = 2*g + q*x, -3*x - r*x = -10. Is g a multiple of 12?
True
Let i = -58 - -61. Suppose -5*l = -i*l + 4*l. Suppose l*f + 3*f = 492. Is 41 a factor of f?
True
Let g = 5698 + 16297. Is g a multiple of 19?
False
Suppose -3*q = -9*q + 12. Let p(j) = 0 + 10*j - j**q - 11 - 2. Is p(7) a multiple of 4?
True
Suppose -2*y = -3 + 1. Let o(d) = -d**2 + 2*d - 1. Let m be o(y). Suppose -217 = -3*s - r - m*r, -s = -2*r - 77. Is s a multiple of 11?
False
Suppose 2*f - 17540 = -4*m, 4*f - 17532 = -121*m + 117*m. Is m a multiple of 34?
False
Suppose a + 8*q - 9*q - 548 = 0, 0 = 4*a + 3*q - 2178. Suppose 4*b + a = 6*b. Is b a multiple of 13?
True
Suppose 2*k - 12 = -2322. Is 11 a factor of (5/(70/(-12)))/(3/k)?
True
Let d = -133 + 135. Suppose -3*f + d*o + 930 = 0, -7*f + 4*f - 5*o = -909. Is 22 a factor of f?
True
Is 1 + (8 - -4116)*1 a multiple of 25?
True
Let m(p) = 2*p**3 - 4*p**2 + p + 5. Let o(q) = -22*q + 68. Let n be o(3). Is 2 a factor of m(n)?
False
Suppose 5*g + 4*w = 16766, -9547 = -4*g + 3*w + 3903. Is g a multiple of 23?
True
Let m = 806 - 188. Suppose 17*r + m = 21*r + 2*w, -623 = -4*r - w. Does 4 divide r?
False
Let b = 20364 + -10465. Is 15 a factor of b?
False
Is 10 a factor of (-4)/(-30) - (-2851604)/(-882)*(-3)/5?
True
Suppose -j = -4*d + 46727, 2*j - 3 = -17. Is 16 a factor of d?
True
Let i = 6921 + 5033. Does 86 divide i?
True
Suppose 2*v = -8*o + 13*o - 21110, 0 = 5*v + 25. Is o a multiple of 211?
True
Let o(n) = 9613*n - 15334. Is 134 a factor 