 be 480/18 + 1/3. Let z = 47 - g. Is 10 a factor of z?
True
Let s = -405 + 767. Suppose 3*c + 10 = 3*r - s, -c - 4 = 0. Is r a multiple of 24?
True
Let v(z) be the third derivative of z**5/15 + z**4/24 - 7*z**3/3 - 5*z**2. Let n(p) = 16*p**2 + 4*p - 56. Let k(w) = -2*n(w) + 9*v(w). Is 27 a factor of k(-5)?
True
Let v = -2049 - -2650. Is 11 a factor of v?
False
Suppose 3*n - 17 + 2 = 0. Let d be n + -8 - 0/(-1). Is 11 a factor of 37 - 1 - d/(-1)?
True
Is 90/(2/(-7)*(-11)/22) a multiple of 35?
True
Let s = -8 - -8. Let h be (27 - (s - -2))*2. Does 15 divide h - 6 - (-1 + 0)?
True
Suppose 8*l + 48 = 4*l. Does 30 divide ((-33)/l + 3)*-4*-6?
False
Let i be ((-16)/(-6))/(0 + (-6)/117). Does 9 divide -1 + (-1408)/(-18) - i/(-234)?
False
Suppose 0 = -4*i - 4*l + 3484, -4*l - l - 1756 = -2*i. Is 72 a factor of i?
False
Let h(a) = a**3 - 27*a**2 + 6*a + 2. Is h(27) a multiple of 11?
False
Let n be (66/(-14) - -3)/((-2)/7). Suppose n*u = 4*u + 54. Is 15 a factor of u?
False
Is 16 a factor of 1352 + 40/(-10 + 15)?
True
Let l(i) = 436*i**2 - 10*i - 28. Is l(-2) a multiple of 7?
True
Let g = -4 - -2. Let m(l) = l**3 + 9*l**2 + 10*l + 2. Let a be m(-6). Let f = g + a. Does 16 divide f?
True
Let p = 1388 + -904. Is 15 a factor of p?
False
Let w(c) = 284*c - 192. Is 16 a factor of w(4)?
True
Suppose 2*h - h + 4 = 0. Suppose 24*z = 20*z - 1440. Is h/(-14) - z/14 a multiple of 3?
False
Let c(i) = -i + 12 + 5 - 9. Suppose k = -s - 18, s + 0*s + 74 = -5*k. Does 12 divide c(k)?
False
Let j = -92 - -95. Suppose -j*z + 349 = -2*s, -s = -z - 0*z + 115. Does 17 divide z?
True
Suppose 0 = 483*a - 476*a - 5292. Is 84 a factor of a?
True
Let g(c) = c**2 + 7*c - 45. Let x be g(-12). Suppose 0 = -7*q + x + 384. Is q a multiple of 56?
False
Let s = 48 - -40. Let t(a) = 6*a - 44. Let w be t(36). Suppose 60 - w = -m - 4*n, 0 = -m + 2*n + s. Is 24 a factor of m?
True
Let g = 363 + 129. Suppose -s = -5*f + 634, s = -4*f - 2*s + g. Is f a multiple of 42?
True
Let x = 26 - 21. Let j = x + 50. Is j a multiple of 4?
False
Let u(y) be the third derivative of -y**5/60 - 5*y**4/12 + y**3/6 - y**2. Let b be (-4)/(-6) + 232/(-24). Is 10 a factor of u(b)?
True
Is 13 a factor of (-978)/(-4) - (-19)/38?
False
Is (-150 + 132)*124/(-3) a multiple of 31?
True
Let q(t) = t**2 - t + 14. Let b(c) = c - 2. Let z be b(4). Let o(j) = -3*j**2 + 3*j - 28. Let v(l) = z*o(l) + 5*q(l). Is 7 a factor of v(0)?
True
Let m(t) = t**3 + 8*t**2 + 9*t + 5. Let g be m(-6). Let x = 29 - g. Does 2 divide x?
True
Suppose 2*o + 414 = 2*x, -5*o = -3*x - 7*o + 626. Is 16 a factor of x?
True
Let l(c) = -10*c - 4. Let h be l(-7). Let w = -28 + h. Suppose -b = -p - w, b + 4*p = -0*b + 58. Is 10 a factor of b?
False
Let s = 2208 - 744. Is 12 a factor of s?
True
Suppose -2*g = 2*h - 2702, 0 = -2*g + 5*h - 10*h + 2705. Is g a multiple of 75?
True
Let r = -1 - 5. Let h be (-16)/r*189/12. Is 11 a factor of 0 + 31 - h/21?
False
Let b = -4416 + 6916. Is b a multiple of 10?
True
Let p(u) = 5*u**2 + 3*u - u - u + 3 - 3*u + u**3. Let g be p(-7). Let n = 116 + g. Is 5 a factor of n?
True
Let r = 276 - -18. Is r a multiple of 21?
True
Let k(i) = i**3 + 10*i**2 + 3*i + 7. Let f be k(-7). Let n be f/(-5) - 4/10. Let r = n + 57. Is r a multiple of 10?
True
Suppose -s - 2 = -0*s. Is -4 - s*(-310)/(-5) a multiple of 12?
True
Let b = 110 - 121. Let r = 47 + b. Is 4 a factor of r?
True
Suppose 0 = -n - 4*n + 120. Suppose -5*v + n = -2*g + 8, 0 = -2*g - v + 8. Suppose t - g*j - 38 = 0, -5*t - 4*j + 138 = -j. Is 13 a factor of t?
False
Let l be (4/(-10))/((-2)/(-10)). Let w(c) = -2 + 5*c**2 + c**3 + 0 + c + 4 - 1. Is w(l) a multiple of 9?
False
Let x = 98 + -105. Does 25 divide ((-270)/x)/((-1)/(-7))?
False
Suppose 5*i + 132 = 8*i. Let o = i - 10. Is 5 a factor of o?
False
Let f(v) = -v**3 + 5*v**2 + 7*v. Let j(o) = -3*o. Let k be j(-2). Let c be f(k). Suppose 1 = i - c. Is i a multiple of 6?
False
Suppose -t = -4*x - 79, 4*x = -3*t - 72 - 11. Let s be (x/(-25))/(2/130). Is s*2*(-2)/(-4) a multiple of 26?
True
Suppose 813*s + 371 = 820*s. Is 3 a factor of s?
False
Suppose 294 = -0*a + 3*a + 2*y, -4*a = -4*y - 372. Let s = a - 77. Is s even?
False
Suppose 0 = -125*k + 127*k + 36. Is 2 a factor of (k/54)/(2/(-210))?
False
Let f(p) = 3*p**3 - 2*p**2 - 4. Let m(x) = -x**2 - x + 1. Let a(r) = f(r) + m(r). Is 16 a factor of a(3)?
True
Suppose -7*o - 208 = 331. Suppose -2*f = q + 2*q - 221, -3*f - 5*q = -331. Let w = o + f. Is 13 a factor of w?
False
Let o(t) = 43*t - 1. Let d = -36 - -37. Is 9 a factor of o(d)?
False
Let l = -200 - -82. Let z = 167 + l. Is z a multiple of 10?
False
Let p = -366 + 553. Is p a multiple of 20?
False
Suppose -7 = -3*r + 2*x + 7, -2*r + 3*x = -16. Suppose 4*d - 5*j - 337 = 0, -3*d - j = -r*d - 73. Is d a multiple of 13?
True
Let g be (-4)/(3 - 7) + 6. Let k = 29 - g. Is k a multiple of 3?
False
Suppose -6*x + 14 = -4*x. Suppose -3*j + x = 1. Suppose -j*d = 21 - 63. Does 11 divide d?
False
Is ((-506)/(-8))/(2/16) a multiple of 22?
True
Suppose -34*p + 32*p + 2 = 0. Let f(s) = 249*s**2 + s - 2. Is f(p) a multiple of 31?
True
Let u(i) = -2*i**2 - 5*i. Let f be u(-6). Let m be (-72)/f - (-2)/7. Suppose -m*x = -4*x + 116. Does 23 divide x?
False
Suppose 34*a - 20 = 30*a. Suppose -55 = -a*h - 5*o, -4*h + 3*o + 54 = -11. Does 6 divide h?
False
Suppose 42 = 2*a - 2*k, 0*k = 4*a + k - 69. Suppose 4*r - a = -2. Is 14 a factor of 2/r*288/8?
False
Suppose -2*p + 4*s - 24 = 2*p, -4*s - 57 = 5*p. Let m(z) = 4*z**2 + 23*z + 16. Is 19 a factor of m(p)?
True
Let p(g) = -3631*g - 31. Does 75 divide p(-1)?
True
Let q(c) = -14*c**3 - 3*c**2 - 4*c - 2. Let j be q(-2). Suppose -2*n + 0*n - 4*k = -j, 0 = -n + 2*k + 33. Let s = -7 + n. Is s a multiple of 12?
True
Let g = -3400 - -6790. Is g a multiple of 15?
True
Let x = 211 + -143. Suppose -x = -6*o + 10. Is o even?
False
Let g = 3 + 5. Let i(n) = n**2 - 9*n + 5. Let a be i(g). Let w(v) = 2*v**2 + 5*v + 2. Does 5 divide w(a)?
True
Let l = -87 + 587. Is 50 a factor of l?
True
Let o = 1141 - 818. Does 51 divide o?
False
Let o = 1760 + -306. Does 14 divide o?
False
Suppose -36 - 39 = 5*j. Is (68/(-20))/(1/j) a multiple of 18?
False
Let f = -704 - -1242. Does 9 divide f?
False
Suppose 0 = 5*y - 15 - 10. Suppose 7*f - 4*f = -x + 43, -y*f - x = -73. Is 4 a factor of f?
False
Suppose -5*q - 11 = -4*k, -12 = -4*q - k - k. Let t(z) = 168*z**3 - 1. Does 14 divide t(q)?
False
Suppose -356 = 17*o - 21*o. Suppose 0 = -5*y + o + 221. Is 17 a factor of y?
False
Let z be (-10)/(-6*(-3)/711). Is 6/(-21) - z/35 a multiple of 4?
False
Let o be (4/(-8))/(23/(-22) - -1). Let v(t) = -t**2 + 21*t - 6. Is v(o) a multiple of 6?
False
Let w(q) = -q**2 + 22*q + 16. Let a be w(22). Let o = a + 99. Is o a multiple of 23?
True
Let s(p) = -8*p**3 - 4*p**2 - 13*p - 18. Does 3 divide s(-3)?
True
Suppose -4*f = -9*f + 7*f. Let b(j) = j + 73. Does 6 divide b(f)?
False
Is 64/(11 + -19) - -268 a multiple of 13?
True
Let b(r) = -5*r - 42. Suppose -17*u = -18*u - 15. Is b(u) a multiple of 33?
True
Let g = 10 + -16. Is 9 a factor of 3*(g/(-4))/(4/8)?
True
Let j(y) = 13*y - 22. Let z(i) = 2*i**3 - 13*i**2 + 6*i + 5. Let d be z(6). Does 13 divide j(d)?
False
Suppose -v + 4*a - 22 = 49, -4*v - a = 216. Let y = -20 - v. Does 7 divide y?
True
Let w(s) = 8*s + 494. Is w(0) a multiple of 26?
True
Suppose 5*y - 2195 = -3*m, -5*m = 5*y - 183 - 3492. Is 74 a factor of m?
True
Suppose 0 = 570*i - 556*i - 31668. Is 16 a factor of i?
False
Let i = 48 - -1. Suppose 0 = 3*m + 2*d - 108, -34 - i = -2*m - 5*d. Suppose -m = -3*k - 5*v, -v + 1 + 1 = 0. Is k a multiple of 8?
True
Let i be (-39)/13*(1 - 2). Let c be (-2 - -3) + -28 + i. Does 8 divide ((-36)/27)/(2/c)?
True
Suppose 0 = y - 0 - 2. Suppose -u - y = -4. Does 22 divide (-1)/(226/114 - u)?
False
Suppose 258 = 3*h + w - 359, 3*w - 1027 = -5*h. Does 4 divide h?
False
Let c = 3 - 0. Let d be 5/10*126/c. Suppose 0 = 2*g + g - d. Does 6 divide g?
False
Suppose -22 - 10 = -8*v. Is 24 a factor of ((-1038)/(-7) - -5) + v/(-14)?
False
Let t(u) = 68*u**2 + 8*u + 2. Is t(-3) a multiple of 16?
False
Let c(h) = -h**3 + 6*h**2 + 2*h - 3. Let y be c(5). Let k = y + -23. Is 9 a factor of k?
True
Let w(b) = -24*b - 90. Is w(-12) a multiple of 21?
False
Suppose 0*s - 642 = -2*b - 5*s, b - 324 = -4*s. Doe