 = 0. Is 50 a factor of m?
True
Let j = 837 + -455. Is j a multiple of 9?
False
Let s = -64 - -17. Let q = 126 + s. Is q a multiple of 10?
False
Let g = 460 - 311. Is g a multiple of 10?
False
Let w be -1 - (723/(-6) + (-1)/2). Suppose 5*s + c - 480 = s, -s - 2*c = -w. Is 7 a factor of s?
False
Let q(c) = 2*c**3 + 8*c**2 + 12*c - 41. Does 53 divide q(9)?
True
Suppose -7*b + 3*b = 60. Let t = 25 + b. Suppose -5*j - t = -60. Does 10 divide j?
True
Let c(i) = i**2 - 35*i + 202. Is 5 a factor of c(29)?
False
Let s(x) be the third derivative of x**6/120 - x**5/60 - 5*x**4/24 - 6*x**2. Does 14 divide s(4)?
True
Suppose -2*y - 3472 = -10*y. Is y a multiple of 31?
True
Let v be -2 + 2 + 0 + 5. Suppose -24 = -v*t + 3*t. Suppose -t - 36 = -3*d. Is d a multiple of 16?
True
Suppose -2*z = -2 + 10. Let d(q) = q**3 + 4*q**2 - 3*q + 3. Does 2 divide d(z)?
False
Suppose p + 5*h = 4*h + 299, -1216 = -4*p + h. Is 32 a factor of p?
False
Let l = 490 - 181. Is l/9 + 24/(-18) a multiple of 8?
False
Suppose -2*j + 36 = 40, 0 = -3*r - 2*j + 3110. Is r a multiple of 13?
False
Suppose 0*j = -k - j, j + 12 = 2*k. Suppose k*m = 181 - 29. Is m a multiple of 19?
True
Suppose 19*l - 17304 = 19176. Is 16 a factor of l?
True
Let k(y) be the second derivative of -2*y**2 + 13/3*y**3 - 3*y + 0. Is k(2) a multiple of 14?
False
Is (-196)/(-147)*222/4 a multiple of 4?
False
Let c(o) = o**3 - 10*o**2 - 7*o + 30. Let r be c(15). Suppose 24*z - r = 17*z. Is z a multiple of 30?
True
Let x be (-96)/36*(-18)/8. Suppose -x = -5*j + 3*j. Suppose 2*t - 5*a = 164, -3*a = j*t - 0*a - 204. Does 12 divide t?
True
Let i(m) = -4*m**3 + 2*m - 35. Does 29 divide i(-7)?
False
Suppose 2*k - 26 = -4*n - n, 26 = 4*n - k. Let g(d) = -d**3 + 6*d**2 + 6*d - 7. Is g(n) a multiple of 28?
False
Let v = 47 + -71. Suppose -5*r + 4*r = -42. Let c = r + v. Does 14 divide c?
False
Suppose 0 = -l - 4 + 51. Suppose -3*w = -5*h + l, 0*h - h - 3*w + 13 = 0. Is 9 a factor of h?
False
Let f = -621 + 737. Is 29 a factor of f?
True
Let t be (-1)/(3/(-8))*1254/76. Let m = t + 12. Is m a multiple of 6?
False
Let r(m) = -m**2 + m + 6. Let a be r(-3). Let g be a - (0 + (-12)/(-3)). Let i = 44 - g. Does 10 divide i?
False
Let l(r) = 15*r + 2. Let a be l(3). Let o = -305 - -330. Let g = o + a. Does 18 divide g?
True
Let q = -12 - -18. Suppose r + 40 = q*r. Does 13 divide (r/10)/((-2)/(-65))?
True
Suppose 32*b + 6*b = 2280. Is b a multiple of 13?
False
Suppose 0 = -5*q - 5 - 20. Let o(n) = 2*n**2 - n - 2. Is o(q) a multiple of 15?
False
Let t = -852 - -1549. Does 28 divide t?
False
Is 76 a factor of (-34)/((-81)/39 - -2)?
False
Let r(v) be the third derivative of -7/30*v**6 + 0*v**5 + 1/6*v**3 + 0*v + 0 + 1/12*v**4 - 5*v**2. Is r(-1) a multiple of 9?
True
Suppose 98 = -2*h + 2*d, -4*d + 244 = -6*h + h. Let s = h - -100. Does 11 divide s?
False
Suppose s - 2*g + 72 = 1615, -3062 = -2*s - 2*g. Suppose 5*i = 3*k + 4*i + 907, 5*k + s = -3*i. Is 4/14 - k/14 a multiple of 7?
False
Is 11 a factor of 362/5*14/((-112)/(-220))?
True
Let v = 20 + 154. Is 29 a factor of v?
True
Let y(m) = -7*m - 12. Suppose -3*r + 86 = 113. Is 25 a factor of y(r)?
False
Let o(c) be the third derivative of c**4/8 - 6*c**3 + 12*c**2. Does 24 divide o(20)?
True
Suppose 6*g - 7 = 4*c + 3*g, -2*g = 4*c - 18. Suppose -5*l - 4*k = -508, l - c*l = 2*k - 98. Does 13 divide l?
True
Let m = -2 + 2. Let w be (-282)/90 + 3 - 1744/(-30). Suppose -3*b - 4*o - w = -181, 2*b + o - 77 = m. Does 26 divide b?
False
Suppose -2*u + 99 = 5*o, 6*o - o = 25. Suppose 4*c - 3*z - 181 = 0, c - u = -0*c - 2*z. Is c a multiple of 11?
False
Let f(q) = 2*q**2 - 7*q + 6. Let m = 39 - 35. Is f(m) a multiple of 5?
True
Let a be (-176)/(-10) - (3/5 - 0). Suppose -14*o = -a*o + 210. Is 8 a factor of o?
False
Let b = 18 - 12. Is ((-34)/b - -1)*(-54)/7 a multiple of 10?
False
Let w = -102 + 96. Is 59 a factor of 63 + (-30)/9 + w/9?
True
Suppose -922 + 8182 = 15*c. Does 21 divide c?
False
Suppose 2*r - 11 + 1 = 0. Suppose -2*i + r*i - 78 = 0. Suppose d - i = 8. Is d a multiple of 16?
False
Let y(l) = -2*l**2 - l - 8. Let v be y(-4). Is 15 a factor of v/(-2) + (1 - 4)?
True
Suppose 3*x + 5*l = 8*x - 50, l = -4*x + 65. Is x a multiple of 5?
True
Let s = 60 - 173. Let b = s - -203. Is b a multiple of 15?
True
Suppose 2 = 2*y - 5*i, -40 = -4*y + i - 0*i. Let d = -9 + y. Suppose d*o = 5*j - 65, 0*j + 5*j - o - 65 = 0. Is 13 a factor of j?
True
Let m(i) = i**3 - 3*i**2 - 5*i + 15. Suppose 17 + 67 = 12*s. Is m(s) a multiple of 26?
False
Suppose 3*p - 54 = -0*p. Let r = p - -47. Is r a multiple of 6?
False
Suppose 4*b = -3*q + 4799, 1625 = q + 11*b - 16*b. Does 20 divide q?
False
Let j(w) = 43*w - 30. Is j(5) a multiple of 45?
False
Let g(k) = 0*k**3 + k + k**3 - 7*k**2 - 2*k + 0*k. Is 14 a factor of g(8)?
True
Suppose 11*f - 9*f = 48. Suppose 0 = -2*w + f + 80. Is w a multiple of 13?
True
Let d(y) = 19*y + 37. Does 48 divide d(25)?
False
Suppose 0*g + 2*y + 216 = 2*g, 0 = -g + 2*y + 112. Suppose 4*z - 3*m + 96 = 5*z, g = z + 5*m. Is 14 a factor of z?
True
Suppose -45 - 85 = -26*f. Let l(a) = 5*a + a**3 + 2 + 0*a**2 - 5*a**2 + 0*a**2. Is l(f) a multiple of 9?
True
Does 24 divide 16/(7 - 165/24)?
False
Let z(x) be the second derivative of 14*x**3/3 - x**2 + 26*x. Is 14 a factor of z(2)?
False
Suppose l - 4402 = -5*g, 0 = -2*l - 1 + 5. Is 7 a factor of g?
False
Let n(v) = 2*v + 7. Let a = 50 - 50. Does 3 divide n(a)?
False
Let y(p) = -228*p + 521. Is y(-18) a multiple of 25?
True
Suppose 0 = -39*l + 44*l - 65. Let j(u) = 7*u - 1. Does 8 divide j(l)?
False
Is ((-5920)/(-3))/(7 + 160/(-24)) a multiple of 35?
False
Let u(a) be the first derivative of a**4/4 - 4*a**3/3 + 5*a**2/2 - 6*a + 4. Is 9 a factor of u(5)?
False
Let i(w) = -3*w - 6. Is 14 a factor of i(-20)?
False
Let h(m) = 28*m + 28. Let l(t) = 9*t + 9. Let v(f) = -3*h(f) + 10*l(f). Let w be v(4). Is (2 + -1)*(w + -4) a multiple of 10?
False
Let h(n) = 677*n**2 + 12 - 338*n**2 - 2*n - 338*n**2. Let m be (2 - 1 - 1)/(-1). Is 12 a factor of h(m)?
True
Suppose -157*j + 25272 = -144*j. Does 54 divide j?
True
Let z(s) = -s**3 - 20*s**2 - 33*s - 93. Is z(-19) even?
False
Let b(a) be the first derivative of -37*a**2 + 4*a + 10. Let u be b(-4). Suppose 5*r = -0*r + u. Is 18 a factor of r?
False
Let l = 13 + -11. Suppose 3*v + 64 = 2*k - 0*v, -72 = -l*k + 5*v. Does 13 divide k?
True
Let q = -25 - -106. Suppose 5*o - 6 = 4*c - 64, 5*c - 2*o = q. Is c a multiple of 17?
True
Let k(a) = -a**2 + 10*a + 2. Let b be k(9). Let l = 29 - b. Is 8 a factor of l?
False
Suppose 8*l = 8687 + 8401. Is 8 a factor of l?
True
Let z(p) = p**3 - 6*p - 1. Let n be z(3). Let r(c) = c**3 - 7*c**2 - 7*c - 7. Let o be r(n). Let s(d) = 79*d**2 - 1. Is s(o) a multiple of 22?
False
Suppose 1 = -3*d + 7. Let o be 2/(3*d/12). Suppose -i = -0*i - o*l - 22, i = 2*l + 20. Is 7 a factor of i?
False
Let b be (4 + -3 - -8)*672/9. Suppose 0 = 8*y - 16 - b. Does 6 divide y?
False
Does 49 divide -1 - (24*43)/(-3)?
True
Let z(h) = -h**2 + 10*h - 14. Let w be z(8). Let c(j) = -4*j**w - 2*j**2 + 0*j**2 - 2 - j**3 - 2*j. Is c(-7) a multiple of 22?
False
Is 24 a factor of 1/1 + (20 - -458)?
False
Suppose 7403 = 23*m + 2527. Is 4 a factor of m?
True
Suppose -10*i - i = 231. Let v = -5 - 2. Let k = v - i. Is 7 a factor of k?
True
Let v = -58 + 15. Let m = v - -57. Is m a multiple of 6?
False
Let i(d) = d**2 - 4*d - 10. Let u be i(-7). Let w = u + -37. Does 30 divide w?
True
Suppose -3*g + 4*a = -2310, -2*a + 394 = 4*g - 2664. Is g a multiple of 20?
False
Let j(b) = 10*b + 12. Let p be j(-1). Suppose 15*y - 238 = -p*y. Is y even?
True
Let j(t) = t**2 + t - 20. Let z be j(-6). Is 10 a factor of ((-8)/z)/((-11)/1100)?
True
Let l(o) = o**3 + 3*o**2 - 6*o - 5. Let b(a) = 2*a + 6. Let t be b(-5). Let q be l(t). Suppose v + 2*f + q*f - 4 = 0, -3*v - 2*f = -25. Does 3 divide v?
True
Let a(d) = 7*d**3 - 27*d**2 + 2*d - 24. Does 6 divide a(7)?
True
Let z = -1157 - -1475. Is z a multiple of 3?
True
Let d be (-1)/((-2 + 0)/(-12)). Let o be 4*1*(-3)/d. Suppose -o*h + 42 = -h. Does 11 divide h?
False
Let v be ((-27)/(-18))/((-6)/16). Is v/2 + (3 - -28) a multiple of 18?
False
Let k = 15 - 13. Suppose -k*n + 7*n = 5. Is (1 + -1 + n)*38 a multiple of 19?
True
Let r be 16/(-4) + 7 - -68. Is 15 a factor of (-2 - (-6)