/(-3) + -8. Is (-32)/3*(-18)/(v/(-2)) a multiple of 16?
True
Suppose o = -5*m - 13 + 2, 2*o = m + 11. Suppose -3*v = -o + 7. Does 17 divide (45/(-4))/(v/4)?
False
Suppose -b = 2*i - 11, 5*i + 4*b + 0*b - 32 = 0. Let f be ((-2)/i)/(3/(-18)). Is 9 a factor of -6 + f + (5 - -25)?
True
Let r(t) = -2*t**3 + 13*t**2 - 4*t - 9. Let v be r(6). Suppose v*g + 0*g - 216 = 0. Does 28 divide g?
False
Is 12 a factor of (-828)/(-1) + -5 - (-1 + 0)?
False
Let z be 63/(56/12 - 5). Let f = 297 + z. Is 38 a factor of f?
False
Let c(n) = 7*n + 212. Let o be c(-38). Suppose -d = 3*r - r + 173, 3*r + d + 260 = 0. Let h = o - r. Is 11 a factor of h?
True
Suppose -u = 4*z - z + 135, -u = z + 129. Let r = -148 - -81. Let h = r - u. Is 16 a factor of h?
False
Let h(m) = -4*m + 172. Let b be h(0). Let r = -92 + b. Does 22 divide r?
False
Let m = -30 + 24. Let p(b) be the second derivative of -b**3/2 - 11*b**2/2 - b. Is p(m) a multiple of 2?
False
Let d = 2462 + -27. Is 74 a factor of d?
False
Suppose -250 = -3*i + v, -3*v - 2*v = 3*i - 244. Is i a multiple of 6?
False
Let o = -46 - -145. Let c = -44 + o. Does 8 divide c?
False
Let o(g) = -g - 13. Let q be o(-7). Let u = 13 + -7. Is 14 a factor of (-1)/u - 109/q?
False
Let t be -2*(-4 - 3/(-6)). Suppose 1044 = -t*o + 4*o. Does 19 divide 1/((-4)/o*1)?
False
Let z(n) = -7*n**2 - 6*n + 1. Let q be z(4). Does 31 divide (8/(-12))/(2/q)?
False
Suppose -3*d = 2*f - 1597, 2*f + d = f + 799. Does 23 divide f?
False
Let j = 112 + 720. Does 10 divide (-6)/(-4)*j/24?
False
Suppose 5*n + 456 = 3*y - 26, 0 = -3*y - 3*n + 474. Does 14 divide y?
False
Let d = -91 - -93. Suppose -4*h - 140 = -2*i, -5*h = 13 + d. Does 16 divide i?
True
Suppose -20 = -4*p, 3*p + 2*p - 17 = 4*a. Suppose -3*n = a*d + n - 218, 4*d = n + 409. Is d a multiple of 13?
False
Let q(f) = 20*f**2 + 43*f + 39. Is q(-5) a multiple of 44?
False
Let k be ((-5)/10)/((-1)/480). Suppose -13*z - k = -17*z. Is 5 a factor of z?
True
Let h = 71 - 68. Suppose -3*d = -5*o - 314, -d - h*o + 123 = -o. Is d a multiple of 25?
False
Let q(d) = -d - 1. Let a(t) = 8*t + 11. Let o(u) = -a(u) - 3*q(u). Let x be 10/((-2)/2*1). Is o(x) a multiple of 14?
True
Suppose -p = -6*p - 125. Let d = p - -24. Is (16 - d) + (-11 - -10) a multiple of 9?
False
Let x(r) = -4*r - 6. Let f be x(-7). Let o = -16 + f. Suppose -4*z = 4*c, -o*z - 3*c + 3 = -2*z. Is 2 a factor of z?
False
Let q(x) be the first derivative of x**7/840 - x**6/360 - x**5/120 + 2*x**4/3 + 5*x**3/3 + 6. Let g(j) be the third derivative of q(j). Does 8 divide g(0)?
True
Let n(f) be the first derivative of -9*f**2/2 + 61*f - 16. Is 22 a factor of n(-25)?
True
Suppose 3*j = -5*c + 5 - 31, -4*c = -4*j + 40. Let v = 86 - c. Is 27 a factor of v?
False
Let k(f) = f**3 - 7*f**2 + 4*f - 10. Let j be (-2)/3*(-1 - 11). Does 22 divide k(j)?
False
Let h(r) = r**2 + 4*r + 10. Let a(v) = -5*v - 9. Let j(p) = 2*a(p) + 3*h(p). Is 33 a factor of j(-3)?
True
Let x(r) = -r**3 - 6 - 5*r**2 - 7*r + r**2 - 3*r. Does 20 divide x(-6)?
False
Let b be -2*3/9*3. Let j be (-21)/(-14) + (-9)/b. Suppose j*l = 3*l + 36. Is 8 a factor of l?
False
Let x(j) = 42*j - 70. Is 13 a factor of x(16)?
False
Let z(l) = -4*l**3 + l**2 + 6*l**3 - 4*l**3 - 2*l**3 - 1. Let i be z(1). Is 8 a factor of (i/5)/(1/(-40))?
True
Let d = -871 - -551. Suppose -332 - 122 = -j. Let n = j + d. Is n a multiple of 32?
False
Suppose 4*o - 18 + 2 = 0. Suppose 87 = o*d - 97. Does 5 divide d?
False
Let o be (4/(-6))/(4/(-18)). Suppose 9 + 0 = o*a. Suppose -5*n = -4*p - 112, 0 = -2*n + 2*p + a*p + 55. Is 11 a factor of n?
False
Let q(y) = y**2 - 13*y + 17. Let g be q(12). Is ((-728)/(-35))/(1/g) a multiple of 13?
True
Let r = 478 + -262. Is r a multiple of 108?
True
Let y = 12 + -8. Let o(g) be the first derivative of 2*g**3/3 - g**2/2 - g + 47. Is o(y) a multiple of 6?
False
Let f(l) = 11*l**2 + 33*l + 287. Is f(-9) a multiple of 17?
False
Let n be 0/(12/3) - -4. Suppose -6*t + 7*t - 104 = q, -n*q + 129 = t. Is t a multiple of 23?
False
Suppose -2*o = 3*o. Suppose 4*s - 24 = -4*j, -j + o*j - 5*s = -14. Suppose 0 = -5*a + j*m + 183, 2*a + 5*m - 2*m - 64 = 0. Is a a multiple of 7?
True
Let b = -447 + 1241. Is b a multiple of 27?
False
Let c be 0 + 2/7 - (-57)/21. Does 8 divide (-33)/(-3) + 4/(4/c)?
False
Let y(i) = 2*i**2 - 23*i + 20. Let u be y(14). Let l = u - 17. Does 15 divide l?
False
Let s = 1363 + -607. Is 36 a factor of s?
True
Suppose 3*o - 2 = 5*q, -5*o + 3*q - 2 = -4*o. Suppose 0 = -j - 5*h + 37, -h = -o*j - 3*h + 130. Does 7 divide j?
False
Suppose -i = -2*i + 2. Suppose i*t + 28 = 9*t. Is t a multiple of 4?
True
Suppose -4183 = -3*s - 5*h, 5564 = -5*s + 9*s + 4*h. Is 22 a factor of s?
True
Let y(p) = 4*p - 3. Let q be y(2). Suppose -q*l - 1921 = 9. Is (-3)/18 + l/(-12) a multiple of 11?
False
Let c = 1432 - 954. Does 16 divide c?
False
Suppose -9*t + 5*t + 3*k = -262, -6 = 3*k. Is 4 a factor of t?
True
Suppose 7*m = 1306 + 955. Is 13 a factor of m?
False
Let g(w) = w**3 + 12*w**2 - 14*w - 13. Let v be g(-13). Suppose -3*c + 2*j = -79, 5*c + v*c - 2*j = 137. Is c a multiple of 5?
False
Suppose -15611 = -13*s + 5683. Does 63 divide s?
True
Suppose 6 = -i - 3*d - 6, -i = 4*d + 17. Suppose 0*t = t - i. Suppose -2 = -t*n + 13. Does 5 divide n?
True
Let l = -64 + 120. Suppose u + c - l + 21 = 0, -4*u = -c - 155. Is u a multiple of 7?
False
Let j = -21 + 34. Let w(q) = q**3 - 13*q**2 + 5*q - 18. Is w(j) a multiple of 7?
False
Let p(l) = -l**3 + 4*l**2 + 2*l - 5. Let o be p(4). Let n(f) = -f**3 - 28*f**2 + 31*f + 49. Let q be n(-29). Is 1*(-57)/(q/o) a multiple of 5?
False
Let m be (6/(-2) - 12)/(3/(-24)). Is ((-1)/4 - 0) + 4710/m a multiple of 15?
False
Let v(b) = 0*b - b**3 - 4 + 10*b - 2*b**3 - 9*b - b**2. Is 11 a factor of v(-3)?
False
Let z = -19 + 51. Suppose 0 = v - z - 88. Is 12 a factor of v?
True
Suppose 0 = -717*g + 672*g + 78795. Does 31 divide g?
False
Let j(x) = -x - 2. Let d be j(-8). Let s = 4 + 100. Suppose d*w - 2*w = s. Is w a multiple of 13?
True
Suppose 4*m = u + 7 + 3, -7 = -5*m + 4*u. Suppose -4*t - 4*f - 8 = 4, -m*t = -3*f - 21. Suppose t*z - 17 = 95. Is 9 a factor of z?
False
Suppose 4 = 7*v - 10. Suppose 5*y - v*y = 135. Is 23 a factor of y?
False
Is (21/6 + -5)*(1 + -9) a multiple of 6?
True
Suppose -9 = -2*u - h, -5*u + 6*h = h - 60. Suppose 3*v + 196 = u*v. Is 14 a factor of v?
False
Suppose -3*q = -3*i - 198 + 33, 0 = q - 4*i - 43. Suppose 4*r = 53 + q. Suppose 5*f - 47 = r. Does 15 divide f?
True
Suppose -2*s - 2*s = -12. Is 6 a factor of 54/(-4)*(s + 39/(-9))?
True
Suppose 8*i = 270 - 54. Does 5 divide i?
False
Suppose -3*g + 1254 = -3*b, 0 = -14*g + 11*g + 4*b + 1249. Does 42 divide g?
False
Let s(x) = -68*x - 17. Is s(-3) a multiple of 17?
True
Suppose -4*r = -7 - 9, -5*k + 5*r = 10. Suppose 4*s - 21 = -5*z + 4, 18 = -k*z + 4*s. Suppose 3*c - 22 = -2*x - 2*x, c = 5*x + z. Is c a multiple of 3?
True
Let w = -2145 + 3041. Is 23 a factor of w?
False
Let m(h) = h + 31 + 39 + 25 - 111 - 12*h. Let b(w) = 2*w + 4. Let j be b(-6). Is m(j) a multiple of 24?
True
Suppose 0 = 6*c - 3894 - 1008. Is 88 a factor of c?
False
Let x(j) = 6*j**2 + 7*j + 9. Suppose 0*h - 3*h - 18 = 0. Let c be x(h). Suppose -c = -5*a - 3*g, -2*a + 2*g - 5*g + 66 = 0. Does 13 divide a?
True
Suppose 2*u + u = 3. Suppose 5*y - 14 = u. Is 2 a factor of 1/y - (-60)/9?
False
Let m = -132 - -260. Let v be (-3 - (3 - 3))*-7. Suppose 19*k + m = v*k. Is 32 a factor of k?
True
Let a(d) = -d**3 - 8*d**2 - 9*d - 12. Let l be a(-7). Suppose l*v + v = 33. Does 2 divide v?
False
Let u(v) be the third derivative of -v**4/24 + v**3 + 9*v**2. Let a be u(-15). Let d = a + 4. Is 25 a factor of d?
True
Suppose 88*x - 1320 = 77*x. Is 18 a factor of x?
False
Let t = -741 - -953. Does 11 divide t?
False
Let l(a) = -a**2 + 29. Let y be l(0). Suppose -34*g + 10 = -y*g. Let p = g + 24. Is 8 a factor of p?
False
Suppose 31*w - 9284 = 39076. Does 40 divide w?
True
Suppose -n + 4 = 0, 0*o - 203 = -3*o - 2*n. Suppose 30 = 5*v - o. Is v a multiple of 19?
True
Let j be (91/(-7))/(3/(-3)). Suppose 6*k - j + 49 = 0. Is 36 a factor of 148 + (k - (0 + -2))?
True
Let y be 1/(-2)*2 + 21/3. Suppose y*w - 9*w + 60 = 0. Does 7 divide w?
False
Suppose -9*p = -28 - 80. Is 8 a factor of p?
False
Let q(l) = -l**3 + 6*l**2 + 17*l - 74. Do