ose -2*m - m + 3 = 0. Let b = m + -3. Does 9 divide b + 2 + -1 - -19?
True
Suppose 0*o = -3*o. Suppose 3*g - 3*s - 102 = 0, o*g + 70 = 2*g - s. Is 9 a factor of g?
True
Suppose w + 0*w + 4 = 0, 3*d + 23 = -2*w. Let l(k) = -2 + k + 7 + 7. Is 7 a factor of l(d)?
True
Let k(l) = 10*l - 4. Is k(4) a multiple of 10?
False
Let g = 3 - -1. Let u = -62 - -98. Suppose u = g*o + 12. Is 6 a factor of o?
True
Let w(i) = -3*i - 1. Let r be (-38)/8 - (-4)/(-16). Is 7 a factor of w(r)?
True
Let d(b) be the first derivative of b**3/3 - 5*b - 1. Let r be 1/(-2) - (-1 + 49/(-14)). Does 5 divide d(r)?
False
Suppose 0 = 4*x - 12, -7*x - 47 = -4*r - 8*x. Is r a multiple of 9?
False
Let b(l) = 6*l**2 + l - 5. Let n be b(-4). Let y = n + -37. Suppose 6 = f - 5*t, 0 = -5*f + t + y + 28. Does 10 divide f?
False
Suppose -5*t = -1 - 9. Let u(l) = -2*l**2 + l + 1 - 3*l**3 - l**3 + 9*l**3. Is 15 a factor of u(t)?
False
Let x(k) = 6*k**2 + 5 - 10*k + 5 + 3*k**3 - 2*k**3. Let t be x(-8). Does 11 divide (3 + -1)/((-4)/t)?
False
Does 16 divide 68 - 1 - (2 + -1)?
False
Let x(b) = -b**3 - 9*b**2 + 10*b + 11. Let m(u) = -u**3 - 6*u**2 - 3*u + 2. Let l be m(-6). Let h = 10 - l. Is x(h) a multiple of 4?
False
Let n be 624/(-10) - 10/(-25). Let f = n + 117. Is f a multiple of 25?
False
Let w(l) = -l**3 + l + 6. Let i(k) = k + 1. Let q be i(-1). Does 4 divide w(q)?
False
Let d(r) = r**3 + 5*r**2 + r - 1. Let x be d(-5). Let h(w) = -6*w + 14. Does 10 divide h(x)?
True
Suppose -n - 4*i + 149 = 0, 3*n + 4*i + 123 = 546. Is n a multiple of 6?
False
Suppose 3*g - 2*w + 16 = 0, 4*g - 5*w + 52 = -10*w. Let z = g + 8. Does 25 divide -3*1 - (z + -37)?
False
Let u = 8 - -49. Suppose -u = -3*v - 12. Is v a multiple of 5?
True
Let p = -1 - -1. Suppose p = a + 2*a. Suppose a = x - 13 - 13. Is x a multiple of 17?
False
Suppose v + 4*v - 25 = 0. Suppose -96 = -v*y + 24. Suppose -c - 5 + y = 0. Is 7 a factor of c?
False
Suppose 3*j - 1 = 32. Let a = j + -3. Is 4 a factor of a?
True
Suppose 19 = -2*w + 2*k + 81, -5*w = 3*k - 147. Does 15 divide w?
True
Let u be (-6)/27 + (-6)/(-27). Suppose 0 = -t - 4*y, 3*t - 5*y - 104 + 36 = u. Does 8 divide t?
True
Let l(s) = -s**2 - 9*s - 6. Let n be l(-9). Let r(u) = u**2 + 8*u + 6. Let c be r(n). Is (4/c)/((-6)/549) a multiple of 18?
False
Is (-2)/3 - (-116)/3 a multiple of 19?
True
Suppose 0 = -x - 2*x + 90. Is 9 a factor of x?
False
Let q be 29 + 3 + (-2 - 0). Suppose q = -0*r - 3*r. Does 12 divide (-492)/(-30) + 4/r?
False
Suppose 0 = 5*i + f + 150 - 845, 0 = -2*f - 10. Is i a multiple of 28?
True
Let n(z) = -z. Let t be n(8). Let k = -4 - t. Does 3 divide k?
False
Let k be 1*(-1 + 0)*-4. Suppose -4*n - z = -3, k*n - 5*z + 0*z = 33. Suppose g = 4*i + 31, -n*g + 3*g = 2*i + 21. Does 9 divide g?
False
Suppose a - 445 = -4*c, 2*a = -4*c + 5*a + 457. Does 8 divide c?
True
Let f(a) = 98*a**2 + 1. Does 33 divide f(1)?
True
Is (70/3)/((-1)/(-18)) a multiple of 63?
False
Let p = -6 - -16. Suppose -i = -s - 0*s - p, s = -2. Does 7 divide i?
False
Let r be (-3 - (-4 + 0)) + -9. Let w = 1 - r. Does 7 divide w?
False
Suppose -3*h - 1 = -7. Does 10 divide 11/h*(4 + 0)?
False
Let o = 7 - 14. Let x = o + 10. Suppose 0 = 2*m + s - 18 + x, -5*s - 65 = -4*m. Is m a multiple of 10?
True
Let l(f) = -f**3 - f**2 + 13*f + 6. Is l(-5) a multiple of 16?
False
Let d(a) be the second derivative of 43*a**7/840 - a**6/180 + a**4/24 - a**3/6 + 2*a. Let w(t) be the second derivative of d(t). Is 18 a factor of w(1)?
False
Let w = -8 - -32. Does 8 divide w?
True
Let i(c) = 2*c**2 + 7*c**3 + 1 - c**3 - 2*c + 15*c**3. Let q be i(1). Suppose 3*h - h = 4*p - q, -15 = 5*h. Does 2 divide p?
True
Suppose -4*g + 1300 = 5*n, 259 = n - 2*g + 3*g. Is n a multiple of 24?
True
Suppose -3*s + 27 = -3*j, 4*j + 11 = 3*j + 2*s. Let r = j + 3. Is r*(-2)/(-20)*-30 a multiple of 6?
True
Suppose 2*g + 13 = -3*t, 0*g - 4*g - 2*t - 6 = 0. Is 80/4 + g*-3 a multiple of 17?
True
Suppose -3 = -j + 2. Suppose -r = j*c - 109, -4*c + 3*r + 72 = -0*r. Is 13 a factor of c?
False
Let m = -51 - -76. Is 5 a factor of m?
True
Is 14 a factor of (-296)/(-10) - (-6)/15?
False
Let t = -73 + 31. Let i be -1 - 0*(-1)/2. Is i/(-1 + t/(-45)) a multiple of 9?
False
Let v(x) = x**3 - x**2 + x + 246. Let k be v(0). Suppose 2*b = 5*g - 0*g - k, -b + 237 = 5*g. Does 12 divide g?
True
Let b = -2 + 7. Suppose -2*s = c - b, -5*c + 0*c = 4*s - 19. Is c even?
False
Suppose -2*a = g - 81, 2*g = -2*a - 19 + 101. Is 33 a factor of a?
False
Suppose 4*m - 3*c = -6*c + 1001, -4*c = 2*m - 508. Is 62 a factor of m?
True
Let g(p) = -p**2 - 17*p - 25. Does 13 divide g(-11)?
False
Is (-1 - 1)/((-20)/340) a multiple of 12?
False
Let n = 0 + 1. Let y(u) be the first derivative of 7*u**4/4 + u**3/3 - u + 3. Is y(n) a multiple of 4?
False
Does 23 divide -1*3/6*(0 + -172)?
False
Suppose -4*u + 25 = -5*f, 0 = 3*u - 5*f - 17 - 3. Suppose -u*q - 30 = -10. Is 17 a factor of q + 3 - 1*-47?
False
Let d(j) = 6*j + j**2 - 2 + 5*j**2 - 3*j**2 + 7. Is d(-5) a multiple of 24?
False
Let a(u) = -u + 21. Let c be a(10). Let i(r) = -23*r**2 - 1. Let v be i(1). Let t = c - v. Is t a multiple of 10?
False
Suppose 5*z = 4*z + 17. Is z a multiple of 17?
True
Let h = 6 + -3. Suppose 8*x + 16 = 4*x, 0 = 3*y + h*x - 30. Does 7 divide y?
True
Let x be (-9)/12 + 175/4. Let q(s) = s. Let g be q(3). Suppose -x - 68 = -g*d. Does 15 divide d?
False
Let u(j) = j**3 - 2*j**2 - j - 2. Let g be u(3). Suppose 5 = f + h - 9, 56 = g*f - 2*h. Is 9 a factor of f?
False
Let z(v) = 2*v**2 + 15*v + 41. Is z(-11) a multiple of 9?
False
Let v(f) = -6*f + 13. Is 8 a factor of v(0)?
False
Let c = -4 - -1. Suppose 0*y - 6 = -3*y + 2*h, 13 = y + 3*h. Let b = y - c. Does 6 divide b?
False
Let x(q) = 5 - 4*q - 1 - 2*q**2 + 4 + 3*q**2. Does 12 divide x(7)?
False
Suppose -4*l + 0*l - 4 = 0. Is 9 a factor of (12/7)/(l/(-7))?
False
Suppose -5 = -b, -b = -3*x + 1 + 3. Suppose x*q + 5 = 11. Is 8 a factor of 44/q - -2 - -1?
False
Let y = -9 + 24. Is y a multiple of 15?
True
Suppose -4*j - j - 2*w - 44 = 0, 2*w + 4 = -j. Let b be (52/j)/(2/10). Let h = 49 + b. Is 18 a factor of h?
False
Let k(t) = -t**3 + t + 7. Let g be k(0). Let u = g - 4. Suppose 0 = u*j - 23 - 1. Is 7 a factor of j?
False
Suppose o - 25 = 75. Suppose -5*r + o = -4*n, 4*r - 57 = 5*n + 14. Is 16 a factor of r?
False
Suppose -2*d + 6*d - 12 = 0. Suppose 4*p = -d*l + 28, 2*p - 54 = -2*l - 2*l. Is l a multiple of 8?
True
Suppose -i - 35 = -6*i. Is (-2)/i - 90/(-21) a multiple of 2?
True
Suppose 5*u - 8*z + 6*z = 749, -u = -2*z - 153. Let o = u + -44. Does 27 divide o?
False
Suppose 0 = -2*y + 160 + 48. Is y a multiple of 12?
False
Let l be (-4)/10 - (-24)/10. Suppose -a - l*d = 2, 0 = -0*a - 5*a - 2*d + 22. Suppose -3*b + 4*v - a = -4, -2*v + 12 = 4*b. Does 2 divide b?
True
Suppose 4*f - 10 = 2. Let i(c) = 9*c**2 + 23*c - 11. Let o(h) = 5*h**2 + 12*h - 5. Let j(n) = f*i(n) - 5*o(n). Is j(-7) a multiple of 11?
False
Let b = 11 + -6. Suppose 34 = a + 3*x - 1, 0 = 4*a - b*x - 72. Is 9 a factor of a?
False
Let s = -5 + 3. Let j be -1 + (s + -1 - -8). Suppose j*g + 39 = 5*l, l - 22 = -2*l + g. Is 7 a factor of l?
True
Does 11 divide ((-10)/4)/(5/(-30))?
False
Suppose -35 = -8*o + 125. Is 10 a factor of o?
True
Suppose -2*g + 52 = -0*g. Let z be 2/5 - g/(-10). Is 0 + 12 + z + -2 a multiple of 9?
False
Let l be (-53)/(-6) - (-1)/6. Let d = -4 + l. Suppose d*u - 2*u - 126 = 0. Is u a multiple of 15?
False
Let b(g) = 4*g**3 + g**2 - 2*g + 1. Let q be b(1). Suppose -i - q*l + 48 = 0, i + i + 2*l - 72 = 0. Does 32 divide i?
True
Suppose 3*u - 7*v + 226 = -2*v, -2*u - 153 = -v. Let j = 112 + u. Does 12 divide j?
False
Let o = 18 - 11. Suppose 2*v = o*v - 10. Suppose v*c - 5*c = -6. Is 2 a factor of c?
True
Let o(d) = 3*d**2 - 10*d + 27. Is o(7) a multiple of 26?
True
Suppose -i + 1 = 3*d - 1, -d = 3*i + 10. Suppose -4*k - 44 = s - 3*s, 45 = d*s - 5*k. Is s a multiple of 10?
True
Let a = 93 + -30. Is 8 a factor of a?
False
Let c(p) = 12*p**2 - p - 5. Let b(g) = 25*g**2 - 2*g - 11. Let h(m) = -6*b(m) + 13*c(m). Let z be h(1). Is (-56)/(-3)*9/z a multiple of 14?
True
Suppose -5*q - 16 - 9 = 0. Let v(f) = f**2 - 12*f + 12. Let j(w) = 2*w**2 - 24*w + 25. Let a(i) = q*v(i) + 2*j(i). Does 6 divide a(9)?
False
Let w be (-2 + (-20)/6)*-3. Suppose 0 = -4*d + 4 + 