n) = -n**3 + 5*n**2 + 3*n - 4. Let r be s(4). Let m = -112 + 110. Is 6 a factor of (m + 3)*(0 + r)?
True
Suppose -623 = 8*j - 127. Let o = -48 - j. Is 14 a factor of o?
True
Let b(c) = 4*c**2 + 4*c + 13. Let s(n) = -3*n**2 - 3*n - 12. Let r(u) = -4*b(u) - 5*s(u). Is r(0) a multiple of 8?
True
Let p = -10 - -25. Is 2 a factor of (-10)/p*51/(-2)?
False
Let j = -41 + 266. Is 75 a factor of j?
True
Let f(t) = -4*t - 9. Let h be f(-6). Suppose -h = 3*i + 2*i, 5*l - 917 = -i. Is 24 a factor of (12/(-16))/((-2)/l)?
False
Let i(k) = k**3 - 15*k**2 - 15*k - 2. Let u be i(16). Suppose 33 = -4*v + v. Let p = v + u. Is 2 a factor of p?
False
Suppose s = -5*u + 5*s - 1, -5*s + 29 = 3*u. Suppose -137 - 178 = -u*m. Does 32 divide m?
False
Let l(z) = -3*z + 2. Let b be l(-3). Suppose 4*o - 47 = -b. Suppose 2*h - 39 - o = 0. Is 7 a factor of h?
False
Let k be 4/(-6) - 8/(-3). Let s = k + -2. Suppose 0*f + 6*f - 216 = s. Is 9 a factor of f?
True
Let n(t) = t**3 + 3*t**2 - 20*t - 6. Does 2 divide n(5)?
True
Suppose 0 = 2*u - 3*u + 111. Is 44 a factor of u?
False
Suppose 0 = 77*s - 72*s - 45. Let w(j) = 6*j + 6. Does 10 divide w(s)?
True
Let s(n) = -n + 10. Let d be s(7). Suppose -34 = -d*b + 14. Let i = 3 + b. Is i a multiple of 19?
True
Suppose -5*g - 11 = -3*l, -2*l + 17 = -5*l - 2*g. Let c be 1*(-2)/(l + 2). Suppose 0*j = -5*j - 5*z + 110, -3*z - 24 = -c*j. Does 6 divide j?
True
Suppose -s - 4*u = u - 993, 0 = 3*s - 2*u - 3030. Is s a multiple of 86?
False
Let m = 45 + 74. Does 3 divide m?
False
Let v = -10 + -10. Let x be (24/v)/((-6)/285). Suppose 0 = 4*z - 7 - x. Does 4 divide z?
True
Let t(w) = -15*w - 5. Let a = 19 + -17. Let x(c) = -14*c - 4. Let n(p) = a*t(p) - 3*x(p). Is n(3) a multiple of 7?
False
Let m = 9 + 1. Let n(s) = s**3 - 3 + 0*s**3 + 10 + m*s**2. Is n(-10) a multiple of 7?
True
Let m(i) = -8*i + 12. Let k be m(-9). Suppose h + 5*h = k. Suppose 0*r + 7*r = h. Does 2 divide r?
True
Let o = -13 - 8. Let f = o + 47. Let i = f + 16. Is i a multiple of 14?
True
Let j(r) = 4*r**2. Let x be j(-1). Suppose 2*s - 3*l - 66 = 0, -85 = x*s - 3*l - 211. Is 15 a factor of s?
True
Suppose 0 = -4*x + 3*k + 2*k, 2*k = -x. Suppose -4*l + 15 = l. Suppose x*a - l*a + 198 = 0. Is a a multiple of 22?
True
Suppose -4683 = 113*q - 120*q. Is q a multiple of 20?
False
Let l = 731 + -459. Is l a multiple of 58?
False
Suppose -429*a = -420*a - 9054. Is a a multiple of 6?
False
Let c = 29 - 26. Suppose -30 = -y + c*i, -5*y - 7*i + 207 = -3*i. Is 7 a factor of y?
False
Let s(f) = f**3 - 5*f**2 + 10. Suppose 6*n = 4*n + 14. Let z be s(n). Is 18 a factor of 0 - (z/(-3) - 1)?
False
Let x(a) = -113*a + 103. Does 26 divide x(-3)?
True
Is -3 - (-4221)/28 - 4/(-16) a multiple of 7?
False
Let a(r) = r - 6. Let o be a(5). Is 23 a factor of (o - 116/(-20))*25?
False
Let p(f) = -f**2 + 2*f. Let w(b) = -8*b**2 + 24*b + 6. Let o(a) = -10*p(a) + w(a). Let g = 2 - 5. Is 12 a factor of o(g)?
True
Suppose 2*n - 9 = 1. Suppose -4*y = n*u - 0*u - 384, -2*y - 328 = -4*u. Suppose 8*g = 4*g + u. Does 10 divide g?
True
Let c(u) = -9*u**2 - 2*u - 1. Let y be c(-2). Let d = y + 76. Is 10 a factor of d?
False
Suppose 5*d + 3*m - 25 = 4*m, 0 = 2*d - 4*m + 8. Does 2 divide d?
True
Is 13 a factor of ((-143)/(-33))/(-2*1/(-672))?
True
Is (49504/6)/14 + 4/6 a multiple of 44?
False
Let b be (0 - -2)*(-18)/(-9). Suppose -274 = -b*u - 5*j - 29, 3*j = -2*u + 123. Is 18 a factor of u?
False
Let t = 779 - -95. Is t a multiple of 19?
True
Suppose -14664 = -5*m + n, 0 = -101*m + 98*m + 5*n + 8816. Is m a multiple of 17?
False
Let c(r) = 3*r**2 + 25. Is 54 a factor of c(-10)?
False
Let n(j) = -j**2 + 11*j - 6. Let h be n(4). Let v be 4/(-5) + h/(-10). Let x = 41 - v. Does 7 divide x?
False
Let i(m) = 4*m**2 - 4*m - 1. Let o be 2/3 + (-117)/(-27). Suppose 0 = 3*v - o*q + 6, 18 = v + 4*v + q. Is i(v) a multiple of 8?
False
Is (-108185)/(-88) - 6/16 a multiple of 8?
False
Let m = -25 - -29. Suppose -327 = -m*n - 4*x + 3*x, 4*x = n - 86. Is 14 a factor of n?
False
Let y(t) = -t**3 - 15*t**2 - 14*t - 162. Is y(-18) a multiple of 59?
True
Let m(d) = d**2 + 7*d - 12. Let h be m(-7). Let w = -21 + 34. Is 20 a factor of w/(-4*1/h)?
False
Let q(o) = 2*o - 27. Let d be q(23). Suppose -20*m = -d*m - 109. Is 10 a factor of m?
False
Suppose 5*o - p = 227, 219 = o + 4*o + 3*p. Is 2943/o + 6/(-15) a multiple of 7?
False
Suppose 0 = -3*k + k + 14. Let o = k + -3. Suppose w - o*d = 0, 5*w + 0*d - 72 = 2*d. Is 16 a factor of w?
True
Suppose 3*d = d - 4*d. Suppose d = 9*a - 92 - 43. Is a a multiple of 15?
True
Suppose 24 = -n + 6*n - b, 2*b + 3 = n. Suppose -3*d + d = -5*a + 162, -158 = -n*a + 3*d. Is 13 a factor of a?
False
Let z(n) = -2*n**3 - 4*n**2 + 13*n + 12. Let p be z(-5). Suppose 303 = 5*r - p. Is 16 a factor of r?
True
Let m(c) = c**2 + 9*c + 3. Let g(w) = -w**3 + 5*w**2 - 3*w + 6. Let l be g(5). Let k be m(l). Let f(o) = 3*o - 4. Is 4 a factor of f(k)?
False
Let f(b) = 12*b**2 - 5*b - 16. Is f(-8) a multiple of 24?
True
Let v(w) = 2*w**2 + 3*w. Suppose 4*u - 101 = -t, 4*t = 15 + 5. Let q = -22 + u. Does 6 divide v(q)?
False
Let w = -432 - -670. Is 12 a factor of w?
False
Let r(z) = -z**2 + 6*z - 3. Let n be r(5). Let v be (n - (-20)/(-8))*-6. Suppose -v*y = -4*y + 14. Does 13 divide y?
False
Suppose -58 = -3*c + 4*q, 0 + 26 = c + 2*q. Let r = 0 + c. Does 22 divide r?
True
Suppose 0*v = -3*v + 117. Let b = 11 + v. Is b a multiple of 7?
False
Suppose -p + 5*z = -136 + 40, -2*p = 2*z - 132. Does 14 divide p?
False
Let d = 220 + -13. Is 9 a factor of d?
True
Suppose -29*p = -13773 - 12675. Is p a multiple of 57?
True
Let t(v) = v**3 + 11*v**2 - 6*v + 11. Let k be t(-9). Let a = k - 95. Does 33 divide a?
True
Suppose k + 9 = h - 24, 2*h - 270 = 8*k. Suppose 9*z = 4*z + 340. Let j = k + z. Is 17 a factor of j?
True
Let m(k) = k**2 - 8*k + 15. Let o be m(6). Suppose 5*f = 3*f + 3*l + 149, -o*l - 73 = -f. Is 9 a factor of f?
False
Let z be ((8 - 7)*-1)/(2/4). Let x(v) = -v**2 - v - 1. Let l(s) = -23*s**2 - 8*s - 4. Let a(w) = -l(w) + 4*x(w). Is 17 a factor of a(z)?
True
Let s = -1339 + 2269. Is s a multiple of 10?
True
Let f = 548 + -230. Is f a multiple of 11?
False
Suppose -114 = -3*a + 3*n, 3*n + 14 = -a + 52. Is a a multiple of 4?
False
Let n be -3*4 - 0/(-8). Let v be n/(6/(-3)*1). Let z(b) = 2*b**2 - 3. Is z(v) a multiple of 10?
False
Let g be 0 - (3 + 0) - 1. Is g/(-14) - (-96)/7 a multiple of 10?
False
Suppose l + 4*n + 9 + 1 = 0, 0 = 2*l - 5*n - 19. Suppose -l*u + 7*u - 20 = 0. Is u a multiple of 2?
True
Let m = 1 + -6. Is (-208)/10*m/2 a multiple of 26?
True
Suppose -5*d = -151 + 6. Let p = 40 - d. Suppose 3*f - p - 79 = 0. Is 6 a factor of f?
True
Is 3 a factor of ((-9)/2)/(6/(-112))?
True
Let q(x) = 13*x + 3. Let y be q(-5). Let d = 89 + y. Is 654/d - (-2)/(-9) a multiple of 8?
True
Let i(r) = 21*r**2 + 11*r - 3. Is i(-4) a multiple of 20?
False
Let o be (11 + -17)*(-2)/3. Let j = -667 - -947. Suppose -3*u + j = o*u. Is u a multiple of 8?
True
Let i be -1*(-113 - 4)/1. Suppose i = 4*j - j. Is 12 a factor of j?
False
Let r(y) = -24*y - 55. Does 7 divide r(-21)?
False
Suppose 648 = -11*m + 15*m. Suppose 0 = -3*k - 24 + m. Is 23 a factor of k?
True
Let n = 33 + -31. Suppose -6*j + n*j = -160. Does 8 divide j?
True
Let v(w) = w**3 - 3*w**2 - 5*w + 1. Let q be v(5). Suppose -4*f = 2*h + q + 12, 4*h - 5*f + 141 = 0. Let t = -18 - h. Is t even?
False
Is 555/10 - (-9)/(-6) a multiple of 6?
True
Let u(w) = -7*w - 8. Let j(d) = 3*d + 4. Let c(p) = -9*j(p) - 4*u(p). Let l be c(9). Suppose 1 = 5*m - x - 31, -l*m = 4*x - 22. Is m a multiple of 2?
True
Let d(x) = -x**3 - 26*x**2 - 54*x - 28. Does 29 divide d(-24)?
True
Let n be ((-2)/14 - 32/(-28)) + 1. Suppose -n*k + 2*t = k - 242, -5*k = -5*t - 405. Is 8 a factor of k?
True
Let y = 1655 - 633. Is 10 a factor of y?
False
Let d be (-48)/(-15)*-1*(-15)/6. Suppose -482 - 382 = -d*c. Does 15 divide c?
False
Let m = 513 - 342. Is 41 a factor of m?
False
Suppose -3*v = -m + 6, -3*m = -m - 3*v - 9. Let h be (m/(-2))/((-3)/(-20)). Is (-5)/h*(-2 + 124) a multiple of 13?
False
Suppose -3*g + t - 90 = -3*t, 3*g + 90 = 3*t. Let j = 15 - g. Is 5 a factor of j?
True
Is 17 a factor of 40/15*35139/26?
True
Suppose -4*m - 20 = 0, 2*i + 3*m = -0*i + 677. Is 20 a factor of i?
False
Let q be (