e 15*n = 18*n - 420. Is 9 a factor of n?
False
Let m(u) = -u**3 - 5*u**2 + 5*u - 4. Let j be m(-6). Let c(o) = -48*o - 142. Let w be c(-3). Suppose 0 = -g - j*g - 4*i + 92, 3*i + 84 = w*g. Does 10 divide g?
False
Let c be (2/6)/(4/(-876)). Let w = -51 - c. Is w a multiple of 11?
True
Let i(o) = -o**2 + 12*o - 1. Let f be i(10). Let h(s) = -s**2 + 22*s - 3. Is h(f) a multiple of 27?
True
Suppose v - 2 - 16 = 0. Let o = 19 - v. Let b(r) = 12*r**2 - 1. Is b(o) a multiple of 10?
False
Let q(r) = -r**3 + 8*r**2 - 4*r - 1. Suppose -4*x - 4*t + 19 = -3*x, -4*x = -5*t - 13. Does 7 divide q(x)?
False
Suppose 4*f = -645 - 739. Let d = f + 598. Is 21 a factor of d?
True
Is ((-75)/(-6))/((-145)/(-348)) a multiple of 10?
True
Suppose 5*a = -2*i + 113 - 7, a = -i + 20. Let r = a + -11. Is 3 a factor of r?
False
Suppose -5*j + 2*j = -5*s + 1451, -s = -2*j - 286. Does 60 divide s?
False
Suppose -26*c + 17982 = 48*c. Is c a multiple of 10?
False
Does 18 divide (2 - 5) + -9 + (941 - -2)?
False
Let m = -7 - 11. Let k be m - 6*2/4. Let d = k - -42. Is d a multiple of 7?
True
Suppose i + 19 = 2. Let q = i + 19. Suppose q*r + 4*t = r + 58, -2*t - 174 = -3*r. Does 25 divide r?
False
Let w(i) = i**3 + 38*i**2 + 4*i - 101. Does 80 divide w(-37)?
True
Let q(o) be the first derivative of -o**4/24 + 3*o**3/2 + 3*o**2/2 + 4. Let n(y) be the second derivative of q(y). Is n(-8) a multiple of 5?
False
Suppose -14 + 71 = 3*h. Let q = h - 19. Suppose q = 5*y - 12 - 33. Does 5 divide y?
False
Suppose 5*u - 4*l = -3*l - 26, -3*u - 26 = 2*l. Let g(o) be the first derivative of o**4/4 + 8*o**3/3 + 4*o**2 - 2*o - 1. Does 11 divide g(u)?
True
Let t = 580 - 279. Is t a multiple of 6?
False
Suppose 0 = -5*f - 382 - 843. Let u = f - -387. Suppose 2*z = -2*z - 3*t + 138, 4*z + t = u. Is z a multiple of 12?
True
Does 15 divide 15509/11 + 19/209?
True
Is (32/(-10))/((-7 + 0)/1540) a multiple of 11?
True
Let w be (6/4)/(51/68). Suppose -w*r + 0*r + 504 = 0. Suppose -57 = 5*i - r. Is i a multiple of 18?
False
Let g(m) = m**3 + 2*m**2 + 4*m + 541. Does 7 divide g(0)?
False
Is 35 a factor of 1/((-2605)/(-8995) - 8/28)?
False
Let u = -1800 - -2532. Does 37 divide u?
False
Is 17 a factor of (4/(-12) - -2)*(934 - 1)?
False
Suppose 0 = 3*o - 8*o. Suppose -3*c + f = -o*f - 62, -82 = -4*c + 2*f. Is 21 a factor of c?
True
Suppose 0 = 4*a - 3*l - 177, 4*a - 132 = 4*l + 44. Is 9 a factor of a?
True
Let t be -3*(0 + 1/3). Let b be (-2)/(-4) - (-27)/54. Is 1/t + 14/b a multiple of 13?
True
Let n = -56 - -201. Suppose 3*h - i = 13 - 2, 12 = 3*i. Suppose 5*f + 7*q = 2*q + n, q = -h*f + 129. Is f a multiple of 10?
False
Suppose 11*c = 22*c - 2618. Is 14 a factor of c?
True
Let q = -125 + 153. Is 14 a factor of q?
True
Suppose -5*b + 291 = 4*o, -o - 148 = -4*b + 68. Let x = 100 - b. Is x a multiple of 15?
True
Suppose -2*z - 14 + 4 = 0. Let x(q) = 2*q + 11 - 2 - 3*q. Is 14 a factor of x(z)?
True
Let g = 698 + -670. Is g a multiple of 14?
True
Let c(s) = -18*s + 54. Does 32 divide c(-50)?
False
Suppose -2 = s - 4. Suppose s*r - 14 = -3*i, 4*r - 2*i - 3*i = 6. Suppose -2*p - 2*x = -3*x - 37, 112 = 5*p + r*x. Does 6 divide p?
False
Let t = -6 - -27. Suppose 0 = 3*y - t - 33. Is 5 a factor of y?
False
Let z(o) = o**3 + 7*o**2 + 2. Let h be z(-7). Let v be (h + 103)*2/3. Let g = v + -26. Does 17 divide g?
False
Suppose 4*q + 10 + 18 = 0. Let d be -21*q/(7/10). Suppose 0 = 5*s - 5*h - d, 22 - 148 = -3*s + 5*h. Is 8 a factor of s?
False
Let p be (8/(-12))/1*-9. Suppose -5*z + p*d + 280 = 10*d, -z = 3*d - 67. Is z a multiple of 26?
True
Let i(g) be the third derivative of -g**4/24 + 5*g**3/3 - 2*g**2. Let l be i(5). Let m(a) = -a**3 + 6*a**2 + 7*a - 12. Is m(l) a multiple of 10?
False
Does 134 divide -12*(-3 - 1950/20)?
True
Let r(s) = -s**3 + 21*s**2 - 19*s - 17. Let d be r(20). Does 2 divide 3/(d/36*4)?
False
Suppose 0 = -3*b - 6 - 0. Let u = b + 18. Let i = 55 + u. Does 14 divide i?
False
Let z(u) = u**2 + 4*u + 27. Is z(9) a multiple of 36?
True
Suppose -56*t = -57*t + 199. Suppose -3*o = -137 - t. Does 14 divide o?
True
Let u(g) = -g**2 + 22*g - 6. Let j be u(22). Let v(y) = y**2 + y. Let r(b) = -4*b**2 - 11*b. Let p(q) = -r(q) - 2*v(q). Is p(j) a multiple of 15?
False
Let k = -453 + 1361. Is k a multiple of 20?
False
Suppose -4*y - 5*i = -5, -4 = -0*y + 3*y - 4*i. Is 19 a factor of 5 + y + 107 + -1 + 4?
False
Let h(l) be the third derivative of 0 + 0*l + 4*l**3 - 1/24*l**4 - 3*l**2. Does 12 divide h(0)?
True
Let a = 528 - 538. Let z be (1 - 4)/(-1*1). Is 43 a factor of a/((-388)/(-132) - z)?
False
Let h(j) = 13*j**2 - j - 4. Let d(z) = -13*z**2 + z + 5. Let l(g) = 4*d(g) + 5*h(g). Is 4 a factor of l(1)?
True
Let b be (44/16)/((-3)/(-564)). Suppose 4*d + g = -b, -3*g = 2*d - 4*g + 251. Is 6 a factor of (14/8)/((-8)/d)?
False
Suppose 0 = i - 4*i. Suppose i = 5*f - 3*h - 8, 0 = -5*f - 3*h + h + 28. Is 13 a factor of (-102)/(-4) + 2/f?
True
Let w be 1/(-2)*(3 + -3). Suppose -5*f + 12 = l, w = 3*l + 4*f - 3*f - 8. Suppose -j - l*j + 24 = 0. Is 4 a factor of j?
True
Let z(l) = l**2 - 12*l - 16. Suppose -18 = 4*o - 2*i, 0*o = 2*o + 3*i - 3. Let u(d) = d**2 - d + 2. Let c be u(o). Does 3 divide z(c)?
True
Suppose 4*x + 12*x - 4032 = 0. Is 7 a factor of x?
True
Let c = 126 + 17. Let i = 208 - c. Does 13 divide i?
True
Suppose 9635 = 22*x - 2069. Is 19 a factor of x?
True
Suppose 0 = -2*o - 120 + 878. Suppose -o = -5*g + 666. Suppose -5*m + 103 = n, 3*m + 157 + g = 4*n. Does 35 divide n?
False
Suppose -2*q = -3*c - q - 14, 22 = -4*c - 2*q. Let i be 1/2*(-180)/c. Let t = i + -8. Is t a multiple of 10?
True
Let i = 80 - 101. Does 30 divide (-532)/(-6) - 28/i?
True
Let w be (-47)/(-9) + 12/(-54). Suppose -s = -2*v + s - 10, w*s - 25 = -v. Suppose 4*p - 60 = -v*p. Does 5 divide p?
True
Let p = 3962 - 1880. Is 77 a factor of p?
False
Let y = 322 + 42. Suppose y = 5*w - 56. Does 21 divide w?
True
Suppose 32*m = 27*m - 5*j + 120, 5*m - 114 = j. Does 23 divide m?
True
Suppose -2*x - 8192 = -4*d, d - 3*x = 726 + 1332. Is 11 a factor of d?
True
Suppose -268*b + 384 = -264*b. Does 23 divide b?
False
Let l = 488 + -340. Does 4 divide l?
True
Let r be -12*(2 - 3) - 2. Suppose 11*o = r*o + 70. Is 10 a factor of o?
True
Let f(q) = q + 10*q - 4953 + 4951. Suppose 8 = 4*w - 8. Does 36 divide f(w)?
False
Let d(t) = -t**2 + 7*t + 8. Let p = 41 - 35. Is d(p) a multiple of 4?
False
Let b(c) = -6*c - 3. Let o be b(-9). Is 7 a factor of 46*o/30 - (-4)/(-20)?
False
Let x(q) = -q**3 - 9*q**2 - 17*q - 5. Let p be x(-6). Let s(d) = 4*d - 14. Let t(g) = 1. Let j(o) = -s(o) - 5*t(o). Is 15 a factor of j(p)?
False
Let t(a) = 8*a**2 + 4*a + 2. Let x be t(-1). Suppose -x*j + 12*j = 54. Is j a multiple of 9?
True
Let k(j) be the second derivative of j**4/6 + 4*j**3/3 - 7*j**2/2 - 12*j. Is 37 a factor of k(8)?
True
Let l(b) = 4*b**2 - 2 + 8*b**2 + b - 5*b**2. Let c be l(6). Suppose 4*k - 4 = c. Is k a multiple of 12?
False
Let j = -9 + 5. Let m be 0/j*(-1)/(-2). Suppose 5*c + 0*c - 105 = m. Is 21 a factor of c?
True
Let i be (4/10)/((-17)/(-8330)). Suppose -f = -3*k - 99, -651 = -5*f - 5*k - i. Does 13 divide f?
False
Let w(r) = r**2 - 2*r + 51. Let v be (23 + -4 - 1) + 1. Is w(v) a multiple of 17?
True
Let g be (-85)/(-25) - (-9)/15. Suppose g*h - p = 47, -h - 3*p = 2*p + 4. Suppose -s = -h + 3. Does 8 divide s?
True
Let l be ((-72)/(-32))/((-3)/(-88)). Suppose -z = l - 272. Let k = -146 + z. Is 12 a factor of k?
True
Let w(k) = 11*k + 17. Let m be w(5). Suppose u = -5*c + 5*u + 88, 4*u = -5*c + m. Does 4 divide c?
True
Let f(s) = 91*s**3 + 2*s**2 + 5*s. Let p(v) = -v - 8. Let o be p(-4). Let n(c) = 183*c**3 + 5*c**2 + 11*c. Let k(i) = o*n(i) + 9*f(i). Does 26 divide k(1)?
False
Let l be 0/3 - (3 - 3). Suppose l = 5*t - 246 + 56. Does 7 divide t?
False
Let c be 8/(12/3)*2 - -12. Suppose 2*h = 60 - c. Does 6 divide h?
False
Let c = 516 + 265. Is c a multiple of 75?
False
Let j = -15 + 8. Suppose 4*q - 20 = c - q, 2*c + 4*q = 16. Let g = c - j. Is 7 a factor of g?
True
Suppose 17*m - 773 = 2151. Does 43 divide m?
True
Suppose -13*v + 2146 = -259. Does 4 divide v?
False
Let t(f) be the third derivative of f**4/6 + 2*f**3/3 - 2*f**2. Let q be t(-3). Does 14 divide (34 - q) + (-1 - -1)?
True
Is 83 a factor of (8/(-6))/(14/(-6237)) + -3?
False
Let g(t)