, 12*h = -2*f + 11*h + 2719. Is f a multiple of 17?
True
Suppose 0 = 9*p - 10*p + 5. Suppose 5*i - i + p*t - 476 = 0, 2*i - 252 = t. Is 20 a factor of i?
False
Suppose 27*v = 67*v - 6440. Does 7 divide v?
True
Let n be 0/((-3)/9*-6). Let j = -2 + 1. Does 12 divide 36/(j + (2 - n))?
True
Let g(q) = 21*q - 140. Is 17 a factor of g(18)?
True
Let b(c) be the third derivative of c**5/60 + c**4/12 - 17*c**3 + 9*c**2. Let i be b(0). Does 21 divide ((-9)/(-6))/((-3)/i)?
False
Let s = -32 - -48. Does 17 divide (16/s)/((-2)/(-116))?
False
Suppose 9*s - 6*s = 444. Suppose 2*j + 70 = 3*g + 13, -2*g + s = -5*j. Let i = j - -43. Does 13 divide i?
True
Let w = 13 + -8. Suppose -o + 8 = -4*d, 3*o - w*d - 43 = -o. Suppose -36 + o = -2*u. Is u a multiple of 6?
True
Does 53 divide (-176)/(-2024) - (-4874)/23?
True
Suppose -t - 46 = -5*j + t, -j + 16 = 3*t. Let f be j/45 - (-1886)/18. Does 6 divide 4/16 + f/12?
False
Suppose -4*a - 48 = -192. Let f = 59 + a. Is f a multiple of 19?
True
Suppose 2*y - 1775 = -k, -y + 31*k - 36*k + 910 = 0. Is y a multiple of 15?
True
Is 1098 + 1 - (6 - -30)/9 a multiple of 14?
False
Let u be 2 + (-7)/4 + (-110)/(-40). Suppose 2*o - o - 50 = -3*r, 2*o + u*r = 94. Is o a multiple of 23?
False
Let r be 61 - (1 - 1)/(-4). Let n = -22 + r. Is n a multiple of 13?
True
Suppose -q = -3 - 4. Suppose 0 = 4*l - 3*b - 7, l + 3 - q = 3*b. Does 6 divide (l + (3 - 3))*40?
False
Let g(a) = 3*a**2 + 39*a - 21. Suppose -34*p + 38*p - 12 = 0. Let r(j) = 2*j**2 + 20*j - 10. Let k(u) = p*g(u) - 5*r(u). Is 19 a factor of k(11)?
False
Suppose 8*k + 7*k = 930. Is k a multiple of 62?
True
Let w = 390 + 171. Is w a multiple of 34?
False
Suppose -2*p + 2*f + f = -57, -35 = -p - 5*f. Suppose 0*l + 2*z = -5*l + 3190, -655 = -l + 3*z. Does 16 divide (-3)/(-2)*l/p?
True
Let u(x) = 606*x - 3. Is 42 a factor of u(1)?
False
Let k(r) = 7*r + 5. Let g(w) = 6*w + 10. Let c(j) = 2*g(j) - 3*k(j). Let p = -5 - 0. Does 11 divide c(p)?
False
Suppose -2*f = 2*y - 5762, 4*y + 5732 = 7*f - 5*f. Does 27 divide f?
False
Let y be (-131)/(-7) + (-6)/(-21). Suppose -2*k + k - y = -5*r, -k - 1 = r. Suppose -r*t + 5*a = -5 + 4, 3*a - 5 = t. Does 7 divide t?
True
Let b(f) = -24*f + 6. Let h be b(1). Suppose 0 = -l + 2*l. Let o = l - h. Is 9 a factor of o?
True
Let f(v) be the third derivative of v**5/12 + 13*v**4/8 + 23*v**3/6 + 52*v**2. Is 19 a factor of f(-10)?
True
Let o be (-33)/(-7) - 2/(-7). Let v = 451 + -441. Suppose 120 = v*z - o*z. Does 6 divide z?
True
Suppose -4*z - 12 = -4*k, -9 + 1 = -2*k. Let s(c) = -3*c**2 - c - 3. Let d be s(3). Is d/(-4) - z/4 a multiple of 3?
False
Suppose -61*b + 60*b + 47 = -5*r, -2*r = -5*b + 143. Let a = -20 + 2. Let k = b + a. Is 9 a factor of k?
True
Let k = 41 + 9. Suppose k = 4*t - 90. Is t a multiple of 15?
False
Suppose 4*q + y = 10, -y = 3*q - 3*y - 2. Suppose 5*v = 3*u + 2*u + 80, -v = -q*u - 14. Is 3 a factor of v?
True
Suppose 12*t - 48582 = -4278. Is t a multiple of 26?
True
Let d be 0 + -4 + -2 + 4. Let k be d + 3 + 3 + -1. Suppose -2*x - x + k*c = -27, -52 = -3*x - 2*c. Is x a multiple of 7?
True
Let q be (0/(-1) - 9) + 3. Is q/10 - 1976/(-10) a multiple of 48?
False
Suppose n - 5*n = -504. Let x = n + -76. Is x a multiple of 16?
False
Suppose 3*r - r = -2*c - 132, 4*r = -8. Let n = 106 + c. Does 8 divide n?
False
Does 41 divide 1645*(8/7 - 20/140)?
False
Let i(t) = -t. Let v be i(-1). Suppose -v = 2*h + 11. Does 2 divide h/63*9*-7?
True
Let y = 239 + 334. Is 18 a factor of y?
False
Suppose 0 = 2*j - 1 - 7. Suppose 126 + 62 = j*a. Is 12 a factor of a?
False
Let i = 21 + -15. Suppose m - i*m + 155 = 5*c, 5*c = m + 149. Does 10 divide c?
True
Suppose 0 = -6*z + z + 30. Let r(m) = -8 - z*m - 6 + 4. Does 28 divide r(-11)?
True
Let q(v) = -9*v + 31. Let b be q(-9). Suppose -100 = -m - 2*f, -m + 6*f + b = 5*f. Is m a multiple of 27?
True
Suppose 2419 = 26*k + 547. Is 18 a factor of k?
True
Suppose 3*z - 207 - 5444 = c, 4*z - 2*c = 7536. Is 35 a factor of z?
False
Let i be 9912/20 + 8/20. Let a = i - 326. Does 10 divide a?
True
Let p(d) = -d + 14. Suppose 4*u = -42 - 6. Is p(u) a multiple of 3?
False
Let m = 0 - -3. Suppose -5*i = 2*z + m*z - 100, -5*z = 2*i - 91. Let f = 28 - z. Does 3 divide f?
False
Suppose -4*c + 189 = -c. Let f = 158 - c. Is f a multiple of 6?
False
Let t be (-1 - 52/(-8))/(5/(-10)). Let n(o) = -o**3 - 11*o**2 - 15*o - 19. Is n(t) a multiple of 11?
False
Let j(f) = f + 8. Let o be j(16). Suppose 3*r - 2*t = 2*t + 33, 2*t = 0. Let u = r + o. Is 7 a factor of u?
True
Suppose 0 = 2*c - n - 12 + 3, n = -1. Suppose 0 = c*m - 12, 11 = l - m + 32. Is ((-52)/3)/(4/l) a multiple of 26?
True
Let s = -10 - 11. Let p be 24/(-14) - (-6)/s. Is 15 a factor of 59 - (p - (-10)/2)?
False
Let i(z) be the first derivative of 8*z**2 - 10*z + 3. Does 14 divide i(5)?
True
Let o be 2154/8 - ((-4)/(-16) + -1). Suppose -19*y + 4*y = -o. Is y a multiple of 9?
True
Let f = -616 + 1056. Is 20 a factor of f?
True
Let d = 3 + 9. Suppose 6*m = 4*m - d. Let k = m + 22. Does 8 divide k?
True
Let o(m) = -4*m**3 - 7*m**2 - 2*m + 8. Is 20 a factor of o(-4)?
True
Is 3*175 - 0/1 a multiple of 15?
True
Let s = -37 - -40. Is ((-2)/s)/(2 + (-80)/36) even?
False
Let f be (-37)/(-6) + (-5)/30. Is 8 a factor of 56/f + (-7)/((-63)/(-12))?
True
Suppose 0 = 3*o + v - 12, -2*o = 4*v + v - 21. Let q(a) = -4*a + 0*a + 3 + 3*a - 4 - 71*a**o - a**2. Is q(-1) a multiple of 14?
True
Suppose 9*v = 4073 + 337. Is v a multiple of 35?
True
Let t(o) = o**3 - 6*o**2 - 3*o - 7. Let m be t(7). Suppose -m*h + 19*h + 94 = 0. Is h a multiple of 7?
False
Let d be (-185)/(-25) - (-3)/5. Let y = d - 20. Let u = -9 - y. Is u a multiple of 2?
False
Suppose -v - 3 = -2*v. Suppose -v = -t, 0 = -3*u - 7*t + 4*t + 48. Is 3 a factor of u?
False
Let l(p) = -p + 22. Let d = -45 - -34. Is l(d) a multiple of 4?
False
Let v be (14/(-35))/(2/(-15)). Does 6 divide v - -1 - (-476)/7?
True
Let f(y) = -y + 6. Let u(s) = s - 2. Let i be u(6). Let j be f(i). Does 15 divide -2 + 6 - -58 - j?
True
Suppose 1681 = 4*a + 381. Is 13 a factor of a?
True
Let a(f) = -2*f**3 - 8*f**2 + 7*f + 6. Does 9 divide a(-6)?
True
Suppose -127*h = -130*h + 11172. Is 133 a factor of h?
True
Let s(o) = 7*o**2 + o + 2. Let a(l) = -l**2. Let p(z) = 4*a(z) + s(z). Is 25 a factor of p(5)?
False
Suppose x + v = 2*v + 39, 4 = 4*v. Suppose -x = -2*m + 6*m. Let g(o) = -o - 3. Is g(m) a multiple of 3?
False
Let t be 309/12 + (-1)/(-4). Let w be (-2 + -3)*192/(-10). Suppose -5*j = t - w. Is j a multiple of 10?
False
Suppose 5*b - 2*p = 2535 - 604, 3*b + 2*p - 1149 = 0. Is 77 a factor of b?
True
Suppose 10*m = 5*m + 80. Let q(s) = -s**3 + 16*s**2 + 3*s + 5. Is q(m) a multiple of 10?
False
Is 5 a factor of (-2)/(6/(-45)) - (-1 - 2)?
False
Let h = 46 + -81. Let s be (-20)/h - 739/7. Let r = s + 153. Is 16 a factor of r?
True
Is 19 a factor of -2*(-2)/10 + (-65429)/(-65)?
True
Let t(l) = -3*l**2 + 13*l + 5. Let c(y) = 5*y**2 - 19*y - 7. Let j(b) = 5*c(b) + 7*t(b). Is 10 a factor of j(5)?
True
Suppose 0 = -2*q + 121 + 65. Suppose -7*u + 10*u + q = 0. Let g = u - -55. Is g a multiple of 6?
True
Suppose 16 = -0*r + 4*r. Let d(s) = 24 - 6*s + 3*s**2 + 23 - 103 + 32 + 28. Is 6 a factor of d(r)?
False
Let x(n) = -13 + n**3 + 2 + 14*n**2 - 4*n - 10*n - 5*n**2. Is x(-9) a multiple of 43?
False
Let o(w) = 4*w - 16. Let i(r) = r**2 + 3*r + 1. Let a be i(-5). Does 28 divide o(a)?
True
Let k(q) = 64*q**2 + 84*q + 5. Is k(-5) a multiple of 60?
False
Suppose 2255 - 771 = 2*l - 2*r, 4*r + 3706 = 5*l. Does 5 divide l?
False
Let v = 10 - 9. Let w = 15 + v. Is w a multiple of 4?
True
Let m(s) = -2*s**3 - 8*s**2 - 7*s - 3. Let x be m(-5). Suppose 15 = -3*r, 3*k - 3*r + 8*r + x = 0. Let h = 11 - k. Does 12 divide h?
False
Does 9 divide (-7557)/(-21) + ((-20)/(-4))/35?
True
Suppose -7*g - 129 = -4*g. Let p = g + 61. Does 10 divide p?
False
Let u(x) = 6*x**2 - 4*x + 2. Let j be u(3). Suppose -l + 0*q + 2*q + j = 0, -3*l = 4*q - 172. Let h = -16 + l. Does 9 divide h?
True
Suppose 0 = i + 4, -5*c - i = -2*i - 3559. Does 87 divide c?
False
Suppose 5*s + 5*d = -0*d + 245, -3*s + 5*d + 187 = 0. Let j be s/30 - 4/(-20). Suppose -5*g = -2*m + 111, 4*m - 78 = 3*m - j*g. Is 9 a factor of m?
False
Let d(c) = c**2 + 18*c + 23. Let r(s) = 2*s**2 + 37*s + 47. Let q(w) 