 = 0. Let z = i + 11. Is 5 a factor of z?
False
Let o = 161 + -405. Does 3 divide 4/18 - o/36?
False
Is 9 a factor of -21*(1484/(-539) - 4/(-22))?
True
Suppose 4*g = 2*g, -g + 14 = t. Does 13 divide t?
False
Suppose 0 = 2*o + 2*r - 188, 4*o - 3*r - 478 = -o. Is 39 a factor of o?
False
Let t = 4 + -1. Let q be t + -3 + 1 + 5. Does 14 divide (-6)/9 + 130/q?
False
Let b(k) = k**2 - 6*k - 1. Is b(11) a multiple of 24?
False
Let l be 2*5/(5/2). Suppose l*c + 40 = x + x, -4*x + 3*c = -80. Does 10 divide x?
True
Suppose 0 = -d - 935 + 239. Does 22 divide 14/49 - d/14?
False
Let n(i) = i**3 - 6*i**2 + 7*i - 5. Let d be n(5). Let a(l) = -7*l - 7. Let s be a(d). Let b = s + 68. Is b a multiple of 9?
False
Suppose 6*m = 2*m. Let t(c) = c - 36. Let w be t(m). Let u = w + 67. Does 9 divide u?
False
Let o(q) = -q**2 + 8*q + 2. Suppose -w + 5*a = 4*w - 35, -w = -2*a - 8. Does 14 divide o(w)?
True
Let f be ((-3)/1)/(18/(-12)). Suppose 78 = -q - f*q. Does 13 divide (q/8)/(6/(-24))?
True
Let o = 5 - 10. Let t(g) = g**2 + g - 3. Is 8 a factor of t(o)?
False
Let g(x) = 2*x**2 + x - 2. Let p be g(-2). Suppose l + 20 = t + 6*l, -l = p. Is 20 a factor of t?
True
Let f(b) = -b**2 - 10*b + 5. Let d(n) = -2*n + 5. Suppose -4*r + 13 + 15 = 0. Let o be d(r). Is 7 a factor of f(o)?
True
Let c = 63 + -13. Is c a multiple of 16?
False
Let j(n) = -11*n + 21. Let k be j(5). Let h = -73 + 143. Let u = h + k. Is u a multiple of 18?
True
Let d be (-2)/6 - (-320)/(-30). Let n = d - -85. Suppose -78 = -4*c + n. Does 19 divide c?
True
Suppose 0*o + 44 = -4*o. Let r(m) = m. Let p(y) = 4*y + 11. Let s(n) = -p(n) + 2*r(n). Does 11 divide s(o)?
True
Let k = 16 + -6. Let f = k + -7. Suppose -11 = f*s - 56. Is s a multiple of 5?
True
Suppose 3*u = -b + 55 + 1, 2*b + 8 = 0. Is u a multiple of 10?
True
Suppose g - 14 = 39. Let z = -30 + g. Suppose -5 = -2*p + z. Is 7 a factor of p?
True
Let l be ((-3)/5)/((-4)/20). Let d be 68*l*(-6)/(-9). Is 10 a factor of 6/21 + d/14?
True
Let q(t) = t**3 - 8*t**2 - t + 12. Does 4 divide q(8)?
True
Let m(b) = -10 + 9 - 5*b - 7*b + 3*b. Is m(-5) a multiple of 22?
True
Let n(f) = f**3 + 3*f**2 + 3*f + 3. Let r be n(-5). Let y = 140 + r. Does 26 divide y?
True
Let o(j) = 21*j - 9. Is o(4) a multiple of 11?
False
Let p = 16 + -3. Is 3 a factor of p?
False
Suppose 4 = -4*k - 3*w, -2*k - k + 10 = -w. Suppose -k*v - 11 = 1. Is (-2)/v + 176/12 a multiple of 15?
True
Let k(h) = -h**3 - 9*h**2 - h + 3. Let j be k(-5). Let f = -59 - j. Does 17 divide f?
False
Suppose -3*g = 5*i - 54, -21 = -i - 2*i + 2*g. Suppose -3*o + i = -0*o. Suppose 0*q - 27 = -o*q. Does 9 divide q?
True
Suppose 4*y + 23 = 171. Let k = y + 2. Is 18 a factor of k?
False
Let w(p) = -2*p. Let t be w(2). Let q be ((-80)/6)/(t/12). Suppose -3*x = -b - q, -1 = -b + 4. Is 6 a factor of x?
False
Let f = 265 + -151. Is 8 a factor of f?
False
Let l be (-2 - -2)*(-4)/8. Suppose l*c = 4*c - 4. Suppose -c = -4*x + 7. Is x even?
True
Let r(y) = -y + 1 + 1 - 22*y**3 - 3. Does 11 divide r(-1)?
True
Suppose b - s = 2*b, s = 4*b - 15. Suppose -161 - 24 = -5*w - 2*f, b*w - 85 = 4*f. Is 18 a factor of w?
False
Let f(i) = i**2 - 6*i - 9. Let n be 12/6 + -1 + 7. Is f(n) a multiple of 4?
False
Let y(x) = -x**3 - 6*x**2 - 6*x - 7. Let i be y(-5). Does 18 divide 2/i - (-69 + 3)?
False
Let s = -6 - -11. Let v = 37 - 28. Let o = v - s. Does 3 divide o?
False
Is 11 a factor of (8/(-12))/(-2)*213?
False
Suppose 3*a = 3*q + 51, 8*a = 3*a + 4*q + 80. Let n = a + -8. Suppose 50 = -3*m + 6*m + v, -n*m + 4*v = -40. Does 8 divide m?
False
Let u(r) = r**2 - 13*r + 33. Does 49 divide u(26)?
False
Suppose 2*d - 19 = 89. Does 18 divide d?
True
Let s(z) = -4*z**2 - 25*z - 1. Let q(c) = -3*c**2 - 17*c - 1. Let x(y) = 7*q(y) - 5*s(y). Is x(4) a multiple of 4?
False
Let f(a) = a**3 - 2*a**2 + 3*a - 1. Is f(4) a multiple of 25?
False
Is 6*(3/1 - 329/(-21)) a multiple of 49?
False
Suppose 0 = y - 2*y, -2*g - 3*y + 12 = 0. Is 6 - 2*(-3)/g a multiple of 2?
False
Is 0 + (3 - -23) + 3 + -6 a multiple of 23?
True
Suppose -c - 2 = -4. Let t be 196/91 + c/(-13). Suppose -3*d = -3*n - 6, t*d - n = 3*d - 4. Is d a multiple of 3?
True
Let v = -15 + 24. Does 6 divide v?
False
Suppose -44 = -2*k + 40. Does 6 divide k?
True
Let r be (-3*1)/(3/(-3)). Suppose r*c - 168 = -c + 4*k, -3*c + 136 = 2*k. Is 22 a factor of c?
True
Is (6/(-4))/((-15)/140) a multiple of 14?
True
Let a = 24 + -12. Suppose 9 = -2*w - 5*i, -w + a = -2*i - i. Suppose -3*y - 24 = -w*r, -2*r - 2*y = -3*r + 7. Is r a multiple of 9?
True
Suppose 3*f - 10*f + 126 = 0. Is 6 a factor of f?
True
Suppose 0 = -3*c + k - 9, -4*c + 0*k + 2*k = 14. Let n(y) = -y + 4. Let f be n(9). Does 15 divide (4/f)/(c/75)?
True
Let b(r) = -4*r**3 - 7*r**2 + 119. Let f(s) = s**3 + 2*s**2 - 40. Let d(y) = -2*b(y) - 7*f(y). Let n be -1*((-1)/(-1) + -1). Is 14 a factor of d(n)?
True
Let p(t) = 7*t - 27. Is 32 a factor of p(17)?
False
Let w(c) = c**2 - 2*c + 16. Does 23 divide w(-9)?
True
Suppose 0 = -3*i - 2*i + 20. Suppose i*j + 16 = -4*t, -3*j + 2*t - 20 = 2*j. Let a = -1 - j. Does 3 divide a?
True
Let l(n) = -n**2 - 10*n - 2. Let m(b) = b**3 - b + 2. Let o be m(-2). Does 11 divide l(o)?
True
Let c = 216 - 91. Let i(y) = 2*y**2 + 4*y + 3. Let x be i(-2). Suppose r + c = 4*h, 0*h = x*h - r - 93. Is h a multiple of 16?
True
Suppose -2*y = -y - 2. Let x be (1 - 1)*(-1 + y). Suppose -4*s + x*s = -100. Is s a multiple of 16?
False
Let x(c) = -c**2 + 26. Let z be 0*(-1)/((-3)/(-3)). Let t be x(z). Let r = t + -5. Is 10 a factor of r?
False
Let t be (-4)/8 - (-1)/2. Suppose 0 = -t*a - 2*a - 6. Let s = a + 11. Does 4 divide s?
True
Let u = -44 - -8. Let j = -21 - u. Is 15 a factor of j?
True
Let j be (50/6)/(3/(-9)). Let w = j + 42. Does 13 divide w?
False
Let n(l) = -l - 5. Let y be n(-7). Suppose -1 + 6 = r, 31 = 3*m + y*r. Suppose 0 = -5*b + 3*t + 77 - m, -3*t = -2*b + 37. Is b a multiple of 4?
False
Let p = -3 + 6. Let f(c) = -4*c - 4. Let m be f(p). Is 11 a factor of (11/(-2))/(4/m)?
True
Suppose 3*p - 4*r - 19 = 0, -2*p + 22 = 3*p + 3*r. Suppose -p*i + 2*v + 72 = -i, 5*i = -3*v + 90. Does 9 divide i?
True
Let t = 51 + -31. Suppose 0 = -5*o + 9*o - t. Is 2 a factor of o?
False
Let d(u) = u**3 - 8*u**2 + 12*u - 3. Is d(7) a multiple of 4?
True
Suppose 5*s - 468 = -4*r, -3*r = 2*s + s - 348. Does 10 divide r?
False
Let c(a) = a**2 - a - 2. Let o be c(-4). Suppose -3*z - o = -0*z. Is 3 a factor of 20/6*z/(-4)?
False
Let x(j) = -j**2 - 14*j + 2. Is x(-12) a multiple of 13?
True
Let v(i) = -i**3 + 6*i**2 + 7*i - 3. Let z be v(5). Let d = 145 - z. Is d a multiple of 21?
False
Suppose 5*u - 8 - 20 = -4*d, 2*u = 4*d. Let t(a) = a**2 + 5*a - 4. Let c be t(-6). Suppose 1 + 3 = -u*p, 11 = c*v + p. Is 6 a factor of v?
True
Let z be 122/(-8) + 1/4. Let j(x) = -x**2 - 18*x - 4. Does 9 divide j(z)?
False
Let v(k) be the third derivative of k**4/12 - 5*k**3/3 + 3*k**2. Does 8 divide v(9)?
True
Let v = -3 - -4. Let l be v/(-4) + (-13)/(-4). Suppose l*a = -a + 20. Is 3 a factor of a?
False
Let o = 15 + -12. Suppose o*x = -2*x + 45. Is 9 a factor of x?
True
Is (-6)/((-1)/(-6)*-4) a multiple of 3?
True
Suppose 5*y = v + 31, 2*v + v + 2 = 2*y. Suppose 0 = -f + 4*p + 18, 5*f - 17 = -2*p + y. Is 3 a factor of f?
True
Is (-351)/(-4) + 21/84 a multiple of 10?
False
Let z = -47 - -145. Is z a multiple of 10?
False
Suppose 5*x + 7 = -y, -5*y - 3*x - 33 = 46. Let h = -10 - y. Does 2 divide h?
False
Let o be (-6)/15 + 372/5. Suppose -z - 97 = -4*k, -o = -2*k + 2*z - 24. Let r = k + 4. Does 11 divide r?
False
Suppose -4*g + 5*z = -0 + 259, 0 = -5*g + 3*z - 314. Let n = g + 109. Does 24 divide n?
True
Let c be -1*(4 + -3 + 2). Let r = 2 - c. Is 5 a factor of r?
True
Let s(g) = g**3 - 7*g**2 - 4*g - 4. Is s(8) a multiple of 14?
True
Is (675/(-18))/(3/(-4)) a multiple of 12?
False
Let w = -10 + 14. Suppose -12 = c - w*c. Suppose 33 = -m + c*m. Is 10 a factor of m?
False
Let w(h) = 14*h**2 - 1. Let i(s) = -s**2 + 7*s - 3. Let f be i(6). Suppose -f = -2*m - 5. Is 13 a factor of w(m)?
True
Suppose -4*l - 5 = v, 8 - 3 = -2*l - 3*v. Is 3 a factor of (-15 - (-1 + -1))/l?
False
Suppose -4*f - 4*c = -c - 30, 0 = f - 3*c. Suppose f*j = j + 15. Suppose -4*w - r - 3 = -5*w, -4*r = -w - j. Is w a multiple of 5?
True
Let p(a) be the first derivative of