ose -w + 7 = -d*l, -4*w = -5*w + l + 5. Is 2 a factor of w?
True
Let l(a) = a**3 + 6*a**2 - a. Let o be l(-6). Let i(g) = -g**2 + 8*g + 3. Let y be i(o). Let k = 18 + y. Is 5 a factor of k?
False
Let m(s) = 5*s**2 + 8*s + 37. Let o(c) = -14*c**2 - 24*c - 110. Let u(f) = -17*m(f) - 6*o(f). Does 11 divide u(10)?
True
Let x(q) = 3*q + 38. Let f be x(-11). Suppose 5*y - 620 = -f*a, y + 155 + 81 = 2*a. Does 40 divide a?
True
Let f = 33 + 63. Let j = f + 11. Is 18 a factor of j?
False
Let c = 31 - 24. Is 15 a factor of (8 - c) + (23 - -1)?
False
Let t be 16/(-9) - (-22)/(-99). Does 10 divide (t + -3)/(1/(-6))?
True
Let p(a) = 3 + a**2 + 12*a + 2*a**2 - 4*a**2. Let b be p(12). Suppose -y = -4 - 0, 2*q - 22 = b*y. Is 5 a factor of q?
False
Suppose 0 = 6*c - 3*c - 417. Let y = c + -67. Suppose -y = -5*l + l. Does 9 divide l?
True
Let v(h) = 77*h - 295. Is 14 a factor of v(19)?
False
Let j(l) = -l**2 - l**2 + 8*l - 5 + 0*l**2 + 3*l**2. Is j(-13) a multiple of 30?
True
Let o(t) = -t**3 + t**2 + t + 30. Suppose -28*k + 25*k = 0. Does 30 divide o(k)?
True
Let m(b) = b**3 - 11*b**2 + 10*b + 2. Let r be m(10). Suppose -15 - 11 = -r*g. Is g a multiple of 13?
True
Suppose 4*r - 6144 = -2*g, -3*r + 5*g + 4613 = 4*g. Is 13 a factor of r?
False
Suppose 509 + 1211 = 4*b. Suppose -3*s = s - 2*z - b, 4*z = 5*s - 536. Is 18 a factor of s?
True
Let j = 33 - 1. Suppose 2*o - 4*x - j = 228, -4*o + 512 = -4*x. Is o a multiple of 14?
True
Let t be -1*(-4 + 5) + -28. Let b be t/((-1)/2*-1). Let f = 83 + b. Is 25 a factor of f?
True
Suppose -5*b - 4 = 2*f - 18, -4 = -4*b - 4*f. Suppose 4*o - 348 = d, -5 = -3*d + 7. Suppose o = b*i + 8. Does 20 divide i?
True
Let z = -20 - -321. Is 5 a factor of z?
False
Suppose -6*a + a - 3*q = -11521, 4*a - 2*q - 9208 = 0. Is a a multiple of 52?
False
Suppose -208 = -2*y - n, 3*n - 520 = 13*y - 18*y. Is 2 a factor of y?
True
Suppose -2*p + 30 = 8*p. Suppose -5*r + 1745 = p*f, 10*f - 1383 = -4*r + 5*f. Is 13 a factor of r?
False
Suppose 534 = 5*q - 106. Suppose q = 2*n - 120. Does 31 divide n?
True
Let g be -4 + (-1 - -3 - 211). Let t = 49 - g. Is 38 a factor of t?
False
Suppose 0*s - 4*g = 4*s - 2708, 4*g + 667 = s. Does 7 divide s?
False
Suppose h = -3*o + 4*o - 36, -o + 52 = -5*h. Let f = o + 112. Is 16 a factor of f?
True
Suppose 0*z = -5*v + 5*z + 275, 5*v = 2*z + 266. Suppose -6*p + 5*p = -8. Suppose v = 5*a - p. Is a a multiple of 12?
True
Suppose 0 = -5*l + 6 + 4. Suppose -l*k + 42 + 18 = 0. Does 15 divide k?
True
Let y(p) = -p**2 + 79*p - 91. Is y(42) a multiple of 19?
True
Let a(p) = -35*p**2 + 3*p + 2. Let m(g) = 34*g**2 - 3*g - 1. Let z(q) = 3*a(q) + 4*m(q). Let v be z(1). Is 20 a factor of v*1*(-24)/(-9)?
True
Suppose 3*m - 3*k = 12, -2*k = -4*m + 26 - 2. Let l be (-4)/m - 5/(-2). Is 9 a factor of ((-33)/l)/((-16)/32)?
False
Suppose -5*v - 1014 = -8*v. Is v a multiple of 14?
False
Does 22 divide 879/5 + (-114)/(-95)?
False
Let v be (117/26)/(1/(-2)). Let z = 14 + v. Let y(q) = 14*q + 2. Does 24 divide y(z)?
True
Let j be (-2)/6 + 104/6. Suppose 2*b = 2*p - 3*p - j, -35 = p - 4*b. Does 4 divide p/(-2) - (-4)/8?
True
Let b = -16 - -22. Let g = 354 + -351. Suppose -65 = -g*o - 2*j, o - b - 16 = -j. Is o a multiple of 9?
False
Let v = -20 + 23. Suppose -v*i + 310 = 22. Is i a multiple of 16?
True
Let m(a) = -4*a - 116. Does 9 divide m(-38)?
True
Let x(j) = 109 + 15*j - 90 + 15*j - 3*j. Is x(3) a multiple of 25?
True
Let o = 28 + -147. Let k = -19 - o. Does 20 divide k?
True
Let t be (2 + (-51)/9)*-3. Let c(x) = x - 3. Let b be c(t). Does 11 divide b/4 + 16*2?
False
Suppose 882 = -17*f + 23*f. Is f a multiple of 20?
False
Suppose -3*x + 12 + 0 = 0. Suppose -4*n + 80 = -x*b - 104, 0 = -5*b + 2*n - 236. Let w = -30 - b. Is w a multiple of 13?
False
Suppose -4*s - 16 = 0, 4*f - 312 = -s - 3*s. Suppose -5*o + f = -18. Suppose -4*m - j + o = -2*j, 2*j = 3*m - 10. Is m a multiple of 3?
True
Suppose -2*l - 3*s - s = 38, -l + 5*s - 12 = 0. Let b = l + 37. Suppose 3*r = -2*r + b. Is r a multiple of 2?
True
Let k(a) = 8*a**2 - 1. Let c be k(-1). Let t(u) = -u**3 + 8*u**2 - 5*u + 9. Let g be t(c). Let d = 16 + g. Is d a multiple of 11?
False
Let a(g) = -g**2 - 12*g - 10. Let p be a(-11). Suppose p = -v + 5. Let x = 8 - v. Is 4 a factor of x?
True
Suppose 0 = -3*k + 2*y + 14, 2*y + 1 = 5. Is ((-2)/k)/((-8)/2256) a multiple of 25?
False
Suppose 13441*l = 13442*l - 2. Let q be -2 + 3 + 1/(-1). Suppose q = 3*m - f - 251, 0*m + 86 = m + l*f. Does 13 divide m?
False
Let n be (-3)/(0 - -9)*(-63)/7. Suppose a - 273 = -42. Suppose n*x + a = 10*x. Is x a multiple of 11?
True
Let p be -17 + 116 - (-4)/2. Suppose -p + 401 = 5*c. Is 14 a factor of c?
False
Let t be (52/(-6))/(-2)*-36. Suppose -17*d - 270 = -14*d. Let q = d - t. Is 15 a factor of q?
False
Let j(i) = 10*i**3 - 2*i**2 + 3*i + 9. Is 17 a factor of j(4)?
True
Suppose -3*q + l = -3922, -2*l + 4641 = 5*q - 1881. Is 9 a factor of q?
False
Let u(k) = 9*k - 6. Let i be -2*(180/8)/(-9). Is 13 a factor of u(i)?
True
Let y = -240 - -338. Let m = -48 + y. Does 29 divide m?
False
Suppose 15*n = 38*n - 6762. Is 15 a factor of n?
False
Let y = 72 + -73. Let i(c) = 79*c**2 - 2*c + 1. Does 11 divide i(y)?
False
Suppose -2*c + 3*c + 316 = 3*p, 3*c + 206 = 2*p. Is p a multiple of 19?
False
Suppose -5*i + 7*d = 4*d + 104, -5*d - 80 = 5*i. Let c = i + 24. Suppose 4*r - 171 = c. Is r a multiple of 11?
True
Let t(u) = u**2 - 2*u - 14. Is t(-5) even?
False
Is 10/(-40) - (-24489)/36 a multiple of 49?
False
Suppose 2*l - 6 = -2. Let b(y) = -3*y - y**2 + l*y**3 - 3 + y + 0*y. Is 12 a factor of b(3)?
True
Let v(i) = 8*i**2 + 33*i - 83. Does 52 divide v(11)?
True
Suppose -5*k = -24*g + 23*g - 1333, -5*g = k - 251. Is 5 a factor of k?
False
Suppose 0 = 7*j - 3*j - 160. Let t be 6/(-2)*j/(-24). Suppose -5*x - p = -133 - 38, 0 = -5*x - t*p + 175. Does 17 divide x?
True
Does 4 divide 51 - -5 - (24/4 - 1)?
False
Let m(q) = 9*q - 36. Does 5 divide m(6)?
False
Let h = 601 + -297. Is h a multiple of 8?
True
Let u(k) = k**2 - 1. Let z = 5 + 0. Suppose -z*q = 8 + 12. Is 15 a factor of u(q)?
True
Let i(h) = -h**2 + h + 8. Let v be i(0). Let q(p) = -p**3 + 6*p**2 + 3*p - 6. Let b be q(6). Does 3 divide b/v - 30/(-4)?
True
Suppose 0 = 2*h + 4*k - 26, -3*k = -3. Suppose -10*v - 92 = -h*v - 5*m, -3*m = v - 102. Is 9 a factor of v?
True
Let l(m) = m - 13. Let q be l(16). Is (-1312)/48*q/(-2) a multiple of 16?
False
Suppose 169 = m + 3*p, m - 158 = 4*p - 17. Let k = m + -39. Suppose 5*l + 4*s = k, -s + 2*s = -3*l + 68. Does 11 divide l?
True
Suppose 105*i - 100*i = 3990. Is i a multiple of 19?
True
Let m(s) be the third derivative of s**6/120 + 3*s**5/20 - s**4/2 - s**3 + 6*s**2. Is 2 a factor of m(-10)?
True
Let r(b) = 50*b**2 + 39*b + 146. Is r(-4) a multiple of 46?
False
Let c(f) = -f - 12. Let b be c(-5). Let m(w) = -17*w + 1. Let q be m(b). Suppose 2*t = -2*t + q. Is 10 a factor of t?
True
Let o = -51 - -294. Does 27 divide o?
True
Let i be (0 + -1)/(-1) - 2. Let v(b) = 19*b**2 - b - 1. Does 7 divide v(i)?
False
Suppose -4*x - 5*u - 12 = -44, 3*u - 9 = x. Suppose w + x = 1. Is (-764)/(-24) - w/12 a multiple of 7?
False
Does 28 divide (85/20 - 3)*212?
False
Suppose -x = -4*x + 21. Suppose 525 = -2*d + x*d. Does 21 divide d?
True
Let j be ((-166)/(-6))/(1 - (-6)/(-9)). Suppose 8*o = 3*o - 5*i + 245, 2*o + 5*i = j. Is 18 a factor of o?
True
Let q(y) = -y**3 - 2*y**2 + 10*y + 38. Is q(-6) a multiple of 29?
False
Suppose 32*k - 743 = 3289. Does 9 divide k?
True
Suppose 3*b - 675 = -5*k - 0*b, -3*b - 705 = -5*k. Is 22 a factor of k?
False
Let v(r) = -r**2 + 3*r + 6. Let y be v(6). Let z = y - -82. Suppose -z = -2*b + 38. Does 12 divide b?
False
Let o(p) = -429*p + 319. Is 11 a factor of o(-5)?
True
Let d(m) = -2*m - 6. Let y be d(-4). Suppose 6 = b + w, y*w = -1 - 1. Is b a multiple of 7?
True
Let h = -155 + 317. Is h a multiple of 9?
True
Let n(i) = 5*i**2. Let l be n(1). Suppose 5*b - 12 = b - 4*j, 2*j = b. Is (55/b)/l*2 a multiple of 3?
False
Let u = -6 - -9. Let f be 2/3*(33 - u). Is 20 a factor of (-4)/f - 202/(-10)?
True
Let o(s) be the first derivative of s**5/60 + s**4/8 + s**3/6 - s**2/2 + 4. Let w(y) be the second derivative of o(y). Does 24 divide w(6)?
False
Let v = -39 - -60. Suppose -3*r = -15 - v. Is 9 a factor of r?
