5*n + 2*p. Let y = 35 - n. Let x = y - -12. Does 14 divide x?
True
Let q be (-11 + (5 - 2))/(-1). Suppose q = -4*i + 104. Is i a multiple of 8?
True
Let h be ((-21)/(-4))/(6/16). Suppose h = 2*j - 2*z, -2*z + 21 - 7 = 5*j. Suppose -12 = j*i, 0 = u + 2*u - 3*i - 27. Is 3 a factor of u?
True
Let r be -1 - 0 - (10 - 3). Let g = r + 11. Suppose -g*b + 16 = 4. Is 4 a factor of b?
True
Let p(h) = 7*h + 9. Does 17 divide p(6)?
True
Let m = -52 + 90. Is m a multiple of 19?
True
Let n(z) = 0*z - 3*z - 3*z + 3*z - 5. Let q be n(-4). Let f = 18 - q. Is 3 a factor of f?
False
Suppose -r = -2*m + 9, m - 5*r - 17 - 10 = 0. Does 10 divide -14*(-6)/8*m?
False
Let o be (3 + -7)/(1 + 0). Let l be (-26)/o - 2/4. Suppose -q - l = -3*q. Is q even?
False
Suppose -2*z - 58 = 5*d, 4*z - 2*z + 64 = -2*d. Let n = -22 - z. Does 7 divide n?
False
Let f be 2 - (-2 + 3) - -1. Suppose 2*i - f = 2*g, -g - 2*i + 8 = -6. Is 4 a factor of g?
True
Let c(q) = 8*q**2 - 2*q - 2. Does 17 divide c(-2)?
True
Let w = -11 + 6. Let t = 8 + w. Suppose -2*v + 4 = 2*m - 10, 0 = 2*m - t*v - 39. Is 12 a factor of m?
True
Suppose 2*f = 3*h - 6*h + 79, 5*h + 55 = 2*f. Is f a multiple of 5?
True
Suppose 0 = 3*f - j - 31, -3*f = 2*j - 11 - 26. Let s = -2 + f. Is s a multiple of 4?
False
Suppose 0 = -v - 2*v + 66. Suppose -5*m + v = -13. Let s = m + -4. Does 3 divide s?
True
Is 10 a factor of 5/(2 - 60/32)?
True
Suppose -4*v + 10 + 6 = 0. Suppose 45 = 5*f - 5*r, 2*r - 10 = -v*f + 2*f. Is f a multiple of 2?
False
Suppose 3*b = -0*b + 159. Let z = -15 + b. Is z a multiple of 16?
False
Suppose 0 = -2*l + 4*l, -y + l - 11 = 0. Let h be (-2)/y + 854/22. Suppose 2*o + 2*o = 4*a - 12, 0 = -5*a - 3*o + h. Is a a multiple of 6?
True
Suppose 3*l = -86 + 320. Does 13 divide 3/(-5) + l/5?
False
Suppose 3*r + 2 = -1. Let h(u) = -23*u**3 - u**2 + u + 1. Is h(r) a multiple of 9?
False
Suppose -c = c - 38. Suppose -4*v + c = -29. Is v a multiple of 8?
False
Let r(s) = 50*s**2 - 4*s + 4. Let m be r(3). Suppose -130 = 2*z - m. Suppose 3*l - z + 12 = 0. Is l a multiple of 24?
True
Suppose -25 = 5*s, 0*r - 3*s = -3*r + 102. Is r a multiple of 16?
False
Is 23 a factor of 462/5 - 14/35?
True
Let j(o) = -2*o + 3. Let q be (11/(-2) + 3)*6. Does 11 divide j(q)?
True
Let g be (-1)/((-1)/(-9)*1). Is 28 + 1 - g/(-3) a multiple of 12?
False
Suppose -5*j = -657 + 137. Is j a multiple of 26?
True
Suppose 3*k - 4*u = 92, 4*k + 3*u - 120 = 7*u. Does 7 divide k?
True
Let o(g) = -g + 1. Let c(q) = -7*q - 1. Let r(i) = -c(i) + 4*o(i). Is 22 a factor of r(12)?
False
Let u(k) = 4*k**2 + 2*k + 6. Is 31 a factor of u(-4)?
True
Let k(m) = -2. Let f(b) = -b - 1. Let a(g) = -3*f(g) + 4*k(g). Is a(6) a multiple of 13?
True
Suppose 5*m = 2*s - 21, 4*m - 4 = 4*s - 16. Let y = m - -2. Let l = y - -13. Is 5 a factor of l?
True
Suppose -j + 6*j = 15. Suppose -5 = -j*i + 19. Does 4 divide i?
True
Let o = -17 - -32. Does 11 divide 3/o - 108/(-10)?
True
Let t(u) = u - 2 - 1 + 0. Let s be t(8). Suppose s*k + 17 = 97. Is k a multiple of 6?
False
Let c be (-4)/5*(-5)/2. Suppose -u + 5 = -c. Let n = u + 3. Is n a multiple of 10?
True
Suppose -696 = -3*g + g. Does 29 divide g?
True
Suppose 0 = -3*k - 4*w + 36, w + 0*w - 19 = -2*k. Does 3 divide k?
False
Suppose 18*l = 14*l + 48. Is l a multiple of 6?
True
Let o(i) = i**2 - 6*i - 5. Does 22 divide o(9)?
True
Let d = -2 + 11. Let s = 14 - d. Is s a multiple of 3?
False
Suppose 9 = 2*f - v, 5*f + v + 4*v + 15 = 0. Suppose -f = -z + 1. Suppose -2*p = 5*m - 25, p + z*m - 6 = 5. Is p a multiple of 11?
False
Let o = 159 - 48. Is 11 a factor of o?
False
Let b be (-61)/(-1) + -2 - 1. Let c = b - 38. Is 10 a factor of c?
True
Suppose -f - 5*d = -5*f + 27, -3*d = -3*f + 18. Suppose f*x = 45 + 3. Is 9 a factor of x?
False
Let x(m) = 2*m - 3. Suppose v + 3*v - 12 = 0. Let n be x(v). Suppose -n*z + 48 = -0*z. Does 16 divide z?
True
Let r(w) = w**3 + 8*w**2 + 7*w + 12. Let d be r(-5). Suppose -8*h + 4*h - 3*g = -104, 0 = -2*h - g + d. Does 8 divide h?
False
Let h(t) = -4 - 1 - 3 - 2*t - 2. Suppose -3*p + 17 = 47. Does 10 divide h(p)?
True
Suppose 16*t - 256 = 12*t. Does 44 divide t?
False
Suppose 0 = -h + 1, 3*p = -2*p + 4*h + 56. Is 28/(-6)*(-18)/p a multiple of 5?
False
Suppose -4*t = -582 - 74. Does 8 divide t/10 - (-4)/(-10)?
True
Suppose -4*v + 4*f - 20 = 0, -2*v + 0*v + 3*f - 15 = 0. Suppose v = 2*n - 3*n + x + 32, -145 = -5*n + 2*x. Does 9 divide n?
True
Suppose 3*g - v = -15 + 99, 4*g - 117 = 3*v. Is g a multiple of 27?
True
Suppose 5*j = -3*n - 5, j + 3 = 3*n + 2. Suppose 0 = 3*c - n*c. Suppose c = 3*m + 7*p - 2*p, -2*m - 2*p + 4 = 0. Does 5 divide m?
True
Suppose 4*s + 25 - 221 = 0. Is s a multiple of 7?
True
Let g(w) = w**3 + 10*w**2 + 8*w - 5. Let v(n) = n**3 - 6*n**2 + n - 3. Let y be v(6). Suppose -y*h - h = 36. Is g(h) even?
True
Let k(c) = -c**3 - 6*c**2 - 4*c - 3. Does 7 divide k(-6)?
True
Suppose -20 - 24 = -2*b. Does 22 divide b?
True
Suppose 3 + 14 = -u. Let i = 50 + u. Is 7 a factor of i?
False
Suppose 0 = -5*w + 194 + 256. Suppose -3*p = -5*p + w. Is p/2 - 2/4 a multiple of 11?
True
Let l(q) = q**3 + 11*q**2 + 5*q - 13. Does 19 divide l(-10)?
False
Suppose 3*j - 5 + 2 = 0. Does 12 divide (-2 - (-40)/j) + 1?
False
Let i be ((-3)/(-1))/(-3) + 3. Suppose -3*h + 81 = s, 7*s - 260 = 3*s + 4*h. Suppose -5*w = -0*w - 4*a - s, i*a - 24 = -2*w. Is w a multiple of 13?
True
Let n be (1 - 4)*(-50)/(-6). Let w = 55 + n. Is w a multiple of 15?
True
Let p(k) = -k + 3. Let x be p(0). Let w be (-3 - x)/(2/(-30)). Suppose 0 = -2*s + 2*m + w, 5*s - 93 = -2*m + 153. Is 24 a factor of s?
True
Let s = -6 + 8. Does 18 divide ((-2)/(-3))/(s/162)?
True
Let o be -3 + 1 + 16/4. Suppose 4*h + 18 = -q - 15, 3*q + 1 = o*h. Let y(r) = -4*r - 10. Is y(h) a multiple of 18?
True
Is 26 a factor of ((-32)/(-3) + -2)*9?
True
Let o = 12 + -11. Let w(p) be the third derivative of p**5/3 - p**4/12 + p**3/6 + p**2. Is w(o) a multiple of 9?
False
Suppose -181 = c - 558. Does 13 divide c?
True
Suppose -3*k + 3 = -4*k. Let b be (-1)/3 + (-151)/k. Suppose 3*y + 2*y = b. Does 4 divide y?
False
Does 5 divide (0 - -3)/((-9)/(-60))?
True
Suppose l + 5*j = -2*l + 98, -42 = -l - 4*j. Is 12 a factor of l?
False
Let q = -67 + 6. Let w = 102 + q. Is 22 a factor of w?
False
Let x be 3/(-1 - -1 - 1). Let p(s) = s**2 + s + 4. Let t be p(x). Let y = -3 + t. Does 7 divide y?
True
Suppose 0 = -h + 13 + 11. Is 8 a factor of h?
True
Suppose 0*z + 16 = 2*z. Let l(w) = -w**3 + 10*w**2 - 11*w - 8. Let t be l(z). Suppose 2*b + t = 2*q - 0, -44 = -5*q - 4*b. Is 4 a factor of q?
True
Suppose -4*u + 16 = 0, 189 + 227 = 5*d - u. Does 10 divide d?
False
Let h(c) = 14 - 2*c + c - 9. Is h(-4) a multiple of 7?
False
Let r(j) = -67*j**3 + 1. Does 17 divide r(-1)?
True
Suppose -2*s - z = -0*s - 105, -4*s = -5*z - 245. Is s a multiple of 22?
False
Suppose 4*v - 4 - 2 = -5*s, -s - 5*v = 3. Suppose -3*o - 120 = -5*h, -3*o = -s*o. Is h a multiple of 21?
False
Let h be (-2)/(-7) - 860/(-28). Let l = h - -1. Is 12 a factor of l?
False
Suppose -z + h + 117 = 0, 5*h + 153 + 78 = 2*z. Is z a multiple of 15?
False
Suppose -13 + 1 = -4*q - 3*g, q - 4*g - 3 = 0. Suppose 6 = q*r, r + r - 108 = -4*s. Is 9 a factor of s?
False
Let o(n) = 2*n**2 + 6*n + 2. Let p be o(-9). Suppose 5*b + 25 = 0, -2*b = 5*d - 4*b - p. Is ((-36)/15)/((-2)/d) a multiple of 19?
False
Let o = 2 + -5. Let u(f) = -f**3 + 5*f**2 + 3*f - 1. Is 17 a factor of u(o)?
False
Does 7 divide (-15 - -14)/(1/(-189))?
True
Let n(i) be the second derivative of i**5/20 + 5*i**4/12 + i**3/2 - 2*i**2 - 2*i. Let t be n(-3). Suppose 48 = -2*o + t*o. Is o a multiple of 13?
False
Suppose 5*p - t = 3*t + 18, 0 = 5*t + 10. Let w = 81 + p. Suppose o = 2*a - 79, -4*o + w = 2*a - o. Is 18 a factor of a?
False
Let x(a) = a**2 + a - 8. Is 4 a factor of x(6)?
False
Let i(g) = 6*g - 3. Let v = -14 + 19. Is 13 a factor of i(v)?
False
Suppose 11*u = 13*u - 364. Is u a multiple of 13?
True
Suppose 11*h - 12*h = -24. Does 3 divide h?
True
Let f be (-29)/(-9) - 6/27. Suppose -51 = 3*a + 4*t - 266, -4*a + 2*t = -316. Suppose 2*h - 71 = -f*o, 2*h + 14 + a = 3*o. Is o a multiple of 9?
True
Does 11 divide 78/182 + (-1 - (-81)/7)?
True
Suppose 3*x = 7 - 4. Does 14 divide x/(-5) - (-4437)/85?
False
Let b(o) = -o**2 + 4*o + 7. Let w be b(5). Suppos