4*l**2 + 2*l - 7. Does 17 divide s(r)?
False
Suppose -56 - 193 = 3*r. Let g = -53 - r. Is g a multiple of 10?
True
Let j(d) = -3*d + 4. Let l be j(7). Does 17 divide -3 - (-3 + l*4)?
True
Suppose w + 5 = 0, -5*h + 205 = -3*h + 3*w. Is 22 a factor of h?
True
Let k = 3 - 10. Let n(m) be the first derivative of m**4/4 + 2*m**3 - 4*m**2 + 4*m + 1. Is 10 a factor of n(k)?
False
Let w(a) = 0 + 1 - a**2 + 2*a**2. Let m be w(-3). Is 6 a factor of m + 1 + 0 - 2?
False
Let a(i) = -10*i - 13. Let r be a(-6). Let q = 154 - r. Is q a multiple of 22?
False
Let c(m) = -5*m**2 + m. Let q be c(-1). Let b = q - -10. Is (-50)/(-7) + b/(-28) a multiple of 3?
False
Suppose -9*o = -690 - 147. Is o a multiple of 31?
True
Let i(c) = c**3 - 3*c**2 - c - 2. Let u be i(4). Let b = -5 + u. Is 10 a factor of (b/(-2))/(1/(-4))?
True
Let j = -14 - 30. Is (1 + j/16)*-4 a multiple of 3?
False
Suppose 0*p - p - 15 = 0. Does 6 divide ((-12)/p)/((-2)/(-15))?
True
Suppose 6*o - o = 100. Suppose -2*y + 4*m + 60 = 0, -4*m + o = y - m. Is 26 a factor of y?
True
Let z be 1 + 3*(-38)/(-3). Let o = z + -21. Is o a multiple of 6?
True
Let p(w) = -w**3 + 8*w**2 - 7*w + 4. Let t be p(7). Let j(y) = -5*y + 1. Let m be j(t). Let x = 71 + m. Does 21 divide x?
False
Let t = 46 - -44. Does 23 divide t?
False
Suppose -2*n - 4*h = -38, -n - 16 + 45 = 4*h. Is 9 a factor of n?
True
Suppose -2*p + 6 = r, -21 + 3 = -4*r - 2*p. Does 6 divide ((-2)/(-3))/(r/54)?
False
Let a(x) = x**3 - 5*x**2 - x - 1. Let v be a(5). Does 11 divide (-171)/v*2/3?
False
Is 80/(-12)*(-18)/5 a multiple of 6?
True
Does 13 divide (0 + 3)*104/6?
True
Let q = 3 + 2. Suppose 4*r - 39 - q = 0. Does 11 divide r?
True
Let u = -98 + 107. Does 2 divide u?
False
Let i(a) = a**3 - 3*a**2 - 13*a - 8. Is i(6) a multiple of 8?
False
Suppose -3*c + 10 = -q - 5*c, -2*q + 2*c - 20 = 0. Let t(x) = -6*x - 2. Let l be t(2). Let y = q - l. Does 4 divide y?
True
Let v be 37 - (5 + 3)/4. Let q = v - -13. Is 24 a factor of q?
True
Let v(j) = 18*j. Let s be v(-1). Let n = 30 - s. Is 7 a factor of (3/2)/(9/n)?
False
Suppose 5*t + 7*f - 10 = 6*f, 3*t = -5*f - 16. Suppose -3*c = -d - 17, t*c - 3*d + 4*d = 7. Is c a multiple of 2?
True
Suppose 0 = -5*h - 5*n + 330, 4*n + 316 = 5*h + 2*n. Does 16 divide h?
True
Suppose -4*q + 8*q - 200 = 0. Suppose 4*a = q + 30. Is a a multiple of 6?
False
Is 5 a factor of -6*4/(-3) - 1?
False
Let q(b) be the first derivative of b**3/3 + 4*b**2 + 4*b + 2. Suppose l = -3*j - 21, -l + 41 = -4*j + 2*l. Is q(j) a multiple of 4?
True
Let q be (-3 - (-5 - -2))/(-2). Let u be q/(-4) + (-6)/(-2). Suppose 74 = u*s + 8. Does 11 divide s?
True
Suppose -5*p - 411 = 3*g, g = -3*g + 3*p - 519. Does 4 divide (2/3)/((-8)/g)?
False
Let g(b) be the first derivative of -4*b - 1 - 3/2*b**2 + 2*b**3 + 1/4*b**4. Is 9 a factor of g(-6)?
False
Suppose -3*n - 11 = -2*d + 16, 0 = -4*d - n + 33. Is 2 a factor of d?
False
Let r be (-1)/((-1)/(-4)*-2). Suppose -r*w - 42 = 2*y - 206, 5*y - 70 = -w. Is 25 a factor of w?
False
Suppose -3*c - 2*c = -175. Is 7 a factor of c?
True
Let g(m) be the third derivative of -4*m**4/3 - 3*m**2. Suppose 0 = 2*v - 3 + 5. Does 14 divide g(v)?
False
Suppose 2*s + 359 = y + s, -2*y - 2*s = -718. Is y a multiple of 32?
False
Let q(k) = 2*k**2 + k + 4. Is q(-2) even?
True
Let r = -24 + 49. Let s = r + -14. Does 4 divide s?
False
Does 21 divide (-6)/9*(-378)/12?
True
Let o(c) = -c**3 + 2*c**2 - 1. Let k be -3 + (-1)/(0 + -1). Let v be o(k). Let y = v - 3. Does 12 divide y?
True
Is 23 a factor of (101/2)/((-3)/(-6)*1)?
False
Let p = -49 - -179. Is 13 a factor of p?
True
Let m(w) = -43*w**3 + 2*w**2 - 1. Is m(-1) a multiple of 19?
False
Let m(v) = -2*v + 8. Let r be m(6). Let a be 18/(-3 + (-18)/r). Suppose -4*b = a, -3*b - 9 = x + 2*b. Does 6 divide x?
True
Let f(o) be the second derivative of -o**5/20 + o**4/2 - 2*o**3/3 - 3*o**2/2 + 2*o. Is 5 a factor of f(4)?
False
Let h = -4 + 9. Suppose -4*q + 3 = i - 7, 10 = h*q. Suppose -i*a + 19 + 9 = 0. Is 7 a factor of a?
True
Suppose 231 = 4*d - 2*u - 63, 0 = -3*d + 5*u + 210. Is d a multiple of 25?
True
Let s(m) be the third derivative of m**5/20 - m**4/8 - m**3/3 + 2*m**2. Is s(4) a multiple of 14?
False
Suppose 4*h - 28 = -4*u, 4*h = 4*u - 11 - 1. Suppose u*d - 20 = 0, d + 31 = a + 5*d. Does 12 divide a?
False
Let v(g) = g**2 - 6*g + 2. Suppose p - 28 = 2. Suppose 6*k - k - p = 0. Is v(k) even?
True
Suppose 10 = q + 4*w + 26, -13 = 4*q - w. Is -3*q/18*45 a multiple of 10?
True
Let a(x) = x**2 + 14*x + 8. Let h(m) = 2*m**2 + 27*m + 16. Let p(f) = 11*a(f) - 6*h(f). Let n(y) = y**2 + 6*y - 6. Let q be n(-6). Is 2 a factor of p(q)?
True
Let v be 30/(-7) - 8/(-28). Let k = 2 + v. Is (k/3)/(4/(-174)) a multiple of 12?
False
Let a be 3*((-6)/(-2) + 0). Let m = 4 + a. Is m a multiple of 8?
False
Suppose -150 - 438 = -3*f + 3*t, 2*f - 5*t - 404 = 0. Is f a multiple of 12?
True
Let b(p) = p**2 + 5*p + 4. Let u be b(-5). Suppose u*r - 38 = -2*i, 0 = -2*i + 5*i - 3*r - 48. Is i a multiple of 9?
False
Let z(t) = -3*t**2 + 5*t + 2. Let a(q) = 4*q**2 - 6*q - 3. Let i(b) = 2*a(b) + 3*z(b). Let s(m) = m + 1. Let x(w) = -i(w) + 3*s(w). Is x(3) a multiple of 5?
False
Does 11 divide 11*((-3)/1 + 4)?
True
Let b = -88 + 244. Is 10 a factor of b?
False
Let c = 163 - 97. Is c a multiple of 14?
False
Let c be 1 + (-2)/((-6)/(-9)). Does 2 divide (9/(-2))/(1/c)?
False
Suppose -p + k = -49, k - 17 = -p + 30. Is p a multiple of 23?
False
Let z(q) = -6*q - 3. Let f be z(-11). Let l = f + -42. Is l a multiple of 10?
False
Let y(a) = -a**3 - 10*a**2 - 10*a + 30. Is 13 a factor of y(-9)?
True
Suppose -12*x + 10*x = -6. Is x even?
False
Let a = -2 - -5. Let i(j) = 2*j**2 + 14*j + 2. Let k be i(-10). Suppose -12 = -z - 5*x + a, -k = -3*z + 2*x. Is 10 a factor of z?
True
Suppose -3*o + 2*o = -5. Suppose 5*s - 33 = 2*d - 3*d, -o*s = 2*d - 36. Is 3 a factor of s?
True
Let q(m) = -m**3 + 7*m**2 + 1. Is q(-3) a multiple of 20?
False
Let s(i) = i**3 - 5*i**2 - 5*i + 5. Let k be s(6). Let a(n) = 6*n + 1. Is 23 a factor of a(k)?
False
Let n(a) = -6*a**3 - 4*a**2 - a - 4. Let o(x) = 25*x**3 + 17*x**2 + 3*x + 17. Let d(v) = 9*n(v) + 2*o(v). Is d(-2) a multiple of 26?
False
Suppose 0 = -x + 66 - 8. Is 11 a factor of x?
False
Let g be (6/(-6))/(-2 - -1). Is 4 a factor of 5 - g - (-2)/1?
False
Let h(j) = -j**2 + 14*j + 9. Is h(14) a multiple of 9?
True
Let d = 26 + -98. Let p = 60 + -102. Let l = p - d. Does 8 divide l?
False
Let o = -165 - -291. Is 21 a factor of o?
True
Suppose 0 = -2*d - 1 - 23. Let o = 9 + -5. Is o/(d/(-45)) - 2 a multiple of 13?
True
Suppose 0 = -2*i - 2*i. Suppose -5*a - q + 82 = i, 3*a = -0*a - 5*q + 58. Is 12 a factor of a?
False
Let b(i) be the second derivative of i**5/20 - i**4/3 - i**3/3 - 3*i**2 + i. Is b(5) a multiple of 9?
True
Let z = -16 + 26. Is z even?
True
Let q = 9 - 6. Is 9 a factor of ((-13)/q)/((-8)/48)?
False
Let s be (-2)/(-4) + 10/(-20). Does 3 divide 1 - 1*(s - 3)?
False
Let c = -40 + 25. Let x(v) = 4*v. Let g be x(8). Let r = c + g. Is 7 a factor of r?
False
Suppose 5*h - 9 = l, -4*l - 2*h + 0*h + 30 = 0. Suppose -l*w = -4*w - 112. Does 24 divide w?
False
Let u = 70 + -45. Suppose 5*k = u, -3*k - 4 = -d - k. Is 14 a factor of d?
True
Suppose -2*z + 0*g + 316 = 4*g, 3*z - 476 = -5*g. Is z a multiple of 41?
False
Suppose -4*w - 148 = -2*f, 2*f + 355 = 7*f - 5*w. Suppose -3*d - 5*o + 58 = -o, -3*d + o = -f. Does 9 divide d?
False
Let d be 54*(15/9)/5. Suppose 9*l - d = 7*l. Is 9 a factor of l?
True
Let q(s) = s + 4 - 1 - 4. Suppose 14*b + 14 = 16*b. Is q(b) a multiple of 3?
True
Let q(b) = -14*b + 7. Let w be q(-6). Suppose 0 = -5*z + 5*i + 74 + w, -4*z = 2*i - 102. Does 15 divide z?
False
Suppose -l + 5 = -w, w = l + 4*w - 25. Let k be (1 - 2)/(1/(-6)). Is 10 a factor of l/k*(-24)/(-4)?
True
Let r = 108 + -70. Does 9 divide r?
False
Suppose 74 = 3*m + 11. Does 8 divide m?
False
Suppose o - t - 2 = 0, -22 = -5*o - 2*t + t. Suppose o*s = s. Suppose s = -q - 2*q + 99. Does 20 divide q?
False
Let x = 48 + -34. Is x a multiple of 11?
False
Let l(h) = 32*h**2 - h. Is 12 a factor of l(-1)?
False
Let j be 3/18*-4*-21. Suppose a - 4 = j. Does 18 divide a?
True
Suppose -10 = -4*i + b, 2*b + 0*b + 4 = 0. Let d(g) = 5*g**2 + 2*g - 2. Is d(i) a multiple of 21?
False
Let k(i) = -i - 2 - 