*2 - 62*q + 104. Let i = 615 - 591. Is x(i) a multiple of 23?
True
Let n(p) = -p. Let i(y) = y**2 - 37*y - 70. Let w(g) = -i(g) - n(g). Is 4 a factor of w(19)?
False
Suppose -4*k = -k - 3. Let j be (-3)/(-7) - (248/56 - 3). Does 11 divide k + j*2 - (-309)/3?
False
Suppose -204 = 49*i + 41. Is 2 a factor of 10/i + 1 + 84 + 3?
True
Suppose 4*v + 48 = 3*z, -3*v - 6*z - 7 = -z. Does 20 divide (-22)/(-1089)*11 - 1321/v?
False
Suppose 2*h - 8987 + 419 = 0. Is 42 a factor of h?
True
Suppose -21*n - 1153680 = -159*n. Does 22 divide n?
True
Suppose 0*b + 5*f - 211 = -2*b, 3*b = 2*f + 345. Let t = 633 - b. Is t a multiple of 17?
False
Let j(f) = 22*f + 135. Let q be j(-6). Suppose 2*g + 3*y - 535 = 0, -4*g - 5*y + 250 = -q*g. Does 55 divide g?
True
Let o(c) = 15*c**2 - 106*c - 1195. Is o(-10) a multiple of 35?
True
Let g be (-382)/(-4) - 325/(-130). Let n = g - 13. Is n a multiple of 34?
False
Let f = -36 + 44. Suppose -q - a + 14 = 0, 2*q - 28 = f*a - 3*a. Let m(w) = -w**3 + 16*w**2 - 18*w - 15. Is m(q) a multiple of 31?
False
Suppose 9056746 - 985642 = 127*r. Does 16 divide r?
True
Suppose 0 = -163*w + 166*w. Suppose -489 = -b + 2*k + 41, w = -b - 4*k + 560. Is 23 a factor of b?
False
Is 48 a factor of (3 + -4)/((-7)/10577)?
False
Suppose 47*t + 1925 = 52*t. Let p = t - 263. Let x = p - 79. Is x a multiple of 10?
False
Let z = -13 - -15. Let r be (6 - (-3)/(-2))*-1*z. Let h(n) = -14*n - 60. Is h(r) a multiple of 3?
True
Suppose 2*u = -4*t + 122, -44*u = -39*u + 4*t - 317. Is 5 a factor of u?
True
Suppose 0 = 5*i - 24 + 4. Let y(h) = 3*h**2 - 27*h + 140. Let s be y(8). Suppose 0 = -t - t - 10, 2*j - i*t - s = 0. Is j a multiple of 12?
True
Suppose -2*q + 8919 + 1584 = -5*b, 5284 = q + 4*b. Suppose 23*y = 37*y - q. Is y a multiple of 8?
True
Let g = -345 - -10747. Suppose 17*u - 10*u - g = 0. Is u a multiple of 56?
False
Does 2 divide (-3 - 3995/15)*((-62)/8 - -7)?
True
Let k(p) = p**3 - 8*p**2 + 3. Let n be k(8). Suppose 0 = -n*b + 6 + 3. Suppose -3*j + 4*v = -81, b*j + v - 21 = 45. Does 23 divide j?
True
Let i(x) = x**2 - 29*x + 110. Let n be i(25). Does 58 divide 1966/n - 5/((-50)/4)?
False
Let g = -96 - -103. Suppose g*k - 5*k - 1280 = -2*i, k + 640 = i. Is 20 a factor of i?
True
Let g = 1887 - 1207. Suppose -15*r = 2*r - g. Is 20 a factor of r?
True
Let h = 12969 + -8219. Is h a multiple of 38?
True
Let h(o) = -o + 2. Let u be h(-13). Let t be ((-388)/6)/(u/(-9) - -2). Let v = 384 + t. Is v a multiple of 52?
False
Let u(o) = 73*o**2 + 74*o - 693. Is u(19) a multiple of 37?
False
Let q = 891 + -892. Does 44 divide 6 - ((3010/5)/(-2) + q)?
True
Let x = -19832 + 33297. Suppose -12*b = -x + 3949. Is b a multiple of 13?
True
Let u be 0 + -2 + (-35)/42*-6. Suppose 0 = -5*g, -3*g - 633 - 183 = -u*j. Is j a multiple of 16?
True
Suppose 2*i - 3*b - 26886 = -0*i, -5*b - 53780 = -4*i. Is 45 a factor of i?
True
Suppose -788 = -3*v + 3*z + 592, 1816 = 4*v + 2*z. Is 114 a factor of v?
True
Suppose 0 = 8*t - 0*t - 40. Suppose 37 = t*y + 4*q, -y - 4*q - 6 = -23. Suppose 14 = 4*n + 3*f - 150, -2*n - y*f + 82 = 0. Is 13 a factor of n?
False
Suppose 407*t = 3857737 + 5166101 + 2208955. Does 13 divide t?
True
Let n(g) = -2*g**2 - 6*g - 4. Let c(t) = 7*t**2 + 17*t + 11. Let d(y) = -6*c(y) - 17*n(y). Let a be d(3). Let b = -13 - a. Does 9 divide b?
False
Let c(s) = 801*s**3 + 3*s**2 - 8*s + 4. Does 32 divide c(1)?
True
Let r = -304 + 311. Let f(d) = 33*d - 27. Does 5 divide f(r)?
False
Let p = 5099 + -2039. Does 25 divide p?
False
Suppose 210*c - 208*c + l - 7375 = 0, -3*c - 5*l + 11073 = 0. Is c a multiple of 38?
True
Suppose 10653 = -18*o - 12*o + 92193. Is 2 a factor of o?
True
Let a be (-355)/(-25) + (-2)/10. Suppose -a*f = -13*f + 29. Let n = f - -57. Does 28 divide n?
True
Suppose 3*p - 4*i - 12614 = 0, 0 = 4*p + 43*i - 48*i - 16819. Is 24 a factor of p?
False
Suppose -6*f + 292 - 268 = 0. Let k(s) = 2*s**3 + s**2 - 5*s. Is k(f) a multiple of 31?
True
Let z(m) = -m**3 + 5*m**2 + 7*m - 9. Let k be z(6). Let a(s) = -s**3 - 5*s**2 - 7*s - 5. Let r be a(-3). Is 25 a factor of (32/6)/((r + k)/(-180))?
False
Suppose -3*r = a - 855, 10*r - 15*r = -a + 879. Does 54 divide a?
True
Let d(y) = -22*y**2 - y - 1. Let i be d(2). Let w = i + 10. Is 9 a factor of (w/(-6))/(5/10)?
True
Does 94 divide 23418/3 + (-105 - -101)?
True
Let p(m) = -m**3 - 3*m**2 + 6*m + 11. Let v be p(-4). Suppose 0*o - v*l = 5*o - 435, 5*l = -3*o + 261. Is 10 a factor of o?
False
Let r = -5109 + 7251. Is 17 a factor of r?
True
Let r = 266 + -44. Let b = -54 + r. Is 3 a factor of b?
True
Suppose 188*n - 32 = 196*n. Does 2 divide -7 + 1/n*-92?
True
Let z = -1696 - -2623. Let a = -659 + z. Is 46 a factor of a?
False
Let r(g) = g**3 - 5*g**2 + 7*g - 8. Let z be r(4). Suppose z*u - u = 3*a + 6, 4*u = -5*a + 17. Suppose 345 = -u*b + 6*b. Is b a multiple of 5?
True
Suppose f = 8*f - 7. Let z = f + 114. Is 23 a factor of z?
True
Let k(u) be the second derivative of -3*u**5/10 + 5*u**4/12 - 19*u**3/6 - 35*u**2/2 - 30*u. Is 17 a factor of k(-5)?
True
Let g = 77591 + -43751. Does 10 divide g?
True
Let k = 645 + -174. Suppose 2*a - 299 = k. Is a a multiple of 20?
False
Suppose 15*b - 132689 + 21135 - 105166 = 0. Is 3 a factor of b?
True
Let o(f) = f**3 + 43*f**2 - 41*f + 88. Is 89 a factor of o(-36)?
False
Let o(h) = 291*h**2 - 60*h + 138. Does 25 divide o(7)?
False
Let r(n) = -n**3 + 20*n**2 - 16*n - 22. Let x(i) = -i**2 - 4*i + 9. Let u be x(4). Let m be (-3 - -2)*4 - u. Does 3 divide r(m)?
False
Let n(o) = 12*o**3 + o**2 - o + 2. Suppose -5*r + 4*r - 5 = -3*t, 1 = -2*t + 5*r. Is n(t) a multiple of 10?
True
Let k be 1/(4 - 14/4). Let d(s) = 246*s**2 + 4*s**3 - 238*s**k - 3*s**3 + 3*s. Is 42 a factor of d(4)?
False
Let i = -391 + 84. Let c = i + 687. Is 19 a factor of c?
True
Suppose a + 4*a = -2*x - 1509, 0 = 4*a - x + 1215. Let q = -116 - a. Does 17 divide q?
True
Let s be 4/((-4)/(-4)) + (138 - 7). Let w = s + 20. Is w a multiple of 8?
False
Let p(j) = -j**2 + j + 42. Let a be p(-6). Suppose 93*z - 86*z - 8246 = a. Is 62 a factor of z?
True
Suppose 45*u = d + 50*u - 11440, 4*d - 3*u - 45852 = 0. Is d a multiple of 21?
False
Let d = -6601 + 12137. Is d a multiple of 44?
False
Let d = 4845 + -594. Does 14 divide d?
False
Let h(u) = -247*u**2 + 2427*u + 7. Does 94 divide h(6)?
False
Suppose 23*c + 10*c = 189420. Does 28 divide c?
True
Suppose 72*p - 5 = 67*p. Let t = p - -111. Is t a multiple of 8?
True
Let a(v) be the third derivative of v**5/60 + 7*v**4/12 + 3*v**3 + 6*v**2. Let u be a(-12). Is (-2)/u - 87/(-9) a multiple of 4?
False
Let y = 3187 + -371. Is 190 a factor of y?
False
Suppose 5*k + 3475 = 4*r, 4*k - 874 = 11*r - 12*r. Suppose -5*c = r - 4125. Is c a multiple of 12?
False
Let k(v) = 80*v**2 + 35. Let q be k(-6). Suppose 10*p - 1995 - q = 0. Is p a multiple of 14?
False
Suppose 1685 = i - 4*f, 5*i + 101*f - 98*f - 8517 = 0. Is i even?
False
Let o = -2810 + 7498. Is 10 a factor of o?
False
Suppose 4*u + 4*a - 43060 = 0, 4*u - 2*a = -1083 + 44131. Is 60 a factor of u?
False
Let j be 0 + 5 + -2 + 5. Suppose 20*a + j = 19*a. Does 11 divide ((-143)/(-2))/(45/(-6) - a)?
True
Suppose -3*r + 486 = -2*r. Let o = r + -286. Does 5 divide o?
True
Let j = 10650 + -5289. Is 14 a factor of j?
False
Let c = 1188 + -1727. Let l = c - -766. Is l even?
False
Let w be (10/3)/((-20)/(-30)). Suppose -o - r - 4*r + 572 = 0, o - 532 = w*r. Does 13 divide o?
False
Suppose 4*m + 2*c = -0*m + 12, -5*m + 5*c = -30. Suppose -5*w - 16 = -m*w. Let j = w - -18. Is 2 a factor of j?
True
Suppose -35032 = -3*g - 252*h + 256*h, g = -5*h + 11671. Is 21 a factor of g?
True
Let p = -261 - -387. Suppose b - 3*y = 126, y + 345 = 4*b - p. Is b a multiple of 24?
False
Suppose 3*p - 4 - 2 = 0. Suppose 6 = 4*o - p*b, -o + b - 3 = -b. Suppose -2*y + 3*y = -4*h + 377, h = -o*y + 97. Is 7 a factor of h?
False
Let q(s) = -s**2 + 9*s - 16. Let c be q(3). Suppose -110 = -3*y + 4*x, -4*y + c*y = x - 77. Is y even?
True
Let a = 212 + -185. Let t(y) = y**3 - 26*y**2 - 9*y - 13. Is 43 a factor of t(a)?
True
Let j(y) = -y**2 + 91*y - 152. Does 12 divide j(83)?
False
Let g(i) = i**2 - 16*i - 29. Let l be g(18). Does 23 divide l/28*-2*230/(-1)?
True
Let u(m) = -5*m**2 - 5*m - 2 + 3*m**2 - 6*m**3 + 4*m**3. Let o(s) = -3*s - 33. Let c be o(-10). Does 14 