 - 15995, -4*q + 4*i - i + 12769 = 0. Does 47 divide q?
True
Suppose 22 = 4*o + 6. Suppose -14*m + 16*m = 994. Suppose o*a + m = 11*a. Is 10 a factor of a?
False
Let y(a) be the first derivative of -a**3/3 + 6*a**2 - 15*a - 2. Let k be y(10). Suppose -9 = -2*h + k. Is 2 a factor of h?
False
Let f = 69 + -67. Suppose -6 = -f*z - 16. Does 13 divide 6 + z - (-1 + 1*-102)?
True
Suppose -105 = 2*i + 3*f, -5*i + 2*i - 5*f = 159. Let v = i + 50. Suppose v*t - 9 = 47. Is t a multiple of 7?
True
Suppose -5*r = -4*r + 4*t, -5*r - t + 19 = 0. Suppose -8*n = 8*n - 7*n - 684. Suppose n = g - 0*j + 3*j, r*g - 252 = j. Is 3 a factor of g?
False
Let f be 249 - (1 + 1) - (-2 + -1). Suppose -b = n - f, -b + 5*b = -5*n + 1002. Does 34 divide b?
False
Let h(c) = -8 + 16 - 1 - 9 + 3*c**3 + 3*c - 2*c**2. Let l be h(1). Suppose l*o = -7*o + 1080. Is 20 a factor of o?
True
Suppose -6720 = -5*i - 5*c, -5*i - 30*c = -27*c - 6710. Is i a multiple of 3?
False
Let r(s) = 2*s**3 - 5*s**2 - 6*s + 10. Suppose -5*t + 30 = 3*u + u, 4*t = -2*u + 18. Does 21 divide r(u)?
True
Let j = 1299 + -954. Does 3 divide j?
True
Let i(u) = 995*u**3 - u**2. Let d be i(-1). Let l = -642 - d. Is 17 a factor of l?
False
Suppose 0 = g + 25133 - 33253. Does 40 divide g?
True
Suppose -12 = -76*w + 72*w. Suppose 0*s - s = -76. Suppose -o = -w*o + s. Is o a multiple of 28?
False
Suppose 2*x + 5*m = 13328, -x + 6664 = 30*m - 27*m. Is 98 a factor of x?
True
Let z(u) = 2*u**2 - 96 - 15*u - 3*u + 13*u**2 + 3*u**2. Is z(-4) a multiple of 44?
True
Suppose 64 + 6 = 7*c. Suppose c*o - 8*o - 136 = 0. Is 9 a factor of o?
False
Let u(w) = -w**3 + 7*w**2 + 9*w + 12. Let j be u(9). Let a = j + 93. Suppose o - 38 - a = -h, 66 = h - o. Does 10 divide h?
False
Let p = 2 - 6. Let q = -1009 + 1047. Does 10 divide p/q - 6660/(-95)?
True
Let x = -85 - -89. Suppose -f + x = y - 0, -4*f - 2*y = -14. Let l(v) = 8*v**3 + 5*v**2 - v - 6. Is 14 a factor of l(f)?
True
Suppose 3*j + 12 = 5*z - z, -3*z + 2*j = -8. Suppose 2*a - 5*x - 141 = 0, 51 = a - z*x + 4*x. Is a a multiple of 4?
False
Suppose 7*y - 618 = -93. Suppose 4*l + 300 = -4*h + l, h = -3*l - y. Is 6 a factor of 110 - (42/(-10) + (-15)/h)?
True
Suppose 0 = 2*q - 0*q - 96. Suppose -14*i = -126*i - 2352. Let p = q + i. Is p a multiple of 9?
True
Let o(b) = -2*b**3 + b**2 + 2*b + 1009. Suppose 13*p - 9*p + 10 = 2*k, 0 = -p + 5*k - 25. Is 32 a factor of o(p)?
False
Suppose 0 = -l - 217 + 208. Let i(s) = -s**3 + s**2 - s + 1. Let x(p) = 5*p**3 + 4*p**2 + 3*p - 23. Let h(q) = -4*i(q) - x(q). Is h(l) a multiple of 13?
True
Let y(p) = -p**3 - 5*p**2 + 6*p + 4. Let r be y(-6). Suppose -r*t - 16 - 236 = 0. Is 16 a factor of 3 - 3 - (t + -2 - 0)?
False
Suppose 4872 = -12*j + 26*j. Suppose 5*u - j = -d, 0 = u - 3*d - d - 78. Is u a multiple of 10?
True
Suppose 0*o = 3*o - 36. Let w = o + -14. Is 27 a factor of ((-54)/3)/6 + (-222)/w?
True
Suppose 0 = 108*l - 106*l - 3*g - 1221, 3*l = 4*g + 1832. Is l a multiple of 14?
False
Let q = 3119 + -1859. Is q a multiple of 20?
True
Let a = 154 - 6. Let r = 236 + a. Is r a multiple of 32?
True
Let l = -828 - -860. Let c(o) = -o**3 + 33*o**2 - 20*o - 82. Is c(l) a multiple of 6?
False
Let u = 763 + -1315. Let h = u + 1033. Does 37 divide h?
True
Let s be (-76825)/(-50)*(-2)/(-7). Suppose -s*y + 440*y = 1604. Does 70 divide y?
False
Suppose 0 = 4*t + 2*i - 19822, 0 = 3*t + 5*i + 967 - 15830. Is t a multiple of 12?
True
Let i = 20 + -12. Suppose 2*q = i*q + 366. Let w = q + 85. Is w a multiple of 4?
True
Let w = -142 - -100. Let o = 42 + w. Suppose 0 = -n - 5*h + 4*h + 40, -3*n - h + 128 = o. Is n a multiple of 11?
True
Let d(u) = -u**3 + 6*u**2 - 3*u + 9. Let h be d(6). Let i be -5 - (-5 + 3 - -71). Let q = h - i. Does 12 divide q?
False
Let g(n) = 44*n**2 - n - 3. Let q(o) = o**3 - 13*o**2 + 24*o - 24. Let s be q(11). Is 25 a factor of g(s)?
True
Is ((-12)/3)/(568/(-436650)) a multiple of 5?
True
Suppose -4*w - 7 = -2*u + 9, 3*u = 4*w + 20. Suppose k = 8 - u. Suppose -k*m = -338 + 114. Does 14 divide m?
True
Let x = -13227 - -19957. Does 16 divide x?
False
Is (-12 - 88/(-8))/(7/(-26565)) a multiple of 5?
True
Suppose 14*w = 20*w - 12. Suppose 5*u = -3 + 8, -w*n - 2*u = -778. Is n a multiple of 26?
False
Let c(t) = t - 5 + 6 + 3. Let z be c(1). Suppose 0 = -0*g + 2*g, -g = -z*h + 30. Is h a multiple of 4?
False
Let a = 4221 - 1875. Is a a multiple of 69?
True
Suppose 8*y - 1254 = 2162. Let s = -385 + y. Does 3 divide s?
True
Let j = -6152 + 13657. Is 79 a factor of j?
True
Does 236 divide (-271562)/(-31) + (-424)/6572?
False
Suppose 19*d = -40230 + 113855. Is d a multiple of 155?
True
Suppose 2*k = -4*o, 16*k - 12*k - 30 = -2*o. Suppose -9*s = -k*s + 255. Does 4 divide s?
False
Suppose 9*d - 3 = -3. Suppose -l + 8*l = d. Suppose l = u - q - 110, 2*u + 7*q = 3*q + 226. Does 12 divide u?
False
Suppose 0 = -14*h + 8*h + 59094. Is h a multiple of 49?
True
Suppose -4*p + 2*i + 159960 = 0, -4*p + 159972 = 8*i - 12*i. Is 9 a factor of p?
True
Let w = 642 + -642. Let q be -1 - (1 + 14/(-2)). Suppose -q*f + 15 = w, 5*p - f - 794 = f. Is 20 a factor of p?
True
Suppose 51*f - 46*f - 15377 = -i, 3*f + 61462 = 4*i. Is i a multiple of 7?
False
Suppose -4*a = 5*n - 35, 0*a + 10 = 2*a + 4*n. Is 10 a factor of ((-10)/a)/((-2)/30)?
True
Is 195 a factor of (104/10)/(29/4524000*26)?
True
Let z(v) = -v**3 - 2*v**2 + 10*v + 12. Let c be z(-4). Suppose -2*t + c*t = 5*p + 61, 70 = 5*t + 4*p. Does 19 divide (-13)/((-4)/(-14) - t/42)?
False
Suppose -7*h + 9240 = 15*h. Suppose -h*d = -418*d - 1472. Does 46 divide d?
True
Let c(y) = -2*y**3 - 8*y**2 + 11*y + 7. Let w be c(-5). Suppose 5*x - 685 = -w*d - 2*d, 6*x = 6. Is 16 a factor of d?
False
Let p = 27 + -44. Let s = 27 + p. Suppose -s = 2*v - 94. Does 27 divide v?
False
Let q(l) be the third derivative of 0 - 8/3*l**3 - 5/24*l**4 + 0*l + 7*l**2. Is q(-5) a multiple of 5?
False
Let f be (1 + -5)/((-10)/(-14) + -1). Suppose -d = f*d - 3765. Suppose 4*o - 133 = d. Does 24 divide o?
True
Let s = -37531 - -106764. Is 103 a factor of s?
False
Let c be (-2)/(-5) + (-132)/(-20). Suppose -c*s + 2*s + 40 = 0. Is 526/s + 4/16 a multiple of 33?
True
Let y = 43 - 28. Suppose 6*q - 345 = y. Is 60 a factor of q?
True
Does 5 divide 30/(3 + 1 + (-815)/205)?
True
Let i = -3357 + 3966. Does 7 divide i?
True
Let i(s) = 2*s - 6. Let f be i(7). Suppose 0*z = 2*z + f*z. Suppose p - 4*p + 195 = z. Is p a multiple of 4?
False
Let s be (2 + 3)/(2/(-172)). Let v be (-1 + s/(-4))*2. Does 3 divide 2/(v/69 - 3)?
False
Suppose -4*n + 20 = 0, -21*n = -5*k - 16*n + 2450. Does 60 divide k?
False
Let z(b) = -b + 31. Let a be z(33). Is 17 a factor of 3*(-7 - -205 - a)?
False
Is (0 + -1)/(7 + 20*17433/(-49806)) a multiple of 80?
False
Let a = -11302 - -11411. Does 3 divide a?
False
Suppose 0 = -15*i + 2470 + 12395. Does 5 divide i?
False
Let g(t) = 18 - 31*t + 15*t + 0 - 4*t**2 + 3*t**2. Let q be g(-13). Suppose 0 = 4*u - q - 111. Is u a multiple of 14?
True
Does 17 divide (1 + (-108)/(-8))/(539/(-182) - -3)?
False
Let f be 2*23/8*(-28)/(-7). Let d be f*(-12)/((-4)/(-1)). Let r = 164 + d. Does 13 divide r?
False
Let d(r) = r**3 + 4*r**2 - r + 6. Let i(w) be the first derivative of w**2 - 3*w - 11. Let a be i(3). Is d(a) a multiple of 33?
True
Let q(m) = 72*m**2 + 107*m - 177. Does 324 divide q(23)?
False
Suppose b - 4*k - 6012 = 0, -5*k = b - 279 - 5769. Is b a multiple of 44?
True
Let y(o) = o**3 - 28*o**2 + 75*o + 7. Let r be y(25). Suppose r*b = 1252 + 211. Is 19 a factor of b?
True
Let u(v) = -5*v**3 - v**2 - 4. Let s = 37 - 40. Let t be u(s). Let r = t + -61. Is 16 a factor of r?
False
Let z = 19430 + -12777. Is z a multiple of 8?
False
Is (-6 - (-912)/9)*3 a multiple of 3?
False
Let i be (1/4)/(2/(-8)). Let j(t) = 18*t. Let f(v) = -1. Let p(z) = f(z) - j(z). Is 5 a factor of p(i)?
False
Is 10 a factor of -2*2/(-8) + (-225216)/(-128)?
True
Suppose -107 = 4*b - v, 4*v - 24 = b + v. Is 2/(-9) + (22578/b)/(-1) a multiple of 19?
True
Let l(x) = -6*x**3 + 3*x**2 + 4*x - 1. Let a be l(-2). Let b be -3 - -2 - (-12)/2. Suppose b*u + i = 610, 4*u + 5*i - 416 = a. Is u a multiple of 11?
False
Suppose -6 = -s - 1. Suppose s*x - 626 = 1114. Suppose -5*h + x = 3*b, 3*b + 8 = b. Is h a multiple of 15?
False
Let o = -39 - -39. Suppose w + 31 - 205 = o. L