23 = -2*r - 0. Let o(m) = 15*m + 2. Let h(n) = r*g(n) + 4*o(n). Does 9 divide h(11)?
True
Let k = -274 - -456. Suppose 0 = -4*s - k + 1430. Does 8 divide s?
True
Let q(y) = -40*y**3 + 8*y + 28. Let k be q(-3). Suppose -8*c + k + 1548 = 0. Does 33 divide c?
False
Suppose -16*n + 13886 = -21314. Is n a multiple of 5?
True
Let r = 25 - 22. Suppose -r*s + 18 = -0*s. Suppose -s*w + 531 = -27. Does 31 divide w?
True
Suppose 5*m + 26*m = -16*m + 8789. Is 3 a factor of m?
False
Let i be (-1)/2 + 8950/20. Suppose 2*d + 5*y - i = 0, -10*d + 959 = -6*d - 3*y. Is 12 a factor of d?
False
Suppose -3*g = -2*n + 22, 2*g - 5*g = -3*n + 27. Let j(l) = 56*l**3 - 4 + 7*l - 32*l**3 - n*l**2 - 21*l**3. Is j(2) a multiple of 8?
False
Let w(y) = -61*y - 17. Let c be w(7). Let f be (c/10)/((-4)/(-20)). Does 24 divide (32/(-12))/(4/f) + 1?
False
Let p(j) = -120*j - 4. Let h be p(-8). Suppose -3*q + 204 = u, -5*u + 6*q = 5*q - h. Is 48 a factor of u?
True
Suppose -2*f + 4*d + 102788 = 0, -332*d = -336*d + 28. Is 27 a factor of f?
True
Suppose -4*u + 4*t + 6 = 2, 2*u + 3*t - 12 = 0. Let f be -2*(-4)/u*(-15)/(-10). Does 8 divide 830/13 - f/(-26)?
True
Is 27 a factor of -389*(-2 + -27) - (-305)/61?
True
Let d(n) = -n - 18. Let a be d(-21). Let k(s) = 87*s - 9. Does 5 divide k(a)?
False
Suppose -13*j - 16 = -14*j. Let b = j + -14. Is 13 a factor of 18 + (-4)/1 + b?
False
Suppose 43*y = 56*y - 163*y + 229500. Is 15 a factor of y?
True
Let g(w) = 60*w**2 - 229*w. Is g(9) a multiple of 9?
True
Let w(x) = x**2 - 6*x + 12. Let s be w(2). Suppose 4*y - 2171 - 433 = -d, 2584 = 4*y - s*d. Is y a multiple of 13?
True
Suppose 1045098 = 73*b - 703982. Does 18 divide b?
False
Let b(z) = -z**2 + 70*z - 465. Is b(37) a multiple of 18?
True
Let h(l) = -2*l**3 + 36*l**2 - 3*l - 64. Let o(p) = -2*p**3 + 38*p**2 - 2*p - 63. Let w(f) = -7*h(f) + 6*o(f). Does 6 divide w(12)?
False
Suppose -59185 = -9*l + 6*l - 5*i, 0 = 2*l - 2*i - 39494. Does 94 divide l?
True
Let f be (-3 - 0) + 4 + 1*3. Suppose 2*q + 26 = -f*o, -7*o + 2*o - 25 = 0. Does 37 divide (5 - 5) + q + 195?
False
Suppose -8*s + 200 = 12*s. Suppose 0 = -2*o + 3*w + 224, -2*w + s = -7*w. Is o a multiple of 109?
True
Let g = -453 - -2613. Is 27 a factor of g?
True
Let g = 8323 + -5411. Does 28 divide g?
True
Suppose -3*d = -4*n - 10084, -2*d - 5*n - 454 = -7169. Is d a multiple of 16?
True
Suppose -11*i - 48 = -19*i. Is (-3*2*(-15)/i)/1 a multiple of 3?
True
Let w(p) = -3*p + 65. Let z be w(21). Suppose -s - 20 = z*l, -3*l - 4*s = -1 + 31. Is l*(-474)/36 + 2/6 a multiple of 6?
True
Let t be 1/((-28556)/9520 - -3). Suppose 0 = h + 3*s - 61 - 404, 5*h + 4*s - t = 0. Is h a multiple of 35?
False
Suppose 1029*n - 30016 = 1021*n. Is 76 a factor of n?
False
Let v(i) = -i**2 + 2. Let y be v(-2). Let d be (-6 + 0)/y - 115 - -2. Does 5 divide d*-2*(-1)/(-4)*1?
True
Let a(l) = l**3 + 28*l**2 + 29*l + 56. Let s be a(-27). Let c(m) = 86*m**3 + m + 5. Is 12 a factor of c(s)?
False
Let n be (6 - (9 - 1)) + 8. Suppose -2*t = -n*t + 136. Does 34 divide t?
True
Suppose -3*o + 16 = l - 2, -5*o = -4*l - 13. Suppose -1 - o = -2*i. Suppose 0 = 3*s + 4*z - 264, 5*s + i*z = 188 + 241. Is s a multiple of 21?
True
Let j(c) = c**3 + 48*c**2 - 48*c + 366. Is j(-46) a multiple of 18?
False
Let y = -253 - -451. Let u = y - 2. Is u a multiple of 24?
False
Suppose 38*k - 50 = 28*k. Let y(f) = 20*f**2 + 14*f - 42. Does 66 divide y(k)?
True
Let y(m) = 2*m**2 - 1. Let v(g) = -10*g**2 - 5*g - 237. Let s(t) = -v(t) - 6*y(t). Is 26 a factor of s(0)?
False
Suppose 29*x = 33*x. Suppose 7*f + 401 - 2039 = x. Does 6 divide f?
True
Let o(v) = v**3 + 5*v**2 - 7*v - 2. Let j be o(-6). Is (-6)/(16/(-2240)*30/j) a multiple of 16?
True
Let s = 18 - 11. Let n(x) = -88*x + 73*x - s - 5. Is 39 a factor of n(-6)?
True
Let x = -241 - -278. Suppose -123 - 45 = 3*h. Is 2 a factor of x/7 + 16/h?
False
Let a be 15/6*(-1 + 3). Suppose a*w = 3*d - 21, -2*d + 4 + 3 = -w. Suppose 0 = d*v - 51 - 115. Is v a multiple of 21?
False
Let c(z) = z + 20. Let d be c(-17). Suppose d*p + 5*p = -528. Does 7 divide -1 - (0 + p + 2)?
True
Let a = -559 + -354. Let h = a - -1173. Does 13 divide h?
True
Suppose -77443 = -5*x + 4*q, -4*q + 19988 - 4461 = x. Does 4 divide x?
False
Let w = -81 - -75. Let k = w + 6. Suppose -5*z - z + 162 = k. Is 16 a factor of z?
False
Let b be -5 + (1 - -5 - 387). Let r = 429 + b. Is 14 a factor of r?
False
Let u be 150*-4*4/32. Let m = u - -95. Is 5 a factor of m?
True
Let n(y) = 349*y - 1626. Is n(7) a multiple of 43?
True
Let k be (0 - -2) + (-1 - -4638). Suppose 4*x + 8*r - 3*r + k = 0, -5*x - 2*r = 5786. Is 32 a factor of 12/(-54) + x/(-18)?
True
Let g(j) = 45*j + 35. Let f be (-50)/(-16) - (-8 - 650/(-80)). Is g(f) a multiple of 11?
False
Let l(o) = -480*o + 5. Let d be l(2). Let k = d - -1531. Does 18 divide k?
True
Let u be ((-2 - 2)/8)/((-1)/12). Let g = u - 22. Is 12/g + 1 - (-446)/8 a multiple of 28?
True
Let v = 4470 - 3889. Is 7 a factor of v?
True
Let p = 3804 + -1743. Suppose 0 = -7*k - 437 + p. Suppose y + 7*y - k = 0. Is 21 a factor of y?
False
Suppose 21 = -5*h + 1. Let o(z) = -5*z**3 - 4*z**2 - 8*z - 6. Let d(m) = -47*m**3 - 35*m**2 - 72*m - 53. Let k(v) = 2*d(v) - 19*o(v). Does 4 divide k(h)?
True
Suppose 32*p - 175147 = -2*p + 407953. Is p a multiple of 25?
True
Let f(q) be the first derivative of -6*q**2 + 9*q**2 - 15 - 4*q**2 - 14*q. Does 22 divide f(-18)?
True
Let u = 10420 + -7323. Suppose -u = -22*r - 83. Is 11 a factor of r?
False
Suppose 37*f = 35*f + 96. Suppose 13*u = 160 + f. Does 35 divide (196/(-6))/(u/(-120))?
True
Suppose 0 = -38*i + 1322266 + 630098. Is i a multiple of 171?
False
Is (54/270)/((-9)/(-2283885)) a multiple of 68?
False
Suppose q + 55 = -92. Let g(d) = 16*d**2 - 4*d - 15. Let c be g(4). Let b = q + c. Does 26 divide b?
True
Let p(s) = 1 - 7 + 17*s - 1 - 2. Let y be p(1). Let z(q) = q**2 + 9*q - 32. Is z(y) a multiple of 8?
True
Let l(b) = -b + 14. Let c(m) = -m + 13. Let n(r) = -4*c(r) + 5*l(r). Let w be n(10). Let u(v) = v**2 + 7*v + 6. Is 16 a factor of u(w)?
False
Let k = 32 - 25. Suppose -12 = 3*d - k*d. Suppose 0 = -d*u - 3*c + 725 - 224, 3*c + 803 = 5*u. Does 55 divide u?
False
Suppose -10*c + 2*c + 2312 = 0. Does 40 divide c?
False
Let k(c) = -c**3 - 9*c**2 - 7*c - 13. Let g be k(-8). Let a = g + 27. Let y = 188 - a. Does 14 divide y?
True
Suppose -16*i + 35*i = 17*i + 15052. Is i a multiple of 66?
False
Suppose 2*v - 189 = 5*o + 211, -4*o = -2*v + 404. Suppose v = -2*i + 7*i. Let t = i + -31. Is 2 a factor of t?
False
Is 76 a factor of 102/(-1)*(31 - 1885/13)?
True
Let m(c) = c**2 - 10*c + 9. Suppose 12*w - 30 = 126. Does 8 divide m(w)?
True
Let a = -2043 - -7368. Is 75 a factor of a?
True
Let s(u) = -11*u + 5. Let h be s(-6). Suppose 3*r - 2*o - 11 - 147 = 0, -r = 3*o - h. Suppose r*a - 57*a + 97 = 0. Does 13 divide a?
False
Let b be (778 - -33)/((-1)/(-3)). Suppose 0 = 3*o - 9, -2*o + b = 3*r - 5*o. Is 19 a factor of r?
False
Let a be -2 + 169/(-2) + 10/20. Let z be (45/10)/9 + a/(-4). Does 13 divide -5*(0 - z) - -1?
False
Suppose 96*s + 39*s = 328860. Is s a multiple of 42?
True
Let z(m) = -m**3 - 5*m**2 - 4*m - 2. Let b be (-8)/(0 - -2) + -36. Let h = 35 + b. Is 15 a factor of z(h)?
False
Let a = -6 - -17. Let x = 0 + a. Suppose -x*u + 6*u = -55. Is 3 a factor of u?
False
Is -5 + (501 + 2 - 11) a multiple of 6?
False
Suppose -3*y - 2*y + m + 1 = 0, 5*y - 2*m = 2. Suppose -s + 2*s = y, 3*j - 5*s = 600. Does 12 divide j?
False
Suppose 25*a - 28*a = -195. Let z = a + 1. Is z a multiple of 11?
True
Let u(r) = 3*r**2 - 31. Let y(c) = -c - 18. Let b be y(-28). Is 72 a factor of u(b)?
False
Let s = 25747 - 8174. Is s a multiple of 55?
False
Does 109 divide 202/(-1111) - (-94815)/33?
False
Suppose -3*l = t - 4691, -16*t + 18*t = -3*l + 4690. Is l a multiple of 25?
False
Let n = 15554 + -15143. Is n a multiple of 7?
False
Let i(s) = 42*s + 2399. Does 43 divide i(92)?
False
Suppose -2*t + 3*t = -2*p + 1830, -4*t + 24 = 0. Is 8 a factor of p?
True
Suppose -60*j = -94675 - 14405. Does 18 divide j?
True
Suppose z + 19 = -3*m + 6, 4*z - 3 = -m. Does 6 divide (-2)/(2/(-41)) + m?
True
Suppose -3*v + 4861 + 4352 = 4*z, 0 = 4*z + 6*v - 9210. Is 40 a factor of z?
False
Suppose 0 = j - 7393 + 3898. Is j a multiple of 131?
False
Let b(a