- 15*w + 21*w - 1. Is r(9) a multiple of 28?
False
Let f(q) = -q**2 - 9*q - 9. Suppose -7 = 2*j - j. Let y be f(j). Suppose -2*b + p = -4*b + 64, b - 10 = y*p. Does 19 divide b?
False
Let w(k) = k**3 - 3*k**2 - 2*k - 4. Let z be w(4). Is 15 a factor of (z/(-6))/((-18)/2403)?
False
Let u be -3*1*16/12. Let w be (-55)/(-33) - u/(-6). Does 6 divide 130/(-5)*w/(-2)?
False
Let b = 10836 - 6452. Is b a multiple of 32?
True
Let a = 997 - 529. Is 12 a factor of a?
True
Suppose 5*j - 6 = 6*j. Does 24 divide (9/j)/3*-33*6?
False
Does 5 divide 1737/5 - ((-24)/(-60) + -1)?
False
Let b(n) = -n**2 + 7*n - 5. Let h be b(5). Suppose -4*v - h*j = 84 - 282, -3*j = 4*v - 202. Is v a multiple of 17?
False
Let s(j) = j**3 - 7*j**2 - 7*j - 8. Let t be s(8). Let y be (2 + t)/((-8)/(-364)). Let z = y + -35. Is 28 a factor of z?
True
Suppose 18*m = -d + 23*m + 183, 2*m = -4. Is 10 a factor of d?
False
Suppose -4*m - 52 = -256. Let g = -10 + m. Is 11 a factor of g?
False
Does 50 divide (2962/(-10))/(((-117)/45)/13)?
False
Let d(p) = p + 71. Let z be d(-7). Let s = z + -40. Is s a multiple of 6?
True
Suppose -3*n + 0*k - 63 = 3*k, -22 = 2*n - 2*k. Let r = n + 44. Is r a multiple of 6?
False
Let w = 7 - 7. Suppose 0*a - a + 2 = w. Suppose 2*n + a*n + 3*h = 233, h + 253 = 4*n. Is n a multiple of 27?
False
Let t = 26 - 54. Does 9 divide ((-10)/3)/(t/378)?
True
Suppose -343 = -5*o - c, 5*c - 190 - 29 = -3*o. Is 17 a factor of o?
True
Let b(v) = -v**3 + 17*v**2 - 4*v - 3. Is 16 a factor of b(16)?
False
Suppose 3*f + l - 23 = 0, -3*f - l = 3*l - 38. Let q(j) = -10*j - 8. Let x be q(f). Let y = x + 108. Is 20 a factor of y?
True
Let q(o) = -11*o - 1 + 13 + o + o**2. Let m be q(10). Is 11 a factor of m/24 - (-174)/4?
True
Suppose 4*g - 399 = -h, 0*g + 495 = 5*g + 2*h. Does 3 divide g?
False
Let d(j) = -706*j + 42. Is d(-1) a multiple of 43?
False
Let h(x) = 22*x + 0*x**3 + 14 - x**3 - 6*x**2 + 4*x**2 + 17*x**2. Is h(16) a multiple of 22?
True
Does 73 divide 0 + 212 - (-140)/20?
True
Suppose -2186 = -13*f - 314. Is 9 a factor of f?
True
Suppose 0 = -3*h + 5*x + 5, -5*h + 0*x + 4*x = -4. Let f = -3 - -4. Does 14 divide f/(1/28) - h?
True
Let p(k) = 8*k**2 + 9*k - 119. Is p(9) a multiple of 47?
False
Let c = 571 + -402. Does 36 divide c?
False
Let w(d) = -2*d**2 - 9*d + 7. Let q be w(6). Let o = -257 - q. Let z = 258 + o. Is 32 a factor of z?
False
Suppose -5*n + 4*h + 57 + 40 = 0, -h = 5*n - 82. Suppose 15*i + 80 = n*i. Is i a multiple of 8?
True
Let h be (-4)/(-3)*(-6)/(-4). Suppose -5 - 31 = -h*y. Is y a multiple of 10?
False
Suppose -3*m - 4*m - 196 = 0. Let q = m - -13. Let r = 58 + q. Does 17 divide r?
False
Let c(o) = -99*o - 269. Does 12 divide c(-11)?
False
Let s = 11 - 11. Suppose -4*y = -0*y + 4*n - 688, s = -y - 4*n + 178. Suppose -3*g + 1 = -y. Is 19 a factor of g?
True
Let k = 4530 + -2363. Does 71 divide k?
False
Let v(o) = 14*o - 63. Does 74 divide v(26)?
False
Let r(o) = -o - 1. Let y(x) = 8*x - 3. Let v(u) = -2*r(u) + y(u). Does 4 divide v(2)?
False
Let j(l) = l**3 + 2*l**2 - 1. Let v be j(-1). Let w be (2 + -6 + v)*-1. Suppose w*y = -x + 11, 7*y = 3*y - 4*x - 4. Is y even?
True
Is 25 a factor of (-3)/(((-6)/400)/((-2)/(-8)))?
True
Let q(w) be the first derivative of -10*w + 8 - 9/2*w**2. Does 15 divide q(-6)?
False
Suppose -12 = 3*o - 90. Let s = o + -24. Is s even?
True
Let n(h) = 10*h + 28. Is 13 a factor of n(4)?
False
Let o(v) = v**2 + 18*v - 4 - 1 - 26*v + 0*v**2. Is o(-5) a multiple of 15?
True
Let s be 2/((-92)/(-100) - 1). Let p(h) = -61*h**3 - 2*h**2 + 1. Let l be p(-1). Let j = s + l. Is j a multiple of 17?
False
Suppose 1355 = 35*n - 30*n. Is n a multiple of 8?
False
Let w(y) = 2*y**2 - 21*y + 105. Is 19 a factor of w(30)?
False
Suppose 270 = 4*f - 458. Is f a multiple of 14?
True
Let s = 8 - -2. Suppose p - 5*t = s - 42, -t + 136 = -5*p. Is 3 a factor of 1/(-3) - 333/p?
True
Suppose -52*y = -56*y + 36. Let s(c) = 2*c + 12. Does 30 divide s(y)?
True
Suppose -3*y = 2*y - 15. Let i(o) = y*o**3 + 3*o**3 + o**3 - o**3. Does 2 divide i(1)?
True
Suppose 3*x = x + 8. Suppose -4*v - 92 = -k, -8 = 3*v + x. Suppose 5*u = u + k. Does 8 divide u?
False
Let u be (6/(-4))/(3/(-4)). Suppose 5*s = -5*t + 15, 3*t + 6 = 4*t + u*s. Suppose 3*w + 2*d - 143 = t, 3*d - 303 = -4*w - 113. Is 11 a factor of w?
False
Let v = 34 - 62. Let b = v - -53. Suppose -b = -c + 35. Does 15 divide c?
True
Let r = 401 - -812. Is r a multiple of 41?
False
Suppose -2*a - a - 22 = 2*w, 4*w = -2*a - 44. Is 6 a factor of w/2*(4 - 10)?
False
Let w = -642 + 1453. Is 37 a factor of w?
False
Let c be (8/(-16))/(1/(-48)). Let q(b) = -b**3 + 8*b**2. Let g be q(8). Suppose g = -z - z + c. Is z a multiple of 10?
False
Suppose 0*y = 5*y - 10. Let t be 1/1*10/2. Suppose y*w - 119 = 3*o - 35, t*w - 210 = -4*o. Does 26 divide w?
False
Suppose 3*v - 483 = -3*x, 4*x = 4*v + 3*x - 619. Does 7 divide v?
False
Let f(a) = -4*a + 4. Let z(g) = g - 1. Let q(m) = 2*f(m) + 9*z(m). Let i(j) = -9*j - 7. Let p(y) = i(y) + 6*q(y). Is 4 a factor of p(-6)?
False
Suppose 2*f - 23 = -3*v, 2*f + 4 - 12 = 0. Suppose 3*g - 77 = -v*a, 5 = -3*a - 1. Suppose g = 4*d - 3*d. Does 11 divide d?
False
Let z(m) = -m**3 + 20*m**2 + 8*m + 27. Is z(20) a multiple of 31?
False
Suppose -919 = 18*l - 9559. Is l a multiple of 4?
True
Suppose 0 = -5*t + 3*x + 2*x + 355, 3*x - 59 = -t. Suppose -4*j = -t - 248. Is j*(-2 + -1 - -4) a multiple of 20?
False
Let o(m) = -5*m**3 - 3*m**2 - m - 1. Let l be o(-2). Let a = l + -29. Suppose -i = -a*i - 86. Does 21 divide i?
False
Let c(p) = 17*p**2 + 5*p + 4. Let a(h) = h**2 - 1. Let i(b) = 2*a(b) + c(b). Let f be i(-2). Let l = f + 1. Does 17 divide l?
False
Suppose -48*o = -60*o + 8136. Is o a multiple of 53?
False
Let v = -1104 + 2554. Does 46 divide v?
False
Let q be 0/3*-1 - -3. Suppose -25 = 5*g, -4*r - g - q*g = -152. Suppose 0 = -2*u - 3*j + r - 0, -54 = -3*u - j. Is u a multiple of 5?
False
Let a(u) = 2*u - 3. Let k(o) = -10*o + 14. Let i(x) = -14*a(x) - 3*k(x). Let p be i(1). Suppose -p*r + 3*r - 63 = 0. Is 22 a factor of r?
False
Let u be (-6)/(-9)*12/(-8). Let c be 2 + (-4 - 1/u). Let f(b) = -50*b**3 - b**2 - 2*b - 1. Is f(c) a multiple of 20?
False
Is 25 a factor of 6 - (3 + (-201 - -4))?
True
Let r(o) be the second derivative of o**4/12 + 7*o**2 - 24*o. Is 10 a factor of r(6)?
True
Let t(q) = -q**3 - 9*q**2 - 15*q - 36. Is t(-12) a multiple of 24?
True
Let g(t) = t**3 + 13*t**2 + 11*t - 10. Let x = -13 + 3. Does 45 divide g(x)?
True
Suppose 5*r - 8 = 7*r. Is ((-34)/8 - r/16) + 151 a multiple of 21?
True
Is 16 a factor of 10660/18 - 3/27*2?
True
Let m(z) = -z. Let n(f) = 2*f**2 - f - 5. Let a(g) = 3*m(g) + n(g). Is 24 a factor of a(10)?
False
Let b = -23 + 12. Let y = b + 6. Is 16 a factor of (-109)/y - (-4)/20?
False
Let y be ((-20)/6)/(2/(-3)). Let m(f) = 2*f + 42. Let d be m(-19). Suppose -3*r - y*j = -29, -d*j + 28 = 4*r - r. Does 3 divide r?
False
Let q = 431 + 94. Suppose -11*j = -6*j - q. Does 21 divide j?
True
Does 19 divide 133/(-6*4/(-24))?
True
Let k be 18/3 - (-2)/(-2). Let u(t) = 4*t**3 - 2*t**2 + 2*t - 8. Let l be u(3). Suppose 0 = k*o - l - 17. Does 6 divide o?
False
Let s(p) = 2*p - 24. Let c be s(12). Does 43 divide (-43)/(c - (-4 - -5))?
True
Is 2 a factor of 44/3*(-33)/(-11)?
True
Is 4/(-12) - (-1 + (-916)/12) a multiple of 8?
False
Suppose -2*r = -8*a + 7*a + 66, 2*a + r = 127. Does 8 divide a?
True
Suppose 38*l = -5901 + 32311. Is 6 a factor of l?
False
Let r = 667 + -303. Is 43 a factor of r?
False
Let a be 1 - 6*(-3)/(-6). Let c be 462/8 - (-3)/(-36)*-3. Let j = c - a. Is j a multiple of 15?
True
Let d be 389*(6 + -1 - 4). Let c = d - 277. Does 8 divide c?
True
Suppose -m + 36 = 1. Is 2 + m/(4 + -3) a multiple of 37?
True
Let q = -91 - -88. Is -33*((-6)/(-3) + q) a multiple of 3?
True
Let v(p) = -3*p**3 + 6 - 8*p**2 - 5*p**2 + 2*p**3 + 24*p**2. Let j be v(11). Is 3 - (-57 + j/2) a multiple of 15?
False
Suppose -3*v + 10 = 2*v. Let l be (-30)/(-20) - (-3)/v. Suppose p = -l, -3*b + 3*p = -p - 225. Is b a multiple of 17?
False
Let t be 2/1 + 0/(-13). Suppose -29 = -t*z - 5. Let n(q) = q**2 - 12*q + 14. Is 7 a factor of n(z)?
True
Let l be ((-172)/16)/((-3)/(-12)). Let p = -23 - l. Does 16 divide p?
False
Suppose -28 = 2*x - j, -2*x - 3*j = -4*x - 32. Does 21 divide -