 27*l + 11. Let a(n) = -4*j(n) + 5*q(n). Is a(8) a multiple of 3?
False
Suppose -13*y + 78 = -0*y. Suppose 2*h = y*h + 4*m - 3284, -5*m = 2*h - 1636. Is h a multiple of 20?
False
Let l be 148/10*25/40*4. Let t be (-4)/((-4)/(-3) + -2). Suppose -40*z + t = -l*z. Is z a multiple of 2?
True
Let k(n) be the first derivative of n**4/4 - 2*n**3/3 - 3*n**2 + 13*n - 15. Let v be k(8). Let j = v - 209. Is j a multiple of 35?
True
Suppose -138309 + 470095 = 13*s. Is 14 a factor of s?
True
Suppose 7*h + 0*h = 0. Suppose -4*u - 796 = -3*z - 46, -4*u - 12 = h. Is 19 a factor of z?
False
Does 15 divide ((-95592)/(-28))/((-42)/(-30) + -1)?
True
Suppose -6300 = -52*r + 46*r. Let d = r - 564. Is d a multiple of 6?
True
Let w be (-157)/(-10*(-2)/4 - 4). Let o = -63 - w. Let p = o + -51. Is 18 a factor of p?
False
Let w(j) = -11*j - 9 - 2*j + 33*j - j + 22*j. Let y be 1/3 + 8/3. Does 11 divide w(y)?
False
Suppose 252 = 7*h - 7. Let y = 253 + h. Does 4 divide y?
False
Let p = 41 - 38. Suppose 3*f + p*y = -f + 2338, -f + 577 = -3*y. Suppose -2*w = -f + 103. Is w a multiple of 16?
True
Let y(k) = 3*k + 1045. Does 22 divide y(-55)?
True
Suppose 0 = -5*a + 5, -27*l - 15 = -28*l + 4*a. Suppose l*y - 24*y = -6720. Is y a multiple of 14?
True
Suppose 5*a + m - 47 = -3*m, -3*a = -5*m - 6. Suppose 0 = 5*r, a*v + 5*r = 2*v + 1450. Does 29 divide v?
True
Let i = 289 - 154. Let q = i - 87. Is 3 a factor of q?
True
Let l = 2054 - -12987. Does 39 divide l?
False
Suppose 19*b - 14662 = -4*j + 21*b, -j + b = -3665. Is 39 a factor of j?
True
Suppose -5*v + 0*v - 7265 = 0. Let r = v + 3303. Suppose -5061 = -13*k - r. Is k a multiple of 15?
False
Let m(r) = 487*r + 6424. Is 149 a factor of m(-6)?
False
Suppose 6*d - 43050 = -10020. Is 18 a factor of d?
False
Let z(c) = c + 26. Let f be z(0). Suppose -14*m + 229 + 261 = 0. Let q = m - f. Is q even?
False
Let x(q) = -10*q + 37. Let f(b) be the third derivative of 7*b**4/24 - 25*b**3/6 - 12*b**2. Let w(v) = 7*f(v) + 5*x(v). Is w(-5) a multiple of 15?
True
Suppose 2*y = -2*x - 368, 3*x = x - y - 370. Let u = 216 + x. Does 3 divide u?
True
Let r = 13552 + 14348. Does 200 divide r?
False
Suppose -o = -5, -5*o = 2*x - 0*x - 33. Let u(w) = 0*w**3 + 6*w**3 + 4*w**2 - x - 5*w**3 - w. Is u(2) a multiple of 4?
False
Suppose 2*h + 4 = 14, -31 = r + h. Let x be (-1)/((21/54)/7). Let m = x - r. Does 8 divide m?
False
Suppose -2*j = -4*h - 8, -4*j - h + 0*h = -52. Let m be 3/j - (-135)/20. Suppose 0 = -5*n + 3*k + 509, k - 4 = -m. Does 10 divide n?
True
Suppose 9*t + 4*g - 35884 = 5*t, -5*g + 8987 = t. Is t a multiple of 59?
False
Suppose -2*v + 11 - 1 = 0. Suppose a = -v*a - 30. Is 18 a factor of 4/6*(508 - a)?
True
Let b = -17452 - -21333. Is 52 a factor of b?
False
Suppose -9*j - 359 = -10*j. Let f = j + -262. Is 12 a factor of f?
False
Let f be 6*(-6)/9 + (-4)/(-1). Does 51 divide (-49000)/(-160) - (f + 1)/4?
True
Let t = -5293 - -5292. Suppose 1 = -k - 1. Is (t + -1)*(0 - (-51)/k) a multiple of 21?
False
Let m(u) = 2*u**2 + 2*u + 2. Let w be m(-5). Suppose -r - 13 = 2*n, -n - 6*r + 8*r - 9 = 0. Is 31 a factor of (-12)/w - 1304/n?
True
Let o(b) be the second derivative of 89*b**3/3 + 15*b**2 + 27*b. Is 47 a factor of o(3)?
True
Let r = -67 - 34. Let v = 131 - -26. Let s = v + r. Is 7 a factor of s?
True
Let g(x) = x**3 - 8*x**2 - 14*x + 15. Let v(q) = -q**3 + 7*q**2 - 8*q - 8. Let i be v(4). Suppose i*w - 44 = 4*w. Does 14 divide g(w)?
True
Let q(i) = 88*i**2 + 177*i - 10. Does 6 divide q(9)?
False
Let s = 121 - 119. Suppose 5*w + 1196 = s*n, -n + 4*n - 3*w = 1803. Let q = n - 246. Does 30 divide q?
False
Suppose 0 = 4*h + 596*m - 599*m - 8635, 3*h - 6477 = 2*m. Does 31 divide h?
False
Suppose -l = -a + 978, -l - 233 = -2*a + 1716. Is a a multiple of 23?
False
Let p(i) = -2*i**3 + 3*i**2 + 14*i + 44. Let c be p(-5). Let t(l) = -2*l**3 - l**2 + l + 2. Let b be t(-2). Suppose 409 = b*a - c. Is 11 a factor of a?
False
Let t(o) = -o**3 + 8*o**2 - 6*o - 13. Let i be t(6). Suppose 1200 = -i*y + 26*y. Is 40 a factor of y?
True
Let u(i) = -211*i - 15. Let s be u(3). Let j = 1251 + s. Is j a multiple of 28?
False
Suppose o + 78*o + 133055 - 442419 = 0. Is o a multiple of 22?
True
Is 14476/3102*(1019 - (-2)/2) a multiple of 14?
True
Suppose -19*s + 86785 + 12697 = -22612. Does 63 divide s?
True
Let d(s) = -31*s + 19. Let m = -21 - -10. Let g be d(m). Suppose -2*j = 3*j - g. Is 30 a factor of j?
False
Let m = 1907 + -3343. Let d = m - -2396. Does 40 divide d?
True
Let x(g) = 22*g - 109. Let u(z) = -11*z + 54. Let d(y) = -11*u(y) - 6*x(y). Let c(r) = -10*r + 59. Let p(w) = 3*c(w) - 2*d(w). Does 30 divide p(-8)?
False
Let b = -352 - -355. Suppose -3*v + 4*l = -504, -3*v + b*l = v - 679. Is v a multiple of 2?
True
Let p(v) = -v**3 + 8*v**2 - 11*v. Let u be p(4). Suppose 3*d - 32 + u = 0. Suppose a = c - 73, -d*a + 5 = a. Is c a multiple of 37?
True
Let r(n) = n**2 - 4*n + 3. Let o be r(3). Suppose -p + o*p + 166 = -d, -2*d = 2. Is p/4 + (-12)/(-16) a multiple of 9?
False
Is 17 a factor of 8666 + (-6 - ((-10)/(-20) + (-13)/2))?
False
Does 18 divide (-13 - (-1485)/(-77))*13615/(-10)?
False
Let p(s) = 641*s**2 + 31*s - 2. Is p(-3) a multiple of 13?
False
Suppose 0 = -4*p - x + 682, -173 = 3*p - 4*p + x. Let q = 749 - p. Is q a multiple of 47?
False
Suppose -6*y = -72 + 30. Suppose -y*q + 6*q = -6. Let j(d) = d**3 - 2*d**2 - 5*d + 6. Does 20 divide j(q)?
True
Let x be (-15)/(-6)*32/40. Is (1 + -61 - x)/(-3 - -1) a multiple of 3?
False
Let g = -587 - -592. Suppose -20 = g*o, -o - 34 = -2*f + 36. Does 3 divide f?
True
Let m(v) = -13*v**2 - 2*v + 43. Let j be m(-6). Let f(k) = -26*k - 13. Let s be f(10). Let n = s - j. Does 29 divide n?
False
Let m(k) = 4*k - 269*k**3 + 1 + 539*k**3 + 8*k**2 - 269*k**3. Is m(3) a multiple of 28?
True
Let j(k) = k - 16. Let z be j(21). Suppose -42 = -4*d + z*l, 9*l = d + 6*l - 7. Does 13 divide d?
True
Let d be (8 + -6)*165/(-6). Is 9 a factor of 1 + 12 + (-55 - d)?
False
Let q = -13 - -5. Let g(x) = -27*x**2 + 34*x + 16. Let t(y) = -8*y**2 + 1. Let z(i) = g(i) - 4*t(i). Is z(q) a multiple of 15?
True
Let m(i) = 24*i + 37. Let v be m(8). Let r = -105 + v. Suppose -5*d + r - 13 = b, 5*b - 475 = -5*d. Does 6 divide b?
False
Suppose -56*f + 185894 + 148149 = -665445. Does 8 divide f?
True
Suppose 0 = -2*k + i - 10, 3*k - 5*i - 15 + 9 = 0. Let q(r) = 0 + 4 + r**3 + 9*r**2 - 3 + 6*r. Is q(k) a multiple of 4?
False
Let h(n) = 9 - 72*n**2 - 25 - 2*n + 4*n**3 - 16*n + 42 - 10*n. Is h(19) a multiple of 69?
False
Let n be (-15)/21 - (-4)/(-14). Let b be ((-55)/(-10))/(n - 6/(-4)). Suppose -33 = b*x - 165. Is x a multiple of 4?
True
Suppose -15*f = -2*f - 494. Is 1086/(-4)*f/(-57) a multiple of 13?
False
Suppose -35 = -63*o + 56*o. Suppose -o*b = -288 - 27. Is 8 a factor of b?
False
Suppose -2*z + 4 = 0, 0*z = -5*u - 4*z + 13. Let x be 9/(u - -2) + 158. Let g = -24 + x. Does 16 divide g?
False
Let b = 15322 + -15050. Is b a multiple of 24?
False
Let v(a) = -a**3 + 10*a**2 + 3*a + 11. Suppose -73 = -8*g - 9. Let z be v(g). Let w = z - 53. Is 22 a factor of w?
True
Suppose 0 = -35*u + 4*u + 104904. Is u a multiple of 47?
True
Suppose -23*x + 17*x - 6 = 0. Let l be 6 + 5/(-5) + 1/x. Suppose -276 = -v - 2*c, c = -l*v + 1398 - 315. Is 45 a factor of v?
True
Suppose 5*i - 24 = 1. Let d be ((-436)/1 - i) + -1. Let g = -182 - d. Does 13 divide g?
True
Suppose -140*b + 447024 = -128*b. Does 53 divide b?
False
Let a be 42/((-26)/(-4) - 5). Let n be (2 + 1)/(42/a)*-2. Does 13 divide 3330/(-36)*n/5?
False
Is 10 a factor of ((-32)/(-16))/((-12)/(-40860))?
True
Let f(s) = -s**3 - 9*s**2 + 8*s - 18. Let o be f(-10). Suppose -2*u + o = -116. Is 4 a factor of u?
False
Suppose 4*h + 160 - 192 = 0. Suppose -3*j + r + 400 = 0, 6*j = h*j - r - 265. Does 27 divide j?
True
Let a = -18 - -32. Let v(t) = t**3 - 8*t**2 - 2*t + 4. Let h(k) = k**2 + k + 1. Let c(p) = 6*h(p) - v(p). Does 38 divide c(a)?
True
Let z = 1237 - 1203. Let i be 4/(-1) - -2 - -11. Let d = z - i. Does 5 divide d?
True
Let q(v) = 30*v - 103. Suppose 163*c + 246 = 169*c. Is q(c) a multiple of 11?
False
Suppose 3*m + 408*r - 269355 = 407*r, 2*r - 359146 = -4*m. Is m a multiple of 53?
True
Let x(r) be the first derivative of 15*r**2/2 - 19*r - 20. Let t be x(8). Let w = 3 + t. Does 13 divide w?
