-1)/3 + m/21. Suppose 0 = -j*c + 9*c + 206. Is 14 a factor of c?
False
Let u = 122 - -13. Is u a multiple of 4?
False
Suppose -5 = -5*h, 6*h - 1112 = -5*k + 4*h. Does 6 divide k?
True
Suppose 3*n + 22325 = 28*n. Is 19 a factor of n?
True
Suppose 148 = -26*m + 7220. Is m a multiple of 17?
True
Does 39 divide (-1)/5*74080/(-16)?
False
Suppose 45*f - 71556 - 99849 = 0. Is f a multiple of 15?
False
Suppose -3*j + 5 = 2*z + 1, 0 = 5*z + 2*j - 10. Suppose -3*g + 5*x + 20 = 0, -z + 20 = 3*g - 3*x. Is g a multiple of 5?
True
Suppose -2 = -2*z + 4*o + 10, 5*o = -z - 1. Suppose -142 = -z*v + 710. Is 18 a factor of v?
False
Let u be (5 + -4)/((-2)/(-38)). Suppose -p = -37 - u. Suppose 0 = 2*d + p - 164. Is d a multiple of 18?
True
Suppose 6*n - 8*n = 2. Is 5 a factor of (2 + n)/(7/(63/1))?
False
Let o(s) = 16*s**2 - 3*s + 20. Is 15 a factor of o(-5)?
True
Does 68 divide ((-4833)/(-6) - 1) + (-60)/(-40)?
False
Suppose -i + 0 = -3. Let u(s) = 2*s**3 + s**2 - 2*s + 2. Is u(i) a multiple of 9?
False
Suppose 2*i + 0*p = 3*p + 66, 4 = -2*p. Suppose -8*c + 5*c + i = 0. Is 8 a factor of c?
False
Let h be (2 - (0 + -7))*1. Suppose h = 3*x - 0. Suppose -80 = -x*q - q. Is q a multiple of 20?
True
Let x(g) = -4*g. Let b be x(1). Let k be 462/(-98) + b/14. Let p(o) = o**3 + 7*o**2 + 6*o + 5. Is p(k) a multiple of 5?
True
Let v(f) = -f**2 - 2*f - 1. Let c be v(-1). Suppose -3*y = -c*y + 6. Let g = 5 - y. Is g a multiple of 3?
False
Let o = -1809 - -2821. Does 12 divide o?
False
Let b(i) = 15*i**2 + 19*i - 7. Is b(7) a multiple of 7?
True
Suppose 8*j = 9*j - 2. Suppose -j*u - 21 = -173. Is 15 a factor of u?
False
Suppose m + 7*m = -48. Let j(p) = -p**3 - 6*p**2 - 7*p + 3. Is 15 a factor of j(m)?
True
Let f(c) = c**3 - 7*c**2 - 5. Let a be f(7). Let w = a - 1. Is 10 a factor of 5/((w + 2)/(-24))?
True
Let v(t) = t**3 - 2*t**2 + 5*t + 18. Let q = 58 + -52. Does 25 divide v(q)?
False
Let j = 4290 - 2040. Is j a multiple of 10?
True
Let g be (-3)/(-1) - (-1 - 2). Suppose 11*j = g*j - 95. Is 12 a factor of 2/(((-2)/j)/1)?
False
Is 19 a factor of (-41509)/(-182) + 1/(-14)?
True
Suppose 346*h = 337*h + 2673. Does 11 divide h?
True
Let w = -362 + 451. Is 54 a factor of w?
False
Let u(s) = -15*s**3 + 4*s**2 + 5*s + 4. Let b be u(-2). Let q = b - 73. Is q a multiple of 19?
True
Let t(k) = k**3 + 6*k**2 + 5*k + 5. Let a be t(-5). Let c = -89 - -93. Suppose -a*f = -c*f - 107. Is 32 a factor of f?
False
Let y(o) = 3*o**2 - 3*o + 20. Let f be y(4). Let w = f - 52. Is w a multiple of 4?
True
Let b(h) = -h + 4. Let d be b(6). Suppose -4*f + 48 = 32. Does 15 divide d/f + (-154)/(-4)?
False
Let u be (2 - 36/(-4))*-1. Let b = 15 + u. Suppose -b*j + 4*x + 68 = 0, 3*j - x = -0*j + 43. Is j a multiple of 13?
True
Let t(x) = 1129*x - 292. Does 128 divide t(4)?
True
Let q = 2150 - 324. Is q a multiple of 17?
False
Suppose 22 = -5*z - 28. Let s(q) = q**2 + 9*q - 5. Does 4 divide s(z)?
False
Let t(a) = -2*a**3 - 22*a**2 - 11*a + 3. Let l be t(-11). Does 31 divide l/(-8)*(-1 - 1)?
True
Let z(r) = r. Let q be z(-5). Let v be -2*4/(-8) - -4. Does 10 divide v*-10*2/q?
True
Let l(w) = w + w - w + 19. Suppose -2*d = -7*d - 50. Is 3 a factor of l(d)?
True
Suppose 883*w = 885*w - 2084. Is 41 a factor of w?
False
Suppose 0 = -13*z + 12543 + 28108. Does 37 divide z?
False
Suppose -6*r = -169 - 35. Is 17 a factor of r?
True
Let u = 46 + -53. Let s = u + 37. Is 3 a factor of s?
True
Let t be 8/4 - -145 - -2. Is t/3 + 38/(-57) a multiple of 25?
False
Let o = -4275 + 6046. Does 77 divide o?
True
Let r(n) = 3*n - 26. Let d be r(8). Does 3 divide (2 + (-7)/2)/(d/36)?
True
Let d(s) = -s - 165. Let y be d(0). Let t = y - -259. Is 18 a factor of t?
False
Let x be 1 - 3*(-4)/6. Let f(v) = -2 - 2*v - 4*v + 10*v**2 + 5. Is f(x) a multiple of 15?
True
Suppose -16666 = -41*t + 36*t + 4*m, 4*t = -m + 13337. Is t a multiple of 80?
False
Let p(i) = -i**3 - 11*i**2 + 19*i - 3. Is 11 a factor of p(-14)?
True
Let w = -14 + 15. Suppose -5*y = -4*y + 3*s + w, 5*s - 1 = -3*y. Suppose 3*t + 9 = 0, -t - 6 + 27 = y*m. Is 2 a factor of m?
True
Suppose -138*m + 16496 = -122*m. Does 77 divide m?
False
Let i(c) = -c**2 - 7*c + 2. Let s be i(-7). Suppose -2*d - d + s*y + 633 = 0, -5*d = -y - 1055. Is 42 a factor of d?
False
Let d = -9 + 20. Suppose -o = -15 + d. Suppose -x = o*x - 110. Does 11 divide x?
True
Suppose 0 = 5*u - 8*u + 9. Suppose 3*k = -u*v + 18, -3*v + 13 = -5*k + 35. Suppose 0 = k*o - o - 40. Is 10 a factor of o?
True
Let r(v) = v**2 + 6*v + 5. Let q be r(-6). Suppose -21 = 5*z - 4*k - 6, 0 = q*z - 5*k + 15. Let p(w) = -25*w - 9. Does 29 divide p(z)?
False
Let i(d) be the third derivative of d**5/60 - 11*d**4/24 - 7*d**3/6 + 4*d**2. Let y be i(12). Let x = y + 4. Is 9 a factor of x?
True
Suppose 2*h = z + 774, -4*h + 0*z + z = -1550. Let t = -277 + h. Is t a multiple of 7?
False
Let l(w) = -14*w - 35. Is 7 a factor of l(-6)?
True
Let z(j) = -19*j - 22. Suppose -9*o - 15 - 39 = 0. Is 23 a factor of z(o)?
True
Suppose 0 = -146*d + 135*d + 55. Let w(r) = r**2 - 3. Let f be w(3). Suppose y = f*y - 20, d*a - 564 = 4*y. Does 27 divide a?
False
Suppose 6*s = s + 5*w + 30, -3*s + 30 = 3*w. Suppose -3*l = -s - 1. Suppose 0 = -q - l*q + 88. Is 11 a factor of q?
True
Suppose -5*z + q + 102 + 27 = 0, -q = -4*z + 104. Let c = -3 + z. Is 22 a factor of c?
True
Suppose -s + 6 = -3*s, f = -5*s - 15. Suppose f*n + 44 = 2*n. Is n a multiple of 22?
True
Let t(q) = 74*q - 3*q**3 + 71*q + 4*q**3 - 146*q + 144 + q**2. Is 8 a factor of t(0)?
True
Suppose 4*s - 9552 = -2812. Let c = s + -1181. Is 12/(-30) - c/(-10) a multiple of 25?
True
Let u(s) = -103*s + 1. Let z(c) = 154*c - 2. Let w(k) = -8*u(k) - 5*z(k). Is w(1) a multiple of 10?
False
Suppose 4*z + 2*w - 640 = 0, w + 4*w = 0. Suppose z = -2*i + 444. Suppose 4*y - 4*g - 14 - i = 0, 5*g - 205 = -5*y. Does 10 divide y?
True
Suppose -14 = -5*q + 1, 4*q + 2522 = 2*r. Is 24 a factor of r?
False
Let s(r) be the first derivative of -4*r**2 + 5*r - 2. Let h be s(-6). Suppose 2*l = h + 59. Is l a multiple of 14?
True
Suppose 3*x - 340 - 74 = 0. Suppose 21 = -33*d + 219. Suppose d*a = 3*a + x. Is 11 a factor of a?
False
Suppose 46*u - 63*u + 1275 = 0. Does 15 divide u?
True
Let w = -14 + 19. Suppose 2*b = 3*b - w. Suppose -p = 5*u + 1, 3*p + u + b = 4*p. Is p a multiple of 3?
False
Suppose 5*j = -2 + 62. Suppose 0 = 5*h + 3*b + 10 + 32, -34 = 5*h + b. Let v = j + h. Is v a multiple of 6?
True
Let a be 5*(-2 - -3)/(1/2). Is (-273)/(-5) + (8/a)/2 a multiple of 29?
False
Suppose -2 = -g - 1. Let a be (1 + g)*(-5)/2. Let n(q) = -q**3 - 4*q**2 + 3*q - 7. Is n(a) a multiple of 3?
True
Let y be -3 + 1 + (-115)/(-8 - -3). Suppose 13*s + 224 = y*s. Does 14 divide s?
True
Let d(t) be the first derivative of t**4/4 - 17*t**3/3 + 19*t**2/2 + 13*t + 14. Does 23 divide d(16)?
False
Let u(x) = -4*x - 17*x**2 + 16*x**2 + 16 + 4 - 3*x. Does 3 divide u(-5)?
True
Let h(d) = 2*d**2 + 21*d - 22. Is 4 a factor of h(-18)?
True
Let z = 849 - 30. Does 10 divide z?
False
Suppose 4*o - 12 = -4. Let s(h) = -1 - 25*h + h**3 + 0*h + 9*h**o + 13*h. Does 7 divide s(-10)?
False
Let u = -20 + 13. Let m(f) = f**2 + 8*f - 5. Let i be m(u). Is 25 a factor of (-897)/i - 2/(-8)?
True
Let l(k) = -7*k - 19. Let o be l(-3). Suppose 4*b + 1 = -5*d, -o*b + 40 = -4*d + 8. Does 2 divide b?
True
Suppose 64740 = 21*x + 57*x. Is 17 a factor of x?
False
Let h be (-1)/(-3*1/24). Let y = -25 + h. Let d = 27 + y. Does 6 divide d?
False
Suppose u = -0*i + 2*i - 48, -5*i = -2*u - 120. Does 4 divide i?
True
Suppose 0 = 2*j + 1 - 9. Suppose j*a - a = 72. Let w = 60 - a. Is 12 a factor of w?
True
Suppose -5*l - 12 = k - 0*k, -3*l - 9 = 0. Suppose -4*r + 14 + 6 = 0. Let y = k + r. Does 4 divide y?
True
Let r = 124 - 231. Let g(h) = -h**2 - 28*h + 135. Let x be g(-26). Let y = r + x. Is 10 a factor of y?
True
Suppose 25 = 6*l + 7. Suppose l*j + 2*j = 10, 3*j = -4*t + 662. Is t a multiple of 27?
False
Suppose -k = -a + k + 827, 4*a - 4*k - 3304 = 0. Is 55 a factor of a?
True
Let v(i) = 8*i + 347. Is v(17) even?
False
Let w = 8 - -101. Does 37 divide w?
False
Let k be 32/(-6)*60/8. Let m be (128/k)/(2/(-5)). Let b = m + -4. Does 2 divide b?
True
Let g be (10/6)/((-6)/(-18)). Suppose -g*z + q = 20, 34 = -z - 2*z + 5*q. Does 11 divide (z + 52/20)*-165?
Tr