*r - 2*c = 69 - 401. Does 15 divide 263/9 + (-18)/r?
False
Suppose 2*b - 6 = -5*k, -b + 5*k = -2 - 1. Suppose 2*c + 2*l - 10 = -c, 4*l - 8 = -b*c. Is c even?
True
Let k be 6/4 + (-1)/(-2). Suppose 0 = 3*c + 4*h - 87, -k*h = 4*c - 3*h - 135. Is c a multiple of 11?
True
Is 6 a factor of (82/6)/(8/24) - -1?
True
Let r(n) = n**3 - n**2 + 2*n - 4. Is 2 a factor of r(2)?
True
Let x(a) = -2*a - 8. Does 5 divide x(-11)?
False
Suppose l = 3*l - 12. Let u = 0 - -13. Let z = u - l. Does 4 divide z?
False
Let c(b) = -3*b - 3. Let z be 1/(14/(-6) - -2). Let p be c(z). Suppose 2*f + i - 6 = 0, -5*f + 12 = i - p. Is 2 a factor of f?
True
Suppose -3*y - 6 = -6*y. Suppose -134 - 126 = -4*h - 4*d, -2*d = -y. Suppose -h = -3*k + 4*j, -k = 4*k + 3*j - 155. Is 11 a factor of k?
False
Is 2/(-6)*16*(-42)/28 a multiple of 4?
True
Suppose -4*c + 2*c = -164. Does 20 divide c?
False
Suppose -r + 2*a - 1 - 7 = 0, 2*r - 5*a + 20 = 0. Suppose -q = -r*q - 5. Suppose 2*n + 4*x = 170, 0*n - q*n - 3*x = -411. Does 21 divide n?
False
Let t(x) = 5*x**2 - 33*x - 32. Let d(i) = -2*i**2 + 16*i + 16. Let p(w) = -7*d(w) - 3*t(w). Suppose 4*z = 7*z + 33. Does 3 divide p(z)?
True
Let m be ((-12)/(-3))/(1 - -1). Let x be 87/27 + (-4)/18. Is (m - x) + -1 - -16 a multiple of 5?
False
Is (-4)/6*3 - -32 a multiple of 15?
True
Let j(h) = -h**2 + 16*h - 18. Is 10 a factor of j(14)?
True
Suppose -159 = -3*j - 2*c, 2*c + 26 = -5*j + 295. Let m be 1 - -16 - 2 - -2. Let g = j - m. Does 13 divide g?
False
Does 40 divide (24/5)/((-17)/(-1700))?
True
Suppose -5*c = 3*w - 546 - 1174, 0 = 3*c + 3*w - 1032. Does 43 divide c?
True
Let p = 141 - 30. Does 9 divide p?
False
Is 9 a factor of -3*2/6 - (-675)/3?
False
Let i = 338 + -8. Does 47 divide i?
False
Let y = 444 + -231. Does 27 divide y?
False
Let v = 7 - 7. Suppose -h + 3*p = -v*p - 14, p = 2*h - 43. Is h a multiple of 20?
False
Let c = -7 + 13. Let j(f) = 3*f - 5. Let m be j(c). Suppose -2*o - 3 + m = 0. Does 4 divide o?
False
Suppose 0*a + 8 = 2*a. Let j = -1 - a. Is (-8)/20 + (-122)/j a multiple of 10?
False
Let s(n) = 2*n - 4. Let u be s(2). Suppose u = -2*l + 5*j + 79, -4*l = 3*j + 1 - 224. Does 13 divide l?
True
Let i(r) = r**3 + 7*r**2 + 4*r - 7. Let l be i(-6). Suppose -l*y - 2*b = -168, 0 = -y - y + b + 69. Is 13 a factor of y?
False
Let w(c) = -4*c**2 - 37*c. Let p(x) = -x**2 - 9*x. Let i(v) = -9*p(v) + 2*w(v). Let f be i(-7). Suppose f + 112 = 4*b. Is 14 a factor of b?
True
Let f(a) = 5*a. Let i be f(1). Let y(j) = j**2 + 1. Let z(t) = -6*t**2 + 4*t. Let x(c) = -3*y(c) - z(c). Is x(i) a multiple of 20?
False
Suppose -3*q = -23 + 8. Suppose 3*h = -q*n + 32, -4*n = 4*h + n - 46. Is 14 a factor of h?
True
Let q = 4 + -10. Let o(n) = n**3 + 9*n**2 + 8*n + 7. Let s be o(q). Suppose -4*t + 25 + s = 0. Is t a multiple of 8?
False
Let l(d) = 3*d**2 + 2. Let o = 7 - 11. Is l(o) a multiple of 18?
False
Suppose 51 = 3*h - 2*s - 0*s, 73 = 4*h - s. Is h a multiple of 19?
True
Let k be (-2)/(-6) - (-8)/(-6). Let a = k + 7. Let i = 1 + a. Is 3 a factor of i?
False
Let f be (-7)/(-4) + (-1)/(-4). Suppose h = 5*h - 52. Suppose f*l = -3 + h. Is l a multiple of 5?
True
Suppose -3*y = 0, 9*y + 156 = -2*g + 4*y. Let d = g - -114. Is d a multiple of 18?
True
Suppose 5*v - 412 = 308. Does 18 divide v?
True
Let t = 5 + -3. Let d be 1*8 - t - -2. Let i(y) = -y**3 + 7*y**2 + 9*y + 6. Does 14 divide i(d)?
True
Suppose c + 5*c = 72. Is c a multiple of 4?
True
Suppose 3*v = 4*a - 5*a, -v + 14 = 5*a. Let y(f) = 3*f**2 - 2*f + 3. Is y(a) a multiple of 6?
True
Let f = 0 - -5. Let c(y) = y + 2. Does 7 divide c(f)?
True
Let o be (-24)/(-14) - (-6)/21. Let m(p) = 3*p**o - 9*p - 4*p**2 + 6 - 2. Is m(-7) a multiple of 9?
True
Let h(d) = 5*d + 4. Let i be h(4). Suppose 4*z - i - 116 = 0. Does 10 divide z?
False
Let n(b) = -2*b**3 + 2*b**2 + 3. Is 12 a factor of n(-3)?
False
Let d be 440/(-15) + 4/(-6). Let r = 55 + d. Is 25 a factor of r?
True
Suppose -3*p + k + 4*k = -26, 3*p - 3*k = 18. Is 15 a factor of (-2)/(-12)*p*129?
False
Suppose -4*g = -20, -m + 3*g - 13 = -0*g. Let r = 13 - m. Is 3 a factor of r?
False
Let p(s) = -s**2 + 5*s - 2. Let k(y) = -3*y**2 + 10*y - 3. Let f(r) = -2*k(r) + 5*p(r). Does 10 divide f(-7)?
True
Let f = 9 + -11. Let b be (-12)/f + -2 + -2. Suppose 0*s - 24 = -b*s. Does 7 divide s?
False
Let g = 6 + -7. Is g/((-1)/(-16))*-2 a multiple of 16?
True
Let c = 311 - 91. Is 22 a factor of c?
True
Let p = -70 - -250. Is 7/(28/p) - 3 a multiple of 14?
True
Let s = 23 + -20. Suppose p - s*p = -30. Does 3 divide p?
True
Suppose 2*y + 5*a - 285 = 0, 3*a = -0*y + 4*y - 557. Is y a multiple of 20?
True
Suppose -11 - 7 = -3*q. Suppose 0 = -3*a - q - 6. Let s(i) = -9*i. Is 12 a factor of s(a)?
True
Suppose 2 = q - 2*i, -2*i = 4*q + q - 10. Is 19 a factor of -2 + q + 3 + 45?
False
Let a(g) = g**3 + 12*g**2 + 8*g - 9. Is a(-11) a multiple of 6?
True
Let f(d) = -d**2 + 6*d + 2. Let l = 12 + -6. Let i be f(l). Suppose 2*b + 0*b + 68 = 5*w, 32 = 2*w - i*b. Is w a multiple of 4?
True
Let d(b) = -6*b - 15. Does 11 divide d(-8)?
True
Let i(a) be the third derivative of 0 + 0*a - a**2 + 1/15*a**5 + 1/3*a**3 + 0*a**4 + 1/120*a**6. Does 7 divide i(-3)?
False
Let j(l) = -l**2 + 4*l - 4. Suppose -4*u = -13 - 7. Let h be j(u). Is 11 a factor of 6/27 + (-196)/h?
True
Suppose -3*p + 0 = 6. Does 15 divide p*(-1 + 156/(-8))?
False
Let s(y) = -y - 2. Let u(o) = -o + 1. Let n be u(10). Is 5 a factor of s(n)?
False
Let m(d) = 40*d. Let y be m(-3). Let i be y/16*4/(-6). Suppose -47 = -i*k + 4*l, 5*l = 6*l - 2. Is k a multiple of 3?
False
Let p be (-6)/(-5)*(-10)/(-3). Suppose -p*b - b = -10. Suppose -3*s + 31 + 15 = -2*f, 4*f + 28 = b*s. Is s a multiple of 8?
True
Let k be 141/4 + (-6)/24. Let m = 13 + k. Is m a multiple of 16?
True
Let l = -117 - -188. Is 9 a factor of l?
False
Let z be 2/10 + 42/(-10). Is 8 a factor of (z/(-3))/(1/18)?
True
Suppose 0 = 2*o - 11*l + 8*l - 99, 2*o = 5*l + 93. Is o a multiple of 9?
True
Let l = -8 + 8. Let q(w) = -w + 18. Is 9 a factor of q(l)?
True
Let z(f) = -f**2 + 6*f. Let j be z(5). Suppose 32*y - 29*y = 72. Let l = y - j. Is 19 a factor of l?
True
Is 4/(-48)*2 + 434/12 a multiple of 6?
True
Suppose -183 - 222 = -3*l. Is l a multiple of 6?
False
Let z = 6 - -52. Does 15 divide z?
False
Suppose -u + 2 = -0*u. Is 3 a factor of (32/10)/(u/5)?
False
Is (8/(-12)*12)/(4/(-12)) a multiple of 6?
True
Suppose -5*l = -3*q - 722, 581 = -l + 5*l + q. Is 13 a factor of l?
False
Suppose 6*l - v - 61 = 3*l, -3*v + 81 = 3*l. Is 10 a factor of l?
False
Is 9 a factor of 70 + -3 + (-15)/(-3)?
True
Suppose u - 40 - 70 = 0. Does 10 divide u?
True
Let q = 13 + -10. Suppose 4*v = 4*n - 57 + 5, q*v = n - 13. Is n a multiple of 10?
False
Let f = 185 + -101. Is f a multiple of 28?
True
Let q(c) = -3*c - 23. Is 6 a factor of q(-13)?
False
Let c = 14 + -9. Suppose -c*z + 96 = -z. Does 6 divide z?
True
Suppose -20 = -4*h, -5*n + 3*h + h = 20. Suppose n*b = 3*b - 117. Let s = b + -15. Is s a multiple of 12?
True
Suppose 2*w = -70 + 12. Let x = -7 - w. Is 11 a factor of x?
True
Suppose 0 = -5*h + 30 + 360. Is h a multiple of 8?
False
Suppose 0 = 5*f - 25 - 65. Is 6 a factor of f?
True
Let r = 16 - -32. Is 12 a factor of r?
True
Let n = 60 + -35. Suppose 5*s - 3*q = n, q = s - 1 - 4. Suppose t = -4*a + 10, s*a - 2*t + 3 = 22. Does 3 divide a?
True
Let y = 6 + -7. Let k = y + -10. Let l = -2 - k. Is l a multiple of 4?
False
Suppose -204 = -44*d + 41*d. Is 16 a factor of d?
False
Let f(p) = 5*p - 10. Let z be f(-5). Let c = 89 + z. Is c a multiple of 18?
True
Suppose 7 + 8 = 3*r. Suppose 103 + 137 = r*h. Does 24 divide h?
True
Let c be 5/(-4) - 1/(-4). Let u be 15/6*c*-2. Suppose -3*y - 171 = -u*w, 140 = 2*w + 2*w - 4*y. Is w a multiple of 10?
False
Let k = 9 + -6. Suppose k*j + 50 - 218 = 0. Does 14 divide j?
True
Let m be 18/((-3)/(-1)) + -3. Is (-368)/(-24) - 1/m a multiple of 4?
False
Let n be ((-1)/(-2))/(6/(-72)). Let h(d) = -3 - 5 + d + 2*d + d**2. Is h(n) a multiple of 10?
True
Suppose 3*c = 2*n + 40, 0*c + 5*c = -3*n + 73. Let i = 36 - c. Is 11 a factor of i?
True
Let v = 111 - 77. Let p be 19/3*(0 + -3). Let r = v + p. Is r a multiple of 15?
True
Suppose -z + 5*m - 7 = 0, -2*m - 5 = -z - 3*m. Let w be z/6 - (-59)/(-2). Is 6 a factor of (-4)/(-20) + w/(-5)?
True
Let 