= -3 + 1 - 8*l + 2 - 2. Does 8 divide h(-2)?
False
Does 4 divide (12/90*18)/(3/10)?
True
Let h(s) = 16*s - 11. Let r be h(8). Suppose 4*j - r + 29 = 0. Does 6 divide j?
False
Let m(l) be the second derivative of 7*l**4/12 + l**3/3 - l**2/2 - 2*l. Let y be m(-2). Let r = y + -16. Is 7 a factor of r?
True
Let l(u) = u + 5. Let t be l(6). Let q = -5 + t. Let w = 17 - q. Is 5 a factor of w?
False
Suppose u + 2*u - 9 = 0. Let r(x) = x + 1 + 1 - 3 + 3*x. Is 4 a factor of r(u)?
False
Suppose -658 = -3*w - 196. Is 14 a factor of w?
True
Let m = 1 - -1. Let p = m + 15. Does 11 divide p?
False
Suppose -8 - 23 = -v. Is v a multiple of 31?
True
Let s(m) = -m**2 - 5*m - 3. Let i be s(-2). Suppose -4*a = 5*g - 28, 5*a = i*a + g. Suppose -3*n - a*t + 124 = 0, 0*n + 3*t = 2*n - 61. Does 19 divide n?
True
Let j(s) = s**2 + 2*s + 1. Let k(r) = 2*r + 7. Let u be k(-5). Let h be j(u). Suppose h*d + 5*l = 6*l + 37, 3*l = 9. Is 5 a factor of d?
True
Suppose 0*y = -y + 5*d + 20, 2*y + 4*d = -2. Suppose -5*g = 4*b - 117, -g = -b - y - 13. Is g a multiple of 7?
True
Let v = 5 - 13. Let y = v + 30. Is y a multiple of 15?
False
Does 10 divide -1 + 3/((-3)/(-58))?
False
Let l(q) = 16*q**3. Let b be l(1). Is 5 a factor of (14 - b)*(-4 + -1)?
True
Let c(s) = -s - 2. Let l be c(-11). Let y = l - -38. Does 12 divide y?
False
Suppose 3*s = -0*s - 3. Let g be (-15)/(-20) + s/(-4). Suppose 10 - g = 3*w. Is 3 a factor of w?
True
Let d(m) = -m**2 + 2*m + 3. Let c be d(-2). Let t(w) = -2*w**3 - 6*w**2 + 4*w + 2. Is t(c) a multiple of 17?
False
Suppose 3 = 4*k + n, -4*n + 0*n - 22 = -k. Suppose k*w - 3*g = 34 + 14, 3*g + 72 = 3*w. Is 9 a factor of w?
False
Let n(r) = -r**3 - 5*r**2 - 9*r + 5. Is 33 a factor of n(-7)?
False
Let g = -1 + -3. Let b(v) = 3*v + 6. Let w be b(g). Let x = 20 + w. Is 14 a factor of x?
True
Suppose -3*h = -2*h - 12. Is 12 a factor of h?
True
Suppose 9*o = 4*o - 20. Suppose v - 2*r = -5, 4*v - 2*r + 1 = -13. Is 8 a factor of o/v*3*5?
False
Let p = 65 + -10. Let b = p + -23. Is b a multiple of 11?
False
Let q(j) = -j**3 + 15*j**2 + 8*j + 6. Does 14 divide q(15)?
True
Let l(q) = -4*q. Let n(s) = s**3 - 7*s**2 - 3*s + 6. Let w(f) = -f**2 - f + 1. Let v(y) = -n(y) + 5*w(y). Let x be v(2). Is 20 a factor of l(x)?
True
Let h = -69 - -48. Is 12 a factor of (72/h)/(3/(-21))?
True
Let a be 3*-1 - (30 + -11). Let w = a + 44. Is w a multiple of 22?
True
Is ((-172)/(-6))/(2/3) a multiple of 13?
False
Let l(o) = -o**2 + 1. Let c(m) = -7*m**2 + 2*m + 9. Let q(n) = -c(n) + 6*l(n). Does 7 divide q(6)?
True
Let u(f) = 6*f**2 - 7*f + 4. Is u(5) a multiple of 17?
True
Suppose 2 = 3*s - 10. Suppose -g + 321 = -3*a - s*g, 0 = -4*a + 2*g - 416. Let d = -73 - a. Is 16 a factor of d?
True
Suppose -p = p - 10. Suppose 0*v + v - 4*k - 49 = 0, 4*v + p*k = 175. Is v a multiple of 15?
True
Let p(m) = 2*m**2 + 6*m - 5. Is 5 a factor of p(-5)?
True
Let l = 256 + -170. Does 5 divide l?
False
Let f = -7 + 27. Suppose g = n - 2, f = g - 5*g. Is (n/9)/((-2)/66) a multiple of 11?
True
Suppose -v - 5*v + 468 = 0. Is v a multiple of 30?
False
Suppose 3*a - p + 2 - 168 = 0, 0 = -2*a + 3*p + 99. Is 33 a factor of a?
False
Suppose 3*v + 2*v - 4*t = 29, -3*v - 2*t = -13. Suppose 2*x - 5*u = -9, 0 = -v*u + 6 + 9. Suppose -x*h - h + 92 = 0. Does 9 divide h?
False
Is 17 a factor of 4480/44 + (3 - (-124)/(-44))?
True
Suppose 2*t + 0 = -4. Let u = 4 + t. Suppose 3*j - 23 + 61 = h, u*h - 2*j = 60. Is h a multiple of 13?
True
Let y(d) = -2*d + 18. Let i be y(6). Does 15 divide i/(-4) - 639/(-18)?
False
Let g be 2/6 - 22/3. Let b = -21 + g. Let w = 46 + b. Is 7 a factor of w?
False
Let m(q) = q**3 - 4*q**2 + q. Let g be m(4). Suppose -2*r = -3*f - 34, g*r + 2*f = -2*f + 28. Is r even?
False
Let h = 92 - 55. Suppose -2*y - 2*p + h = -5, -2*y + 5*p = -49. Does 11 divide y?
True
Suppose -5*w + 5 = 0, 12 - 52 = -3*n + 5*w. Suppose 4*g + 5*u = 2*g + 45, -n = -3*u. Does 10 divide g?
True
Suppose 791 = 5*n - 259. Is n a multiple of 23?
False
Let i be 1/((3/1)/9). Suppose -1 = 2*k + i. Is 14 a factor of 14*(k/2)/(-1)?
True
Let q(j) = 21*j - 1. Is 14 a factor of q(2)?
False
Suppose -20 = m - 0*m - 4*v, -2*v + 52 = -2*m. Let h be (-8)/m + (-24)/(-14). Suppose 0 = 2*w + 3*l - 54, 3 = h*l + 7. Is 15 a factor of w?
True
Let f = 2 - 4. Let u be 0 + f + 1 + -9. Let g = u - -27. Does 7 divide g?
False
Suppose 0 = 2*v + h - 121, 2*h + 3*h + 115 = 2*v. Does 15 divide v?
True
Suppose -7*c = -6*c. Let h be 2 + c + 2/(-1). Suppose h*n - 5 = n + 5*i, 0 = -2*n - 2*i + 14. Is n a multiple of 10?
True
Suppose 0*d = d - 2. Suppose 15*b = 16*b - 2. Suppose -u = -d*x + 3*u + 106, b*x + 5*u - 97 = 0. Is 14 a factor of x?
False
Suppose -w = -16 + 3. Does 8 divide w?
False
Suppose 0 = 4*g - 4*l - 340, 3*l + 72 + 99 = 2*g. Is g a multiple of 12?
True
Let y(h) = -h**3 - h**2 - 2*h - 3. Let f be y(-2). Suppose -b + g = -22, -g = 3*b - f*g - 71. Does 17 divide b?
True
Let v = 52 - 42. Is 6 a factor of v?
False
Let j be 1*(2 - 3) - -5. Suppose -k - j*x + 23 = 0, -4*x + 14 = -2. Let s(m) = m**2 - 5*m + 1. Is 11 a factor of s(k)?
False
Let x = 70 + -48. Is x a multiple of 11?
True
Let f(k) be the third derivative of k**6/120 + 7*k**5/30 + 2*k**4/3 - 4*k**3/3 + 4*k**2. Is 22 a factor of f(-12)?
True
Suppose 3*b - 2*j - 3 = -6*j, 0 = -4*b + 4*j + 4. Let k be ((-5)/2)/(b/2). Is (2 + k)/((-9)/78) a multiple of 11?
False
Suppose 2*p = 2*d - 194 - 18, -2*d - 3*p + 217 = 0. Does 29 divide d?
False
Is 23 a factor of (-7704)/(-56) + (-6)/(-14)?
True
Let h(s) = 6*s + 7. Let z(o) = -7*o - 8. Let a(l) = 6*h(l) + 5*z(l). Let r be a(3). Let f = r + 1. Does 2 divide f?
True
Suppose -6 = -f - 50. Let b = f - -76. Is 12 a factor of b?
False
Suppose 3*i - 4*k = -1 - 15, 2*i + 16 = 4*k. Suppose 0 = s + 3*c + c - 50, i = -2*c + 4. Does 21 divide s?
True
Is 15 a factor of (-2592)/112*14/(-3)?
False
Let o(t) = -5*t + t - 2*t + t. Is 7 a factor of o(-4)?
False
Let b = 2 + -4. Let s = b - -6. Suppose 5*i - 68 = -f + 40, 0 = -i - s*f + 14. Does 6 divide i?
False
Suppose 0*k + 26 = 5*b + 2*k, b = 3*k - 5. Suppose 5*j - 23 = b*j. Does 10 divide j?
False
Let z(q) = q**2 + 12*q + 13. Let h be z(-11). Let v(j) = 3 - 3 - 1 + 3*j. Is 4 a factor of v(h)?
False
Suppose i = 5*i - 352. Let x = i + -39. Does 13 divide x?
False
Let t(n) = n**2 + 7*n + 7. Let d be t(-8). Is 1/5 - (-72)/d a multiple of 3?
False
Suppose 0 = -5*o - 11 + 91. Does 5 divide o?
False
Let a = -1 + 4. Suppose 3*y + 0*o - 31 = -o, 4*y + a*o - 33 = 0. Let p = y + 7. Is p a multiple of 19?
True
Let g = 35 - 16. Suppose 3*k = 4*u - 24, -3*u = k - 8*u + g. Does 14 divide (-38)/(-1)*(-2)/k?
False
Let a be 0 + 0 - (-45)/(-3). Let x = -9 - a. Suppose 0 = -j + x*j - 45. Does 8 divide j?
False
Suppose 0 = -4*u + 5*k + 7, -3*k + 3 = -0. Suppose 4*p - 7 = -l, 0*l + u*p - 9 = 3*l. Let d = l - -23. Is d a multiple of 11?
True
Let k(g) = 2*g + 24. Is k(0) a multiple of 17?
False
Suppose -3*z - d + 3*d - 20 = 0, 0 = -5*z + 5*d - 30. Let x = 10 + z. Is x even?
True
Let m(j) = -j. Let i be m(3). Is 2/(-18)*i*9 a multiple of 2?
False
Let f be ((-8)/12)/((-1)/6). Suppose 0*b = -2*j + b + 41, -7 = -j - f*b. Is 14 a factor of j?
False
Suppose -5 = b - 19. Does 14 divide b?
True
Let b(n) = -n - 6. Let f be (-6)/1*(-8)/(-6). Let l be b(f). Does 9 divide 24 - 6/l*-1?
True
Let d = -26 + 13. Let g(h) = 7*h - 7. Let k be g(5). Let y = d + k. Is y a multiple of 10?
False
Suppose 2*f = 3*f - 2. Suppose -l + f + 13 = 0. Is l a multiple of 8?
False
Let b(m) = -m**3 - m**2 + 36. Suppose 4*h - 3 = -3*i, -h + 5*h = -5*i + 5. Is 9 a factor of b(h)?
True
Suppose 0 = -h + 2*h - 84. Is 42 a factor of h?
True
Suppose 0 = r - 4 + 5. Let h be r/((-24)/22 + 1). Let m = 0 + h. Is 5 a factor of m?
False
Suppose 447 = -6*a + 2409. Is 55 a factor of a?
False
Let s(c) = c**3 - 2*c**2 + 318. Does 22 divide s(0)?
False
Suppose u = -4*u + 5. Let g(s) = s - 2. Let f be g(u). Is (f + -1 + -8)*-2 a multiple of 10?
True
Let q(g) = 13*g**2 + 2*g - 2. Let l be q(-4). Let f = l + -114. Does 28 divide f?
True
Let k(f) = -f + 53. Let a be k(0). Let v = a - 79. Does 7 divide -7 - v - 4/2?
False
Suppose -2*r + 4 = -0*r. Suppose -5*k + v - 4*v = -77, 2*k + r*v = 30. Is k a multiple of 3?
False
Suppose 0 = 3*t + 2*t - 265. Does 15 divide t?
False
Let r = 288 - 156. 