3*q + i = -q. Suppose -q*x + 35 + 25 = 0. Does 15 divide x?
True
Let o(v) = -10*v + 20. Is 10 a factor of o(-7)?
True
Let g be (2 + -44)*(2 + -3). Let h = g + -117. Let t = -35 - h. Is 20 a factor of t?
True
Let c(p) = p**3 + 9*p**2 + 3*p. Is c(-8) a multiple of 8?
True
Let q = 10 - -8. Is 6 a factor of q?
True
Let v(u) = 2 + u**2 + 1 + 0*u**2 - 5. Is 7 a factor of v(3)?
True
Let t(w) = -3 + 0 + 0*w - 6*w - w**2 + 0*w. Let k be t(-5). Is 15 a factor of ((-82)/8)/(k/(-8))?
False
Suppose 0 = 5*u + 3*w + 5, 0*u + 2*u + 21 = -5*w. Suppose -o + 4*h + 9 = -20, u*o = h + 37. Does 12 divide o?
False
Let r be (-8)/(-3)*(-27)/(-4). Suppose -2*j + r + 0 = 0. Does 9 divide j?
True
Let d = 70 - 99. Let b = 41 + d. Is 12 a factor of b?
True
Suppose -2*q - q + 93 = 0. Is q/3 + 4/6 a multiple of 8?
False
Let t be ((-6)/(-5))/((-6)/(-45)). Let i be -5*(t/15 + -1). Is i - 2/(-2 - -1) a multiple of 3?
False
Let m(w) = 2*w**2 + 15*w + 14. Is m(-10) a multiple of 14?
False
Suppose 3*f - b = 151, 241 = 5*f - 4*b + 5*b. Let p = -23 + f. Suppose -5 = -g + p. Is 18 a factor of g?
False
Let m be 6 + 1 + -1 + -1. Suppose 4*h - 173 = -2*l - l, -210 = -5*h - m*l. Does 18 divide h?
False
Let v(b) = -b + 8. Let w be v(4). Suppose w*o - 84 = -3*d, -15 - 5 = -o - d. Is 7 a factor of o?
False
Suppose 12 = -0*c - 4*c. Is 15 a factor of (-17)/(-2)*(7 + c)?
False
Let s(o) = o**3 - o**2 + 50. Does 10 divide s(0)?
True
Let g = 99 - 60. Is g a multiple of 24?
False
Let j be 159/33 + 4/22. Suppose 3*v - j = k, 3*k + 2*k - 5 = 0. Does 19 divide v/(-3 - 3)*-129?
False
Let d(o) = -o - 3. Let f be d(-3). Suppose f*b + 42 = b. Is 14 a factor of b?
True
Let q(l) = -2*l**2 + 2*l + 2. Let t be q(2). Let y = 0 - -2. Is t + y + (16 - 2) a multiple of 7?
True
Let d(j) = 6*j**3 + 7*j**2 + 4*j + 4. Let r(p) = -7*p**3 - 7*p**2 - 5*p - 4. Let s(h) = 6*d(h) + 5*r(h). Is s(-7) a multiple of 10?
False
Let y(f) = -5*f - 15. Does 40 divide y(-11)?
True
Let o(c) = -c**3 - 3*c**2 - 2*c + 1. Let a = -4 - -8. Suppose 0 = -s + 2*q - 5, -4*s - a = -3*s - q. Does 5 divide o(s)?
False
Let n(q) = -5*q**3 - 5*q**2 + q + 1. Let j(r) = -11*r**3 - 11*r**2 + 2*r + 2. Let t(m) = 4*j(m) - 9*n(m). Is t(2) a multiple of 9?
True
Let q = -3 - -3. Suppose q = -4*l + o - 5, -7*l = -3*l - 2*o + 10. Suppose m = -f + 10, l*f + 40 = 4*m + 5*f. Is 10 a factor of m?
True
Let l = 20 - -20. Suppose -14 - l = -3*o. Does 15 divide o?
False
Let m(f) = 2*f - 4*f**2 + 5 - f**3 - f - 5*f**2 + 2*f**3. Let y be m(9). Is 11 a factor of (-8)/(-28) - (-150)/y?
True
Suppose -4*z + 92 = -4*f + 8, -3*z + 47 = f. Is z a multiple of 10?
False
Let j(d) = d + 8. Let b be j(-6). Is 3/3*(b - -5) even?
False
Let n(d) = -d**3 - 5*d**2 - 6*d - 5. Let s be n(-4). Suppose 0 = -4*h + 5*c + 45 + 55, -h + 8 = s*c. Is 20 a factor of h?
True
Suppose 4*s + 36 = -36. Is 6/(-27) + (-580)/s a multiple of 32?
True
Let a = -9 - -12. Is 2 a factor of a?
False
Let x(w) = -21*w - 2. Let n = -12 + 10. Does 20 divide x(n)?
True
Let q(l) = l**3 + 12*l**2 + 22*l + 18. Does 9 divide q(-9)?
True
Let h = 1 + 11. Is h a multiple of 6?
True
Let c(q) = 2*q**3 - 2*q**2 + 3*q - 1. Is 2 a factor of c(1)?
True
Suppose 9*l + l = 1680. Is 22 a factor of l?
False
Suppose 3*x + 52 = 4*q - x, 0 = 3*q + 5*x - 15. Is q a multiple of 8?
False
Let g(y) = y**3 + 4*y**2 + 3. Let s be 1 - 0 - 1 - 4. Let c be g(s). Suppose -5*p = -c*p - 42. Is 13 a factor of p?
False
Let p(u) = u**3 - 5*u**2 + u - 1. Let a be p(5). Suppose a*j + 3*g - 203 = 0, 2*g + 198 = 2*j + 2*j. Is j a multiple of 9?
False
Let i be (-2)/(-12) - (-7)/(-42). Is 26 a factor of i + -1 - (-79)/1?
True
Suppose -a + 210 = 5*a. Is a a multiple of 7?
True
Suppose -4*t + 116 = 2*m, m - 139 = t - 6*t. Is 17 a factor of t?
False
Let y(x) = x**3 + 5*x**2 - 6*x + 1. Let l be y(-6). Let f(s) = l + 2*s + 1 - s. Is 6 a factor of f(5)?
False
Let l = 43 - 23. Is 14 a factor of l?
False
Let l = 24 - 22. Suppose 89 - 18 = 3*r + l*h, 5*r - 101 = h. Is r a multiple of 9?
False
Let n be 10 - ((-3 - -2) + 3). Let x be (-19)/(-4) - 6/n. Suppose -20 = x*w - 5*s - 58, -w + 2 = -5*s. Is w a multiple of 10?
False
Suppose -u = 3*u - 320. Suppose u = -p + 6*p. Is p a multiple of 8?
True
Let j(h) = h**3 - 8*h**2 + 6*h - 4. Let o be j(6). Let s = 70 + o. Is s a multiple of 10?
True
Let d be (-1 + -1)/(18/27). Let l = 20 + d. Does 8 divide l?
False
Let t(n) = 29*n + 1. Let r = -3 - -4. Let f be t(r). Suppose f = -c + 4*c. Does 10 divide c?
True
Let y = -8 + 2. Let s(w) = w**3 + 8*w**2 + 9*w + 4. Is 8 a factor of s(y)?
False
Let m = -11 - -3. Let u(l) = -l + 1. Let r be u(m). Let s = r + -3. Does 3 divide s?
True
Let o(r) = r + 5. Let j be o(2). Suppose 4*m - 270 = m - 3*a, -4*a = -3*m + 305. Suppose m = 2*w + j. Is 16 a factor of w?
False
Let v(c) be the second derivative of -c**8/6720 - c**7/360 + c**5/20 + c**4/12 + c. Let g(a) be the third derivative of v(a). Is 6 a factor of g(-7)?
True
Suppose 171 = 3*o - 3*m, m + 206 = 4*o - 22. Is o a multiple of 10?
False
Let r = 3 + 1. Let s(c) = -25*c + 1. Let d be s(r). Let b = 170 + d. Is b a multiple of 20?
False
Suppose 127 = 5*t - 583. Let g be (7 + -11)*99/(-4). Let w = t - g. Is w a multiple of 15?
False
Let n(a) = -7*a - 1. Let u be n(1). Let h(x) = x**2 + 2. Let k be h(u). Suppose 0 = -4*c + k + 30. Does 12 divide c?
True
Does 5 divide 1 + (8/1 - -1)?
True
Let u(z) = -4 - 2*z**2 + 3*z**2 + 12 + 8*z. Is u(-8) a multiple of 3?
False
Suppose -4*r + 12 - 36 = 0. Let m = r - -18. Is m a multiple of 6?
True
Let s(i) = -i + 1. Suppose 2*d - 1 = -5. Let c be s(d). Suppose c*k + 6 = 24. Is 6 a factor of k?
True
Suppose 4*v - 22 = -6. Suppose 0 = -5*y - 3*d + 125, 2*y + 0*d + v*d - 36 = 0. Is 13 a factor of y?
False
Let h = -29 + 34. Is h even?
False
Does 21 divide 91/52*(28 + 0)?
False
Suppose -1 = -5*n - 5*q + 34, 0 = 2*n + 3*q - 17. Suppose 6*d - 4*d - n = 0. Suppose -d*x = 2 - 38. Is 14 a factor of x?
False
Let n = -322 + 512. Does 24 divide n?
False
Let t(a) = -a + 15. Is t(7) even?
True
Let u(w) = 2*w**2 - 2*w - 2. Let v be u(2). Suppose -v*x + 18 = -10. Does 6 divide x?
False
Suppose 4*h - 4 = 4. Suppose -h*f + 57 = b, 2*f + 0*f + 5*b = 77. Does 5 divide f*((-2)/(-2))/2?
False
Let o(a) = 0*a**2 + a**2 + 2 - 5*a**2 - 3*a + 2*a + 2*a**3. Is o(3) a multiple of 10?
False
Suppose -g = -5*g. Suppose g = 2*y - 4*i - 68, 0 = -y + 4*i - i + 39. Is y a multiple of 7?
False
Suppose -4 = 5*f + 11. Let c be (-53)/f - (-5)/15. Suppose 4*d - 90 + c = 0. Does 9 divide d?
True
Let f(t) = -2*t**3 - 2*t**2 + 3*t + 2. Let c be f(-2). Suppose 5*q + 5*o - 140 = 0, 2*o = -q - c + 31. Is 16 a factor of q?
False
Let k = 95 - 39. Is 8 a factor of k?
True
Let q(n) = 5*n**2 + n + 2. Does 9 divide q(2)?
False
Let o(t) = -4*t - 1. Suppose -3*r - 1 = 2. Let s be o(r). Is 10 a factor of 29/s - (-2)/6?
True
Let c(h) = h**3 - h**2 + h - 4. Let u be c(3). Let r = u + 19. Is r a multiple of 12?
True
Suppose -4*h + 394 = 2*f, -3*f + 495 = 5*h - 0*f. Is 32 a factor of h?
True
Suppose -s = 4*a - 0*s - 9, 3*s - 13 = -5*a. Suppose -a*q = -4*v - 8, 3*v + 2*v + 13 = 4*q. Suppose -q*z + 50 + 2 = 0. Is z a multiple of 16?
False
Let o(f) = 12*f + 20. Does 16 divide o(5)?
True
Let j(l) = -l**2 + 23*l + 70. Is j(21) a multiple of 3?
False
Suppose 3*h = t + 121, -h + 3*t = -0*h - 27. Suppose w - 3*p - h = 0, -51 = -5*w + p + 117. Does 17 divide w?
False
Let l(z) = -z**2 + 14*z - 5. Let f be ((-4)/(-6))/(6/81). Does 15 divide l(f)?
False
Suppose -51 = 3*c - 4*f, 0*f - 9 = -3*f. Let l = 10 - c. Does 11 divide l?
False
Let w = 5 - 7. Let a = w + -4. Let t(s) = s**3 + 7*s**2 + 5*s - 3. Is t(a) even?
False
Let p be -4 + -4 + 4 - -2. Is 7 a factor of p + (9*-4)/(-4)?
True
Is 13 a factor of 7/7*(-19)/(-1)?
False
Suppose 0 = 3*f - 5*j - 15, 2*j - j + 3 = 0. Suppose f*c - c = -1. Is 5 a factor of (5/3)/(c/3)?
True
Suppose 2*n = n + 76. Is n a multiple of 19?
True
Let z = 4 + 17. Is 6 a factor of z?
False
Suppose -3*u + 3*o = -39, -3*u + 35 = -3*o + o. Let n = u - 7. Suppose 2*a - 76 = -2*i, -n*i + 0*i = -2*a + 60. Is a a multiple of 11?
False
Suppose -17 - 27 = -b. Suppose 4*f - 40 = -2*s, 5*f - b = -2*s - 6. Is 16 a factor of s?
False
Let m(u) = -u**2 - 9*u + 13. Let h be m(-10). Suppose -194 = -h*c - 35. Is 11 a factor of c?
False
Let p(h) = h**2 - 6*h - 28. Is 