*2 + 6*f - 8. Let j = 329 - 333. Is 16 a factor of g(j)?
True
Let n(c) = -c**2 - c + 1. Suppose -2*w + 0 = -4. Let v be n(w). Let i = 10 - v. Is i a multiple of 8?
False
Suppose 2*c - 165 = -3*c + 5*d, 102 = 4*c + 2*d. Suppose -4*v = -3*k - 56, 3*k + c = 2*v + 4*k. Let p(u) = -u + 26. Is p(v) a multiple of 4?
True
Is (-357123)/(-312) - (-6)/16 a multiple of 6?
False
Let b(s) = -6*s**3 + 13*s**2 + 18*s + 107. Let q be b(-10). Suppose 5*y - 7187 = -4*m, 0 = 2*m + 2*m - 3*y - q. Is m a multiple of 115?
False
Suppose 14*h + 2094796 - 592456 = 63*h. Is h a multiple of 365?
True
Suppose -3*s + 2*c + 41719 = 15222, 35324 = 4*s - 4*c. Does 15 divide s?
True
Suppose -29*u + 8129 = -26*u - 4*y, -3*y = -5*u + 13530. Is u a multiple of 24?
False
Let x(s) be the first derivative of 31/3*s**3 + 20 + s**2 + s. Is x(-1) a multiple of 15?
True
Suppose -s - 9 = g - 1, -5*g - s - 48 = 0. Let n be (-8 - -6)*g/4. Does 34 divide 39 + 1 + -1 - n?
True
Let z(d) = 22*d**3 - 117*d**2 + 1025*d - 41. Is 13 a factor of z(9)?
False
Let p(s) = s**2 + 6*s - 28. Let y be p(10). Let k = 197 - y. Is k a multiple of 8?
False
Suppose 12133 = 2*y - 4*d + 225, -4*d = 8. Does 70 divide y?
True
Suppose 10 = m - 4*u, 1 = -2*m - 0*m + u. Let i(j) = -j**3 + 5*j**2 + 14. Let w be i(4). Let x = m + w. Does 8 divide x?
False
Does 21 divide 7*7*36*120/105?
True
Suppose -8*v - 211 = 517. Let u = 419 - v. Is 17 a factor of u?
True
Let m = 2 + 1. Let d be (-3 - 9)*(-13)/m. Let i = -40 + d. Is 12 a factor of i?
True
Let b(g) = -65*g**3 + 5*g**2 + 15*g + 5. Is b(-3) a multiple of 21?
False
Let h be (1242/(-36))/((-1)/(-4)). Let g = -56 - h. Does 14 divide g?
False
Let l(g) = g**2 + 5*g - 1. Let v be l(-6). Suppose 10 = -v*x + 3*m + 29, 5*x + 2*m = 4. Is (4 + -5 + x)*(2 + 21) a multiple of 4?
False
Let w = -57183 + 81085. Does 24 divide w?
False
Suppose 0*a = -2*a + 13*a. Suppose a*b + 1652 = 7*b. Suppose -235*w - 71 = -b*w. Does 13 divide w?
False
Suppose 0 = -11*j + 51113 + 39472. Is j/7 + 6/(-14) a multiple of 12?
True
Suppose -5*v + 56 = -4*k - 18, 6 = -k - 5*v. Let z be ((-40)/k)/(5/4). Suppose -t - 172 = -3*r + 64, 5*r - z*t - 394 = 0. Does 39 divide r?
True
Let s = 4961 + -2955. Is s a multiple of 12?
False
Let p = -6001 - -13925. Is p a multiple of 186?
False
Suppose -4*f + 1379 = -3*k - 721, -k + 1588 = 3*f. Is f a multiple of 4?
True
Let d(s) = 5*s - 125. Let p be d(25). Suppose p = 4*y + 4*g - 8328, 14*g + 6254 = 3*y + 15*g. Is 23 a factor of y?
False
Let q be -4 + -880 + -2 + 2 + -3. Let p = 1242 + q. Is p a multiple of 71?
True
Let g be 2 + ((-2)/(-6) - 6536/24). Let d = 401 + g. Let t = -54 + d. Is 11 a factor of t?
True
Let k(x) = x**2 + 10*x - 22. Let j be k(-27). Let p = j - 61. Does 63 divide p?
False
Suppose -6028 = -6*q + 2*q + c, 0 = -3*q + 5*c + 4521. Suppose -q = -5*t + 553. Does 21 divide t?
False
Let x(z) = -6*z - 4*z + 4 - 43 - 7*z. Is 42 a factor of x(-27)?
True
Let u = 126 + -44. Suppose 0 = -5*s + 5*w - 25, s + 0*w + 4*w = -20. Let k = u - s. Is 45 a factor of k?
True
Suppose -5*i = m - 0 + 10, -5*m + 8 = -4*i. Does 6 divide (-2 + 1 - 840/i) + -4?
False
Let n be (-3 - -2)*1 + 1. Let q be n + 2 + 15 + -2. Suppose 5*i - 15 = q. Is i a multiple of 3?
True
Suppose 2434 + 4718 = 2*z + 5*o, 5*z - 5*o = 17985. Is 57 a factor of z?
True
Let f = -264 + 129. Is f*4/16*(-24)/6 a multiple of 48?
False
Suppose -143 = -3*d + 310 + 1971. Is 31 a factor of d?
False
Let u(f) = -f**3 - 15*f**2 - 14*f + 5. Let r be u(-14). Let p be 21*3/5*r. Suppose p = -8*s + 9*s. Does 8 divide s?
False
Let q = -43091 + 72118. Is 109 a factor of q?
False
Let l be (-34 - -30) + (1 - -7). Does 38 divide l/(-4) - 2/2*-77?
True
Let u(n) = n**3 - 83*n**2 - 149*n + 560. Is u(85) a multiple of 39?
False
Let w(b) be the third derivative of -b**5/60 + 19*b**4/24 - 5*b**3/3 - 101*b**2. Suppose 0 = n - 13 + 3. Does 40 divide w(n)?
True
Suppose 39*u - 56*u = -78523. Suppose -r + u = 4*r - d, 0 = 3*r - 4*d - 2768. Does 15 divide r?
False
Suppose -2*f + 12960 = -2*p, 25*f = 20*f - p + 32388. Is 3 a factor of f?
False
Let t = 38 + -40. Let q be 245/(-14) - t/(-4). Let r(s) = -s - 1. Is r(q) a multiple of 2?
False
Let a(c) = -27*c - 44. Let u(h) = -52*h - 88. Let j(t) = -5*a(t) + 2*u(t). Is 11 a factor of j(15)?
False
Does 8 divide (14/(-35)*3)/((-2)/48820)?
False
Let o = 3102 + 2183. Does 14 divide o?
False
Let g(y) = 5*y + 12. Suppose 20*r - 15 = 17*r. Suppose 3*x - 87 = -r*o + x, 3*o = 4*x + 73. Does 31 divide g(o)?
False
Let y(k) = k**3 - 2*k**2 + k + 2. Let o be y(0). Let v(d) = -12*d**2 - 3*d + 3*d**2 - 6*d**3 + 1 + 5*d**o. Is 34 a factor of v(-3)?
True
Let z(h) = -2*h**2 + 20*h - 9. Let o be z(6). Let k be o + 3*(3 + -2). Is 18/k - (-207)/7 a multiple of 5?
True
Suppose 976 = x - s, -5*x + 1627*s + 4925 = 1631*s. Is x a multiple of 9?
True
Let x(j) = 78*j + 35. Let b be x(-2). Does 16 divide ((-4)/4 - b)*(-14)/(-21)?
True
Let i = -18658 + 28886. Does 51 divide i?
False
Let a be (52/6)/(62/93). Suppose 2*f + 10252 = a*f. Does 50 divide f?
False
Let j(x) = 5*x**3 - 53*x**2 + 192*x - 6. Is 9 a factor of j(4)?
True
Let x = -156 + 148. Is (5 + x)/(-3)*(94 + 1) a multiple of 19?
True
Suppose -2*c - 28 = -3*v, -5*c + v = 5*v + 24. Let y(q) be the first derivative of -3*q**2 + 10*q - 12. Does 15 divide y(c)?
False
Suppose 2*g + 10*w - 4527 = 11*w, 3*g = -5*w + 6771. Is 78 a factor of g?
True
Let f(l) = -2*l**3 - 6*l**2 - 2*l - 3. Let g be f(-3). Suppose 5*j - 2*m = 6*j - 16, -m = 2*j - 17. Suppose -7 + j = c, g*c = 3*z - 402. Does 25 divide z?
False
Suppose -18*t = -11*t - 14. Suppose -3*h = -t*h - 420. Does 14 divide h?
True
Is 1/(2/190)*(-99)/(-55) a multiple of 19?
True
Is 7 a factor of -3 + (-42029)/(-10) + 9/90?
True
Suppose 3*k + 717 - 726 = 2721. Is 12 a factor of k?
False
Suppose 3*c - 11*f - 5526 = 0, 0 = 3*c - 5*f - 7836 + 2292. Is 16 a factor of c?
False
Let x(k) = -k**3 + 31*k**2 + 64*k + 68. Let r be x(33). Is 76*(-33)/r*(-18)/27 a multiple of 22?
True
Let a(p) be the third derivative of 5*p**4/12 - 23*p**3/6 - 8*p**2 - 3*p. Does 29 divide a(11)?
True
Let u(h) = 2*h + 9. Let v be u(-7). Let d be v/15*2*-6. Suppose -307 - 33 = -d*k. Does 19 divide k?
False
Suppose 0 = 5*l - l + 320. Let b be 164 - (10 + 8/4 - 4). Let n = b + l. Does 37 divide n?
False
Suppose 0 = -5*d - 2*h + 7320, -24*h + 22*h - 1476 = -d. Is 18 a factor of d?
False
Suppose -33781 = -167*f + 130*f. Does 4 divide f?
False
Let j = -571 - -576. Suppose 2*w - 24*t - 873 = -25*t, -j*w = 4*t - 2175. Does 15 divide w?
False
Let g(r) = 324*r**3 - 5*r**2 + 38*r - 63. Is 47 a factor of g(2)?
True
Suppose 10444 = 2*i - 3*s, 4*i - 26076 = -i - s. Is i a multiple of 32?
True
Let k be (263 - -1)*30/60. Let b = -110 + k. Does 5 divide b?
False
Suppose 67*j + 84048 = 84*j. Suppose 0 = -2*l + 4*b + 2442, -8*l + 12*l - j = -4*b. Does 9 divide l?
False
Let j(h) = -11*h + 18. Suppose -8 = -5*y + 9*y. Let b(o) = 177*o - 288. Let f(p) = y*b(p) - 33*j(p). Is 8 a factor of f(7)?
False
Let t(x) = -3137*x - 5471. Is t(-11) a multiple of 45?
False
Let y be (-4)/5 - ((-49)/5 + -9). Suppose -19*f + y*f = -159. Is f a multiple of 20?
False
Let p(l) = 4*l**2 + 6*l - 14. Let k be (26 - 27)*(-1 + -2). Let w(f) = -4*f**2 - 7*f + 14. Let m(i) = k*p(i) + 2*w(i). Is 33 a factor of m(-5)?
True
Let j(g) = 10*g**3 - 9*g**2 - 27*g - 2. Let q be j(-3). Let d = q + 517. Is d a multiple of 14?
False
Let c = -232 + 0. Let l = 423 + c. Is l a multiple of 11?
False
Let t(b) = -7*b - 2256 - 21*b + 2251. Is 3 a factor of t(-5)?
True
Suppose 4*a - 140 = -568*h + 564*h, -2*h - 5*a + 61 = 0. Is 19 a factor of h?
True
Let n = -124 - -114. Is 92/n*(20/(-8) - 0) a multiple of 5?
False
Let t be (-3)/21 - (-10756)/28. Suppose t = 22*v - 496. Does 5 divide v?
True
Let w = -37 - -32. Is 11 a factor of (-1 + w + 65/10)*64?
False
Suppose 3*f - 22*f + 95 = 0. Suppose 15 = f*i, 4*z - 33*i + 28*i = 77. Does 5 divide z?
False
Let q(c) = 11*c - 393. Let o be q(0). Is (-2)/(((-8)/o)/(-4)) a multiple of 70?
False
Let o(h) = h**3 + 2*h**2 - 2*h + 666. Let q be o(0). Suppose 0 = -14*z + 216 + q. Is 7 a factor of z?
True
Suppose 0 = 17*r - 16*r - 3. Does 6 divide r + 111/(-39) + (-1656)/(-52)?
False
Let i(a) = 5*a - 43. Let y be (7 - 1)*(-36)/(-24). Let g be i(y). Is 10 a factor of 2 + 4 + -3 - (g - 9)?
