32)/24)/(1/(-18)). Let m be 3 + -3 + -3 + 127. Suppose 5*g - m = -n. Does 20 divide g?
True
Suppose -16 = -3*q + 2*k, 0 = 3*q + k + 1 - 2. Suppose -8*c - y = -3*c - 16, -20 = -q*c + 3*y. Let l(i) = -i**3 + 6*i**2 + 3*i - 6. Does 19 divide l(c)?
True
Let d(i) = 3*i**2 + 4 - i**3 + 0*i**3 + 23 + i - 4*i**2. Is 12 a factor of d(0)?
False
Suppose 4*w = 5*y - 26, -5*y + 2 = -0*w + 2*w. Suppose 2*l + 5*k - 17 = 0, -2*l + 5*k + 9 - y = 0. Is l a multiple of 5?
False
Let o = -987 - -1442. Is 13 a factor of o?
True
Let p(v) = -v**2 - 33*v. Is 46 a factor of p(-10)?
True
Let f be 1 - (-1 + 1) - -164. Suppose -5*o = -0*o - f. Does 11 divide o?
True
Suppose -k + 4 = -0*k. Suppose -4*d = 2*i - 74, -6 = -k*i + 6. Is 10 a factor of d?
False
Let k(r) = r**3 + 5*r**2 + r - 2. Let t be (-1)/(-2)*(-5 - 1). Does 10 divide k(t)?
False
Suppose -3*z + 2*p = -49, -2*z + p + 32 = -p. Let g = 43 - z. Is 12 a factor of g?
False
Is 15 a factor of 37 - -1 - 4 - 4?
True
Let m(l) = -l**3 + 4*l**2 - 2*l + 3. Let w be m(4). Let b = w - -11. Is 4 a factor of b?
False
Let a(w) = 2*w**2 + 2*w - 1. Let k(c) = -c**2 + 5*c + 10. Let s(f) = -f**2 + 5*f + 9. Let r(t) = -5*k(t) + 6*s(t). Let x be r(5). Is a(x) a multiple of 13?
True
Suppose 3*r = i + 21 + 65, 2*r - 2*i - 52 = 0. Is r a multiple of 12?
False
Suppose 2*v - 2*w = -7*w + 29, -v - w = -7. Suppose v*k - 2*m - 9 = -7*m, 3*m + 5 = 4*k. Is k even?
True
Let c be 0/2 + 3/1. Let a(z) = -c + 1 + 0*z - 5*z. Does 23 divide a(-5)?
True
Let o = 20 - 17. Suppose -k = 3*x + x - 245, 4*x = -o*k + 239. Is 16 a factor of x?
False
Is 3 a factor of (-2256)/(-54) + (-8)/(-36)?
True
Suppose 0 = -0*r + r - 5*w + 7, -r + 5 = w. Let i = 5 + r. Does 11 divide ((-42)/2)/((-6)/i)?
False
Let g be (42/9)/(2/(-6)). Let a = -25 - g. Let d = 0 - a. Is 11 a factor of d?
True
Let m(f) = f**3 + f**2 - f - 1. Let g(n) = -19*n**3 - 2*n**2 + 2*n + 2. Let x(k) = g(k) + 3*m(k). Let l = 0 + -1. Is 17 a factor of x(l)?
True
Is (-756)/(-24) - 1/(-2) a multiple of 4?
True
Suppose -4*r = -z - 3, z + 0*z - 13 = -4*r. Suppose h + 4 = r. Is 16 a factor of (111/6)/(h/(-4))?
False
Suppose -6*d = 3*d - 396. Is d a multiple of 6?
False
Suppose -263 = -2*h + 8*n - 3*n, 3*h - 3*n - 381 = 0. Is h a multiple of 12?
False
Let k = 26 - 18. Let t = 4 - 22. Let q = k - t. Is q a multiple of 16?
False
Let u(w) = w**2 - 2*w. Let i be u(4). Let k be 2/4 + 188/i. Suppose 5*s - s = k. Does 3 divide s?
True
Is 3/4 + (-141)/(-4) a multiple of 18?
True
Let m(g) = -g**3 + g + 14. Let n be m(0). Does 6 divide 68/7 - (-4)/n?
False
Let y(h) = -h**2 - 5*h - 3. Let j be y(-5). Let t(x) = -x**3 + 2*x**2 + 2*x - 2. Is t(j) a multiple of 16?
False
Let n(c) be the first derivative of c**3/3 - 2*c - 1. Let p be n(2). Is 12 a factor of 1/p + 203/14?
False
Suppose -3*k + 4*s + 260 = -0*k, 5*s = -4*k + 388. Does 23 divide k?
True
Let t = -41 + 73. Is 11 a factor of t?
False
Let k = -137 + 225. Is 22 a factor of k?
True
Let d(y) = y**2 + 7*y - 1. Let l be d(-8). Suppose u + l = 1. Does 6 divide 40/6 - (-4)/u?
True
Let n(p) = -p**2 + 1. Let l be (1 + 1)*(-1)/2. Let q be n(l). Suppose -2*v = -q*v - 52. Is 13 a factor of v?
True
Let r = 223 + -68. Does 18 divide r?
False
Suppose 2*j + j - 6 = 0. Let i be ((-1 - 1)*-2)/j. Suppose i*n = n + 11. Is 11 a factor of n?
True
Let i = 3 + -2. Suppose i - 89 = -2*s. Suppose -4 = 5*k - s. Is k a multiple of 4?
True
Let o be 80/(-6)*18/(-12). Let k = o + -8. Is k a multiple of 12?
True
Suppose m - 19 = -3*g, -3*g + g + 14 = 2*m. Let s(q) = -5*q - g + 5*q + 2*q. Is s(9) a multiple of 4?
True
Let p(h) be the third derivative of 5/12*h**4 + 1/3*h**3 + 2*h**2 + 0*h + 0. Is p(2) a multiple of 12?
False
Let m(a) = -7*a - 6. Let x = -8 + 12. Let l = 0 - x. Is m(l) a multiple of 12?
False
Let d be 2/(-5) - 407/(-55). Is d*-1*(-2 - 0) a multiple of 14?
True
Let m = 0 + -2. Is m/(-12) + (-501)/(-18) a multiple of 10?
False
Suppose s = 5*i + 46, 3*i + s + 31 = 5*s. Let v(c) = c - 23. Let w be v(22). Is w/((i/87)/3) a multiple of 27?
False
Let k = 97 + -20. Is 12 a factor of k?
False
Suppose 4*d = -h - 20, -d + h - 10 = d. Let f = -1 - d. Is 4 a factor of f?
True
Suppose -4*c = -c. Suppose -5*q - 8 + 28 = c. Suppose 62 + 42 = q*t. Does 13 divide t?
True
Let v(d) = 18*d**2 + 7*d + 8. Is v(-4) a multiple of 11?
False
Suppose -6*p - 3*w = -3*p - 30, 2*p - 16 = -w. Let f = 0 - p. Is 2/(-6) - 50/f a multiple of 8?
True
Let s be (-8)/1*3/4. Is 10 a factor of (-6)/2 - (-29 - s)?
True
Let s = -76 + 146. Suppose -3*k + s = 22. Is k a multiple of 5?
False
Suppose 2*i + 18 = 4. Let c(y) = -2*y + 8. Let l be c(3). Is l/1 + (-98)/i a multiple of 5?
False
Let o = -56 - -32. Let q = 3 - o. Does 9 divide q?
True
Let a be (-659)/(-9) + (-10)/45. Suppose 4*l = -9 + a. Suppose 3*i = 67 - l. Does 17 divide i?
True
Suppose 27 = 2*q + s - 2*s, -2*s - 10 = 0. Is q a multiple of 11?
True
Let p = 447 + -231. Does 24 divide p?
True
Let b be (-18)/9 - (-1 + -1). Suppose b = -2*d - 2*l + 124, -2*d - l + 127 = 2*l. Is d a multiple of 22?
False
Suppose o - 335 = -4*o. Does 12 divide o?
False
Let w be 0/(-3 - 6/(-3)). Suppose 2*n + 2*c = 6*n - 8, 5*n = 3*c + 8. Suppose h - 5*r - 1 = -13, w = -2*h + n*r. Does 7 divide h?
False
Let x(h) = 3*h**3 - h**2 + h + 2. Let k(a) be the third derivative of a**6/120 - a**5/15 + a**4/8 + a**3/3 + a**2. Let v be k(3). Does 19 divide x(v)?
False
Suppose 136 = 6*k - 2. Is k a multiple of 4?
False
Is ((-11)/(-1))/((-1)/(-4)) a multiple of 9?
False
Let k be 2/6 - 56/(-12). Suppose 20 = -0*m + 4*m, 0 = -k*s + 2*m + 80. Is s a multiple of 17?
False
Suppose z + 6 = 2*j - 5, 2*z + 14 = 3*j. Does 4 divide j?
True
Suppose -4*w - 2*k = -304, -39 - 340 = -5*w - 2*k. Suppose 0 = -0*t + t - w. Is t a multiple of 27?
False
Is 17 a factor of -4 - -4 - -122 - -1?
False
Suppose 0 = -2*v - 0*v + 14. Suppose 2*c + 30 = v*c. Does 4 divide c?
False
Suppose -y + 7 = 2*a - 0, 2*a - 5*y = 37. Suppose -a = -s + 2. Suppose s*u + 10 = 3*u, -u + 20 = d. Is 11 a factor of d?
True
Suppose -c = 2*c + 2*o - 489, 4*o = -12. Is c a multiple of 15?
True
Suppose 3*r - 129 = 66. Does 22 divide r?
False
Let h = 155 - 103. Suppose 3*v - h = -4*n, -v - v = 8. Is n a multiple of 5?
False
Let o = 9 - 5. Suppose 12 = 4*q + o. Suppose -3*i = q*i - 35. Is i a multiple of 3?
False
Let b(j) = -j**3 + j - 87. Let a be b(0). Let s = 139 + a. Is 11 a factor of s?
False
Is ((-20)/28 - -1) + (-2178)/(-21) a multiple of 8?
True
Suppose -4*q - 4*w = -100, -q - 4*w = -5 - 32. Is 11 a factor of q?
False
Let o(r) = -2*r - 5. Let x be o(-7). Let c(u) = u**2 - 9*u + 13. Is c(x) a multiple of 11?
False
Suppose 0*l + 8 = 2*l. Suppose -3*s + 35 = l*u, 4*u - s + 25 = 8*u. Does 2 divide u?
False
Suppose 2*o + 5*i = -0*o - 14, 8 = -2*i. Suppose 0 = o*n - 7*n, -3*v = -5*n - 6. Is 2*(15/v)/1 a multiple of 5?
True
Let x = 27 - 13. Is 5 a factor of x?
False
Suppose 2*w = -3*x + 55, 101 = -2*x + 7*x + w. Let y = x - -38. Does 14 divide y?
False
Let o be (-2852)/(-44) + 6/33. Let r = o + -45. Is 10 a factor of r?
True
Let a = 57 + 15. Is 12 a factor of a?
True
Let h = -5 + 1. Let j = 1 - h. Suppose -6 = -j*t + 59. Is t a multiple of 13?
True
Let k = 621 - 391. Is 38 a factor of k?
False
Suppose -t = -3*l + 28, 0 = -4*t + 12 + 8. Is 9 a factor of l?
False
Let p(k) = -k. Let s be p(-3). Suppose 3*v - s = q, v + q + 0*q = -3. Suppose 3*u + 3*n = -2*n + 63, v = -u - 3*n + 25. Is u a multiple of 8?
True
Let n be 4/14 + (-80)/(-14) + -5. Let s be 4/(-14) - 534/(-7). Does 15 divide (2 - n) + s/4?
False
Let c = -9 - -13. Suppose 0 = c*v - 5*b - 40, 3 = 4*v + 5*b - 77. Is 5 a factor of v?
True
Let z = 51 - 23. Does 28 divide z?
True
Let n(s) be the second derivative of -s**5/20 + s**4/2 - s**3/3 - 7*s**2/2 + 2*s. Let u(p) = 2*p - 7. Let x be u(6). Does 4 divide n(x)?
True
Suppose -3*m - 95 = -4*k, -k + 2*k - 18 = -5*m. Let x(z) = -z**2 + 3*z + 4. Let b be x(3). Suppose -151 = -b*a - k. Does 19 divide a?
False
Let p(v) = -v**2 - 12*v - 4. Is 10 a factor of p(-7)?
False
Let h be 13 - (1/(-1))/(-1). Suppose -4 = l - 2*b, 3*l + 4*b - 2*b = -h. Is 20 a factor of (-218)/(-11) - l/22?
True
Suppose 2*s - 8 = -4*m, m = -5*s - 2*m - 15. Let u = -6 - s. Suppose 3*o - 16 - 32 = u. Does 16 divide o?
True
Let b = 25 - -3. Let o be (-1)/3 + 10/3. Suppose -o*v = -2*