= -5*h + 1099. Does 35 divide h?
True
Let h(d) = -7*d**3 - d**2 + 1. Let m be h(-1). Let x(s) = -s + 10. Is 2 a factor of x(m)?
False
Suppose c + 2*x + 4 = 0, -3*c - 5*x + 3 = 19. Let v = 1 - c. Is 13 a factor of v?
True
Let k(q) = -2 + 11*q + 1 - 2 + 8*q**2 - 6*q**2. Is 30 a factor of k(-8)?
False
Let k(s) = 3*s**2 - 18*s - 15. Is 38 a factor of k(11)?
False
Suppose 0 = -p - 0*p + 5. Suppose -s = 3 - p. Is 2 a factor of (2 + (-5 - s))*-1?
False
Suppose -c + 2*j + 26 = 10, 4*j + 12 = 0. Is 3 a factor of c?
False
Let y(u) = -9*u - 11 + u**2 - 2*u + 2*u**2 - 4*u**2. Let q be y(-9). Suppose 28 = 3*l + q. Is l a multiple of 3?
False
Suppose -2*y + 4*g + 6 = -54, -y - 5*g = 5. Let v = y + -6. Is 7 a factor of v?
True
Suppose -a + 148 = 4*t + 3*a, 0 = 5*t + 3*a - 177. Let n = -12 + t. Is 20 a factor of n?
False
Suppose -2*q - 49 = 8*f - 3*f, 5*f + 64 = 3*q. Let d = f + 15. Let n = d - 0. Does 4 divide n?
True
Let m(u) = 58*u**2 - u. Let y be m(-1). Let w = 87 - y. Is w a multiple of 14?
True
Suppose -c + 4*c = 54. Is 5 a factor of c?
False
Let h = -11 - -14. Suppose h*s + 162 = 6*s. Does 16 divide s?
False
Let h(b) be the third derivative of -b**5/60 + b**4/24 + 3*b**3/2 - 2*b**2. Let n = 1 - 1. Does 9 divide h(n)?
True
Let u = 53 + -21. Suppose 0 = -w + 8 + u. Is w a multiple of 20?
True
Let n(s) = -s**2 - 2. Let u be n(-2). Is 6 a factor of 24/3*(-9)/u?
True
Is (-3)/(12/(-8)) - -34*2 a multiple of 10?
True
Let p be (-175)/(-10)*12/7. Let h be (p/(-4) + 1)*-8. Suppose 3*c + 2*z - h = -2*z, 2*c + 3*z - 33 = 0. Is c a multiple of 12?
True
Let g be -2 - -1*(164 + 0). Let z be 1 + 2/2 + -104. Let o = z + g. Is o a multiple of 21?
False
Let f = 12 + -8. Let w(v) = 2*v**2 + 3*v + 1. Is w(f) a multiple of 15?
True
Let a(p) be the second derivative of 5*p**3/6 + p**2/2 - 2*p. Let k(u) = -6*u - 1. Let m(f) = 3*a(f) + 4*k(f). Is m(-2) a multiple of 6?
False
Let n(p) = 2*p - 1. Let f be n(-1). Let b(m) = -5*m - 1. Does 8 divide b(f)?
False
Let p(m) = -m + 6. Suppose 0 = -d + 6*d - 25. Suppose a - 3*a + 18 = -3*r, -2*r - 12 = -d*a. Is p(r) a multiple of 12?
True
Let q be 2/(-10) - (-32)/10. Suppose 0 = q*l - 2*c - 32, 0*l + 4*l - 5*c - 38 = 0. Let a = l - 7. Is a a multiple of 5?
True
Suppose -4*a + 4*d + 536 = -a, 4*a - 3*d = 717. Is a a multiple of 12?
True
Let n(o) = -o**2 + o. Let y be n(2). Let g = 35 - y. Does 9 divide g?
False
Let w be (-3)/6 + (-1)/(-2). Suppose 4*p - 66 - 14 = w. Is 10 a factor of p?
True
Suppose 89 = 2*v - j - 10, 4*j + 114 = 2*v. Does 15 divide v?
False
Is 12 a factor of (-30)/(-165) - 680/(-11)?
False
Let c(g) = g**3 + 13*g**2 + 8*g + 23. Does 13 divide c(-12)?
False
Suppose -2*z = j - 10, -3*j - 2*z + 20 = -j. Suppose -j*y + 11*y - 39 = 0. Is y a multiple of 13?
True
Let k(t) = 2*t**2 - 4*t + 3. Is k(9) a multiple of 26?
False
Let t(z) = 5 - 10 - 2*z - 12. Let c be t(-12). Suppose c*d - 4*d + 5*j - 17 = 0, 3*j - 15 = -3*d. Does 2 divide d?
True
Suppose 2*c + 167 = 5*v, 35 = 2*v - 4*c - 19. Let i = v - -8. Is 12 a factor of i?
False
Let k(v) = v**2 + 2*v - 6. Is k(4) a multiple of 4?
False
Is 7 a factor of 3/2 - 250/(-20)?
True
Let f(y) = 10*y - 3. Let h be f(-3). Is h/12*(-8)/1 a multiple of 10?
False
Is 8 a factor of (-5 + 97)*1/4?
False
Suppose 0 = -2*q + 12 + 2. Suppose -q = -2*t + 1. Suppose t*d - 10 = 126. Does 14 divide d?
False
Let g be -2 + 5/(15/762). Suppose 7*f = -3*i + 3*f - g, -2*f = 0. Is 13 a factor of ((-3)/2)/(9/i)?
False
Let x = 135 + -43. Is 23 a factor of x?
True
Let c = 22 - 31. Is 29 a factor of (-3)/(-2*c/(-348))?
True
Let p(x) = -25*x - 1. Let s be p(-2). Let n = -22 + s. Does 9 divide n?
True
Let h(o) = 3*o**2 - 1. Let g be h(-1). Let u(w) = 9*w + w**g - 2*w - 3 - 2*w**2. Is 4 a factor of u(4)?
False
Let f(k) be the second derivative of 5*k**4/12 - k**2/2 + k. Let v be f(1). Suppose -60 = b - v*b. Is 10 a factor of b?
True
Let p(w) = -2*w**3 - 3*w**2 - 9*w - 11. Let f(t) = -t**2 + t**3 - t - 6 - 4*t - 2*t**3. Let y(d) = -7*f(d) + 4*p(d). Does 2 divide y(-5)?
False
Suppose 5*v - 16 - 22 = -4*r, -3*v - 15 = -3*r. Suppose -5*y = -r*y + 96. Is 16 a factor of y?
True
Let q = -1 + 4. Suppose 4*f - 161 = 8*j - q*j, -3*j - 35 = -f. Suppose 2*w + 0*w - f = 0. Does 14 divide w?
False
Suppose -3*t + 2*t + 221 = -r, -r - 663 = -3*t. Is 32 a factor of t?
False
Let z = -4 - 5. Let d be (-245)/(-3) + 6/z. Does 7 divide d/6 - 1/(-2)?
True
Let p be (4 - 2)/((-1)/(-1)). Suppose 0*q - 52 = p*q. Let f = 41 + q. Is f a multiple of 15?
True
Is 9 a factor of 328/16 + (-1)/2?
False
Suppose -4 = -6*g + 5*g. Is g a multiple of 3?
False
Let q = -10 + 19. Suppose -2*z - z = -q. Suppose 60 = z*p + p. Does 15 divide p?
True
Let g be (-3 - -6) + (-1 - 0). Suppose -3*k = -g*k - 37. Let y = 2 + k. Does 12 divide y?
False
Let g(x) = -4*x**2 + 2*x - 5. Let o be g(-4). Let w = -41 - o. Is 18 a factor of w?
True
Suppose -2*a + 16 = -198. Is 18 a factor of a?
False
Suppose -2*m + 84 = 12. Is 18 a factor of m?
True
Let k be 78/24 - (-1)/(-4). Does 2 divide (-1)/((k/2)/(-3))?
True
Suppose 5*v + 275 = -5*u, 0 = 2*v - u - 8 + 133. Does 24 divide (v/(-9))/(2/21)?
False
Let y(b) = -b**3 - 10*b**2 - 10*b - 5. Let x be y(-9). Suppose 2*d - 122 = -7*u + 3*u, -4*u + x*d = -104. Is u a multiple of 14?
False
Suppose -2*j = p - 13, j + 4*j = -3*p + 35. Let g = -4 + j. Let h = 18 + g. Does 18 divide h?
True
Let z(s) = s**3 + 5*s**2 + 2*s. Let a be z(-3). Suppose 3*l - a = -3, 5*l - 21 = -2*m. Does 16 divide 0 + (34 - (-2 + m))?
False
Let j(t) be the second derivative of -t**5/20 - t**4/3 - 5*t**3/6 - 9*t**2/2 - 7*t. Does 10 divide j(-4)?
False
Suppose 0 = 7*a - 2*a. Suppose 4*q - l - 123 = a, -5*q + 128 = -3*l - 17. Is q a multiple of 16?
True
Let p be (2*37)/((-19)/(-19)). Let c = -52 + p. Is c a multiple of 5?
False
Suppose 25 = -5*h - 0, 4*l - 2*h = 6. Let b = l - -12. Is 3 a factor of b + 9/((-6)/2)?
False
Let v(p) = p**3 + 3*p**2 - 4*p + 3. Let u be v(-5). Let d = u + 51. Is d a multiple of 12?
True
Let g(i) = 26*i - 123. Does 23 divide g(19)?
False
Let d be (0 - -17)/1 - 3. Let v = -6 + d. Does 4 divide v?
True
Suppose -6 = -3*b - 3*p, 0 = -3*b - 0*b - 2*p + 3. Let r = -1 - b. Is 5 a factor of -2 + (-15)/(-1) + r?
False
Let o = 6 + -6. Suppose -5*s = 4*g - 58, -3*g - 34 = -4*s - o*s. Is 6 a factor of s?
False
Let m(i) = -4*i - 31. Does 2 divide m(-15)?
False
Let p = 10 + 11. Is p a multiple of 7?
True
Let t(j) = j**3 + 7*j**2 + 4*j + 1. Let d be t(-5). Let h be 2*(-1)/2*11. Let w = h + d. Is w a multiple of 7?
False
Let f(y) = 5*y**2 + 2*y - 1. Suppose 0 = -4*k + 9 - 1. Does 15 divide f(k)?
False
Suppose -32*h + 35*h = 156. Is 13 a factor of h?
True
Let j = 28 + -24. Let b = 0 + j. Is 4 a factor of b?
True
Let n(j) = 3*j**2 - 4*j + 3. Is 3 a factor of n(2)?
False
Let h(w) = 6*w + 9. Let u be h(9). Let x = u + -23. Is x a multiple of 14?
False
Suppose g = 1 + 2. Suppose 0*m = -3*m. Suppose m = -g*k + 6*k - 39. Is 11 a factor of k?
False
Let d(z) = -z. Let j(o) = -8*o. Let m(y) = 5*d(y) - j(y). Is m(2) even?
True
Let s = 13 - 3. Is s a multiple of 5?
True
Let b(o) = 2*o**2 - o - 2. Let s be b(2). Let q(k) = 0*k + 8*k - s*k + 1 + 1. Does 7 divide q(3)?
True
Does 9 divide 42 + -1 + 5 + -2?
False
Suppose -7 = q - 2*q + m, -2*q - 5*m = 7. Is 62/q + (-4)/(-8) a multiple of 8?
True
Let m be ((-8 - 2) + 2)/(-2). Suppose 3*h + 16 = 2*g + h, -5*h + 23 = m*g. Suppose 6 + g = 5*z - u, -5*u - 15 = 0. Is 2 a factor of z?
True
Suppose 5*l = -n + 8, -3*n + l = 3*l + 2. Let a = n - -6. Suppose a*k + 74 = 3*i, i - 12 = -3*k + 17. Is i a multiple of 7?
False
Is 11 a factor of 44/12*3*1?
True
Let l(d) = d**3 + 6*d**2 - 2*d - 5. Let s be l(-7). Let v = 14 - s. Is v a multiple of 16?
False
Suppose 2*y = 3*k - 501, 8*k - 5*y = 3*k + 830. Suppose -3*i + 0*d + 2*d + 144 = 0, 4*i + 5*d = k. Is i a multiple of 13?
False
Let v(l) = l**3 + 8*l**2 + 3*l - 9. Does 19 divide v(-7)?
True
Let m = 76 + -54. Is m a multiple of 11?
True
Let d(j) = -j**3 + 13*j**2 - 15*j + 1. Let h be d(12). Is 0 + 2 - 1 - h a multiple of 18?
True
Suppose -5*g = 0, -2*l = -3*l - 5*g + 276. Suppose 5*p - l = p. Does 14 divide p?
False
Let k(y) = -4*y - 2*y + 5*y**2 + 8 - 3 + y**3. Let u be k(-6). Suppose -38 = -b + u*t - 10*t, 0 = 4*t - 20. Does 9 divide b?
False
Suppose 7*z - z + 372 = 0. Suppose -2*u