-2)/7 - 60/(-14). Suppose q*d = 16 - 4. Suppose -o = d*h + 2*o, -2*o = -5*h + 21. Does 2 divide h?
False
Let n(k) = k**3 - 25*k**2 - 215*k + 42. Does 14 divide n(34)?
True
Suppose 5*c + 23*o = 27*o + 440, 3*c - 2*o = 262. Does 2 divide c?
True
Suppose 4*k + 2*c - 108 = -2*c, 0 = 3*k + c - 77. Suppose 4*p - 22 = 3*p - l, -2*l = -p + k. Is 3 a factor of p?
False
Let y be (14/(-3))/((-4)/30). Let z(w) = -4*w**2 - 33*w - 1. Let u be z(-8). Let r = y - u. Is 13 a factor of r?
False
Suppose -2*g = g - 39. Suppose -4*j - 6*i = -i + g, 7 = 4*j + i. Suppose -133 = -4*x + j. Is x a multiple of 7?
False
Let v be 10/(-4)*(3 + -1). Let u = 2 - v. Suppose -5*n - l + 40 = 0, l + u + 1 = n. Is 4 a factor of n?
True
Let z be -4 + 4 + -3 - -5. Suppose -v + u = -81, -z*u = -0*v - 3*v + 242. Suppose -2*r + v = 5*d, -2*d - 3*r = -5*r - 18. Does 14 divide d?
True
Suppose 2*b + 21 = 5*b. Suppose -b*y = -3*y. Suppose -3*f - 45 + 141 = y. Is 25 a factor of f?
False
Let j be 3 - (-6 + 4 - -2). Suppose -4*a = -2*n + 346, -j*a - 929 = -5*n - 85. Does 17 divide n?
False
Let r be 6/(-10) - (-643)/5. Suppose r = 2*h - 2*w, -62 = -h - 4*w + 3*w. Is 7 a factor of h?
True
Suppose x + 0*x = 24. Let o = x + 10. Is 17 a factor of o?
True
Suppose 0 = -d + q - 18, -5*q = -2*q - 9. Let k = -13 - d. Suppose -3*z = -z - 3*u - 80, 5*u - 112 = -k*z. Does 8 divide z?
False
Let r = 676 - 379. Suppose 0 = 12*k - 15*k + r. Does 21 divide k?
False
Let l(n) be the first derivative of 224*n**3/3 - 3*n**2/2 + 3*n - 13. Is 28 a factor of l(1)?
True
Let c be (11*-1)/((0 - 1)/48). Suppose -7*z = -3*z - c. Does 18 divide z?
False
Let g = 12 + -11. Let u = g + -16. Let h = u + 29. Is h a multiple of 14?
True
Suppose 0 = 3*n - 176 + 590. Is 28/21*n/(-4) a multiple of 21?
False
Let f(l) = -6*l + 1. Is f(-7) a multiple of 3?
False
Let z(i) = i**2 - i. Let c = -5 - -11. Let b(h) = -27*h**2 - 3*h - 2. Let r(p) = c*z(p) - b(p). Does 16 divide r(1)?
True
Suppose 0 = 10*y + 42 - 12. Let q(v) = -20*v - 3. Is q(y) a multiple of 3?
True
Suppose 0 = 612*c - 616*c + 1764. Does 63 divide c?
True
Suppose -3*m = 4*f - 2 - 17, -2*f = 5*m - 27. Suppose m*y - 44 - 116 = 0. Let k = -14 + y. Is 6 a factor of k?
True
Let p(v) be the first derivative of -v**4/4 + 7*v**3/3 - v**2 - 4*v - 27. Suppose 2 + 3 = h. Is 12 a factor of p(h)?
True
Suppose z + 241 = -0*f - 4*f, 0 = -z + 5*f - 196. Let r = 62 - z. Suppose 4*c = r + 57. Is c a multiple of 23?
False
Suppose 3*n + 19 = k, -5 = 3*n - 2*n. Suppose 5*d - 42 = k*d. Suppose -5*l = p - 0 - d, 4*l = 12. Does 11 divide p?
False
Let m = 30 - 43. Let z be (-40)/3*(7 + m). Suppose -c = 6 - z. Is c a multiple of 17?
False
Let l(c) = 11*c - 19. Let s be l(-3). Let p = 59 + s. Does 2 divide p?
False
Suppose 3*u = 8 - 2, -2*h + 92 = 2*u. Suppose -h - 2 = -2*m. Does 7 divide m?
False
Suppose 4*a + 4*g + 23 = -153, -g = 2*a + 89. Is a/2*(-4)/3 a multiple of 15?
True
Does 8 divide (-48)/((135/(-20))/9)?
True
Suppose 775 = 5*l - h, 6*l - 805 = l - 5*h. Is l a multiple of 12?
True
Let w(d) = 120*d**2 + 2*d + 10. Is 62 a factor of w(-4)?
True
Let r(a) = a**3 + 11*a**2 - 13*a - 10. Let g be r(-12). Let p(f) = -f**2 + 6*f**2 + f**3 - 2*f + 4 + 0*f**g + 0*f**2. Is p(-5) a multiple of 7?
True
Let w be 18/(-4)*2/(-3). Let l be (9*w)/(4/8). Suppose d + 3 + 1 = 0, 3*r - 3*d - l = 0. Is 14 a factor of r?
True
Suppose -130*b = -127*b - 1200. Does 3 divide b?
False
Let c(i) = i**2 + 7*i + 11. Let t be c(-6). Suppose t*a + 4 = 9*a. Does 16 divide -4 + a - 176/(-4)?
False
Suppose 4*b - 3131 - 2681 = 0. Does 25 divide b?
False
Let i(w) = w**2 + 4*w + 6. Let v be i(-3). Is (93/v)/((3 + -1)/4) a multiple of 17?
False
Let t be -36*(10/(-15))/2. Does 23 divide ((-9)/(-6))/(t/1232)?
False
Let n = 46 + -31. Suppose -975 = -10*r - n. Does 8 divide r?
True
Suppose -5*k = -0*k - 20, -m + k = -94. Let y be (0 - (-29)/(-2))*4. Let p = m + y. Does 5 divide p?
True
Suppose 4*q - 7*q - 8 = 5*m, 16 = 5*q + m. Suppose 5*d - n - 590 = 0, -4*d + q*n - 2*n + 466 = 0. Is d a multiple of 17?
True
Suppose 32*r - 3982 = 31858. Is 10 a factor of r?
True
Let d = 1025 + -110. Is 87 a factor of d?
False
Let a = -278 + 432. Is a a multiple of 22?
True
Suppose 0 = 71*v - 55308 - 17751. Is 39 a factor of v?
False
Let r(o) = o**2 + o - 15. Let s be r(-6). Suppose 0 = -f + 53 + s. Is 34 a factor of f?
True
Suppose a - 4 + 1 = 0. Let v = 42 + a. Is v a multiple of 4?
False
Let y(p) be the second derivative of -p**5/20 - 5*p**4/12 - p**3/6 + 5*p**2/2 + 11*p. Let b be y(-5). Does 9 divide (4/b)/((-9)/(-405))?
True
Is 19 a factor of -4 - -2 - (-2361 - -5)?
False
Suppose 5*x - 1644 - 2701 = 0. Is x a multiple of 26?
False
Let u(y) be the second derivative of 0 + 5*y - 1/6*y**3 + 19/2*y**2. Is u(8) a multiple of 4?
False
Suppose -5*x = -30 + 70. Is (-66)/9*4/(x/39) a multiple of 13?
True
Suppose -2*w = -3*z + 420, -2*w = z - 33 - 115. Is (6/(-21) - z/(-7))*4 a multiple of 10?
True
Suppose 0 = 3*p + 3*b - 6, 0*p + 5*b + 26 = p. Suppose 0 = -5*s - p*s + 2002. Is 32 a factor of s?
False
Let j(u) = u**3 + 10*u**2 + 7*u + 12. Is j(-4) a multiple of 20?
True
Let w(n) = 123*n - 4. Is w(7) a multiple of 59?
False
Let y = 97 - -4369. Let u = y - 1234. Does 2 divide u/272 - 2/(-17)?
True
Suppose 144 = 2*i + 166. Let w(u) = u**3 + 14*u**2 + 17*u + 4. Does 10 divide w(i)?
True
Let c(f) = f**2 + 9*f - 4. Is c(9) a multiple of 11?
False
Let a = 7035 - 4813. Is a a multiple of 101?
True
Suppose 3*b = -x + 506, -341 = -2*b + 15*x - 12*x. Does 23 divide b?
False
Let y(h) = 64 - 65 - h**3 - 23*h**2 + 3*h - 4*h. Does 8 divide y(-23)?
False
Suppose 119 = o - 17. Suppose -5*l = -3*h + 48 + o, -4*h = -2*l - 68. Let q = l + 72. Is q a multiple of 22?
False
Let g = -194 - -487. Suppose -3*q + g = 44. Is q a multiple of 13?
False
Suppose -3*n = 4*g - 190, -g - 136 + 2 = -2*n. Let h = -31 + n. Does 10 divide h?
False
Let o be -9*2*(-3)/18. Suppose -o*v = n - 6*v - 12, v - 28 = -5*n. Is 3 a factor of 4/n*-3 + 5?
True
Suppose 0 = -5*k + 5*h + 195, 24 + 127 = 4*k - 3*h. Suppose -3*o + 5*o - 2*j = k, 4*o - 58 = -j. Does 25 divide (o/(-9))/(4/(-60))?
True
Let q = -61 - -71. Suppose 0 = -q*z + 6*z + 608. Is z a multiple of 33?
False
Let c = 1048 + 3496. Is 64 a factor of c?
True
Let o(z) = -35*z. Suppose -3*l - 23 = 4*g, 10 = -2*l - 3*g - 7. Is 13 a factor of o(l)?
False
Let s be (-1)/(1/(-423)*1). Suppose 689 = 5*l + 4*o, 3*l + 3*o + 9 = s. Suppose -l = -3*h - v, -2*h + h = v - 47. Is 9 a factor of h?
True
Suppose m - 405 = -27*c + 24*c, c - 5*m = 135. Does 9 divide c?
True
Let m(n) = n. Let c be m(1). Let p = 79 + -46. Suppose 0 = -z - 3*o + c - 3, -p = -z + 4*o. Does 13 divide z?
True
Suppose -4*c - 8 = -6*c. Suppose c*j - 9 = 3. Is 20 a factor of (-80)/(-6)*j/1?
True
Suppose -t - 1577 = -5*x, 0*x = x - 3*t - 321. Is x a multiple of 63?
True
Let w(h) = h**3 + 9*h**2 - 34*h - 13. Does 19 divide w(-8)?
True
Is (-527)/(-3) - (-15)/45 a multiple of 31?
False
Is 17 a factor of -1 - (-11005)/(8 - 3)?
False
Suppose -3*d + 1644 = 3*y, -5*y + 29 = 9. Is d a multiple of 17?
True
Suppose -2*c - 7 = 3*m - 3*c, 5*m + 4*c + 23 = 0. Is 72*m/(18/(-4)) a multiple of 16?
True
Suppose 63*i - 60*i + 117 = 0. Let v = 40 - i. Is v a multiple of 22?
False
Let d(n) = 9*n**3 - 5*n**2 + 9*n - 15. Does 25 divide d(3)?
False
Let z(i) = -7*i**3 - 6*i**2 - 6*i - 4. Is 16 a factor of z(-3)?
False
Suppose 2 = g + 6. Let s be (-51)/(-34) - 6/g. Suppose 2*o = 5*d + 13, -d - 51 = -s*o - 4*d. Does 7 divide o?
True
Suppose 2077 = 3*y + 4*w, 17*w = 5*y + 20*w - 3447. Is 10 a factor of y?
False
Suppose -7*s = -794 + 136. Let n = -58 + s. Let u = 51 - n. Is 15 a factor of u?
True
Suppose 0*g + 24 = 4*g. Suppose 2 = v + 2*i - g, 5*i - 21 = -3*v. Suppose 0 = q - 0 - v, -4*j = 4*q - 236. Is j a multiple of 19?
True
Let q(m) = m**3 + 18*m**2 - 8*m - 37. Does 28 divide q(-18)?
False
Does 12 divide 685/(((-2)/(-2))/(2 - 1))?
False
Let v(x) = x**2 - 3*x - 12. Let z be (-9 - -31)/(3 - 1). Is v(z) a multiple of 16?
False
Let p(a) = -6*a - 3. Let u be p(-3). Let k = u + 3. Is k a multiple of 6?
True
Suppose 2*m + 4*k - 250 = 3*k, 368 = 3*m + 5*k. Is 14 a factor of m?
True
Suppose 0*a = 11*a - 11. Is 11 a factor of a*333/(-36)*(-8)/1?
False
Is 28 a factor of (-1 - 26/(-10))/((-4)/(-70))?
True
Let a(m) be the first