, -3*j = -3*o + 2*o + y. Does 3 divide o?
True
Suppose 0*q = 5*q - 15. Let g(m) = -m**3 + 4*m**2 - 2*m. Let a be g(q). Suppose -5*d - 4 + 46 = 4*w, a*w - 5*d = 14. Is w a multiple of 4?
True
Let c be (-1)/2*-2*0. Is 43 + -3 + c + 0 a multiple of 16?
False
Suppose 0 = -4*w, 0 = -5*k + 4*w + 2 + 13. Let b = k + 5. Suppose t + 5*g = b, -21 - 106 = -4*t - g. Does 14 divide t?
False
Suppose 0 = -c - 2*h - 1, 2*c + h - 4 = -0*h. Let f(d) be the second derivative of d**5/20 + d**4/12 - 2*d**3/3 + 2*d**2 + d. Does 14 divide f(c)?
True
Suppose 5*f + 2*g = 18, 4*g - 2*g - 8 = 0. Suppose 0 = t + f*k - 7, -2*t + 14 = 2*t + k. Suppose -t*v + 3 = -99. Is 17 a factor of v?
True
Let c(l) = 6*l - 2*l + 2*l + 5*l. Does 13 divide c(4)?
False
Let v(s) = s**2 + 3*s + 4. Let y be v(-3). Does 15 divide (82/(-3))/(y/(-6))?
False
Let h(o) = -5*o - 5. Let d be h(-9). Let p = d - 16. Does 24 divide p?
True
Does 12 divide 9/36 - 510/(-8)?
False
Let z = 52 + -49. Suppose 4*r - 3 = 3*r. Suppose -3*n + 4*o = -124, -z*n + r*o + 125 = -2*o. Is 20 a factor of n?
True
Let f be (-4)/(-10) - (-16)/10. Suppose -4*k + 12 = -0*k - u, 4*k = f*u + 16. Is k*-1 - 5*-3 a multiple of 12?
False
Does 17 divide (238/42)/(2/24)?
True
Suppose -2*n - 4 = -3*n. Let p(b) = b**3 - 5*b**2 + 5*b - 3. Let o be p(n). Is 11/o - 1/(-1) a multiple of 12?
True
Suppose 28 = 2*m - r, -4*r - 14 = 4*m - 5*m. Is m even?
True
Let k be -1 + 2 + (-2 - -1). Let m(z) = z**3 - z**2 + 150. Let b be m(k). Suppose -5*u = -0*u - b. Is u a multiple of 14?
False
Let q be (-1)/(-4) + (-1)/4. Suppose -2*z - z = s - 20, z - 3 = q. Let o = s + 1. Is o a multiple of 11?
False
Does 7 divide -1 - 1 - (6 - 34)?
False
Let y(q) = q**3 + 2*q**2 - 5*q + 3. Let g be y(3). Let x be 22 - (2 - (2 + -1)). Suppose 0 = 3*o - x - g. Does 9 divide o?
True
Let d(p) = p**3 + 2*p**2 - p - 3. Is d(2) a multiple of 11?
True
Let j(y) = -2*y + 32. Is j(0) a multiple of 13?
False
Suppose 0 = 4*k - 2*u - 20, k + u = -0*u - 1. Suppose -5*f + k*q + q + 224 = 0, 0 = 2*f - 4*q - 80. Does 16 divide f?
True
Suppose 7*g - 4*g + 24 = 0. Let j = g - -11. Suppose -j*m = -13 - 35. Does 16 divide m?
True
Let o = 13 + -8. Suppose o*i + 74 = 309. Suppose i = 3*k + k + d, 2*d = -2. Is k a multiple of 12?
True
Let c = 54 - -18. Is c a multiple of 12?
True
Let j = -2 - -4. Let x(u) = -4 - u - j - 5*u + u. Does 12 divide x(-6)?
True
Suppose -13*f - 140 = -17*f. Is f a multiple of 18?
False
Let l(b) = 218*b**2 - 3*b. Does 13 divide l(-1)?
True
Let a be 0 - (-24 - 2)*6. Suppose 0*o = -4*o + a. Is 13 a factor of o?
True
Let v(b) = 2*b**2 - b - 21. Is 8 a factor of v(5)?
True
Let b(n) be the second derivative of -n**5/20 - 7*n**4/12 + 7*n**3/6 + 3*n**2 + n. Let g(f) = -f**3 - 3*f**2 + 4*f + 4. Let u be g(-3). Is 11 a factor of b(u)?
False
Let j(q) = q**2 + 3*q - 6. Suppose 10 = -4*x + 2*x. Let h be j(x). Does 8 divide ((-12)/(-9))/(h/66)?
False
Let w(x) = 6*x**2. Let b = -4 - -3. Is w(b) a multiple of 6?
True
Let t(u) = u**3 - 21*u**2 - 17*u + 47. Does 13 divide t(22)?
False
Let r be ((-190)/8)/((-3)/12). Let a = r - 41. Is 13 a factor of 1 - (1 + a/(-2))?
False
Suppose -8*o + 859 = -133. Is o a multiple of 19?
False
Let n(l) be the second derivative of l**4/6 - 5*l**3/6 - 5*l**2/2 + l. Let o be n(5). Suppose -31 = -3*d + o. Is 7 a factor of d?
False
Suppose 3*l = -6 - 0. Is 8 a factor of 43/2 + 1/l?
False
Let z(j) = j**2 - j - 3*j - 3*j + 10. Is z(9) a multiple of 14?
True
Suppose 0 = 5*m - 5*k + 600, 7*k = -3*m + 3*k - 374. Let x = -79 - m. Is 18 a factor of x?
False
Is (2 + -18)*(-105)/28 a multiple of 12?
True
Suppose 0 = 2*n + 2*c - 4, 8 = -3*c + 23. Let q = 11 + n. Does 8 divide q?
True
Suppose 0 = -u + x + 196 + 74, 0 = -2*u + 4*x + 546. Does 13 divide u?
False
Suppose 3*s - 5 = 4. Suppose r = -2*d + 3, 2*d + r + s = 6*d. Is 3 a factor of 1 - -9*d - 1?
True
Is 14 a factor of (36/(-8))/((-1)/26)?
False
Suppose -2*f + 9 + 33 = i, 3*i = 3*f - 63. Suppose -2*a - 10 = 0, q = -2*q - 2*a + 5. Let l = f + q. Is 17 a factor of l?
False
Let t(j) = -37*j - 17. Let w be t(-7). Does 16 divide w/8 - 9/(-12)?
False
Let h = 35 + 125. Does 31 divide h?
False
Is 7 a factor of 9 - 1/(-3)*0?
False
Suppose 0*t + q = 3*t - 10, 5*t = 5*q + 30. Is 8 a factor of t*(45/6 + 0)?
False
Let q(f) = f**2 - 15. Let d be q(0). Let i = d + 27. Is 8 a factor of i?
False
Let t(y) = -y**3 + 2*y**2 + 69. Is 13 a factor of t(0)?
False
Let h(l) = 3*l**3 + 14*l**2 - 10*l + 15. Let m(o) = -o**3 - 7*o**2 + 5*o - 8. Let x(t) = 2*h(t) + 5*m(t). Does 22 divide x(7)?
False
Suppose 2*m + 49 = -3*q, 0*m + 2*m = -2*q - 30. Let p = q - -35. Is p a multiple of 8?
True
Let n(m) = 0*m - 2*m + m - 4. Let h(u) = -u**2 + 3*u + 2. Let y be h(5). Is n(y) a multiple of 4?
True
Suppose -5*w = -4*a + 5*a + 189, -w + 3*a - 41 = 0. Let f = -15 - w. Let o = -14 + f. Is o a multiple of 4?
False
Suppose -h + 4 = 0, 2*y + h - 604 = -y. Does 15 divide y?
False
Suppose 3*j - t = 2*t + 3, -31 = -4*j - 5*t. Suppose -4*c - 146 = -4*a + 230, j*a = -2*c - 206. Let o = -57 - c. Is 13 a factor of o?
False
Suppose 10 = t - a, -2*a + 34 = 5*t - 44. Is t a multiple of 9?
False
Let c = 20 - -42. Is c a multiple of 31?
True
Let o = -25 + 50. Let l = -36 + 25. Let c = o - l. Does 12 divide c?
True
Let w = -31 - -79. Does 14 divide w?
False
Does 4 divide 23 + 0 + (-3 - 0)?
True
Let k = 18 - 12. Is 3 a factor of k?
True
Suppose 0*f = 5*f - 760. Suppose 2*b + f = 4*b. Suppose -j + 5*j - b = 0. Is 11 a factor of j?
False
Suppose 2*a - 12 = -4. Suppose 0*s - a = 4*s, 4*s = -u + 17. Does 17 divide u?
False
Suppose -3*h + 3*c + 498 = 0, 4*h - 701 = -5*c - 55. Does 13 divide h?
False
Let t(q) = q**2 - q + 2. Suppose -3*d - 4*u - 6 = -7*u, -3*u = 3*d + 24. Is t(d) a multiple of 16?
True
Let o(f) = f**3 - 2*f**2 - 2*f + 6. Let k be o(4). Let g = k + -7. Is g a multiple of 17?
False
Let k(q) = q**3 - q**2 + q - 8. Let d(n) = -2*n**3 + 2*n**2 - 3*n + 17. Let z(b) = -4*d(b) - 9*k(b). Is z(-2) a multiple of 6?
False
Suppose 0 = -2*z + 2*b + 34, 0 = -4*b + 2*b + 2. Suppose 5*m + z = -2*n + 109, 0 = -3*m + 2*n + 45. Is 8 a factor of m?
False
Let n = -10 - -42. Is 8 a factor of n?
True
Suppose 3*h = 6, 1 = -r - 2*h + 10. Suppose 4*m - 24 = r*v - v, 5*v = -m - 6. Let s = 2 + m. Does 3 divide s?
True
Let g = 3 + 15. Does 18 divide g?
True
Suppose 0 = 5*y - 5*m + 40, -5*y + 2*m = -m + 34. Let n be (-26)/(-3) + y/(-15). Let d = n - -25. Is 17 a factor of d?
True
Let s be -14*(2 + -1)/(-2). Let p(i) = i**3 - 8*i**2 + 8*i + 4. Is 5 a factor of p(s)?
False
Is 10 a factor of (-1 + -146)*5/(-15)?
False
Let r = 29 + -15. Is 7 a factor of r?
True
Let k(m) be the second derivative of 0*m**2 + 0 - 2/3*m**3 - 3*m. Does 4 divide k(-1)?
True
Suppose -4*i - 16 = 48. Let f = 32 + i. Is 8 a factor of f?
True
Suppose 0*b = b + 156. Let a be (-1)/2 - b/8. Let i = a + -13. Does 5 divide i?
False
Suppose -3*v - 2*r - 3*r = -26, -v = -4*r - 37. Is 16 a factor of v?
False
Let h(z) = z**3 - 4*z**2 - z. Let v(r) be the third derivative of r**4/24 - 7*r**3/6 - r**2. Let g be v(12). Is 7 a factor of h(g)?
False
Suppose -10 = 2*y, 5*h + 5*y - 3*y - 20 = 0. Let w(o) = 7*o - 2. Let q be w(h). Suppose -3*p - 10 + q = 0. Does 4 divide p?
False
Let o be -1 - (12/(-3) + -1). Suppose -2*h + 3*i - 3 = 0, -o*h + 0*i - 4 = -4*i. Suppose 216 = -h*b + 4*b. Is b a multiple of 21?
False
Suppose -17 = 3*x + 16. Let m(r) = 40*r**2 + r + 1. Let w be m(-1). Let s = w + x. Is s a multiple of 17?
False
Suppose -3*u + 8*u + 25 = 0. Let t = u - -47. Does 13 divide t?
False
Let y be -1 - -6*(-12)/9. Let d = 26 - y. Is d a multiple of 10?
False
Let a = 1 - 3. Let m = 5 + a. Suppose 2*i = -4*z - 3*i + 16, m*z - 12 = 3*i. Does 4 divide z?
True
Let x(m) = -3*m - 4. Let z be x(-3). Let q(y) = -y**3 + 4*y**2 + 8*y - 5. Let h be q(z). Suppose w + h = 3*w. Is 4 a factor of w?
False
Let i = -7 - -3. Let m(h) = -8*h**2 + h. Let a be m(-1). Let w = i - a. Is 5 a factor of w?
True
Suppose 3*o - 4*p - 23 = 2*o, 2*p + 25 = 5*o. Suppose -s - 1 = -2*r + o, -s - r = -5. Is 11 a factor of 8/1 - (-1 - s)?
True
Suppose 8 = -4*i, -55 = -5*n + 4*i + 8. Suppose -11 = -2*z + n. Is z a multiple of 11?
True
Let o = 1 - -2. Suppose -5*z + 23 = o. Is z even?
True
Let x(u) = -u**3 - 7*u**2 - 8*u + 10. Is x(-7) a multiple of 22?
True
Is 6*((