 = s**3 + 8*s**2 - 2*s. Suppose 0 = 5*d + 2*g + 41, d - 5*g = -7 + 15. Is 7 a factor of m(d)?
True
Let g be ((-78)/4)/(5/(-50)). Suppose -4*i = -5*f + g, f - 6*i = -i + 60. Suppose -4*y + 208 = z, y + 4*z = f + 17. Does 13 divide y?
True
Suppose -3*t + 22 = -4*r, -4 = -t + r + 2. Suppose -p = p + t*o - 10, -5*p = -2*o - 4. Is 3 a factor of (1 + p)*(-1 - -2)?
True
Let w(s) = -2*s**3 + 5*s**2 + 14*s + 9. Does 5 divide w(-3)?
False
Let b(t) = t**3 + 23*t**2 + 13*t + 13. Let k(f) = -f**3 + f**2 + f. Let x(d) = -b(d) + 2*k(d). Is x(-8) a multiple of 11?
False
Suppose 3*c = -2*p + 24 - 1, -p + 7 = c. Suppose -c*a + 264 = -465. Is 6 a factor of a?
False
Let f = -3 + 8. Suppose 1 = -n + f. Is 26 a factor of 10*(n/(-2) - -8)?
False
Let r(f) = f**2 + 17*f + 30. Let b be r(-15). Suppose u + 472 = 2*z, 5*z - 5*u - 639 - 551 = b. Does 18 divide z?
True
Let j be -6*(-3 + (-21)/(-9)). Suppose 2*t + 8 = 3*u - 0*t, 44 = 4*u + j*t. Suppose u + 10 = 2*w. Is 5 a factor of w?
False
Let s(n) = -n**2 - 4*n + 13. Let x be s(-5). Suppose -x*j + 30 = -154. Is j a multiple of 6?
False
Suppose g = -0*g - 7. Let t(f) = -f**3 - 6*f**2 - 4*f + 4. Let h be t(-6). Is 8/h - 544/g a multiple of 27?
False
Let b = 2 - 0. Let v be (-278)/(-8)*2*b. Suppose 2*t - 23 = v. Is t a multiple of 27?
True
Suppose -5*y + 2*a + 1259 = 0, 2*y + 5*a + 1014 = 6*y. Suppose -g = -4*b + y, 2 = -5*g + 7. Does 21 divide b?
True
Let r = 81 - 87. Let t(l) = -l**3 - 3*l**2 - 6*l - 4. Is t(r) a multiple of 20?
True
Suppose -3*x = -2*x + 16. Let v be (x/12)/((-2)/6). Let z(s) = -s**3 + 9*s**2 - 6*s + 2. Does 16 divide z(v)?
False
Let c(t) = -t**3 - t + 1. Let i(l) = 6*l**3 + 3*l**2 + 8*l - 4. Let d(j) = -5*c(j) - i(j). Does 5 divide d(-3)?
False
Let q(x) = -375*x + 232. Is 16 a factor of q(-8)?
True
Let x(i) = -73*i - 14. Let f be x(5). Let c = -190 - f. Is 22 a factor of c?
False
Suppose 2*l + 5*v = 247, l - 129 = 3*v - 0*v. Is l a multiple of 21?
True
Suppose 318 = 159*w - 158*w. Is 53 a factor of w?
True
Suppose v + 49 = 3*x, 3*x + 5*v - 29 = v. Let n be ((-22)/(-4))/((-1)/2). Let u = x + n. Is u a multiple of 3?
False
Suppose 49 = 4*l - 75. Let i be (-246)/(-18)*6/1. Suppose -l - 12 = -k + 2*d, 2*k - 2*d - i = 0. Is 13 a factor of k?
True
Let u(h) = 67*h - 12. Let v be u(12). Suppose 0 = 3*p + 3*q - 1188, -2*p = -q - q - v. Is p a multiple of 36?
True
Let j be (4/6)/(5/(-150)). Let o = 8 + j. Is 17 a factor of (-4)/o*9 + 14?
True
Is 25 a factor of (6 + (-9 - -2))*(-1004 + 4)?
True
Suppose -64 = -2*k - k + i, 0 = 5*k - 2*i - 108. Is k a multiple of 20?
True
Is 18 a factor of (-198)/(-44)*(0 + 32)?
True
Let p be (2 + 0 - 22) + 0. Is 5 a factor of p*((-66)/15 + 4)?
False
Suppose 2*b + 2*c = 312, 3*b = 2*b + 2*c + 147. Is b a multiple of 17?
True
Let g be ((-4)/3)/(-8*5/(-1500)). Let r = g - -150. Is r a multiple of 16?
False
Let n = -20 - -20. Suppose -2*b - b + 210 = n. Is b a multiple of 35?
True
Let z(v) be the third derivative of -v**5/60 + v**4/4 + 11*v**3/3 + 2*v**2. Let d be (4/8)/((-8)/(-128)). Does 2 divide z(d)?
True
Let i = -49 + 54. Suppose 0 = -i*q - 2 + 52. Does 5 divide q?
True
Let f(t) = -2*t**2 - 34*t - 14. Let k be f(-16). Let n(v) = 13*v + 74. Does 22 divide n(k)?
True
Suppose -4*v + 138 = 34. Does 9 divide v?
False
Suppose -416 = -2*w + b + 28, -3*w + 648 = 3*b. Suppose -g = -6*g - w. Let m = g - -88. Is 11 a factor of m?
True
Let z(c) = 31*c - 9. Suppose 3*u = -u + 16. Let x be z(u). Suppose 2*t - t = x. Is t a multiple of 23?
True
Let u(v) = 3*v**2 - 12*v + 3. Let q(y) = -3*y**2 + 13*y - 3. Let o(b) = 4*q(b) + 5*u(b). Suppose 5*n - 3*p = p + 14, 0 = -2*n + 5*p - 8. Is 13 a factor of o(n)?
False
Let o = 3 + 0. Let f = o - 4. Does 5 divide (-7 + 2/f)*-1?
False
Suppose 4*w = -w + 4*d + 2, -5*d + 10 = 0. Suppose 0*m - m = 3*o - 42, w*m + o - 59 = 0. Does 6 divide m?
False
Let r be 11 + -10 - (-2 + 0). Suppose a - 234 = -p, r*p - 1164 = -a - 4*a. Does 11 divide a?
True
Let z be 1 + -1 - -2 - 180/45. Suppose -2*t - 3*j + 22 = 0, 2*t - 2*j = 3*j + 38. Let o = t + z. Is 12 a factor of o?
True
Suppose -11*p + 3*p = -5824. Does 16 divide p?
False
Let x(j) = 5*j**2 - j**2 - 6*j - 6 - 9*j. Does 8 divide x(5)?
False
Let g = 2 + -2. Suppose -4*w + g*d - 2*d = -266, -5*w + d = -329. Is w a multiple of 33?
True
Suppose 0 = 2*l + 2*o - 124, 0 = -0*l - 3*l - 5*o + 194. Let h = l + 14. Is 2/(-9) - (-376)/h a multiple of 5?
True
Let l(t) be the second derivative of t**4/12 + 10*t**3/3 + 21*t**2 - 4*t. Is 4 a factor of l(-20)?
False
Suppose -3*r + 0*r = 12, 4*w + r + 8 = 0. Let d(m) = -2*m**2 - 31*m**3 + 1 - m**2 + 2*m**2 + m + 0*m**2. Does 19 divide d(w)?
False
Let v(p) = -p**3 - 7*p**2 + 8*p + 1. Suppose 4*z + 26 = -6. Let f be v(z). Suppose f = -t + 6. Is 3 a factor of t?
False
Let r be (4804/16)/(4/48). Suppose 13*f - 999 = r. Is f a multiple of 59?
True
Suppose -45*h - 3*y = -47*h + 1993, -3*h + y + 2986 = 0. Is h a multiple of 7?
False
Suppose 15*c - 52*c = -33744. Let x(w) = w**2 + 3*w - 1. Let q be x(-3). Does 33 divide (q/(-2))/(8/c)?
False
Let y = 2191 + -929. Does 17 divide y?
False
Let t(s) = -83*s**2 - 20*s + 17. Let n(k) = 28*k**2 + 7*k - 6. Let z(q) = -8*n(q) - 3*t(q). Let g be z(2). Suppose -g = -6*o + o. Does 7 divide o?
True
Let g(k) = -k**2 + 18*k + 1. Does 34 divide g(9)?
False
Let g be (-6932)/(-9) + 8/36*-1. Is 11 a factor of 6/4*g/15?
True
Let q be 2*(0 + -1 - 1). Let o = -2 - q. Suppose 42 = o*r + b, -4*r + 5*b = r - 75. Is 16 a factor of r?
False
Is 8 a factor of -1 - (6504/(-26) - 12/(-78))?
False
Suppose -8 = -4*z + 3*u + 3, 0 = -4*u - 4. Suppose 3*v = -5*p + 2*p + 228, z*v + 238 = 3*p. Is 13 a factor of p?
True
Let l = -409 + 278. Let v = l + 145. Is v even?
True
Let j be (-4)/8*-1 - (-4)/(-8). Suppose 5*q - 10 = -j*q, 0 = 4*k - 2*q - 756. Is 22 a factor of k?
False
Let m(j) = j**3 + 21*j**2 + 22*j - 22. Let c be m(-19). Suppose 2*f - c = -0*f. Is f a multiple of 47?
True
Let x be 3/(-21) + 44/14. Let i(k) = -2*k**x + 5 + 5 - 7 - 2*k. Does 21 divide i(-3)?
True
Let g = -31 - -53. Suppose 2*s = -4*y + g, -42 = -4*y - 4*s + 6*s. Let z = 28 - y. Is 6 a factor of z?
False
Let g = -14 + 14. Suppose 0 = -o - v + 7, g = -o + v - 1. Suppose 0*i - o*i = -84. Does 14 divide i?
True
Let j be -14*((-3)/(-2) + 0). Let z = -18 - j. Suppose 3*k + 44 = r - k, -5*r = z*k - 128. Does 7 divide r?
True
Let q(g) = -g**3 - 12*g**2 + 8*g - 43. Does 10 divide q(-13)?
False
Let t = 9 + 5. Suppose 2*o = 4*b - 22, -3*b - 5*o + t = -4*o. Suppose 0*a = -3*a + 2*s + 171, -b*a + 285 = s. Does 19 divide a?
True
Let k(j) = -j**3 - 12*j**2 - 22*j + 17. Does 11 divide k(-12)?
False
Let x be (0/3)/(1 - 3). Does 20 divide x + -1 - (-7 + -32)?
False
Suppose -2*y + 10 = -246. Let p = y + -52. Suppose 5*j - 2*b = p, 0 = 2*b - 5*b - 9. Is j a multiple of 8?
False
Let l(f) = -f**2 + 17*f - 18. Let p be l(6). Let x be 45/6*(-5 - -1). Let w = x + p. Is w a multiple of 18?
True
Let o(p) = -2*p + 87. Is o(0) a multiple of 30?
False
Let b = 385 + -273. Does 7 divide b?
True
Suppose -31*v = -90616 - 72072. Does 128 divide v?
True
Let g(u) = -u**3 - u**2 + 2*u. Let f be g(2). Let b = f - -65. Suppose -2*a = a - b. Is a a multiple of 8?
False
Let a(d) = -d**3 + 1 - d**3 - 3*d**2 + 3 - 6*d + d. Is a(-2) a multiple of 6?
True
Let j = 78 + -36. Suppose -j - 78 = 6*g. Let v = 25 + g. Is 5 a factor of v?
True
Is 15 a factor of (-362)/(-6) - 4/12?
True
Suppose 0 = -g - 4 + 2. Let j be 152 + -3 - g - -3. Is 9/27 - j/(-6) a multiple of 9?
False
Is 12/(-40) - (-8126)/20 a multiple of 58?
True
Let b = 2310 + -1392. Is b a multiple of 27?
True
Let q be 6/(-1) + (9 - 7). Let b be q/(-6) + 10/3. Suppose -b*w + 57 = -5*z - 43, -3*w + 5*z = -70. Does 15 divide w?
True
Suppose 9*r + 8 = 440. Let l = 78 + r. Is l a multiple of 24?
False
Let z(t) = 18*t**2 - 5*t - 7. Is 5 a factor of z(3)?
True
Suppose 2 = -3*o + 8. Suppose -3*a + 8 = -o*c, 2*a - 24 = -2*c - 3*a. Is c even?
True
Let o(l) = l**3 + 10*l**2 - 2*l - 8. Let f be o(-8). Does 17 divide (f/(-10))/((-6)/30)?
True
Let x = 335 - 164. Does 19 divide x?
True
Let t = 26 - -217. Let o = t - 127. Does 10 divide o?
False
Suppose r = 3*f - 4952, f - 25*r + 21*r - 1658 = 0. Is f a multiple of 22?
True
Let v be ((-1)/(-2))/((-4)/(-48)). Suppose -v*c = -9*c + 72. Does 6 divide c?
True
Suppo