ose 5*j - 5*h - 242 - 333 = 0, p = -5*j + 2*h + 575. Is 13 a factor of j?
False
Let o = -267 + 503. Suppose 2*f - o = -3*p - p, -4*p = f - 122. Is f a multiple of 6?
True
Suppose -2*x + 73195 = 9*x + 2949. Is x a multiple of 62?
True
Let k(w) = 4395*w**2 + 22*w - 25. Is k(1) a multiple of 12?
True
Let m = 53 - -61. Suppose 22 + 14 = -q - c, 3*q = 3*c - m. Let k = -22 - q. Is k a multiple of 3?
True
Suppose -91*a = -2590702 - 1522498. Does 20 divide a?
True
Is 0 + (288/384)/(6/16856) a multiple of 7?
True
Suppose 297*c - 301200 = 257*c. Does 18 divide c?
False
Let f(l) be the third derivative of l**5/20 - 7*l**4/24 - 2*l**3/3 - 11*l**2. Let j be f(-4). Suppose 4*o + 2*o - j = 0. Does 6 divide o?
True
Let w = -14 + 14. Let z(a) = -a**3 + 3*a**2 + 5*a + 270. Is 54 a factor of z(w)?
True
Let v(p) = p**3 + 4*p**2 + p + 3. Let c be v(-4). Suppose r = -5 + 3. Is ((45 + c)/4)/(r - -3) a multiple of 3?
False
Suppose 5*d + 4*p = 10, d + p = 4*p + 2. Suppose -d*v - 4*u + 41 = -3*u, v + 3*u - 13 = 0. Suppose t - v = -4. Is t a multiple of 5?
False
Suppose 3*x + x = -208. Let m = -48 - x. Suppose m*c + 4*q = 224, -161 = 3*c - 6*c + 4*q. Is c a multiple of 6?
False
Let f(h) = 15*h**3 + 11*h**2 - 12*h + 1. Let r(s) = 7*s**3 + 5*s**2 - 6*s + 1. Let a(z) = -6*f(z) + 13*r(z). Is 2 a factor of a(4)?
False
Let f(n) = -n**3 + 12*n**2 + 31*n - 15. Suppose i = 2*a + 10, 0 = i + 3*i + 3*a - 51. Is 34 a factor of f(i)?
False
Suppose 16328 = 25*h - 8497. Suppose -2*l = -h + 33. Is l a multiple of 8?
True
Let r = 269 + -257. Let j(i) = -i**3 + 12*i**2 + 31*i - 25. Is 49 a factor of j(r)?
False
Is (27*(-196)/105)/(36/(-120)) a multiple of 26?
False
Suppose 22*i - 43 = 45. Suppose i*q - 21216 = -22*q. Does 68 divide q?
True
Let z be (11 + -7)/((-2)/(-3)). Let p(q) = 3*q**3 - 13*q**2 + 8. Let r be p(z). Let y = r + -131. Does 24 divide y?
False
Suppose -27*d + 23*d = 76. Let k = -21 - d. Is (k - (-837)/12) + 2/8 a multiple of 23?
False
Let r be (1*-1)/(8 + (-300)/36). Suppose -r*h + 1043 = -220. Does 10 divide h?
False
Suppose -25*m = -30*m. Suppose m = -7*l + 5*l + 10. Suppose -l*f - 29 = -a, -2*a - 87 = -5*a - 2*f. Does 7 divide a?
False
Let s(l) = 129 + 95 - 193 + 43*l. Is s(8) a multiple of 21?
False
Suppose -3*f + 5371 = 5*r, 3*f = 48*r - 41*r + 5311. Does 18 divide f?
True
Let g = 34040 + -15805. Is 39 a factor of g?
False
Let g(i) = 54*i**2 - 156*i + 26. Is g(-8) a multiple of 22?
True
Let t(i) = 540*i**2 + 35*i + 15. Is 69 a factor of t(-4)?
False
Let o(f) be the first derivative of f**4/2 - 3*f**3 - 3*f - 17. Let u be o(8). Suppose 8*d - 13*d + u = 0. Does 25 divide d?
False
Let m(o) = o**3 - 7*o**2 + 15*o - 13. Let x be m(5). Let a = x + -7. Let z = a + 14. Is 7 a factor of z?
False
Let b = -22306 - -27238. Is b a multiple of 9?
True
Let f(d) be the first derivative of d**2/2 + 17*d - 82. Does 3 divide f(-7)?
False
Is 85 a factor of 49*(4/6)/((-193)/(-59058))?
False
Let l = 312 - 307. Suppose -l*j - 2*r - 289 + 839 = 0, 2*j - r - 211 = 0. Is 12 a factor of j?
True
Suppose -5*g + 62808 = -2*o, 51*o - 54*o = 12. Is g a multiple of 18?
False
Let d(h) = -10*h**3 + 3*h**2 - 3*h + 2. Suppose -5*m = 7*v - 10*v, v = 2*m + 1. Does 21 divide d(m)?
False
Let t(c) = 47*c - 15*c**2 + 17*c - c**3 - 15 - 13*c. Does 3 divide t(-18)?
True
Let d be 9 - (6 - 1) - -2744. Suppose 0 = 10*o - 11*o - 2*y + 555, -y + d = 5*o. Does 61 divide o?
True
Let b = 23475 + -22380. Does 5 divide b?
True
Let g(f) = 31*f**2 - 14*f + 128. Does 16 divide g(10)?
True
Is ((72360/210)/((-8)/(-28)))/(4/22) a multiple of 9?
True
Let o be (-2)/15 - (-1781)/195. Suppose 4*l - 376 = 11*d - o*d, -3*d + 6 = 0. Is 17 a factor of l?
False
Let o(f) be the second derivative of f**4/6 - f**3/3 - 17*f**2 - 119*f. Is o(-10) a multiple of 62?
True
Suppose -2*b + 26 = 4*a, 0 = a - b - b + 6. Suppose -4*o - 3*u = -13, 0 = 4*o + a*u - 8 - 4. Suppose o*s = s + 102. Is 34 a factor of s?
True
Let k(f) = f**3 - 8*f**2 + 6*f + 3. Let v be k(7). Let l be (-4)/(-4)*(3 + v). Is -1 - (-3 + l) - -12 a multiple of 11?
False
Suppose 11*k = -63 - 69. Is 2/10*60/k + 1132 a multiple of 13?
True
Let w = 197 + -335. Is ((-112)/3)/(92/w) a multiple of 3?
False
Suppose 5*z - 5*p - 233 = -2*p, -5*p = 2*z - 118. Let x be (-4)/7 - (-35602)/z. Suppose 3*g - x = -3*s, -4*s + s = -3*g + 696. Is g a multiple of 27?
False
Suppose -3*i + 12056 = -4*f, -2*i = -6*i - 3*f + 16108. Is 107 a factor of i?
False
Suppose -3*i = -4*w - 376, 5*i - w - 244 = 3*i. Does 3 divide i?
True
Let m = 8347 - 1723. Is 36 a factor of m?
True
Let g = -265 - 54. Let t = -208 - g. Is t a multiple of 3?
True
Let u(l) = l**3 - l**2 - 7*l + 7. Let r be u(0). Let o(a) = 28*a**2 - 5*a - 25. Is o(r) a multiple of 82?
True
Suppose -40224 = -4*q - 4*q + 44896. Is 80 a factor of q?
True
Let p = -5590 + 23230. Does 28 divide p?
True
Suppose -41953*z - 328680 = -41962*z. Is 10 a factor of z?
True
Suppose -10*v + 8064 - 684 = 0. Suppose -6*w + 0*w + v = 0. Let h = -60 + w. Does 22 divide h?
False
Let r = -12613 + 19314. Does 6 divide r?
False
Let a = -5140 - -11027. Does 10 divide a?
False
Let w(j) = j + 80. Let m be w(-32). Suppose -2*q + 4*c = -110, 0 = 5*q - 0*c + 2*c - 215. Let k = m - q. Is k a multiple of 3?
True
Let i(a) = -149*a**3 - 6*a**2 - 61*a - 9. Is 287 a factor of i(-5)?
False
Let w(o) = 28*o - 13. Let s(k) = 14*k - 7. Let c(r) = 11*s(r) - 6*w(r). Let d(m) = 7*m - 1. Let u(f) = -3*c(f) - 7*d(f). Does 11 divide u(-2)?
False
Let g = -322 - -349. Is 4 a factor of (-467)/(-9) - (-3)/g?
True
Let u(z) = z**3 - z**2 + 2*z. Let r(k) = k**3 - 8*k**2 - 8*k + 15. Let m(p) = r(p) + u(p). Is m(8) a multiple of 28?
False
Let p be (4/6)/(2/54). Suppose 48 + p = i. Suppose 0 = 2*a - 8*a + i. Is 11 a factor of a?
True
Suppose 3*v - 67267 = -338*a + 336*a, -15 = -3*a. Does 71 divide v?
False
Suppose -6*c + c + 5 = 0. Let z be (-1)/c - (-8 + 7). Suppose 67 = f - 2*j - 35, -f - 4*j + 102 = z. Is 34 a factor of f?
True
Let m = 122 - 119. Suppose m*d = -182 + 593. Is d a multiple of 12?
False
Let w be ((-549)/6)/((-6)/40). Suppose -14*p = -4*p - w. Is p a multiple of 8?
False
Let i(l) = 1599*l - 2803. Is i(5) a multiple of 88?
True
Suppose 85*f - 93*f + 7560 = 0. Is 35 a factor of f?
True
Let d = 2894 + -274. Does 96 divide d?
False
Suppose 4*y - 1975 = 3*y. Suppose 0*m - 421 = -m + 5*c, 5*m + c = y. Does 9 divide m?
True
Let m(f) = f + 11. Let a be m(-8). Let d(g) = -3*g**2 - 12*g**2 + 5 - 2 + g - 8*g**3 + 9*g**a. Does 6 divide d(15)?
True
Suppose 39*u - 34*u = 30. Suppose u*a + 5*a - 792 = 0. Does 18 divide a?
True
Let h(o) = -91*o + 4. Let p be h(1). Let z = p - -206. Suppose 3*q - 571 = -5*c - q, c - 4*q = z. Does 9 divide c?
False
Suppose -44 - 280 = 2*q. Let y(r) = -4*r. Let h be y(-6). Is 13 a factor of (h/18)/((-3)/q)?
False
Suppose 37*k + 8625 = -9135. Let f = k - -1386. Does 63 divide f?
False
Let u(i) = -i**3 + 86*i**2 - 42*i - 447. Is u(82) a multiple of 107?
True
Suppose -3*y - 364 = -v, 4*v + 3*y = -y + 1536. Let k = -266 + v. Suppose 5*o = -4*q + k, -q + 2*o + 25 + 0 = 0. Does 5 divide q?
False
Let v(s) = -s**3 + 8*s**2 + 6. Suppose 3*m - 34 = 2*c, -12 = -m + 2*m + 4*c. Suppose 0 = 3*w - 4*q - 2 - m, q = 3*w - 16. Is v(w) a multiple of 26?
True
Let p = 7235 - 701. Suppose m = -8*m + p. Does 11 divide m?
True
Let p be ((-17)/51)/((-3)/612*-4). Let g(t) = t**3 + 15*t**2 - 36*t - 2. Does 16 divide g(p)?
True
Suppose -2*w - 5*y = 20, -2*w - 5*y = -4*y + 4. Suppose 3*i - 2*m = 2*i + 240, -i - 2*m + 248 = w. Does 25 divide i?
False
Suppose -16*j = -20*j + 58368. Is j a multiple of 152?
True
Suppose 5*i - 34085 = 5*u, -20*u = 5*i - 18*u - 34106. Is i a multiple of 8?
False
Suppose 10309*s - 10299*s = 62000. Is 8 a factor of s?
True
Suppose 115*b - 72*b = 376594. Is 58 a factor of b?
True
Suppose -10*h + 2*h - 32 = 0. Let x be 9/12*24/(h - -7). Is 2/(15/(-970)*(-8)/x) a multiple of 8?
False
Let v(o) = -13*o**2 - 9*o**2 - 7*o + 13 - 2*o**2 + 31*o**2. Is v(8) a multiple of 45?
True
Suppose 20841 - 864 = 5*a + p, 5*p - 11973 = -3*a. Is 37 a factor of a?
True
Let i(n) = -11 - 8*n - 9 - 4*n. Let k be i(-4). Is (3 + 0 - -2)*k/10 even?
True
Let d be (60/16)/(4 + 45/(-12)). Suppose d*h - 504 = 1101. Is 17 a factor of h?
False
Suppose 0 = 19*g - 18*g + 16. Let f(d) = d**2 + 15*d - 16. Let 