)/(-3). Suppose 0 = -2*n + l*c + 200, 2*c - 391 = -3*n - 131. Does 18 divide n?
True
Let f = 369 - -103. Is 42 a factor of f?
False
Let l(x) be the first derivative of -x**2/2 + 7*x - 5. Let u be l(-5). Let v = 40 + u. Is v a multiple of 14?
False
Let a = 394 - 348. Is a a multiple of 23?
True
Let l = 58 - 55. Suppose -u + 0*u = -2*a + 59, -2*a + l*u = -69. Is 4 a factor of a?
False
Let o(s) = -s**3 + 32*s**2 - 23*s - 8. Is o(26) a multiple of 46?
True
Let b be 498/(-3)*2/(-4). Let t = -34 - 25. Let v = b + t. Does 8 divide v?
True
Let f(i) = -i**2 + 10*i - 12. Let k be f(7). Does 4 divide (-37)/(-1) - k/(-3)?
True
Suppose -1956 = -160*t + 156*t. Is 9 a factor of t?
False
Let l(b) = -b**3 - 5*b**2 - 5*b - 2. Let m be l(-4). Suppose f = 6*f + m*x - 173, 0 = 3*f + x - 103. Does 11 divide f?
True
Suppose 361 = 7*i - 17. Is 18 a factor of i?
True
Let m(f) = -2*f - 3. Let d be m(-3). Let z be -2*(-15)/d*-1. Is 4 a factor of (39/65)/((-1)/z)?
False
Suppose 2 = -4*x + 2*x. Let o be 4/(-2 + 0)*x. Suppose -115 = -5*c - u + 5*u, -o*u + 66 = 4*c. Does 8 divide c?
False
Let g be ((-101)/2)/(1/2). Let m = 67 + g. Is 17 a factor of (3*2)/((-4)/m)?
True
Suppose -2*q + 2*g = -30, 4 = 3*q + 5*g - 25. Suppose -3*t = -2*t + q. Let j = 31 + t. Is j a multiple of 9?
True
Does 17 divide -9 - 0 - -4*270?
True
Let c be 0/(1 + (-4 - -7)). Suppose c*s = -2*s + 144. Is 24 a factor of s?
True
Let z(u) = u**3 - 2*u**2 + 1. Suppose 2*y = 3*y - 7. Suppose -13 = -3*w - 2*o, -2*w + 3*w - y = -2*o. Does 5 divide z(w)?
True
Is -14713*2/(-18) + 48/216 a multiple of 45?
False
Let b(k) = -198 + 196 - 18*k - 6*k. Let o be b(-1). Let g = 60 - o. Is g a multiple of 21?
False
Let s = 11 + 2. Let d(p) = p**2 - 11*p + 14. Does 8 divide d(s)?
True
Suppose -2*d + 4*d + 8 = 2*k, 2*k = 5*d + 5. Let u = -12 + 86. Suppose u = -k*o + 399. Is 27 a factor of o?
False
Let s(m) = 2*m**2 - 22*m - 78. Let y be s(13). Let h = -34 - -24. Let d = h - y. Does 16 divide d?
True
Suppose -6*y = -3*y - 303. Suppose -2*l = -30 + 108. Let c = l + y. Does 13 divide c?
False
Let b = -779 - -1673. Is 6 a factor of b?
True
Suppose -4*q = -4*o - 748, q - 193 = -0*q + 3*o. Suppose 2*j = -k + q, 4*k = 4*j - 122 - 234. Is 24 a factor of j?
False
Let z be (-27)/12 - (-6)/(-8). Let o be 1 + (z - (-5)/1). Is 7 a factor of 1/(o/42*1)?
True
Suppose -2*d - 206 = -q + 56, 0 = -3*d + 2*q - 392. Is 17 a factor of -10*(d/5)/6?
False
Let u = -4 - -3. Let v be -48*u/(-8)*6. Let d = -14 - v. Does 11 divide d?
True
Let x = 27 + -27. Suppose 5*n - 226 - 34 = x. Is 13 a factor of n?
True
Suppose y = 16 - 7. Let m(d) = d + 4. Let x be m(y). Let k = x - 9. Is 4 a factor of k?
True
Suppose 5 + 1 = -s. Let z(j) = 6 + 1 - j**3 + 4*j - 4 - 5*j**2 + 0*j**2. Is 6 a factor of z(s)?
False
Suppose 57 + 3 = 3*i. Suppose 2*g + i = g. Let o = g - -41. Is 17 a factor of o?
False
Let g(m) = -6 + 7 + m + 0. Let a be g(1). Suppose -a*n - 5*q + 18 = -2, 0 = 5*q + 20. Does 6 divide n?
False
Let y(s) = s**2 + 5*s + 7. Let z be y(-12). Suppose 2*b + z = 3*b. Suppose -u + b = u - g, -4*u + 185 = -5*g. Is u a multiple of 15?
True
Let d = 269 - -100. Is 41 a factor of d?
True
Is (-15)/3 - (-1047 - -1) a multiple of 25?
False
Let y be ((-56)/(-42))/((-1)/3). Is (-2)/(y + 40/156*15) a multiple of 13?
True
Let x = 3341 - 2106. Does 13 divide x?
True
Let k = -391 - -580. Is 7 a factor of k?
True
Let o(u) = -14*u**2 + 3*u - 7. Let a be o(2). Let k = 137 + a. Does 3 divide k?
False
Suppose 3*b = -4*z + 6*b + 1564, -b - 390 = -z. Suppose 0 = y - 6*y - 3*q + z, -y = -q - 74. Is 42 a factor of y?
False
Let k(m) be the third derivative of m**5/10 - 5*m**4/24 + 5*m**3/6 - 5*m**2. Is k(2) a multiple of 8?
False
Suppose 3*k = 209 + 88. Does 9 divide k?
True
Suppose -5*g = w + 6 - 4, 4 = -2*w. Suppose 6*y - 213 - 147 = g. Does 10 divide y?
True
Let r(m) = m + 5. Let v(c) = c**3 - 6*c**2 + 3*c + 2. Let o be v(6). Let i = o + -15. Is 10 a factor of r(i)?
True
Let w(i) = -42*i - 1. Let m(g) = 168*g + 3. Let h(c) = -4*m(c) - 15*w(c). Does 23 divide h(-2)?
False
Let h(s) = s**3 - s - 2. Let p be h(0). Let y(r) = -10*r**3 - 4*r**2 - 4*r - 4. Does 12 divide y(p)?
False
Let q(c) = -48*c - 4. Let v be q(-10). Suppose 4*t + 298 + 70 = 4*s, -5*s + v = 3*t. Is s a multiple of 9?
False
Let l(i) = -i**2 + i. Let m be l(1). Suppose -2*b + 5*z = -40, m = 4*z - 2*z. Is 5 a factor of b?
True
Let y = 20 - 24. Let k(o) = 5*o + 14. Let z be k(y). Let f = z + 98. Is 24 a factor of f?
False
Suppose 2*g + 4*c - 6092 = 0, -10*c + 15*c = 2*g - 6128. Is 12 a factor of g?
False
Suppose -3*j + 4*z + 152 = 0, 3*z + 191 = 3*j + j. Let d = j + 18. Is d a multiple of 14?
False
Let l be (6/(-12))/(2/568). Let s = 93 + l. Let d = s + 76. Does 14 divide d?
False
Suppose 2*o + 4*a = 8*a + 8, 0 = 4*o - 3*a - 16. Let x be (-7)/(-28) + (-1)/o. Suppose 119 = -x*g + 4*g - 5*u, -5*u - 15 = 0. Is g a multiple of 14?
False
Suppose -19 + 4 = -a. Does 14 divide a + -2*3/6?
True
Suppose 5*d - 15*w = -10*w + 85, w = 2*d - 32. Does 3 divide d?
True
Let f(i) = i + 5. Let k be f(-9). Let u = -1 + k. Let g = u + 27. Is 11 a factor of g?
True
Let r(k) = k**2 + 9*k - 5. Let o(u) = u**3 + 2*u**2 - u - 4. Let f be o(-3). Let c be r(f). Suppose -t = -6 - c. Is 10 a factor of t?
False
Let k = -247 - -262. Does 10 divide k?
False
Suppose -29*h + 16*h = -2613. Does 4 divide h?
False
Let d(y) = -y + 50. Let x(f) = -f**2 - 4*f - 5. Let o(v) = 2*v**2 + 8*v + 11. Let c(q) = -2*o(q) - 5*x(q). Let m be c(-3). Does 10 divide d(m)?
True
Let c(h) = 3*h**2 - 2*h. Let y(z) = -6*z**2 + 5*z. Suppose 0*w + 10 = 2*l + 3*w, -l + 5 = 3*w. Let f(x) = l*c(x) + 2*y(x). Is f(-3) a multiple of 27?
True
Let d(w) = -39*w - 42. Is d(-6) a multiple of 8?
True
Let p = 8 - 2. Suppose -n + 0 = -p. Let b = 30 - n. Is b a multiple of 12?
True
Let i be -2 + 11*(1 - 0). Suppose 67 = 5*d - 4*k, 3*k - 44 = -3*d + 7. Suppose -14*y + d = -i*y. Is y a multiple of 2?
False
Suppose 5*j - 226 = 854. Does 12 divide j?
True
Let q be 0 + 1*(1 - -1). Suppose q*r - 18 = 38. Is r a multiple of 7?
True
Suppose 5*f + 60 = 5*o, -f + 8*o = 4*o + 24. Let p be -11*(-1 - -4)/3. Is 3 a factor of 2*4/f - p?
False
Let a(u) = u**3 + 41*u**2 + 33*u + 37. Is 34 a factor of a(-40)?
False
Suppose 40 = k + 164. Let n = -67 - k. Is n a multiple of 33?
False
Suppose 5*d - 3*i - i - 1514 = 0, d + i - 301 = 0. Is 7 a factor of d?
False
Suppose -9*w + 6759 = -8604. Is 17 a factor of w?
False
Suppose k - 6*k = -25. Suppose -2*c + 2*t = 0, -c + t - 6 = -2*c. Suppose -c*d - 90 - 10 = -k*g, 0 = d. Is g a multiple of 6?
False
Suppose 2*s = -5*s + 63. Suppose -4*v = u + s, -5*u - 2*v - 3*v = 0. Is u a multiple of 2?
False
Let o be ((-44)/(-2))/((-20)/(-4) + -7). Let b(k) = -k**2 - 16*k - 35. Does 3 divide b(o)?
False
Let p(v) = 34*v**3 - 4*v**2 + 4*v - 3. Is 12 a factor of p(2)?
False
Let c = -89 - -147. Suppose 2*t + 2*t + 2*m = c, -33 = -4*t + 3*m. Does 2 divide t?
True
Let s(v) = 4*v**2 + 15*v + 37. Let q(g) = g**2 + 4*g + 9. Let z(o) = 9*q(o) - 2*s(o). Let u be z(-5). Suppose u + 12 = r. Does 7 divide r?
True
Let m = -653 + 993. Does 5 divide 1/(-4 - m/(-84))?
False
Suppose -5*k + 12 = 4*w - w, -3*w + 12 = -4*k. Does 22 divide (-4 + 4 - 31)*(-1 + k)?
False
Let h(x) = 4*x + 449. Is h(60) a multiple of 4?
False
Suppose 0 = j - 3*j + 164. Let a = -121 - -73. Let i = j + a. Does 34 divide i?
True
Suppose 0 = 4*n + 466 + 406. Is 5 a factor of 3 - ((-5)/(-20) + n/8)?
True
Let t(g) = -2*g**2. Let z be t(-5). Let p = 113 + z. Let d = p - 28. Does 9 divide d?
False
Suppose -5*m + 0*m + 50 = 0. Suppose 0 = -3*y + 2*k + 3*k + m, -3*y + 4 = -2*k. Suppose y = -3*j + 2*v + 162, 3*j = 4*v - 5*v + 153. Is j a multiple of 9?
False
Let w = -62 + 125. Is w a multiple of 21?
True
Is (-19 - -17)*-10*17 a multiple of 14?
False
Suppose 3*p - x = -0*p + 54, -3*p = -4*x - 54. Suppose -3*r - q = -p, 0*r + 3*r - 18 = q. Does 2 divide r?
True
Suppose -3*a + 26 = -5*j, -5*a + 0*j = 3*j - 100. Let v = a - 15. Suppose v = 2*n - 26. Is 14 a factor of n?
True
Suppose 13*d - 10*d - 453 = 4*h, -4*d = 2*h - 582. Does 35 divide d?
False
Let f(n) = 3 - 3*n + 5*n**2 - 9*n**2 + 6*n**2 + 5*n**2. Does 12 divide f(-4)?
False
Let z(l) = -l**3 + 5*l**2 - 5*l + 2. Let i be z(4). Let a be i + 9/3 - -1. Suppose 4*d - 132 = 4*p, d + 24 = a*d 