 i + 15. Suppose 0 = -y*g + 2*g + 18. Does 9 divide g?
True
Let u = 6 + -8. Let f be u/(-2) + 2/2. Suppose -2*n + 2*x = 3*n - 183, 3*n - 97 = -f*x. Does 15 divide n?
False
Suppose 0 = 2*v, 0 = 4*z - 4*v - 100 + 4. Does 12 divide z?
True
Let d = -1 - -2. Does 2 divide ((-30)/12)/(d/(-2))?
False
Suppose 0 = 3*q - d - 8 - 15, 4*q = 3*d + 34. Suppose -q*p = -3*p. Suppose -a + 13 = 3*l - 4, -4*l - 12 = p. Does 13 divide a?
True
Let f(v) = v**2 - 4 - 2*v**2 + 3 + 8*v. Let m be f(7). Suppose 9 = h - m. Is 8 a factor of h?
False
Suppose -5*k - 16 = -k. Let f = k + 5. Let a = 8 - f. Is a a multiple of 7?
True
Let y be (-2)/(-1)*(-30)/(-4). Suppose 4*a + a = -y. Is 10 a factor of a*(-5)/9*12?
True
Let a be (-3)/(37/(-12) + 3). Let b = 53 - a. Suppose 2*h - 11 = b. Is 12 a factor of h?
False
Let i = 41 + -14. Does 9 divide i?
True
Let h = -12 - -8. Let j = h + 7. Suppose -j*g = -4*g + 8. Is g a multiple of 4?
True
Let z = 185 - 97. Is z a multiple of 8?
True
Let v = 11 + -7. Suppose -v*i + 31 - 131 = 0. Let f = -3 - i. Does 12 divide f?
False
Let y(i) = 2*i**2 - 4*i. Does 12 divide y(6)?
True
Let o(k) be the third derivative of -k**5/60 - k**4/4 - k**3/3 + 5*k**2. Is 3 a factor of o(-5)?
True
Let n = -148 - -288. Is n a multiple of 17?
False
Let z = -39 - -55. Is z a multiple of 8?
True
Suppose -3*t - t = 64. Let v = 1 - t. Is 6 a factor of v?
False
Let n = -38 + 148. Is n a multiple of 55?
True
Suppose 3*b + 2*w - 14 = 0, b + 2*w = -b + 12. Let g be (-27)/(-6)*5*b. Let f = g - 19. Is 13 a factor of f?
True
Let j = -8 - -12. Is j/12 - (-16)/6 a multiple of 2?
False
Let y(q) = -q**3 - 2*q**2 + q + 2. Let h be y(-2). Suppose 0 = -2*f - h*f + 20. Is f a multiple of 8?
False
Let h = -21 - -33. Does 9 divide h?
False
Let y be (-1)/(-2) + 14/4. Suppose 8*i - y*i = 2*k - 4, k + 3 = i. Is 9 a factor of (-27)/((-4)/(k/(-3)))?
True
Let f(h) = h**2 + 10*h - 8. Let s be f(-11). Suppose -6*y - 8 = -3*q - 2*y, -14 = -s*q - 2*y. Is 4 a factor of q?
True
Let x(h) = 7*h**2. Let d be x(-2). Suppose -t + 25 = -d. Does 20 divide t?
False
Suppose -2*w + 28 = -138. Does 19 divide w?
False
Let v = 2 - 3. Let x(o) = 58*o**2. Let a be x(v). Suppose 0*g = 2*g - a. Does 13 divide g?
False
Let x = -15 + 16. Is 11 a factor of (-66)/9*x*-3?
True
Let l(s) = 21*s + 1. Is l(3) a multiple of 16?
True
Suppose -4*b = -2*r + 16, 3*r + 2*b - 4*b - 8 = 0. Let a(f) = r + f - f**2 + f**3 - 2*f**2 - 1. Is 13 a factor of a(4)?
False
Suppose -3*j = -8*j + 10. Let n be (2 - (-4)/j)*1. Suppose -r = -0*r - 2*y - 16, n*r - y - 64 = 0. Is 8 a factor of r?
True
Suppose 0 = -b + 53 + 36. Is b a multiple of 9?
False
Suppose 4*d = 1 + 11. Let j(n) = n**2 - 3*n - 3. Let l be j(4). Is 2 a factor of 9*(l - 0)/d?
False
Suppose 2*s - 7*s + 50 = 5*m, -4*m = s - 13. Suppose s = -3*o + 3*n, n - 1 - 8 = -2*o. Suppose 0 = o*l - 6. Does 3 divide l?
True
Suppose -44 = 3*h - 7*h. Is h a multiple of 10?
False
Let t be -146 + 2 - (0 + -3). Let n = t + 225. Is n a multiple of 14?
True
Let b be (2/(-5))/((-2)/10). Let t = 1 + b. Does 3 divide t?
True
Suppose -3*b - 8 + 35 = 0. Let z be ((-6)/b)/(-1)*3. Is 20 a factor of 40*z*(-3)/(-12)?
True
Let k(p) = -31*p + 3. Let h be k(-4). Is (-1)/3 - h/(-3) a multiple of 14?
True
Let f(g) = -g**2 + 2*g. Let x be f(2). Let c = 4 + x. Suppose 26 = c*z - 26. Is z a multiple of 13?
True
Let m be (-1 + 2)*-44 + 2. Is 11 a factor of 12/m + 79/7?
True
Is -1*17/2*-2 a multiple of 5?
False
Let u(k) = -5*k**2 - 8*k - 1. Let w(n) = -11*n**2 - 16*n - 2. Let f(m) = -13*u(m) + 6*w(m). Is f(6) a multiple of 6?
False
Suppose 4*l - l = 159. Is 4 a factor of l?
False
Let n = 238 - 117. Does 32 divide n?
False
Let g(s) be the first derivative of 5*s**4/4 - s**3 + s**2 - s + 1. Let m(a) = -a + 8. Let t be m(6). Is g(t) a multiple of 11?
False
Suppose -18 = -2*x + 4*g + 44, 5*g - 59 = -4*x. Let n = 41 - x. Is n a multiple of 10?
True
Let o(a) = 22*a**2 + a. Suppose -2*v - 4*j - 2 = -2*j, -4*j = 5*v + 1. Suppose 0 = -4*c - v - 1. Is o(c) a multiple of 13?
False
Suppose -2*k - 10 + 54 = 0. Is k a multiple of 15?
False
Suppose 4*c + 2*h - 6 = 0, h + 3*h = 5*c + 12. Let a be 2*1/(10/15). Suppose g + 2*w - 21 = c, g - 3*g + a*w + 42 = 0. Does 11 divide g?
False
Let d be (-3 - 4/(-1))*3. Suppose d - 10 = -h. Is 3 a factor of h?
False
Let k = -173 + 261. Let p be 6/(-4) - 388/8. Let r = k + p. Is r a multiple of 11?
False
Suppose 3*x = 6*x - 5*u - 4, 4*x - 4*u - 8 = 0. Let a(b) = -b**3 + b**2 + 5*b - 3. Let r be a(x). Let t = r - -16. Is t a multiple of 10?
True
Suppose 4*k = -0*k - 5*d + 12, 2*k = -4*d + 6. Suppose 0 = -4*u - 2*s + 48, 0 = k*u - s - s - 50. Is 7 a factor of u?
True
Suppose s + 4*s + 34 = 3*l, l + 5*s - 38 = 0. Suppose 5*o - 13 = 7. Suppose 0 = -t + 4*r - 3*r + 23, -t - o*r = -l. Is t a multiple of 11?
True
Let x = 133 + -33. Let s = x + -70. Does 10 divide s?
True
Let x(n) = 7*n**2 - 2*n + 1. Let h be x(2). Suppose y = t + h, 0 = 5*y - y + 2*t - 94. Does 13 divide y?
False
Let s(k) = 3*k + 7. Let r be s(5). Let l be 4/r + (-53)/(-11). Suppose -3*f - 37 = -h, 2*h + l*f = 4*h - 75. Does 15 divide h?
False
Suppose 4*k + 23 - 7 = 0. Let n be (-20)/k + -2 + 1. Suppose 0 = n*p + b - 24 - 116, -4*p + 124 = -3*b. Does 17 divide p?
True
Let v be (1/(-2))/(3/(-12)). Let k(n) = -n**2 - 14*n - 6. Let c be k(-10). Suppose -3*w + c = -v*w. Is w a multiple of 17?
True
Let f(m) = 19*m**2 - 1. Let d be f(-1). Suppose 0 = 9*o - 7*o - d. Is 5 a factor of o?
False
Let n = 256 - 147. Suppose 0 = 4*w - 3*r - 145, -5*w = -4*r - n - 71. Does 14 divide w?
False
Let a(j) = -2*j + 19. Is 3 a factor of a(5)?
True
Suppose 8*x - 12*x = -400. Does 13 divide x?
False
Suppose 0*k + 2*k - 2 = 0. Let u be k - (-2 + 4 + -19). Suppose -3*q + 31 = 3*p - 5*q, 4*p + 2*q = u. Is p a multiple of 3?
False
Let u(r) = r + 11. Let q be u(-7). Suppose -a - z + 4 = 0, 4*a - 2*z - q - 18 = 0. Does 5 divide a?
True
Let n(k) = 2*k + 3 + 4*k**2 - 4*k + 1. Let w be n(-6). Suppose -2*u + 6*u = w. Is 20 a factor of u?
True
Let f(i) = i**2 + 24. Let y be f(0). Suppose 5*x - 108 = 3*c, 0*x + 5*x - 4*c = 104. Suppose y + x = 4*v + 3*h, 5*v - 71 = -h. Does 15 divide v?
True
Let v(a) = -a**2 - 6*a - 4. Let q be v(-4). Suppose -2*l = 5*b - q*l - 11, 3 = 3*b - 3*l. Does 2 divide b?
False
Let z be 1*(0/(-1) + 17). Does 17 divide 357/z + -3 + -1?
True
Suppose -2*k - 4 = -6*k. Let f be 0/(-1 + k + 1). Let i(l) = -l**2 - l + 16. Is i(f) a multiple of 8?
True
Is 9/12 + 1311/12 a multiple of 13?
False
Let y = 243 - 167. Is 19 a factor of y?
True
Let n be (-2)/5 + (-446)/10. Is -35*(n/(-21) + -3) a multiple of 15?
True
Let z = -40 + 86. Is z a multiple of 23?
True
Suppose 2*l = 20 + 8. Is 5 a factor of -2 + 1 + l - 3?
True
Let j = -20 + 11. Let q(w) = -w**3 - 9*w**2 - w + 7. Let p be q(j). Suppose -67 = -2*u + o, -p = u + 3*o - 60. Is 9 a factor of u?
False
Suppose 25 = 5*k, -2*z + 69 + 66 = -3*k. Is z a multiple of 21?
False
Suppose 4*b = 6*b - 34. Is b/(-2 + 0 - -3) a multiple of 6?
False
Let w = -2 - -6. Suppose 0 = 5*p - 2*c - c - 98, 3*c + 79 = w*p. Is 10 a factor of p?
False
Suppose m + 5*m = 156. Does 4 divide m?
False
Let t be (-48)/18 - 2/(-3). Let x = t + 71. Is 16 a factor of x?
False
Let n = 1 + 4. Let d(j) = 10*j - 6. Is 22 a factor of d(n)?
True
Let u = -123 + 285. Is u a multiple of 18?
True
Suppose 5*u = 9*u - 12. Suppose u*p = 59 + 85. Let n = 75 - p. Is n a multiple of 11?
False
Let b(a) be the second derivative of -a**3/6 + 4*a**2 + a. Suppose 0 = -18*l + 16*l. Does 4 divide b(l)?
True
Let x(l) = -6*l - 8. Let y be x(6). Let t = 84 + y. Does 20 divide t?
True
Suppose 4*u - u = -w + 7, -2*u - 5*w + 9 = 0. Suppose -5*o + 30 = -4*f, -u*o = 3*o - 2*f - 20. Is (-242)/(-14) + o/(-7) a multiple of 8?
False
Let o(f) = -f - 10. Let j be o(7). Let t = -16 + -14. Let p = j - t. Is 13 a factor of p?
True
Let b(i) = 3*i**2 + i - 5. Is b(-4) a multiple of 13?
True
Let j(o) = -32*o - 10 + 3 + 2*o**2 + 34*o. Let l = 7 + -12. Is 11 a factor of j(l)?
True
Suppose 3*x - 7 - 5 = 0. Suppose x*g - 30 = 2. Is 8 a factor of g?
True
Let f(d) = d**3 - 6*d**2 - 7*d + 4. Is f(7) even?
True
Let o(u) = u**3 + 7*u**2 - 5*u + 1. Is 8 a factor of o(-7)?
False
Let x = 20 + -9. Is 2 a factor of x?
False
Let v be (-40)/1*(-5)/(-4). Does 4 divide (-2)/4 - v/4?
True
Let j b