e
Let w = 5 + -1. Suppose w*o = -5*m + 202, o + o - 106 = -5*m. Is o a multiple of 24?
True
Suppose -9 = 3*h - 0. Let a be 2 + (h - (-4 - 1)). Let p = a - -5. Does 9 divide p?
True
Let k be 5/(0 - 2/(-36)). Suppose 5*a = -15, -4*a + 0*a = -3*w + k. Is w a multiple of 10?
False
Suppose 2*u = -5*a + 31 + 218, a - 57 = 2*u. Is 8 a factor of a?
False
Suppose 88 = 5*i + 3*h - 11, -5*h + 51 = 2*i. Is 9 a factor of i?
True
Let y = 8 + 6. Is 9 a factor of y?
False
Suppose -3*o = -12, -r + 3*o = -0*o + 8. Let h(s) = 2*s**2 - 4*s + 2. Let p be h(r). Is 6 a factor of p/12*(-32)/(-6)?
False
Suppose 0 = 2*u - 3 - 1. Suppose -u*r = -4*r + 56. Does 14 divide r?
True
Let v be (-3)/(-1)*(-6)/(-6). Let o(r) = r**3 - 3*r**2 + 7*r - 2. Let l be o(6). Suppose l = v*q + 49. Is 12 a factor of q?
False
Let a(v) = -v**2 + 13*v - 4. Let c be a(8). Is (4/(-6))/((-2)/c) a multiple of 4?
True
Let o be 2/(-8) - (-115)/(-20). Is 4 a factor of (2 + 1)/((-2)/o)?
False
Does 39 divide -2086*(-2)/24 + 3/18?
False
Let n be (3/(-1) - 0) + 6. Suppose -4*t + 208 = -c, 0 = t - 2*t - n*c + 39. Is t a multiple of 16?
False
Let v(s) = 8*s**2 + s + 1. Let w be v(-1). Let c = w + 4. Is 2 a factor of c?
True
Let c(q) = -q**3 + 13*q**2 - 3*q - 8. Does 20 divide c(12)?
True
Let d(c) = 1. Let u(j) = -j**2 - 3*j + 4. Let v(f) = -d(f) - u(f). Let l be v(-4). Does 9 divide -2 - (18*l - 2)?
True
Suppose 3*z = -3*t + 429, 0*t = 5*z - 2*t - 680. Suppose 3*c = -2*k + 89 + 11, -2*k = -4*c + z. Does 17 divide c?
True
Let h(p) = -3*p**3 + 6*p**2 - 2*p + 2. Let d(m) = 10*m**3 - 18*m**2 + 5*m - 7. Let u(g) = 2*d(g) + 7*h(g). Is 15 a factor of u(3)?
True
Let x be 4 + -2 + 0 + 2. Suppose 4*g + x*q + 24 = 0, g + 3*q + 26 = -2*q. Is 8 a factor of (-2)/g*23/2?
False
Let y(m) = 37*m**3 - m + 2. Is y(1) a multiple of 12?
False
Suppose -2*s - 117 = -5*u - 331, 2*s = -5*u + 254. Is 20 a factor of s?
False
Suppose 2*u + 2 = 0, 0*u + 211 = i - u. Is i a multiple of 19?
False
Let u(b) = -2*b**2 + 28*b + 4. Is u(14) a multiple of 3?
False
Let j(l) = -l**3 + 7*l**2 - 5*l - 5. Let u be j(6). Let w(b) = 10*b**2 + b - 1. Is w(u) a multiple of 3?
False
Let c(t) = t**3 + t**2 + 23. Does 4 divide c(0)?
False
Is (10/(-10))/((-1)/103) a multiple of 12?
False
Suppose 0 = 3*j - 9, 3*d + 4*j = 4*d + 9. Let r = -21 + 41. Suppose 82 = 5*f - 3*b, 0 = -d*b - 2*b - r. Is f a multiple of 7?
True
Let r(h) = -5*h - 11. Let t = 8 + -13. Does 7 divide r(t)?
True
Suppose 4*q + 58 = 2*k, 2*q + 26 = 2*k - 0*k. Suppose 3*m + 5*b = 4*m + 55, -3*m - 109 = -b. Let p = q - m. Does 8 divide p?
False
Let a = -24 - -33. Does 8 divide a?
False
Let i(g) be the third derivative of -1/24*g**4 + 0 + 1/60*g**5 - g**2 + 0*g - 1/2*g**3. Is 3 a factor of i(4)?
True
Let t(u) = -u**2 + 28*u - 47. Is 10 a factor of t(25)?
False
Let u(v) = 5*v + 1. Let q(n) = -11*n - 3. Let w(x) = -3*q(x) - 7*u(x). Does 6 divide w(-5)?
True
Does 6 divide 27*(5 + (-22)/6)?
True
Let n(m) = -m**3 + 8*m**2 - 6*m - 2. Let x be n(7). Suppose x*i + 6 = 3*i, -5*i - 60 = -3*b. Suppose -2*c = c - b. Is 4 a factor of c?
False
Suppose 4*s = -16, -3*l + 4*s = 5*s + 49. Let y = l - -30. Is 6 a factor of y?
False
Let z be 0 + (2*-1 - 2). Let x be 2/(-7) - z/14. Suppose x*s - 80 = -4*s. Is 10 a factor of s?
True
Suppose 0 = 2*h + 4*o - 8 - 48, -5*o = 3*h - 81. Suppose s + 3*q = 16, 5*q - h + 154 = 4*s. Suppose -3*a = 5*j - 88, -2*a + 2*j + 20 + s = 0. Does 18 divide a?
False
Suppose 4*t - 2 = d + 27, -5*t = -2*d - 40. Is t a multiple of 6?
True
Let i = 30 + 28. Let f = -36 + i. Let v = -16 + f. Does 4 divide v?
False
Let v(k) = 2*k - 9. Let n be v(6). Let d(y) = 0 + 17*y**3 + 37*y**3 - 1 + 15*y**n. Is 18 a factor of d(1)?
False
Suppose 0*c - 3*c = -4*r - 796, 4*c - 1058 = 2*r. Does 22 divide c?
True
Let g(x) = -x**2 - 7*x + 11. Let i = -3 - 5. Let h be g(i). Is 17 a factor of (18 - (h - 3)) + -1?
True
Suppose -2 + 62 = 5*v. Does 3 divide v?
True
Suppose -63 = -6*t + 3*t. Is 14 a factor of (-12)/1*t/(-6)?
True
Let q(m) = -m**3 - 7*m**2 + 8*m + 12. Let o = -3 - 5. Is 4 a factor of q(o)?
True
Let c = 11 + 0. Is c a multiple of 7?
False
Suppose -2*g = 1 + 7. Let x be 1/(-2)*(7 + -1). Is 7 a factor of (x/g)/(1/24)?
False
Let n(q) = -q**3 - 9*q**2 - 2*q - 2. Let j be n(-9). Suppose i - j = -i. Is 8 a factor of i?
True
Suppose 4*i - 4 = 3*i. Suppose 7*z - i*z - 38 = 2*w, 0 = z + 2*w - 10. Is z a multiple of 4?
True
Suppose -o = 4*o - 25. Suppose o*k + 0 = 4*n + 18, n + 3 = k. Suppose -3*t + k*t - 89 = -2*a, -90 = -3*t - 3*a. Is t a multiple of 20?
False
Suppose 0 = -4*n - n - 430. Let g = 155 + n. Is 23 a factor of g?
True
Let o = -8 + 14. Suppose -12 = 3*i - o*i. Suppose 1 = i*j + 5, 0 = 3*t + 2*j - 37. Is 5 a factor of t?
False
Suppose 6*a - 2*a - 2*t = 260, -5*a + 331 = -4*t. Does 21 divide a?
True
Let k = -36 + 97. Does 9 divide k?
False
Let s = -85 - -124. Is s a multiple of 3?
True
Suppose 83 + 105 = 4*m. Suppose 5*x + m + 68 = -5*q, 119 = -5*x - q. Let n = x + 51. Does 9 divide n?
True
Suppose -3*q + 104 = 2*q + 2*c, -c = -3*q + 58. Does 12 divide q?
False
Does 14 divide (-1068)/(-18) - 6/(-9)?
False
Let k(b) = -4*b + 2. Is k(-13) a multiple of 18?
True
Let p(s) = s**2 - 5*s + 3. Let z be p(-8). Let l = z + -74. Is 10 a factor of l?
False
Let v = -7 + 11. Let q be -35*(v/10)/1. Let i = q - -24. Is i a multiple of 10?
True
Let n(m) = 16*m - 1. Is n(1) a multiple of 15?
True
Suppose 10*u - 11*u = -152. Is u a multiple of 9?
False
Suppose 0 = -4*u - 0*y + 2*y - 14, -3*y = 9. Suppose -3*t - 27 = 24. Let j = u - t. Is j a multiple of 12?
True
Let l = -32 - -59. Is 9 a factor of l?
True
Let m(f) = 97 + 0*f**2 + 2*f**2 - f**2 - f**3 - f. Let u be m(0). Suppose 3*q + b + 29 = u, 79 = 4*q - b. Is q a multiple of 8?
False
Suppose 0*j + 12 = 2*j + 3*x, 2*x = -2*j + 12. Let t(l) = 11*l - 4. Let g be t(j). Let z = 100 - g. Does 19 divide z?
True
Let d(z) = -3*z**2 + 7*z - 10. Let w(c) = 16*c**2 - 35*c + 51. Let y(m) = 11*d(m) + 2*w(m). Let l be y(6). Is 6 a factor of l/(-1 - 7/(-9))?
False
Let v = -130 + 216. Suppose -6*n + 128 = 5*r - 2*n, 5*n = 4*r - v. Suppose 5*q = 7*q - 5*l - 12, -4*q = -2*l - r. Is 6 a factor of q?
True
Let g = 32 - -12. Does 22 divide g?
True
Suppose 2*i - 3*i + q = -128, 0 = -3*i - 2*q + 364. Is i a multiple of 10?
False
Let q = -194 - -272. Is 7 a factor of q?
False
Is (1 - -182 - 1) + -2 a multiple of 10?
True
Let n = -2 + 5. Let y(g) = -g**3 + 3*g**2 - 5*g - 3. Let d(h) = -h**2 + h + 1. Let z(x) = -2*d(x) - y(x). Is z(n) a multiple of 12?
False
Let y = 29 - 4. Does 17 divide y?
False
Let u be (-2)/2 - 4*15. Let w = -2 - u. Suppose -114 = -4*q + 2*x, 3*q - q = -x + w. Is 15 a factor of q?
False
Let f = -34 + 52. Is f a multiple of 3?
True
Let b = -41 - -59. Is 6 a factor of b?
True
Let d be (-10)/4*18/(-15). Let u be 40 + 6/d*1. Let s = u + -26. Is s a multiple of 16?
True
Let a = 147 - 28. Is 7 a factor of a?
True
Let c(q) = -q**3 - 10*q**2 - 10*q - 5. Let x be c(-9). Suppose -3*d - 3*b = -6*d + 111, 0 = -3*d + x*b + 114. Does 27 divide d?
False
Suppose -5*j - 21 = g - j, -5*g - 4*j = 25. Is (g/2)/((-4)/64) a multiple of 8?
True
Suppose 0*g + 3*a = -2*g + 99, -2*g - 2*a + 98 = 0. Suppose -3*v + 5*r = -26, 0 = 3*v + v - 4*r - g. Does 7 divide v?
False
Let w = -29 - -58. Is 20 a factor of w?
False
Let d = -62 + 87. Let p = d - 1. Is 19 a factor of p?
False
Let g(j) = -j**2 + 3*j - 2. Let l be g(-2). Let i(y) = y**2 + 6*y - 1. Does 18 divide i(l)?
False
Does 22 divide 0 + 140 + (0 - -4)?
False
Suppose 9 + 27 = 2*j - 3*z, -2*j - z = -28. Is j a multiple of 2?
False
Let u(i) = -i**2 + 2*i + 7*i - 2*i + 17 + 3*i. Let m be u(12). Let o(c) = -4*c. Is o(m) a multiple of 9?
False
Let r be 2/6 + (-88)/(-24). Suppose 310 = k + r*k. Does 13 divide k?
False
Let f(q) = q**3 + 6*q**2 - 8*q - 2. Let p(v) = -3*v + 2. Suppose -3*b = 4 - 13. Let h be p(b). Is 5 a factor of f(h)?
True
Suppose 36*b - 456 = 30*b. Does 19 divide b?
True
Suppose 3*c + 2*c - 210 = 0. Does 21 divide c?
True
Suppose -4*m = -8*m + 48. Is 11 a factor of m?
False
Let r(m) = 2*m**2 - 4*m + 2. Let v be r(2). Suppose v*i - 25 - 17 = 0. Is i a multiple of 7?
True
Suppose u + 5*p + 16 = 0, 3*p = 5*p + 4. Let l = u + 8. Suppose -3*q + 76 = 2*h + l*h, -q = -4. Does 8 divide h?
True
Suppose -4*j + 2*j + 182 = 0. Let n = j + -49. 